刘春和 韩曙 张自力 陈宏陆

数据库 故障检测 推理机制 专家系统 多元逻辑电路 逻辑细胞阵列 模块设计 组合函数 逻辑完备 数据加密 快速算法 知识库 最小闭覆盖 通用逻辑阵列 硬件实现 相容类 时序机 性能分析 子立方体 连续逻辑 控制变量 细胞阵列 DYL电路 随机函数 质蕴涵项 分布密度 无冗余覆盖 多值逻辑 生成元 时序电路

哈尔滨工业大学 哈尔滨工业大学计算机科学与工程系 哈尔滨工业大学计算机系 郑州大学计算机科学系 郑州大学