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

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

简介：随着城市化迅速发展，城市人口将迅速增加，城市工业化不断提高，城市数量不断增加，城市经济发展和城市生态环境之间的矛盾日益复杂尖锐，从而使解决城市经济发展和城市生态环境保护的问题提到了世界各国的议事日程。城市作为一个规模庞大、关系复杂的动态系统，由社会、经济、自然子系统复合而成，具有开放性、依赖性、脆弱性等特点，极易受到环境条件变动的干扰。笔者就贵州省贵阳市如何有效地解决因资金不足而制约城市生态绿化建设的矛盾，探索一条生态补偿的可行之路，提出政策建议。

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

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

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

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

简介：以氯化苄和乙酸钠为原料,用相转移催化技术生产乙酸苄酯香料,确定了最佳工艺条件,提出了过剩反应物料循环利用方案,结果表明,转化率为100％,产品收率90％～95％。过程简单,副反应很少,是乙酸苄酯生产的一条优质、高产的清洁工艺。

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

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

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

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

简介：以内桂酸和正丙醇为原料，用钼镍粉催化剂催化合成肉桂酸正丙酯。经实验确定了最佳条件：n（n-正丙醇）／n（肉桂酸）=1．5，催化剂用量为反应物总质量的4％，反应时间为4h,反应温度85～95℃，肉桂酸正丙酯收率80％以上，催化剂可重复使用，催化活性变化不大。

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

简介：清洁能源合作是东北亚气候变化治理的重要组成部分,但在东北亚气候变化治理中清洁能源合作存在障碍。推动东北亚气候变化治理的法律路径包括:通过多边协议框架架构相关法律原则和规则;合作初期应以政府主导为主;各国通过完善相关国内法和行业规则明晰整体规划;允许特定范围内的技术强制许可,等等。

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

简介：在中国现行的财政分权体制下,地方政府提供公共品的结构产生扭曲,从两个方面对城乡收入差距产生强化作用。一是大量供给旨在发展地方经济和增加地方税收的经济性公共品对非经济性公共品的＂扭曲＂,通过市场传导间接加剧了城乡收入差距;二是公共品供给中城市对农村的＂扭曲＂直接拉大城乡收入差距。利用1994-2012年省级面板数据实证研究的经验证据表明,公共品供给的扭曲确实会在一定程度上加剧城乡收入差距。

简介：本文通过将出生率和死亡率纳入内生技术变迁模型,研究在人口规模保持不变时人口老龄化对技术进步的影响。理论模型表明,以出生率和死亡率下降为特征的人口老龄化将引发技术进步效应。本文基于中国2000-2014年省际动态面板数据,使用系统广义矩估计方法对人口老龄化与技术进步的关系进行实证检验,结果表明,人口老龄化对技术进步具有明显的正向促进作用,与理论模型一致。在考虑了反向因果、遗漏变量、非参数估计等稳健性检验后,基本结论依然成立。进一步分析不同时间阶段人口老龄化与技术进步的关系后发现,人口老龄化的技术进步效应呈现由弱到强的动态变化趋势。

简介：知识吸收能力对服务型企业的服务创新绩效有着重要的影响.本文选择企业竞争优势和客户满意度作为衡量企业服务创新绩效的重要指标,从理论上分析了知识吸收能力对企业竞争优势和客户满意度的影响,并以服务外包企业为例,运用结构方程模型进行了实证研究.研究结果表明：知识吸收能力的提高有利于增强服务外包企业的竞争优势和提升客户满意度,进而提高企业的服务创新绩效.

简介：充分利用清洁发展机制（CDM）所带来的资金和技术，发展小水电等可再生能源的小型捆绑CDM项目对于提高省农村地区的能源服务质量，增加就业，促进节能减排工作等方面具有重要意义。从分析2007年前后贵州省小水电CDM项目的开发状况入手，介绍了几年来在黔东南自治州开展小水电捆绑CDM项目案例开发的过程和经验，并提出了相关对策建议。