基于遗传算法的TBDD排序方法 被引量：2

1

作者 龙望宁 杨士元 +1 位作者 闵应骅 童诗白 《电子学报》 EI CAS CSCD 北大核心 1998年第5期1-6,共6页

带时间参数的二叉判决图（TBDD）在电路的时滞故障测试中有着重要的应用价值，但其变量排序是用常规方法无法解决的一个优化问题．本文提出一种基于遗传算法的TBDD排序算法．用快速衡量值和TBDD节点数来计算个体的适应度，针对变量排序... 带时间参数的二叉判决图（TBDD）在电路的时滞故障测试中有着重要的应用价值，但其变量排序是用常规方法无法解决的一个优化问题．本文提出一种基于遗传算法的TBDD排序算法．用快速衡量值和TBDD节点数来计算个体的适应度，针对变量排序的特定问题，提出一种模板保序交叉方法．采用自适应的变异概率计算方法，并提出一个适合于TBDD排序问题的变异算法．实验结果表明较好地解决了TBDD的排序问题． 展开更多

关键词 遗传算法 二叉判决图 tbdd 变量排序

在线阅读 下载PDF 职称材料

基于OBDD的航空电子网络可靠性分析 被引量：8

2

作者 陈瑶 李峭 +1 位作者 赵长啸 熊颖 《系统工程与电子技术》 EI CSCD 北大核心 2013年第1期230-236,共7页

针对航空电子网络通信任务的实时性需求,建立具有时延约束的面向任务的网络可靠性模型,并从共因失效(common cause failure,CCF)的角度分析了部件故障相关性,提出一种基于有序二叉决策图(ordered bi-nary decision diagram,OBDD)的航空... 针对航空电子网络通信任务的实时性需求,建立具有时延约束的面向任务的网络可靠性模型,并从共因失效(common cause failure,CCF)的角度分析了部件故障相关性,提出一种基于有序二叉决策图(ordered bi-nary decision diagram,OBDD)的航空电子网络可靠性评价方法——时延约束边扩张算法。算法结合时延约束,利用边扩张构建网络OBDD,递归遍历OBDD结构计算部件故障统计独立条件下航空电子网络可靠度,并在此基础上引入CCF分析,利用同一OBDD结构综合评价航空电子网络可靠性。通过实例阐述了算法的原理,实验表明算法能有效评价航空电子网络的可靠性。 展开更多

关键词 航空电子网络 可靠性 有序二叉决策图 实时性 共因失效

在线阅读 下载PDF 职称材料

基于模块分解的多态故障树可靠性分析方法 被引量：6

3

作者 李淑敏 孙树栋 +1 位作者 司书宾 蔡志强 《西北工业大学学报》 EI CAS CSCD 北大核心 2014年第2期251-255,共5页

提出了基于模块分解的多态故障树分析方法:采用基于部件的线性时间改进算法将多态故障树分解成相互独立的子故障树,并基于多态多值决策图方法对子故障树进行建模,递归综合子故障树可靠性结果计算整个系统的可靠性;解决了底事件非统计独... 提出了基于模块分解的多态故障树分析方法:采用基于部件的线性时间改进算法将多态故障树分解成相互独立的子故障树,并基于多态多值决策图方法对子故障树进行建模,递归综合子故障树可靠性结果计算整个系统的可靠性;解决了底事件非统计独立的多态故障树模块分解问题。通过案例分析与传统故障树分析方法进行对比,验证了该方法的正确性和有效性。 展开更多

关键词 多态故障树 模块化 线性时间算法 多态多值决策图

在线阅读 下载PDF 职称材料

用时序和逻辑规则形成动态故障树的紧缩Markov链 被引量：5

4

作者 郑显举 谢志萍 罗航 《计算机应用研究》 CSCD 北大核心 2011年第8期3022-3025,共4页

