简介：IEEEStd1800-2500SystemVerilog作为一种工业标准硬件设计和验证语言,具有能够把RTL设计、测试平台、断言和覆盖率全面综合在一起的优点。而基于SystemVerilog的VMM（verificationmethodologyman-ual）验证方法学能够在此基础上获得更多的重用扩展性、更全面的功能覆盖率,以及更合理的层次化验证结构。本文主要提出了一种基于VMM验证方法学的验证环境,通过验证一个多媒体数字视频芯片中视频格式转换功能模块,简称FCU（FomatConvertUnit）模块,证明了VMM验证方法学的重用性、扩展、自动检查、层次化结构的特点。

简介：本文根据二维非规则波海浪理论，对常见的几种海浪谱进行了海浪时历的模拟仿真，并对仿真结果通过三种途径进行了检验，从而验证了基于海浪谱的海浪数值模拟仿真的有效性，为研究舰船在波浪中的运动提供了仿真平台。

简介：战术机动的精度关系到舰艇战斗活动的成败。文章结合舰艇在战斗活动中进行战术机动绘算的具体过程，分析了影响绘算精度的因素，并利用协方差传播律结合实例研究了舰艇机动绘算精度的计算方法，为定量分析战术机动的精度提供了科学合理的手段。

简介：有限元法是解偏微分方程的有效方法之一，但是有限元解的导数在单元边界不连续且整体精度不高，因而如何提高有限元解的精度引起了许多计算数学家的兴趣，文中着重分析讨论有限元超收敛后处理技术，对有限元的各种后处理技术作一总结，特别对SPR技术作出比较详细的讨论。

简介：采用TI同步降压控制芯片TPS40170、超低内阻MOS管IPP075N15N3G和低失真、高共模抑制比、单电源运算放大器OPA2365为核心,设计一款具有宽输入电压35~55V,输出电流3A的降压型高精度恒流源。样机经测试满载效率为95.8%、负载调整率Si≤0.1%、电压调整率Sv≤0.2%,可应用在电镀、热处理炉、照明等行业。

简介：本文指出一些《热学》教材在关于气体分子动理论的基本公式的验证上存在的循环论证的错误,并提出正确的验证方法。

简介：贫困是一个多维度概念,但传统的亲贫性研究只局限于收入维度。文章基于“中国健康与营养调查”（CHNS）数据,采用机会亲贫指数,从教育和医疗等维度研究了中国9个样本省份的社会机会是否亲贫。研究结果表明,这些省份的教育大多呈现出非亲贫;但医疗服务的亲贫性逐渐改善。上述方法除用于教育机会与医疗机会的亲贫性研究,也可用于其他社会机会的亲贫性研究。

简介：传统方法进行直流电源的谐波分析时，存在栅栏效应和频谱泄漏等现象，无法获取准确的谐波参数．为了提高谐波分析精度，这种专门的分析方法通过搜索寻峰，从高幅值到低幅值遥次求出各频率谐波分量参数，每求出一组参数就把该频率谐波分量从测量信号中消去，得出相当准确的结果．

简介：通过室内试验，确定二灰碎石材料具有一定的强度可恢复机能，并从二灰碎石结构强度形成、强度可恢复机理、外掺剂对可恢复性规律的影响等几个方面进行了理论分析与试验研究，得出二灰碎石基层早期强度破坏后。可一定程度恢复的科学结论，并通过组织试验段验证实施。

简介：在中国高等教育学生信息网（学信网）成立十周年之际，由其研发的“学信二维码”一同正式亮相。今后，招聘单位只需用智能手机扫描“学信二维码”，就可以通过移动互联网验证学籍／学历在线验证报告，实现移动验证、即时验证。学生本人在通过学信档案申请学籍在线验证报告（中文）、学历在线验证报告（中英文）时，可下载打印报告对应的“学信二维码”。

简介：活塞杆长径比大，车削过程中由于车削力的作用容易产生振动和弯曲变形，在粗车过程中产生的弯曲变形较大时，需要多次小进给量车削，从而降低其生产效率，影响生产经济性。是否能探索出理论分析与试验分析相结合的方法，对活塞杆车削进行变形定量研究和误差分析，寻求降低尺寸误差的生产工艺措施，这对活塞杆的车削具有重要的理论意义和实际应用价值。

