何允钦 杨宏安 孙树栋 公冶凡强 司书宾 王子才 王勇 梁国柱

动态组合 航空、航天推进系统 计算机仿真 计算机辅助设计 概念模型 体系结构 评估 组件 形式化方法 计划调度算法 复杂系统仿真概念模型 固体火箭发动机