集合论与命题逻辑的类比

从集合论与命题逻辑的运算角度,将二者进行了类比,由于二者分属相同代数系统中集合代数 与命题代数部分,因此它们具有布尔代数的所有性质     

布尔代数上的直觉Fuzzy同余关系

引入了布尔代数上的直觉Fuzzy同余关系的概念,讨论了布尔代数上的直觉Fuzzy同余关系与布尔代数的直觉Fuzzy子代数(直觉Fuzzy理想)之间的关系,以及布尔代数上的直觉Fuzzy同余关系在布尔代数同态下的象和逆象,并给出了商布尔代数的同构定理。     

布尔代数的直觉模糊子代数和直觉模糊理想

引入了布尔代数的直觉模糊子代数、直觉模糊理想和直觉模糊商布尔代数的概念,给出了布尔代数的直觉模糊子集是直觉模糊子代数(直觉模糊理想)的充要条件,讨论了布尔代数的直觉模糊子代数(直觉模糊理想)在布尔代数同态下的像和逆像,并证明了当I是布尔代数R的直觉模糊真理想时,R/I是布尔代数。     

布尔代数的(∈,∈∨q)-Fuzzy子代数和(∈,∈∨q)-Fuzzy理想

引入了布尔代数的(∈,∈∨q)-Fuzzy子代数、(∈,∈∨q)-Fuzzy理想和(∈,∈∨q)-Fuzzy商布尔代数的概念,给出了布尔代数的Fuzzy子集是(∈,∈∨q)-Fuzzy子代数((∈,∈∨q)-Fuzzy理想)的充要条件,讨论了布尔代数的(∈,∈∨q)-Fuzzy子代数((∈,∈∨q)-Fuzzy理想)在布尔代数同态下的像和逆像,并证明了当I是布尔代数R的(∈,∈∨q)-Fuzzy真理想时,R/I是布尔代数。     

布尔代数的（∈，∈Vq）-Fuzzy子代数和（∈，∈Vq）-Fuzzy理想

引入了布尔代数的（∈，vVq）-Fuzzy子代数、（∈，∈Vq）-Fuzzy理想和（∈，∈Vq）-Fuzzy商布尔代数的概念，给出了布尔代数的Fuzzy子集是（∈，∈Vq）-Fuzzy子代数（（∈，∈Vq）-Fuzzy理想）的充要条件，讨论了布尔代数的（∈，∈Vq）-Fuzzy子代数（（∈，∈Vq）-Fuzzy理想）在布尔代数同态下的像和逆像，并证明了当I是布尔代数R的（∈，∈Vq）-Fuzzy真理想时，R／I是布尔代数。     

布尔代数的Fuzzy子代数的直积

讨论了布尔代数的Fuzzy子代数的直积的一些性质;给出了直积布尔代数的Fuzzy子代数可分解为两个Fuzzy子代数的直积的充要条件;并且讨论了Fuzzy商布尔代数的直积特征。     

粗集的一种刻划方法

利用拓扑布尔代数对粗集的逻辑性质进行研究,得到了一个在上下关联条件下关于有限拓扑布尔代数的表示定理,该定理类似于布尔代数中Stone表示定理。定义了闭包拓扑布尔代数概念,给出了它的表示定理,两个定理从逻辑上全面地刻划了粗集中的上下近似运算的逻辑性质。     

关于完备布尔代数的一点注解

给出了完备布尔代数是原子的等价刻画。同时,证明了一个完备的布尔代数是原子的当且仅当每一个真子代数是原子的。     

程序设计中的逻辑分解技术

利用逻辑化简方法,给出了程序设计中的逻辑分解技术。分解技术能化简逻辑判断中的冗余命题,减少判断的运行时间。讨论了搜索技术的递归中如何使用分解技术。此外,对于划分类型的判断,分解技术退化成集合归并方法,化简判断更为方便。在实际程序设计中,合理使用分解技术能有效提升算法性能,使程序更为清晰易懂。     

地图图层系统为布尔代数系的证明及应用

布尔代数系是适于电子计算机作逻辑运算的系统.任何地图实质上是有限个图层的集合.图层是电子地图系统和地理信息系统(GIS)数据基本存贮单元,是组织和管理数据的有效方式和有用手段.以点为基本元素的地图图像系统和以地图符号为基本元素的地图符号系统属于布尔代数系已经得到了证明.根据布尔代数的定义和充要条件,结合图层示例,论证了地图图层系统也是布尔代数系,这为地图图层系统在计算机的表示提供了计算机理论基础和数学工具.实例表明,不管是电子地图还是GIS中,都是利用图层来组织和管理地图数据库的.     

