原子布尔代数理论的计算复杂性

运用Ｅｈｒｅｎｆｅｕｃｈｔ Ｇａｍｅｓ理论给出原子布尔代数理论的一个判定过程及其复杂度,并说明这个过程在初等等价意义下是最优的。     

布尔代数的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模糊子代数。
     

布尔代数的犹豫模糊点子代数

把犹豫模糊集与布尔代数相结合,在布尔代数中引入犹豫模糊点子代数的概念并讨论其性质,给出2个关于犹豫模糊点子代数的判定定理.证明布尔代数的犹豫模糊点子代数的交也是犹豫模糊点子代数,并在布尔代数同态满射前提下,得到犹豫模糊点子代数的像及同态逆像的不变性.     

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

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

布尔代数的模糊点子代数

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

软布尔代数

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

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

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

布尔代数上triple-δ-导子的特征及性质

在布尔代数的基础上引入了triple-δ-导子的概念, 获得了布尔代数上triple-δ-导子的一些相关性质及特征, 特别给出了布尔代数上保序triple-δ-导子的刻画定理。 研究结果不仅充实和丰富了布尔代数上的导子理论, 也为研究格上导子的结构特征提供了理论基础。     

布尔代数的软商布尔代数

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

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

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

具有析取性质的软代数

证明了具有析取性质的软代数所对应的拓扑空间是含有一个对合同胚的布尔空间，由此得到一个软代数具有析取性质的充要条件是它的每个素理想是极大理想，此外，证明了既约的具有析取性质的软代数仅有二元链及四元可补格M2。     

H─模代数的一般根论和素根

首先建立了Ｈｏｐｆ模代数的一般根论，在此基础上对Ｈ－模代数的素根给出了五种不同刻划，从而为进一步研究Ｈ－模代数根论建立了框架．     

关于Bent函数的一些研究

利用布尔置换 ,构造了一种新的Bent函数 ,并对这类布尔函数的构造进行了研究 ,发现利用Bent函数的满足扩散准则的特性和布尔函数非线性度的中间结果可以构造出两类函数形式简单的 ,满足高次扩散准则的、具有较高非线性度的平衡布尔函数 ,从而拓宽了Bent函数的应用领域     

布尔矩阵与关系性质的判断

本文用布尔矩阵理论的方法对关系及其性质作了系统的论述，并给出了判断关系的可传递性的一个很方便的布尔矩阵方法。     

关于命题论证有效判定的另一方法

本文引进正则公式的概念,并且给出一个关于命题推理有效判定的方法,它可以在有限步之后确定一个论证是有效的还是无效的,容易看出一个结论是否可以从前提推出。     

左对称代数的扩张及其应用

本文主要讨论的是左对称代数扩张的一些基本性质，并且将其应用某些对称代数在同构意义下的分类。     

时变系统参数在线辨识叠加测试激励信号幅度的自适应控制

在本文中,作者提出了时变系统参数在线辨识叠加测试激励信号幅度的自适应控制理论,实现措施及其有效性证明的计算机仿真实验结果。给出了设计步骤,以便应用。此法提高了时变系统参数在线辨识的质量,从而为进一步建立更优化的自适应控制理论与系统,创造了优越条件。     

模糊层次决策法及其在学生认知能力评价系统中的应用

对于一类模糊环境下复杂系统的多层次、多属性的决策问题，将层次分析方法与模糊集合理论相结合，建立树状层次结构，给出一种模糊判断的权重计算方法，构造了层次模糊决策模型。