装配序列生成的有序二叉决策图技术研究 被引量：4

1

作者 钟艳如 黄美发 古天龙 《计算机集成制造系统》 EI CSCD 北大核心 2008年第10期1996-2004,共9页

为提高装配序列规划求解效率,在图论割集法的基础上,引入有序二叉决策图描述装配关联图、装配操作、装配几何可行性和装配稳定性。利用装配优先约束关系,简化装配关联图,设计了基于符号有序二叉决策图技术的装配序列生成算法,分析了该... 为提高装配序列规划求解效率,在图论割集法的基础上,引入有序二叉决策图描述装配关联图、装配操作、装配几何可行性和装配稳定性。利用装配优先约束关系,简化装配关联图,设计了基于符号有序二叉决策图技术的装配序列生成算法,分析了该算法的时间复杂度。在每一次割集分解之后,检验子装配体的几何可行性和稳定性,实现装配序列生成过程中状态空间的隐式表示和搜索。研究实例验证了基于符号有序二叉决策图技术的装配序列生成算法的可行性和有效性。 展开更多

关键词 装配序列生成 有序二叉决策图 布尔函数 几何可行性 稳定性 割集

在线阅读 下载PDF 职称材料

基于符号有序二叉决策图的装配序列生成技术 被引量：6

2

作者 古天龙 刘华东 《计算机集成制造系统》 EI CSCD 北大核心 2008年第2期321-328,共8页

为提高装配序列规划求解效率和自动化水平,给出了装配体联结图模型、干涉向量和接触向量模型的有序二叉决策图描述,建立了基于符号有序二叉决策图模型及操作的可行装配序列生成技术。结合实例验证了基于有序二叉决策图的装配体模型和可... 为提高装配序列规划求解效率和自动化水平,给出了装配体联结图模型、干涉向量和接触向量模型的有序二叉决策图描述,建立了基于符号有序二叉决策图模型及操作的可行装配序列生成技术。结合实例验证了基于有序二叉决策图的装配体模型和可行装配序列生成技术的正确性和可行性。 展开更多

关键词 装配序列规划 装配体联结图 装配序列生成 有序二叉决策图

在线阅读 下载PDF 职称材料

基于有序二叉决策图的装配序列符号表示方法 被引量：4

3

作者 古天龙 杨志飞 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第10期1315-1320,共6页

通过建立装配状态的二进制编码和装配操作的布尔特征函数,给出了装配序列描述的有序二叉决策图(OBDD)方法;建立了从装配序列的与或图模型到OBDD模型的转换规则;并对装配序列表示的与或图模型和OB-DD模型进行了存储效率比较.实验结果表明... 通过建立装配状态的二进制编码和装配操作的布尔特征函数,给出了装配序列描述的有序二叉决策图(OBDD)方法;建立了从装配序列的与或图模型到OBDD模型的转换规则;并对装配序列表示的与或图模型和OB-DD模型进行了存储效率比较.实验结果表明:OBDD方法具有较好的存储性能,可以改善复杂装配体的装配序列表示的存储效率,适合于复杂装配体的可行装配序列的描述. 展开更多

关键词 装配规划 装配序列表示 与或图 有序二叉决策图

在线阅读 下载PDF 职称材料

基于有序二叉决策图的路径规划可行性研究

4

作者 李道丰 张增芳 《计算机工程与设计》 CSCD 北大核心 2008年第22期5824-5826,5829,共4页

对全局环境未知且存在障碍物情况下的移动机器人路径规划问题进行了研究。借助有序二叉决策图的原理,首次采用有序二叉决策图数据结构来表示机器人工作空间中的信息环境模型,并对它们进行了二进制编码,建立一个有效紧凑的OBDD环境模型... 对全局环境未知且存在障碍物情况下的移动机器人路径规划问题进行了研究。借助有序二叉决策图的原理,首次采用有序二叉决策图数据结构来表示机器人工作空间中的信息环境模型,并对它们进行了二进制编码,建立一个有效紧凑的OBDD环境模型。利用该OBDD模型能自动规划了免碰撞路径,获取一条从起始状态(包括位置及姿态)到达目标状态的安全、高效的无碰路径。实验仿真结果表明,所提出的方法是正确和有效的。 展开更多

关键词 机器人 路径规划 有序二叉决策图 二进制编码 环境模型

在线阅读 下载PDF 职称材料

产生式知识的有序二叉决策图表示及其推理 被引量：1

