布尔代数

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

摘要： 地图符号是制图对象从制图区域到地球椭球面的映射,从地球椭球面到制图主体的认知结构的映射,再到地图平面的映射的同胚象。地图符号与其指代地物的双函数关系是拓扑变换必须遵循的原则。由于地物在时空中演化的普遍性、经常性和连续性及资料的收集欠缺等原因,使编图过程总会在个别地方出现地图符号与指代地物的对应性破缺的问题,这就是地图的错误。对符号失实、遗漏、错位等错误给出了数学定义。根据具有包含关系的地图的幂集属于布尔代数系的原理,提出了基于布尔运算的修改错误符号的操作定义。以实例演算了地图从包含错误符号集的qghf(A)A到消除错误的成图qghf(A)B的变换过程。

摘要： 理想作为布尔代数中一个重要的推理准则,文中用双极值模糊集研究布尔代数的点理想,在布尔代数中引入了乘积型双极值模糊点理想并研究其性质,又在此定义基础上,得到了布尔代数的乘积型模糊点理想的交、同态像和同态逆像等,也是布尔代数的乘积型模糊点理想的结论 .

摘要： 定性比较分析(Qualitative Comparative Analysis,QCA)是近年来在政治学、社会学、管理学、经济学等社会科学领域兴起的一种以布尔代数和集合理论为基础,以挖掘充分必要条件组合为目的的方法论体系。与传统的定量研究方法相比,其优势和特征如下:聚焦研究自变量和结果变量间的非对称性关系;关注因素组合路径而非独立变量;用模糊集合替代变量的精准测量;分析过程与理论密切互动。与定性研究方法相比,其优势和特征如下:在研究结果的推广效度上实现了“中等”程度的普适性;在研究过程的操作上具有更高的透明性。

摘要： 以失效可能性、失效后果为评价准则,从地震危险性、管道易损性、产品危害性和受体易损性4方面建立山区输气管道地震风险评价体系,其中一级指标4个,二级指标10个,三级指标20个。采用G1法计算指标权重,引入布尔代数对指标关系进行逻辑分析,提出不同逻辑关系(与、或关系)下的风险值计算方法。将该评价方法应用于四川西部某山区输气管道,得到该输气管道属于低风险等级。根据实际运行维护数据,该输气管道目前没有因地震造成的失效记录,评价结果与实际情况基本一致,说明建立的山区输气管道地震风险评价模型具有可靠性。

摘要： 氯乙烯气柜在氯乙烯生产过程中具有储存、缓冲、稳压等作用,近几年来,国内接连发生氯乙烯气柜泄漏并引发火灾爆炸事故,造成重大人员伤亡和财产损失。本文中通过氯乙烯气柜火灾爆炸事故的分析,绘制氯乙烯气柜火灾爆炸事故树,运用布尔代数化简得到最小割集和最小径集,进而得出各种基本事件在事故树中的结构重要度,提出氯乙烯气柜管理过程中安全对策,为氯乙烯气柜的日常安全管理提供一定的思路和方向。

摘要： 根据目标管道的实际情况,将目标海底管道分为平台立管段、海域管段、人工岛登陆段3段,确定了第三方损坏、腐蚀、制造与施工缺陷、误操作4个一级风险因素,细化二级风险因素,建立了包含23个指标的风险评价指标体系.对指数和相加的方法进行改进,把各项风险分值进行归一化处理,量化至0～1之间,基于布尔代数,运用故障树的逻辑或原理,计算失效概率和泄漏影响系数,得到改进后的海底管道半定量风险评价模型,解决了传统模型中的风险值相加导致的风险遮蔽问题.

摘要： 在布尔代数中引入了(λ,μ)犹豫模糊子代数的概念,讨论了布尔代数的(λ,μ)犹豫模糊子代数的性质。证明了布尔代数的两个(λ,μ)犹豫模糊子代数的交与直积也是(λ,μ)犹豫模糊子代数。

摘要： 将布尔代数与犹豫模糊集相结合,首先,在布尔代数上定义了I-V犹豫模糊子代数,讨论I-V犹豫模糊子代数的性质以及若干等价刻画.其次,研究犹豫模糊集的水平集与布尔代数的子代数之间的关系,证明两个I-V犹豫模糊子代数的交仍是I-V犹豫模糊子代数,并且在布尔代数同态满射的前提下讨论布尔代数的I-V犹豫模糊子代数的像与原像的性质.最后,研究了布尔代数直积上的I-V犹豫模糊子代数.

摘要： 简要论述了布尔代数和数字逻辑的概念,根据逻辑方程的基本理论提出将二次回路转化为方程的基本原则,将电气二次回路抽象成方程分析回路功能和回路故障,并提出建立变电站状态数据库的理论设想,达到设备运行监控和迅速检修排故的目的,并将分析方程的运用推广至智能化变电站的二次回路分析.

摘要： 简要论述了布尔代数和数字逻辑的概念,根据逻辑方程的基本理论提出将二次回路转化为方程的基本原则,将电气二次回路抽象成方程分析回路功能和回路故障,并提出建立变电站状态数据库的理论设想,达到设备运行监控和迅速检修排故的目的,并将分析方程的运用推广至智能化变电站的二次回路分析.

