论文部分内容阅读
研究了SOP(积的和型)布尔函数的求补算法,分析了已有的求补算法之间的深层联系,给出了否定树的概念.证明了单边求补算法、Sharp算法与德*摩根律是等效的、不相交的.Sharp算法是递归算法的一个特例.提出了以否定树为基础的解决SOP型函数求补运算的新算法.
一种新的布尔函数求补算法
【摘 要】
：
研究了SOP(积的和型)布尔函数的求补算法,分析了已有的求补算法之间的深层联系,给出了否定树的概念.证明了单边求补算法、Sharp算法与德*摩根律是等效的、不相交的.Sharp算法
【机 构】
：
天津理工学院计算机科学与工程系,天津大学电子信息工程学院,天津大学语音中心
【出 处】
：
天津大学学报：自然科学与工程技术版
【发表日期】
：
2001年4期
【基金项目】
：
国家自然科学基金
其他文献
省委书记张德江在省第十次党代会上要求:"以市场为导向,以增加农产品有效供给和农民收入为目标,大力发展效益农业。"林业,作为大农业的重要组成部分,同样应以追求质量和效益
嵌入空间矩阵的本征值是定理描述混沌吸收子的重要指标，应用本征值分解技术对３种动力系统实测数据嵌入空间矩阵的本征值进行了计算，并具体计算基嵌入空间矩阵的本征值及其本征向
深圳市华源轩家具股份有限公司于10月25日至元月15日期间举行＂两房两厅9980全配齐＂优惠促销活动。两房两厅爱家行动,绿色置家计划9980元全部购齐。销售满16000元再送价值3680元
韩国在室内设计在国际上享有一定的声誉，这与它成熟的教育体制和优良的教学资源是分不开的。本文尝试从它的教育理念、课程设置、教学方式、学生素养和就业情况五个方面入手，对
采用纯铝箔做中间层，真空连接普通TCA钛合金以及氢的质量分数分别为0．1％，0．3％，0．5％置氢TCA钛合金。利用扫描电镜、X射线衍射分析仪、能谱分析仪对接头界面组织进行分析，并进行接头压剪
新年伊始,江泽民总书记出席高州市领导"三讲"教育动员会并作了重要讲话后,中国工商银行高州市支行全体员工备受鼓舞和激励,迅速在全行中开展"一学习、两巩固、三增强、四投入
期刊
对双元非共沸工质喷射制冷循环做了可行性分析，利用ＰＲ方程对两种双元工质ＲＣ３１８／Ｒ１２３和ＲＣ３１８／Ｒ１４１ｂ进行了热力循环计算，对双元工质ＲＣ３１８／Ｒ１４１ｂ进行了喷冷循环实验，并与单元工程质Ｒ１４１进行了对比。理论分析和实验数据表明
江泽民总书记在党的十五大报告中指出:“能否抓住机遇,历来是关系革命和建设兴衰成败的大问题。过去我们抓住了重要历史机遇,也丧失过某些机遇。现在全党一定要高度自觉,牢牢
有限元作为一种融力学分析和计算机技术与一体的数值分析方法,已经广泛应用于工程技术各个领域。主要介绍了有限元分析的理论,并以吊钩为例,说明有限元分析的过程和有限元分
随着移动互联网的高速发展,基于互联网大数据下的校园服务平台的提出是为了满足我国高校校园内的资源整合,促进校园资源的合理利用,帮助解决大学生和老师在校园内遇到的各种