甘四清 张居阳 朱跃龙 聂鹏程 胡易 周天祥 董明楷 王志坚 朱炬波 赵红星 陆国栋 孙吉贵 易东云 史可 胡吉明 张明义 冯星 姚金然 易武 杨勋年 姚静 孙冬璞 汪国昭 孙踊 李力争 杨轻云 郝忠孝 李基拓

自相容性 八连通 全球卫星导航系统 非单调推理 正规性 控制品质 推理算法 凸性 子句型缺省理论 内外点判断 扩张 强稳定性 加权平均 有序缺省理论 相关边 仿真 轨迹 全半序 逻辑门 继承 移动对象 单支方法 普通不动点算子 离散割角 Kleene三值逻辑 Bézier曲线 相对精度衰减因子 连续最近邻查询 箱样条 图示类别型构