摘要：地空导弹制导控制系统仿真,贯穿制导控制系统研制的全部过程。仿真软件的设计、验证和确认关系到仿真的合理性、正确性和高效性。主要从工程应用角度出发,采用模块化软件设计思想,选择Fortran和Matlab?Simulink仿真工具混合编程,简化数学模型、统一计算步长,初步完成仿真软件的设计。在此基础上,核查全套程序,初步判断计算结果的正确性,然后进行手工复算、功能检查来验证(Verification)模型,最后分别通过仿真结果与实际飞行试验结果相比较的主观方法和Their不等式系数法(TIC法)、秩和检验法的静态一致性检验以及功率谱估计法的动态一致性检验的统计检验方法来确认(Validation)模型,从而较好地解决了仿真软件的设计、验证和确认问题。

摘要：TORCH V2.0是由中国核动力研究设计院自主研发的压水堆堆芯核设计软件包,该软件包基于确定论两步法计算策略进行堆芯中子学计算,即组件均匀化计算和堆芯少群计算的模式。本文采用包括大亚湾、岭澳、方家山、秦山、海南昌江、福清等核电厂部分循环启动物理试验数据及核电厂运行数据对TORCH V2.0软件包进行验证与确认研究,对比的主要参数包括启动物理试验中的临界硼浓度、控制棒积分价值、硼微分价值及等温温度系数和核电厂运行过程中的临界硼浓度、组件径向功率、热点因子及焓升因子。数值结果表明:针对主流的方形栅格压水堆核电厂,TORCH V2.0软件包具有可靠的压水堆堆芯计算能力;对于启动物理试验和电厂运行过程中的主要参数,TORCH V2.0软件包具有较高计算精度,符合堆芯核设计验收准则。

摘要：KYLIN V2.0是中国核动力研究设计院自主研发的先进中子学组件程序,程序分别采用子群共振方法、特征线方法、切比雪夫有理近似方法进行共振、输运、燃耗计算,从而提供多群截面库。本文采用B&W临界实验基准题对于KYLIN V2.0程序进行验证确认,包括了B&W1484临界基准题21个算例、B&W1810临界基准题23个算例等。计算结果表明,KYLIN V2.0程序计算结果与测量数据吻合较好,验证了KYLIN V2.0程序具有较好计算精度与非均匀计算能力。

摘要：COCO软件是中国广核集团自主研发的三维堆芯核设计软件,在投入工程应用之前,需对软件进行验证与确认。借助已有的国际基准题,对软件的各模块进行验证,保证模型的正确性。借助中国广核集团岭澳、宁德、红沿河等基地大量的运行数据,并耦合上游组件截面计算软件PINE和下游通量图处理软件MAPLE进行计算分析。验证与确认结果表明,COCO软件具有良好的计算精度。

摘要：核动力厂保护系统实现数字化必须解决的一项关键技术是如何完成安全软件的验证与确认(V&V),以证明和确认执行安全功能的软件自身的安全性和可靠性。软件单元测试是V&V过程中的重要环节,主要目的是验证和确认软件代码开发过程中,软件的设计转变为软件代码是适当、正确和完整的。本工作初步研究了安全软件的单元模块测试技术,着重讨论如何保证测试的完整性、建立测试环境、建立测试用例及实施单元模块测试等方面,并以某数字化保护系统安全软件单元模块测试实例说明单元模块测试的具体过程。

摘要：NECP-SARAX是西安交通大学核工程计算物理实验室自主开发的先进反应堆中子学分析计算系统。在此基础上,西安交通大学针对液态金属冷却快堆的堆芯物理工程设计与安全审评,定制开发了LoongSARAX。为了实现LoongSARAX的工程应用,规范性、系统性的验证与确认是该过程的重要一环。为此,本文针对LoongSARAX验证与确认研究,在搜集整理国际上关于液态金属冷却快堆物理计算基准题的基础上,建立了其验证与确认矩阵,并将程序分成不同模块,分别进行了模块验证、子系统验证和系统确认,范围涵盖冷却剂为钠和铅的快堆,如JOYO、ZPPR17A等。程序验证与确认表明LoongSARAX程序对于液态金属冷却快堆具有较高的计算精度,同时针对中国实验快堆(CEFR)开展了不确定度量化研究。结果表明,在99%置信度下,有效增殖因数计算结果的不确定度有90%的概率落在[-389 pcm,300 pcm]以内。

