数据的VV&C研究

数据的可信性是建模与仿真领域中一个重要的问题。该文首先介绍了数据校核、验证与证明 (VV&C)的基本概念。然后确定了数据VV&C评估的主要策略 :过程模型以及支持数据质量的元数据模板等几方面内容。接着对数据的VV&C和建模与仿真的VV&A的关系作了简要比较。最后举出了一个综合环境评估和检查工具的例子。

计算流体力学中的验证与确认

计算流体力学(CFD)在航空航天等诸多领域的应用越来越广泛．特别是近年来,CFD在实际飞行器的设计中扮演着越来越重要的角色,许多设计参数直接来源于CFD的计算结果．由此,飞行器设计师对CFD提供结果的可信度提出了更高的要求．验证(verification)与确认(validation)是评价数值解精度和可信度的主要手段．本文综述了国内外开展CFD验证与确认研究的进展．在引言中论述了开展CFD验证与确认的重要性和必要性,简述了国内外CFD验证与确认研究的历史和发展现状．第2节中讨论了CFD验证与确认的一些基本概念,以及这些概念定义的形成过程,并指出了进行CFD验证与确认的基本步骤．第3节和第4节分别讨论了CFD验证与确认的方法,如CFD验证中的精确解比较方法,制造解比较方法,网格收敛性研究;CFD确认中的层次结构,流动分类法,确认实验指南．在第5节中我们列举了几个CFD验证与确认的应用实例．最后,对我国开展CFD验证与确认研究工作提出了若干建议,包括:(1)开展流动分类法研究,(2)推行软件质量工程方法,(3)开展规范精细的实验,建立国内的网络数据库．

爆轰模拟不确定度的量化方法

通过对数值模拟不确定度产生机制的理论分析以及对不确定度从考核区到应用区发展趋势的反演,展示数值模拟不确定度量化评估的关键技术.基于工程设计的现实需求和数值模拟中验证与确认的思想,提出数值模拟用于对爆轰系统进行科学预测时不确定度的评估框架,并结合实例对方法进行演示和验证.

基于SM2算法的数字证书解析及有效性验证

我国正逐步推广SM2密码算法数字证书在电子政务等方面的应用,该类证书的解析和验证工具还不很完善。以"基于SM2密码算法的数字证书格式规范"为依据,采用与以Asn1View工具打开的公钥和签名数据进行对比的方法,研究验证SM2数字证书格式的规范性及其解析数据的正确性;又从公钥有效性、私钥随机性、证书有效期、证书关系、证书吊销列表(CRL)五个方面研究验证数字证书的有效性。

可靠性数值模拟的不确定度量化

根据可靠性认证对不确定度量化的技术要求,结合复杂工程系统的层级结构和数值模拟从校准、验证与确认到最终具有预测能力的历程,对可靠性数值模拟不确定度量化的要求和方法进行探索,并结合爆轰算例对这些方法进行演示和验证.

联锁系统应用软件的验证

联锁系统应用软件是独立于系统安全平台进行站场联锁逻辑运算的一种具有特殊用途的通用软件。主要介绍了联锁系统应用软件的开发生命周期,并在对比EN50128:2011和EN50128:2001的基础上明确了联锁系统应用软件验证工作的一般要求,详细阐述了依据EN50128:2011标准对联锁系统应用软件及其开发进行SIL4等级安全认证过程中的各项验证活动。总结出一套适合铁路信号安全相关软件的通用开发验证模式,为以后其他安全相关软件的验证活动提供宝贵的技术积累和经验。

核电厂功能安全措施完整性标准与第3方验证——1.切尔诺贝利核堆爆炸事故后果的21年之争

针对切尔诺贝利核事故,1986苏联公报归罪于"违规操作",而1996乌克兰报告则突出"设计问题",争论反映了甲方乙方的利害冲突。2006国务院核安全局长再评的要点是:"安全第一,消除恐核心理"。本文根据IEC61508-1998与GB/T20438-2006《电气、电子、可编程控电子系统安全措施》的哲学来说明"安全第一,消除恐核心理",指出常规仪器与控制(I&C)标准(GB系列)及其测试(Testing)对核电虽非充分,却是必要,而第3方的测试-验证-合格-许可程序及测试平台建设是避免事故与冲突的基本法规。

LTE终端国际测试标准开发和认证规划

总结了LTE移动终端国际测试标准开发和认证规划的发展情况和过程,并精炼出普遍适用于任意无线接入移动终端的认证测试开展的模式。综合LTE目前FDD和TDD的发展形势,提出了开展TD-LTE终端认证测试面临的问题。

数据中心建设质量的确认方法

数据中心作为一项综合技术工程,对其在建设阶段进行质量确认是不可或缺的工作。本文根据数据中心的建设特性,对涉及数据中心的质量特性、建设标准、风险因素、质量指标、风险管控进行梳理和概述。对目前数据中心产业内的几种建设质量确认方法——评审、评估、检验、验证、认证进行概要介绍,并讨论其各自的特点与适用的场景。为了满足建设目标的要求,认为对数据中心的建设质量需要进行全过程、各阶段的关注与确认。