典型文献
基于Softplus函数的神经网络的Reluplex算法验证研究
文献摘要：
形式化验证是计算机科学中运用数理逻辑的方式验证某个系统是否可行的方法,而把形式化验证方法充分应用于神经网络领域,则能更好地研究神经网络的特性与应用.Reluplex是一种对深度神经网络进行验证的单纯形算法,它使用Relu作为激活函数,而Relu的神经元在训练过程中较脆弱并可能垂死.Softplus是与Relu近似但比Relu更平滑的激活函数,改进了 Reluplex算法使之能检验采用Softplus激活函数的深度神经网络,随后获取了在Softplus激活函数下测试鲁棒对抗性得到的实验数据结果,通过与Relu测试结果进行对比,证明了 Softplus的测试效率明显高于Relu,它比Relu更平衡,从而让神经网络的学习更快.该研究扩展了神经网络验证算法的功能并展开了相应的对比分析,有利于以后更好地验证和改进深度神经网络,以确保其安全性.
文献关键词：
神经网络;形式化验证;激活函数;Relu函数;Softplus函数
中图分类号：
作者姓名：
陆明远;侯春燕;王劲松
作者机构：
天津理工大学计算机科学与工程学院 天津 300384
文献出处：
引用格式：
[1]陆明远;侯春燕;王劲松-.基于Softplus函数的神经网络的Reluplex算法验证研究)[J].信息安全研究,2022(09):917-924
A类：
Softplus,Reluplex
B类：
算法验证,形式化验证,计算机科学,数理逻辑,某个,验证方法,网络领域,深度神经网络,单纯形,激活函数,训练过程,垂死,对抗性,数据结果,测试效率,神经网络验证,进深
AB值：
0.214
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
