刘卓军 张问银 曾振柄 闫炜 高新岩 孙星明 乔瑞

计算切片 语义余式法 谓词检测 锁余式法 部件识别 一阶多项式 偏序迹 特征提取 线性余式法 全局异步局部同步系统 汉字 非经典切片 数学表达式

中国科学院成都计算机应用研究所 中国科学院系统科学研究所 北京大学数学系 临沂师范学院计算机系 电子科技大学计算机学院 株洲工学院计算机科学与技术系 湖南大学计算机与通信学院