×
模态框（Modal）标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框（Modal）标题
在这里添加一些文本
关闭
Toggle navigation
我要投稿
首页
关于期刊
期刊简介
编委会成员
编委会章程
读者中心
最新录用
当期目录
过刊浏览
阅读排行
下载排行
引用排行
E-mail Alert
RSS
作者中心
作者投稿
作者查稿
投稿须知
文件下载
审稿中心
专家审稿
编辑办公
主编办公
期刊订阅
联系我们
English
基于 Softplus 函数的神经网络的 Reluplex 算法验证研究
陆明远, 侯春燕, 王劲松
Research on Verification of Neural Network Based on Softplus Function by Reluplex Algorithm
信息安全研究 . 2022, (
9
): 917 .
