高翔 王侃 邵雷 赵姗姗 蔡山 车君华 李宗斌 周亮 冯毅雄 谭建荣 马秀飞 段采宇 戎舟 袁志民 郑宇军 高新勤 余滨 张子丘

决策支持系统 事件序列 协议验证 建模与推理 多色集合理论 网络仪器 多层次映射 图元化表示 装备保障 概念设计 配置设计 公理化设计 作战过程描述