魏丫丫 王波 邓培民 王鑫 李永明 陈东 林闯 席政军 涂奉生 胡华 钟祥贵 宋荷庆 郭景峰 易忠 郝忠孝

最小覆盖集 函数依赖集 准路 融合 体系结构 软件开发过程 辨识 标准形 代码片断 有向超图 合并 汇集性 应用程序 量子Moore自动机 最低阶多项式阵 极小化 Pascal语言 量子Mealy自动机 关系模式 覆盖 组件 随机Petri网 线性有限自动机 密度算子 Fock空间 马赛克 定义 奇异系统 重叠 相似性