二元决策图

摘要： 基于自动机理论的模型检测技术在形式化验证领域处于核心地位,然而传统自动机在时态算子上不具备可组合性,导致各种时态逻辑的模型检测算法不能有机整合.为了实现集成限界时态算子的实时分支时态逻辑RTCTL*的高效模型检测,提出一种RTCTL*正时态测试器构造方法以及相关符号化模型检测算法,既证明了所提出的RTCTL*正时态测试器构造方法是完备的,也证明了该算法时间复杂度与被验证系统呈线性关系,与公式长度呈指数关系.基于JavaBDD软件包成功开发了该算法的模型检测工具MCTK2.0.0.完成了MCTK与著名的符号化模型检测工具nu Xmv之间的实验对比分析工作,结果表明:MCTK虽然在内存消耗上要多于nu Xmv,但是MCTK的时间复杂度双指数级小于nuXmv,使得利用MCTK验证大规模系统的实时时态性质成为可能.

摘要： 电机械制动系统是提高矿井提升机制动响应的有效途径,其可靠性需要进一步分析验证。本研究采用基于二元决策图的故障树分析法进行验证分析,分析系统各部件的故障对制动系统工作状态的影响,建立制动系统故障树;采用DFLM搜索算法对故障树进行查找,得到简单的模块子树;借助ITE结构将模块子树转化为二元决策图,基于二元决策图进行故障树的定性、定量分析。结果表明,底事件滚珠丝杆损坏和闸瓦磨损对系统的概率重要度最大,最大值为0.97422,是影响制动系统可靠性的薄弱环节。

摘要： 动态故障树相比传统的静态故障树,具有动态性、时序性和冗余性等动态失效特征,其顶事件发生概率的计算方法更加复杂.采用深度优先搜索方法获取动态故障树子模块,介绍了基于最小割集和二元决策图的静态故障树顶事件概率计算方法、基于马尔科夫链和积分公式的动态故障树顶事件概率计算方法.重点分析了4种计算顶事件概率方法的适用范围和特点,总结了计算动态故障树顶事件概率的一般计算流程.最后以飞机某新型氧气系统失效为例进行分析验证.

摘要： 对地铁施工风险事故产生的原因进行分析,首先绘制故障树分析(FTA),在此基础之上建立二元决策图(BDD)结构,对地铁施工安全风险进行定性和定量双重分析.通过遍历BDD结构,计算得出风险事故率和基本事件重要度两项评价指标.为了简化逻辑运算,通过计算机编程代码来实现,有效避免了故障树分析中的组和爆炸问题.依据所得数据,项目部安全管理人员可以确定引发事故的关键因素,制定针对性较强的控制措施,较大程度上避免后续类似风险事故的发生.

摘要： 针对卫星系统的可靠性问题,提出了一种基于动态故障树的卫星可靠性分析方法.采用马尔可夫链和二元决策图相结合的分析方法,建立卫星的电源、姿轨控和推进3个分系统的动态故障树模型,在此基础上得到卫星的随机故障模型,并综合考虑损耗故障建立卫星可靠性模型.利用蒙特卡洛仿真对随机故障模型进行评估分析,并将其与Weibull分布模型进行性能比较,仿真结果表明该方法能够有效分析卫星的随机故障,具有计算精度高、效率高的优点,并能更有效地模拟卫星部件随机故障的动态行为.

摘要： LTE-R无线通信系统可为铁路通信网络提供数据传输支持,实现列车安全可靠运行,然而目前针对该系统的可靠性与失效动态特性分析较少.提出一种基于动态故障树(DFT)的LTE-R系统可靠性分析方法.通过分析网络结构和服务质量指标对列车行车的影响,给出LTE-R可靠性特征量定义,从而建立DFT分析模型,并采用Markov方法和二元决策图(BDD)方法分别计算单网、双网和射频拉远单元3种交织冗余结构的可靠性指标.分析结果表明,双网交织冗余结构可靠性最高,稳态有效度达到99.999 86％,单网交织冗余结构可靠性最低,稳态有效度为99.993 69％.

