变量排序相关论文
故障树分析(Fault Tree Analysis, FTA)方法[2]是当今安全系统工程的主要分析方法之一,广泛应用于航天运载、武器装备、工业生产、......
在基于约束满足的Job Shop调度问题求解过程中，变量赋值顺序是影响搜索效率的关键因素。根据问题的约束拓扑关系，提出了变量的多级邻......
提出了一种新的动态启发式二叉判定图(BDD)最小化算法,该算法将遗传算法的全局搜索能力和禁忌搜索的邻域搜索策略相结合来寻找BDD......
本文基于布尔表达式图(Boolean Expression Diagram,BED)提出一种可逆电路综合方法.该方法使用BED表示函数,采用逐BED结点方式综合......
讨论图规划回溯搜索过程中变量和值排序的缺点,并且提出一个基于实现某一子目标的难度的简单策略即获得子目标的困难度,该标准可以......
二叉判定图广泛应用于形式验证,但相关算法存在节点规模过大的问题。提出了一种基于灾变遗传算法的二叉判定图最小化算法,它能在不......
不良的ROBDD变量排序会引发状态空间爆炸的危机，从而影响形式验证方法的推广和使用。通过对CUDD数据包中ROBDD遗传变量排序算法的研......
变量交换作为BDD优化算法的核心理论已成功运用于BDD节点规模的减少,本论文从理论和实践的角度提出了运用该理论实现BDD路径数量减......
智能规划和调度中的许多时态（或时序）问题可以表达为析取时态问题（DTP）．目前，多数析取时态问题求解器将析取时态问题看作约束可满足问题（C......
为缩小二进制决策图（BDD）模型的尺度,提高阶段一致型阶段任务系统（PMS）可靠性分析的准确性,对阶段一致型PMS的最优变量排序问题进行了......
针对约束满足求解技术中的变量排序，提出了量化Job-Shop调度问题特征的5项指标和相关参数。分别从约束连通度、变量约束偏差、约束......
基于二维决策图（Binary Decision Diagram，BDD）的战时油料保障可靠性分析，其中一个关键是对变量进行排序，所选择的变量排序对BDD的规模......
研究阶段任务系统（PMS）故障树变量排序方法。构造一个包含10种不同排序策略的策略库,基于实例基准测试对策略库中的单个策略进行平均......
随着集成电路设计规模不断增大，其出现故障的可能性也相应增加，这导致故障测试变得越来越重要。准确快速地检测出故障，可以加快电路设......
