智能电网调度控制系统试验验证技术

作为智能电网的重要组成部分,智能电网调度控制系统的可靠、稳定和高效运行在保障电网安全和国民经济社会生活方面具有重要意义。试验验证作为提升系统软件质量的主要方式,日益受到关注和认可。文中在分析了智能电网调度控制系统主要特征的基础上,结合软件测试技术、面向对象技术、系统仿真技术等试验验证技术,提出了智能电网调度控制系统试验验证体系,构建了智能电网调度控制系统综合试验验证平台,并结合试验验证平台提出了源代码验证、功能验证、性能验证、稳定性验证、兼容性验证和安全性验证等试验验证的技术和方法,重点介绍了源代码验证技术、电网控制类软件闭环验证技术和雪崩验证技术及应用。     

数字信号处理器的模型验证

本文主要描述了对一款数字信号处理器的模型基于仿真验证的验证方法,对数字信号处理器的SystemC模型和RTL级的模型进行了验证。着重分析了如何在验证过程中提高覆盖率,提高验证的完备性。针对该处理器的结构特点,采用多种方式产生验证程序来验证模型的正确性,包括编写手工编写验证程序,替换验证,组合验证,高级语言转汇编的验证和伪随机验证,并对数字信号处理器的代码覆盖率进行了统计。验证后该数字信号处理器的模型能够与参考模型保持一致。     

仿真验证工具研究

针对复杂仿真系统的验证问题,从基于知识的角度提出了仿真验证工具的总体结构,对验证数据知识库、验证方法知识库、验证规则库和推理系统等关键组件进行了设计,并开发了仿真验证工具.该工具已应用于多个复杂仿真系统的验证,在很大程度上提高了验证的客观性和效率.     

高参数超超临界汽轮机关键部件用材性能验证平台研究

将高温参数超超临界汽轮机关键部件用材的性能验证分为4个阶段:试验室验证阶段、模拟工况条件验证阶段、部分工况条件实际运行验证阶段、完整工况条件实际运行验证阶段,并综述了国内外汽轮机关键部件用材性能验证现状,对高参数汽轮机关键部件用材性能验证建设给出了建议。     

基于断言的SoC设计验证方法

本文针对SoC设计方法学中如何有效、充分的功能验证问题,首先介绍了基于断言的验证方法学的定义及其所带来的好处,然后以一种断言验证语言--OVA作为具体的应用实例,通过仿真说明了断言验证是SoC设计功能验证的一种有效的方法,能够有效地提高验证效率.     

新国标GB 7251.1—2013低压成套开关设备和控制设备的温升试验方法解读

低压成套开关设备新国标中温升验证试验内容是最大的变动之处。新国标对温升试验规定了验证试验、验证比较、验证评估3种试验方法,并分别对这3种温升验证方法进行了阐述,在具体实际验证中采用何种试验方法由制造商选择及决定。     

运输类飞机运行符合性验证规划方法研究

针对民航当局对运输类飞机运行符合性的评审要求,结合型号研制里程碑节点和飞机设计、制造、试验的不同状态,确定了不同阶段的运行符合性验证工作内容,提出了将运行符合性验证与型号合格审定进行协同规划的方法,提出了与研制、审定过程协调一致的运行符合性验证计划编制方法,构建了基于验证项目、验证资源、验证成本、验证时间等多参数的运行...     

基于VMM的可重用FPGA验证平台

针对FPGA设计中如何高效、充分验证功能的问题,本文介绍了集众多优势一体的VMM验证方法,并通过GFP封装与解封装项目的具体应用,讲解了平台的搭建,并重点分析了其重用性策略。验证结果表明,这种验证方法采用层次化的平台结构,具有随机约束、覆盖率驱动、自动化、可重用性和可维护性等优点,能最大限度的提高验证效率和覆盖率,有效的减少验证工作量和缩短验证时间。     

专家问答——能力验证答疑（一）

司：能力验证统计分析主要涉及哪些内容？答：能力验证统计分析主要涉及两块内容：1．能力验证结果的统计处理和能力评价方法；2．能力验证物品的均匀性和稳定性评价方法。     

关于举办2019年电气领域能力验证与检测技术交流大会的通知

<正>各相关机构:能力验证是检测和校准实验室结果有效性保证的重要手段。在实验室质量管理、实验室认可等活动中能力验证起着越来越重要的作用。考虑到电气检测领域相关实验室对能力验证的需求和对检测技术探讨的期望,在中国合格评定国家认可委员会(CNAS)指导下特举办第三届电气领域能力验证和检测技术交流大会。第三届电气领域能力验证与检测技术交流大会定于2019年11月6日～8日在苏州召开,本届交流大会以"提升能力验证技术,保障检验检测质量"为主题,将就能力验证政策和发展趋势、能力验证技术以及检测技术进行     