摘要： 复杂系统在进行动态故障树分析计算时,会出现由于“组合爆炸”而导致计算极其复杂,甚至无法计算的问题,为了解决这一问题,提出了一种基于模块化思想的动态故障树分析方法.该方法首先将动态故障树模块分解,得到独立的静态子树和动态子树,再分别用二元决策图和马尔科夫链分析计算,最终得到整个系统故障分析结果.实例运算表明,当系统模块分解后的动态子树规模与系统规模相比不大时,可以大大地提高分析计算的效率.

摘要： 文章结合铁路综合视频监控业务特点,梳理出构成无实时视频和录像断点两类典型故障的基本底层事件源,分别建立了故障树并求出最小割集.通过结构重要度分析法分析最小割集中的底层事件源的重要度,做出定性与定量分析,得到底层事件源的结构重要度排序序列,对视频监控系统的两类典型故障告警提出筛选方法,该方法提高了运维故障定位速度,提高了系统的安全性和可靠性.

摘要： 文章结合铁路综合视频监控业务特点,梳理出构成无实时视频和录像断点两类典型故障的基本底层事件源,分别建立了故障树并求出最小割集。通过结构重要度分析法分析最小割集中的底层事件源的重要度,做出定性与定量分析,得到底层事件源的结构重要度排序序列,对视频监控系统的两类典型故障告警提出筛选方法,该方法提高了运维故障定位速度,提高了系统的安全性和可靠性。

摘要： 故障树分析技术经常用于计算系统顶事件失效的概率。当处理到大规模故障树结构时,传统的故障树分析技术经常在效率和准确性上面临瓶颈。二元决策图技术可以通过计算机高效、精准地计算顶事件的失效概率。本论文主要致力于提供一个基于二元决策图技术的求解故障树顶事件发生概率的优化分析算法。

摘要： 本文以卫星系统为研究对象,分析了在卫星系统中考虑共因失效的必要性.针对共因类型的不同,给出了多种共因情况下系统不可靠度的表达式,针对同一共因系统失效的具体情况进行了分析.以二元决策图对卫星子系统中的静态故障树进行建模,对受到同一类型共因而失效的卫星子系统进行可靠性评估,说明了在大型结构化冗余系统中预防共因失效的重要性.

摘要： 于大量采用各种容错技术, IMA核心处理平台具有动态随机性故障,已不再适合采用基于静态故障机理的传统静态故障分析方法对其进行分析.结合IMA核心处理平台可能发生的故障和重构机制,引入动态逻辑门表示形式建立动态故障树.然后将动态故障树模块化成相互独立的静态子树和动态子树,并分别采用二元决策图及Markov状态转移法进行动态故障树分析.

摘要： 航电系统结构复杂，功能多样化，而故障模式多为逻辑关联性故障。本文引入故障树的模型对其进行故障诊断。提出了四种适用于故障树的故障诊断方法，包括了自上而下的“诊断模式”和自下而上的“告警模式”。利用飞行手册中的相关先验信息对基于二元决策图的方法进行了优化，提高了诊断效率，减小了计算量。引入模糊的思想解决了非确定性推理在逻辑故障诊断中局限性。最后利用java开发工具，开发了一套集成四种诊断方法的综合诊断系统。

摘要： 主动解列控制不仅包含了图论和有序二元决策图(OBDD)等数学理论及工具的应用,同时还涵盖了电力系统慢同调理论以及新颖的搜索加校验求解思路,是一个复杂的理论体系。本文以这些理论和工具在主动解列中应用的先后顺序为脉络,详细介绍了主动解列的发展历程以及这些理论和工具在主动解列中的应用。同时,本文还针对主动解列的研究现状提出了主动解列投入实际应用之前几个亟待解决的问题,并指出了下一步研究的方向。

摘要： 总结评价了可靠性建模技术(如BDD,马尔可夫,动态故障树,Petri网,GO流法等)的特点,概括了目前可靠性建模应用研究的情况,包括多阶段任务系统,复杂可修系统和性能可靠性一体化建模等方面.最后本文还展望了系统可靠性建模技术的发展方向.

