一种故障树预处理和最小割集的嵌套求解方法

1

作者 李旭 张仁斌 樊玉琦 《核安全》 2024年第5期48-56,共9页

故障树分析(Fault Tree Analyze,FTA)是一种系统安全性分析方法。求解故障树最小割集(Minimum Cut Set,MCS)是FTA的重要环节,其方法主要包括基于布尔代数的算法和基于二元决策图(Binary Decision Diagram,BDD)的算法,在使用普通计算机... 故障树分析(Fault Tree Analyze,FTA)是一种系统安全性分析方法。求解故障树最小割集(Minimum Cut Set,MCS)是FTA的重要环节,其方法主要包括基于布尔代数的算法和基于二元决策图(Binary Decision Diagram,BDD)的算法,在使用普通计算机分析大规模故障树时,现有方法存在工作内存不足和计算时间过久的问题。为了解决上述问题,针对国内某百万千瓦级大型压水堆风险模型,提出了一种基于布尔代数的故障树预处理和最小割集嵌套求解算法(Pretreat and Nested Minimum Cut-Set Algorithm,PNMCS)。该算法由三个模块组成:故障树化简、故障树剪枝、最小割集嵌套计算。在国内某大型压水堆风险模型和几种实际应用风险模型上的应用表明,本算法在求得正确结果的同时,有效解决了工作内存不足和计算时间过久的问题。 展开更多

关键词 故障树分析 割集法 组合爆炸 布尔代数 二元决策图

在线阅读 下载PDF 职称材料

布尔逻辑和与逻辑积运算及可靠性分析应用 被引量：2

2

作者 金星 洪延姬 +1 位作者 文明 李俊美 《弹箭与制导学报》 CSCD 北大核心 2003年第1期69-72,共4页

在可靠性、可用性,可维修性和安全性分析计算中,涉及大量的布尔逻辑和与逻辑积运算,文中提出了布尔逻辑和与逻辑积运算的一种计算机计算新方法,采用动态数组技术节省了内存空间,并且采用Fortra90和C++语言编程实现,可用于大型布尔逻辑... 在可靠性、可用性,可维修性和安全性分析计算中,涉及大量的布尔逻辑和与逻辑积运算,文中提出了布尔逻辑和与逻辑积运算的一种计算机计算新方法,采用动态数组技术节省了内存空间,并且采用Fortra90和C++语言编程实现,可用于大型布尔逻辑运算的快速实现,以及系统可靠性计算分析。 展开更多

关键词 逻辑积 可靠性分析 布尔逻辑运算 逻辑和

在线阅读 下载PDF 职称材料

基于布尔交运算的三维流形单元生成研究 被引量：8

3

作者 杨石扣 任旭华 张继勋 《岩土力学》 EI CAS CSCD 北大核心 2016年第9期2706-2711,2720,共7页

三维流形单元的生成是进行三维数值流形分析的首要问题之一。详细研究了三维流形单元的生成过程,并采用C++语言编写了相应的程序。借鉴二维流形单元的形成技术,基于拓扑学的"有向性"原理,将点、有向边、有向环、有向面和有向... 三维流形单元的生成是进行三维数值流形分析的首要问题之一。详细研究了三维流形单元的生成过程,并采用C++语言编写了相应的程序。借鉴二维流形单元的形成技术,基于拓扑学的"有向性"原理,将点、有向边、有向环、有向面和有向壳等作为三维块体的基本数据结构。将材料体和数学网格进行布尔交运算,并对形成的流形块体进行有效性检测,满足要求后即形成新的三维流形单元。每个数学网格的顶点作为新流形单元的数学覆盖,再对数学覆盖进行细分,形成流形单元的物理覆盖。分别选取凹形体、空心体和包含有限结构面的材料体与数学网格进行布尔交运算,并选取一个典型工程来检查该方法和程序的可行性。计算结果表明,该方法可以对复杂块体(凹形体、空心体和包含有限结构面的体)进行处理,为今后进行复杂结构计算和分析奠定基础,具有较强的适应性和可靠性。 展开更多

关键词 数值流形方法 布尔交运算 三维流形单元 复杂块体 数学覆盖 物理覆盖

在线阅读 下载PDF 职称材料

布尔函数设计中的爬山算法及其改进 被引量：3

4

作者 李超 胡朋松 海昕 《通信学报》 EI CSCD 北大核心 2007年第3期130-133,共4页

