李旎 欧阳建权 刘玉珍 马秋成 肖凡 周小强 李舒 张维静 王毅 戴永 顾思思 许芬

系统成本 三值社会诊断模型 最小覆盖 共存 匙锁多类关系 智能门禁 “门—锁—匙”系统 实现算法 单纯可离关系 t{x}可诊断 拟线性函数集 匙膜 极大封闭集 极大封闭集（准完备集） A） 正则可离关系 多值逻辑 数学模型 Sheffer函数 L型函数集 极大封闭 无类模式识别 完备性 映射机环节配置 诊断系统G（V 匙膜逻辑

湖南湘潭 湖南　湘潭 湘潭大学信息工程学院 湘潭大学计算机科学系 湘潭大学图书馆 海南师范学院计算机科学与教育技术系 湖南城市学院计算机科学系 湘潭大学机械工程学院