用编码算法求本源蕴涵项并构成布尔函数的近似最小化表达式

来源 :计算机应用与软件 | 被引量 : 7次 | 上传用户:jiji19860729
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文提出了一个有效的化简布尔函数的算法。本源蕴涵项是通过小项的编码运算获得的。使用该算法可得到一个函数的近似最小化解,其近似程度不低于Arevala和Bredson提由的算法(以下简称A-B法)。本算法的主要恃点是:1.运算速度快;2.运算时间随变量个数增加的速度明显低于现行各种算法。因此,尤其适用于大规模逻辑设计问题。
其他文献
园林植物栽培学是高等院校园林专业的一门重要专业基础课。为进一步提高教学质量,培养及巩固学生的专业技能,本文结合多年教学经验,针对教学过程中出现的问题,在教材选择、教
大学生是未来我国社会主义建设的主要力量,学校在传授知识技能的同时,也需要关注大学生的身心健康状况。目前大学体育教学需不断改革以及发展,方能符合国家对人才的需求。本
2005年1月,国务院批复北京城市总体规划时,首次在中央人民政府文件中出现“宜居城市”的理念.“宜居城市”的概念,比较准确地体现了科学发展观的思想内涵,体现了以人为本的执政理
研究了线性情形中热传导方程的局限性,在此基础上考虑到热传导方程中导热系数、比热容、密度与温度的关系。导出了非线性热传导方程,并求出了几类非线性热传导方程的孤波解.
本文提出了一种字符串纠错方法,并对其应用进行了研究。最后给出了模拟应用的性能参数。
非数值型数据是数据处理的重要对象。对于日益普及的事务管理型软件来说,更是核心内容。为了保证非值数据在输入过程中少出差错,为了有效而简便地确保不同部门的使用者在长时期运用中输入数据都遵循统一的规范,同时又能在必要时灵活地改变规范本身,为了使用户在屏幕上可以直观地看输入数据的中文内容,同时又不必掌握任何汉字编码方案,笔者建议采用一种联机编码方法。
本文介绍了计算机进行细菌鉴定的编码法原理以及在IBM-PC上实施编码的软件设计。
为了提高采集数据传输的可靠性,提出了一种基于光链路和被覆线链路互为热备份的采集数据传输系统。系统采用光链路和被覆线链路双冗余传输路径,通过对两种路径传输品质的监测,利
本文介绍适合于我国国情的对任意m元有向树图经分页截断编排,结点位置调整和美化处理后绘图的主要算法思想。