验证与确认相关论文
工业CFD （computational fluid dynamics）软件属于计算机辅助工程（computer-aidedengineering, CAE）软件的一种,在航空航天等领域有着......
核电厂数字化分布式控制系统（DCS）软件组态逻辑功能在工厂测试与现场调试阶段存在重复验证、设计变更频繁等问题。对核电典型系统逻......
针对方家山核电厂反应堆保护系统（RPS）运行检修和定期试验时存在的误启动柴油机等缺陷,进行了问题原因分析;结合核电厂经验反馈提出......
真实复杂环境下，气动数值模拟（CFD）结果的可信度问题一直是工程上关注的焦点问题之一。不确定度量化是评估真实环境下，数值模拟结果的......
对于钠冷快堆（SFR）,可采用液体悬浮式非能动停堆机构组件（Hydraulic Suspended Passive Shutdown Subassembly,HSPSS）,作为冗余的非能......
钠冷快堆作为第四代核反应堆先进堆型,由于在核燃料增殖、固有安全性等方面具有突出优势,受到世界各国广泛重视。针对快堆堆芯及系......
在对国内外关于药品工艺验证有关法规指南分析的基础上,明确了工艺验证的基本原则与要求.通过对近几年国内外药品检查中发现的药品......
爆炸现象是人类生活中难以避免的灾害之一,给人们生命安全和财产安全造成重大威胁。随着科学技术的发展,人们越来越多地使用数值计......
计算机设备和信息处理技术正迅速进入仪表和过程控制工程之中，由于其方便的操作 和其他诸多优点，更多用户乐于去使用它们。在起初用......
针对GJB 5000A-2008验证与确认工作域对航空装备FPGA产品规定不具体的现状,凝练总结了航空装备FPGA软件特点,结合GJB 5000A-2008验......
全范围模拟机在用于培养核电厂执照人员以外,其在核电厂主控室设计的验证与确认(V&V)方面也有非常重要的应用价值.本文结合国家标......
【摘要】数字化控制系统作为核电站的中枢神经系统对整个核电站的安全运行起着不可代替的作用。在软件的整个生命周期中，验证和确认......
地空导弹制导控制系统仿真,贯穿制导控制系统研制的全部过程.仿真软件的设计、验证和确认关系到仿真的合理性、正确性和高效性.主......
为了对钠冷快堆系统分析程序FASYS用于模拟失流事故的正确性与准确性进行测试,本文运用V&V(verification and validation)策略进行......
系统的静态模型通常由UML类图和OCL约束两部分构成。OCL约束可以转化为相应的程序代码，为此需要对模型及约束进行验证与确认。本文......
对于结构简单、功能单一的安全级数字化仪控设备中所包含的商品级软件,特别是已经完成设计开发的软件,要求软件设计方按照相关标准......
和睦系统是我国首个具有完全自主知识产权的核级数字化仪控系统(DCS)平台。阳江5号机组是我国首台真正实现DCS设备100%自主化、国......
城市轨道交通迅猛发展,对计算机联锁技术的安全性和可靠性提出了更高的要求。开发出符合欧洲铁路信号标准EN5012X系列的计算机联锁......
软件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......
校核、验证与确认(VV&A)是保证导弹武器仿真系统正确性和可用性的关键技术。为提高VV&A活动的效率,给工程技术人员提供参考,系统地......
采用与同类商业软件比对的方法，在THz折叠波导行波管算例中对自编NEPTUNE3D程序的有限电导率模块进行有效验证和确认，包括冷腔损耗与......
可靠性一直是自动化设备最重要的指标之一。在科学技术高速发展的今天,自动化设备也从一个由硬件构成的产品发展为由硬件、软件和......
通过软件测试的验证（Verification）与确认（Validation）,提升软件质量,是软件工程中常用的重要方法.为了让测试管理落实在软件开发过程......
随着面向对象建模与仿真技术在仿真领域的运用越来越广泛,如何确保面向对象仿真可信度,这个问题越来越突出。基于面向对象建模与仿......
计算流体力学(computational fluid dynamics, CFD)数值模拟在航空航天等领域发挥越来越重要的作用,然而CFD数值模拟结果的可信度......
该文回顾了国内外仿真VV＆A研究的历史和进展情况．介绍了VV＆A的相关概念、基本原则：又介绍了W＆A研究的过程与方法：最后指出国内仿真VV＆A存......
首先介绍了功能安全相关产品软件实现中软件验证与确认的狭义概念。然后基于标准IEC 61508-3:2010(GB/T 20438.3-2013),对软件安全......
联邦概念模型(FCM)是联邦设计和开发的基础,对联邦概念模型进行VV&A有助于提高模型可重用性和互操作性。由于FCM中定性描述多于定......
COCO软件是中国广核集团自主研发的三维堆芯核设计软件,在投入工程应用之前,需对软件进行验证与确认。借助已有的国际基准题,对软......
VSOP程序广泛用于球床式高温气冷堆的工程设计,需对VSOP程序进行验证与确认。针对相同的高温气冷堆堆芯定义,比较了VSOP程序和蒙特......
数字化仪表和控制系统已在核电厂安全系统领域内得到应用,网络通信功能是数字化仪控设备必不可少的。如何设计接口卡使得同时满足......
系统、科学、严格的验证与确认是计算流体力学软件可信度评价和保证的必经途径。验证与确认系统是在软件的全生命周期,包括开发、......
针对SSG/LRR-ω雷诺应力模型,选取NASA湍流资源网站上的四个典型算例,即湍流平板边界层流动、带凸起管道流动、翼型尾迹区流动和NA......
V&V(Verification and Validation),即模型验证与确认,是一种量化复杂数值模拟结果置信度的系统方法.大规模的数值模拟往往不能确......
针对电磁模型验证与确认的量化分析方法进行研究.采用非嵌入式多项式混沌方法研究电磁模型仿真输入参数不确定引起的相关输出响应......
使用自行发展的MFlow求解器对第六届AIAA阻力预测会议的翼身组合体外形进行了数值模拟研究。在文章中着重对比了线性涡黏模型和考......
本文讨论了核安全级软件验证与确认的方法论。详细描述了在数字化核安全级仪控系统研发过程中V&V活动的具体实施过程,此外还介绍了......
船舶CFD技术已越来越显示其＂数值水池＂的巨大潜力和广阔前景;CFD的不确定度分析也就成为＂数值水池＂实用化的技术瓶颈之一。以＂量值溯源＂......
系统瞬态分析程序是用于示范快堆设计的工具软件之一,由中国原子能科学研究院自主开发,中子学模块是此程序中用于计算反应堆功率的......
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......
比拟测量不确定度，视CFD模拟结果为随机变量，阐述了CFD模拟不确定度的定义、来源、分类和表示形式。基于正交试验设计和方差分析方法......
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......
为了确保复杂大系统仿真（LCS）的可信性，应该在建模与仿真（M＆S）的全生命周期中开展校核、验证与确认（VV＆A）研究。对LCSS的、VV＆A进行了理论研......
本文研究CFD的准确度和不确定度问题，希望给出一种说法，以此说明CFD的可用性、面临的现状和问题，并进一步研究提高CFD准确度的措施。......
