潘双夏 朱爱华 陈泳 冯培恩 多丽华 徐永成 张帅 孙伟 欧阳昱 马绍汉 裴芳敏 孙芳 刘玉树 邓绪斌 王淑礼 朱扬勇 亿珍珍 杨拥民 陶利民 赵克

任务指派 二义性 解树 Petri网 正则表达式（RE） 远程诊断 合理性 工作流 循环映射 匹配 SSS算法 逆网 层次分析法 验证 博弈树 概念设计自动化 专家系统 授权约束 功能特征建模 推理深度 极小极大值 α-β算法 启发式搜索