简单串、并联电路在计算机教学中的应用

介绍了简单串、并联电路的工作原理和布尔代数的特点,并阐述了将简单串、并联电路应用于布尔代数的教学,最后将该方法制作成课件来实现多媒体教学.该方法激发了学生学习的积极性,培养了学生的创造性思维,达到了事半功倍的教学效果.     

简单串、并联电路在计算机教学中的应用

介绍了简单串、并联电路的工作原理和布尔代数的特点。并阐述了将简单串、并联电路应用于布尔代数的教学，最后将该方法制作成课件来实现多媒体教学。该方法激发了学生学习的积极性．培养了学生的创造性思维，达到了事半功倍的教学效果。     

反证法在计算机自动推理系统中的研究与实现

把数学证明中的反证法与机器证明中前推搜索法相结合,使计算机在自动推理方面能够更加完善.给出一个算法,根据命题的结论将命题分类,针对不同类型,设计不同的解决方案,实现了反证法在自动推理中的运用.     

基于加权模糊Petri网的无人机自主任务推理决策研究

围绕无人机搜索/攻击自主任务推理决策典型想定,针对无人机自主任务推理决策规则中存在的不同输入命题对结论的贡献和影响不同,对加权模糊Petri网(weighted fuzzy petri nets,WFPN)形式化推理算法进行了深入研究;设计了双机自主搜索/攻击任务推理决策规则集;为进一步适应上述想定下规则集中存在的多条规则的输出命题是相同的情形,对WFPN形式化推理算法进行了改进;应用分层的策略,采用改进的WFPN形式化推理算法和上述设计的规则集,仿真验证了双机搜索/攻击自主任务推理结果的合理性,并降低了推算过程中矩阵的维数。     

基于泛布尔代数的MR阻尼器半主动控制方法

针对高层建筑的特点，舍弃寻求被控制对象的精确数学模型，运用泛布尔代数控制系统分析工具，首次提出了一种基于泛布尔代数的MR阻尼器半主动控制方法，并应用此方法对12层楼的高层结构受控地震反应的模拟仿真，获得满意的结果。     

基于泛布尔代数的交通信号控制的数据挖掘

提出了将基于泛布尔代数理论的数据挖掘技术应用到城市交通信号控制中.针对城市单个T形交叉路口的交通流控制,利用这种新的数据挖掘技术对其进行了初步分析,采用了多相位实时控制策略;对提取的决策规则,建立起决策系统的泛布尔模型.仿真结果表明,通过这种新的数据挖掘技术得出的控制模型,对实时改善交通流的管理和控制,效果优于传统的交通流控制技术.     

开关函数的一种分类方法

布尔代数与布尔环是等价的(见[1]).布尔代数(B,∧,∨,′,0,1)的理想规定为布尔环(B,+,·,0,1)的理想(见[2]),即设I为B的非空子集,满足(1)a,b∈I,有 a+b∈I;(2)(?)α∈I,x∈B,有 a·x∈I.上述定义等价于:布尔代数(B,∧,∨,′,0,1),设 I 为 B 的非空子集,满足(3)(?)a,b∈I,有 a∨b∈I;     

网络可靠性计算方法

网络可靠性计算的方法通常是由网络起、终点间的最小路集,列出系统工作函数,通过布尔代数化简,再计算其可靠度。由于这些最小路集,一般不是互不相交的,为此,必须求其互不相交的子集,再计算可靠度。本文运用不交型布尔代数,可直接列出不交化路集,以简化计算。此外又给出(?)—△网络的等效概率变换,来化简网络。     

通信网络连通概率的一种向量算法

研究了通信网络的连通概率问题。在求解布尔代数不交化变换中提出了一种向量算法,与已有的几种算法相比,该算法条理清晰,结构合理,易于编程实现。     

P2P网络搜索技术研究

随着P2P网络的广泛应用和对P2P网络深入研究，P2P技术取得了一些阶段性成果。P2P网络搜索由初始中心搜索至分布式广度优先搜索，直至现在的结构化P2P网络的语义搜索，其技术得到了快速发展，性能也得到了提高。基于P2P技术近几年的研究进展，论述了目前P2P系统中常用的一些搜索算法，探讨了P2P搜索技术的发展与方向。