论文部分内容阅读
本文阐述了数模混合电路的层次式模拟验证方法及相关技术,并建立了一个层次式模拟验证环境,以一种新型的微处理器锁相环为例介绍了混合电路的层次式模拟验证方法和过程,测试结果表明,该方法具有速度快、精度高的优点.
数模混合电路层次式模拟验证方法
【摘 要】
：
本文阐述了数模混合电路的层次式模拟验证方法及相关技术,并建立了一个层次式模拟验证环境,以一种新型的微处理器锁相环为例介绍了混合电路的层次式模拟验证方法和过程,测试结果表明,该方法具有速度快、精度高的优点.
【机 构】
：
国防科技大学计算机学院(长沙)
【出 处】
：
全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议
【发表日期】
：
2004年6期
其他文献
理论与实践表明图像编码是遥感图像存储和传输中需要解决的重点问题之一,考虑到实际应用中遥感图像分辨率高、数据量大、精度要求高的特点,本文以小波理论为基础,利用其多尺度空间子带信息进行了遥感图像的DWT编码,实验结果表明经此方法压缩后的重构图像在能量保持、峰值信噪比方面好于现有DCT编码方法,是解决遥感图像编码的有效途径之一.
体系结构级功能验证已成为微处理器设计过程的瓶颈.体系结构级的模拟验证质量和周期极大地依赖于验证程序的生成.本文深入分析了体系结构级模拟验证程序自动生成技术的理论和方法,并针对现有方法的不足,提出了一种全面而灵活的微处理器体系结构级验证系统的实现思路.
分离关注点(Separation of Concern)是目前软件设计领域内的热点研究话题.通过识别、封装和集成不同种类的关注点来构建一个复杂系统,从而提高系统的适应性、可维护性、易扩展性和重用性.Aspect-Oriented Programming(AOP)技术是目前较好地实现关注点分离的一种编程范式,本文针对基于SystemC的嵌入式系统设计,提出了应用AOP技术的嵌入式系统设计新方法.对于
基于路由网络代数(Routing network algebra简称RNA)提出了一种新的路由"活锁"检测方法.通过建立路由振荡与路由网络"活锁"的对应关系,把路由振荡检测归结为检测网络元素的相关性.为了展示提出方法的正确性,利用仿真工具SSFNET验证了"活锁"与路由振荡的相互关系.
本文提出一种能兼顾状态内分枝的状态覆盖方法.在状态内部分枝树的终端结点处添加状态转换语句,将原先的单个转换分成多个转换分枝.从而对原先的状态转换进行扩展,使得用传统的状态测试方法能够覆盖到状态内部的分枝.
将种群规模数很小的微遗传算法用于模糊图像的复原,同时,为了解决图像复原中的病态问题,加入简单的Laplacian算子进行正则化处理.计算机仿真结果表明,该算法可使图像恢复效果得到较大的改善和提高,同时减少了运算量,提高的搜索速度.
本文从提高实时交互系统中运动目标的显示特性为例,以特定三维建模软件建立运动目标模型的优化过程,阐述并概要地分析了不同复杂程度的目标模型在特定实时交互环境中的具体应用,以期对有类似应用要求的环境给出一个初略的结果和建模参考.
将多边形化过程分为"构造"和"适应性采样"两个步骤,实现了隐式曲面逼近网格的适应性生成.首先通过基于空间延展的Marching Cubes方法得到隐式曲面较为粗糙的均匀多边形化逼近,然后根据曲面上的局部曲率分布,运用细分规则对粗糙网格进行适应性细分,并利用梯度下降法将细分出的新顶点定位到隐式曲面上.最终得到的多边化网格是适应性的单纯复形网格,且在保持规定逼近精度的前提下,尽可能地减少了冗余三角形的
针对空间网架网壳,提出了一种简便快速的建模及其信息处理系统.建模源程序和网架结构信息分离,使建模系统独立,便于系统升级和用户自定义功能的扩充.该系统不仅可以建立常见的各种平板网架结构,而且可以建立常见曲面网壳结构.由于选择了AutoCAD系统的ActiveX面向对象的编程技术,发挥了AutoCAD环境的优异性能,使得系统的操作方便,具有完善的编辑修改功能,同时还支持曲面造型能力 .系统还配有图形和
目前存在许多限制钢筋工程量计算软件发展的因素,诸如开发难度大、用户水平低、不符合用户习惯等,引入图形法是解决这些问题的一个重要方法.在目前钢筋工程量计算中被使用的主要是Windows GDL和OpenGL技术.鲁班钢筋软件依靠这些技术成功的开发出了专用图形绘制工具,交互式建筑构件绘制工具和ECAD图形平台.随着图形技术的深入研究和广泛应用,钢筋工程量计算软件会彻底将钢筋翻样和预算人员从枯燥的手工劳