潘雪增 平玲娣 刘祖根 李廉 季爱明 田亚菲 陈小平 彭波

动态可重构系统 Rosenfeld-Grbner算法 Grobner基方法 逻辑转换 数据流图 Box－counting维数 时域划分 用户日志

甘肃兰州 浙江杭州 江苏盐城 盐城工学院纺织工程系 兰州大学计算机科学系 浙江大学计算机科学与技术学院 浙江大学超大规模集成电路设计研究所 兰州大学信息科学与工程学院计算机科学系