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

简介：摘要:随着社会的发展，人们的生活跟电子产品的关系愈发密切，电路板（PCBA）是电子产品的重要组成部分，它与电子产品的功能实现息息相关。传统的电路板打样验证周期，一般需要两周至四周时间。缩短电路板打样验证周期，加速电子产品生产制造，对快速响应市场变化需求，满足人们在生活、生产方面的各种电子设备产品需求，快速推动社会发展，有着非常重要的意义。AiEMA作为全球第一个在线PCBA制造仿真验证平台，以亿万级元器件大数据和上千种PCBA组装工艺检查算法为基础，已实现电子产品的BOM物料智能选型、元器件与PCB自动3D矢量建模、PCB制造与SMT贴装DFM/DFA分析等功能，为电子产品设计和制造规避各种风险，提供最佳解决方案。AiEMA从电子产品设计到制造过程，帮助工程师规避产品的物料供应与生产制造风险，节省产品验证时间，提高产品可靠性，加速产品上市进程。

简介：【摘要】天塔机房的音频比对系统可以实现对天津9套调频广播节目播出前的信号备源与播出后解调的音频信号进行比对分析，及时发现播出中的异常，因此，对音频比对系统的功能进行定期验证是确保安全播出的前提。由于音频信号在传输、处理、调制和解调的过程中会引入各种干扰成分 ，音频比对系统验证平台通过在播出信号中混合不同比例的噪音信号来模拟播出中可能出现的各种情况，实现对信号错播、中断、叠音、噪音的异态报警。

简介：摘要：随着物联网技术的快速发展，物联管理平台在各个行业的应用越来越广泛。本文将探讨物联管理平台体系优化建设与验证的七个方面，以便更好地满足实际应用的需求。

简介：

简介：以通用双转台五轴数控平台为研究对象,分析了双转台五轴数控平台的X、Y、Z3个坐标轴的直线进给运动和A、C旋转轴的机械结构,坐标轴设置及五轴坐标变换关系,并推导出该类双转台五轴数控平台后置处理坐标转换计算公式和转角换算公式.通过编辑的五轴坐标变换程序得到的实验数据和仿真结果,表明双转台五轴数控平台运动坐标分析是正确的.

简介：摘要：随着人工智能应用在工业领域的深度下沉，轨道交通行业在智能应用、智能运维等领域，通过技术创新助力现车智能化运维，提升车辆自检测、自诊断智能化水平。为增强车载PHM模型可快速移植、可靠、高效部署应用能力，针对视频类数据，以图像识别模型为依托，通过搭建地面验证平台，完成软件系统、模型地面阶段的充分验证。

简介：摘要： 随着时代的发展，互联网逐渐进入人们的生活，改变了人们的生活方式， 4G 通讯技术也逐渐发展。本文对 4G 无线通信技术通用验证平台设计进行讨论，从其设计意义展开，提出了具体的解决措施，旨在丰富人们的生活，提升人们的生活水平，从而为关注这一话题的人们提供参考。

简介：摘要：随着电力系统的发展，输变电设备远程运维成为提高设备效率和可靠性的重要手段。本文基于输变电设备远程运维的需求，提出了一种标准研究与验证平台的建设方案。该平台结合了现有的远程监测技术、数据分析算法以及通信网络技术，能够实现对输变电设备的远程监测、故障诊断和预测维护等功能。通过对平台进行实验验证，证明了其在提高设备运维效率和可靠性方面的有效性。

简介：摘要目的基于上海先进质子放疗设备（SAPT）水平固定束，利用开源剂量计算引擎搭建质子放疗独立剂量计算平台并验证该平台的准确性。方法通过测量SAPT水平固定束的绝对积分深度剂量以及空气中束斑大小，并结合蒙特卡洛模拟得到水中束斑大小增量，笔形束参数与剂量计算引擎相结合，搭建了适用于该水平固定束的剂量计算平台。计算平台精确性的验证主要通过绝对剂量验证和相对剂量验证实现。绝对剂量验证主要是比较单个立方体计划射野中心轴线上不同深度计算值和实测值的点对点误差。相对剂量验证主要是比较计算值和实测值的横向一维及二维相对剂量分布。同时，对单高斯束斑模型和双高斯束斑模型的精确性进行比较。结果计算值和实测值的点对点绝对剂量偏差在2%以内。3个立方体在中心深度的二维平面相对剂量分布的计算值与实测值的20%~80%半影宽度及半高全宽的偏差分别在1、2 mm以内。3个立方体计划及2个临床病例在中心深度的二维平面相对剂量分布的实测值与计算值的二维γ通过率（3 mm/3%）均>95%。双高斯束斑模型在剂量梯度变化较大或者射程较大的计划中相较于单高斯束斑模型计算得更准确。结论独立剂量计算平台的精确度能满足临床要求，可利用此平台研究其他剂量相关的问题。