针对布尔函数设计中的爬山算法,分析了算法中集合W_(2,3)^+与W_(2,3)^-的性质,优化了该算法的部分计算。通过分析布尔函数自身的局部性质,提出了改进的爬山算法。实验数据表明:新的算法可以找到非线性度更高的布尔函数。

关键词 布尔函数 非线性度 爬山算法

在线阅读 下载PDF 职称材料

计算布尔差分与布尔偏导数的表格方法 被引量：2

5

作者 刘观生 陈偕雄 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2006年第9期1486-1489,共4页

为了简化Reed-Muller型逻辑函数的布尔差分与布尔偏导数的计算过程,提出了一种基于表格的新方法.该方法通过用表格列出Reed-Muller型逻辑函数的1值积项,并对1值积项中相应的位取1到0的变换产生新项来计算一阶布尔差分.二阶布尔差分通过... 为了简化Reed-Muller型逻辑函数的布尔差分与布尔偏导数的计算过程,提出了一种基于表格的新方法.该方法通过用表格列出Reed-Muller型逻辑函数的1值积项,并对1值积项中相应的位取1到0的变换产生新项来计算一阶布尔差分.二阶布尔差分通过两次变换产生新积项,并删除相同积项来得到.一阶布尔偏导数作为一阶布尔差分,二阶布尔偏导数通过对积项中相应位作两次连续的1到0的变换来得到.该方法用表格模拟了计算布尔差分与布尔偏导数的过程.应用结果表明,与图形方法相比较,该方法不需要画图,操作简便,可适合求解多变量逻辑函数以及计算机编程. 展开更多

关键词 RM展开 表格方法 布尔差分 布尔偏导数

在线阅读 下载PDF 职称材料

基于范成法虚拟加工技术的渐开线齿轮建模研究 被引量：3

6

作者 陈华 孙书民 《西华大学学报（自然科学版）》 CAS 2010年第5期7-9,共3页

以包络原理为理论基础,结合CATIA先进的工程知识模块及几何体的布尔运算功能,利用虚拟的标准齿条刀具,完成渐开线齿轮范成法虚拟加工,建立了具有完整齿廓特征的精确渐开线齿轮模型。该方法为齿轮的建模提供了一个新思路。

关键词 范成法 虚拟加工 布尔运算 渐开线齿轮

在线阅读 下载PDF 职称材料

基于改进模糊集合方法的用户查询词扩展的信息检索 被引量：1

7

作者 宗莲松 《西华大学学报（自然科学版）》 CAS 2012年第4期42-48,69,共8页

基于模糊集合方法和Wordnet的查询扩展技术,提出了一种用户查询词扩展的信息检索方法。先用Wordnet找出查询词的同义词,再利用广义Jaccard系数来计算2个同义词之间的相似性,选取相似性较大的同义词进行查询词扩展后实现信息检索。此方... 基于模糊集合方法和Wordnet的查询扩展技术,提出了一种用户查询词扩展的信息检索方法。先用Wordnet找出查询词的同义词,再利用广义Jaccard系数来计算2个同义词之间的相似性,选取相似性较大的同义词进行查询词扩展后实现信息检索。此方法不仅保留了模糊集合方法对查询词处理简单且容易理解的特性,还很好地解决了模糊集合方法不能对文档进行精确排序的问题。最后,提出了基于矩阵的布尔式向析取范式转化的算法,该算法转换简单快速,解决了模糊集合方法中随着查询词数量的增加使得布尔表达式转化成析取范式变得很复杂的问题。 展开更多

关键词 WORDNET 模糊集合方法 析取范式 布尔表达式

在线阅读 下载PDF 职称材料

逻辑函数的减-异或、除-符合展开式的最小化方法 被引量：2

8

作者 赵美玲 潘伟珍 陈偕雄 《科技通报》 2005年第2期201-204,209,共5页

本文根据布尔减-异号、除-符合代数系统中的规范展开式,给出了布尔减-异或、除-符合逻辑函数的代数化简法和图形化简法。

关键词 布尔减-异或 布尔除-符合 代数化简法 图形化简法

在线阅读 下载PDF 职称材料

一种布尔变换及解变换方法在数据处理中的应用 被引量：1

9

作者 陈宇 王遵立 +1 位作者 王瑞光 朴燕 《发光学报》 EI CAS CSCD 北大核心 1996年第3期251-256,共6页

