论文部分内容阅读
指出了利用代数拓扑方法进行逻辑综合时，若逻辑函数不存在冒险，则无冗余覆盖不受ON数组排列的影响，其结果具有唯一性．
自动逻辑综合中无冗余覆盖唯一性
【摘 要】
：
指出了利用代数拓扑方法进行逻辑综合时，若逻辑函数不存在冒险，则无冗余覆盖不受ON数组排列的影响，其结果具有唯一性．
【机 构】
：
湖北师范学院物理系黄石435002
【出 处】
：
中南民族大学学报：自然科学版
【发表日期】
：
2004年3期
其他文献
教师管理是高校管理最重要的工作内容之一,随着我国经济、科技和社会的发展,高校教师管理面临许多新的问题和挑战.本文针对目前高校教师管理中存在的一些普遍性的问题,提出了
目的：探讨马宝璋教授治疗功能失调性子宫出血的经验方益气止血宁的作用机制,评价其药效。方法：给予未成年大鼠益气止血宁、雌二醇、宫血停1周后,观察其对子宫、卵巢系数和病理
分析了乌鲁木齐水磨河、乌拉泊水库和柴窝堡湖等地表水水质,及其污染状况,针对其水资源得特点,提出了各种水环境的水资源保护对策,为消除面源污染等提供了科学依据。
在激烈的市场竞争中,职业学校必须拥有自己最可靠、最持久的核心竞争力,在实施教育决策、教育科研、教育服务等一系列运作过程中形成自己独特优势的信誉、科研、师资、文化、
通过对天山北麓水磨河流域细土平原区硫酸（亚硫酸）盐渍土有荷载多次冻融盐-冻胀试验研究,发现不同硫酸钠含量、不同压力土体多次冻融盐-冻胀变形随冻融次数的变化规律是土体膨
2013年11月14日-11月16日，第四届全国水利中等职业学校＂赣鄱杯＂技能赛在江西水利职业学院举行，
介绍了公路智能交通运输系统（ITS）的组成，结合实例详细地分析了它的各部分的结构与功能，对其涉及的关键技术如3S技术、网络通信、视频压缩与图象处理等作了阐述。