简介：传统车载激光惯导算法验证方式需要消耗大量的人力物力,而且算法性能的评估结果受各种外界因素影响较大,针对上述问题,提出基于实验室半物理仿真平台的激光惯导算法验证方法,并搭建了该仿真平台。研究表明,基于实验室半物理仿真平台的激光惯导算法验证方法相比传统算法验证方法具有快捷、简单、准确、客观等诸多优点。

简介：

简介：摘要控制算法是自动化控制系统的核心部分。在自动化控制系统当中，任何控制系统的分析、综合或设计时，首先应建立该系统的数学模型，确定其控制算法。控制算法好与坏，直接关系着系统的控制效果能否达到系统指标要求，验证控制算法的控制效果成为系统分析与设计中重要的步骤之一。本文基于AC800M的DCS实物实验系统，以及基于OPC通信技术结合MATLAB/Simulink软件构建了基于实物的算法实验验证平台，来验证所设计控制算法的控制效果。

简介：随着安全算法的发展，其复杂性和算法操作数据位数也随之迅速增加。安全算法的硬件实现和加速器化已成为必然趋势。本文针对北京华虹集成电路设计有限公司的安全算法加速器IP核的验证项目，介绍了Synopsys公司VMM验证平台和AMBAVIP在其中的应用。主要阐述了选择VMM验证平台与AMBAVIP的依据；VMM环境中定向测试发生器（Generator）模块的编写、测试案例编写、安全算法的设计、仿真信息筛选方面的应用技巧。通过本验证平台，查出了加速器很多处设计错误。仿真平台验证结束后，在FPGA上对本加速器进行了大量椭圆曲线的测试。所有测试全部通过，证明了本验证平台的有效性。

简介：在哥哥十四岁我九岁的那年,是我童年里最快乐的时光。哥哥那时为他自己和我各做了一付滑板车,每天我们脚踩着滑板车在巷子里快速滑行,惹得路人侧目而视。哥哥胆大而技熟,他可以在水泥道路上做一些花样滑冰动作。滑板车运动很快在我们那个街道风靡开来,二十来岁以下的男孩女孩每人都有一付。在某个日子里,巷子里会出现一长队滑板车手,穿着艳丽花衣服的女孩子混杂在一帮赤膊的男孩子里,其中还有两个男孩子剃着光葫芦头,很引人注目。他们打着唿哨,尖叫着,朝路人做着滑稽的鬼脸。我跟在哥哥的后面,虽然每天都要受到其他大孩子的推搡和斥责,骂我什么“小屁孩”,“鼻涕虫”,但我还是快乐的,因为象我

简介：摘要：提出了企业统一身份验证平台的一些安全风险，主要包括架构风险、技术风险、管理风险等几个方面，并通过对风险的分析，提出了一些概要的解决思路。

简介：“目前,中国社会的总体信任进一步下降,已经跌破60分的信任底线。”这是中国社会科学院社会学研究所发布的社会心态蓝皮书中的描述。当造假作假、坑蒙拐骗成为一种风气,甚至成为一种理所当然的时尚,每个人能做的就只剩两件事了,一个是只相信自己,另一个是绝不相信别人。没有信任,就没有社会秩序。

简介：【摘要】智慧教育，通俗的来讲，就是指教育信息化，教师在教学时利用信息技术传授学生知识，以此来提高教师教学的速率。在智慧教育视域下，云平台教育就此出现在了大众的眼前，这是一种新型的、新颖的网络教学平台。小学编程教学是小学信息技术教学中重要的讲解内容，在教学中的地位同样也是不容忽视的，因此，教师要积极利用云平台来开设小学编程教学，让小学生接受更加优质的编程教学内容。那么，如何有效利用云平台优化小学编程教学呢？教师可以采用优化云平台的教学目标、提升云平台的教学意义、加强云平台的教学成效等措施来有效优化小学编程教学，激发出学生“爱”上小学编程的情感。本文就智慧教育视域下利用云平台优化小学编程教学的有效性验证这一论述点展开论述。

简介：国家光伏质检中心实现“一测三证”；国内首个太阳能玻璃行业标准获得通过；欧瑞康太阳能获得非微晶堆叠（Micromorph）Master认证。

简介：摘要：目的：清洁验证中取样瓶选择的验证。方法：主要是通过TOC分析方法验证，判断以及评价选择的取样瓶是否科学、合理，是否能有效控制设备清洁后的残留物限度。结果：定量限及检测限，线性、精密度试验、系统适用性、准确度试验测试结果均能满足要求。结论：选择空白水平可控的取样用具，提高化学残留清洁验证中检验结果的准确性，更好地反应共线生产的交叉污染情况。