论文部分内容阅读
阐述了已有的求补运算算法的潜在统一性,证明了单边求补算法、sharp算法与德*摩根律是等效的算法;不相交的sharp算法是递归算法的一个特例;提出了否定树的概念;给出了以否定树为基础的解决SOP型函数求补运算的更快的算法.
一种新的求补算法
【摘 要】
：
阐述了已有的求补运算算法的潜在统一性,证明了单边求补算法、sharp算法与德*摩根律是等效的算法;不相交的sharp算法是递归算法的一个特例;提出了否定树的概念;给出了以否定
【机 构】
：
天津理工学院计算机科学与工程系,天津大学电子信息工程学院计算机系,天津大学多功能语音教学基地
【出 处】
：
天津师范大学学报：自然科学版
【发表日期】
：
2001年2期
【基金项目】
：
国家自然科学基金
其他文献
水稻栽培技术及病虫害防治措施对水稻产量和质量提高具有非常重要的作用。基于此,从科学选种、加强育苗、秧苗种植、加强水肥管理等方面总结优质水稻栽培技术要点,针对水稻的
大蒜(Allium satiuvm L.)是多年生草本百合科植物大蒜的鳞茎,按皮的颜色不同可分为紫皮蒜和白皮蒜两种[1].大蒜原产于意大利的西西里岛,约在两千多年前传入我国.大蒜不仅是极
期刊
化肥农药减施需要创新理论,打破学科界线,综合考虑,关键在于将有机肥、化肥、农药,农艺措施,耕作机械,植保机械,品种等根据各地自然条件科学组装。创新理论是植物营养免疫学,
目的评价品管圈活动对急诊小儿静脉输液等待时间是否产生影响。方法 2018年1-7月成立"品管圈"活动小组,对急诊输液596例患儿的具体输液等待时间进行现况调查,剖析导致小儿输
作者利用Hagen-Rubens公式,讨论了三波长辐射测温方法.文中具体地介绍了三波长测温原理,并着重对三波长辐射测温法的误差进行了较为详细的分析.
The author uses the Hagen-
目的 观察脂必妥片（ 成都地奥九泓制药厂） 治疗高脂血症的有效性和安全性.方法 选择65例高脂血症患者口服脂必妥片（1.05g/次,每日2 次）疗程为8周及治疗半年.结果 服药后8周和治疗