摘要：计算流体力学(computational fluid dynamics, CFD)数值模拟在航空航天等领域发挥越来越重要的作用,然而CFD数值模拟结果的可信度仍然需要通过不断地验证与确认来提高.本文给出了从制造解精度测试、简单到复杂外形湍流模拟网格收敛性研究等三个方面开展CFD软件验证与确认的方法,并对自主研发的CFD软件平台HyperFLOW在非结构网格上模拟亚跨声速湍流问题的能力进行了验证与确认.首先通过基于Euler方程和标量扩散方程的制造解精度测试,分别验证了HyperFLOW在非结构网格上对Euler方程和黏性项的求解精度,结果表明其能够在任意非结构网格上达到设计的二阶精度.其次,通过NASA Turbulence Modeling Resource中的湍流平板、二维翼型近尾迹流动、二维Bump等几个典型的亚声速湍流算例的网格收敛性研究,量化考察了数值结果的观测精度阶和网格收敛性指数,并与国外知名CFD解算器CFL3D,FUN3D的计算结果进行了对比,验证了HyperFLOW对简单湍流问题的模拟能力,且具有良好的网格收敛性和计算精度(阶).最后,通过NASA Common Research Model标模定升力系数的网格收敛性研究和升阻极曲线预测,验证了软件在复杂外形亚跨声速湍流流动数值模拟中也具有良好的可信度.

摘要：针对大型计算流体力学(CFD)软件的验证与确认,为了减少人工成本,提高软件质量和开发效率,并适应于未来高性能计算发展的要求,基于云计算思想,提出了自动化测试云平台的解决方案。该方案采用模块化的浏览器/服务器(B/S)网络架构;利用LAMP(Linux+Apache+MySQL+PHP/Python)开发工具;建立了持续集成的专业数据库;构建了涵盖可靠集群监控、复杂作业调度及大规模并行计算功能的云端环境;实现了通过便捷的网络访问,自动加载测试算例、提交集群计算、监测实时进度、自动化后处理、输出分析结果,并提供丰富的实验对比图、误差分析报表和汇总报告等;完成了对大型CFD软件的自动化验证与确认。将该方案应用于某大规模并行计算的CFD软件,验证了该解决方案的可行性与实用性。

摘要：风电机组尾流效应对风电场的设计和运行有重要影响。基于CFD模拟的致动线模型可以利用翼型的气动特性数据,对尾流的模拟比半经验尾流模型更符合物理规律。但CFD模拟采用的网格与湍流模型等对致动线模型效果具有明显影响,因此,需要验证致动线模型的可信度。采用OpenFoam求解器求解RANS方程,添加了致动线模型,对单台NREL 5 MW风电机组尾流场进行数值模拟,分析了k-ε模型中的5个模型常数对模拟结果的影响,给出了提升致动线模型模拟效果的参数组合。研究了致动线模型中高斯分布长度因子、致动点数量以及网格尺寸对致动线模拟结果的影响,确认了相关设置的合理范围。本文的研究为提高风电机组尾流致动线模型的精度提供了一定的参考标准。

摘要：介绍了故障预测与健康管理验证与确认的研究动机,说明了该方法在整个系统设计中的地位;将验证和确认方法分为三大支撑技术:验证方法与性能评估、原型验证系统和不确定性管理,综述了这三种支撑技术的现有方法,分析比较了各方法的区别和联系,指出了具体的实现途径;点明了故障预测与健康管理系统验证与确认方法要关注的问题,明确了未来的发展趋势。