分析计算程序论文_何蓥伟,文旭,艾林,陈卓,何枭峰

导读:本文包含了分析计算程序论文开题报告文献综述、选题提纲参考文献及外文文献翻译,主要关键词:程序,苹果公司,控制棒,屏蔽,模型,数据,土石。

分析计算程序论文文献综述

何蓥伟,文旭,艾林,陈卓,何枭峰[1](2019)在《基于PSD-BPA的计算分析辅助程序的设计及实现》一文中研究指出利用Python语言,设计开发了一个辅助程序,可将原始的BPA仿真数据展示为Excel表格,并能将表格形式的输入数据回存为BPA文件格式,还可快速生成用于暂态仿真的故障集。该程序能帮助初学者更快地掌握BPA,提高仿真分析的效率。(本文来源于《重庆电力高等专科学校学报》期刊2019年03期)

姜茜[2](2019)在《基于分布式图计算的大规模程序静态分析算法与系统》一文中研究指出程序静态分析技术被广泛应用于计算机程序设计与开发的诸多环节,包括错误检测、代码优化、测试等。基于CFL(Context-Free Language)可达的过程间程序静态分析是一种具有较高通用意义的过程间静态分析方法,该方法本质上是一种图的可达性计算问题。尽管程序静态分析方面的研究取得了很多进展,但是由于硬件资源和传统方法的限制,单机计算已难以支撑日益增长大规模图数据的高效处理,从而导致了静态分析方法的性能低效且可扩展性较低。因此对大规模现代软件进行复杂的过程间分析仍然具有挑战性。针对大规模程序静态分析性能低效和可扩展性低的问题,本文提出了一种基于分布式图计算模型的高效可扩展的并行化大规模程序静态分析方法,并设计实现了高效可扩展的分布式大规模程序静态分析系统。本文的主要研究工作和贡献点如下:(1)将基于CFL可达的程序静态分析问题抽象为大规模图计算问题,基于数据并行框架研究设计了一种新型的并行化传递闭包算法和Join-Process-Filter计算模型,基于该算法和计算模型,设计实现了一个分布式离线全量程序静态分析系统,分别提出了算法级和系统级优化,并设计了具有压缩效果的数据结构。(2)在离线全量分析系统的基础上,进一步研究设计了支持小批量代码更新的在线增量程序静态分析系统。研究提出了叁角形计数法以支持对图拓扑的不断更新,还改进了离线系统的数据结构以适用在线分析,且对于小批量更新可能触发的大规模计算,设计实现了预测和计算模式的自动切换机制。(3)基于大数据处理平台Spark、分布式文件系统HDFS和分布式内存数据库Redis,设计实现了一套集计算、存储、查询为一体的大规模分布式程序静态分析系统和框架。设计实现的程序静态分析系统具有较好的通用性,能够支撑所有可表达为CFL可达性问题的静态分析任务。(4)在真实大规模软件数据集上进行的性能实验表明,本文实现的离线全量程序静态分析系统具有良好的性能和可扩展性,优于现有的最先进的分析工具。在相同数据集上进行增量更新的实验表明,对于数量级在1000以内的批量更新,在线分析系统可实现秒级响应,具有一定的实时性。(本文来源于《南京大学》期刊2019-05-24)

肖挚冰[3](2019)在《巧用苹果“BOX” 培养计算思维——程序分支结构实物教具应用案例分析》一文中研究指出本文描述了应用实物教具将苹果公司"BOX"面试题引入高中信息技术课堂来建构"问题情境",讲授了程序分支结构的具体过程,探讨了引导学生从日常经验思维向信息技术计算思维递进的方式方法,阐述了课堂教学中应用实物教具讲授抽象程序结构的原则、步骤,拓展强化了高中学生计算思维能力的新路径。(本文来源于《名师在线》期刊2019年11期)

陈祖煜,陈淑婧,王琳,张强[4](2019)在《土石坝溃坝洪水分析:原理和计算程序》一文中研究指出准确预测土石坝溃决洪水过程直接影响应急处置方案的制定与实施。本文详细介绍了DB-IWHR溃坝洪水分析软件的原理与应用,提出了双曲线冲刷侵蚀模型,侧向扩展模型改进为双曲线形式,并且将敏感性较低的淹没系数m简化。同时,对比了双曲线冲刷侵蚀模型和线型冲刷侵蚀模型的计算结果,验证了双曲线冲刷侵蚀模型的合理性。DB-IWHR溃坝洪水分析软件可快速进行土石坝溃决洪水的计算,其程序使用简单,计算快速、准确,鲁棒性强。(本文来源于《水利科学与寒区工程》期刊2019年02期)

