论文部分内容阅读
代数拓扑方法用于逻辑综合得到最小覆盖,为了避免可能出现冒险,需要进行冒险问题的讨论.
自动逻辑综合中有关冒险问题的探讨
【摘 要】
：
代数拓扑方法用于逻辑综合得到最小覆盖,为了避免可能出现冒险,需要进行冒险问题的讨论.
【机 构】
：
湖北师范学院物理系
【出 处】
：
武汉化工学院学报
【发表日期】
：
2004年2期
其他文献
<正>"我爱我的红领巾,就像爱我的生命,她是红旗的一角,她用烈士的鲜血染成……"小时候参加辅导区的一次诗朗诵比赛,时间虽过了将近40年,但是这几句诗句已经深深地烙在我的脑
<正>一、葡萄废枝条的收集和粉碎将冬季休眠期修剪的葡萄枝条晒干,用枝条粉碎机粉碎,加工成2 mm大小的木屑,储干燥处备用;也可将枝条晒干后存放至制袋前再粉碎使用。二、培养
采用双螺杆挤出机制备茂金属聚烯烃弹性体(POE)/聚丙烯(PP)热塑性硫化胶(TPV),研究螺杆转速和硫化温度对TPV微观结构和物理性能的影响。结果表明,POE/PPTPV中POE为分散相,PP
随着我国经济和社会的迅猛发展,高等学校的校园建设在高等教育发展中的越来越显现出重要作用。建设针对性强、具有学校学科特色和浓郁文化氛围、创新能力强的开放性、社会化
报道了用CF4作工作气体的ECR刻蚀poly-Si技术,研究了微波功率、气体流量、气压和射频偏置功率对刻蚀速率的影响,并对实验结果进行了讨论.实验中微波等离子体功率范围在100～500
作为南宋诗坛上的丰碑人物,陆游继承和发扬了我国古代屈原、杜甫等人爱国主义文学的优良传统,奏响了南宋诗坛爱国主义诗歌的最强音。本文主要从时代和家世角度分析了陆游爱国
水体富营养化是当前水环境保护所面临的严峻问题之一,对于富营养化水体的研究主要集中在水体修复和发生机理方面,为了减轻富营养化的危害,探究其限制性的理化因子是非常重要
给出了一个用于Java RMI(Remote Method Invocation)的UML profile. 讨论了如何建立该UML profile以及如何使用它对Java RMI应用系统进行文档化.
化学合成中很多反应都是平行反应.其中每一个反应并非是反应进行到底的不可逆反应,而是由反应速率常数不同的对峙反应簇组成.本文目的是探讨由对峙反应簇组合的平行反应动力