科研之友
微信
新浪微博
Facebook
分享链接
摘要
本发明属于BP神经网络技术领域,公开了一种基于MSVL的BP神经网络的构建和训练方法及系统,所述基于MSVL的BP神经网络的构建和训练方法包括：根据BP神经网络基本的层次化结构和属性行为特征,构建基于MSVL的BP神经网络的底层结构方法库；根据用户的定制需求,利用结构方法库中的MSVL结构体,构建BP神经网络的初始架构；读取样本数据,利用结构方法库中MSVL方法,对初始架构进行训练,得到BP神经网络的形式化架构。本发明涵盖了矩阵运算、反向传播、权值更新等多种神经网络系统的基本行为,可直接用于模型检测、插桩验证等形式化验证技术,并支持与这些行为相关的多方面性质的验证,从而系统的安全可信性能够得到有效的保障。
- 单位
