正则双Stone格与L-Fuzzy子集格

本文是[1]的应用,首光讨论正则双 Stone 格的对偶空间结构,然后考虑它与 L-Fuzzy子集格的关系。这里我们引进 Fuzzy 子集域的概念,希望起到子集域在研究布尔代数时起的作用。     

计算机中的Fuzzy逻辑系统

电子计算机的优点很多,但它在时空方面有一定的局限性。在时间方面,它不能无休止地运行,所以要求我们的计算步骤只能是有穷的;在空间方面,它的存贮容量有限,所以字长只好一定。根据这些特点,我们首先构造一种有限的布尔代数,然后定义多值逻辑的演算,并将Fuzzy逻辑函数化成-范式,从而可以得到一种在电子计算机中可行的Fuzzy逻辑系统,它具有古典逻辑系统的全部功能。     

布尔代数的I-V模糊子代数

研究了布尔代数的I-V(Interval valued)模糊子代数及其相关性质,推广了相关文献中布尔代数的模糊子代数的结果。首先,通过将I-V模糊集应用于布尔代数,定义了布尔代数的I-V模糊子代数的概念,得到了布尔代数的I-V模糊子代数的两个简化判定定理;然后,讨论了布尔代数的I-V模糊子代数与(模糊)子代数之间的关系,证明了布尔代数上的I-V模糊集是I-V模糊子代数的充要条件是I-V模糊集的截集是布尔代数的子代数,布尔代数上的I-V模糊集是I-V模糊子代数的充要条件是I-V模糊集的上下隶属函数均为布尔代数的模糊子代数;其次,讨论了布尔代数的I-V模糊子代数的交、同态等性质,证明了布尔代数的I-V模糊子代数的交、同态像和同态逆像等也是布尔代数的I-V模糊子代数;最后,讨论了布尔代数直积上的I-V模糊子代数。
     

布尔代数的软商布尔代数

定义了布尔代数的软合同关系、软商代数和软商布尔代数等概念,证明了布尔代数的软合同关系与软理想相互确定,进而由布尔代数的软真理想得到布尔代数的软商布尔代数.最后,证明了布尔代数的软同态具有保软合同性.     

软布尔代数

将软集理论应用到布尔代数中,提出了软布尔代数、软布尔子代数、软布尔代数的软理想、软理想布尔代数等概念,研究了它们的相关性质,并初步讨论了软布尔代数与几类布尔代数的模糊子代数的关系。     

基于蕴涵算子上的模糊布尔代数

文中给出R-模糊布尔代数的定义,讨论了其与模糊布尔代数的关系,证明在一定的条件下,有限个R-模糊布尔代数的交(并)还是R-模糊布尔代数,R-模糊布尔代数的同态像(原像)仍是R-模糊布尔代数。     

布尔代数的模糊点子代数

模糊点子代数是模糊代数研究的一个重要内容.通过将相关代数理论中的模糊点子代数概念引入到布尔代数之中,给出了布尔代数的模糊点子代数的概念,推广了布尔代数模糊子代数的概念.然后,系统地讨论了布尔代数的模糊点子代数的性质,给出了布尔代数的模糊点子代数的2个简化判断定理,证明了布尔代数的模糊点子代数的交、同态像和同态逆像也是布尔代数的模糊点子代数等相关结论.研究结果推广了布尔代数的模糊子代数及其相关结论,进一步丰富了布尔代数上的模糊理论.     

布尔代数的Ⅰ-Ⅴ模糊子代数

研究了布尔代数的Ⅰ-Ⅴ(Interval valued)模糊子代数及其相关性质,推广了相关文献中布尔代数的模糊子代数的结果。首先,通过将Ⅰ-Ⅴ模糊集应用于布尔代数,定义了布尔代数的Ⅰ-Ⅴ模糊子代数的概念,得到了布尔代数的Ⅰ-Ⅴ模糊子代数的两个简化判定定理;然后,讨论了布尔代数的Ⅰ-Ⅴ模糊子代数与(模糊)子代数之间的关系,证明了布尔代数上的IV模糊集是Ⅰ-Ⅴ模糊子代数的充要条件是Ⅰ-Ⅴ模糊集的截集是布尔代数的子代数,布尔代数上的Ⅰ-Ⅴ模糊集是Ⅰ-Ⅴ模糊子代数的充要条件是Ⅰ-Ⅴ模糊集的上下隶属函数均为布尔代数的模糊子代数;其次,讨论了布尔代数的Ⅰ-Ⅴ模糊子代数的交、同态等性质,证明了布尔代数的Ⅰ-Ⅴ模糊子代数的交、同态像和同态逆像等也是布尔代数的Ⅰ-Ⅴ模糊子代数;最后,讨论了布尔代数直积上的Ⅰ-Ⅴ模糊子代数。     

区间软布尔代数

将区间软集应用于布尔代数之中,定义了区间软布尔代数、区间软布尔子代数、区间理想软布尔代数和区间软布尔代数的区间软同态等概念,并研究了它们的相关性质。推广了软布尔代数及其相关结论。     

区间软布尔代数