工业ESD模拟设备波形校准及校准实例

本文阐述了如何根据业界相应的标准对ESD模拟装置进行波形校准,先给出了工业进行ESD测试的背景,然后简要介绍了一种较为常见的ESD静放电形式——HBM(人体放电模式)——产生以及其在工业中进行波形校准的基本原理和所需设备,并对如何正确架设调整校准设备,如何进行有关静放电模拟器和测量板的校准程序进行了探讨,最后以HBM 1 kV短路波形校准为实例进行了更进一步的说明.结果表明通过架设校准电路以及设定正确的波形校准程序,同时以业界的明确的标准为规范,相关技术人员就可以对ESD模拟设备产生的静放电波形进行校准.     

一种远程检定系统的研制

提出一种基于因特网的远程检定方案,并利用虚拟仪器开发工具语言LabVIEW具体构建了一个以标准源远程检定数字多用表的系统。该系统在实现自动检定的基础上,允许客户远程监控检定过程并实时查看检定结果;并针对新需求,增加了计算检定数据测量不确定度的功能。     

计量用低压电流互感器自动化检定线的检定质量监控

质量监控是检定(校准)实验室保证其检定(校准)的数据和结果准确可靠所采取的作业技术和活动。自动化检定流水线已广泛应用于省级电力计量中心的检定生产中,与传统人工检定台体相比,计量用低压电流互感器自动化检定线因二次端子接触不良等原因导致的检定质量风险更大,需要对其进行有效的检定质量监控。根据质量监控的一般方法,结合自动化检定线的特点,提出了基于检定误差限值倍数的监控判据和方法,并对其进行了实验验证,确保检定设备的可控、在控,检定结果的准确、可靠。     

VLIW处理器系统级验证平台的设计与实现

本文提出了一种新的VLIW处理器验证平台的实现方法。采用寄存器跟踪技术,建立了一个与RTL模型一致的抽象功能验证模型,基于VXI总线测试技术,实现了高度集成化的系统芯片验证平台,弥补了单一验证技术的不足,设计期功能仿真满足测试覆盖率的要求,并与板级功能测试仿真保持一致,充分证明了方法的有效性。     

数字式万用表全自动检定装置的研制和应用

针对传统万用表检定工作人工检定模式存在的工作效率低、测量数据易人为干预和安全隐患等状态,研究和设计了一种基于图像识别和档位智能切换技术的数字式万用表全自动检定装置,并在实际计量检定工作中进行应用,极大地提高了检定工作效率和计量工作的标准化、智能化程度。     

形式化校验技术在智能配电网自愈中的应用

智能配电网自愈需要大量广域分布式控制系统,形式化校验技术可以在这些系统的控制逻辑与协议验证中发挥重要作用。文中介绍了形式化校验技术的原理,分析了形式化校验技术在实现配电网自愈中的故障预警、故障诊断以及核心算法与协议的模型认证中的作用,并以智能分布式馈线自动化算法的形式化校验为例,详细分析了使用形式化校验技术对配电网自愈核心算法进行验证的过程。     

基于整定逆过程的保护定值在线校核原则

针对现有基于保护范围校核计算方法的不足,对比分析了保护整定与校核的区别和联系,得出校核是整定逆过程的结论.在此基础上,结合整定计算思路,提出了基于整定逆过程的保护定值在线校核思想,并以距离保护为例,给出了普遍适用的校核计算原则及公式,并对其中的特殊问题进行了相应的处理.该方法与整定计算风格形式一致,易于用户迅速从整定计算过渡到校核计算.工程算例验证了该方法的正确性和可行性.     

计量标准设备的期间核查方法探讨

对计量标准设备进行期间核查是确保实验室检定、校准可信度的重要手段之一,也是实验室质量控制的重要途径.介绍和讨论了计量标准设备期间核查的目的、对象和方法,重点介绍了期间核查的4种方法及其判据.指出在检定周期内至少要对计量标准设备进行一次核查.     

智能电能表检定装置集中控制系统的研究与应用

针对智能电能表传统的分散式检定模式存在检定质量参差不齐、检定效率低等问题,利用网络和自动控制技术开发了智能电能表检定装置集中控制系统并应用于计量中心智能电能表检定工作中。应用结果表明：电能表检定装置集中控制系统实现了操控一体化、标准化、规范化,达到了保证检定质量、提高检定效率的目的。