摘要： 本文研究了将布尔代数与模糊逻辑相结合进行核动力系统技术状态评估的方法，在已有研究成果的基础上,基于核动力系统串、并联单元输出的布尔表达式推导,结合模糊逻辑,建立了一种普适的核动力系统状态评估模型。实例应用表明，该方法能够量化设备的部分失效对系统技术状态的影响,分析结果可为系统的使用与维修决策提供参考。

摘要： 简要介绍布尔代数、真值表、逻辑表达式的概念以及运算规则和真值表、逻辑表达式之间的转化方法,在介绍其设计应用之前先规定"逻辑-电气"的对应关系,之后用实例阐述应用布尔代数设计闭锁电路的方法.

摘要： 本文在覆盖粗糙集中定义了两种新型算子并讨论基于这两种新型算子的粗糙集的代数性质。基于这两种算子建立了覆盖粗糙集的并、交、补运算,进而建立了一种基于布尔代数的覆盖粗糙集模型。

摘要： 在可传递信度模型(TBM)上定义一对Rough算子,并讨论其性质,然后将其应用于两方面:一是对同一识别框架下不同布尔代数中的任一命题进行表示,二是对TBM中的信任函数和似然函数进行Rough集解释。

摘要： 随着数字技术的发展，布尔代数已成为数字逻辑电路分析和设计的基础.本文将逻辑代数中反演规则和对偶规则进行拓展，使之适用与"异或"和"同或"的变换。

摘要： 本文主要围绕者域市地下管网信息管理中建立数据库和管网信息表达如何适应不同用户的需求来设计建立应用模型。简要介绍了当前城市管网信息管理现状，介绍了管网应用中的信息表达模型。初步在概念层面探讨城市管网安全维护与评价方法及模型，提出两者相关连的逻辑关系，对其应用特点进行逻辑上分析，本文仅就利用管网信息扩展应用到安全评价做初步思路探讨，提出两者关联关系。

摘要： 本文主要围绕者域市地下管网信息管理中建立数据库和管网信息表达如何适应不同用户的需求来设计建立应用模型。简要介绍了当前城市管网信息管理现状，介绍了管网应用中的信息表达模型。初步在概念层面探讨城市管网安全维护与评价方法及模型，提出两者相关连的逻辑关系，对其应用特点进行逻辑上分析，本文仅就利用管网信息扩展应用到安全评价做初步思路探讨，提出两者关联关系。

摘要： 本文主要围绕者域市地下管网信息管理中建立数据库和管网信息表达如何适应不同用户的需求来设计建立应用模型。简要介绍了当前城市管网信息管理现状，介绍了管网应用中的信息表达模型。初步在概念层面探讨城市管网安全维护与评价方法及模型，提出两者相关连的逻辑关系，对其应用特点进行逻辑上分析，本文仅就利用管网信息扩展应用到安全评价做初步思路探讨，提出两者关联关系。

摘要： 本发明属于对称密码设计技术领域，特别涉及一种用于对称密码设计的布尔函数代数次数获取方法及装置，该方法包含：建立用于协同利用CPU和GPU进行求解的CUDA并行架构求解模型；利用求解模型获取布尔函数真值表，并计算代数正规型，获取布尔函数代数次数。本发明针对对称密码设计，建立基于CUDA的并行求解架构，协同利用CPU和GPU的计算资源，大大缩短了求解布尔函数代数次数的时间，优化求解过程，大大降低了复杂度，提高效率；并利用Cube理论对代数次数求解理论进行改进，在Cube理论的基础上,根据代数次数和超多项式取值之间的关系，实现代数次数估计，大大降低对称密码设计过程中的计算量，减轻软硬件资源运行负荷，具有较强的应用前景。

摘要： 本发明属于对称密码设计技术领域，特别涉及一种用于对称密码设计的布尔函数代数次数获取方法及装置，该方法包含：建立用于协同利用CPU和GPU进行求解的CUDA并行架构求解模型；利用求解模型获取布尔函数真值表，并计算代数正规型，获取布尔函数代数次数。本发明针对对称密码设计，建立基于CUDA的并行求解架构，协同利用CPU和GPU的计算资源，大大缩短了求解布尔函数代数次数的时间，优化求解过程，大大降低了复杂度，提高效率；并利用Cube理论对代数次数求解理论进行改进，在Cube理论的基础上,根据代数次数和超多项式取值之间的关系，实现代数次数估计，大大降低对称密码设计过程中的计算量，减轻软硬件资源运行负荷，具有较强的应用前景。

摘要： 本发明公开了一种布尔可满足性求解器中学习子句的删除方法及布尔可满足性求解器，所述方法包括：在求解的过程中生成多个学习子句，并对每个学习子句的使用次数及LBD值进行记录；当触发学习子句删除条件时，根据学习子句的使用次数和LBD值对学习子句进行删减。采用本发明的技术方案，可提高学习子句的质量，提升求解器的运行效率。

