王林章 崔萌 王希敏 董原生 潘洪平 胡军 李宣东 王琳 郑国梁 范植华 张岩 朱思铭 原峰山 佘春东 李明 刘炜 张新元 刘开来 房学坤 刘宗田 蔡志明 胡四泉 于笑丰

顺序图 模型检验 Petri网 声纳 形式语义 Multi-Agent系统 仿真 接口自动机 并行和分布式仿真（PADS） 活动图 建模 库存管理系统 构件式系统设计 面向对象方法 Agent 分布式人工智能 需求建模 仿真建模 面向对象设计 战场抢修 面向对象技术 人力资源管理系统 本体 水下战 实时系统