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

布尔函数简化新方法

本文续提出线段布尔代数在计算机和数字系统逻辑设计中的应用,给出简化布尔函数的线段图解法。运用线段布尔代数简化布尔函数,只须据定义,在单位线段上记入函数,直接读出函数的简化结果。     

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

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

布尔代数的模糊点子代数

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

基于泛布尔代数的三电平SVPWM算法

介绍了泛布尔代数和三电平逆变器的系统组成;阐述了三电平空间矢量脉宽调制(SVPWM)的原理,将泛布尔代数应用于SVPWM算法中,利用泛布尔代数将其化简并转化为逻辑表达式,简化了分析难度,并为进一步的仿真研究和实际电路设计提供了逻辑基础;给出了具体的算法步骤,并对所提出方案进行仿真研究,仿真曲线正确.     

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

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

设计逻辑电路的配空项法及其应用

本文介绍的配空项法,是一种设计逻辑电路时化简逻辑表达式的推广方法.用此方法可以把用布尔代数法、卡诺图法、奎宁-迈克劳斯基方法仅用实项不易简化或不能简化的逻辑表达式法化简的更简单,而且化简的步骤和过程也较简便.     

Fuzzy布尔代数结构

本文在Fuzzy点概念的基础上,给出了Fuzzy布尔代数的定义,讨论了Fuzzy布尔代数的一些性质。最后指出了由已知的Fuzzy布尔代数构造新的Fuzzy布尔代数的方法     

基于抽象语法树的代码抄袭检测方法的改进

针对传统基于抽象语法树的代码抄袭检测方法中存在的检测准确率不高及无法检测语义层面抄袭的问题,设计了一种基于改进抽象语法树的代码抄袭检测方法,该方法通过TF-IDF加权简化的语法树提高检测准确率.利用加权简化的抽象语法树设计特征提取和相似度计算方法实现对语义抄袭的部分检测,实验结果表明,该改进方法比传统的基于抽象语法树的检测方法的准确率更高,且能有效检测出部分基于语义层面的代码抄袭.     

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

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

对布尔代数中卡诺图的研究

由于卡诺图具有几何相邻与逻辑相邻之间的良好对应关系 ,故在布尔代数中得到广泛应用 ,文章分析了传统卡诺图在简化多变量 ( n >5 )函数时 ,其对应关系所面临的困难 ,提出三维卡诺图及卡诺图阵列的概念。采用适当的排列方式可将图中几何相邻与逻辑相邻的对应项增加到 6个以上 ,为了使其具有实用性 ,又引入一定的画图规则 ,对三维卡诺图加以改进 ,并举例说明它们的使用方法。结果表明 ,采用该方法对六变量至八变量的逻辑函数进行综合化简时 ,仍具有简便直观、可靠性高及易操作等优点 ,且有较好的实用价值。     

与—或/异或型逻辑函数的化简

本文提出求找逻辑函数系中独立函数的新方法,揭示了它的实质;同时利用“异或”的特殊性质,提出了“与-或/异或”型逻辑函数的化简方法。为数字系统中该类型逻辑函数的化简提供了理论依据及完整方法,同时也为模块的逻辑设计提供新的途径。     

Fault Tree Analysis of CNC Machine Tool Based on BDD Technology

CNC machine tool is a large complex system which contains both mechanical and electrical components.As one of these components,the spindle is crucial for the performance of CNC machine tool.To improve the quality of CNC machine,the reliability of spindle was evaluated in this paper using a fault tree analysis(FTA)method.The FTA method is a set of calculation methods based on Boolean algebra.However,it is difficult to analyze a large and complex fault tree with inaccurate results and low efficiency as well as the complexity of time and space.Both of them will result in the so-called "combinatorial explosion".To overcome this problem,the analysis method based on binary decision diagram(BDD)was introduced in our works,and a sorting method about bottom events was also recommended which can reduce the size of the BDD effectively.     

基于8种常用蕴涵算子上的模糊布尔代数

在文献[1]的基础上,利用不等式的刻画方法,给出8种常用的R-蕴涵算子下的R-模糊布尔代数的8种等价形式,推广了现有相应模糊代数的结果,丰富了模糊代数的理论成果。     

布尔代数的软商布尔代数

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

复杂网络系统可靠度的一种计算方法

本文介绍了一种运用图论理论和布尔代数概念计算复杂网络系统可靠度的方法,并通过一个例子给出了该法的具体计算步骤.     

布尔格的主同余

基于布尔格的次直积同构表示,引入布尔格的元的不可辨下标集的定义,给出布尔格的元的不可辨下标集的简单性质.应用布尔格的元的不可辨下标集给出布尔格的主同余的刻画,并给出有穷布尔格的主同余的基数与布尔格的元的不可辨下标集的基数的联系,从而得到布尔格的主同余的构造方法.     

Boole代数的等价刻画

目的给出Boole代数的等价刻画,揭示Boole代数和二值命题逻辑的另一种内在联系,使Boole代数更便捷地和其他代数联系。方法从二值逻辑的公理集入手,运用推理,证明,举例的方法进行了讨论。结果得出了Boole代数的等价刻画以及等价刻画中各条公理的独立性.并且利用等价刻画,讨论了Boole代数与其它代数的关系。结论Boole代数新定义的引入为进一步认识和研究Boole代数提供了新的途径。     

软布尔代数

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

效应代数的表示及弱表示

目的给出效应代数的表示及弱表示的定义,研究幂集和布尔代数的可表示性。方法用效应代数表示的定义及效应代数中态射的性质得出结论。结果证明了E是可表示的,则E是弱可表示的;若E是弱可表示的,则由E到Hilbert空间效应代数的强态射诱导的效应代数是可表示的;布尔代数格同构和效应代数同构是一致的。结论幂集作为一个效应代数是可表示的,任何有限布尔代数是可表示的效应代数。