摘要： 本发明涉及一种基于图论与布尔代数的机动车尾气遥测设备布点方法，针对城市公交车，寻找机动车尾气遥测设备在城市路网中合适的布设位置，以实现实时高效监测公交车尾气排放情况的目标：首先基于图论中超图相关原理，将公交车运行路线转化为公交路线超图，并根据图论中极小横贯、横贯超图概念，将公交车尾气遥测设备的布点问题转化为公交路线超图的最小横贯求解问题；然后用布尔代数相关原理，解出公交路线超图所有极小横贯集；最后求出公交路线超图的最小横贯集，即最小监测路段集，确定出公交车尾气遥测设备在城市路网中的布设位置。相比于已有的监测器布点方案，本发明专门针对城市公交系统，更具独特性，且求解算法简单易实现，操作性更强。

摘要： 本发明涉及一种用于自动生成布尔代数的多机信息处理方法，采用客户端/服务器模式来实现布尔代数的多机自动生成，所述的信息处理方法包括以下步骤：1)服务器端将源文件进行分割，依次传输给客户端；2)客户端进行接收，并生成布尔代数文件，并将该布尔代数文件传送给服务器端；3)服务器端接收布尔代数文件，并将其合并。与现有技术相比，本发明具有异步分解性强、运算能力强、系统兼容性高、扩展性好等优点。

摘要： 本发明公开了一种布尔门棋，是一种以布尔逻辑代数和数字门电路的逻辑关系为本棋的准则，各方棋子中包括两种相互对立的逻辑状态的棋子0和1，棋盘是以三角形为基本单元，若干三角形单元连接成大的复合三角形，三角形的两个角点为逻辑门的输入端，另一角点为输出端，三角形的任一个角点为一个逻辑非门的输入端，与之相邻的另一角点为逻辑非门的输出端。通过逻辑门的输入端和逻辑门的性质可以确定由输入端一侧越过逻辑门到达输出端的棋子。通过0和1的不同组合，构成了各种逻辑门、各种逻辑门转换、级联或复合的输入输出关系，从而反映了布尔代数和数字门电路的逻辑状态，实现走棋、竞技和娱乐。

摘要： 本发明公开了一种基于布尔代数的基因处理方法、装置和可读存储介质，方法包括：对获取到的基因数据进行布尔编码，得到原始数据矩阵；基于布尔代数对所述原始数据矩阵进行矩阵分解，得到模式矩阵及残差矩阵；对所述模式矩阵进行无损压缩得到模式压缩数据，且对所述残差矩阵进行无损压缩得到残差压缩数据；在接收到解码指令时，对模式压缩数据及残差压缩数据解码得到模式矩阵及残差矩阵，再基于布尔代数从模式矩阵和残差矩阵还原原始数据矩阵。本发明利用布尔代数，对基因数据进行布尔编码、矩阵分解得到的基因模式矩阵和样本模式矩阵是对于原始数据的降维表示，除了用于压缩存储数据，也可以用于数据分析，得到基因的常见模式和样本的常见模式。

摘要： 本发明属于计算机辅助公差设计（CAT）技术领域，具体涉及一种基于布尔代数和自由度分析的基准体系合理性检验方法，由以下步骤组成：（1）获取几何公差标注框中相关的几何特征；（2）确立对应的空间直角坐标系；（3）得到几何要素和公差项目的自由度向量；（4）检验基准体系的合理性；（5）分析基准体系合理性的检验结果。本发明利用布尔代数对基准要素及被测要素的自由度进行相应的运算从而进行基准体系的合理性检验，并能够根据检验结果分析不合理原因，有利于对基准体系中各个基准的选择进行有效改进，其中用来确定相应空间直角坐标系的规则以及得到的几何要素自由度向量，还可以支持后续的公差分析和公差综合，同时本发明建立的基准体系合理性检验步骤和规则，可以反映基准体系的合理性，与计算机之间有较高的兼容性，有利于实现公差检验技术与计算机的集成。

摘要： 本发明涉及一种基于图论与布尔代数的机动车尾气遥测设备布点方法，针对城市公交车，寻找机动车尾气遥测设备在城市路网中合适的布设位置，以实现实时高效监测公交车尾气排放情况的目标：首先基于图论中超图相关原理，将公交车运行路线转化为公交路线超图，并根据图论中极小横贯、横贯超图概念，将公交车尾气遥测设备的布点问题转化为公交路线超图的最小横贯求解问题；然后用布尔代数相关原理，解出公交路线超图所有极小横贯集；最后求出公交路线超图的最小横贯集，即最小监测路段集，确定出公交车尾气遥测设备在城市路网中的布设位置。相比于已有的监测器布点方案，本发明专门针对城市公交系统，更具独特性，且求解算法简单易实现，操作性更强。

摘要： 本发明涉及一种用于自动生成布尔代数的多机信息处理方法，采用客户端/服务器模式来实现布尔代数的多机自动生成，所述的信息处理方法包括以下步骤：1)服务器端将源文件进行分割，依次传输给客户端；2)客户端进行接收，并生成布尔代数文件，并将该布尔代数文件传送给服务器端；3)服务器端接收布尔代数文件，并将其合并。与现有技术相比，本发明具有异步分解性强、运算能力强、系统兼容性高、扩展性好等优点。