针对枚举底事件的所有时序状态来形成Markov链的弊端,借鉴静态故障树的最小割集(minimum cutset,MCS)思想,考虑形成紧缩的Markov链(即最简顺序割集)。其重要目的是剔除冗余的Markov链,在保证不影响系统失效分析的同时减小状态空间,最大... 针对枚举底事件的所有时序状态来形成Markov链的弊端,借鉴静态故障树的最小割集(minimum cutset,MCS)思想,考虑形成紧缩的Markov链(即最简顺序割集)。其重要目的是剔除冗余的Markov链,在保证不影响系统失效分析的同时减小状态空间,最大限度地避免陷入组合爆炸的危险。其显著特点在于用时序规则和逻辑规则来描述动态逻辑门。以此为基础,用BDD(binary decision diagram)技术首先形成基于逻辑规则的动态系统的MCS,其次对每个MCS运用时序规则,组合成必要的Markov链。实际例证表明,将MCS和时序恰当地结合起来,能够有效地获取动态故障树的紧缩Markov链。 展开更多

关键词 动态故障树 规则 时序 紧缩马尔可夫链 最小割集 二元决策图

在线阅读 下载PDF 职称材料

一种基于赋时Petri网和ZBDD的装配序列规划方法 被引量：3

5

作者 李凤英 古天龙 +1 位作者 常亮 徐周波 《计算机科学》 CSCD 北大核心 2012年第2期170-174,共5页

赋时Petri网为装配序列规划提供了有效的建模方法,但其在求解最优装配序列时受到组合复杂性的严重制约。零压缩二叉决策图(ZBDD)是处理大规模组合集合和0-1稀疏向量的一种有效符号技术,能够有效缓解组合爆炸问题。将赋时Petri网与ZBDD... 赋时Petri网为装配序列规划提供了有效的建模方法,但其在求解最优装配序列时受到组合复杂性的严重制约。零压缩二叉决策图(ZBDD)是处理大规模组合集合和0-1稀疏向量的一种有效符号技术,能够有效缓解组合爆炸问题。将赋时Petri网与ZBDD结合起来,给出了一种求解装配序列最优解的有效方法。首先通过转换算法将赋时Petri网转换为等价的普通Petri网,接下来给出普通Petri网可达状态及迁移引发函数的ZBDD表示方法,最后基于ZBDD给出最优装配序列求解算法。实例验证表明,该算法在求解过程中通过隐式符号操作实现了Petri网的可达状态搜索,有效缓解了计算过程中的组合复杂性。 展开更多

关键词 赋时PETRI网 装配序列规划 零压缩二叉决策图

在线阅读 下载PDF 职称材料

基于时态测试器的实时分支时态逻辑模型检测 被引量：3

6

作者 骆翔宇 黄欣玥 +3 位作者 古天龙 苏开乐 陈祖希 郑黎晓 《软件学报》 EI CSCD 北大核心 2022年第8期2930-2946,共17页

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

关键词 符号化模型检测 公平离散系统 正时态测试器 实时分支时态逻辑 二元决策图

在线阅读 下载PDF 职称材料

柔性制造系统中生产调度问题求解的一种符号算法 被引量：2

7

作者 古天龙 熊太平 赵岭忠 《计算机集成制造系统》 EI CSCD 北大核心 2007年第2期338-344,共7页

讨论了基于有序二叉决策图的有界Petri网符号分析,给出了其中镜像计算的一种新算法,进而建立了柔性制造系统生产调度问题的符号有序二叉决策图求解算法。该算法在求解过程中通过对状态空间及其搜索过程中相关数据的有序二叉决策图表示,... 讨论了基于有序二叉决策图的有界Petri网符号分析,给出了其中镜像计算的一种新算法,进而建立了柔性制造系统生产调度问题的符号有序二叉决策图求解算法。该算法在求解过程中通过对状态空间及其搜索过程中相关数据的有序二叉决策图表示,避免了状态和搜索的显示枚举,实现了隐式高效操作,进而改善了算法的计算性能。仿真实验表明了算法的有效性。 展开更多

关键词 赋时PETRI网 柔性制造系统调度 有序二叉决策图 符号算法

在线阅读 下载PDF 职称材料

时延网络任务可靠性的二次BDD算法 被引量：1

