• 现行
  • 正在执行有效
  • 2023-08-01 颁布
©正版授权
注：本标准为国际组织发行的正版标准，下载后为完整内容；本图片为程序生成，仅供参考，介绍内容如有偏差，以实际下载内容为准
【正版授权-英语版】 ISO/IEC 24029-2:2023 EN Artificial intelligence (AI) - Assessment of the robustness of neural networks - Part 2: Methodology for the use of formal methods_第1页
全文预览已结束

下载本文档

基本信息：

  • 标准号：ISO/IEC 24029-2:2023 EN
  • 标准名称：人工智能（AI） 神经网络鲁棒性评估 第2部分：使用正规方法的方法论
  • 英文名称：Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods
  • 标准状态：现行
  • 发布日期：2023-08-01

文档简介

ISO/IEC24029-2:2023EN是指国际标准化组织（ISO）和国际电工委员会（IEC）联合发布的关于人工智能（AI）标准中的一项具体部分，名为“评估神经网络的健壮性—第二部分：用于形式方法的方法”。该标准提供了评估神经网络健壮性的具体方法，有助于确保神经网络在各种实际应用中的稳定性和可靠性。

具体来说，该标准提供了以下关键内容：

1.定义和术语：该标准定义了与神经网络健壮性评估相关的术语和概念，为后续的方法提供了基础。

2.评估框架：该标准提供了一个评估框架，用于确定神经网络在不同情况下的健壮性。这包括考虑各种输入、输出和环境条件，以及评估神经网络的响应和适应性。

3.形式方法的使用：形式方法是该标准的核心，它提供了一种精确、可证明的方法来评估神经网络的健壮性。这种方法包括使用数学模型、逻辑推理和算法分析等技术，以确保评估的准确性和可靠性。

4.方法步骤：该标准详细说明了使用形式方法评估神经网络健壮性的步骤和方法，包括数据收集、模型构建、符号执行、结果分析和结论总结等。

ISO/IEC24029-2:2023EN标准为评估神经网络的健壮性提供了具体的方法和步骤，有助于确保神经网络在实际应用中的稳定性和可靠性。通过使用形式方法，该标准有助于提高评估的

人人文库> 全部分类> 行业资料 > 各类标准

温馨提示

  • 1. 本站所提供的标准文本仅供个人学习、研究之用，未经授权，严禁复制、发行、汇编、翻译或网络传播等，侵权必究。
  • 2. 本站所提供的标准均为PDF格式电子版文本（可阅读打印），因数字商品的特殊性，一经售出，不提供退换货服务。
  • 3. 标准文档要求电子版与印刷版保持一致，所以下载的文档中可能包含空白页，非文档质量问题。
  • 4. 下载后请按顺序安装Reader（点击安装）和FileOpen（点击安装）方可打开。详细可查看标准文档下载声明

最新文档

评论

0/150

提交评论