李力 刘宗田 王荣钊 朱逸芬

汽轮机滑动轴承设计 智能CAD集成环境 推理机构 反编译系统 目标代码 库函数识别 符号执行 知识库 一致性和完整性 模式匹配 消息处理 智能CAD 库函数模式识别 知识表示系统 特征代码 匹配方式 工程设计专家系统 数据类型恢复 面向对象程序设计 PROLOG。 谓词逻辑 机械设计 C反编译 程序变换

合肥工业大学微机所