5

作者 侯杰 王喜成 《计算机应用与软件》 CSCD 2010年第9期240-242,共3页

为了更完整地表示产生式规则构成的知识库及更有效地进行知识推理,给出了基于有序二叉决策图OBDD(Ordered Bi-nary Decision Diagram)的产生式知识表示模型。在此基础上实现了基于OBDD的知识推理规则及相关算法,并结合实例对OBDD模型及... 为了更完整地表示产生式规则构成的知识库及更有效地进行知识推理,给出了基于有序二叉决策图OBDD(Ordered Bi-nary Decision Diagram)的产生式知识表示模型。在此基础上实现了基于OBDD的知识推理规则及相关算法,并结合实例对OBDD模型及其推理规则的可行性进行了分析。 展开更多

关键词 有序二叉决策图 产生式规则 推理

在线阅读 下载PDF 职称材料

二值图像序列的符号OBDD表征模型的研究

6

作者 孙自广 李春贵 伍轶明 《计算机工程与应用》 CSCD 北大核心 2010年第10期169-170,198,共3页

利用有序二叉决策图OBDD对二值图像序列数据进行建模,根据图像序列的帧间相关性,图像序列的OBDD共享了大量结点,节省一定的存储空间,为图像序列的有关处理提供了一个新的数据表示方法。

关键词 图像序列 二值图像 有序二叉决策图 图像表示

在线阅读 下载PDF 职称材料

基于OBDD的灰度图像无损压缩算法

7

作者 孙自广 古天龙 张增芳 《计算机工程与设计》 CSCD 北大核心 2007年第23期5674-5676,共3页

提出一种基于有序决策二叉图(OBDD)的灰度图像无损压缩算法,该算法将灰度图像划分成独立的位平面,利用二值图像的开关性,用OBDD模型来表征位平面,然后对OBDD进行有效的编码,最后用算术编码压缩进一步减少冗余。实验结果表明,本算法的压... 提出一种基于有序决策二叉图(OBDD)的灰度图像无损压缩算法,该算法将灰度图像划分成独立的位平面,利用二值图像的开关性,用OBDD模型来表征位平面,然后对OBDD进行有效的编码,最后用算术编码压缩进一步减少冗余。实验结果表明,本算法的压缩比优于WinZIP。 展开更多

关键词 图像压缩 无损压缩 灰度图像 位平面编码 有序二叉决策图

在线阅读 下载PDF 职称材料

基于OBDD的含圈与或图搜索算法研究

8

作者 赵岭忠 王雪松 《计算机应用研究》 CSCD 北大核心 2011年第4期1325-1329,共5页

在含圈与或图理论框架基础上,给出了基于OBDD的含圈与或图符号表示方法,并提出了一种求解含圈与或图最小代价解图的符号搜索算法。实验结果表明,该算法在处理大规模含圈与或图时具有明显优势。

关键词 含圈与或图 最大可扩展子图 最小代价解图 有序二叉决策图

在线阅读 下载PDF 职称材料

基于OBDD的有向图的存储与操作研究 被引量：1

9

作者 杨志飞 古天龙 《计算机科学》 CSCD 北大核心 2007年第8期283-285,共3页

本文讨论了一种基于OBDD的有向图的存储结构,给出了基于OBDD的有向图的操作方法及搜索算法。实验结果表明,该存储结构与传统的邻接表的存储结构相比,在处理大规模的有向图时,具有较高的存储效率。

关键词 数据结构 存储结构 有序二叉决策图(OBDD)

在线阅读 下载PDF 职称材料

考虑安全性需求的航空电子网络可靠性模型

10

作者 赵长啸 汪鹏辉 +1 位作者 田小艺 汪克念 《系统工程与电子技术》 EI CSCD 北大核心 2024年第10期3462-3472,共11页

航空电子网络的可靠性水平表征其对航电任务完成能力的支撑程度,基于单一连通性考虑的网络可靠性模型仅涵盖了网络的结构信息,无法有效评价网络对不同安全关键任务的支撑能力,影响对网络安全性的真实评价。提出了一种综合考虑任务安全... 航空电子网络的可靠性水平表征其对航电任务完成能力的支撑程度,基于单一连通性考虑的网络可靠性模型仅涵盖了网络的结构信息,无法有效评价网络对不同安全关键任务的支撑能力,影响对网络安全性的真实评价。提出了一种综合考虑任务安全关键属性和网络结构属性的航电网络可靠性分析模型。基于安全关键度邻接矩阵,采用边扩张分解创建网络的有序二叉决策图,实现对网络可靠性的评价。通过分析实际航空电子全双工交换式以太网(avionics full-duplex switched ethernet,AFDX)交换机网络,在加入4个等级的任务安全约束(safety constraint of task,SCT)后,可有效剔除高风险路径,任务在网络中可传输的链路安全关键度累积平均分别降低1.19%、9.47%、29.18%和58.14%。 展开更多

