宋晓宇 许博义 宋震 郭福顺 廖明宏 姜榕丽 陈骏林 陈猛 罗昕 陈学锋 黄仲伟 高峰

分布式操作系统 排错 程序结构 并行处理 操作系统 产生式系统 同步机制 抽象数据型 实时操作系统 自动分析 RETE算法 并行推理机 符号调试工具 并行推理模型 匹配算法 信号机构 软件开发工具 Ada语言 软件移植 TREAT算法

黑龙江哈尔滨 哈尔滨工业大学计算机科学与工程系