丁莹 李雄 禹海全 周献中 李海林 周孝德 谢旭 刘藻珍 谭东风 李为民 张正强 黄友能 张明智 常显奇 戴冠中 孟文杰 戴金海 王鹿受 姜汉龙 汪洲 刘兴堂 何晶 岳庆来 严仰光 董阳泽 荆涛 马建珍 杨江 杜晓明 郭晶

验证 置信度 校核 确认 概念模型工程 验证 验证与认可 组织互操作性 模型校核 发展 马尔可夫过程 复杂系统 对地观测 未确知有理数 刹车性能 跃升俯冲运动 短路 校核、验证与验收 可信度 编队小卫星 武器系统 CGF 精度 弱磁调速 有色Petri网 20-sim软件 决策理论 复用 MAS 数据更新策略

验证 置信度 校核 确认