论文部分内容阅读
在逆向逻辑综合过程中,为了保证综合结果的准确性,需要将输入全集作为待处理数据集合,大大增加了整个处理过程的时空开销.论文深入分析了现有的逻辑综合基本运算,并结合逆向逻辑综合的数据特点,提出了效能更优的改进广义相容算法,从而较大程度地提高了对部分集进行化简提维的效率.
一种改进的逆向逻辑综合算法
【摘 要】
：
在逆向逻辑综合过程中,为了保证综合结果的准确性,需要将输入全集作为待处理数据集合,大大增加了整个处理过程的时空开销.论文深入分析了现有的逻辑综合基本运算,并结合逆向
【机 构】
：
河南省政法管理干部学院计算机科学系
【出 处】
：
河南师范大学学报(自然科学版)
【发表日期】
：
2009年2期
其他文献
控制方法、控制装置和烹饪器具专利类型:发明专利专利权人:佛山市顺德区美的电热电器制造有限公司;美的集团股份有限公司发明人:王博达;任蓬勃;李新峰专利号:ZL201510159561.
在体育教学活动中 ,学生的学习情绪及变化是复杂多样的。学生的学习情绪受各方面的影响和制约 ,如何使学生学习与练习情绪向积极方面发展完成规定的教学目标和任务是本文研究
设∧=k＋∧1＋∧2＋…是局部有限的诺特的连通分次代数，M∈gr mod（∧）．则M是平坦模当且仅当M是投射模当且仅当M是自由模．作为该定理的应用，证明了如果k∈Boun（A），则Finitistic维数猜想对于∧
当前，各家商业银行信贷向大企业集中过度，直接的影响就是对中小企业资金供给有些不足，从而导致制约银行信贷有效增加，分析银行如何降低中小企业贷款门槛，须建立健康的信贷机制，一方
可持续发展是人们对传统发展模式反思后的创新, “绿色交通”是一个全新的理念,它强调的是城市交通的“绿色性”,即减轻交通拥挤,减少环境污染,合理利用资源。我国传统的交通
为充分发挥体育特有的教育功能,针对某些轻视和淡化思想品德教育现象,进行了理论和实践探讨。认为在目前形势下,必须提高体育对学生德育培养重要性的认识,在教学和训练中要根
在大型跨流域调水工程中,采用连锁混凝土预制块技术进行防冲刷处理,能有效的形成超强的消能、防冲刷连锁系统。如今,连锁混凝土预制块在河道治理过程中使用频繁。然而由于施
2017年11月30日，在上海国家会展中心，来自日本的润滑油品牌——ENEOS引能仕隆重举行新品发布会，宣布在中国市场推出全新包装的SUSTINA速驰耐系列、FINE系列、MOTOR系列汽油发动
在当今体育竞争日趋激烈之时,如何提高普通高校训练水平是摆在我们面前的重要课题。为使高校运动训练更加科学合理,并取得优异的成绩的关键问题是训练的合理安排,为此提出高
强制对流烤箱作为一种常见的烘焙工具,其温度场的均匀性是衡量其性能的重要指标,通过对某双风扇对流烤箱温度场均匀性的研究发现:(1)用特氟龙块模拟食物,仿真得到的方差和实