通常情况下，由于计算机在字符显示状态下在内存中存在一个显示代码缓存区，此缓存区存放屏幕上显示内容的ＡＳＣⅡ码；因此在ＬＥＤ显示应用上，尤其在需要将控制机显示内容在另一区域的ＬＥＤ屏幕重现时所需要的数据传输方面上，上述... 通常情况下，由于计算机在字符显示状态下在内存中存在一个显示代码缓存区，此缓存区存放屏幕上显示内容的ＡＳＣⅡ码；因此在ＬＥＤ显示应用上，尤其在需要将控制机显示内容在另一区域的ＬＥＤ屏幕重现时所需要的数据传输方面上，上述代码缓存区具有重要的作用．但是当我们使用象ｐｃ－１５００这样的机器作ＬＥＤ显示系统的控制机时，由于它无上述的系统有规律的顺序显示代码缓存区，同时鉴于ＬＥＤ与主控机点阵的不同及需传送的数据量等问题，我们在传输屏幕内容上存在一定的困难．本文提出并采用一种布尔变换及解变换方法来解决这个问题． 展开更多

关键词 布尔变换 LED显示 Hash码 平板显示

在线阅读 下载PDF 职称材料

反思性教学研究述评——从内容分析法的角度 被引量：18

10

作者 卢真金 《浙江教育学院学报》 2007年第3期1-8,95,共9页

随着基础教育课程改革的全面推进,反思性教学日益深入人心。反思性教学进入了中国化发展的阶段。文章通过内容分析法,以"反思性教学"为关键词,采用布尔逻辑检索,对中国期刊全文数据库和中国优秀博硕士学位论文全文数据库进行... 随着基础教育课程改革的全面推进,反思性教学日益深入人心。反思性教学进入了中国化发展的阶段。文章通过内容分析法,以"反思性教学"为关键词,采用布尔逻辑检索,对中国期刊全文数据库和中国优秀博硕士学位论文全文数据库进行检索分析,并在此基础上,就反思性教学在中国的发展进行评述。 展开更多

关键词 反思性教学 教师专业发展 内容分析法 类目 布尔逻辑检索

在线阅读 下载PDF 职称材料

随机建模在宝浪油田宝北区块Ⅱ小层的应用

11

作者 鲍晓欢 《承德石油高等专科学校学报》 CAS 2004年第3期12-15,36,共5页

根据储层建模中布尔模拟的基本原理,详细描述了计算机上的建模流程,利用自编软件针对以辫状河道砂体沉积为主的宝浪油田宝北区块Ⅱ小层,建立了多个井间河道砂体剖面模型实现,反映出储层的非均质性,具有一定的预测效果。

关键词 宝北区块 宝浪油田 随机建模 河道砂体 储层建模 非均质性 辫状河 预测效果 剖面 沉积

在线阅读 下载PDF 职称材料

基于二维布置图的三维舱室自动建模技术 被引量：1

12

作者 黄卫刚 林科 《中国舰船研究》 CSCD 北大核心 2021年第4期125-131,共7页

[目的]为了实现舰船总体设计的布置图建模,采用图形分析技术实现舱室布置数据的自动采集。[方法]针对图纸存在的固有缺陷,提出完备的舱室边界识别算法,实现舱室边界信息的准确获取;采用舱室、点的流水号等技术实现舱室属性和舱室边界之... [目的]为了实现舰船总体设计的布置图建模,采用图形分析技术实现舱室布置数据的自动采集。[方法]针对图纸存在的固有缺陷,提出完备的舱室边界识别算法,实现舱室边界信息的准确获取;采用舱室、点的流水号等技术实现舱室属性和舱室边界之间的高效匹配;运用分级布尔运算技术实现三维舱室的高效自动建模。[结果]该方法能够实现布置信息的自动收集和分析,简化总体设计中舱室三维建模和舱室数据的统计分析,并减少不沉性计算原始数据整理等工作的工作量,为总体设计等提供一种可信、可行的技术手段,可提高设计效率和速度,解决基于二维布置图的三维舱室自动建模问题。[结论]信息收集软件的开发及测试验证了所提方法的可行性和良好应用效果。 展开更多

关键词 舰船 舱室建模 布置信息 采集技术 图形分析 分级布尔运算

在线阅读 下载PDF 职称材料

组合电路的故障测试生成D算法研究 被引量：2

13

作者 陈永刚 张彩珍 《兰州铁道学院学报》 2002年第6期14-16,共3页

测试生成指针对电路中一个故障找出能检测该故障的测试码,测试生成算法的好坏决定着测试技术的好坏.确定性测试中,测试算法的研究显得尤为重要.分析了组合电路的故障测试生成D算法,以施耐得计数器电路为例,研究了D算法在组合电路故障测... 测试生成指针对电路中一个故障找出能检测该故障的测试码,测试生成算法的好坏决定着测试技术的好坏.确定性测试中,测试算法的研究显得尤为重要.分析了组合电路的故障测试生成D算法,以施耐得计数器电路为例,研究了D算法在组合电路故障测试生成中的应用,并给出了D算法与通路敏化法、布尔差分法的应用比较结果. 展开更多

