论文部分内容阅读
在逻辑综合的领域内，经常使用求给定积项集合补集的过程。本文提出一个单边逻辑函数积项集合的求补算法，求补操作是通过选取函数矩阵的列覆盖进行的。与传统求补算法相比，该算法大大节省了计算机时间和内存空间。
积项集合的补集算法
【摘 要】
：
在逻辑综合的领域内，经常使用求给定积项集合补集的过程。本文提出一个单边逻辑函数积项集合的求补算法，求补操作是通过选取函数矩阵的列覆盖进行的。与传统求补算法相比，该算法
【机 构】
：
南通工学院信息工程系
【出 处】
：
微机发展
【发表日期】
：
2001年2期
其他文献
目的腹腔镜微创治疗5~8 cm胃肠间质瘤(GIST)的经验总结。方法回顾性分析我院行腹腔镜手术治疗(观察组)及开腹-手术治疗(对照组)的直径为5~8 cm GIST患者各48例临床资料。比较
决策支持系统作为一种新兴的信息技术,能够为企业提供各种决策信息以及许多商业问题的解决方案,从而减轻了管理者从事低层次信息处理和分析的负担,使得他们专注于最需要决策
在基于解释的机器学习问题上,近期提出的模糊模型FEBM(Fuzzy Explanation-Based Model)为模糊概念的识别和分类提供了一种很好的解决手段.在对该模型当对象的解释谓词在[0,1]
目的探讨Ⅶ区淋巴清扫在分化型甲状腺癌术中的意义。方法分析南方医科大学顺德医院甲状腺外科2015年06月至2017年05月间确诊分化型甲状腺癌的156例患者,分为行Ⅵ区+Ⅶ区淋巴
分析了培养精英人才的理论依据和现实依据,提出了高职精英人才的培养必须做到四个全面：即全面对接行业标准和比赛标准,全面深化技能学习内容,全面培育工匠精神和学习能力,全面
目的:研究竹叶椒片对大肠杆菌所致大鼠慢性盆腔炎的治疗作用.方法:采用大肠杆菌O-B4标准菌株的菌液注入大鼠子宫内,制备大鼠慢性盆腔炎动物模型.大鼠分6组:假手术组、模型组
目的探讨外伤性脾破裂行腹腔镜脾切除术(LS)的安全性和可行性。方法回顾性分析我院2009年3月至2017年8月63例外伤性脾破裂行LS术临床资料,术中采用先结扎脾动脉,再用圈套器套
在发展养鸡时首先遇到的问题是鸡雏的死亡率。尤其在早春和晚秋气温较低时,鸡雏的存活率是养鸡成败的第一个关键问题。我们针对此问题,进行了鸡雏成活率和温度关系的试验。试
目的总结局部注射氨甲环酸对于首次行单侧全膝关节置换术后失血情况的临床数据,探讨使用经验和效果。方法选取我院80例行单侧全膝关节置换术的患者作为研究对象,所有患者均因
根据数据库原理及SQL Server中保证数据完整性的方法,讨论了数据库数据完整性理论及实现方法,并以在C/S模式下开发的某公司网络信息管理系统为实例,介绍了实现的具体方案.