变量排序相关论文
变量排序问题是故障树BDD分析方法中的NP完全问题．本文证明了故障树变量排序问题复杂度和带重复变量模块排序问题复杂度之间的依赖......
二元判定图(Binary Decision Diagram,BDD)的有效描述将大大提高验证和测试生成效率。作者根据电路结构的特点,以标准门的BDD为基......
故障树分析(Fault Tree Analysis, FTA)方法[2]是当今安全系统工程的主要分析方法之一,广泛应用于航天运载、武器装备、工业生产、......
基于Groebner基法和计算机符号处理技术对球面三自由度并联机构的位置进行了符号求解.该法通过对变量排序、建立多项式对的集合、......
在基于约束满足的Job Shop调度问题求解过程中，变量赋值顺序是影响搜索效率的关键因素。根据问题的约束拓扑关系，提出了变量的多级邻......
提出了一种新的动态启发式二叉判定图(BDD)最小化算法,该算法将遗传算法的全局搜索能力和禁忌搜索的邻域搜索策略相结合来寻找BDD......
本文基于布尔表达式图(Boolean Expression Diagram,BED)提出一种可逆电路综合方法.该方法使用BED表示函数,采用逐BED结点方式综合......
针对故障树分析方法性能评价研究中存在的测试基准规模和多样性问题,基于故障树样本随机生成的思想,确定了故障树6个主要结构特征,......
带时间参数的二叉判决图（ＴＢＤＤ）在电路的时滞故障测试中有着重要的应用价值，但其变量排序是用常规方法无法解决的一个优化问题。本文提出一......
从遗传算法入手，利用已有的几种启发式变量排序方法的结果作为最初的染色体群体，并适当加入随机变量顺序，然后按照遗传算法的方法进行......
讨论图规划回溯搜索过程中变量和值排序的缺点,并且提出一个基于实现某一子目标的难度的简单策略即获得子目标的困难度,该标准可以......
二叉判定图广泛应用于形式验证,但相关算法存在节点规模过大的问题。提出了一种基于灾变遗传算法的二叉判定图最小化算法,它能在不......
不良的ROBDD变量排序会引发状态空间爆炸的危机，从而影响形式验证方法的推广和使用。通过对CUDD数据包中ROBDD遗传变量排序算法的研......
变量交换作为BDD优化算法的核心理论已成功运用于BDD节点规模的减少,本论文从理论和实践的角度提出了运用该理论实现BDD路径数量减......
智能规划和调度中的许多时态（或时序）问题可以表达为析取时态问题（DTP）．目前，多数析取时态问题求解器将析取时态问题看作约束可满足问题（C......
为缩小二进制决策图（BDD）模型的尺度,提高阶段一致型阶段任务系统（PMS）可靠性分析的准确性,对阶段一致型PMS的最优变量排序问题进行了......
有序的二叉判决图（ＯＢＤＤ）是布尔表达式的一种有效表示方法，但它的体积对变量排序具有较强的依赖性。本文提出一种电路结构图，并在此基础上定......
编序的二元判决图（ＯＢＤＤ）在电路测试和逻辑验证等方面具有广泛的应用。如何选取一个电路的变量顺序，使得所构造的ＯＢＤＤ最小，是等同于ＮＰＣ的问题。目前......
针对约束满足求解技术中的变量排序，提出了量化Job-Shop调度问题特征的5项指标和相关参数。分别从约束连通度、变量约束偏差、约束......
基于二维决策图（Binary Decision Diagram，BDD）的战时油料保障可靠性分析，其中一个关键是对变量进行排序，所选择的变量排序对BDD的规模......
基于二分决策图（BDD）的符号化仿真器性能很大程度上依赖于符号排序。现对一个基于拓扑的符号化模拟电路仿真器的符号排序进行了研究,......
研究阶段任务系统（PMS）故障树变量排序方法。构造一个包含10种不同排序策略的策略库,基于实例基准测试对策略库中的单个策略进行平均......
随着集成电路设计规模不断增大，其出现故障的可能性也相应增加，这导致故障测试变得越来越重要。准确快速地检测出故障，可以加快电路设......
标签图作为一种重要的数据表示模型,广泛应用于生物化学、社交网络、知识图谱等领域,子图匹配作为图数据管理的一个重要操作,引起......
