高天翔 程岩 楼纬文 刘宗田 陈福安 高岚 杜为民 黄和平

知识表示系统 分布式 消息处理 可靠性 网络操作系统 交换式快速以大网 一致性和完整性 推理机构 字符串 同步性 时延变化 属性依赖 PROLOG。 产生式 实时性 符号执行 面向对象程序设计 属性计算 多媒体通信 数据库管理系统 知识库 谓词逻辑 分布式系统 C反编译 属性文法

合肥工业大学微机所 合肥工业大学微机研究所 合肥工业大学