关键词 组合电路 测试生成算法 D算法 通路敏化法 布尔差分法 故障测试

在线阅读 下载PDF 职称材料

基于FTA的煤矿瓦斯事故分析 被引量：3

14

作者 李俊禄 李刚 车彦峰 《工矿自动化》 2010年第11期40-43,共4页

给出了事故树分析的步骤,绘制出了煤矿瓦斯事故树图,运用事故树分析方法对瓦斯事故进行了逻辑分析;采用布尔代数法,找出了煤矿瓦斯爆炸事故发生的最小割集、最小径集;通过对最小割集(最小径集)的求解,确定了基本事件的结构重要度,从而... 给出了事故树分析的步骤,绘制出了煤矿瓦斯事故树图,运用事故树分析方法对瓦斯事故进行了逻辑分析;采用布尔代数法,找出了煤矿瓦斯爆炸事故发生的最小割集、最小径集;通过对最小割集(最小径集)的求解,确定了基本事件的结构重要度,从而了解了煤矿的危险程度和安全程度,掌握了导致瓦斯事故发生的各基本原因事件的组合关系及其重要程度;给出了防治瓦斯事故发生的措施。 展开更多

关键词 煤矿 瓦斯事故 瓦斯爆炸 事故树 布尔代数法

在线阅读 下载PDF 职称材料

自动电话系统任务可靠性建模的探讨 被引量：1

15

作者 任秋惠 《电声技术》 2012年第7期34-39,共6页

通过对几种任务可靠性模型的比较,基于和联系统及任务重要度的概念,利用布尔真值表法建立了自动电话系统任务可靠性模型,并列出利用几种模型计算的任务可靠性度,将其进行比较,为自动电话系统任务可靠性预计提供了合理的数据,为准确预计... 通过对几种任务可靠性模型的比较,基于和联系统及任务重要度的概念,利用布尔真值表法建立了自动电话系统任务可靠性模型,并列出利用几种模型计算的任务可靠性度,将其进行比较,为自动电话系统任务可靠性预计提供了合理的数据,为准确预计系统任务可靠性奠定了基础。 展开更多

关键词 自动电话系统 任务可靠性 建模 “和联”系统 布尔真值表法

在线阅读 下载PDF 职称材料

运用布尔运算法则构建织物组织矩阵群模型的方法 被引量：1

16

作者 赵吕冉 朱温清 张聿 《丝绸》 CAS CSCD 北大核心 2015年第9期21-25,共5页

通过运用布尔运算法则,以及在织物组织与矩阵之间建立一一对应关系定义织物组织矩阵群,提出一种织物组织群的构建方法。该方法分别以"0""1"表示织物组织中的纬、经组织点,并将一个循环数为n×n的织物组织与一个... 通过运用布尔运算法则,以及在织物组织与矩阵之间建立一一对应关系定义织物组织矩阵群,提出一种织物组织群的构建方法。该方法分别以"0""1"表示织物组织中的纬、经组织点,并将一个循环数为n×n的织物组织与一个n×n的矩阵对应,构成织物组织矩阵;然后引用布尔运算法则中的"异或"运算规则定义织物组织矩阵中矩阵元之间的加法运算关系,由此构建关于该加法运算的织物组织群模型;在此基础上,根据织物组织设计实践要求,探讨运用该织物组织群模型生成织物组织系列的方法,从而为组织的数字化表达与设计模式尝试探索一条新的途径。 展开更多

关键词 布尔运算法则 织物组织 矩阵群 建模方法

在线阅读 下载PDF 职称材料

图的增广支配数 被引量：2

17

作者 蔡延光 《湖北汽车工业学院学报》 1999年第1期73-80,共8页

增广ｐ一中心是在原有的服务设施基础上增加ｐ个设施为网络中的顶点提供紧急服务，因此增广ｐ一中心问题比经典的ｐ一中心问题更具有实际意义。本文提出了图的增广支配集、增广支配数的概念，这些概念与增广ｐ一中心问题密切相关，给出... 增广ｐ一中心是在原有的服务设施基础上增加ｐ个设施为网络中的顶点提供紧急服务，因此增广ｐ一中心问题比经典的ｐ一中心问题更具有实际意义。本文提出了图的增广支配集、增广支配数的概念，这些概念与增广ｐ一中心问题密切相关，给出了求任意图全部极小增广支配集的布尔方法，提出了一个线性时间的算法求树的增广支配数。 展开更多