简介：针对自然风冷永磁同步电机在电动汽车上的不同运行工况,运用Motor-CAD软件对电机温度场进行仿真分析,得出电机在各种工况下的温度场数据。最后搭建了电机温升试验平台,对电机温升仿真值与实验值进行对比分析,结果表明误差不超过3%,验证了仿真方法和结果的准确性,为电机的结构设计提供了有效依据。

简介：将实验内容分解为知识基础和方法设计两部分,探讨从验证型实验到设计型实验升级的一般性方法,在原有教学、实验系统基础上高效率地提高学生的能力.

简介：FIR滤波器以其良好的线性性能被广泛应用，它属于数字信号处理的基本模块之一。基于FPGA的FIR滤波器兼顾了实时性、灵活性和可靠性，是嵌入式系统中常用的FIR滤波器实现方法。本文的数据结构采用国际通用的IEEE754单精度浮点数，其计算精度能够满足一般系统的设计要求；而且本文的FIR滤波器实现方法在运算速度和硬件资源上做了较好地权衡，降低了算法对硬件的依赖性，使得本方法可以作为一个通用模块直接嵌入在系统中。

简介：介绍了旋转多基线数字近景摄影测量系统的技术特点和具体的实施方案，提出了基于旋转多基线交向摄影方式进行一种无需二次控制的、非接触的、快速便捷的滑坡监测方法．通过对滑坡监测的关键流程阐述及现场试验，分析了不同摄站数、基高比和交会角对其精度的影响规律，实验证明了该方法的可行性，精度可以达到毫米级．

简介：前导1判断模块是浮点加法运算中不可缺少的部分,在运算结果产生之前就对运算结果进行预测的方式叫做前导1预判,相应的电路叫前导1预判电路。经过改进的双通道前导1预判电路与单通道运算结构相比具有更高的运算速度,而全定制的版图设计方法具有减小单元面积和时延的优点,用全定制版图设计的方法来设计双通道前导1预判模块,能够进一步提高其性能。

简介：指数、对数函数的数值计算是一种最基本的算术操作,研究其快速算法,对于科学计算、数据处理,尤其是要求运算精度很高的实时控制系统,有着非常重要的意义.通过数值分析,考虑到精度要求较高,计算量和数表的存储空间这三个因素,结合计算和查表的方法给出了一些基本函数的快速算法.另外,还介绍了改进的高精度快速算法并演示了详细的计算过程.得出精度越高,内存越大,相应的操作速度却没有下降。

简介：为了验证基于弹簧粒子模型及其衍生定位算法的性能,本文设计了一种新的无线传感器混合网络系统,并进行了相关的实验验证。本文的混合网络是基于CC2431传感器节点和智能手机高级节点组成的混合网络,其中CC2431用于数据采集与节点定位等,智能手机iPhone网络用于传达任务、获取数据以及数据显示。实验研究结果表明,本混合网络系统是稳定可靠的,且系统的测距和定位算法的精度较高,网络的路由算法稳定可靠,可满足一般机器人导航等无线传感器网络应用场景。

简介：介绍了板坯连铸动态轻压下系统的结构与组成。以影响铸坯质量的主要原因即系统控制精度为研究重点．具体分析扇形段辊缝数据准确性、稳定性、精确度等影响因素并提出控制精度优化方案。优化方案主要通过改进传感器标定方法，增加现场设备线路防护等级，优化辊缝计算方法，编写改进程序等手段实现。

简介：研究了投资机会对上市公司现金持有的边际价值的影响。内部融资作为公司投资的重要来源之一,可以用来适时把握投资机会。上市公司面临的投资机会越多,则公司现金的边际价值会越高,且融资约束的存在会使这种差异明显。针对中国上市公司的经验研究证实了这一理论预期,实证研究发现：公司面对的投资机会越高,公司现金持有的边际价值也越高;在高投资机会且有融资约束的情况下,现金持有的边际价值显著高于低投资机会且非融资约束的公司。