期刊文献+
共找到535篇文章
< 1 2 27 >
每页显示 20 50 100
软件验证与确认技术和标准化研究
1
作者 李文鹏 张旸旸 吴迪龙 《信息技术与标准化》 2024年第1期34-37,共4页
软件验证与确认是保证软件质量方面最有效手段之一,对于安全攸关软件的安全性、可靠性的质量提升效果显著,验证与确认两个概念也经常被混淆。从标准化角度对软件验证与确认的概念进行分析和对比,选取典型标准开展分析和阐述,以推动标准... 软件验证与确认是保证软件质量方面最有效手段之一,对于安全攸关软件的安全性、可靠性的质量提升效果显著,验证与确认两个概念也经常被混淆。从标准化角度对软件验证与确认的概念进行分析和对比,选取典型标准开展分析和阐述,以推动标准在软件生存周期的应用,促进软件质量提升。 展开更多
关键词 软件 验证与确认 技术 标准化
下载PDF
核电厂安全级数字化仪控系统故障缺省值的验证与确认
2
作者 陈杰 靳津 +2 位作者 肖安洪 曾辉 郭文 《仪表技术》 2024年第4期44-48,共5页
安全级数字化仪控系统中故障缺省值的设置对核电厂安全具有至关重要的作用,但其验证与确认的难点在于具体实施时缺乏明确的细则指导。基于IEEE Std 1012,结合对法规标准、缺省值设计原则及以往项目实施经验的分析,同时考虑到漳州核电一... 安全级数字化仪控系统中故障缺省值的设置对核电厂安全具有至关重要的作用,但其验证与确认的难点在于具体实施时缺乏明确的细则指导。基于IEEE Std 1012,结合对法规标准、缺省值设计原则及以往项目实施经验的分析,同时考虑到漳州核电一期项目数字化仪控系统平台及设计开发流程的特点,提出了一套针对安全级数字化仪控系统故障缺省值的验证与确认策略和方法。经过漳州核电一期的实践验证,这套策略和方法能够充分、高效地验证缺省值设计的正确性和完整性,有效缓解了验证与确认过程中缺乏详尽标准、理论及相关成熟经验可借鉴的困境。对于后续核电安全级数字化仪控系统故障缺省值的验证与确认工作,该策略和方法具有一定的参考价值。 展开更多
关键词 数字化仪控系统 安全级 故障缺省值 验证与确认 核电厂
原文传递
乏燃料水池严重事故管理导则验证与确认
3
作者 武小莉 郑志锋 +2 位作者 向清安 孙洪平 陈冲 《科技视界》 2024年第7期65-68,共4页
首先介绍了典型压水堆乏燃料水池的严重事故管理导则,并为了使理论分析工具更贴近实际,基于SAAT-SFP程序分析导则中的关键措施,对其进行了验证与确认(V&V)。发挥SAAT-SFP程序在乏燃料水池安全分析中的作用,进一步拓展SAAT-SFP程序... 首先介绍了典型压水堆乏燃料水池的严重事故管理导则,并为了使理论分析工具更贴近实际,基于SAAT-SFP程序分析导则中的关键措施,对其进行了验证与确认(V&V)。发挥SAAT-SFP程序在乏燃料水池安全分析中的作用,进一步拓展SAAT-SFP程序的实际应用,对于发展和完善乏燃料水池的严重事故导则也具有重要的参考价值。 展开更多
关键词 乏燃料水池 SAAT-SFP 严重事故管理导则 验证与确认
下载PDF
液态金属冷却快堆堆芯物理分析软件LoongSARAX的验证与确认
4
作者 路瑶 杜夏楠 +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
食品检验中方法验证和方法确认的区别及重要性分析
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
计算流体力学验证与确认研究进展 被引量:5
7
作者 陈江涛 肖维 +8 位作者 赵炜 张培红 杨福军 金韬 郭勇颜 吴晓军 陈坚强 王瑞利 李立 《力学进展》 EI CSCD 北大核心 2023年第3期626-660,共35页
计算流体力学(CFD)在重大工程领域发挥了日益重要的作用,可信度是制约其进一步大规模工程应用的关键因素.国内外普遍认同验证与确认是CFD可信度评价和保证的必经途径.通过系统的验证与确认,可以有效识别代码中潜在的编程错误,保证数值... 计算流体力学(CFD)在重大工程领域发挥了日益重要的作用,可信度是制约其进一步大规模工程应用的关键因素.国内外普遍认同验证与确认是CFD可信度评价和保证的必经途径.通过系统的验证与确认,可以有效识别代码中潜在的编程错误,保证数值求解的可靠性,客观评价模型在预期用途内的适用性,在必要时提高模型的预测能力.本文围绕着什么是验证与确认,怎么做验证与确认这两个核心问题,从基本概念、实施流程、主要方法、标模试验和平台工具等角度介绍了国内外在CFD验证与确认领域的研究进展,重点对误差估计和不确定度量化方法展开介绍.文章最后对现阶段验证与确认研究解决实际工程问题的不足进行了评述和总结,对未来重点研究方向进行了展望. 展开更多
关键词 验证与确认 误差估计 不确定度量化 标模试验
下载PDF
验证与确认数据库系统设计与实现
8
作者 周斌 李锋 +2 位作者 杨福军 唐怡 付眸 《自动化技术与应用》 2023年第12期80-84,171,共6页
为了满足CFD软件验证与确认的需要,针对当前搜集的各类标模,分析其中各类算例及算例包含的有效数据特征,提出一种基于ASAM-ODS(Open Data Service)的算例数据模型及覆盖完整算例数据的数据管理解决方案。采用自主可控国产关系型数据库,... 为了满足CFD软件验证与确认的需要,针对当前搜集的各类标模,分析其中各类算例及算例包含的有效数据特征,提出一种基于ASAM-ODS(Open Data Service)的算例数据模型及覆盖完整算例数据的数据管理解决方案。采用自主可控国产关系型数据库,利用跨平台编程技术,搭建验证与确认数据库平台体系框架。实现基于模型的算例数据完整管理、基于不确定度分析的试验数据和仿真计算数据的比对、以及算例数据可视化在线展示等主要功能,最终完成了验证与确认数据库系统建设工作。为验证与确认体系的CFD软件自动化测试平台和可信度评价平台提供有效的数据支撑。 展开更多
关键词 数据管理平台 CFD 验证与确认 标模 可视化
下载PDF
计量测试方法的选择、验证和确认 被引量:1
9
作者 胡玲 《上海计量测试》 2023年第5期51-52,共2页
0引言,计量测试方法是管理体系中重要的组成部分,是开展检定、校准、检测和检验工作的依据。为确保测量结果的准确性和有效性,根据不同的测试类型,科学、合理、正确地选择使用方法是满足客户需求的前提。本文从如何进行方法的选择、验... 0引言,计量测试方法是管理体系中重要的组成部分,是开展检定、校准、检测和检验工作的依据。为确保测量结果的准确性和有效性,根据不同的测试类型,科学、合理、正确地选择使用方法是满足客户需求的前提。本文从如何进行方法的选择、验证和确认的区别等方面进行了探讨。 展开更多
关键词 计量测试 测试类型 验证确认 管理体系 方法的选择 测量结果 有效性 准确性
下载PDF
CFD验证与确认数据库平台数据结构设计与应用 被引量:2
10
作者 唐怡 杨福军 +2 位作者 付眸 冯姣 万春明 《计算机测量与控制》 2023年第2期173-177,236,共6页
计算流体动力学(CFD)验证与确认数据库平台用于存储和管理精细风洞试验、飞行试验、数值计算产生的标准算例数据;针对结构复杂、维度较高且参数不固定的CFD验证与确认标准算例数据,设计一种灵活的数据结构,动态存储不同标准算例的来流... 计算流体动力学(CFD)验证与确认数据库平台用于存储和管理精细风洞试验、飞行试验、数值计算产生的标准算例数据;针对结构复杂、维度较高且参数不固定的CFD验证与确认标准算例数据,设计一种灵活的数据结构,动态存储不同标准算例的来流状态数据与结果数据,减少数据冗余,提高数据可扩展性;基于该数据结构完成标准算例数据质检与元数据管理设计,确保数据库平台能够精准、高效地为CFD软件可信度评价或相关研究提供数据服务;应用证明、验证与确认数据库平台实现了标准算例数据的有效管理和高效应用,为国家数值风洞工程和国内相关CFD软件的验证和确认提供了有力支撑。 展开更多
关键词 验证 确认 CFD 数据质检 元数据
下载PDF
浅谈食品检测实验室的方法验证和方法确认 被引量:4
11
作者 刘艳霞 梁文文 +1 位作者 卢仑 刘建洋 《食品安全导刊》 2023年第12期162-164,共3页
食品检验检测机构实验室为了更高效、准确地开展实验,常会采用标准方法和非标准方法。使用标准方法需要方法验证,使用非标准方法需要方法确认。为了让检验检测机构更好地认识方法验证和方法确认的重要性,确保检测方法的科学性与可靠性,... 食品检验检测机构实验室为了更高效、准确地开展实验,常会采用标准方法和非标准方法。使用标准方法需要方法验证,使用非标准方法需要方法确认。为了让检验检测机构更好地认识方法验证和方法确认的重要性,确保检测方法的科学性与可靠性,更清楚地分辨方法验证和方法确认的不同,本文对方法验证和方法确认的定义、区别和参数进行阐述,为食品检测实验室开展方法验证和方法确认提供参考。 展开更多
关键词 实验室 方法验证 方法确认
下载PDF
核电厂人工智能软件验证和确认方法研究 被引量:1
12
作者 冯素梅 王少华 张志良 《自动化仪表》 CAS 2023年第S01期380-384,共5页
核电厂仪控领域引入人工智能(AI)技术的同时,也面临着软件验证和确认问题。现有的软件验证和确认(V&V)方法及相关标准并未考虑AI软件的特性。为解决这一问题,研究了AI软件不同于常规软件的特点。提出了在现有V&V活动的基础上,... 核电厂仪控领域引入人工智能(AI)技术的同时,也面临着软件验证和确认问题。现有的软件验证和确认(V&V)方法及相关标准并未考虑AI软件的特性。为解决这一问题,研究了AI软件不同于常规软件的特点。提出了在现有V&V活动的基础上,从需求分析、数据集、训练模型、可解释性、底层软件系统以及可维护性这六个方面对AI软件作进一步V&V。同时,给出执行这些任务的时机及需重点考虑的内容。该研究为AI软件在核电厂的应用提供了一种鉴定思路,并拓展了软件V&V的应用范围。 展开更多
关键词 核电厂 软件验证确认 人工智能 数据集 训练模型 鲁棒性 可解释性
下载PDF
面向中文短语音的文本无关说话人确认新框架
13
作者 毛海全 冯海泓 +3 位作者 洪峰 马皓天 徐楚林 郑立通 《声学技术》 CSCD 北大核心 2024年第4期503-510,共8页
相较于文本相关说话人确认,文本无关说话人确认由于验证文本内容不受限制,结合语音识别能够有效避免录音欺诈等常见攻击。然而,文本无关说话人确认系统在短语音验证上会出现严重的性能下降。为此,文章首先提出了一种改进的端到端模型,... 相较于文本相关说话人确认,文本无关说话人确认由于验证文本内容不受限制,结合语音识别能够有效避免录音欺诈等常见攻击。然而,文本无关说话人确认系统在短语音验证上会出现严重的性能下降。为此,文章首先提出了一种改进的端到端模型,通过长、短语音说话人分类损失增强网络对不同时长语音段的说话人分类识别能力;同时,在嵌入码空间中增大同一说话人的短语音和长语音之间的相似度,减小不同说话人的短语音之间的相似度,增强网络对短语音的特征提取能力。此外,还提出了一种基于注意力机制的验证词选择方法,选择具有高注意力权重的中文词作为系统验证提示词。实验结果表明,文章提出的改进的端到端模型结合softmax预训练使得模型在短测试语音上的等错误率相对降低29%,基于注意力机制的验证词选择方法也能筛选出具有更好识别结果的验证词,二者结合能够有效提升说话人确认系统对于短中文语音的识别性能。 展开更多
关键词 说话人确认 短语音 注意力机制 验证词选择
下载PDF
基于模型的系统需求确认与验证技术研究
14
作者 张辉辉 孙军帅 +2 位作者 王秀鑫 雷培 刘鹏飞 《现代防御技术》 北大核心 2023年第1期124-134,共11页
为了减少高升力系统设计错误、避免实物验证与迭代、缩短研制周期,提出了一种贯穿于联合定义、初步设计、详细设计及集成验证全生命周期各研发阶段的基于模型的系统需求确认与验证方法。该方法通过ADS2软件将Simulink及SCADE(safety cri... 为了减少高升力系统设计错误、避免实物验证与迭代、缩短研制周期,提出了一种贯穿于联合定义、初步设计、详细设计及集成验证全生命周期各研发阶段的基于模型的系统需求确认与验证方法。该方法通过ADS2软件将Simulink及SCADE(safety critical application development)等模型集成在一个统一的虚拟集成平台上,分别创建系统架构模型和系统性能模型,并开展仿真分析,实现了在不同研发阶段对系统需求的确认和虚拟验证。此外,使用支持ADS2的I/O驱动模块,以及复用设计阶段建立的测试用例和用户界面,可以快速搭建计算机在环的半物理集成环境、控制分系统集成环境和系统全实物集成环境,支持开展分层级的系统需求验证。由于各研发阶段使用统一标准的模型和测试用例传递信息,因此可以确保研发过程中信息传递的一致性,极大地降低了设计错误,加快了研发周期,并降低了研发成本。 展开更多
关键词 高升力系统 模型 确认 验证 测试用例 全生命周期
下载PDF
计算流体力学中的验证与确认 被引量:68
15
作者 邓小刚 宗文刚 +2 位作者 张来平 高树椿 李超 《力学进展》 EI CSCD 北大核心 2007年第2期279-288,共10页
计算流体力学(CFD)在航空航天等诸多领域的应用越来越广泛.特别是近年来,CFD在实际飞行器的设计中扮演着越来越重要的角色,许多设计参数直接来源于CFD的计算结果.由此,飞行器设计师对CFD提供结果的可信度提出了更高的要求.验证(verif... 计算流体力学(CFD)在航空航天等诸多领域的应用越来越广泛.特别是近年来,CFD在实际飞行器的设计中扮演着越来越重要的角色,许多设计参数直接来源于CFD的计算结果.由此,飞行器设计师对CFD提供结果的可信度提出了更高的要求.验证(verification)与确认(validation)是评价数值解精度和可信度的主要手段.本文综述了国内外开展CFD验证与确认研究的进展.在引言中论述了开展CFD验证与确认的重要性和必要性,简述了国内外CFD验证与确认研究的历史和发展现状.第2节中讨论了CFD验证与确认的一些基本概念,以及这些概念定义的形成过程,并指出了进行CFD验证与确认的基本步骤.第3节和第4节分别讨论了CFD验证与确认的方法,如CFD验证中的精确解比较方法,制造解比较方法,网格收敛性研究;CFD确认中的层次结构,流动分类法,确认实验指南.在第5节中我们列举了几个CFD验证与确认的应用实例.最后,对我国开展CFD验证与确认研究工作提出了若干建议,包括:(1)开展流动分类法研究,(2)推行软件质量工程方法,(3)开展规范精细的实验,建立国内的网络数据库. 展开更多
关键词 计算流体力学 实验流体力学 验证 确认 可信度 校准 认证 软件质量工程
下载PDF
建模与仿真校核、验证与确认综述 被引量:27
16
作者 刘庆鸿 陈德源 王子才 《系统仿真学报》 CAS CSCD 2003年第7期925-930,共6页
校核、验证与确认(verification, validation, and accreditation,简称VV&A)是必须贯穿于建模与仿真全生命周期的重要部分。文章综述了建模与仿真生命周期中的VV&A活动、原则、技术及其适用范围,以及V&V的分级方法。
关键词 建模与仿真 校核 验证 确认 可信度
下载PDF
科学计算程序的验证和确认 被引量:24
17
作者 王瑞利 林忠 袁国兴 《北京理工大学学报》 EI CAS CSCD 北大核心 2010年第3期353-356,360,共5页
针对科学计算中工程应用程序的研制和预测能力的评估,基于应用程序研制的过程与软件开发的生命周期,提出了一种科学计算程序验证与确认(V&V)模型.论述了物理建模、数值模拟与科学计算程序验证与确认的关系,以及科学计算程序验证与... 针对科学计算中工程应用程序的研制和预测能力的评估,基于应用程序研制的过程与软件开发的生命周期,提出了一种科学计算程序验证与确认(V&V)模型.论述了物理建模、数值模拟与科学计算程序验证与确认的关系,以及科学计算程序验证与确认的方法,为科学计算程序验证与确认提供一种置信度评估方法. 展开更多
关键词 科学计算 程序设计 验证与确认(V&V)
下载PDF
浅析化学检测实验室的方法确认和方法验证 被引量:24
18
作者 侯雪 郑卫东 +1 位作者 胡莉 杨定清 《实验室研究与探索》 CAS 北大核心 2016年第2期255-258,294,共5页
根据EN ISO/IEC 17025,为了证明方法是符合目的的,化学检测实验室应对所使用的方法进行验证和确认。由此,可提供客观证据证明方法的预期用途是否得以满足。本文以方法确认和验证的定义、范围、要求为基础,比较了两者的差异;讨论了何时... 根据EN ISO/IEC 17025,为了证明方法是符合目的的,化学检测实验室应对所使用的方法进行验证和确认。由此,可提供客观证据证明方法的预期用途是否得以满足。本文以方法确认和验证的定义、范围、要求为基础,比较了两者的差异;讨论了何时应进行方法验证,何时应开展方法确认,以及开展方法确认和验证的具体程序。此外,本文还讨论了方法确认和验证过程中涉及到的性能参数,包括准确度、正确度、精密度、线性度、检出限、定量限、选择性/特异性和测量不确定度,为方法确认和验证的实施提供了参考,也为实验室依照EN ISO/IEC 17025要求,制定方法确认和验证程序文件和作业指导书提供了指导。 展开更多
关键词 方法确认 方法验证 化学检测实验室
下载PDF
浅谈实验室检测方法的验证与确认 被引量:11
19
作者 李梅 王晴 +3 位作者 李树贵 王丹慧 万忠华 王丹 《食品安全质量检测学报》 CAS 2018年第23期6305-6308,共4页
检验方法是实验室用于实施检测工作所依据的标准方法和技术规范,方法及检测步骤的不同直接导致了检验结果的不同。本文从检验方法的选择及原则、方法验证和确认的定义、技术要求、开展方式等方面展开论述二者的区别,以阐述化学分析实验... 检验方法是实验室用于实施检测工作所依据的标准方法和技术规范,方法及检测步骤的不同直接导致了检验结果的不同。本文从检验方法的选择及原则、方法验证和确认的定义、技术要求、开展方式等方面展开论述二者的区别,以阐述化学分析实验室如何做好方法的选择、验证和确认,从而保证检验结果的准确性。 展开更多
关键词 检测方法 验证 确认
原文传递
故障预测与健康管理系统验证与确认方法综述 被引量:17
20
作者 景博 杨洲 +1 位作者 张劼 周宏亮 《计算机工程与应用》 CSCD 北大核心 2011年第21期23-27,共5页
介绍了故障预测与健康管理验证与确认的研究动机,说明了该方法在整个系统设计中的地位;将验证和确认方法分为三大支撑技术:验证方法与性能评估、原型验证系统和不确定性管理,综述了这三种支撑技术的现有方法,分析比较了各方法的区别和联... 介绍了故障预测与健康管理验证与确认的研究动机,说明了该方法在整个系统设计中的地位;将验证和确认方法分为三大支撑技术:验证方法与性能评估、原型验证系统和不确定性管理,综述了这三种支撑技术的现有方法,分析比较了各方法的区别和联系,指出了具体的实现途径;点明了故障预测与健康管理系统验证与确认方法要关注的问题,明确了未来的发展趋势。 展开更多
关键词 故障预测与健康管理 验证与确认 性能评估 原型系统 不确定性管理
下载PDF
上一页 1 2 27 下一页 到第
使用帮助 返回顶部