期刊文献+
共找到153篇文章
< 1 2 8 >
每页显示 20 50 100
复杂飞行控制系统监控器确认和验证
1
作者 李棋 薄珊珊 朱平 《民用飞机设计与研究》 2025年第1期94-103,共10页
针对设计不合理的监控器负面影响,例如在运营阶段机队千时故障率高,基于CCAR 25部的1309条款要求和SAE ARP4754B,提出了复杂飞控系统的监控器需求确认的过程、方法,特别介绍监控器需求确认重点“监控器性能与鲁棒性”以及评审团队。然后... 针对设计不合理的监控器负面影响,例如在运营阶段机队千时故障率高,基于CCAR 25部的1309条款要求和SAE ARP4754B,提出了复杂飞控系统的监控器需求确认的过程、方法,特别介绍监控器需求确认重点“监控器性能与鲁棒性”以及评审团队。然后,提出监控器仿真和实物验证的方法、首飞、型号合格审定和投入运营前和投入运营后的不同阶段注意事项。最后介绍了监控器确认和验证数据。高度集成复杂飞控系统的监控器的确认和验证不仅能有效提升民机设计能力,而且能保证监控器安全性和鲁棒性。 展开更多
关键词 飞行控制系统 监控器 确认 验证 安全性 鲁棒性
在线阅读 下载PDF
软件验证与确认技术和标准化研究
2
作者 李文鹏 张旸旸 吴迪龙 《信息技术与标准化》 2024年第1期34-37,共4页
软件验证与确认是保证软件质量方面最有效手段之一,对于安全攸关软件的安全性、可靠性的质量提升效果显著,验证与确认两个概念也经常被混淆。从标准化角度对软件验证与确认的概念进行分析和对比,选取典型标准开展分析和阐述,以推动标准... 软件验证与确认是保证软件质量方面最有效手段之一,对于安全攸关软件的安全性、可靠性的质量提升效果显著,验证与确认两个概念也经常被混淆。从标准化角度对软件验证与确认的概念进行分析和对比,选取典型标准开展分析和阐述,以推动标准在软件生存周期的应用,促进软件质量提升。 展开更多
关键词 软件 验证与确认 技术 标准化
在线阅读 下载PDF
液态金属冷却快堆堆芯物理分析软件LoongSARAX的验证与确认
3
作者 路瑶 杜夏楠 +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
基于启明星临界实验装置的小型铅堆确定论中子学计算方法研究及验证
4
作者 杨懿宸 郑友琦 +2 位作者 朱庆福 周琦 宁通 《原子能科学技术》 北大核心 2025年第3期644-655,共12页
小型铅堆是未来微小型反应堆发展的重要方向,相比传统大型快堆,其堆芯中子能谱分布更加复杂、堆芯几何特殊,给传统快堆确定论中子学分析方法带来挑战。本文针对小型铅堆特点,基于现有SARAX程序建立了新的确定论中子学计算方法和计算模型... 小型铅堆是未来微小型反应堆发展的重要方向,相比传统大型快堆,其堆芯中子能谱分布更加复杂、堆芯几何特殊,给传统快堆确定论中子学分析方法带来挑战。本文针对小型铅堆特点,基于现有SARAX程序建立了新的确定论中子学计算方法和计算模型,并以启明星Ⅱ号铅堆临界实验装置为对象,对不同均匀化截面生成、堆芯临界状态模拟以及特殊控制体截面生成模型进行了对比,利用启明星Ⅱ号的临界实验测量数据进行了新方法的验证与确认。计算结果表明,SARAX程序在小型铅堆中子学计算中可以产生高精度的均匀化截面,堆芯keff与实验值相比误差小于300 pcm,同时提出的控制体截面生成模型可将控制体价值相对误差降低到5%以内。本文建立的中子学计算方法和计算模型针对启明星临界实验装置具有良好的适用性与较高的计算精度。 展开更多
关键词 小型铅堆 中子学计算 均匀化截面生成 验证与确认
在线阅读 下载PDF
食品检验中方法验证和方法确认的区别及重要性分析
5
作者 董伟博 《现代食品》 2024年第6期43-45,共3页
在食品检验过程中,为了更高效、准确地开展实验工作,实验机构通常会使用标准方法和非标准方法,因此,进行方法验证及确认十分关键。本文分析了方法验证、方法确认的区别,以及两者的重要性,以供参考。
关键词 食品检验 方法验证 方法确认 重要性
在线阅读 下载PDF
基于城轨信号系统验证与确认评估活动的探究
6
作者 侯雪莉 何争艳 李叶 《数字技术与应用》 2024年第6期232-234,共3页
针对城市轨道交通Urbalis888信号系统项目V&V(Verification&V alidation)过程涉及繁杂琐碎的验证与确认活动,并且评估记录环节高度依赖人工的问题,以提高V&V评估工作效率和准确性为目的,提出一种快速整合统计验证与确认活... 针对城市轨道交通Urbalis888信号系统项目V&V(Verification&V alidation)过程涉及繁杂琐碎的验证与确认活动,并且评估记录环节高度依赖人工的问题,以提高V&V评估工作效率和准确性为目的,提出一种快速整合统计验证与确认活动的方法,以及关键信息批量自动化提取和统计输出的界面化工具,实现V&V报告自动化编写。通过该方法识别和梳理城轨项目需求、设计、数据、测试、安装、调试、试运行及试运营等每个阶段的验证与确认活动,并将这些活动和评估项整合到统计工具配置框架中,实现评估模板化和标准化,利用Python库对Word、Excel、PDF等Office文件中关键信息进行批量读取、解析和操作,大大提高V&V评估质量和效率。 展开更多
关键词 PYTHON WORD 统计工具 EXCEL 模板化 城市轨道交通 验证与确认 信号系统
在线阅读 下载PDF
浅谈实验室检测方法的验证与确认 被引量:11
7
作者 李梅 王晴 +3 位作者 李树贵 王丹慧 万忠华 王丹 《食品安全质量检测学报》 CAS 2018年第23期6305-6308,共4页
检验方法是实验室用于实施检测工作所依据的标准方法和技术规范,方法及检测步骤的不同直接导致了检验结果的不同。本文从检验方法的选择及原则、方法验证和确认的定义、技术要求、开展方式等方面展开论述二者的区别,以阐述化学分析实验... 检验方法是实验室用于实施检测工作所依据的标准方法和技术规范,方法及检测步骤的不同直接导致了检验结果的不同。本文从检验方法的选择及原则、方法验证和确认的定义、技术要求、开展方式等方面展开论述二者的区别,以阐述化学分析实验室如何做好方法的选择、验证和确认,从而保证检验结果的准确性。 展开更多
关键词 检测方法 验证 确认
在线阅读 下载PDF
ISO 15189:2012与临床检验定量检测方法确认和性能验证 被引量:54
8
作者 康凤凤 王治国 《临床检验杂志》 CAS CSCD 北大核心 2013年第12期881-884,共4页
ISO 15189:2012对技术要求的检验过程分别单独列出了对检验程序确认和验证、测量不确定度的要求,并将其改为强制要求。本文参考相关文件,结合我国实际情况,扼要介绍方法性能评价关键指标的基本概念及不同检测系统的实施方案。对配套系统... ISO 15189:2012对技术要求的检验过程分别单独列出了对检验程序确认和验证、测量不确定度的要求,并将其改为强制要求。本文参考相关文件,结合我国实际情况,扼要介绍方法性能评价关键指标的基本概念及不同检测系统的实施方案。对配套系统,实验室应进行验证实验,至少包括精密度、正确度和可报告范围;对非配套系统,实验室应进行确认研究,至少包括正确度、精密度、可报告范围及生物参考区间等。以期为临床实验室更合理地评价和应用检测方法提供参考。 展开更多
关键词 确认 验证 精密度 正确度 可报告范围 参考区间
在线阅读 下载PDF
安全软件验证与确认中的单元模块测试技术 被引量:10
9
作者 李铎 张良驹 冯俊婷 《原子能科学技术》 EI CAS CSCD 北大核心 2008年第6期551-556,共6页
核动力厂保护系统实现数字化必须解决的一项关键技术是如何完成安全软件的验证与确认(V&V),以证明和确认执行安全功能的软件自身的安全性和可靠性。软件单元测试是V&V过程中的重要环节,主要目的是验证和确认软件代码开发过程中... 核动力厂保护系统实现数字化必须解决的一项关键技术是如何完成安全软件的验证与确认(V&V),以证明和确认执行安全功能的软件自身的安全性和可靠性。软件单元测试是V&V过程中的重要环节,主要目的是验证和确认软件代码开发过程中,软件的设计转变为软件代码是适当、正确和完整的。本工作初步研究了安全软件的单元模块测试技术,着重讨论如何保证测试的完整性、建立测试环境、建立测试用例及实施单元模块测试等方面,并以某数字化保护系统安全软件单元模块测试实例说明单元模块测试的具体过程。 展开更多
关键词 安全软件 单元测试 验证与确认
在线阅读 下载PDF
安全分析程序验证和确认法规标准综述 被引量:3
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
从IEEE1012的版本演变探析核电仪控软件验证与确认 被引量:5
12
作者 尹宝娟 黄伟杰 +1 位作者 毛从吉 张宓 《核电子学与探测技术》 CAS CSCD 北大核心 2013年第10期1179-1183,共5页
标准IEEE1012在各行业的软件验证与确认工作得到广泛应用。该标准自1986年开始至今经历了4个版本的演变,最新版于2012年发布。论文对比和分析了各版本内容的演变,并结合核电仪控系统软件的特点,梳理了核电仪控软件验证与确认工作的关键... 标准IEEE1012在各行业的软件验证与确认工作得到广泛应用。该标准自1986年开始至今经历了4个版本的演变,最新版于2012年发布。论文对比和分析了各版本内容的演变,并结合核电仪控系统软件的特点,梳理了核电仪控软件验证与确认工作的关键思想与新的发展重点。 展开更多
关键词 验证与确认 仪控 完整性等级 系统性观点 安全保密
在线阅读 下载PDF
HyperFLOW软件非结构网格亚跨声速湍流模拟的验证与确认 被引量:5
13
作者 王年华 常兴华 +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
压水堆堆芯核设计软件包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
二维磁驱动数值模拟程序MDSC2的验证与确认 被引量:3
15
作者 阚明先 段书超 +5 位作者 张朝辉 肖波 王刚华 王贵林 冯春生 彭洁 《强激光与粒子束》 EI CAS CSCD 北大核心 2019年第6期79-85,共7页
为了对磁驱动实验提供高置信度的数值模拟,需要开展磁流体力学程序的验证与确认。采用人为解比较法、网格收敛性研究和与成熟程序比较等方法,对二维磁驱动数值模拟程序MDSC2进行了程序验证。数值模拟表明:MDSC2程序正确地表示了磁流体... 为了对磁驱动实验提供高置信度的数值模拟,需要开展磁流体力学程序的验证与确认。采用人为解比较法、网格收敛性研究和与成熟程序比较等方法,对二维磁驱动数值模拟程序MDSC2进行了程序验证。数值模拟表明:MDSC2程序正确地表示了磁流体力学模型,其中热扩散、磁扩散的离散格式具有二阶收敛精度。采用与磁驱动实验相比较的方法,进行了MDSC2程序的确认。对聚龙一号装置上的PTS-061发次磁驱动单侧飞片发射和PTS-122发次磁驱动双侧飞片发射实验进行了模拟,模拟的飞片自由面速度与实验测量的飞片自由面速度相一致;对FP-1装置上的固体套筒实验进行了模拟,模拟的套筒内外半径与实验测量结果相一致。MDSC2程序能正确模拟磁驱动单侧飞片发射、磁驱动双侧飞片发射和磁驱动固体套筒等磁驱动实验。 展开更多
关键词 二维磁驱动数值模拟程序 验证 确认 数值模拟
在线阅读 下载PDF
火灾数值模型的验证和确认 被引量:3
16
作者 智会强 牛坤 +1 位作者 姜明理 黄益良 《河北工程大学学报(自然科学版)》 CAS 2013年第1期74-76,81,共4页
火灾数值模型的可信度评价是火灾数值模拟研究的重要内容,而数值模型的验证和确认则是评价数值解可信度的主要手段,在总结数值模型验证和确认研究现状的基础上,介绍了火灾数值模型验证和确认的基本内容和方法,并以FLUNENT软件为例,利用S... 火灾数值模型的可信度评价是火灾数值模拟研究的重要内容,而数值模型的验证和确认则是评价数值解可信度的主要手段,在总结数值模型验证和确认研究现状的基础上,介绍了火灾数值模型验证和确认的基本内容和方法,并以FLUNENT软件为例,利用Steckler房间火试验,对该软件进行了试验确认研究,最后对火灾数值模型的验证和确认及相关应用提出了建议。 展开更多
关键词 火灾数值模型 验证 确认 可信度
在线阅读 下载PDF
数字化核安全级仪控系统软件的验证与确认 被引量:3
17
作者 张亚栋 左新 +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
18
作者 邓林 邓明 《装备环境工程》 CAS 2017年第11期27-29,共3页
为了解析工程过程验证和确认之间的关系,明确两者的作用和方法。对两个概念的形成溯源、异同比较、关系分析、方法应用等角度展开分析和论述。验证和确认是系统工程过程中非常重要的两个技术过程,两个过程中的若干活动的方法比较相似,... 为了解析工程过程验证和确认之间的关系,明确两者的作用和方法。对两个概念的形成溯源、异同比较、关系分析、方法应用等角度展开分析和论述。验证和确认是系统工程过程中非常重要的两个技术过程,两个过程中的若干活动的方法比较相似,甚至相同,容易引起混淆。分析结果表明,两者目的不同,方法相似。验证(Verification)和确认(Validation)是系统工程的技术过程中非常重要的两个子过程,是整体过程中的不可缺少的两个环节,区别在于验证过程是确定设计过程和结果是正确的,确认过程则是确定所设计的对象是正确的,是符合利益相关方需求的。 展开更多
关键词 系统工程 验证 确认
在线阅读 下载PDF
数字仿真模型的校核、验证和确认 被引量:7
19
作者 李云峰 《中南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2004年第2期273-276,共4页
论述了数字仿真模型校核、验证、确认的重要性,以实例说明了模型校核、模型验证、结果确认的实施方法,分析了影响数字仿真结果正确性的主要因素,探讨了仿真建模与可信度之间的关系。研究结果表明:影响仿真结果的主要因素是仿真建模;为... 论述了数字仿真模型校核、验证、确认的重要性,以实例说明了模型校核、模型验证、结果确认的实施方法,分析了影响数字仿真结果正确性的主要因素,探讨了仿真建模与可信度之间的关系。研究结果表明:影响仿真结果的主要因素是仿真建模;为了确保仿真模型的准确性,必须对其进行校核、验证和确认。 展开更多
关键词 数字仿真模型 模型校验 模型验证 模型确认 仿真可信度
在线阅读 下载PDF
浅水中低速斜航船舶水动力预报及验证与确认分析 被引量:6
20
作者 邹璐 《船舶力学》 EI CSCD 北大核心 2016年第7期841-848,共8页
浅水中的斜航船舶受到浅水阻塞效应和不对称流的综合影响。为预报该运动中的船舶水动力,文章采用基于定常雷诺平均纳维—斯托克斯方程的计算流体动力学方法,对浅水中做斜航运动的船舶粘性绕流场进行数值模拟。考虑低航速运动的特点,忽... 浅水中的斜航船舶受到浅水阻塞效应和不对称流的综合影响。为预报该运动中的船舶水动力,文章采用基于定常雷诺平均纳维—斯托克斯方程的计算流体动力学方法,对浅水中做斜航运动的船舶粘性绕流场进行数值模拟。考虑低航速运动的特点,忽略航速影响下的自由面兴波,由数值计算得到水动力系数在漂角影响下的变化规律。针对计算精度问题,在数值模拟中从验证和确认角度分析和评估计算结果:通过网格收敛性分析分析数值误差与不确定度;结合试验数据考察计算模型的误差。此外,从计算区域尺度、湍流模型、边界条件、船体下沉和纵倾作用方面对模型误差的影响因素进行探讨,可为改进计算模型、提高数值模拟精度提供参考依据。 展开更多
关键词 浅水 斜航运动 CFD 水动力系数 误差和不确定度 验证确认
在线阅读 下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部