熊鹏程 刘超 童朝南 胡建辉 赵宗涛 金茂忠 彭开香 肖磊 孟晓红 王巨海 王强 武志强 罗眉 范玉顺 郭荣锋 张甜

权重 协调控制 威胁判断 航天发射 分等级正则表达式 结晶器 超集文法 聚类 要地防空群 静态分析 故障诊断 多元决策模型 层次分析法 方案选择 孤立文法 轻量级静态分析器 软件质量保证