史殿习 吴泉源 王怀民 王国锋 尹剑飞 吕卫阳

反导防空导弹 拦截决策 弹头损毁能力 电磁启动器 系统 导引律 单证 拦截效能 重写逻辑 模型驱动构架 电子数据交换 模型转换 电子信息交换 控制系统 可执行代数规范

国防科学技术大学计算机学院网络与信息安全... 工程师200071上海市 上海铁路局电子计算技术中心 深圳大学信息工程学院 湖南长沙