郝忠孝 李宏伟 马春光

同步关系 线裁剪 主动数据库 活化路径 算法 可终止性 直线段 规则分析

黑龙江齐齐哈尔 齐齐哈尔大学计算机科学系 长庆石油管理局 陕西榆林 哈尔滨工业大学计算机科学与技术学院 齐齐哈尔大学计算机与控制工程学院 哈尔滨理工大学计算机与控制学院 黑龙江哈尔滨