将区间软集应用于布尔代数之中,定义了区间软布尔代数、区间软布尔子代数、区间理想软布尔代数和区间软布尔代数的区间软同态等概念,并研究了它们的相关性质。推广了软布尔代数及其相关结论。     

布尔基因网络及其研究

基因网络模型将为深入理解生命本质提供了一个新的研究框架和平台。布尔网络是研究基因网络的一个有力工具。这里阐述利用布尔网络时基因调控网络建模的机理，介绍了基于布尔网络的基因网络的研究现状和最新进展。最后指出了谊方法的局限和下一步的研究方向。     

Lucene架构下布尔查询的执行计划研究

Lucene是一个优秀的全文检索框架,布尔查询是其实现精准数据检索的重要功能.对于布尔查询执行计划的深入研究,有利于灵活应用布尔查询,优化查询表达式,提高执行效率.本文从Lucene架构下布尔查询的执行计划入手,研究了布尔查询的表示方式、执行时序、逻辑运算规则和子查询归并算法.根据布尔查询的执行计划,提出了深度为2的复杂布尔查询的化简规律和布尔逻辑运算满足交换律的特性,并从理论上证明它们的正确性.最后通过实验模拟仿真,验证这些规律的有效性.     

关于模态公理系统P1-P5的布尔值

证明与模态命题系统S2－S4等价的系统P2－P4的布尔值为1,而分别与S1和S5等价的系统P1和P5的布尔值不能确定,由此,证明了V^B是P2－P4的布尔模型。     

布尔代数的Ω-模糊子代数

研究布尔代数的Ω-模糊子代数及其性质．定义布尔代数的仔模糊子代数,给出布尔代数的Ω-模糊子代数的两个简化判定定理,并证明布尔代数的Ω-模糊子代数的交、同态像和同态逆像等也是布尔代数的Ω-模糊子代数．然后,令RΩ表示集合Ω到布尔代数R的所有映射的集合,通过在RΩ上定义3种运算 , ,-,得到布尔代数〈RΩ, , ,-,I0,I1〉,并研究与其相关的模糊子代数和Ω-模糊子代数．     

固定权值的可分布尔函数的计数

证明了任意可分布尔函数的阈值都可取为1或－1，任意可分布尔函数的权值和阈值都可取为整数，解决了固定权值的可分布尔函数的计数问题。     

流密码中的布尔函数设计研究进展

密码函数,主要包括单输出布尔函数和多输出布尔函数,在流密码及分组密码系统中扮演着重要角色.在基于线性反馈移位寄存器的流密码系统中为了抵抗各种攻击,一个好的密码函数需要满足以下指标:较高的非线性度、平衡性、低阶相关免疫性、高的代数次数,高代数免疫阶等等.主要总结了近年来在高非线性度弹性密码函数,具有最优代数免疫度的函数和具有良好自相关性质的函数等研究方面的进展,并对其后续工作进行了展望.     

布尔矩阵平方根的一些性质

布尔矩阵的平方根问题是一个到目前为止尚未解决的组合问题.既没有一个通用的准则可以用来判断一个布尔矩阵是否有平方根,对于有平方根的布尔矩阵也没有一种快速的方法构造出其平方根.从布尔矩阵的结构特征出发,首先讨论有平方根的布尔矩阵具有的一些性质,指出布尔矩阵与其平方根在结构上存在的内在联系;基于这些联系,给出两种由已知平方根构造新平方根的方法;最后得到布尔矩阵存在平方根的一个充要条件,并以此给出一种构造布尔矩阵平方根的方法.     

布尔函数性质的谱特征

布尔函数对于分组密码及流密码的安全性起着重要的作用。为了抵抗几种对密码体制的攻击,布尔函数需要具有几种相应的准则:平衡性,高代数次数,高非线性度和高相关免疫度等。Walsh变换和Walsh谱技术是研究布尔函数性质的有效方法,利用Walsh谱技术研究布尔函数的一些重要性质,将这些性质(平衡性、非线性度、相关免疫性、扩散准则、严格雪崩准则、代数免疫性)进行量化。主要研究了布尔函数的Walsh谱及相关的性质,重点介绍了布尔函数的几种密码学性质及Walsh谱与其他密码学性质之间的关系,得到了布尔函数性质的一些结果:首先介绍了布尔函数Walsh谱及其他的密码学性质,然后分析了布尔函数Walsh谱与其他性质之间的关系,包括与汉明重量、平衡性、非线性度、相关免疫性、扩散性、严格雪崩性、代数免疫性之间关系。     

在C＋＋语言中构造布尔类数据

本文介绍了在Ｃ＋＋语言中构造布尔类数据的方法和有关的函数，使布尔类数据同ｃｈａｒ等类型数据分离开来，赋予布尔类数据更明确的表达形式，该类数据与ｃｈａｒ、ｉｎｔ类型数据相容，可用于程序控制语句和布尔表达式，便于ＦＯＲＴＲＡＨ和ＰＡＳＣＡＬ语言的程序移植到Ｃ＋＋语言。     

数据库在逻辑代数中的应用

采用数据库编程方法 ,解决了逻辑代数中的一些计算量较大的问题。