李根[5](2019)在《关于嵌入式计算系统程序性能分析优化的研究》一文中研究指出根据嵌入式计算系统设计对实时性、功耗和成本的要求,提出了在嵌入式程序开发过程中,利用循环变换技术和代码放置在编译后端代码生成的优化和对提高缓存利用率的优化,通过对几段代码的分析,说明循环变换结合CPU流水线技术,提高代码执行效率;利用矩阵代数方法,以改变数组元素遍历顺序实现编译后端优化;以及基于图像处理过程,利用分块的循环优化技术,重排数据元素,降低高速缓存失效率,提高存储访问局部性的仿真和分析。结果证明,循环变换优化技术对系统存储访问有显着的性能提升和功耗的降低。(本文来源于《电脑编程技巧与维护》期刊2019年01期)

贾国斌,伍建辉,陈金根,顾国祥,蔡翔舟[6](2019)在《基于Dragon与Donjon程序的液态熔盐实验堆临界计算与分析》一文中研究指出基于组件输运程序Dragon与堆芯节块法程序Donjon,对包含有上下熔盐腔室、控制棒、实验孔道与中子源孔道的液态熔盐实验堆堆芯进行了计算与分析,给出了液态熔盐实验堆不同组件的等效均匀化模型。根据液态熔盐实验堆特性将中子能群划分为5种少群能群结构,基于所划分的每一种少群能群结构,对单根控制棒与不同控制棒组插入堆芯后的有效增殖因数和控制棒价值进行了计算分析。结果表明,7群能群结构具有更好的计算结果。基于7群能群结构开展了堆芯径向与纵向功率分布,以及控制棒拔出后堆芯的温度反应性系数计算分析,其计算结果与MCNP5计算结果相近,证明了模型等效的合理性以及Dragon和Donjon程序对液态熔盐实验堆的适用性。(本文来源于《原子能科学技术》期刊2019年05期)

罗毅桦[7](2018)在《基于推理公式法的小流域牛顿迭代计算程序与流域参数影响分析》一文中研究指出由于缺乏流量资料,工程小流域设计洪水计算通常需要采用暴雨资料推求法获得相应的洪峰流量。该文基于推理公式法,结合牛顿迭代方法,基于VC++编译平台自主开发小流域设计洪水计算程序,用于快速计算小流域洪峰流量、汇流历时与汇流速度,提高工程小流域设计洪水计算效率。利用该程序计算小流域河道平均坡降、主河道长及流域下垫面条件类别等参数变化实例,分析参数变化对小流域洪峰流量的影响,对揭示小流域设计洪水的影响因素具有借鉴作用。(本文来源于《水利科技》期刊2018年04期)

韩静茹,苗毓文,兰兵,陈海英,郭瑞萍[8](2018)在《JMCT2.0程序临界屏蔽验证计算与分析》一文中研究指出JMCT2.0是北京应用物理与计算数学研究所自主研发的叁维蒙特卡罗粒子输运程序,本文采用叁种自设模型对JMCT2.0开展校验计算,并将JMCT2.0计算结果与MCNP结果进行对比分析。验算模型包括临界计算、中子屏蔽和光子屏蔽计算叁种模型。结果表明,JMCT2.0计算结果与MCNP结果吻合较好,其中临界计算结果偏差在0.1%以内;中子屏蔽计算结果偏差在1.8%以内;光子屏蔽计算结果偏差在2.1%以内,初步验证了JMCT2.0程序临界及屏蔽计算的正确性。(本文来源于《核科学与工程》期刊2018年06期)

杨超,程汤培,邓力,付元光,温丽丽[9](2019)在《叁维并行程序JSNT对HBR-2装置的屏蔽计算与分析》一文中研究指出屏蔽计算是反应堆设计的重要环节之一,其计算结果直接影响核系统的寿命以及周边环境的辐射安全。JSNT是由中物院高性能数值模拟软件中心自主研发的叁维离散纵标(S_N)中子/光子输运程序,采用区域分解实现大规模并行,具有较高的计算精度和计算效率。本文利用JSNT对HBR-2装置进行屏蔽计算,分析了辐照监督管处和中子剂量测量仪处的中子通量密度分布以及6个核素的放射性比活度,并与实验测量值进行了比较,发现网格划分对计算结果有较大影响,随着网格的加密,计算结果趋于实验值;除在中子剂量测量仪处的~(237)Np(n,f)~(137)Cs和~(238)U(n,f)~( 137)Cs外,计算结果与测量值的相对偏差均小于20%,满足工程要求。(本文来源于《原子能科学技术》期刊2019年02期)

