【摘 要】
：
针对传统布尔可满足性(SAT)法在处理纳米CMOS电路(CMOL)单元配置时,存在合取范式(CNF)表示的约束子句个数过多、中间处理文件过大的问题,该文提出了利用伪布尔可满足性(PBS)来解决CMOL电路的单元配置问题。实验结果显示,相对于传统的SAT法,PBS法在不增加额外的布尔变量集个数的条件下,通过降低编码过程中的约束个数,能有效减少中间处理文件大小,达到提高算法效率和提高处理大电路的能力。
论文部分内容阅读
针对传统布尔可满足性(SAT)法在处理纳米CMOS电路(CMOL)单元配置时,存在合取范式(CNF)表示的约束子句个数过多、中间处理文件过大的问题,该文提出了利用伪布尔可满足性(PBS)来解决CMOL电路的单元配置问题。实验结果显示,相对于传统的SAT法,PBS法在不增加额外的布尔变量集个数的条件下,通过降低编码过程中的约束个数,能有效减少中间处理文件大小,达到提高算法效率和提高处理大电路的能力。
其他文献
为了全面完成党的十二大提出的各项任务,各条战线都必须认真研究自己的现状,制定正确的战略目标和对策。本文就浙江省卫生系统的情况,谈一些初步看法。一、三十多年来的成就
学科服务是基于用户需求的服务,用户需求驱动是其发展的原动力,而用户需求及满足程度是可以调查研究的。建立基于用户需求的LibQUAL＋TM调查法,从学科服务物理平台、数字平台、
国内机构知识库建设以科研机构及研究型高校为主,民办高校参与到机构知识库建设的不多,笔者从当前国内外机构知识库建设的现状入手,分析了民办高校在建设机构知识库中面临的
近几年随着改革的深入和管理工作的加强,考核检查已成为各行各业的常规性工作。每年一到第四季度,要花费大量的精力进行准备,似乎平时管理的成败与否全在此举。当然,严格考核
提取多角度SAR特征对雷达目标识别具有重要价值。该文利用缺失数据幅度相位估计提取多角度SAR特征,本质上是缺失数据情形下的参数估计问题。该算法无需利用目标参数化模型,是一种数据驱动的自适应估计方法;同时,它无需填充缺失数据,避免了因插值导致的误差。实验表明该算法不仅能够提高目标位置和幅度估计精度、实现超分辨成像,而且对噪声和模型失配具有鲁棒性,实验同时验证了多角度SAR重构目标轮廓的优势。
我院是一所综合性的中医医院,现有工作人员203人,病床106张。在党的三中全会精神指引下,我们在医院的管理改革中,通过四年摸索和实践,逐步实行了一套“多劳多得,按劳计奖”的
卫生工作要为社会主义经济建设服务,目的在于提高人民身心健康,保护社会劳动力.以利于社会主义两个文明的建设。因此,医药卫生科研成果的评价主要应着眼于社会效益。《中共中
<正> 一、全面理解广东20年赶上“亚洲四小龙”的发展战略,借鉴和吸取“亚洲四小龙”成功的做法和失误的教训邓小平同志在南巡讲话中提出“广东要上几个台阶,力争用20年时间
延迟容忍网络具有间歇连通的特点,这为数据传输提出了很大的挑战。目前的路由算法没有充分考虑节点的整个状态(位置、速度),该文提出了一种节点状态感知的路由策略SARM(Situation-Aware Routing Method)。SARM根据节点的状态估计它能把消息传送到汇聚节点的可能性,并把消息复制到那些比自身可能性大的节点上。该文根据消息的生存时间、剩余时间及复制次数提出了一种消息队列管理机制。
我市有606个乡卫生院,职工5400多人,长期以来坚持了“独立核算,自负盈亏,按劳分配,民主管理”的原则。由于任务重,困难多,国家每年都要安排部分民办卫生事业补助费,实行民办