验证与确认相关论文
工业CFD (computational fluid dynamics)软件属于计算机辅助工程(computer-aidedengineering, CAE)软件的一种,在航空航天等领域有着......
核电厂数字化分布式控制系统(DCS)软件组态逻辑功能在工厂测试与现场调试阶段存在重复验证、设计变更频繁等问题。对核电典型系统逻......
针对方家山核电厂反应堆保护系统(RPS)运行检修和定期试验时存在的误启动柴油机等缺陷,进行了问题原因分析;结合核电厂经验反馈提出......
真实复杂环境下,气动数值模拟(CFD)结果的可信度问题一直是工程上关注的焦点问题之一。不确定度量化是评估真实环境下,数值模拟结果的......
对于钠冷快堆(SFR),可采用液体悬浮式非能动停堆机构组件(Hydraulic Suspended Passive Shutdown Subassembly,HSPSS),作为冗余的非能......
钠冷快堆作为第四代核反应堆先进堆型,由于在核燃料增殖、固有安全性等方面具有突出优势,受到世界各国广泛重视。针对快堆堆芯及系......
高精度、高效率和高可信属性是对数值风洞的共性和基础性技术需求.在“国家数值风洞”(NNW)工程支持下,瞄准为验证和确认分系统提......
随着高性能计算软硬件支撑环境日益复杂化,并行软件开发已成为大型科学工程计算(CSE)的主要瓶颈。本文介绍了高性能计算软件开发活动......
本文采用一致五阶精度WCNS-E5格式,对DPW-5翼身组合体外形进行了数值模拟及网格收敛性分析。湍流模型采用了两方程SST模型,并同样......
在对国内外关于药品工艺验证有关法规指南分析的基础上,明确了工艺验证的基本原则与要求.通过对近几年国内外药品检查中发现的药品......
危害会妨碍保护功能的执行,使核电厂处于不安全状态。软件验证中的危害分析能够探究和识别一般设计评审和测试中无法识别的潜在危......
随着核电技术的发展需要和核电出口需要,我国自主知识产权的核安全分析程序正在积极发展,并已有一定成效。因此,自主研发的安全分......
针对不同燃耗深度的燃耗计算问题开发了2条集总裂变产物燃耗链并研制了燃耗计算模块。该燃耗计算模块已集成在快堆稳态中子学计算......
提出了危害日志协作平台的具体功能。根据EN 50126-1&2中关于验证与确认的要求,说明了危害日志中验证与确认的作用。阐述了在危害......
核电厂安全级仪控设备的研发和验证与确认必然会引入工具,因而工具的可靠性和合理性会直接影响最终产品的可靠性。本文论述了核电......
提出并研发了三维高精度高性能大规模气体爆炸仿真软件,改进了高精度计算方法,解决了气体爆炸计算中保正性、复杂边界处理和多时间......
验证与确认已成为数值计算程序可靠性校验和评估的关键方法,对产生高质量数值模拟程序具有重要意义.本文介绍了验证与确认的基本概......
验证与确认(V&V)是复杂工程建模与模拟(M&S)可信度评估的重要手段,综述国内外V&V相关概念、术语、规范、可信度评估方法和应用......
本文讨论了核安全级软件验证与确认的方法论。详细描述了在数字化核安全级仪控系 统研发过程中V&V 活动的具体实施过程,此外还介绍......
计算机设备和信息处理技术正迅速进入仪表和过程控制工程之中,由于其方便的操作 和其他诸多优点,更多用户乐于去使用它们。在起初用......
在长期从事大型科学计算程序设计和应用程序研制的基础上,结合调研科学计算程序的验证与确认文献,讨论和提出了科学计算程序的验证与......
建模与仿真开始于对所研究问题的明确定义与清晰描述,准确完整的需求定义是确定M&S校核、验证与确认评估标准的依据。本文介绍了需......
本文提出了网络科技信息的可信度和适用性这一问题,探讨了如何运用校核、验证与确认来评定网络科技信息产品的可信度和适用性,并概......
针对GJB 5000A-2008验证与确认工作域对航空装备FPGA产品规定不具体的现状,凝练总结了航空装备FPGA软件特点,结合GJB 5000A-2008验......
在着眼于箭弹模型的验证与确认技术的现状下,提出了模型的验证与确认软件包的技术实现方案,详细介绍了系统的框架和一些技术要点,并提......
介绍了加拿大重水铀反应堆CANDU的安全关键软件的验证与确认(V&V)技术,说明了CANDU核反应堆停堆系统的脱扣计算机及其设计方法,详......
随着自动化信息化设备的不断发展,数字化控制系统在核电领域所起到的作用也越来越大.在核电领域,全数字化仪控平台为电厂的非干预......
全范围模拟机在用于培养核电厂执照人员以外,其在核电厂主控室设计的验证与确认(V&V)方面也有非常重要的应用价值.本文结合国家标......
【摘要】数字化控制系统作为核电站的中枢神经系统对整个核电站的安全运行起着不可代替的作用。在软件的整个生命周期中,验证和确认......
地空导弹制导控制系统仿真,贯穿制导控制系统研制的全部过程.仿真软件的设计、验证和确认关系到仿真的合理性、正确性和高效性.主......
为了对钠冷快堆系统分析程序FASYS用于模拟失流事故的正确性与准确性进行测试,本文运用V&V(verification and validation)策略进行......
系统的静态模型通常由UML类图和OCL约束两部分构成。OCL约束可以转化为相应的程序代码,为此需要对模型及约束进行验证与确认。本文......
IEC 60880和IEEE 1012是核电厂数字化仪表和控制(I&C)系统软件验证与确认(V&V)活动的主要参考标准,两者在软件V&V的具体要求方面不......
对于结构简单、功能单一的安全级数字化仪控设备中所包含的商品级软件,特别是已经完成设计开发的软件,要求软件设计方按照相关标准......
随着自动化信息化设备的不断发展,数字化控制系统在核电领域所起到的作用也越来越大。在核电领域,全数字化仪控平台为电厂的非干预......
和睦系统是我国首个具有完全自主知识产权的核级数字化仪控系统(DCS)平台。阳江5号机组是我国首台真正实现DCS设备100%自主化、国......
用于过程控制的数字化控制系统的应用逻辑,通常采用CAD图表或者回路示意图表示。其中,把CAD图表转换成逻辑方程的过程费时费力,且......
城市轨道交通迅猛发展,对计算机联锁技术的安全性和可靠性提出了更高的要求。开发出符合欧洲铁路信号标准EN5012X系列的计算机联锁......
核电厂安全级软件的安全性保证包括软件的安全开发技术和软件的验证与确认技术两个方面。按照核法规HAF要求,V&V是保证软件的安全......
软件V&V是核安全级软件开发过程中评估软件产品的一种系统性方法,与软件开发同步开展。通过软件V&V活动,辨识和解决异常,对软件开发......
摘要:核电厂DCS软件的验证与确认,对于对质量有着严格要求的核电工业而言是非常重要的。本文以福清核电厂1、2号机组DCS工程項目为背......
通过对数值模拟不确定度产生机制的理论分析以及对不确定度从考核区到应用区发展趋势的反演,展示数值模拟不确定度量化评估的关键......
M&S的可信性问题是M&S理论研究及工程应用的重要内容,VV&A和T&E都是为了提高和保证M&S的置信度,降低仿真系统在实际工程应用中由于......
近年来,针对实际飞行器外形的CFD气动性能预测及可信度研究逐步得到重视,国内也召开了第一届航空CFD可信度研讨会(AeCW-1)。本文首......
以25°/55°尖双锥外形的高超声速低焓层流流动模拟为例,对高阶加权紧致非线性格式模拟激波/边界层干扰流动的能力进行验......
NECP软件包是西安交通大学反应堆物理团队开发的确定论核反应堆物理计算程序系统,软件包包括自主化的NECP-Atlas、Bamboo、X和SARA......