摘要： 总结评价了可靠性建模技术(如BDD,马尔可夫,动态故障树,Petri网,GO流法等)的特点,概括了目前可靠性建模应用研究的情况,包括多阶段任务系统,复杂可修系统和性能可靠性一体化建模等方面.最后本文还展望了系统可靠性建模技术的发展方向.

摘要： 总结评价了可靠性建模技术(如BDD,马尔可夫,动态故障树,Petri网,GO流法等)的特点,概括了目前可靠性建模应用研究的情况,包括多阶段任务系统,复杂可修系统和性能可靠性一体化建模等方面.最后本文还展望了系统可靠性建模技术的发展方向.

摘要： 总结评价了可靠性建模技术(如BDD,马尔可夫,动态故障树,Petri网,GO流法等)的特点,概括了目前可靠性建模应用研究的情况,包括多阶段任务系统,复杂可修系统和性能可靠性一体化建模等方面.最后本文还展望了系统可靠性建模技术的发展方向.

摘要： 总结评价了可靠性建模技术(如BDD,马尔可夫,动态故障树,Petri网,GO流法等)的特点,概括了目前可靠性建模应用研究的情况,包括多阶段任务系统,复杂可修系统和性能可靠性一体化建模等方面.最后本文还展望了系统可靠性建模技术的发展方向.

摘要： 一种在工业产品上压印二元全息图的方法，其包括提供一种带有对应全息图的图案的印章的步骤(30)。该产品首先覆盖有金属层。所述印章被遮蔽溶液涂覆的步骤(40)，并被压印到该工业产品上的步骤(50)。接着，通过选择性蚀刻没有被遮蔽的金属层部分来获得全息图图案的步骤(60)。该方法适合于在光学镜片上压印全息图。

摘要： 本发明提供一种针对复杂的问题也能够高性能地提取二元关系的装置。解答－特性对提取部(12)从保存着包含在文本数据中出现的二元关系中赋予了表示其是应提取的内容的解答的事例的教师数据的教师数据存储部(11)中提取事例的特性，生成特性的集合和解答的组。机器学习部(13)利用预定的机器学习方法，对该组在何种特性集合的情况下会形成何种解答这一问题进行机器学习，并将学习结果信息保存到学习结果存储部(14)。候选提取部(15)从文本数据(2)中提取二元关系的候选，特性提取部(16)提取二元关系的候选的特性的集合。解答推断部(17)基于学习结果信息推断在二元关系的候选的特性集合的情况下容易形成解答的程度，二元关系提取部(18)根据推断结果提取正的解答的推断程度良好的二元关系的候选。

摘要： 一种在工业产品上压印二元全息图的方法，其包括提供一种带有对应全息图的图案的印章的步骤(30)。该产品首先覆盖有金属层。所述印章被遮蔽溶液涂覆的步骤(40)，并被压印到该工业产品上的步骤(50)。接着，通过选择性蚀刻没有被遮蔽的金属层部分来获得全息图图案的步骤(60)。该方法适合于在光学镜片上压印全息图。

摘要： 本发明属于催化剂的制备术领域，涉及一种二元羧酸酯加氢制二元醇催化剂的处理方法、二元羧酸酯加氢制二元醇催化剂及其应用。本发明的二元羧酸酯加氢制二元醇催化剂的处理方法中，催化剂主要由活性主体、助催化剂和载体组成，该方法包括以下步骤：将待处理的催化剂依次进行碱洗、醇洗和水洗，然后进行分离、干燥和焙烧，得到处理后的二元羧酸酯加氢制二元醇催化剂。本发明工艺简单，易于实施，处理后的催化剂活性高、稳定性好、产物选择性好，在反应过程中稳定性好，可以获得二元羧酸酯的高转化率以及二元醇的高选择性。

