完备剩余格相关论文
作为计算理论中最简单的数学模型,有限自动机不仅是复杂性理论的理论基础,而且与其他领域密切相关,例如神经网络、模式识别、密码......
对否定非对合剩余格的BF-理想问题作进一步深入研究.在一个否定非对合剩余格L的全体BF-理想之集BFI(L)上构造了伴随运算(→)和(□)......
概念格又叫形式概念分析,是4RWiUe在1982年提出的.概念格是根据形式背景中对象和属性之间的关系建立的一种数据结构,体现了概念之......
为了对不相容或不完备信息的系统进行形式化描述和满足对系统进行量化验证的需要,根据经典的双标号转换系统,提出基于完备剩余格......
概念粒计算系统是基于两个完备格之间的外延内涵算子和内涵外延算子构成的模型系统,它包括经典概念格,L模糊概念格及变精度概念格......
在完备剩余格上引入了蕴涵闭包系统的概念,讨论了蕴涵闭包系统与闭包系统之间的关系。给出了蕴涵闭包系统的一些性质及其表示定理。......
利用蕴涵运算,在完备剩余格上定义了蕴涵闭包算子,给出了它的若干等价刻画及其表示定理。......
三Ⅰ算法是王国俊教授提出的一种模糊推理方法,较之模糊控制理论中广泛采用的CRI算法更具有严谨性、合理性.本文在完备剩余格中给......
首先,利用滤子的扩张方法在R0-代数中引入相对零化子的概念,并结合滤子的概念提出广义相对零化子的概念,证明R0-代数中广义相对零......
借助于全蕴涵三I算法的思想,在完备剩余格上探讨了FMP问题的输出的上近似模糊推理与下近似模糊推理,并得到上近似推理与下近似推理算......
形式化方法是使用数学方法确保计算机软硬件系统的正确性和可靠性.经典的形式化描述和验证方法是在二值逻辑上展开的.近年来,大家......
本文在格L是完备剩余格的条件下,引入关于L-集合套的张量积和蕴涵运算,证明了L-集合套关于这2种运算构成完备剩余格。本文还进一步......
连续格是以拓扑方式作为数学的工具出现在计算科学(domain理论)领域的,由Scott在上世纪70年代初提出.尽管在其它的领域,如一般拓扑......