8

作者 史宪铭 郭波 +1 位作者 梁亮 王立军 《系统工程学报》 CSCD 北大核心 2009年第1期119-123,共5页

时延网络是一种针对网络系统节点故障导致时间延迟的网络,由于研究该型网络要以网络系统任务完成时间是否及时为研究目标,使其任务可靠性研究与以往的网络有所不同.通过两次运用BDD算法,给出了时延网络任务可靠性的计算方法,并对算法中... 时延网络是一种针对网络系统节点故障导致时间延迟的网络,由于研究该型网络要以网络系统任务完成时间是否及时为研究目标,使其任务可靠性研究与以往的网络有所不同.通过两次运用BDD算法,给出了时延网络任务可靠性的计算方法,并对算法中的优先序作了研究.以快速研制系统任务网络为例,说明了时延网络任务可靠性的算法的应用方法.BDD算法使用方便,易于计算机实现. 展开更多

关键词 时延网络 可靠性 任务可靠性 二叉判定图

在线阅读 下载PDF 职称材料

用VIS系统验证电路的实时特性的探讨 被引量：1

9

作者 郭建 韩俊刚 《计算机工程与应用》 CSCD 北大核心 2001年第17期74-76,110,共4页

文章在分析形式化验证／综合系统VIS 的基础上，改进了该电子系统中的关键技术——二叉判定图（BDD），使BDD能表示电路的定时性质，这样就为VIS系统能够进行电路的时间特性验证和实时模型检验打下了基础。

关键词 VIS系统 形式化验证 二叉判定图 实时二叉判定图 集成电路 制造工艺

在线阅读 下载PDF 职称材料

带时间参数布尔函数的符号表示及其在计算电路时间延迟中的应用 被引量：6

10

作者 赵宇虹 李忠诚 闵应骅 《计算机学报》 EI CSCD 北大核心 1997年第10期908-917,共10页

本文提出了一种形式表示带时间参数布尔函数（ＴｉｍｅｄＢｏｏｌｅａｎＦｕｎｃｔｉｏｎ或ＴＢＦ）的新方法──带时间参数的二叉判定图（ＴｉｍｅｄＢｉｎａｒｙＤｅｃｉｓｉｏｎＤｉａｇｒａｍ或ＴＢＤＤ），并将其应用于电路时间延... 本文提出了一种形式表示带时间参数布尔函数（ＴｉｍｅｄＢｏｏｌｅａｎＦｕｎｃｔｉｏｎ或ＴＢＦ）的新方法──带时间参数的二叉判定图（ＴｉｍｅｄＢｉｎａｒｙＤｅｃｉｓｉｏｎＤｉａｇｒａｍ或ＴＢＤＤ），并将其应用于电路时间延迟的准确计算．ＴＢＤＤ是传统布尔函数的符号表示──有序二叉判定图（ＯＢＤＤ）的扩展，可以统一地描述电路的逻辑功能和时间特征．由于采用了有效的压缩和节点共享策略，在典型的应用中，描述电路行为的ＴＢＤＤ的大小是令人满意的．数字电路时间延迟的准确计算对于高性能数字系统的设计和验证十分重要，本文利用ＴＢＤＤ这一有力工具，给出了计算电路最大时间延迟的一种新方法．实验结果表明这种方法是十分有效的． 展开更多

关键词 布尔函数 电路延时 符号表示 逻辑设计

在线阅读 下载PDF 职称材料

二元判决图应用中函数组合方法的改进

11

作者 章小兵 陈光 《电子科技大学学报》 EI CAS CSCD 北大核心 1997年第1期54-57,共4页

文中确定了Ｂｒｙａｎｔ的基于图的函数组合方法［１］的时间复杂度为Ｏ（｜Ｇ１｜２·｜Ｇ２｜），并提出了基于改进ＩＴＥ算符的函数组合方法。该方法省去了对结果二元判决图的约简步骤，保持了二元判决图的强正则性。

关键词 二元判决图 函数组合 时间复杂度 优化

在线阅读 下载PDF 职称材料