【摘 要】
：
针对文献[13]的最优BDD指标顺序算法,详细研究了该方法的计算机实现。在分析实现各个关键技术的过程中,阐明了存储每个指标值的真值表的冗余性,分析了获取一个最优解（当对象含
【机 构】
：
四川大学制造科学与工程学院,电子科技大学自动化工程学院
论文部分内容阅读
针对文献[13]的最优BDD指标顺序算法,详细研究了该方法的计算机实现。在分析实现各个关键技术的过程中,阐明了存储每个指标值的真值表的冗余性,分析了获取一个最优解（当对象含有多个最优解时）的弊端,提出了改进方法——删除存储指标值的真值表,获得所有最优解。为了实现形式最优BDD结构,详细研究了＂去除＂操作在简化＂等价＂节点上的原理。将最优指标顺序的理论和＂等价＂节点的简化操作方法联合起来,实现了理论和形式都最优的BDD结构。最后,以具体的例证阐释了联合改进方法在获取最优BDD结构中的突出特点。
其他文献
考虑修正NLG(一种变模形式非线性Galerkin)方法求解二维Navier-Stokes方程的全离散形式,通过一个例子的数值实现,按几种不同形式作了计算,数值算例表明了在不损失精度的情况
在超声波反应器中,用成核/晶化隔离法制备纳米双羟基复合金属氧化物,采用单因素试验得出最佳反应条件为:n(Mg(NO3)2):n(Al2(NO3)3)=2:1,加入2%聚乙烯醇,回流、晶化、异丙醇洗
摘 要：通过对包头市赛汗塔拉生态园的自然生态现状、空间景观以及人群使用的情况进行浅要分析，依据文化传承体系中的主体要素、场要素、传承内容、传承方式以及相关保障体系，提出对赛汗塔拉生态园未来旅游发展的构想。 关键词：赛汗塔拉生态园;民族文化;传承 1 概况 赛汗塔拉生态园位于内蒙古包头市新老城区的交会处，总面积达770公顷，是包头市城市中心区域的原始草原湿地生态系统，也是全亚洲最大的城中草原。
在文学作品教学中,我们必须针对文学反映社会人生所具有的形象性、间接性等特点,采取多种方法,力求使作品内容与形式形象生动、具体化地呈现,以达到引导学生入情入境,进入作
论述了信息素质教育的涵义以及对大学生进行信息素质的必要性,阐述了图书馆在对大学生进行信息素质教育中的优势和作用.
研究了用Bernoulli多项式所组成的两种特殊行列式Dn+1(x)与(Dn)(k,x)的计算问题,并给出了一类有趣的恒等式.