验证与确认

摘要： 工业CFD(computational fluid dynamics)软件属于计算机辅助工程(computer-aidedengineering,CAE)软件的一种,在航空航天等领域有着广泛的应用.其开发过程强烈依赖于流体力学、数学、计算机以及其他领域学科知识模型,涉及大量理论推导、模型构建、算法优化、验证与确认等专业性、基础性科学研究,导致软件系统构成复杂,研发难度巨大.通过引入软件工程的方法和实践,能够对软件开发进行更有效的组织与管理,达到缩短开发周期、提升软件质量的目的.分析了工业CFD软件的特点和发展趋势,提出了适合于工业CFD软件的增量与迭代结合的开发模型.自主研发了面向CFD仿真软件的自动化持续集成平台.从软件交互、封装与效率、功能扩展性及高性能集群环境部署等方面给出了工业CFD软件的设计建议.针对性建立了适用于科学计算软件的验证与确认方法.最后给出了一款国产自主CFD软件示范性案例,以期为相关研究者和实践者提供参考.

摘要： 真实复杂环境下,气动数值模拟(CFD)结果的可信度问题一直是工程上关注的焦点问题之一。不确定度量化是评估真实环境下,数值模拟结果的可信任程度的重要工具。本文对面向航空工程的CFD不确定度量化方法进行综合论述,聚焦解决工程实用化问题。在方法层面,针对解决不确定度量化中的“维数灾难”问题,发展以Kriging-MC为代表的改进蒙特卡罗(MC)类方法,以及以非介入式多项式混沌(NIPC)为代表的谱方法;在工具层面,提出一种通用性非常强的不确定度量化评估基础平台框架UQ-CFD,提供交互式环境,实现批量不确定性参数生成、试验设计、批量作业组织及自动加载、自动结果后处理等实现不确定度量化过程所需工具的有机集成。基于UQ-CFD平台,可实现涉及操作不确定性、几何不确定性、物理模型参数(建模)不确定性等典型不确定性的评估。采用经典Rosenbrock函数对所建立工具进行了基础方法的对比验证,在此基础上,以平面斜激波、高超声速圆柱问题为例开展了几何不确定性和来流参数不确定性影响的定量评估,表明本文提出的方法是有效的。

摘要： 核电厂数字化分布式控制系统(DCS)软件组态逻辑功能在工厂测试与现场调试阶段存在重复验证、设计变更频繁等问题。对核电典型系统逻辑组态工厂测试与现场调试功能验证方法进行了对比分析,研究了华龙一号核电设计、制造、调试技术文件体系的现状。在遵守核安全导则《HAD 102/16核动力厂基于计算机的安全重要系统软件》和保证核岛系统控制功能组态逻辑验证完整性的前提下,提出了工厂测试与现场调试阶段的核电DCS组态的逻辑功能总体验证策略,优化了两个阶段在系统设计与组态功能正确性交叉验证中的重复内容。核电DCS组态逻辑功能总体验证技术的应用,能够有效提升系统测控功能的正确性,提高现场试验一次成功率,减少重复验证,缩短核电建造工期。

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

摘要： 气动仿真的可信度目前还没达到与试验同等的水平,在航空发动机设计研发中扮演的仅仅是预研和趋势性分析的角色[1]。改变这一现状的关键就是提高气动仿真的可信度,而校核、验证与确认(VV&A)是进行仿真可信度评估的重要手段。

摘要： 针对不同燃耗深度的燃耗计算问题开发了2条集总裂变产物燃耗链并研制了燃耗计算模块.该燃耗计算模块已集成在快堆稳态中子学计算程序SARAX-LAVENDER(简称LAVENDER)中.利用MOX-1000燃耗基准题,对LAVENDER程序进行了验证,LAVENDER计算结果与国际其他程序计算结果的平均值吻合较好,证明了本文开发的燃耗链及程序模块的正确性.另外,利用JOYO MK-I燃耗反应性测量实验完成了LAVERDER程序的确认,与实验测量值相比,LAVENDER计算每个循环燃耗反应性损失的相对偏差小于9％,与日本专用快堆分析系统计算结果精度相当.

摘要： 危害会妨碍保护功能的执行,使核电厂处于不安全状态.软件验证中的危害分析能够探究和识别一般设计评审和测试中无法识别的潜在危害,是提高软件质量的有效手段.为了引导分析人员全面识别危害,对保护系统结构特点、软件开发特点和软件关键特性进行研究,提出了建立以识别潜在危害为目的 的软件质量度量模型.分解由软件执行的系统功能,对分解得到的每个功能,采用软件功能特性作为质量度量指标,再从以软件过程特性为主的几个维度判断使每个指标恶化的危害,构建多维度度量模型.该建模方法能够系统性地引导分析人员构建模型,以便全面识别软件设计过程中引入到系统中的潜在危害.实践证明,采用该方法构建的模型能够为后续的危害分析工作奠定良好的基础,对辅助危害分析具有重要意义.同时,该研究成果对于软件工程领域以提高软件质量为目的 的相似研究具有借鉴和启示意义.

