张卫 黄柯棣 张童 刘云生 张传富 焦鹏 唐见兵 黄晓慧 李革

定制 任务调度 联邦生成器 仿真模型组件 Markov链 方法论 复杂大系统仿真 HLA SGE 校核与验证 双通道通信 分布式仿真 基本对象模型 需求目标 校核、验证与确认（VVA） 检查点间隔 组合 容错 校核、验证与确认 可用度 仿真服务 网格 本体 可信性 分布式仿真网格

国防科技大学机电工程与自动化学院 湖南长沙 国防科技大学人文与社会科学学院 指挥军官基础教育学院 国防科技大学指挥军官基础教育学院