期刊文献+
共找到91篇文章
< 1 2 5 >
每页显示 20 50 100
运输机标模CHN-T1的验证确认计算研究 被引量:1
1
作者 章锦威 张小亮 +1 位作者 孙晓玲 戚淑妮 《空气动力学学报》 CSCD 北大核心 2019年第2期320-328,共9页
采用自研的非结构混合网格解算器CARIA-OVERSET对我国第一届航空CFD可信度研讨会提供的运输机标模CHN-T1进行了验证确认计算。重点研究了网格形式、网格尺度、湍流模型等对运输机标模CHN-T1的总体气动特性、局部流场特征、压力分布以及... 采用自研的非结构混合网格解算器CARIA-OVERSET对我国第一届航空CFD可信度研讨会提供的运输机标模CHN-T1进行了验证确认计算。重点研究了网格形式、网格尺度、湍流模型等对运输机标模CHN-T1的总体气动特性、局部流场特征、压力分布以及计算收敛性等的影响,并把计算结果与风洞试验数据进行比较分析。分析结果表明,非结构混合网格解算器的计算结果与风洞试验数据吻合度较好。在固定升力条件下,非结构网格的网格尺度误差大于结构网格,湍流模型对迎角和俯仰力矩的影响较大,翼身结合处的分离特性模拟差异较小。带支撑构型的全机升力和低头力矩增加、阻力减小,机翼静气弹变形后升力、阻力和低头力矩均减小。全湍和自由转捩模型的计算结果存在一定差异,差异随着雷诺数的增大而变小。 展开更多
关键词 运输机标模 数值模拟 验证确认 气动特性
在线阅读 下载PDF
液态金属冷却快堆堆芯物理分析软件LoongSARAX的验证与确认 被引量:1
2
作者 路瑶 杜夏楠 +5 位作者 李爱鑫 高杰豪 陈文杰 郑友琦 王永平 吴宏春 《原子能科学技术》 EI CAS CSCD 北大核心 2024年第3期549-562,共14页
NECP-SARAX是西安交通大学核工程计算物理实验室自主开发的先进反应堆中子学分析计算系统。在此基础上,西安交通大学针对液态金属冷却快堆的堆芯物理工程设计与安全审评,定制开发了LoongSARAX。为了实现LoongSARAX的工程应用,规范性、... NECP-SARAX是西安交通大学核工程计算物理实验室自主开发的先进反应堆中子学分析计算系统。在此基础上,西安交通大学针对液态金属冷却快堆的堆芯物理工程设计与安全审评,定制开发了LoongSARAX。为了实现LoongSARAX的工程应用,规范性、系统性的验证与确认是该过程的重要一环。为此,本文针对LoongSARAX验证与确认研究,在搜集整理国际上关于液态金属冷却快堆物理计算基准题的基础上,建立了其验证与确认矩阵,并将程序分成不同模块,分别进行了模块验证、子系统验证和系统确认,范围涵盖冷却剂为钠和铅的快堆,如JOYO、ZPPR17A等。程序验证与确认表明LoongSARAX程序对于液态金属冷却快堆具有较高的计算精度,同时针对中国实验快堆(CEFR)开展了不确定度量化研究。结果表明,在99%置信度下,有效增殖因数计算结果的不确定度有90%的概率落在[-389 pcm,300 pcm]以内。 展开更多
关键词 LoongSARAX 液态金属冷却快堆 堆芯物理分析 验证确认
在线阅读 下载PDF
基于启明星临界实验装置的小型铅堆确定论中子学计算方法研究及验证
3
作者 杨懿宸 郑友琦 +2 位作者 朱庆福 周琦 宁通 《原子能科学技术》 北大核心 2025年第3期644-655,共12页
小型铅堆是未来微小型反应堆发展的重要方向,相比传统大型快堆,其堆芯中子能谱分布更加复杂、堆芯几何特殊,给传统快堆确定论中子学分析方法带来挑战。本文针对小型铅堆特点,基于现有SARAX程序建立了新的确定论中子学计算方法和计算模型... 小型铅堆是未来微小型反应堆发展的重要方向,相比传统大型快堆,其堆芯中子能谱分布更加复杂、堆芯几何特殊,给传统快堆确定论中子学分析方法带来挑战。本文针对小型铅堆特点,基于现有SARAX程序建立了新的确定论中子学计算方法和计算模型,并以启明星Ⅱ号铅堆临界实验装置为对象,对不同均匀化截面生成、堆芯临界状态模拟以及特殊控制体截面生成模型进行了对比,利用启明星Ⅱ号的临界实验测量数据进行了新方法的验证与确认。计算结果表明,SARAX程序在小型铅堆中子学计算中可以产生高精度的均匀化截面,堆芯keff与实验值相比误差小于300 pcm,同时提出的控制体截面生成模型可将控制体价值相对误差降低到5%以内。本文建立的中子学计算方法和计算模型针对启明星临界实验装置具有良好的适用性与较高的计算精度。 展开更多
关键词 小型铅堆 中子学计算 均匀化截面生成 验证确认
在线阅读 下载PDF
铁路货车强度仿真试验数据一体化验证技术研究
4
作者 白从凯 袁国庆 +2 位作者 代鲁平 李维岗 王力争 《铁道机车车辆》 北大核心 2025年第3期96-102,共7页
对仿真系统VV&A验证进行了研究,并提出了铁路货车强度仿真试验数据一体化验证内容、方法及流程。以某敞车为例介绍了整车强度仿真试验数据一体化验证的实施过程:在焊接接头和铆接接头的元器件级仿真试验数据验证及中梁组成零部件级... 对仿真系统VV&A验证进行了研究,并提出了铁路货车强度仿真试验数据一体化验证内容、方法及流程。以某敞车为例介绍了整车强度仿真试验数据一体化验证的实施过程:在焊接接头和铆接接头的元器件级仿真试验数据验证及中梁组成零部件级仿真试验数据验证基础上完成了整车级仿真试验数据验证。结果表明,采用VV&A方法,铁路货车关键位置处强度仿真试验数据的一致性较好,应力偏差在10%以内。铁路货车车体强度仿真报告及试验报告得到客户的认可及确认。VV&A仿真试验数据一体化验证技术,可为铁路货车数字化转型提供一些借鉴。 展开更多
关键词 铁路货车 数字化 校核、验证确认(VV&A) 仿真试验数据 一体化验证
在线阅读 下载PDF
科学计算程序的验证和确认 被引量:26
5
作者 王瑞利 林忠 袁国兴 《北京理工大学学报》 EI CAS CSCD 北大核心 2010年第3期353-356,360,共5页
针对科学计算中工程应用程序的研制和预测能力的评估,基于应用程序研制的过程与软件开发的生命周期,提出了一种科学计算程序验证与确认(V&V)模型.论述了物理建模、数值模拟与科学计算程序验证与确认的关系,以及科学计算程序验证与... 针对科学计算中工程应用程序的研制和预测能力的评估,基于应用程序研制的过程与软件开发的生命周期,提出了一种科学计算程序验证与确认(V&V)模型.论述了物理建模、数值模拟与科学计算程序验证与确认的关系,以及科学计算程序验证与确认的方法,为科学计算程序验证与确认提供一种置信度评估方法. 展开更多
关键词 科学计算 程序设计 验证确认(V&V)
在线阅读 下载PDF
计算流体力学验证与确认研究进展 被引量:10
6
作者 陈江涛 肖维 +8 位作者 赵炜 张培红 杨福军 金韬 郭勇颜 吴晓军 陈坚强 王瑞利 李立 《力学进展》 EI CSCD 北大核心 2023年第3期626-660,共35页
计算流体力学(CFD)在重大工程领域发挥了日益重要的作用,可信度是制约其进一步大规模工程应用的关键因素.国内外普遍认同验证与确认是CFD可信度评价和保证的必经途径.通过系统的验证与确认,可以有效识别代码中潜在的编程错误,保证数值... 计算流体力学(CFD)在重大工程领域发挥了日益重要的作用,可信度是制约其进一步大规模工程应用的关键因素.国内外普遍认同验证与确认是CFD可信度评价和保证的必经途径.通过系统的验证与确认,可以有效识别代码中潜在的编程错误,保证数值求解的可靠性,客观评价模型在预期用途内的适用性,在必要时提高模型的预测能力.本文围绕着什么是验证与确认,怎么做验证与确认这两个核心问题,从基本概念、实施流程、主要方法、标模试验和平台工具等角度介绍了国内外在CFD验证与确认领域的研究进展,重点对误差估计和不确定度量化方法展开介绍.文章最后对现阶段验证与确认研究解决实际工程问题的不足进行了评述和总结,对未来重点研究方向进行了展望. 展开更多
关键词 验证确认 误差估计 不确定度量化 标模试验
在线阅读 下载PDF
故障预测与健康管理系统验证与确认方法综述 被引量:17
7
作者 景博 杨洲 +1 位作者 张劼 周宏亮 《计算机工程与应用》 CSCD 北大核心 2011年第21期23-27,共5页
介绍了故障预测与健康管理验证与确认的研究动机,说明了该方法在整个系统设计中的地位;将验证和确认方法分为三大支撑技术:验证方法与性能评估、原型验证系统和不确定性管理,综述了这三种支撑技术的现有方法,分析比较了各方法的区别和联... 介绍了故障预测与健康管理验证与确认的研究动机,说明了该方法在整个系统设计中的地位;将验证和确认方法分为三大支撑技术:验证方法与性能评估、原型验证系统和不确定性管理,综述了这三种支撑技术的现有方法,分析比较了各方法的区别和联系,指出了具体的实现途径;点明了故障预测与健康管理系统验证与确认方法要关注的问题,明确了未来的发展趋势。 展开更多
关键词 故障预测与健康管理 验证确认 性能评估 原型系统 不确定性管理
在线阅读 下载PDF
建模与仿真中验证与确认的测试与评估实现 被引量:7
8
作者 孙勇成 马艳琴 +1 位作者 周献中 江金龙 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第10期2317-2320,共4页
M&S的可信性问题是M&S理论研究及工程应用的重要内容,VV&A和T&E都是为了提高和保证M&S的置信度,降低仿真系统在实际工程应用中由于仿真结果不可信而带来的风险。首先深入分析了VV&A与T&E的关系,认为VV&... M&S的可信性问题是M&S理论研究及工程应用的重要内容,VV&A和T&E都是为了提高和保证M&S的置信度,降低仿真系统在实际工程应用中由于仿真结果不可信而带来的风险。首先深入分析了VV&A与T&E的关系,认为VV&A更强调确保M&S可信性的工作内容,T&E更强调具体的实现方法,T&E是V&V的主要技术和方法,V&V可以通过T&E来实现;然后分析了M&S中T&E面临的挑战,研究了M&S开发全生命周期中V&V的T&E实现,最后简要介绍了T&E的充分性判定方法。 展开更多
关键词 建模与仿真 校核 验证确认 测试与评估 可信度
在线阅读 下载PDF
安全软件验证与确认中的单元模块测试技术 被引量:10
9
作者 李铎 张良驹 冯俊婷 《原子能科学技术》 EI CAS CSCD 北大核心 2008年第6期551-556,共6页
核动力厂保护系统实现数字化必须解决的一项关键技术是如何完成安全软件的验证与确认(V&V),以证明和确认执行安全功能的软件自身的安全性和可靠性。软件单元测试是V&V过程中的重要环节,主要目的是验证和确认软件代码开发过程中... 核动力厂保护系统实现数字化必须解决的一项关键技术是如何完成安全软件的验证与确认(V&V),以证明和确认执行安全功能的软件自身的安全性和可靠性。软件单元测试是V&V过程中的重要环节,主要目的是验证和确认软件代码开发过程中,软件的设计转变为软件代码是适当、正确和完整的。本工作初步研究了安全软件的单元模块测试技术,着重讨论如何保证测试的完整性、建立测试环境、建立测试用例及实施单元模块测试等方面,并以某数字化保护系统安全软件单元模块测试实例说明单元模块测试的具体过程。 展开更多
关键词 安全软件 单元测试 验证确认
在线阅读 下载PDF
安全分析程序验证和确认法规标准综述 被引量:4
10
作者 张春明 韩静茹 +1 位作者 温丽晶 左嘉旭 《原子能科学技术》 EI CAS CSCD 北大核心 2013年第B12期426-429,共4页
我国核安全法规对安全分析程序验证和确认(V&V)比较缺乏,文章描述了国内外在核安全分析中应用的程序验证和确认的标准和法规,最后结合重大专项的项目,讨论了建立核安全程序验证和确认的必要性和应注意的问题,具体包括在测试过程中... 我国核安全法规对安全分析程序验证和确认(V&V)比较缺乏,文章描述了国内外在核安全分析中应用的程序验证和确认的标准和法规,最后结合重大专项的项目,讨论了建立核安全程序验证和确认的必要性和应注意的问题,具体包括在测试过程中核安全审评部门应测试的范围及对需进行V&V的安全分析程序如何划分的问题。 展开更多
关键词 程序 验证确认 测试
在线阅读 下载PDF
基于Richardson插值法的CFD验证和确认方法的研究 被引量:22
11
作者 陈坚强 张益荣 《空气动力学学报》 EI CSCD 北大核心 2012年第2期176-183,共8页
针对典型高超声速流动问题(T2-97模型),利用Richardson插值法,研究了多套连续变化网格下数值解的空间离散误差、收敛性。通过网格收敛性研究,完成了CFD的验证过程。利用不确定度分析方法,结合实验数据,开展了该问题的确认。研究表明:针... 针对典型高超声速流动问题(T2-97模型),利用Richardson插值法,研究了多套连续变化网格下数值解的空间离散误差、收敛性。通过网格收敛性研究,完成了CFD的验证过程。利用不确定度分析方法,结合实验数据,开展了该问题的确认。研究表明:针对所选问题,在现有实验数据及计算条件下,该问题的CFD得到了验证与确认。 展开更多
关键词 高超声速流动 离散误差 不确定度 验证确认
在线阅读 下载PDF
HyperFLOW软件非结构网格亚跨声速湍流模拟的验证与确认 被引量:5
12
作者 王年华 常兴华 +1 位作者 马戎 张来平 《力学学报》 EI CSCD 北大核心 2019年第3期813-825,共13页
计算流体力学(computational fluid dynamics, CFD)数值模拟在航空航天等领域发挥越来越重要的作用,然而CFD数值模拟结果的可信度仍然需要通过不断地验证与确认来提高.本文给出了从制造解精度测试、简单到复杂外形湍流模拟网格收敛性研... 计算流体力学(computational fluid dynamics, CFD)数值模拟在航空航天等领域发挥越来越重要的作用,然而CFD数值模拟结果的可信度仍然需要通过不断地验证与确认来提高.本文给出了从制造解精度测试、简单到复杂外形湍流模拟网格收敛性研究等三个方面开展CFD软件验证与确认的方法,并对自主研发的CFD软件平台HyperFLOW在非结构网格上模拟亚跨声速湍流问题的能力进行了验证与确认.首先通过基于Euler方程和标量扩散方程的制造解精度测试,分别验证了HyperFLOW在非结构网格上对Euler方程和黏性项的求解精度,结果表明其能够在任意非结构网格上达到设计的二阶精度.其次,通过NASA Turbulence Modeling Resource中的湍流平板、二维翼型近尾迹流动、二维Bump等几个典型的亚声速湍流算例的网格收敛性研究,量化考察了数值结果的观测精度阶和网格收敛性指数,并与国外知名CFD解算器CFL3D,FUN3D的计算结果进行了对比,验证了HyperFLOW对简单湍流问题的模拟能力,且具有良好的网格收敛性和计算精度(阶).最后,通过NASA Common Research Model标模定升力系数的网格收敛性研究和升阻极曲线预测,验证了软件在复杂外形亚跨声速湍流流动数值模拟中也具有良好的可信度. 展开更多
关键词 湍流模拟 验证确认 制造解方法 网格收敛性指数 观测精度阶
在线阅读 下载PDF
从IEEE1012的版本演变探析核电仪控软件验证与确认 被引量:5
13
作者 尹宝娟 黄伟杰 +1 位作者 毛从吉 张宓 《核电子学与探测技术》 CAS CSCD 北大核心 2013年第10期1179-1183,共5页
标准IEEE1012在各行业的软件验证与确认工作得到广泛应用。该标准自1986年开始至今经历了4个版本的演变,最新版于2012年发布。论文对比和分析了各版本内容的演变,并结合核电仪控系统软件的特点,梳理了核电仪控软件验证与确认工作的关键... 标准IEEE1012在各行业的软件验证与确认工作得到广泛应用。该标准自1986年开始至今经历了4个版本的演变,最新版于2012年发布。论文对比和分析了各版本内容的演变,并结合核电仪控系统软件的特点,梳理了核电仪控软件验证与确认工作的关键思想与新的发展重点。 展开更多
关键词 验证确认 仪控 完整性等级 系统性观点 安全保密
在线阅读 下载PDF
压水堆堆芯核设计软件包TORCH V2.0的验证与确认 被引量:4
14
作者 张斌 李庆 +7 位作者 蔡云 刘琨 秦雪 王诗倩 吉文浩 郭锐 赵晨 彭星杰 《原子能科学技术》 EI CAS CSCD 北大核心 2022年第11期2415-2421,共7页
TORCH V2.0是由中国核动力研究设计院自主研发的压水堆堆芯核设计软件包,该软件包基于确定论两步法计算策略进行堆芯中子学计算,即组件均匀化计算和堆芯少群计算的模式。本文采用包括大亚湾、岭澳、方家山、秦山、海南昌江、福清等核电... TORCH V2.0是由中国核动力研究设计院自主研发的压水堆堆芯核设计软件包,该软件包基于确定论两步法计算策略进行堆芯中子学计算,即组件均匀化计算和堆芯少群计算的模式。本文采用包括大亚湾、岭澳、方家山、秦山、海南昌江、福清等核电厂部分循环启动物理试验数据及核电厂运行数据对TORCH V2.0软件包进行验证与确认研究,对比的主要参数包括启动物理试验中的临界硼浓度、控制棒积分价值、硼微分价值及等温温度系数和核电厂运行过程中的临界硼浓度、组件径向功率、热点因子及焓升因子。数值结果表明:针对主流的方形栅格压水堆核电厂,TORCH V2.0软件包具有可靠的压水堆堆芯计算能力;对于启动物理试验和电厂运行过程中的主要参数,TORCH V2.0软件包具有较高计算精度,符合堆芯核设计验收准则。 展开更多
关键词 堆芯核设计 启动物理试验 核电厂运行数据 验证确认
在线阅读 下载PDF
数字化核安全级仪控系统软件的验证与确认 被引量:3
15
作者 张亚栋 左新 +1 位作者 尹宝娟 程建明 《核科学与工程》 CSCD 北大核心 2012年第S2期227-231,共5页
本文讨论了核安全级软件验证与确认的方法论。详细描述了在数字化核安全级仪控系统研发过程中V&V活动的具体实施过程,此外还介绍了为开展可信的验证与确认活动的所制定的V&V流程与规范、构建的各种V&V平台及采用的V&V... 本文讨论了核安全级软件验证与确认的方法论。详细描述了在数字化核安全级仪控系统研发过程中V&V活动的具体实施过程,此外还介绍了为开展可信的验证与确认活动的所制定的V&V流程与规范、构建的各种V&V平台及采用的V&V关键技术等。 展开更多
关键词 核安全级软件 验证确认 V&V流程 V&V平台 V&V技术
在线阅读 下载PDF
地空导弹制导控制系统仿真设计、验证和确认 被引量:2
16
作者 杨选春 卢鸿力 +1 位作者 康改霞 杨艳 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第12期3244-3249,共6页
地空导弹制导控制系统仿真,贯穿制导控制系统研制的全部过程。仿真软件的设计、验证和确认关系到仿真的合理性、正确性和高效性。主要从工程应用角度出发,采用模块化软件设计思想,选择Fortran和Matlab?Simulink仿真工具混合编程,简化数... 地空导弹制导控制系统仿真,贯穿制导控制系统研制的全部过程。仿真软件的设计、验证和确认关系到仿真的合理性、正确性和高效性。主要从工程应用角度出发,采用模块化软件设计思想,选择Fortran和Matlab?Simulink仿真工具混合编程,简化数学模型、统一计算步长,初步完成仿真软件的设计。在此基础上,核查全套程序,初步判断计算结果的正确性,然后进行手工复算、功能检查来验证(Verification)模型,最后分别通过仿真结果与实际飞行试验结果相比较的主观方法和Their不等式系数法(TIC法)、秩和检验法的静态一致性检验以及功率谱估计法的动态一致性检验的统计检验方法来确认(Validation)模型,从而较好地解决了仿真软件的设计、验证和确认问题。 展开更多
关键词 制导控制系统 模块化设计 验证确认 静态和动态一致性检验
在线阅读 下载PDF
浅水中低速斜航船舶水动力预报及验证与确认分析 被引量:6
17
作者 邹璐 《船舶力学》 EI CSCD 北大核心 2016年第7期841-848,共8页
浅水中的斜航船舶受到浅水阻塞效应和不对称流的综合影响。为预报该运动中的船舶水动力,文章采用基于定常雷诺平均纳维—斯托克斯方程的计算流体动力学方法,对浅水中做斜航运动的船舶粘性绕流场进行数值模拟。考虑低航速运动的特点,忽... 浅水中的斜航船舶受到浅水阻塞效应和不对称流的综合影响。为预报该运动中的船舶水动力,文章采用基于定常雷诺平均纳维—斯托克斯方程的计算流体动力学方法,对浅水中做斜航运动的船舶粘性绕流场进行数值模拟。考虑低航速运动的特点,忽略航速影响下的自由面兴波,由数值计算得到水动力系数在漂角影响下的变化规律。针对计算精度问题,在数值模拟中从验证和确认角度分析和评估计算结果:通过网格收敛性分析分析数值误差与不确定度;结合试验数据考察计算模型的误差。此外,从计算区域尺度、湍流模型、边界条件、船体下沉和纵倾作用方面对模型误差的影响因素进行探讨,可为改进计算模型、提高数值模拟精度提供参考依据。 展开更多
关键词 浅水 斜航运动 CFD 水动力系数 误差和不确定度 验证确认
在线阅读 下载PDF
有限电导率模块在THz折叠波导行波管模拟中的验证和确认
18
作者 董烨 董志伟 +2 位作者 杨温渊 张芳 周海京 《强激光与粒子束》 EI CAS CSCD 北大核心 2014年第5期196-200,共5页
采用与同类商业软件比对的方法,在THz折叠波导行波管算例中对自编NEPTUNE3D程序的有限电导率模块进行有效验证和确认,包括冷腔损耗与计及损耗的热腔增益。比对结果表明:冷腔损耗计算相对误差在3%~4%左右,计及损耗的热腔最佳增益... 采用与同类商业软件比对的方法,在THz折叠波导行波管算例中对自编NEPTUNE3D程序的有限电导率模块进行有效验证和确认,包括冷腔损耗与计及损耗的热腔增益。比对结果表明:冷腔损耗计算相对误差在3%~4%左右,计及损耗的热腔最佳增益相对误差及最佳工作电压漂移相对误差均在2%左右。通过不同软件、冷腔损耗与热腔增益的比对,验证了有限电导率模块正确性和可靠性。此外,还对加工因素导致结构参数变化对冷腔损耗特性影响,做了规律性讨论。 展开更多
关键词 有限电导率模块 三维全电磁粒子模拟 太赫兹折叠波导行波管 验证确认
在线阅读 下载PDF
计算机信息系统的验证与确认
19
作者 刘润杰 薛锦云 +1 位作者 童兆丰 吴世兴 《计算机工程》 CAS CSCD 北大核心 1996年第S1期323-323,共1页
计算机信息系统的验证与确认是提高系统正确性和可靠性的有效技术,然而人们对验证与确认的含义尚无统一、明确的认识.文中给出了验证与确认的明确定义,阐述了它们之间的区别与联系,并分别介绍了各种流行的验证与确认技术.验证与确认(简... 计算机信息系统的验证与确认是提高系统正确性和可靠性的有效技术,然而人们对验证与确认的含义尚无统一、明确的认识.文中给出了验证与确认的明确定义,阐述了它们之间的区别与联系,并分别介绍了各种流行的验证与确认技术.验证与确认(简称V & V)是计算机信息系统中一个重要概念,它们是贯穿信息系统生产每一步的一个持续的过程.验证与确认是测试程序是否符合其需求以及需求是否满足用户的需要这一过程的总称.它们的目的是通过动态和静态的系统分析测试技术提高计算机信息系统的正确性和可靠性.静态技术包括程序的静态检查、分析以及形式化证明.动态技术就是运行一个实现的系统来进行测试和分析.在许多献中验证与确认的含义模糊不清.我们认为:验证指的是证明软件(程序)符合其规范;确认指的是证实软件(程序)符合其用户的要求.区分验证与确认的关键在于验证是确保程序与其规范一致的行为,而确认则是确保程序与用户要求一致.在验证和确认的技术中,验证的技术大多数是理论的推导,确认的技术大多数是测试.验证的目的是确保程序与其规范一致.软件生产过程中,从软件规范到程序实现之间的每一步都要有验证.我们提出的分划递推法可以提高计算机信息系统的正确性和可靠性,用该方法设计和证明算法程序的步骤如下:a 展开更多
关键词 系统的验证确认 计算机信息系统 软件规范 系统测试
在线阅读 下载PDF
国家数值风洞(NNW)验证与确认系统关键技术研究进展 被引量:10
20
作者 赵炜 陈江涛 +3 位作者 肖维 杨福军 吴晓军 陈坚强 《空气动力学学报》 CSCD 北大核心 2020年第6期1165-1172,I0004,共9页
系统、科学、严格的验证与确认是计算流体力学软件可信度评价和保证的必经途径。验证与确认系统是在软件的全生命周期,包括开发、测试、应用和更新阶段,从科学计算的角度为软件质量提供全方位的保证。本文从方法、数据和工具三个方面详... 系统、科学、严格的验证与确认是计算流体力学软件可信度评价和保证的必经途径。验证与确认系统是在软件的全生命周期,包括开发、测试、应用和更新阶段,从科学计算的角度为软件质量提供全方位的保证。本文从方法、数据和工具三个方面详细介绍了NNW工程验证与确认系统的关键技术研究进展。在方法方面,从误差和不确定度来源的数学特征出发,发展了相应的估计和量化手段,初步构建了可信度评价体系,这为如何进行验证与确认、可信度评价提供了技术基础。在数据方面,从流动现象层次分析出发,建立了多维度的从简单到复杂物理现象耦合的标模算例体系,为验证与确认活动提供了可靠的基准数据。在实验工具方面,数据库和可信度平台开发为方便实施验证与确认提供了高度自动化工具。文章最后对下一步工作进行了展望。 展开更多
关键词 验证确认 不确定度量化 误差估计 标模 数据库
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部