关键词 网络选址 支配数 布尔方法 增广支配数 线性时间算法 树

在线阅读 下载PDF 职称材料

三维数值流形法覆盖系统生成算法研究

18

作者 杨石扣 任旭华 +1 位作者 张继勋 艾华东 《岩土力学》 EI CAS CSCD 北大核心 2022年第S01期633-640,共8页

覆盖系统生成效率低是当前制约三维数值流形法在大型实际工程中应用的瓶颈问题。通过改进三维覆盖系统的生成算法,提出了改进的布尔交运算生成三维覆盖系统的算法,并采用C++语言编写了相应的程序。根据数学网格与物理域的拓扑几何关系,... 覆盖系统生成效率低是当前制约三维数值流形法在大型实际工程中应用的瓶颈问题。通过改进三维覆盖系统的生成算法,提出了改进的布尔交运算生成三维覆盖系统的算法,并采用C++语言编写了相应的程序。根据数学网格与物理域的拓扑几何关系,确定采用传统布尔交运算还是由数学网格直接生成流形块体,并对生成的流形块体进行三维块体有效性检查,满足要求后即可生成新的三维流形单元,进而生成所有前处理三维覆盖系统。选取两个简单算例和一个边坡工程问题来说明所提方法的可行性和计算程序的正确性,并通过对比分析说明方法的计算效率。计算结果表明,改进的布尔交运算比传统布尔交运算更高效;随着网格密度的增加,生成一个单元的平均耗时逐渐减少;随着物理域边界复杂程度增加,所提方法计算效率逐渐降低。为今后采用数值流形法进行结构分析奠定基础,具有较强的实际应用价值。 展开更多

关键词 数值流形法 覆盖系统 布尔交运算 三维流形单元 数学网格

在线阅读 下载PDF 职称材料

IBWIICC:结合局部独立覆盖检测策略增量求解极小碰集的算法

19

作者 赵相福 黄森 +3 位作者 童向荣 欧阳丹彤 张立明 章星林 《电子学报》 EI CAS CSCD 北大核心 2022年第11期2722-2729,共8页

基于模型的诊断推理是人工智能领域的一个重要分支.其中由冲突部件集产生所有极小碰集是基于模型诊断推理的重要一步.根据布尔算法的特征,所有的冲突集可以划分为左右两个子集合簇,且左分支集合簇恰好为右分支集合簇的子集,这为由左分... 基于模型的诊断推理是人工智能领域的一个重要分支.其中由冲突部件集产生所有极小碰集是基于模型诊断推理的重要一步.根据布尔算法的特征,所有的冲突集可以划分为左右两个子集合簇,且左分支集合簇恰好为右分支集合簇的子集,这为由左分支增量产生右分支极小碰集提供了理论基础;另外,在自底向上增量归并元素的过程中,结合局部独立覆盖策略可以直接增量产生所有的极小碰集,从而避免非极小碰集和相同极小碰集的冗余产生.理论上,右分支解集可由左分支解集增量方法产生,避免了碰集中大量元素的重复计算.大量实验结果表明:本文提出的算法比之前的布尔算法及相关改进算法都具有显著的效率提升,最高可达约5倍. 展开更多

关键词 基于模型诊断 诊断推理 极小碰集 布尔算法 冲突集 增量方法

在线阅读 下载PDF 职称材料

断面法河道冲淤测验的主要问题及改进构想 被引量：1

20

作者 姜朝 《人民黄河》 CAS 北大核心 2017年第4期33-37,共5页

在黄河下游河道断面法冲淤测验体系中,不平行断面间距的确定方法、固定的断面位置与实时变化的河势之间的矛盾,是影响河道冲淤测验结果可靠性的主要因素。对断面间距确定和断面位置选择进行了分析,论证了"双垂线法"确定滩地... 在黄河下游河道断面法冲淤测验体系中,不平行断面间距的确定方法、固定的断面位置与实时变化的河势之间的矛盾,是影响河道冲淤测验结果可靠性的主要因素。对断面间距确定和断面位置选择进行了分析,论证了"双垂线法"确定滩地断面间距的错误之处,最后提出了三维模型冲淤测验方案和冲淤量布尔运算的改革构想。 展开更多

关键词 布尔运算 三维模型 双垂线法 断面位置 断面间距 断面法 冲淤测验 黄河下游

在线阅读 下载PDF 职称材料