导读:本文包含了程序验证论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:子群,多核,程序,参数,代码,方法,稳态。
程序验证论文文献综述
邓彬,陈金根,何龙,夏少鹏,余呈刚[1]（2019）在《熔盐快堆稳态核热耦合程序开发及验证》一文中研究指出无慢化罐式堆芯结构的熔盐快堆(Molten Salt Fast Reactor,MSFR)中存在中子物理与热工水力的强耦合。应用耦合蒙特卡罗粒子输运程序OpenMC与计算流体力学软件OpenFOAM,建立了一套适用于熔盐快堆的叁维稳态核热耦合计算程序。该程序基于python编程语言实现了OpenMC和OpenFOAM二者间的功率、燃料盐温度和密度分布等数据交互,可以获得堆芯内叁维功率分布、中子通量密度分布、叁维速度场和温度场分布。采用该耦合程序,建立了熔盐快堆的基准模型,研究了中子学区域划分数目和初始条件对keff、燃料盐速度和温度分布的影响。根据研究结果,推荐了一套合理的中子学区域划分方法与数目,表明了耦合程序设定的不同初始条件对keff结果无影响。最后,通过与熔盐快堆基准结果的对比验证了耦合程序的正确性,表明该程序适用于熔盐快堆的稳态核热耦合分析。(本文来源于《核技术》期刊2019年11期）
姚丽萍,柴伟平,杨建成,夏佳文,申国栋[2]（2019）在《双平面多圈注入模拟优化程序TPIS的初步开发与验证》一文中研究指出为满足短时间内达到高累积流强要求,HIAF/BRing采用了一种新的注入方法――双平面相空间多圈注入。该注入方法与传统单平面多圈注入方法不同,而且在国际上是首次在实际项目中采用,尚无实际运行经验。因此,对注入过程进行程序模拟研究是验证双平面多圈注入方案可行性的必要手段。为详细模拟研究BRing双平面多圈注入过程,并克服已有程序跟踪速度较慢且注入参数修改不便的缺点,本文根据双平面多圈注入的特点,建立了双平面多圈注入模型,编写了双平面多圈注入模拟优化程序TPIS(Two-Plane multiturn Injection Simulation)。通过与ORBIT程序模拟结果对比,验证了TPIS程序模拟双平面多圈注入过程的正确性。在此基础上,在TPIS程序中加入了粒子群优化算法,并对BRing注入参数进行了优化。结果表明,TPIS程序可以对注入参数进行有效优化,经过优化后,束流损失减少了28%,最终剩余累积粒子数满足BRing的流强设计指标要求,进一步验证了双平面多圈注入设计的可行性。(本文来源于《原子核物理评论》期刊2019年03期）
郭绪晓,柏淑美,凌欣,高洁,李金星[3]（2019）在《能力验证/室间质量评价标本在电化学发光检验程序正确度验证中的应用》一文中研究指出目的探讨能力验证(PT)/室间质量评价(EQA)标本在电化学发光项目正确度验证中的应用价值。方法根据美国临床实验室标准化协会(CLIS)EP15-A3文件正确度验证5×5方案,利用2018年国家卫生健康委PT/EQA计划提供的标本,分别对游离叁碘原氨酸(FT3)和雌二醇(E2)等电化学发光项目进行正确度验证,每个样本每天检测1批,每批重复5次,共5 d。采用Grubbs'法判断离群值,采用单因素方差分析方法计算重复性精密度(SR)、实验室内不精密度(SWL)、总体标准误(SEx)、定值物质标准误(SERM)和总体合成标准误(SEC),再根据自由度(dfC)查T分布界值表得到m值,计算正确度验证区间。总体均值如果在验证区间内,正确度验证通过;如果超出验证区间,则计算偏移,并与实验室规定的目标偏移进行比较。结果 FT3和E2的总体均值均在正确度验证区间内,正确度验证通过。结论可以采用PT/EQA标本对定值物质进行实验室检测程序的正确度验证。(本文来源于《检验医学》期刊2019年09期）
闫仕宇,阳小华,刘志明,王瑶[4]（2019）在《堆芯稳态核设计程序验证基准题衍生技术研究》一文中研究指出软件验证是保证核电软件质量的必经步骤之一,基准题验证是核电软件验证的一种重要手段.基准题的数据来源主要是通过自主实验、收集核电厂运行数据、加入国际实验研究计划和购买国际基准题的数据等传统方法获取,但是存在成本高,周期长的问题.为了给堆芯稳态核设计程序验证测试提供更多的验证基准题,本文基于蜕变测试原理提出一种基准题衍生技术,该技术首先建立基准题衍生框架,主要思想是根据蜕变关系的参变量及关系式,直接对原始基准题的相关输入和输出参变量进行计算求解,得到衍生基准题(新的测试用例).再者,针对基准题以固定格式输入卡的形式实现待测程序数据输入的特点,为了提高衍生效率,设计基准题自动衍生算法,开发基准题自动衍生工具系统.最后,以堆芯稳态中子扩散程序的二维、叁维基准题的衍生为实例展示.结果表明,该技术可自动地实现单个或者批量生成二维,叁维衍生基准题.不但生成数据准确、效率高,而且比传统的方法成本低.(本文来源于《哈尔滨工业大学学报》期刊2019年11期）
涂晓兰,柴晓明,芦韡,陈定勇,郭凤晨[5]（2019）在《先进中子学栅格计算程序KYLIN-Ⅱ共振计算基准验证》一文中研究指出针对先进栅格计算程序KYLIN-Ⅱ的共振计算模块,开展了多个基准题数值验证,包括单栅元、IAEA板型燃料组件、钍基组件、多层套管型燃料组件、带可燃毒物的燃料栅格、带中心大水腔的超临界水堆燃料栅格、AFA3G含钆燃料组件基准题。验证结果表明,本文的共振计算模块适用于棒栅元方型组件、板型燃料组件、六角形组件等几何结构较复杂的问题,同时可以正确计算含有铀、钍、毒物等复杂材料的共振问题,满足未来工程使用的需求。(本文来源于《核动力工程》期刊2019年05期）
梁子财[6]（2019）在《数控加工G代码程序仿真验证软件开发》一文中研究指出利用Qt平台与OpenGL库开发了一款针对数控加工G代码程序的仿真验证软件,该软件能够根据加载的G代码程序自动绘制加工图像,同时可以检测G代码程序的错误并标记,方便用户提前验证G代码的可行性,减少资源浪费,缩短开发周期。(本文来源于《科技与创新》期刊2019年16期）
李亮,刘登成,郑巢生,周斌[7]（2019）在《螺旋桨水动力性能预报自动化程序开发及试验验证》一文中研究指出本文基于MATLAB平台,以商业黏流软件为核心,集成UG的几何建模功能开发了一套螺旋桨水动力预报自动化程序。以DTMB4119桨为例,介绍了自动化程序的工作流程,并应用该自动化程序对6个螺旋桨的水动力性能进行了数值预报,且与试验结果进行了对比分析,分析结果表明除新剖面桨外,CFD推力扭矩计算值普遍小于试验值,推力和扭矩系数计算误差值总体在5%以内,可满足螺旋桨设计过程中的评估精度要求。(本文来源于《第叁十届全国水动力学研讨会暨第十五届全国水动力学学术会议论文集(上册)》期刊2019-08-16）
刘伟,张勇,蒋孝蔚,张诚,张大林[8]（2019）在《板型燃料元件反应堆瞬态热工水力分析程序的开发与验证》一文中研究指出针对核动力系统瞬态分析的需求,建立板型燃料反应堆的热工水力数学物理模型,开发了具有自主知识产权的核动力系统瞬态热工水力分析程序SYSTRAN,并采用中国先进研究堆(CARR堆)的设计工况和国际原子能机构(IAEA)基准题的堵流瞬态数据对程序进行了验证。计算结果表明,堆芯流量分配、出口温度等关键参数与验证数据吻合良好,初步证明了本程序适用于板型燃料反应堆系统瞬态热工水力分析。(本文来源于《核动力工程》期刊2019年05期）
陈韬,王明明[9]（2019）在《面向多线程程序的内存安全运行时验证》一文中研究指出Linux操作系统、嵌入式系统、航电系统、通信系统等一般都是用C/C++语言进行编写。因为C语言具有偏底层硬件、移植性强、执行效率高等优秀特性。但是随着多核并行机的出现,许多语言也开始支持多线程编程。由于C语言本身存在着对内存访问时,不对内存边界进行检查的问题,从而造成软件系统相关的可靠性和安全性问题。对多线程C语言程序来说,由于多线程程序的不确定性,使得运行时验证多线程C程序的内存安全问题变得更加困难。通过使用基于改进的指针运行时验证技术、多核多线程技术、并行计算、无锁数据结构技术、源代码插桩技术方法,并结合开源工具Clang编译器实现原型工具Movec对多线程C程序的支持。该工具实现了对多线程C程序内存安全问题的运行时验证。然后通过Mibench和SARD测试用例进行实验,验证了该工具对多线程C程序进行运行时验证的有效性。(本文来源于《计算技术与自动化》期刊2019年02期）
钱佳琪[10]（2019）在《一种统一的基于操作语义的程序动态更新验证方法》一文中研究指出软件动态更新(Dynamic Software Updating,DSU)是一种高效的软件更新方式。传统的软件更新方式是先将正在运行中的软件关闭,然后安装新版本,最后重新开始执行新版本程序。而软件动态更新是指在软件运行过程中无需中断软件执行就完成版本升级。随着社会的高速信息化发展,各类软件系统在社会生活的方方面面起到了十分重要的作用。动态更新这项技术对于一些需要提供24小时不间断服务的软件系统尤其重要,例如:云计算,网络服务以及金融行业系统等。中断这类程序的执行有可能会产生巨大的代价。同时信息物理融合系统(Cyber-Physical Systems,CPS)和物联网(Internet of Thing,IoT)发展迅猛,人们对于更加智能的能够动态更新的软件的需求不断扩大。研究人员在动态更新的研究上投入了大量的精力,已经实现了一些主流编程语言程序的动态更新,例如,C语言,Java和Python等。但是动态更新仍未能和预期一样被广泛运用,其中最重要的原因是很难保证更新的正确性。然而切实需要这项技术的软件系统往往需要高度安全可信。针对动态更新的安全性保障问题,本文提出了一种统一的基于操作语义的方法来形式化建模和验证软件的动态更新。在我们的方法中,具体的动态更新策略被定义为一系列可执行的重写规则,这些重写规则的执行依赖于目标编程语言的操作语义。这种方法是基于K框架的,K框架(K-Framework)是一种程序设计语言的形式化语义框架。由于许多主流编程语言的操作语义已经在K框架上得到了较完整的定义,所以我们在实际使用中只需要关注具体的动态更新策略的建模,这样就极大地提高了我们方法的可推广性以及研究效率。K框架可以通过形式化的操作语义定义自动产生一些验证工具,例如可以模拟程序动态更新过程的解释器,可以检查所有可能的运行结果的状态空间探测器和可以验证线性时序逻辑性质的模型检测器。我们使用这种方法开发了一个针对C语言的动态更新的验证工具,K??C,并使用几个示例程序说明该工具在分析和验证软件动态更新策略正确性方面的可用性。据我们所知,K??C是第一个在代码层面验证软件动态更新的形式化工具。(本文来源于《华东师范大学》期刊2019-06-30）
程序验证论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
为满足短时间内达到高累积流强要求,HIAF/BRing采用了一种新的注入方法――双平面相空间多圈注入。该注入方法与传统单平面多圈注入方法不同,而且在国际上是首次在实际项目中采用,尚无实际运行经验。因此,对注入过程进行程序模拟研究是验证双平面多圈注入方案可行性的必要手段。为详细模拟研究BRing双平面多圈注入过程,并克服已有程序跟踪速度较慢且注入参数修改不便的缺点,本文根据双平面多圈注入的特点,建立了双平面多圈注入模型,编写了双平面多圈注入模拟优化程序TPIS(Two-Plane multiturn Injection Simulation)。通过与ORBIT程序模拟结果对比,验证了TPIS程序模拟双平面多圈注入过程的正确性。在此基础上,在TPIS程序中加入了粒子群优化算法,并对BRing注入参数进行了优化。结果表明,TPIS程序可以对注入参数进行有效优化,经过优化后,束流损失减少了28%,最终剩余累积粒子数满足BRing的流强设计指标要求,进一步验证了双平面多圈注入设计的可行性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
程序验证论文参考文献
[1].邓彬,陈金根,何龙,夏少鹏,余呈刚.熔盐快堆稳态核热耦合程序开发及验证[J].核技术.2019
[2].姚丽萍,柴伟平,杨建成,夏佳文,申国栋.双平面多圈注入模拟优化程序TPIS的初步开发与验证[J].原子核物理评论.2019
[3].郭绪晓,柏淑美,凌欣,高洁,李金星.能力验证/室间质量评价标本在电化学发光检验程序正确度验证中的应用[J].检验医学.2019
[4].闫仕宇,阳小华,刘志明,王瑶.堆芯稳态核设计程序验证基准题衍生技术研究[J].哈尔滨工业大学学报.2019
[5].涂晓兰,柴晓明,芦韡,陈定勇,郭凤晨.先进中子学栅格计算程序KYLIN-Ⅱ共振计算基准验证[J].核动力工程.2019
[6].梁子财.数控加工G代码程序仿真验证软件开发[J].科技与创新.2019
[7].李亮,刘登成,郑巢生,周斌.螺旋桨水动力性能预报自动化程序开发及试验验证[C].第叁十届全国水动力学研讨会暨第十五届全国水动力学学术会议论文集(上册).2019
[8].刘伟,张勇,蒋孝蔚,张诚,张大林.板型燃料元件反应堆瞬态热工水力分析程序的开发与验证[J].核动力工程.2019
[9].陈韬,王明明.面向多线程程序的内存安全运行时验证[J].计算技术与自动化.2019
[10].钱佳琪.一种统一的基于操作语义的程序动态更新验证方法[D].华东师范大学.2019
论文知识图
