郭锐 张国 张维石 徐建志 邓贵仕 梁义芝 姜伟

分布式仿真 仿真模型重用方法 脚本语言 建模技术 线性赋色时态逻辑 计算机生成兵力 综合集成方法 形式化 模拟系统 作战模拟 想定 仿真模型

海军大连舰艇学院科研部 海军大连舰艇学院装备应用仿真研究中心 大连理工大学管理学院 大连海事大学计算机科学与技术学院