乔雪冬,毕金生,胡健,王桂敏[10](2018)在《基于Gasflow程序的非能动安全压水堆氢气行为计算和分析》一文中研究指出本文利用Gasflow程序对非能动压水堆发生假想的严重事故后,安全壳内的氢气流动、分布和积聚行为进行了计算和分析,对安全壳内各房间的氢气风险进行了评价并给出了降低氢气燃烧风险的建议。计算结果表明,在发生大破口事故中,安全壳内氢气浓度较高的区域为破损蒸汽发生器隔间,内置换料水箱隔间和上部隔间,需要设置消氢系统来降低隔间内的氢气浓度。(本文来源于《核安全》期刊2018年04期)

分析计算程序论文开题报告

(1)论文研究背景及目的

此处内容要求:

首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。

写法范例:

程序静态分析技术被广泛应用于计算机程序设计与开发的诸多环节,包括错误检测、代码优化、测试等。基于CFL(Context-Free Language)可达的过程间程序静态分析是一种具有较高通用意义的过程间静态分析方法,该方法本质上是一种图的可达性计算问题。尽管程序静态分析方面的研究取得了很多进展,但是由于硬件资源和传统方法的限制,单机计算已难以支撑日益增长大规模图数据的高效处理,从而导致了静态分析方法的性能低效且可扩展性较低。因此对大规模现代软件进行复杂的过程间分析仍然具有挑战性。针对大规模程序静态分析性能低效和可扩展性低的问题,本文提出了一种基于分布式图计算模型的高效可扩展的并行化大规模程序静态分析方法,并设计实现了高效可扩展的分布式大规模程序静态分析系统。本文的主要研究工作和贡献点如下:(1)将基于CFL可达的程序静态分析问题抽象为大规模图计算问题,基于数据并行框架研究设计了一种新型的并行化传递闭包算法和Join-Process-Filter计算模型,基于该算法和计算模型,设计实现了一个分布式离线全量程序静态分析系统,分别提出了算法级和系统级优化,并设计了具有压缩效果的数据结构。(2)在离线全量分析系统的基础上,进一步研究设计了支持小批量代码更新的在线增量程序静态分析系统。研究提出了叁角形计数法以支持对图拓扑的不断更新,还改进了离线系统的数据结构以适用在线分析,且对于小批量更新可能触发的大规模计算,设计实现了预测和计算模式的自动切换机制。(3)基于大数据处理平台Spark、分布式文件系统HDFS和分布式内存数据库Redis,设计实现了一套集计算、存储、查询为一体的大规模分布式程序静态分析系统和框架。设计实现的程序静态分析系统具有较好的通用性,能够支撑所有可表达为CFL可达性问题的静态分析任务。(4)在真实大规模软件数据集上进行的性能实验表明,本文实现的离线全量程序静态分析系统具有良好的性能和可扩展性,优于现有的最先进的分析工具。在相同数据集上进行增量更新的实验表明,对于数量级在1000以内的批量更新,在线分析系统可实现秒级响应,具有一定的实时性。

(2)本文研究方法

调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。

实证研究法:依据现有的科学理论和实践的需要提出设计。

定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。

定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。

跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。

模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

分析计算程序论文参考文献

[1].何蓥伟,文旭,艾林,陈卓,何枭峰.基于PSD-BPA的计算分析辅助程序的设计及实现[J].重庆电力高等专科学校学报.2019

[2].姜茜.基于分布式图计算的大规模程序静态分析算法与系统[D].南京大学.2019

[3].肖挚冰.巧用苹果“BOX”培养计算思维——程序分支结构实物教具应用案例分析[J].名师在线.2019

[4].陈祖煜,陈淑婧,王琳,张强.土石坝溃坝洪水分析:原理和计算程序[J].水利科学与寒区工程.2019

[5].李根.关于嵌入式计算系统程序性能分析优化的研究[J].电脑编程技巧与维护.2019

[6].贾国斌,伍建辉,陈金根,顾国祥,蔡翔舟.基于Dragon与Donjon程序的液态熔盐实验堆临界计算与分析[J].原子能科学技术.2019

[7].罗毅桦.基于推理公式法的小流域牛顿迭代计算程序与流域参数影响分析[J].水利科技.2018

[8].韩静茹,苗毓文,兰兵,陈海英,郭瑞萍.JMCT2.0程序临界屏蔽验证计算与分析[J].核科学与工程.2018

[9].杨超,程汤培,邓力,付元光,温丽丽.叁维并行程序JSNT对HBR-2装置的屏蔽计算与分析[J].原子能科学技术.2019

[10].乔雪冬,毕金生,胡健,王桂敏.基于Gasflow程序的非能动安全压水堆氢气行为计算和分析[J].核安全.2018

论文知识图

启动界面逐步判别分析对话框波浪载荷计算结果文件数据分析程序框图阳极溶解面形控点变化与增减双车反向行驶正弯矩冲击系数图3.1...

标签:;  ;  ;  ;  ;  ;  ;  

分析计算程序论文_何蓥伟,文旭,艾林,陈卓,何枭峰
下载Doc文档

猜你喜欢