期刊文献+
共找到70篇文章
< 1 2 4 >
每页显示 20 50 100
基于OBDD的航空电子网络可靠性分析 被引量:8
1
作者 陈瑶 李峭 +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
基于OBDD的通信网链路重要性评估 被引量:11
2
作者 赵勃 肖宇峰 刘岩 《系统工程与电子技术》 EI CSCD 北大核心 2011年第10期2348-2352,共5页
通信网的链路重要性评估是网络设计和维护的重要依据。在链路重要性评估方法上提出了一种基于有序二叉决策图(ordered binary decision diagram,OBDD)的新方法——BO(Birnbaum OBDD,BO)方法。该方法引入了Birnbaum测度来量化链路重要性... 通信网的链路重要性评估是网络设计和维护的重要依据。在链路重要性评估方法上提出了一种基于有序二叉决策图(ordered binary decision diagram,OBDD)的新方法——BO(Birnbaum OBDD,BO)方法。该方法引入了Birnbaum测度来量化链路重要性,并采用边扩张图(edge expansion diagram,EED)来创建网络的OBDD结构,在可靠度计算基础之上,通过分析链路故障时网络可靠度得到Birnbaum测度值。BO方法将高效的OBDD结构与hash表结合起来,并通过识别计算中出现的同构子网,减少冗余状态与重复计算来提高整体计算效率。引入并对比经典可靠性文献中一些规模较大网络,通过实验验证了BO方法不仅能正确地评估网络链路重要性,而且在计算效率方面优于因子分解方法。 展开更多
关键词 网络可靠性 可靠度评估 有序二元决策图 链路重要性
在线阅读 下载PDF
基于重量分析的OBDD变量排序算法 被引量:6
3
作者 龙望宁 杨士元 +1 位作者 闵应骅 童诗白 《计算机学报》 EI CSCD 北大核心 1997年第8期702-710,共9页
有序的二叉判决图(OBDD)是布尔表达式的一种有效表示方法,但它的体积对变量排序具有较强的依赖性.本文提出一种电路结构图,并在此基础上定义了原始输入重量和节点重量等参数,并建立了用重量分析来指导的OBDD变量排序算法... 有序的二叉判决图(OBDD)是布尔表达式的一种有效表示方法,但它的体积对变量排序具有较强的依赖性.本文提出一种电路结构图,并在此基础上定义了原始输入重量和节点重量等参数,并建立了用重量分析来指导的OBDD变量排序算法.由于从考虑变量对输出函数的影响出发与从考虑OBDD节点共享性出发对变量排序的要求不同,本文分别设计了两类算法.实验结果表明,本文对大多数标准电路变量排序的效果都优于国际上的同类算法,尤其是对一些较难排序的电路(如C2670)效果更加突出. 展开更多
关键词 二叉判决图 obdd 变量排序 逻辑设计 计算机
在线阅读 下载PDF
约束满足问题求解的符号OBDD桶消元算法 被引量:4
4
作者 徐周波 古天龙 +1 位作者 常亮 李凤英 《计算机科学》 CSCD 北大核心 2011年第7期200-202,219,共4页
桶消元算法是求解约束满足问题的一种典型推理方法。针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图(OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法。通过对约束满足问题中变量和域值的编码,将CSP问题转化为命... 桶消元算法是求解约束满足问题的一种典型推理方法。针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图(OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法。通过对约束满足问题中变量和域值的编码,将CSP问题转化为命题可满足性问题,给出了约束满足问题的OBDD表示方法;基于桶消元的算法思想,在约束满足问题的OBDD表示的基础上,利用OBDD的"与"操作和"量化"操作等,避免了传统算法中状态的显式枚举,隐式地实现了对CSP的求解。对大量随机生成的测试用例进行了实验分析,结果表明提出的符号算法明显优于桶消元法和符号直接求解法。 展开更多
关键词 约束满足问题 符号算法 桶消元 有序二叉决策图(obdd)
在线阅读 下载PDF
用改进的OBDD方法计算通信网可靠度 被引量:3
5
作者 肖宇峰 李昕 +1 位作者 李玉宏 江虹 《计算机应用研究》 CSCD 北大核心 2010年第3期1114-1117,共4页
提出一种改进的OBDD(ordered binary decision diagram)方法来计算通信网可靠度。该方法考虑了网络共因失效带来的部件故障,使得计算更加准确。在创建原始网络的OBDD结构后,根据共因变量集来计算网络可靠度。由于只创建并保存一个OBDD结... 提出一种改进的OBDD(ordered binary decision diagram)方法来计算通信网可靠度。该方法考虑了网络共因失效带来的部件故障,使得计算更加准确。在创建原始网络的OBDD结构后,根据共因变量集来计算网络可靠度。由于只创建并保存一个OBDD结构,可节省大量的计算时间和存储空间。实验证明,该方法能有效计算网络可靠度,其计算时间和存储空间要低于一般的OBDD方法。 展开更多
关键词 通信网 网络可靠度 共因失效 有序二叉判定图
在线阅读 下载PDF
基于OBDD的SMC中PRE■操作的改进算法 被引量:4
6
作者 姚全珠 魏小勇 《计算机工程》 CAS CSCD 北大核心 2008年第14期69-71,74,共4页
提出一种基于排序二值判定图(OBDD)的符号模型检测中PRE■操作的改进算法。该算法处理PRE■步骤3(嵌套布尔存在量化)的方法是一次遍历"删除"所有被量化变量的节点,产生表示布尔函数与嵌套存在量化结果等价的不确定排序二值判... 提出一种基于排序二值判定图(OBDD)的符号模型检测中PRE■操作的改进算法。该算法处理PRE■步骤3(嵌套布尔存在量化)的方法是一次遍历"删除"所有被量化变量的节点,产生表示布尔函数与嵌套存在量化结果等价的不确定排序二值判定图,把不确定排序二值判定图转换成OBDD。实验表明,该算法能有效缩短计算时间,减少中间节点所需空间。 展开更多
关键词 排序二值判定图 符号模型检测 PRE 操作 深度优先搜索
在线阅读 下载PDF
异步时序电路分析的一种OBDD方法 被引量:2
7
作者 吕毅 姚志江 +1 位作者 魏道政 解永良 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2001年第6期500-504,共5页
对异步时序电路的分析和使用是一个比较困难的问题 ,所以 ,异步时序电路的实际应用范围远不如同步时序电路 .通过改进 JR Burch等提出的分析方法 ,使之适用于异步时序电路 .该方法使用基于 OBDD的布尔特征函数来表示电路的转移关系 ,并... 对异步时序电路的分析和使用是一个比较困难的问题 ,所以 ,异步时序电路的实际应用范围远不如同步时序电路 .通过改进 JR Burch等提出的分析方法 ,使之适用于异步时序电路 .该方法使用基于 OBDD的布尔特征函数来表示电路的转移关系 ,并通过基于 OBDD的布尔函数的运算来确定异步时序电路的稳定状态、及当输入改变时电路的下一个稳定状态 。 展开更多
关键词 异步时序电路 特征函数 有序二元判决图 obdd
在线阅读 下载PDF
装配序列规划问题的CSP模型及其符号OBDD求解技术 被引量:8
8
作者 徐周波 古天龙 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2010年第5期803-810,共8页
完全、正确的可行装配序列的表示和生成是装配序列评价、优化和选择的前提,为此建立了单调非线性装配意义下的可行装配序列规划问题的约束满足问题(CSP)模型,并给出了基于有序二叉决策图(OBDD)的符号求解算法.首先以装配联接图和移动向... 完全、正确的可行装配序列的表示和生成是装配序列评价、优化和选择的前提,为此建立了单调非线性装配意义下的可行装配序列规划问题的约束满足问题(CSP)模型,并给出了基于有序二叉决策图(OBDD)的符号求解算法.首先以装配联接图和移动向量函数为装配体模型,给出了装配联接图模型的共享二叉决策图(SBDD)表示、移动向量函数的OBDD表示,以及装配序列规划问题的CSP描述;然后将生成所有可行装配序列的问题转化为对CSP求解所有可能解的问题,利用回溯算法对CSP问题进行符号OBDD求解,得到了满足几何可行性约束的所有可行装配序列.最后通过装配体实验验证了基于CSP模型和OBDD推理的装配序列生成技术的正确性和可行性. 展开更多
关键词 装配序列生成 装配联接图 约束满足问题 有序二叉决策图
在线阅读 下载PDF
用OBDD算法评估无线传感网的可靠度和结点重要性 被引量:1
9
作者 肖宇峰 陈山枝 +1 位作者 李昕 李玉宏 《高技术通讯》 EI CAS CSCD 北大核心 2009年第12期1245-1250,共6页
基于有序二叉判定图(OBDD),提出用结点扩张(NE)算法来评估无线传感网的可靠度和结点重要性。NE算法执行结点扩张操作来处理不可靠结点,从两方面增强了计算效率:利用OBDD结构表示网络状态,减少了大量冗余的等价状态;利用Hash表存储同构... 基于有序二叉判定图(OBDD),提出用结点扩张(NE)算法来评估无线传感网的可靠度和结点重要性。NE算法执行结点扩张操作来处理不可靠结点,从两方面增强了计算效率:利用OBDD结构表示网络状态,减少了大量冗余的等价状态;利用Hash表存储同构子网的OBDD,减少了同构子网的重复计算。另外,该算法对结点重要性进行了评估,为脆弱结点的保护提供参考。实验结果表明NE算法的计算开销比传统的factoring算法低,能有效评估无线传感网的可靠度。 展开更多
关键词 无线传感网 网络可靠度 有序二叉判定图(obdd) 因子分解
在线阅读 下载PDF
基于OBDD的描述逻辑εL循环术语集推理 被引量:1
10
作者 古天龙 吕思菁 +1 位作者 常亮 徐周波 《软件学报》 EI CSCD 北大核心 2014年第1期64-77,共14页
循环术语集推理是描述逻辑研究中面临的难点问题,尚未得到很好的解决.有序二叉决策图(ordered binary decision diagram,简称OBDD)是一种对布尔函数进行紧凑表示和高效操作的数据结构,适用于表示和处理大规模问题.将OBDD应用于描述逻辑... 循环术语集推理是描述逻辑研究中面临的难点问题,尚未得到很好的解决.有序二叉决策图(ordered binary decision diagram,简称OBDD)是一种对布尔函数进行紧凑表示和高效操作的数据结构,适用于表示和处理大规模问题.将OBDD应用于描述逻辑循环术语集的推理.首先,针对描述逻辑εL中的循环术语集,给出了描述图上关于最大模拟关系的重要性质,并借助集合表示和集合运算对该性质进行了表述和证明.在此基础上,应用布尔函数对描述图进行编码,给出了基于OBDD求解最大模拟关系的方法,进而给出了最大不动点语义下基于OBDD对概念包含关系进行判定的算法;接下来,基于OBDD给出了求解描述图中可以到达循环路径的所有结点的方法,进而给出了最小不动点语义下基于OBDD对概念包含关系进行判定的算法;最后,对算法的正确性、复杂度等进行了分析和证明,并对算法进行了编程实现,给出了关于计算性能的实验结果.该工作为循环术语集的推理提供了一条有效途径,也为OBDD在逻辑推理中的应用提供了新的案例. 展开更多
关键词 描述逻辑εL 循环术语集 有序二叉决策图 概念包含关系 不动点语义
在线阅读 下载PDF
基于OBDD的SMC反例生成研究 被引量:1
11
作者 姚全珠 苗永军 《计算机工程与应用》 CSCD 2012年第10期54-58,145,共6页
针对传统的符号模型检测反例生成算法在生成反例时会产生大量的无关变量,使得反例难以理解。提出一种改进的反例生成算法,将反例中的状态扩展为一个状态集,使用零压缩二叉决策图(Zero-Suppressed Binary Decision Diagrams,ZBDD)来存储... 针对传统的符号模型检测反例生成算法在生成反例时会产生大量的无关变量,使得反例难以理解。提出一种改进的反例生成算法,将反例中的状态扩展为一个状态集,使用零压缩二叉决策图(Zero-Suppressed Binary Decision Diagrams,ZBDD)来存储所求出的状态集。删除了系统中的无关变量,仅保留了相关的变量,实验表明该算法能有效地减少状态的变量数,减少存储反例所需的空间。 展开更多
关键词 有序二叉决策图 模型检测 计算树逻辑(CTL) 反例生成
在线阅读 下载PDF
利用符号OBDD-LIST设计批处理包过滤防火墙
12
作者 徐周波 陈帅 +1 位作者 常亮 古天龙 《小型微型计算机系统》 CSCD 北大核心 2017年第5期1013-1016,共4页
为解决包过滤防火墙规则数目不断增加导致的存储空间膨胀和过滤速度降低的问题,提出一种基于有序二叉决策图与线性列表的混合结构(OBDD-LIST)的批处理包过滤防火墙算法.首先依据规则各域的特征属性对规则筛选分类,并使用位级别压缩的方... 为解决包过滤防火墙规则数目不断增加导致的存储空间膨胀和过滤速度降低的问题,提出一种基于有序二叉决策图与线性列表的混合结构(OBDD-LIST)的批处理包过滤防火墙算法.首先依据规则各域的特征属性对规则筛选分类,并使用位级别压缩的方式重新设计防火墙的规则库;然后基于连续传入的数据包包头信息具有相似性的特征,利用有序二叉决策图无冗余、无回溯的优势,采用批处理的思想过滤数据包;最后,通过开源软件Class Bench生成的高仿真数据包进行了仿真实验,证明本文算法在存储空间、匹配速率上具有较大的优势,有效提高了防火墙的性能. 展开更多
关键词 包过滤 有序二叉决策图(Older binary decision diagram) obdd—LIST 批处理
在线阅读 下载PDF
一种面向知识编译的OBDD构造方法 被引量:1
13
作者 王金艳 胡春 高健 《广西师范大学学报(自然科学版)》 CAS 北大核心 2021年第4期47-54,共8页
知识编译作为人工智能的重要方向,在实时查询和推理中起重要作用。有序二元决策图(ordered binary decision diagram,OBDD)是知识编译领域中一个主要的编译目标语言,已被广泛用于编译诸多实际的可满足性问题(SAT)。近年来,OBDD的构造技... 知识编译作为人工智能的重要方向,在实时查询和推理中起重要作用。有序二元决策图(ordered binary decision diagram,OBDD)是知识编译领域中一个主要的编译目标语言,已被广泛用于编译诸多实际的可满足性问题(SAT)。近年来,OBDD的构造技术得到了深入研究,其目的是减少目标OBDD的大小并且缩短编译时间。OBDD的构造方式是影响编译效率的重要因素,为了提高编译时间效率,本文提出一种改进的OBDD构造算法,该算法将SAT问题的子句编译成OBDD的表示形式,并将这些OBDD合并成一个整体。不同于传统的合并算法逐一将OBDD合并到目标OBDD中,本文将一些OBDD先进行合并,然后再整合到目标OBDD中。对随机生成的SAT实例和产品配置问题的实验表明,本文提出的OBDD构造算法的性能优于原始算法。 展开更多
关键词 人工智能 知识编译 有序二元决策图 可满足性问题 离线预处理 在线推理
在线阅读 下载PDF
利用OBDD编码的快速二值图算法(英文)
14
作者 吕关锋 苏开乐 +1 位作者 陈清亮 徐旭东 《计算机科学与探索》 CSCD 2009年第3期303-308,共6页
对利用有序二元判定图 OBDD 编码二值图像进行了研究,该方法可以节约大量的空间,并在此基础上,提出了各种二值图的算法,包括解码和集合运算(并、交、差、对称差、包含和互补)。实验结果表明这种基于OBDD 编码的方法比现有的二值图编码... 对利用有序二元判定图 OBDD 编码二值图像进行了研究,该方法可以节约大量的空间,并在此基础上,提出了各种二值图的算法,包括解码和集合运算(并、交、差、对称差、包含和互补)。实验结果表明这种基于OBDD 编码的方法比现有的二值图编码方法效率更高。 展开更多
关键词 有序二元判定图 二值图 集合运算
在线阅读 下载PDF
二值图像序列的符号OBDD表征模型的研究
15
作者 孙自广 李春贵 伍轶明 《计算机工程与应用》 CSCD 北大核心 2010年第10期169-170,198,共3页
利用有序二叉决策图OBDD对二值图像序列数据进行建模,根据图像序列的帧间相关性,图像序列的OBDD共享了大量结点,节省一定的存储空间,为图像序列的有关处理提供了一个新的数据表示方法。
关键词 图像序列 二值图像 有序二叉决策图 图像表示
在线阅读 下载PDF
基于OBDD的防空导弹系统效能评估研究
16
作者 赵保军 武昌 李阳 《现代防御技术》 北大核心 2007年第6期28-32,62,共6页
首先对OBDD的概念和操作运算进行了简要介绍;接着对ADC系统效能模型进行了分析,首次提出了应用shannon展开和ite操作进行效能模型可用性和可信性向量计算的方法;最后应用OBDD操作运算对典型防空导弹系统进行了分析,并以可用性向量计算... 首先对OBDD的概念和操作运算进行了简要介绍;接着对ADC系统效能模型进行了分析,首次提出了应用shannon展开和ite操作进行效能模型可用性和可信性向量计算的方法;最后应用OBDD操作运算对典型防空导弹系统进行了分析,并以可用性向量计算为例说明了应用OBDD的具体方法。该方法适用于各种故障分布情况下防空导弹系统效能的评估,具有一定的军事应用价值。 展开更多
关键词 有序二元决策图(obdd) 防空导弹 系统效能 可用性 可信性
在线阅读 下载PDF
同一变量排序下的多OBDD合并算法
17
作者 智慧来 《计算机工程与应用》 CSCD 2014年第17期20-23,共4页
有序决策图(OBDD)是一种用于表示布尔表达式的数据结构,并在许多领域得到了广泛应用。在分布式或者动态环境下,利用已知布尔表达式的OBDD构造目标布尔表达式的OBDD是一个决定实际问题解决效率的关键问题。基于Shannon分解原理提出了一... 有序决策图(OBDD)是一种用于表示布尔表达式的数据结构,并在许多领域得到了广泛应用。在分布式或者动态环境下,利用已知布尔表达式的OBDD构造目标布尔表达式的OBDD是一个决定实际问题解决效率的关键问题。基于Shannon分解原理提出了一个同一变量排序下的OBDD合并算法。该算法首先建立目标布尔表达式的表存储模型,然后按照变量排序的逆序,依次处理各个变量,并且合并取值相同的行,直到所有变量处理完毕。 展开更多
关键词 有序决策图(obdd) 同一变量排序 多有序决策图(obdd)合并 Apply算法 ordered binary decision diagrams(obdd)
在线阅读 下载PDF
应用OBDD和PSL的航迹规划方法研究
18
作者 虞蕾 赵宗涛 《计算机应用与软件》 CSCD 2011年第2期47-51,105,共6页
航迹规划是决定无人飞行器飞行航迹优劣的关键环节。由于无人飞行器飞行空域广,态势也较复杂,实际规划中常常面临搜索的状态多、收敛时间慢等问题,这成为无人飞行器执行飞行任务的瓶颈,解决的优化策略包括:缩小问题的状态空间以及根据... 航迹规划是决定无人飞行器飞行航迹优劣的关键环节。由于无人飞行器飞行空域广,态势也较复杂,实际规划中常常面临搜索的状态多、收敛时间慢等问题,这成为无人飞行器执行飞行任务的瓶颈,解决的优化策略包括:缩小问题的状态空间以及根据问题的约束条件,在搜索中剪枝。模型检验的经典OBDD(有序二叉决策图)方法是表示状态和状态迁移的高效率的数据结构方法,可以简化状态系统的表示空间;而PSL是一种重要时序逻辑,利用PSL和一阶逻辑描述无人飞行器航迹规划的领域约束,以期在规划中剪枝搜索状态。在使用上述两种优化策略基础上设计了航迹规划搜索算法,并实现了该算法的规划仿真,仿真结果表明该方法是一种有效可行的航迹规划方法。 展开更多
关键词 航迹规划 obdd PSL
在线阅读 下载PDF
基于ROBDD的布尔函数同构判定算法研究
19
作者 李红燕 高飞 《计算机工程与设计》 CSCD 北大核心 2011年第6期1938-1941,共4页
布尔函数是密码体制设计与分析中一个不可缺少的工具,在布尔函数的应用中,判定两个布尔函数的同构问题具有广泛的需求,但是,判定布尔函数同构是NP-难问题,并且采取穷举法也将随着变量的增多,因极高的时间复杂度而使其难以实现。该文基... 布尔函数是密码体制设计与分析中一个不可缺少的工具,在布尔函数的应用中,判定两个布尔函数的同构问题具有广泛的需求,但是,判定布尔函数同构是NP-难问题,并且采取穷举法也将随着变量的增多,因极高的时间复杂度而使其难以实现。该文基于图的思想,提出了一种基于ROBDD(简化有序二元决策图)的布尔函数同构判定算法,其算法的复杂度取决于求解变量的最优编序算法的时间复杂度和空间复杂度,笔者采用的算法时间复杂度为23,空间复杂度为3/。 展开更多
关键词 布尔函数 同构 简化有序二元决策图(Robdd) 判定算法
在线阅读 下载PDF
基于OBDD时序电路设计的验证
20
作者 刘建元 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2002年第2期55-58,共4页
依据有序二叉判定图 (OBDD)和计算树逻辑 (或称分支时态逻辑 )CTL(ComputationalTreeLogic)的基本原理 ,分析了基于OBDD和CTL的验证数字电路设计的基本原理 ,并在此基础上 。
关键词 obdd 时序电路 有序二叉判定图 分支时态逻辑 等价性检验 符号模型检验 布尔函数 电路设计
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部