针对传统布尔逻辑在电路面积优化中存在的不足,提出了一种用传统布尔逻辑和Reed-Muller(RM)逻辑相结合的双逻辑优化算法.通过将原逻辑函数的乘积项转化为不相交乘积项,并利用不相交乘积项的位操作,将逻辑函数的覆盖分成2个部分,使之分别适合布尔逻辑综合和RM逻辑综合;同时提出了适合双逻辑函数的逻辑功能验证方法.双逻辑优化算法用C语言编程实现并用MCNC标准电路进行测试.实验结果表明,与单一的布尔
单元教学是相对于单篇课文教学而言的,所谓单元教学就是把每一单元作为一个整体来设计教学活动、组织教学的一种教学模式。它作为高中语文教学中最重要的理念之一,近些年来却往往被一线语文教师忽视,只停留在教学研究的层面上,不能够在教学实践上得到很好的应用。另外,研究高中写景状物类散文教学的相关文论却少之又少,使得在课堂上如何教学这类散文成为一个难题。为了让单元教学摆脱这一尴尬的处境,解决写景状物类散文教学所
后金融危机时代,经济衰退使炼油业遭受重创。面对难以短期恢复的炼制毛利,大型石油公司纷纷患上了＂下游抑郁症＂,一时间出售下游资产之风盛行。西方的危机也许给发展中的东方带
石油工业上游巨型装备莫过于钻井设备。钻井设备的设计、制造水平，在一定程度上反映这个国家的石油工业生产技术水平和装备制造能力。我国石油钻井装备制造业经过半个世纪的发
随着我国经济运行管理体制和机制的改变,油气勘探市场的逐步形成和日益开放,原来按资源分布配置的物探企业开始出现剩余.为了推动物探技术的进步,提高资源勘探的整体效益,从1
中国石油勘探开发研究院是中国石油直属的、涵盖石油工业上游各个领域的综合性研究机构.经过四十多年的发展,目前已成为一个拥有8名中国科学院和中国工程院院士、58名教授、7