基于GPS的圆度、圆柱度误差数字化计量方法研究

基于对数字化计量过程中关键操作技术的研究,给出圆度、圆柱度误差计量的操作算子构成策略及选用原则,并针对传统的几何误差评定中随意性大、评定参数单一、效率低下等不足,提出现代几何误差计量中以"高效、规范"为目标的多元化评定思想。并通过实例说明该数字化计量思想的运作模式及其工程价值,进一步明确基于GPS(geomet-rical product specification)的数字化计量方法对于实现误差评定的数字化、规范化和高效化是至关重要的,同时,对于促进国家(际)标准的发展及有效应用也具有十分重要的意义。

微处理器存储管理单元的功能验证方法

在分析存储管理单元(MMU)验证方法的基础上设计一种验证专用操作系统(VPOS)。采用静态存储管理、静态用例调度和伪中断处理等技术,为编写可执行、可控制的MMU测试程序提供了软件平台。验证表明,基于VPOS的仿真能在早期的软仿真阶段覆盖94%的MMU设计错误,在FPGA验证中覆盖剩余的错误,保证了移植通用操作系统一次成功。