线段布尔代数和布尔代数公式的演证

本文建立线段布尔代数,定义反映布尔特征——双值性的元素以及简明直观且可直接在计算机上演算的运算方法,构成一种新的布尔代数例证。使逻辑设计和布尔公式的演算及计算机程序非常简捷。文中还给出布尔代教中重要公式的推证。     

布尔函数与布尔多项式

布尔代数B上的n元布尔多项式f（x1，…，xn）可以表为f（x1,…,xn）=∑f（a1,…，an）x1^a1…xn^an的形式．设Fn与F^-m分别是布尔代数B上全体n元布尔函数与全体n元布尔多项式的集合，则Fa=F^-a当且仅当B是逻辑代数．     

区间软布尔代数

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

区间软布尔代数

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

布尔函数与形态算子关系的研究

以布尔代数理论和欧式空间中二值形态变换理论为基础,通过布尔函数引入一个结构化映射,对二值形态变换的基本运算(腐蚀、膨胀)进行了描述,探讨了布尔函数与形态变换的关系,以期为二值形态变换的扩展提供新的途径.     

连续泛布尔代数公理体系

本文在文献[1]基础上给出了连续泛布尔代数公理系统,证明了布尔代数和泛布尔代数系统都是连续泛布尔代数系统的“离散化”。     

软布尔代数

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

关于广弱布尔代数和群胚弱布尔代数若干结果的研究

本文以广弱布尔代数J=〔0,1〕为基础,引进广弱布尔代数的子代数、理想和滤的若干结果,并自然地把布尔代数嵌入到弱布尔代数中去,做为考察广弱布尔代数(F(E;H),∪,∩,-)中的代数结构有关结果的依据。进而,展示群胚弱布尔代数和n维群胚弱布尔代数的概念,并获得n维群胚弱布尔代数基底存在唯一性定理,以及固定式Per(A)的若干性质。     

利用立体展开图简化二值布尔函数

本文介绍“利用立体展开图简化二值布尔函数”的理论依据、简化规则,并通过例题讲述简化步骤。     

布尔代数的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_0代数中的布尔原子及其应用

介绍了将R_0代数的布尔原子替换为R_0代数的定义,给出了将布尔代数的原子依次替换为R_0代数得到有限的R_0代数的方法,从而进一步刻画了布尔代数与R_0代数之间的关系。     

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

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

狭谓词逻辑的布尔模型

本课题对《布尔模型》来说是一新的内容,该文虽在<逻辑学的代数结构>中已提出,但尚待论证,为此在此将给出严格的证明。§1 狭谓词逻辑在有限论域中的布尔模型命题逻辑构成布尔代数的一个模型,为了在狭谓词逻辑中给出其布尔模型、在此重述谓     

Heyting代数的布尔原子及其应用

利用Heyting代数的布尔元得到了Heyting代数的一种直积分解表示。基于Heyting代数的这种分解,证明了有限Heyting代数可通过依次替换布尔代数中的原子为Heyting代数而得到。该结论揭示了Heyting代数与布尔代数之间的一种新的关系。     

“竞争—冒险”现象判别及消除的线段布尔代数法

本文根据“线段布尔代数”理论,给出了组合逻辑设计中“竞争—冒险”现象判别及消除的一种新方法。     

基于布尔代数的功能树简化研究

当前较大规模的功能树存在解空间庞大、冲突定位困难的问题,对此提出基于布尔代数的与或功能树简化方法;证明了收缩简化、删除简化、提取简化的相关定理,并籍此给出其布尔代数的简化算法;最后通过实例,证明该方法可在保持逻辑等价的前提下有效降低问题的复杂度,从而提高设计者进行概念设计的效率.     

布尔代数的模糊点子代数

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

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

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

MTL代数的性质及其滤子

讨论了MTL代数的性质,并在其上引入了MP滤子、素MP滤子、布尔滤子的概念;刻画了包含F及α的最小MP滤子的结构;讨论了极大MP滤子与素MP滤子的关系;证明了当F是布尔滤子时,M／～F成为布尔代数．