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

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

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