位置：首页 / 业务类别 / 评价服务

人工智能神经网络鲁棒性评估管理评价

发布时间：2025-06-26|

ISO/IEC 24029-2:2023标准全称为《人工智能（AI）——神经网络鲁棒性评估——第2部分：形式方法的使用方法》，是人工智能领域关于神经网络鲁棒性评估的国际标准。

标准涵盖了几种可用的形式化方法技术。在生命周期的每个阶段，提出了适用于评估神经网络鲁棒性的标准，并确定了如何通过形式化方法验证神经网络。

形式化方法是用于严格规范和验证软件和硬件系统的数学技术，可用于对神经网络进行形式化推理，并证明它们是否满足相关的鲁棒性。

新世纪检验认证有限责任公司
电话：400-016-9000
邮箱：post@bcc.com.cn

联系地址：北京市东城区广渠门内大街45号D座5层

联系我们

想咨询更多认证服务，请您填写下面表格，我们将在工作时间内回电!