7月29日,第二十八届中国科协年会“面向航空安全的智能算法测试评估与认证体系”专题论坛在中国科技会堂举办。论坛由中国科协主办,中国科协创新融合学会联合体承办。论坛聚焦风险认知、测试评估、认证应用三个相互衔接的关键问题,旨在推动建立从风险识别到试验验证、从性能评价到安全证明的完整链条,推动智能技术在航空安全关键场景中从“可用”迈向“敢用”。来自航空安全、人工智能、软件测试、适航审定等领域的专家学者、科研人员及行业代表80余人参加论坛。

主旨报告环节,北京航空航天大学教授、中国工程院院士王自力系统阐述可靠性系统工程的理论框架及其在智能时代的发展机遇,介绍AI大模型在可靠性设计、故障诊断与健康管理等方面的赋能实践,以及可靠性数智孪生等技术成果。北京大学教授李挥提出网络空间安全“牛顿三定律”理论框架,介绍其团队历时十余年研发的多边共管多标识网络体系MIN。中国航空综合技术研究所研究员徐明指出现行适航审定体系仍基于连续性、可重复性、独立性三大假设,而IMA架构、AI/ML等新形态系统已打破这些假设,提出需要建立新型研制保证体系。中国科学院信息工程研究所研究员侯锐围绕AI系统中数据提供方、模型/代码提供方、算力提供方三方互不信任的根本问题,介绍了基于可信执行环境的异构计算保护方案及隐私保护推理技术路径。中国航空研究院高级工程师王若介绍面向态势感知类与博弈决策类算法的分层测试方法,以及基于LVC虚实融合的可信测试验证平台建设实践。
专题报告环节,中国电子信息产业发展研究院(赛迪研究院)低空经济研究测评中心主任李梦玮分析低空飞行器智能化发展带来的安全风险与检测需求,提出智能化测试能力建设思路。北京航空航天大学教授许润华围绕模型协同与智能体协同两类场景,分析联邦学习中安全聚合协议的局限性,介绍其在安全聚合与协同智能体攻防评测方面的研究成果。北京航空航天大学副教授刘艾杉从认知反演视角提出大模型安全评测新范式,介绍面向对话智能体、具身智能体、自动驾驶智能体的仿真靶场与评测环境构建成果。
论坛设置两场非共识议题研讨。第一场以“未来航空场景下人工智能算法风险模式与机理”为题,由中国民航大学教授李大庆、北京航空航天大学副教授石荣晔主持,大连理工大学教授樊鑫、中国商飞人工智能创新中心副主任曾锐、航空工业618所副总师武方方、奇安信研究员陈国强、北京航空航天大学博士后朱天晨参与研讨。与会专家认为,内回路等安全关键功能暂不宜引入AI,可在无人物流等低风险场景中先行探索,通过知识增强、边界限定、运行时监控等手段提升可信性。
第二场以“面向适航审定的人工智能符合性认证标准与路径探索”为题,由中国民航大学教授李大庆、副教授王大蕴主持,中国民航大学副研究员马赞、航天彩虹无人机股份有限公司适航经理刘猛、中国民航大学研究员周景贤、边界智控适航高级工程师肖扬、白鲸航线安全性专业主任设计师王道震参与研讨。与会专家认为,AI引入机载系统面临不确定性难以量化、验证覆盖难以穷举、可解释性不足等核心堵点,建议从视觉等安全影响等级较低的应用入手,探索“灰盒”等效安全验证路径,逐步构建适应AI技术特点的适航认证体系。
本次论坛的举办,为航空安全与人工智能交叉领域搭建了高水平学术交流平台,为推动人工智能在航空安全关键系统中的可信应用提供学术支撑与方向指引,对服务航空安全智能化高质量发展具有重要意义。
中国航空学会 供稿
7月29日,第二十八届中国科协年会“面向航空安全的智能算法测试评估与认证体系”专题论坛在中国科技会堂举办。论坛由中国科协主办,中国科协创新融合学会联合体承办。论坛聚焦风险认知、测试评估、认证应用三个相互衔接的关键问题,旨在推动建立从风险识别到试验验证、从性能评价到安全证明的完整链条,推动智能技术在航空安全关键场景中从“可用”迈向“敢用”。来自航空安全、人工智能、软件测试、适航审定等领域的专家学者、科研人员及行业代表80余人参加论坛。

主旨报告环节,北京航空航天大学教授、中国工程院院士王自力系统阐述可靠性系统工程的理论框架及其在智能时代的发展机遇,介绍AI大模型在可靠性设计、故障诊断与健康管理等方面的赋能实践,以及可靠性数智孪生等技术成果。北京大学教授李挥提出网络空间安全“牛顿三定律”理论框架,介绍其团队历时十余年研发的多边共管多标识网络体系MIN。中国航空综合技术研究所研究员徐明指出现行适航审定体系仍基于连续性、可重复性、独立性三大假设,而IMA架构、AI/ML等新形态系统已打破这些假设,提出需要建立新型研制保证体系。中国科学院信息工程研究所研究员侯锐围绕AI系统中数据提供方、模型/代码提供方、算力提供方三方互不信任的根本问题,介绍了基于可信执行环境的异构计算保护方案及隐私保护推理技术路径。中国航空研究院高级工程师王若介绍面向态势感知类与博弈决策类算法的分层测试方法,以及基于LVC虚实融合的可信测试验证平台建设实践。
专题报告环节,中国电子信息产业发展研究院(赛迪研究院)低空经济研究测评中心主任李梦玮分析低空飞行器智能化发展带来的安全风险与检测需求,提出智能化测试能力建设思路。北京航空航天大学教授许润华围绕模型协同与智能体协同两类场景,分析联邦学习中安全聚合协议的局限性,介绍其在安全聚合与协同智能体攻防评测方面的研究成果。北京航空航天大学副教授刘艾杉从认知反演视角提出大模型安全评测新范式,介绍面向对话智能体、具身智能体、自动驾驶智能体的仿真靶场与评测环境构建成果。
论坛设置两场非共识议题研讨。第一场以“未来航空场景下人工智能算法风险模式与机理”为题,由中国民航大学教授李大庆、北京航空航天大学副教授石荣晔主持,大连理工大学教授樊鑫、中国商飞人工智能创新中心副主任曾锐、航空工业618所副总师武方方、奇安信研究员陈国强、北京航空航天大学博士后朱天晨参与研讨。与会专家认为,内回路等安全关键功能暂不宜引入AI,可在无人物流等低风险场景中先行探索,通过知识增强、边界限定、运行时监控等手段提升可信性。
第二场以“面向适航审定的人工智能符合性认证标准与路径探索”为题,由中国民航大学教授李大庆、副教授王大蕴主持,中国民航大学副研究员马赞、航天彩虹无人机股份有限公司适航经理刘猛、中国民航大学研究员周景贤、边界智控适航高级工程师肖扬、白鲸航线安全性专业主任设计师王道震参与研讨。与会专家认为,AI引入机载系统面临不确定性难以量化、验证覆盖难以穷举、可解释性不足等核心堵点,建议从视觉等安全影响等级较低的应用入手,探索“灰盒”等效安全验证路径,逐步构建适应AI技术特点的适航认证体系。
本次论坛的举办,为航空安全与人工智能交叉领域搭建了高水平学术交流平台,为推动人工智能在航空安全关键系统中的可信应用提供学术支撑与方向指引,对服务航空安全智能化高质量发展具有重要意义。
中国航空学会 供稿