二分决策图相关论文
软件复用是解决软件危机、实现软件产业工业化生产方式的有效途径。软件复用活动包含两个相关的阶段：可复用软件资产的生产阶段和基......
大型复杂网络的可靠性分析都是NP难题。寻求计算简单、准确的近似算法更具应用价值。结合因子分解定理、网络简化规则、定界思想、......
逻辑验证和逻辑综合中，利用对称变量的性质能提高算法整体的效率。通常?xixj^-=?xjxi^-被用来检验变量的对称性。一般先分别建立?xi......
利用二分决策图，同时采用道路排序技巧及布尔代数运算给出了求不交和的方法，它比单纯采和二分决策图的算法更简单，不交和的项数更少，从......
提出一个计算网络可靠度的有效算法.算法基于二分决策图,但采用新的法则选取 Shannon 公式中的关键字母及因式分解技巧,与已有的某......
BDD被应用于多阶段任务系统的可靠性分析中,提出了一种新的基于BDD的多阶段任务系统可靠度算法,算法中提出了一次性生成阶段任务系......
随着集成电路工艺尺寸不断下降，工艺参数变化问题的重要性不断提高。一些过去在集成电路设计和制造中可以忽略的问题由于工艺参数变......
由于模拟集成电路设计的复杂性与经验性,其辅助设计软件的自动化程度一直不高,只能为设计者提供少量的反馈信息,导致设计者往往要......
