论文部分内容阅读
体系结构级功能验证已成为微处理器设计过程的瓶颈.体系结构级的模拟验证质量和周期极大地依赖于验证程序的生成.本文深入分析了体系结构级模拟验证程序自动生成技术的理论和方法,并针对现有方法的不足,提出了一种全面而灵活的微处理器体系结构级验证系统的实现思路.
微处理器体系结构级功能验证程序自动生成技术研究
【摘 要】
：
体系结构级功能验证已成为微处理器设计过程的瓶颈.体系结构级的模拟验证质量和周期极大地依赖于验证程序的生成.本文深入分析了体系结构级模拟验证程序自动生成技术的理论和方法,并针对现有方法的不足,提出了一种全面而灵活的微处理器体系结构级验证系统的实现思路.
【机 构】
：
国防科技大学计算机学院(长沙)
【出 处】
：
全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议
【发表日期】
：
2004年6期
其他文献
本文提出了一种基于数学形态学的DICOM图像边缘检测方法.首先对DICOM文件结构进行分析,介绍了DICOM图像显示技术;然后讨论并分析数学形态学基本运算,采用数学形态学方法对DICOM图像进行边缘检测;在此基础上提取轮廓线,并对具有不同特征的轮廓线分类处理.在PC机上实验表明,本文方法可快速、精确地检测出DICOM图像中有价值的边缘.
提出了一种新的多裁剪曲面三角划分的方法.通过展开裁剪曲面,得到曲面的平面展开图.在平面展开图内进行三角划分,把三角形上点的拓扑关系映射到裁剪曲面,生成三角网格.由于平面展开图上两点的欧氏距离接近这两点在裁剪曲面上的测地距离,所以生成的三角网格保持了平面展开图中三角形的形态,解决了在参数域内进行三角划分所产生的狭长三角形的问题.此外,还提出了一种对带孔的平面散乱点进行三角划分的办法,有效的防止了划分
实现非对称数字水印系统必须使检测过程对攻击者不可逆,这由于水印映射的不精确性而非常困难.本文提出通过分层映射实现水印系统非对称性的方法,在上层映射中引入非对称密码算法,攻击者只能检测水印而无法随意修改水印,在底层映射中改进了Wong等人的SWE水印算法,通过沿宿主向量方向调制水印来获得更好的鲁棒性,同时在水印嵌入之前进行汉明码编码以进一步提高可靠性.实验结果表明水印具有良好的鲁棒性、可靠性和不可见
立体匹配是基于图像进行三维重建的一个难点和关键部分,其目的是获取图像间的视差分布.本文在分析目前各种立体匹配算法的基础上提出一种改进的立体匹配算法,以获取基于同一场景的两幅图像的视差分布.本算法首先使用局部匹配算法计算初始的视差分布,然后引入顺序一致性约束改进已有的三维协同算法,构造迭代函数,迭代初始的视差信息,以求得准确的视差分布.试验结果表明,该算法计算速度快,可获得较好的匹配效果.
针对海量地形数据实时可视化,提出了一种瓦片金字塔模型和线性四叉树索引相结合的地形数据管理模式,利用视景体裁剪和基于分辨率测试的目标瓦片快速搜索算法实现了地形数据的实时装载,采用基于动态二叉树构网的方法实现了地形数据的实时绘制.实验表明,本文的研究成果在保证地形显示精度的前提下,能够实现基于当前PC计算机的真实感海量地形数据实时显示与交互操作.
本文首先提出了一种基于自由空间法的虚拟人行走规划方法,产生从初始到目标位置的优化路径;为了控制虚拟人实现路径跟随行走,提出了一基于Petri网的虚拟人动作模型,并以面向对象的技术封装了典型的行走动作;虚拟维修仿真实验结果验证了所提方法的有效性与可行性.
讨论了一般有理参数曲线到有理Bezier曲线的转化问题.一个n次有理参数曲线一般不能转化为权值都不为0的n次有理Bezier曲线.本文采用升阶的方法,求出了n次有理参数曲线对应的最低次数的有理Bezier曲线.该方法也可得到权值大于0的有理Bezier曲线.最后给出了n(n=2,3,4)次有理参数曲线到有理Bezier曲线的转化结果.
生理信号的特点是信号微弱、频谱宽、数据量少和噪声复杂.数字滤波是处理信号的基本手段.提出一种基于小波变换的自适应数字滤波器,以软件的方式实现,并应用于心音信号处理,效果比较理想.
本文介绍了虚拟机床系统设计制作中的主要及关键技术.给出了系统的软硬件平台,说明了虚拟机床三维场景的绘制方法,探讨了机床几何建模和对大数据量的场景进行优化的技术,并就三维鼠标在虚拟制造机床中的应用以及视点控制等关键技术进行了说明.
理论与实践表明图像编码是遥感图像存储和传输中需要解决的重点问题之一,考虑到实际应用中遥感图像分辨率高、数据量大、精度要求高的特点,本文以小波理论为基础,利用其多尺度空间子带信息进行了遥感图像的DWT编码,实验结果表明经此方法压缩后的重构图像在能量保持、峰值信噪比方面好于现有DCT编码方法,是解决遥感图像编码的有效途径之一.