曾亮 肖滨 衡军 李思昆 张剑锋 于雪泳 张丛智 郑义

行为建模 数据 描述语言 描述逻辑 控制论 任务逻辑 可判定 任务语义 仿真模型 仿真应用 虚拟战场 多主体系统 算法 插值 计算机生成兵力 主体 潜艇 高层体系结构 能力描述 重用 组织模型

国防科学技术大学计算机学院 国防科技大学计算机学院 海军潜艇学院 海军潜艇学院青岛