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

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

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

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

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

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

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

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

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

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

简介：文学灵感的语言机制张跃生大量的创作谈告诉我们，当灵感袭来时，作家往往感到言语象自来水般流出，所谓“思风发于胸臆，言泉流于唇齿”，令人捉笔不及，一旦写下来，便已是完整的作品。明了文学灵感的非自觉性，就不难理解，灵感之所以能给予作家意外的完整成果，那是无...

简介：日本学校安全问题涉及学校的范围按照《学校教育法》第一条的规定，指幼儿园、小学、中学、特殊教育学校、中等教育学校、专科学校、大学及其他各种学校。对学校安全范围的界定，我们可以参考日本体育振兴中心设定的赔偿范围。日本体育振兴中心的灾害共济给付制度将赔偿范围定在学校管理下发生的事故或灾害。

简介：在当前高校教材繁荣和多样化的时代,对国内外普通高校教材评价机制的现状进行调查和比较,探讨高校教材评价理论、机制、方法和指标体系,寻求社会中立机构参与高校教材评价的可行性,促进高校建立科学合理的教材评价和选用的制度,提高教材质量和高质量教材的选用率。

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

简介：文化发挥道德教育功能的方式主要有“粗放模式”和“集约模式”。“集约模式”是指将文化环境作为一个可控的对象，各种文化因素按照既定的原则和目标运行。但如果过度追求道德教育的文化机制的“计划性”、“控制性”，就有可能产生各种消极后果。“粗放模式”是指文化环境被认为是一个自组织系统，人们放弃干预文化环境发展目标与方式的权力，文化环境没有统一的、既定的道德目标。

简介：介绍欧盟教育合作发展历史和欧盟教育合作机制的基本情况。

简介：本文首先介绍了关于人脑智能机制的研究进展，既已经取得的共识。接着主要地介绍了关于智能机制存在的争论，即模块论和分布式论的论战。最后谈了这个争论可能的发展前景，即两种理论在更高的层次上的统一，如同在物理学上关于一切的理论所将实现的那样。

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

简介：早期的Linux内核是不可抢占的，在Linux对SMP多处理器系统支持的基础上，linux内核2．6版支持内核抢占。本文以Linux2．6．11版本内核为基础，深入地分析了Linux可抢占内核的实现原理。

简介：