毛弋 胡术 王永成 杨启亮 刘义仁 邓婷 于光德 张琼 李健 赵洪静 张学智 赵明莉 张勇 段国丽 陈偕雄 孙承福 宋明杰 岳丽娟 谢正卫 杨期余 沈虹 王建新 谭明金 周德玉 于玲 陶毅 王志良 兰亚坤 邢建春 翟平利

直积 逻辑函数 等价关系 算法 等价最小有限自动机 商集 近似 超前扫描 密码分析 正规表达式 线性 延迟 不可区分状态 积运算 变换 多线程 使用MSI设计技术 逻辑网络 右线性文法 正则文法 状态 可逆性 半群 多模式匹配 AHPL 逻辑设计 寄存器传送语言 抽象模型 协议工程学 同步序列