代数拓扑方法应用于逻辑综合

来源 :湖北师范学院学报:自然科学版 | 被引量 : 0次 | 上传用户:lvjjvl
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
张弛法进行逻辑综合其规律性、逻辑性强,尤其是对于多变量的情况,克服了卡诺化简法的局限性。
其他文献
采用限体积法在同位网格中对满足几何守恒定律的控制方程进行离散化,对某一轴对称矢量喷管在几何偏角速度大小为40°/s下从0°偏转到14.2°过程中的内外流场采用
目的探求超纯透析与常规透析在维持性血液透析患者中的应用效果。方法选择2014年1月至2016年3月在某院血液透析中心行维持性血液透析患者98例,按照抽签法将其随机分为两组,每
研究了一种ABPT键合硅胶对Pb(Ⅱ)、Cd(Ⅱ)选择性柱富集的实验条件.以线性扫描极谱法作为测定手段,富集倍数为50倍时,对于微克级的Pb(Ⅱ)、Cd(Ⅱ)回收率分别为97%和86%.该方法
基于对环境激素危害的认识,很多国家重新审定和制订了更为严格的环境标准和卫生标准。我国尚未对环境激素类化学品生产使用情况进行全面调查,对有毒化学品的危害也缺乏全面风
通过生动的物理实验阐述调动思维的能动性和培养正确的思维方法以及合理安排思维程序,使学生的思维沿着一定的方向,一定的路线循序发展。
以数值模拟的方法,采用旋转坐标系稳态方程,研究了轴向通流旋转盘腔内的换热。主要讨论了流动对换热的作用以及旋转系下各力对换热的影响,给出了盘腔内的换热随各无量纲参数的变
目的 分析康复护理干预在冠心病合并糖尿病冠状动脉搭桥术后患者中的应用效果.方法 选取2014-09-2016-08收治的106例冠心病合并糖尿病冠状动脉搭桥术后患者,按随机数字表法分
利用级数展开的方法讨论受到含时微扰时体系的能量和波函数的算法,并考察光学Stark的移动.
根据发达国家的经验,我国第三方物流企业的发展必须瞄准制造业物流这个大方向,整合资源,优化空间,共建制造业与物流业双赢的商业模式.
制备了固体超强酸催化剂SO4 2-/TiO2-WO3,并利用该催化剂催化合成了环己酮乙二醇缩酮,探讨了SO4 2-/TiO2-WO3对缩酮反应的催化活性,较系统地研究了酮醇物质的量比,催化剂用量