论文部分内容阅读
在逆向逻辑综合过程中,为了保证综合结果的准确性,需要将输入全集作为待处理数据集合,大大增加了整个处理过程的时空开销.论文深入分析了现有的逻辑综合基本运算,并结合逆向逻辑综合的数据特点,提出了效能更优的改进广义相容算法,从而较大程度地提高了对部分集进行化简提维的效率.
一种改进的逆向逻辑综合算法
【摘 要】
：
在逆向逻辑综合过程中,为了保证综合结果的准确性,需要将输入全集作为待处理数据集合,大大增加了整个处理过程的时空开销.论文深入分析了现有的逻辑综合基本运算,并结合逆向
【机 构】
：
河南省政法管理干部学院计算机科学系
【出 处】
：
河南师范大学学报(自然科学版)
【发表日期】
：
2009年2期
其他文献
在体育教学活动中 ,学生的学习情绪及变化是复杂多样的。学生的学习情绪受各方面的影响和制约 ,如何使学生学习与练习情绪向积极方面发展完成规定的教学目标和任务是本文研究
设∧=k＋∧1＋∧2＋…是局部有限的诺特的连通分次代数，M∈gr mod（∧）．则M是平坦模当且仅当M是投射模当且仅当M是自由模．作为该定理的应用，证明了如果k∈Boun（A），则Finitistic维数猜想对于∧
为充分发挥体育特有的教育功能,针对某些轻视和淡化思想品德教育现象,进行了理论和实践探讨。认为在目前形势下,必须提高体育对学生德育培养重要性的认识,在教学和训练中要根
在大型跨流域调水工程中,采用连锁混凝土预制块技术进行防冲刷处理,能有效的形成超强的消能、防冲刷连锁系统。如今,连锁混凝土预制块在河道治理过程中使用频繁。然而由于施
2017年11月30日，在上海国家会展中心，来自日本的润滑油品牌——ENEOS引能仕隆重举行新品发布会，宣布在中国市场推出全新包装的SUSTINA速驰耐系列、FINE系列、MOTOR系列汽油发动
强制对流烤箱作为一种常见的烘焙工具,其温度场的均匀性是衡量其性能的重要指标,通过对某双风扇对流烤箱温度场均匀性的研究发现:(1)用特氟龙块模拟食物,仿真得到的方差和实