摘要： 提出了危害日志协作平台的具体功能.根据EN 50126-1&2中关于验证与确认的要求,说明了危害日志中验证与确认的作用.阐述了在危害日志协作平台中如何实现验证与确认的流程,以保障危害日志工作能够满足标准中规定的流程要求.

摘要： 高精度、高效率和高可信属性是对数值风洞的共性和基础性技术需求.在"国家数值风洞"(NNW)工程支持下,瞄准为验证和确认分系统提供技术支撑,提出重点发展基于指标体系的软件可信度评价技术.基本策略是:针对数值风洞工程研制的常规定常气动力/热软件和非定常类型(含多体分离、动态特性)软件,从软件生命周期不同用户(含软件开发者、评价第三方和工业应用部门)所关心的主要可信度问题出发,研究建立可对软件功能、基本流动模拟能力及工程应用能力进行综合评价的CFD软件可信度指标评价体系,提出具体的评价方法和评价算例,建立验证确认算例库.对基于指标体系的数值风洞软件可信度评价技术的具体实施思路及问题的复杂性进行论述,报道取得的阶段性成果,指出下一步工作重点和方向.

摘要： 在对国内外关于药品工艺验证有关法规指南分析的基础上,明确了工艺验证的基本原则与要求.通过对近几年国内外药品检查中发现的药品生产企业在工艺验证方面存在缺陷的分析,对工艺验证中的常见问题进行总结、分类与提炼.为我国制药行业进一步做好工艺验证提供参考,同时也为工艺验证的检查提供借鉴.

摘要： 在数字化核功率测量装置的研究中选择了基于PC/104总线的嵌入式PC微处理器，使得整个装置结构紧凑、性能可靠、开发和调试方便．在测量装置的研制过程中研究了安全软件的设计方法、安全软件的验证与确认过程以及安全软件的单元测试等问题。

摘要： 随着高性能计算软硬件支撑环境日益复杂化,并行软件开发已成为大型科学工程计算（CSE）的主要瓶颈.本文介绍了高性能计算软件开发活动、以及该过程中的活动人员——高性能计算开发人员的特征；结合大量前人的实践和我们的经验,研究高性能计算软件开发中的瓶颈问题,并探讨了其中的一些技术途径.

摘要： 随着高性能计算软硬件支撑环境日益复杂化,并行软件开发已成为大型科学工程计算（CSE）的主要瓶颈.本文介绍了高性能计算软件开发活动、以及该过程中的活动人员——高性能计算开发人员的特征；结合大量前人的实践和我们的经验,研究高性能计算软件开发中的瓶颈问题,并探讨了其中的一些技术途径.

摘要： 随着高性能计算软硬件支撑环境日益复杂化,并行软件开发已成为大型科学工程计算（CSE）的主要瓶颈.本文介绍了高性能计算软件开发活动、以及该过程中的活动人员——高性能计算开发人员的特征；结合大量前人的实践和我们的经验,研究高性能计算软件开发中的瓶颈问题,并探讨了其中的一些技术途径.

摘要： 随着高性能计算软硬件支撑环境日益复杂化,并行软件开发已成为大型科学工程计算（CSE）的主要瓶颈.本文介绍了高性能计算软件开发活动、以及该过程中的活动人员——高性能计算开发人员的特征；结合大量前人的实践和我们的经验,研究高性能计算软件开发中的瓶颈问题,并探讨了其中的一些技术途径.

摘要： 随着高性能计算软硬件支撑环境日益复杂化,并行软件开发已成为大型科学工程计算（CSE）的主要瓶颈.本文介绍了高性能计算软件开发活动、以及该过程中的活动人员——高性能计算开发人员的特征；结合大量前人的实践和我们的经验,研究高性能计算软件开发中的瓶颈问题,并探讨了其中的一些技术途径.

摘要： 首先，在不利用容器杀菌装置(13)对瓶(30)进行杀菌的情况下将瓶(30)传送到填充装置(20)中，使用填充装置(20)向瓶(30)内填充培养基。接着，使用盖体安装装置(16)用盖体(33)封闭瓶(30)。其后，验证在瓶(30)内的培养基中是否有菌的存活或繁殖。

摘要： 一种用于操作源节点的方法，包括：接收数据路径确认请求命令，数据路径确认请求命令用于请求确认与标识于该数据路径确认请求命令中的业务流相关联的路径，以及根据被确认的该路径确定第一跳序列，其中，该第一跳序列和与非确认请求分组相关联的第二跳序列相同，该非确认请求分组与被确认的该路径相关联。该方法还包括该源节点根据该数据路径确认请求命令生成确认请求分组，该确认请求分组包括与该第一跳序列相关联的路由信息、设置为指定值的告警标识以及路径确认报头，路径确认报头指定由接收该确认请求分组的节点执行的处理；以及源节点根据该路由信息发送该确认请求分组。

