张淑萍 范英梅 阮雪榆 赵科军 张鹏翔 赵震 陈军 李西宁 尹建华 郑志恒 叶肇宽 董际云 石晓祥 蒋毅坚 马益聪 廖理几

基于规则的推理 邻点可区别全色数 te的可图序列 旋声 物理张量 t）可图序列 蕴含K1 几乎完全二部图 准晶 蕴含C6的度序列 工艺规划 弹流[67AC] 蕴含可图 特征语义树 电磁声子 冲压 中间图 最小度和 邻点可区别全染色 度序列 数值解[30T] 图 工序组合 工序分解 回旋矢量 伴随基 扇图 频率色散关系 蕴含K（r 成形性分析

宁夏大学数学计算机学院 宁夏银川 广西南宁 北京工业大学应用物理系 海南海口 宁夏大学数学系 宁夏教育考试院 海南大学数学系