有序二叉决策图相关论文
调度问题是一类NP完全问题,多年来一直吸引着无数研究人员的注意。调度问题的复杂性、调度领域知识的多样性和生产环境的动态性决......
Petri网是一种适宜描述和研究分布式、异步、并发现象的系统工具,已经在计算机网络、通讯系统、计算机体系结构、分布式系统、电路......
描述逻辑(DL)作为一类用于知识表示的形式化工具,具有较强的表达能力和可判定性。近年来,随着语义Web的兴起,描述逻辑成为了知识表......
命题动态逻辑(PDL)是一种应用模态逻辑,用于程序行为的推理。Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。......
装配序列规划是产品装配规划的重要内容,序列好坏将直接影响产品的可装配性和装配质量。20世纪90年代以来，国内外诸多学者基于遗传......
网络可靠度计算在网络的设计、使用和维护等方面都具有重要的意义。目前,网络可靠度计算问题的研究已经取得了大量的成果,其中基于......
描述逻辑(Description Logic)作为基于对象的知识表示的形式化工具,广泛地应用在信息系统、数据库、软件工程、自然语言处理和网络......
无线传感器网络(Wireless Sensor Networks, WSN)在军事、医疗和环境健康监测等领域具有重要的应用价值,而可靠性评估是其走向实际......
随着电力系统的飞速发展,大型联合电网正在逐渐形成。互联电网的结构、规模日趋复杂和庞大,运行条件和潮流分布也越来越灵活,对互......
循环术语集推理是描述逻辑研究中面；晦的难点问题，尚未得到很好的解决．有序．2-叉决策图（orderedbinarydecisiondiagram，简称OBDD）是一种对......
针对现有属性撤销方案中存在对恶意用户的不可追踪性、用户属性不能即时撤销的问题,提出了一种可追踪且可撤销的,基于有序二叉决策......
通过建立装配状态的二进制编码和装配操作的布尔特征函数,给出了装配序列描述的有序二叉决策图(OBDD)方法;建立了从装配序列的与或......
有序二叉决策图（OBDD）是一种有效表示布尔函数的数据结构，其大小依赖于所采用的变量序。熵是定量描述布尔函数中变量重要性的一种方法......
讨论了基于有序二叉决策图的有界Petri网符号分析，给出了其中镜像计算的一种新算法．进而建立了柔性制造系统生产调度问题的符号有序......
为提高装配序列规划求解效率，在图论割集法的基础上，引入有序二叉决策图描述装配关联图、装配操作、装配几何可行性和装配稳定性。利......
为提高装配序列规划求解效率和自动化水平,给出了装配体联结图模型、干涉向量和接触向量模型的有序二叉决策图描述,建立了基于符号......
割集生成算法和子图过滤算法是基于割集的装配序列规划的基础，本文通过分析不同基本割集组合之间的关系，设计了更合理的割集生成算法......
利用有序二叉决策图OBDD对二值图像序列数据进行建模,根据图像序列的帧间相关性,图像序列的OBDD共享了大量结点,节省一定的存储空......
针对传统的符号模型检测反例生成算法在生成反例时会产生大量的无关变量,使得反例难以理解。提出一种改进的反例生成算法,将反例中......
完全、正确的可行装配序列的表示和生成是装配序列评价、优化和选择的前提,为此建立了单调非线性装配意义下的可行装配序列规划问......
为实现信号处理平台中应用任务的快速动态加卸载和智能切换,提出一种基于有序二叉决策图(OBDD)的智能加卸载算法。在分析智能加卸......
有序二叉决策图（0rdered Binary Decision Disgram-OBDD）是布尔函数表示的规范型，布尔函数的复杂运算可以基于OBDD得到极大地简化实现......
命题动态逻辑是一种应用模态逻辑,用于程序行为的推理。Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。对于给......
有序二叉决策图（OBDD）是一种新型的数据结构,在较大状态空间规模的模型检测和验证等领域中,已经得到了成功应用,并且在逻辑公式的可......
为了获得满足用户需求的网络可靠性，需考虑网络组件的权值及用户的具体需求，因此。针对随机加权网络的可靠性进行了研究。结合随机加......
针对求解子图同构问题计算复杂性较高的问题,提出了一种基于符号OBDD的子图同构约束求解算法(OBDD-SI)。该算法对子图同构进行CSP......
针对现有属性约简算法主要基于代数表示和信息表示的方法，基于改变属性约简问题的知识表示方法，提出区分矩阵的有序二叉决策图（OBDD）的......
在防火墙规则库的设计中利用有序二叉决策图（ordered binary decision diagram，OBDD）来表示防火墙的访问控制规则集，改变了传统的顺序......
在基于割集的拆卸序列生成算法中,对拆卸操作的几何可行性进行判别是频繁的操作。引进有序二叉决策图OBDD合理表示拆卸约束,设计了......
对全局环境未知且存在障碍物情况下的移动机器人路径规划问题进行了研究。借助有序二叉决策图的原理，首次采用有序二叉决策图数据结......
给定描述逻辑ALCIO中的任一知识库,应用NNF变换和FLAT规则对其进行预处理,通过一个重构过程将知识库中TBox模型转化为布尔函数,然......
【目的】研究模式挖掘领域中的频繁序列挖掘技术,由于序列模式挖掘存在指数级的搜索空间,且传统的SAT求解算法无法高效求解大规模......
约束满足问题（CSP）是人工智能和计算机科学领域的一个重要研究课题，现实生活中的大量问题均可以适当地描述成一个CSP。由于受组合复杂......
提出一种基于有序决策二叉图(OBDD)的灰度图像无损压缩算法,该算法将灰度图像划分成独立的位平面,利用二值图像的开关性,用OBDD模......
针对Theologou等给出的求解网络可靠度的factoring算法,分析该算法存在的冗余计算问题,给出DTN_OBDD算法。基于边排序策略的邻接终......
Petri网（Petri Net，PN）是一种适于对具有异步、并发特征的离散事件系统进行模拟、分析、设计和控制的图形数学工具。其主要特点是对复......
在含圈与或图理论框架基础上,给出了基于OBDD的含圈与或图符号表示方法,并提出了一种求解含圈与或图最小代价解图的符号搜索算法。......
有序二叉决策图OBDD（Ordered Binary Decision Diagram）是布尔函数的一种规范表达形式、一种的新的数据结构。基于OBDD能够完成布尔......
在广泛使用的物联网(IoT)中,数据所有者通常需要维护一对多的关系,并为多个未知用户提供服务,有效的访问控制是一个挑战。有效的访......
