1.大模型驱动的自主智能装备的安全评测与保障：针对传统测试与验证方法难以应对无穷状态与高维参数空间约束的瓶颈等挑战，聚焦大模型驱动装备的特有风险，研究大模型异常溯源与复杂决策逻辑的形式化建模与可解释性理论。 2.突破智能装备异常行为机理模型构建方法、面向海量仿真的测验融合协同保障技术、基于场景融合的渐进式自愈技术。 3.最终研发一套对标“DARPA可信自主智能“的虚实协同安全评测软件，实现在无人载具等场景下核心功能在概念层、行为级的可验证安全性。