姜云飞 李锦涛 阳王东 肖建龙 侯经川 王日中 黄巍 刘新 罗铸楷 刘玉珍 钱跃良 王婷 黄锋 李舒 龚志伟 欧阳建权 许芬 文中华 李艳春 李旎 何骞 周小强

布尔置换 平面散点 置换多项式 Welch构造法 单纯可离 Sheffer函数 非循环移位 布尔函数 分治法 Costas阵列 不确定规划 归并排序 近似算法 正则可离关系 正则可离 三值社会诊断模型 快速排序 sheffer函数 整体优先算法 凸包 布尔代数 状态动作序偶 COSTAS阵列 正向搜索 最小覆盖 Floyd算法 Golomb构造法 极大封闭集（准完备集） 多值逻辑 完备性

湘潭大学信息工程学院 湖南湘潭 华南理工大学计算机科学与工程学院 湖南理工学院数学系 中国科学院计算技术研究所 湘潭大学管理学院 中山大学软件研究所