涂航 覃中平 刘润涛 魏仲欣 刘任任 张焕国 李琼章 李寿佛 杨水平 李蕾 于卫华 张瑗 屈小妹 向中义 李斓 李莉

完备性 合理性 时态逻辑 自由矢量 故障 并发控制 阶段结构 一卡多用 WENO格式 外接矩形 报文鉴别码 访问控制 保护 动态逻辑 RSA算法 绝对矢量 凹点 完全性 算法 Sheffer函数 信息安全 智能卡 极大封闭集 芯片操作系统 极大封闭集（准完备集） Godunov格式 认证 多值逻辑 脉冲 异步电动机

湖南湘潭 武汉大学数学与计算机科学学院 湘潭大学信息工程学院 华中理工大学数学系 湖北民族学院理学院 250100山东省济南市 恩施市舞阳中学 武汉大学计算机学院