反向逻辑综合技术中快速重构算法研究

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:excalibur
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对目标系统的重构设计主要困扰的难题是如何实现设计的正确性以及实现规模的可控制性。而通过对目标系统的逻辑功能收集与归纳,再进行反向的逻辑综合处理是一种行之有效的手段,但是该手段实现时与传统的逻辑综合处理的有巨大差异。重点分析和论述了如何解决反向逻辑综合的处理速度和结果规模控制的两个核心难题,提出了一个适应面较广的Q-M法与锐积法相结合的处理算法,给出了算法流程和性能分析。
其他文献
针对传统的多路径方法在网络生存时间方面表现的不足,提出了一种基于蚁群算法的新方法。该方法在路径选择时不仅考虑了路径的最优性也即最小跳数,而且还把节点的剩余能量作为路
期刊
规范国家公共权力、保障公民个人权利和自由是自由主义宪政的核心理念,而不能相反。在宪法观念的启蒙和传播中,清末民初公共知识分子对自由、民主、共和等观念体认上的偏向和误
网管系统软件生命周期具有6个特点 :网管系统的实践性、网管系统建设周期的紧迫性、对被管网络现状的依赖性、网管系统需求的不确定性、网管接口的基础性和网管系统初始化的重要性。网管系统软件生命周期的特点决定了网管系统的实现方法 ,本文以TMN和软件系统生命周期为基础 ,以网管系统软件生命周期不同于一般软件生命周期中的问题定义与可行性研究、需求分析、总体设计、测试和工程实施等若干阶段为重点 ,从工程化的角
近日,爱立信宣布推出家用3G接入点产品.为家庭和小型办公环境提供具备全面HSPA性能的室内网络覆盖。HSPA可支持高达14.4Mbit/s的下行速率和5.8Mbit/s的上行速率。在安装了家用3G接
对航道地质信息分析系统需求进行了研究,分析了地理信息系统研究现状及研究成果,旨在为地质工程提供良好的分析依据。采用类对象设计方法,设计了航道地质系统的整体框架。重点分析了三角网的生成算法、利用等值线生成技术绘制淤积等厚线的算法、给出了地质剖面图的生成算法及热点编辑功能的实现。采用地理信息系统技术实现了分析结果的动态生成,为航道开挖工程提供了可视化的分析平台。
为了降低对象跟踪算法中特征点匹配的复杂度和无用特征点的数量,提高对象提取的精度以及跟踪的速度,提出了一种新的基于帧差特征点和边界点的对象提取、跟踪算法。首先结合形状信息以及自动阀值技术来减少特征点的堆积并提高特征点的利用率,其次从一个新的角度利用帧差技术,不仅有效的将大量的无关特点从跟踪系统中剔除,同时使跟踪范围缩小到一个更加合理高效的区域内。为了让物体的跟踪过程更加精确,通过添加边缘特征点来提高
针对目前汉字鉴别效率低、容易造成几何性质丢失的现状,提出了一种利用小波分解与重构的技术对汉字签字进行特征抽取和压缩的方法。首先对整个签字的每一笔划进行通过多分辨率分析的小波分解公式进行复信号小波变换,这样可以得到每一个笔划的小波分解值,然后利用一组新的小波重构公式,对各个笔划的特征进行有机的整合,最后使用K-L变换对签字特征值进行了特征维数的压缩,从而大大提高了汉字鉴别鉴别的效果。
针对旅行商问题,提出了一种带自学习算子的粒子群优化算法,根据旅行商问题及离散量运算的特点,对粒子的位置、速度等量及其运算规则进行了重新定义,为抑制早熟停滞现象,定义了变异