刘英 刘光复 张孟青 徐周波 倪中华 曹健 吴为民 易红 古天龙 周晓俊 周根春 李伟 张申生 孟秀丽

装配序列生成 协商 装配联接图 动态 交互 性能 再调度 协同设计 冲突检测 寄存器传输级 Ilog 数据通路 可满足性 推理 产品配置 服务复合 约束网络 有序二叉决策图 知识表示 模型检验