摘要： 本发明涉及电子票券的接收确认系统、验证系统和验证方法。其中，电子票券的接收确认系统包括：传感器，用于向预定范围发送蓝牙4.0广播包；以及中央处理器，用于判断接收到所述蓝牙4.0广播包的外部设备所发送的蓝牙数据是否有效。采用本发明的电子票券的接收确认系统、验证系统和验证方法，用户操作简便且商家成本节约。

摘要： 本发明涉及一种用于确认或验证现场设备的方法，该现场设备在自动化技术中确定或监测过程介质的物理、化学或生物过程变量，其中：该现场设备(FG)由多个硬件模块和软件模块构成；该现场设备在制造商侧(HS)设置有第一加密签名(S1)；该第一加密签名(S1)明确地识别该现场设备(FG)的设备制造商和/或原始交付状态，其由真实的硬件和软件/固件以及真实的配置设置定义；该现场设备(FG)的来源和完整性在客户侧(KS)借助于第一加密签名(S1)来确认/验证；一旦该现场设备(FG)被适配于定义的机器，那么该现场设备(FG)在客户侧(KS)上被设置第二加密签名(S2)；该第二加密签名(S2)明确地将在客户侧(KS)进行的该现场设备(FG)的适配识别为该现场设备(FG)的机器特定的预期状态；并且在将该现场设备(FG)安装在定义的机器中的时间段期间，借助于第二加密签名(S2)在客户侧(KS)执行对该现场设备(FG)的至少一次确认或验证。

摘要： 本公开提出了一种用户设备UE定位验证的确认方法及装置，该方案能够基于定位验证信息，确定是否针对UE执行定位验证，从而弥补了现有技术中缺乏如何确定是否进行UE定位验证的不足。

摘要： 本发明提供一种AFE应用软件开发验证及确认装置和方法，采用AFE模拟装置进行模拟AFE端可任意发送的数据包，AFE端的采集信息，或通过上位机去选择需要模拟AFE的型号，并通过MCU中心对AFE端模拟信息执行对应的安全措施；在执行所述安全措施时，所述AFE模拟装置对应产生一响应结果，所述响应结果呈现在所述PLC端。从而获得故障响应、故障持续时间，及BMS在功能层面上的响应结果，进而验证软件开发是否合理、完整，确认安全措施是否有效执行。

摘要： 本发明提供内容物填充系统中的初始菌确认方法以及无菌性验证方法，首先，在不利用容器杀菌装置(13)对瓶(30)进行杀菌的情况下将瓶(30)传送到填充装置(20)中，使用填充装置(20)向瓶(30)内填充培养基。接着，使用盖体安装装置(16)用盖体(33)封闭瓶(30)。其后，验证在瓶(30)内的培养基中是否有菌的存活或繁殖。

摘要： 本发明提供了确认有效人脸区域的方法，包括从活体人脸图片中获取第一人脸框；依据第一人脸框中确定若干有效关键点，对若干有效关键点进行计算得到第二人脸框，计算第一人脸框与所述第二人脸框间的距离；依据第一人脸框与第二人脸框间的距离对第一人脸框和第二人脸框的任意一种执行调整运算以确定第三人脸框，避免了现有技术中人脸框区域选取过大或过小所造成的干扰信息或错误识别，从而提升了活体人脸检测和验证的准确性。本发明还提供了一种活体人脸验证方法，包括通过确认有效人脸区域的方法从活体人脸图片中获取第三人脸框，进行人脸验证步骤。提高了活体人脸识别验证的准确性和精确度，从而提高了活体人脸识别的可靠性和稳定性。

摘要： 本发明公开了一种CFD软件验证与确认数据库平台，包括展示层、应用层、服务支撑层和资源层；所述展示层面向不同用户展示信息，并提供各项业务功能的快速入口；所述应用层为所述数据库平台提供各项具体功能，并通过集成接口，实现与外部系统的数据传输；所述服务支撑层主要提供基础性的功能组件或工具，分为服务器端组件和客户端插件；所述服务器端组件提供平台事务处理、数据接口、数据缓存、工作流引擎、报告生成和检索引擎；所述客户端组件主要包括数据建模工具、数据展现工具、数据导入工具、流程建模工具、数据处理分析工具；所述资源层提供支撑所述数据库平台运行的软硬件平台。本发明中的数据库平台为CFD软件验证与确认提供了专用数据库。

摘要： 本发明公开了一种CFD软件验证与确认数据库平台，包括展示层、应用层、服务支撑层和资源层；所述展示层面向不同用户展示信息，并提供各项业务功能的快速入口；所述应用层为所述数据库平台提供各项具体功能，并通过集成接口，实现与外部系统的数据传输；所述服务支撑层主要提供基础性的功能组件或工具，分为服务器端组件和客户端插件；所述服务器端组件提供平台事务处理、数据接口、数据缓存、工作流引擎、报告生成和检索引擎；所述客户端组件主要包括数据建模工具、数据展现工具、数据导入工具、流程建模工具、数据处理分析工具；所述资源层提供支撑所述数据库平台运行的软硬件平台。本发明中的数据库平台为CFD软件验证与确认提供了专用数据库。