MBDD构造与优化设计

来源 :计算机辅助设计与图形学学报 | 被引量 : 1次 | 上传用户:huiyigng
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文分析了BDD(BinaryDecisionDiagrams)的基本特征和发展。面向验证和测试的需要,作者提出了含有极值概念的BDD拼接构造方法,为进一步压缩BDD非终端节点的数目,在构造过程中充分考虑变量排序对BDD结构的影响。实验证明,作者提出的方法简单、直观且有效。
其他文献
患者某,男,21岁.因瘙痒难忍,于2012年9月16日求诊.时下症见:患者面现忧郁之容,神呈无奈之色.小腹、腰臀、前后二阴、股膝、胭窝之上,肌肤灰黑硬厚,软柔性较差,有粉白色搔抓指
为了评价区域可持续发展程度,构建了涉及人口、经济、社会、资源、环境5个子系统71个指标的区域可持续发展指标体系。提出了运用改进的主成分分析法计算各子系统的可持续发展
辨证论治是中医的精髓所在.中医的辨证是临床辨识疾病的一个思维过程,是将四诊所搜集的症状、体征和其他相关资料,通过分析、综合,辨清疾病的病因、病性、病位及邪正之间的关
近年来,我国糖尿病发病率明显升高,随之而来的并发症也越来越多。糖尿病足就是其严重并发症之一,致残率极高。对糖尿病足及早给予正确、有效的干预措施,可以大幅度降低致残率,改善
目的研究中晚期肺癌患者肺部真菌感染的相关因素及检出菌株的药敏试验结果。方法选取2012年1月至2016年4月该院收治的84例中晚期肺癌患者作为研究对象,分析肺癌患者真菌感染
随着我国经济及科技水平的不断提高,人们越发重视其自身健康问题,从绿色出行到健康食品,国民开始对各行业都提出了高标准的要求,前些年,国家放松对市场的管制,导致了大量病死
图符生成编辑软件已作为微机和SUN图形工作站的图形软件支撑工具。用户可利用它生成和编辑在计算机辅助设计、造型、图形编辑以及各种标图使用的专用图形和符号,即标准的图形构件,简称图符。由此软件生成的图符存入图符库(零件库)中。在实际应用中,此库很方便用户调用、扩充和修改。此软件构思方法新颖、实用,可减少在设计、图形编辑过程中的人机交互次数,方便用户,操作简单,便于记忆,有利于建立友好的图形交互界面。
‘蜜红’是自交亲和型的红肉火龙果优良新品种,在福建产区表现出树势强、早果性强、大果型、质优、早丰产、产量高、适应性和抗逆性强等特点,生产上采用扦插育苗、搭架栽培、
目的:探讨盐酸氨溴索治疗老年慢阻肺合并肺感染的临床效果和不良反应。方法:随机抽取36例老年慢阻肺合并肺感染患者作为此次研究对象,病例起止时间为2019年3月-2020年3月,通
期刊