立即下载标准文件- ISO 6466:1983 烟草和烟草制品.二硫代氨基甲酸盐农药残留量的测定.分子吸收光谱测定法
- ISO 4586-6:2018 装饰用高压层压制件（HPL HPDL） 热固性树脂板（通常被称为层压制品） 第6部分：分层厚度大于2mm地板外观等级的分类和规范
- ISO 11783-12:2014 农林用拖拉机和机械 系列控制和通信数据网 第12部分：诊断服务
- ISO 20290-1:2021 混凝土骨料 机械和物理性能的试验方法 第1部分：体积密度，颗粒密度，每体积颗粒质量和吸水率的测定
- ISO 7765-2:1994 塑料膜和及塑料板 用自由落体法测定冲击阻力 第二部分：装有仪器的冲孔试验.
- ISO 12460-5:2011 木基板材 甲醛释放的测定 第5部分：萃取法（称为穿孔萃取法）
- ISO 20360:2020 褐煤和褐煤 分析样品中挥发物的测定：单炉法
- ISO 4610:2001 塑料.氯乙烯均聚物和共聚物树脂.用空气喷射的筛滤器械的筛析
- ISO 21760-1:2019 有机电子器件用胶粘剂 水蒸气透过率的测定 第1部分：胶粘剂薄膜的制备方法
- ISO 17332:2001 电影技术-35MM移动彩色印刷胶片的生产印刷潜象识别信息
ISO/IEC 24029-2:2023 人工智能（AI） 神经网络稳健性的评定 第2部分：使用形式方法的方法学
标准编号：ISO/IEC 24029-2:2023
中文名称：人工智能（AI） 神经网络稳健性的评定 第2部分：使用形式方法的方法学
英文名称：Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods
发布日期：2023-08
标准范围
本文件提供了使用形式化方法评估神经网络鲁棒性的方法。该文档侧重于如何选择、应用和管理形式化方法来证明健壮性属性。
标准预览图
