【摘 要】
：
针对混合极性RM（Reed-Muller）电路逻辑综合中的极性转换和极性优化问题,提出了基于对偶逻辑的极性转换和极性优化方法.从理论上证明了所提出方法的正确性,并用实验验证了其有效
【机 构】
：
同济大学软件学院,井冈山大学电子与信息工程学院
论文部分内容阅读
针对混合极性RM（Reed-Muller）电路逻辑综合中的极性转换和极性优化问题,提出了基于对偶逻辑的极性转换和极性优化方法.从理论上证明了所提出方法的正确性,并用实验验证了其有效性和可行性.所提出方法有助于将较成熟的MPRM（Mixed-Polarity RM）极性转换和极性优化方法应用于MPDRM（Mixed-Polarity Dual form of RM）.对15个基于XOR的MCNC电路进行逻辑综合然后映射到FPGA（Field Programmable Gate Array）的实验结果表明,从
其他文献
为解决空间数据检索效率低、准确性差的问题,本文提出由空间对象形状描述模型、空间关系描述模型、场景相似性自适应计算模型构成的场景相似性检索方法.空间对象形状描述模型
1果子狸的生物学特征果子狸有3个亚种一北亚种、南亚种、指名亚种.不同亚种,仅体重、毛色有区别.果子狸似猫如狸,头较家猫长,鼻突出吻端、较大,嗅觉灵敏.眼大而圆、眼球微突
视觉跟踪中,如何构建一种能够适应目标表观特征变化的目标模型是增强算法跟踪精度和稳定性的关键之一.本文提出利用跟踪区域内像素的初始分类标记来构建目标的局部分块模型,并在贝叶斯理论框架下提出了基于局部分块学习的在线视觉跟踪算法.首先,利用标定的初始跟踪区域构建目标的局部分块模型;然后,在当前跟踪区域中通过局部分块学习和贝叶斯估计确定当前帧的跟踪结果;最后,利用特征聚类对局部分块模型进行更新.实验结果表
牛氢氰酸中毒是由于牛食入或者过食含有较多氢氰酸衍生物氰甙配糖体的高梁幼苗、玉米幼苗、木薯、三叶草等牧草,特别是高梁和玉米再生幼苗,在胃内由于酶的水解和胃酸作用,产
1发病情况我县城关某乳牛场,1头体重约550kg的黑白花乳牛于2001年12月9日下午2时许,经助产娩出1头约50kg的公犊.母牛刚分娩后,行走站立正常.当日挤乳2次,挤乳员于次日凌晨4时
三峡工程外迁农村移民实行“以土为本、以农为主”的安置政策，这符合工程移民自身特点和世界银行移民安置条例的有关规定，有助于外迁移民尽快适应安置地的生产生活，实现自然、平
先秦诸子在研究管理问题时,认识到了调节人际关系是管理工作最根本的任务之一.为此,他们从伦理道德层面上提出了"义"作为其一种管理理念.他们认为,"义"是调节管理过程中人际
佛教设像传道以佛、菩萨、罗汉雕塑为主要载体。宋代罗汉雕塑以保圣寺、紫金庵、灵岩寺的罗汉泥塑为代表，同时由于宋代水墨画兴盛，出现了许多画罗汉的名家如刘松年、牧溪、梁楷
近年来,我市养猪业生产持续稳定发展,特别是养猪场的规模化、集约化、工厂化程度得到了大幅度提高.场内的环境卫生有了很大改善,科学饲养管理技术也得到了广泛应用,养猪生产
1 发病情况2002年7月17日,我镇王某将饲养的20只本地黑山羊赶往村前的再生稻地放牧.放牧40分钟后,畜主发现2只山羊倒地死亡,其余山羊也表现为呼吸困难,口吐白沫,即来求诊.