关键词 安全性 航空电子网络 有序二叉决策图 可靠性

在线阅读 下载PDF 职称材料

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

11

作者 陈瑶 李峭 +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桶消元算法 被引量：4

12

作者 徐周波 古天龙 +1 位作者 常亮 李凤英 《计算机科学》 CSCD 北大核心 2011年第7期200-202,219,共4页

桶消元算法是求解约束满足问题的一种典型推理方法。针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图(OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法。通过对约束满足问题中变量和域值的编码,将CSP问题转化为命... 桶消元算法是求解约束满足问题的一种典型推理方法。针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图(OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法。通过对约束满足问题中变量和域值的编码,将CSP问题转化为命题可满足性问题,给出了约束满足问题的OBDD表示方法;基于桶消元的算法思想,在约束满足问题的OBDD表示的基础上,利用OBDD的"与"操作和"量化"操作等,避免了传统算法中状态的显式枚举,隐式地实现了对CSP的求解。对大量随机生成的测试用例进行了实验分析,结果表明提出的符号算法明显优于桶消元法和符号直接求解法。 展开更多

关键词 约束满足问题 符号算法 桶消元 有序二叉决策图(OBDD)

在线阅读 下载PDF 职称材料

装配序列规划问题的CSP模型及其符号OBDD求解技术 被引量：8

13

作者 徐周波 古天龙 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2010年第5期803-810,共8页

完全、正确的可行装配序列的表示和生成是装配序列评价、优化和选择的前提,为此建立了单调非线性装配意义下的可行装配序列规划问题的约束满足问题(CSP)模型,并给出了基于有序二叉决策图(OBDD)的符号求解算法.首先以装配联接图和移动向... 完全、正确的可行装配序列的表示和生成是装配序列评价、优化和选择的前提,为此建立了单调非线性装配意义下的可行装配序列规划问题的约束满足问题(CSP)模型,并给出了基于有序二叉决策图(OBDD)的符号求解算法.首先以装配联接图和移动向量函数为装配体模型,给出了装配联接图模型的共享二叉决策图(SBDD)表示、移动向量函数的OBDD表示,以及装配序列规划问题的CSP描述;然后将生成所有可行装配序列的问题转化为对CSP求解所有可能解的问题,利用回溯算法对CSP问题进行符号OBDD求解,得到了满足几何可行性约束的所有可行装配序列.最后通过装配体实验验证了基于CSP模型和OBDD推理的装配序列生成技术的正确性和可行性. 展开更多

关键词 装配序列生成 装配联接图 约束满足问题 有序二叉决策图

在线阅读 下载PDF 职称材料

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

14

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

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

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

在线阅读 下载PDF 职称材料

基于OBDD的拆卸几何可行性判别方法研究 被引量：2

15

作者 梁勇强 钟艳如 《计算机工程与设计》 CSCD 北大核心 2007年第14期3302-3305,3309,共5页

在基于割集的拆卸序列生成算法中,对拆卸操作的几何可行性进行判别是频繁的操作。引进有序二叉决策图OBDD合理表示拆卸约束,设计了基于OBDD的几何可行性判别算法,比较了基于OBDD的判别算法与基于移动函数的判别算法的时间复杂度,结果表... 在基于割集的拆卸序列生成算法中,对拆卸操作的几何可行性进行判别是频繁的操作。引进有序二叉决策图OBDD合理表示拆卸约束,设计了基于OBDD的几何可行性判别算法,比较了基于OBDD的判别算法与基于移动函数的判别算法的时间复杂度,结果表明基于OBDD的几何可行性判别算法比基于移动函数的判别算法具有更高的判别效率。 展开更多

关键词 拆卸 几何可行性 割集 有序二叉决策图 时间复杂度

在线阅读 下载PDF 职称材料

一类Petri网调度问题的符号求解技术 被引量：2

16

作者 古天龙 李风英 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期148-150,154,共4页

讨论了Petri网分析的符号有序二叉决策图(Ordered Binary Decision Disgram--OBDD)技术.对于一类赋时Petri网模型的生产调度问题,通过实施赋时位置(迁移)结构等价替换,建立了调度问题求解的符号算法.该算法可以在makespan步得到结果,从... 讨论了Petri网分析的符号有序二叉决策图(Ordered Binary Decision Disgram--OBDD)技术.对于一类赋时Petri网模型的生产调度问题,通过实施赋时位置(迁移)结构等价替换,建立了调度问题求解的符号算法.该算法可以在makespan步得到结果,从而有效改善了求解的效率,适合于复杂大规模Petri网模型调度问题的求解. 展开更多

关键词 PETRI网 有序二叉决策图(OBDD) 调度 可达性 离散事件系统

在线阅读 下载PDF 职称材料

基于OBDD的描述逻辑εL循环术语集推理 被引量：1

17

作者 古天龙 吕思菁 +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

18

作者 姚全珠 苗永军 《计算机工程与应用》 CSCD 2012年第10期54-58,145,共6页

针对传统的符号模型检测反例生成算法在生成反例时会产生大量的无关变量,使得反例难以理解。提出一种改进的反例生成算法,将反例中的状态扩展为一个状态集,使用零压缩二叉决策图(Zero-Suppressed Binary Decision Diagrams,ZBDD)来存储... 针对传统的符号模型检测反例生成算法在生成反例时会产生大量的无关变量,使得反例难以理解。提出一种改进的反例生成算法,将反例中的状态扩展为一个状态集,使用零压缩二叉决策图(Zero-Suppressed Binary Decision Diagrams,ZBDD)来存储所求出的状态集。删除了系统中的无关变量,仅保留了相关的变量,实验表明该算法能有效地减少状态的变量数,减少存储反例所需的空间。 展开更多

关键词 有序二叉决策图 模型检测 计算树逻辑(CTL) 反例生成

在线阅读 下载PDF 职称材料

利用符号OBDD-LIST设计批处理包过滤防火墙

19

作者 徐周波 陈帅 +1 位作者 常亮 古天龙 《小型微型计算机系统》 CSCD 北大核心 2017年第5期1013-1016,共4页

为解决包过滤防火墙规则数目不断增加导致的存储空间膨胀和过滤速度降低的问题,提出一种基于有序二叉决策图与线性列表的混合结构(OBDD-LIST)的批处理包过滤防火墙算法.首先依据规则各域的特征属性对规则筛选分类,并使用位级别压缩的方... 为解决包过滤防火墙规则数目不断增加导致的存储空间膨胀和过滤速度降低的问题,提出一种基于有序二叉决策图与线性列表的混合结构(OBDD-LIST)的批处理包过滤防火墙算法.首先依据规则各域的特征属性对规则筛选分类,并使用位级别压缩的方式重新设计防火墙的规则库;然后基于连续传入的数据包包头信息具有相似性的特征,利用有序二叉决策图无冗余、无回溯的优势,采用批处理的思想过滤数据包;最后,通过开源软件Class Bench生成的高仿真数据包进行了仿真实验,证明本文算法在存储空间、匹配速率上具有较大的优势,有效提高了防火墙的性能. 展开更多

关键词 包过滤 有序二叉决策图(older Binary Decision Diagram) OBDD—LIST 批处理

在线阅读 下载PDF 职称材料

一种基于熵的OBDD变量排序算法

20

作者 赵岭忠 王雪松 +1 位作者 古天龙 钱俊彦 《计算机科学》 CSCD 北大核心 2007年第2期216-219,共4页

有序二叉决策图(OBDD)是一种有效表示布尔函数的数据结构,其大小依赖于所采用的变量序。熵是定量描述布尔函数中变量重要性的一种方法。基于变量的熵值分析了高质量变量序的特征,给出了一种基于熵的OBDD变量排序算法。实验结果表明:该... 有序二叉决策图(OBDD)是一种有效表示布尔函数的数据结构,其大小依赖于所采用的变量序。熵是定量描述布尔函数中变量重要性的一种方法。基于变量的熵值分析了高质量变量序的特征,给出了一种基于熵的OBDD变量排序算法。实验结果表明:该算法与模拟退火算法和遗传算法结果相当,时间仅为相应算法的80.84%和29.79%。 展开更多

关键词 有序二叉决策图 变量序 熵

在线阅读 下载PDF 职称材料