摘要： 一种基于混合二元决策图的动态故障树分析方法，属于软件可靠性工程领域，目的在于考虑组件间的顺序依赖关系，结合逻辑代数模型，实现更高效的可靠性分析方法。方法如下：自上而下的遍历动态故障树，利用基于时序结构函数的代数模型表示每个动态门，得到动态故障树的代数结构函数；基于改进的香农分解算法，消除动态依赖关系，赋予二元决策图左右分支新的含义，利用新的形式表示根节点、中间节点和叶子节点；基于上述步骤，利用二元决策图的特点对系统进行定量分析，计算整个系统的不可靠度。本发明解决了决策图中产生无效节点的问题，适用于任意失效时间分布的系统和包含任意动态门的动态故障树，可用于动态和静态的混合分析模型，具有普适性。

摘要： 本发明公开一种基于Petri网与改进二元决策图模型的最小割集求解方法，包括步骤有根据故障情况建立相应故障树；根据所建立的故障树建立相应的Petri网模型；根据所建立的Petri网模型计算顶层事件的布尔逻辑关系式；根据顶层事件的布尔逻辑关系式转换成改进二元决策图模型；根据改进二元决策图模型可以比较直观的得到最小割集。本发明的有益效果是：能够有效解决求解最小割集存在的组合爆炸和NP问题。

摘要： 本发明涉及一种基于二元决策图的二值神经网络定量分析方法，借助二元决策图(BDD)，并通过分析二值神经网络的内部结构特征，提出一种基于二元决策图的BNN网络编码方式。本发明充分利用神经网络的内部结构，以模块为单位，将神经网络的输入输出关系转换为基数约束集合，并由二元决策图对得到的约束集合进行BDD编码，进而完成整个神经网络的BDD编码。本发明相比于已有可证明近似的定量分析方案更高效更精准，且支持对神经网络的增量编码，可对神经网络的鲁棒性和可解释性进行精准分析。本发明不仅在精度上有很大的提升，在性能上也有更好的表现，且在所能处理的网络的规模上，本发明也远大于其他基于BDD的编码方法。

摘要： 本发明公开了一种二元决策图的构造方法、等价性验证方法、存储介质。其中二元决策图的构造方法，包括：确定电路的锥顶和锥底；从锥顶的输入端口开始可生成二元决策图的迭代过程；当迭代过程进行到连线网部分时，若当前的连线网不是多驱动并且该连线网连接的端口数量大于等于3，则查找哈希表；如果没有找到，则继续可生成二元决策图的迭代过程以生成该连线网对应的局部二元决策图，并将该局部二元决策图存入哈希表中；之后在迭代过程中遍历到该连线网，则可以直接从哈希表中取出。本发明在生成BDD的过程中，减少了处理BDD图所消耗的时间和内存，使得电路的验证时间大幅缩短。

摘要： 本发明提供一种基于结构识别方法和二元决策图模型高效求解可靠性框图模型的方法。目的和解决的问题是：提升大规模复杂系统可靠性框图模型的建模能力和计算效率。该方法首先识别可靠性框图模型中的基本结构，如串联、并联、表决、和联，并将这些基本结构用一个复杂单元替代，递归调用该方法，最终形成一个具有层次化结构的简单可靠性框图模型；其次，从上到下遍历层次化可靠性框图模型，直至到最底层的模块，将这些模块按照结构类型转换为对应的二元决策图模型，并向上回溯，层层转换，最终形成层次化的二元决策图模型；最后，根据构建的二元决策图模型评估复杂系统的可靠性水平。

摘要： 本发明提供一种基于二元决策图的等级保护测评原始记录生成系统，涉及网络安全技术领域。该系统包括，测评检查结果获取模块，用于获取对特定测评对象进行现场测评检查后形成的测评检查结果；标识模块，为每个测评对象的每个测评指标的每个测评项建立标识体系，将测评检查结果进行统一标识；模板生成模块，针对特定测评对象的各个测评指标设计原始记录模板；决策模块，建立一套决策单元群，定义用于生成原始记录的决策运算逻辑；原始记录生成模块，依托标识模块的测评项和测评检查结果值、模板生成模块的原始记录模板，按照决策模块定义的决策运算逻辑，自动生成原始记录。该系统能够将测评检查结果与测评原始记录有效衔接起来。