原创力文档- 4
- 0
- 约1.65万字
- 约 15页
- 2023-05-29 发布于四川
- 举报
本发明涉及一种基于误差分治的神经网络验证方法，采用改进的符号线性松弛计算给定输入范围内网络节点的严格近似函数，并使用过近似节点的误差约束分割策略将原验证问题划分为等价的一系列子问题，对一系列子问题进行完备验证从而验证整个神经网络的安全属性。通过本发明的方法，有效地缩减了神经网络验证过程中的状态空间，能够高效地对神经网络进行安全属性验证和评估并且能够提高神经网络可信验证方法的可扩展性。
(19)国家知识产权局
(12)发明专利申请
(10)申请公布号 CN 115829018 A
(43)申请公布日 2023.03.21
(21)申请号 202211422138.1
(22)申请日 2022.11.14
(71)申请人 西安电子科技大学
地址 71007
文档评论（0）