导读:本文包含了程序自动生成论文开题报告文献综述、选题提纲参考文献，主要关键词:程序,自动生成,模型,算法,数控,椭球,套料。
程序自动生成论文文献综述写法
黄向东[1]（2019）在《基于C#和AutoCAD平面有限元网格自动生成程序开发》一文中研究指出有限单元法广泛应用于土木建筑、岩土工程、地铁隧道和水利工程等各个领域。基于此,介绍了平面有限单元网格自动生成原理,指出该原理存在两个缺陷,并提出改进方法。此外,阐述了如何在Auto CAD环境利用C#开发平面有限单元自动生成程序,描述了程序实现的关键步骤和使用方法,同时,应用一个实例验证程序的正确性,并提供程序的应用效果。(本文来源于《信息与电脑(理论版)》期刊2019年13期）
张海杰[2]（2019）在《基于多重构件的程序摘要自动生成方法研究》一文中研究指出当前,网络技术呈现出迅猛的发展态势,由此带来各式各样的应用软件。这些软件涵盖了人们生活的各个方面。不论是传统信息交流的方式,还是传统购物的方式等都发生了重大的变化,可以肯定的是,这些应用软件在未来的生活中将扮演着越来越重要的角色。为了提高应用软件的质量,程序人员通常会对应用软件进行定期维护,而在这个过程中需要花费大量的时间去查看和阅读源代码,尤其是当源代码中夹杂着一些晦涩难懂的标识符时,想要快速精准的理解源代码段的含义几乎是不现实的。研究表明,大多数的自然语言描述是由程序员手动添加完成,人工为源代码撰写相应的自然语言描述较为简洁且逻辑性高。然而,手动为大量源代码添加注释同样需要耗费大量的时间且难度较高,事实上这就要求程序维护人员事先必须深度掌握这些源代码的含义。因此,可行化的方式是自动生成源代码的自然语言形式的程序摘要。一些现有方法能够自动生成有意义的源代码注释来解释源代码的意图以帮助程序人员合理解释源代码的含义,但其生成的源代码注释无法准确表达出整个源代码段的含义,特别是一些方法将关键语句定义为源代码段的核心,这将导致仅从部分关键语句中所提供的摘要信息难以表达出整个源代码段真正的含义和整体语义。此外,与人工添加的程序摘要方式相比,自动化生成的程序摘要缺乏较高的逻辑性,并且包含较多的冗余信息,从而降低了程序代码的可读性。针对上述问题,本论文提出了一种基于多重构件的程序摘要自动生成方法,输入给定程序代码,经过叁个设计算法功能模块(本文称之为构件,各构件之间使用接口传输数据)的顺序处理,生成相应的整段程序功能的摘要描述。本文的主要研究内容及其对应的解决方案包括以下几个方面:(1)针对从部分关键语句的分析中难以生成能够表达出整个源代码段含义的问题,提出一种基于预处理构件的全段源代码的划分规则,在确保重要信息保留的同时兼顾所有源代码的信息,同时基于内处理构件构建新的自然语言模板,用于填充代码特性信息,优先生成程序行摘要语句。此外,根据划分规则划分出的各类语句设定类型权重值,作为计算程序行语句权重值的重要因素之一;(2)自动化生成的程序摘要缺乏较高的逻辑性且冗余信息较多,针对这个问题,提出一种基于外处理构件的语句权重值计算方法,对生成程序行摘要语句进行优先级排序;确保生成的程序段摘要具有较高的逻辑性,符合人类阅读习惯和规范,同时基于该构件提出一种余弦相似性度量方法,对冗余信息进行优化合并,使得基于该策略生成的程序语句具有较高的准确率和简洁性。(本文来源于《山东师范大学》期刊2019-06-10）
沈大川[3]（2019）在《基于统计模型检验的并发程序自动生成》一文中研究指出程序合成是软件开发中的一个重要研究问题,其主要目标是自动生成符合给定规约的可执行代码。随着计算机技术的发展,程序变得越来越复杂,其正确性也越来越难以保证,这也使得程序合成的研究得到越来越多的重视。其中,并发程序行为高度复杂,极易出错,因此,如何对其进行自动程序合成是相关领域的重要研究内容。传统的并发程序合成方法主要通过证明,推导等方式进行代码构造,这些方法大多存在复杂度高、自动化程度低、时间开销大等问题。近年来,以遗传算法为代表的基于搜索的并发程序合成方法被提出。其基本思路为随机生成大量代码样本后对每个样本进行评估,基于评估值通过遗传算法等方式对代码样本进行变换与搜索。现有方法直接使用模型检验对每个样本直接进行验证来进行评估,在性能和可用性上有较大限制。一,对每个样本分别进行验证时间开销极大,性能低下,二,每次验证仅得到样本满足与否,评估粒度过粗,不利于搜索收敛。针对上述问题,我们进行了系统化研究:●针对传统方法存在的时间开销大和打分粗粒度的问题,本文提出一种基于统计评估的并发程序合成方法,此方法核心思想是通过对程序执行路径的检查和对结果的统计实现对程序适应度的评估。此方法只需模拟程序执行生成一组路径,并对路径进行检查,无需遍历程序状态空间,所以时间开销大幅降低。对一组路径的检查结果的统计情况富有多样性,从而可以达到细粒度评分。●基于统计评估的并发程序合成方法虽然有时间开销小,适应度打分平滑的优点,但是解决不同问题时,对路径进行验证的模块需要不同的代码实现。针对这个问题我们提出了更具有普适性的方法:基于统计模型检验的并发程序合成方法,该方法将表示程序行为的逻辑规约转换为表示路径行为的有界规约,使用统计模型检验评估程序满足有界规约的概率,最后利用这组概率计算程序的适应度。●由于统计模型检验模块需要频繁调用,我们实现了一个本地化统计模型检验工具,并在此基础上开发了并发程序自动生成工具PSSMC。在互斥、轮询、哲学家就餐等经典问题上我们对PSSMC进行了系统化评估。实验表明相比现有方法,本工作所提出基于统计模型检验的并发程序自动生成方法在成功率,效率上均有显着优势。(本文来源于《南京大学》期刊2019-06-01）
刘洋洋[4]（2019）在《多线程JAVA程序的层次着色Petri网模型自动生成方法》一文中研究指出随着软件系统的广泛应用,多线程软件已经成为一类主流的软件系统,算法错误检测也越来越重要。由于并发行为的不确定性,多线程JAVA程序的算法错误检测非常困难,正确性难以保证。传统的基于模型的检测方法存在两方面的弊端,一是手工建模,模型的正确性不易保证,二是建模的工作量很大,效率偏低。因此,本文提出一种多线程JAVA程序的层次着色Petri网(Hierarchical Colored Petri Net,HCPN)模型的自动生成方法。一方面,生成HCPN模型的过程实现了自动化,提升建模效率;另一方面,本文针对程序实现建模,保证了程序和模型的一致性。本文完成了如下工作:(1)多线程程序读取及存储方法:对多线程JAVA程序进行读入、分析及存储处理。其中类声明、函数声明、变量声明语句采用链表存储,每个函数内的程序处理语句采用一棵语句二叉树存储,通过树中当前语句结点的左右子结点区分后续语句的嵌套关系和顺序关系。(2)HCPN模型生成方法:基于声明链表和语句二叉树中的程序信息生成HCPN模型。在模型中采用token流转描述程序中的变量,用颜色集实现变量类型描述,用变量组支持token流转,其中对象依据类的数据成员采用元组处理。用模型子页和替代变迁描述函数定义及函数调用,用模型中的并发结构描述程序中的多线程并发,采用融合集实现全局变量和静态变量在线程间的交互。不同类型的程序处理语句通过相应的标准模型片段完成描述,程序语句的顺序和嵌套关系采用模型片段的连接和嵌套实现。(3)模型文件生成方法:将生成的HCPN模型以CPN Tools标准格式文件输出,该文件可以在CPN Tools中打开并进行ASK-CTL模型检测。最后,通过实例应用及执行效果分析验证了本方法的正确性,说明本文提出的方法能够自动生成与多线程JAVA程序一致的HCPN模型,为后续的粗粒度自动建模方法及模型检测方法研究提供基础。(本文来源于《内蒙古大学》期刊2019-05-25）
曹阳[5]（2019）在《程序测试输入的自动生成技术框架及其优化实现》一文中研究指出在软件开发过程中,软件缺陷始终威胁着软件的安全性以及可靠性,并且随着软件规模越发庞大、程序设计越发复杂,这一问题也将变得越发严重。而正因为如此,“测试”作为业界中的主要有效应对手段,也就显得尤为重要。其中,相比较于通过人工方式生成测试输入,“程序测试输入自动生成”在成本方面有着无可比拟的优越性,并且已经被业界广泛投入使用。目前,具备程序测试输入自动生成能力的测试技术种类繁多,包括随机测试、蜕变测试等等。而在所有相关测试技术之中,又以“模糊测试(Fuzzing Testing)”以及“动态符号执行(Dynamic Symbolic Execution)”最为典型、高效,同时彼此之间风格迥异。但是,如何生成高质量的测试输入子集以及如何快速获取目标测试输入,从而最终高效达成程序测试目标,一直都是阻碍程序测试输入自动生成进一步发展的主要难题。截至目前为止,在程序测试输入自动生成研究领域中,已经涌现出了大量的相关技术综述以及技术改进,所有这些相关工作都极大的促进了程序测试输入自动生成的发展。然而可惜的是,直到今天,程序测试输入自动生成依然存在大量问题亟待解决。我们渴望能够在本质上有所突破,从而彻底解决相关问题。但是与此同时,我们也逐渐意识到:如果想要达成这一目标,当下这种在传统理论框架下单纯进行技术改进,已经是远远不够了。所以,我们需要一个全新的、统一的视角,帮助我们理解现有相关工作的特点、优势、劣势,并且以此作为基础,便于我们提出新的程序测试输入自动生成技术。为此,我们开展了如下的主要研究工作:1.我们尝试从搜索空间的角度来理解程序测试输入自动生成,并且以此作为基础,提出了一个基于“邻居关系定义(Neighborhood Definition)”N、“邻居选择策略(Selection Strategy)”以及“初始测试输入集合(Bootstrap Test Inputs)”H0的统一技术框架,记为<N,S,H0>。这样一个统一技术框架可以包罗目前所有已知的相关技术(包括模糊测试、动态符号执行以及两者技术融合),同时也为我们提供了一个全新的、统一的视角,可以重新省视目前所有相关工作的特点、优势、劣势。2.基于这样一个统一技术框架<N,S,H0>,我们从定性分析的角度出发,通过开展一份迷你技术调研(调研了模糊测试、动态符号执行以及两者技术融合的29份具有代表性的相关工作),梳理了相关工作的历史发展脉络,与此同时,基于<N,S,H0>,我们以一个全新的、统一的视角,分析、总结了所有这些相关工作的特点、优势、劣势,并且从中挖掘了具有潜力的未来研究方向。3.基于这样一个统一技术框架<N,S,H0>,我们从定量分析的角度出发,开展了一份实证研究。在实证研究中,我们使用GNU CoreUtils作为被测程序,使用AFLfast作为模糊测试工具的代表,使用KLEE作为动态符号执行工具的代表。分析了模糊测试以及动态符号执行在现实程序上的代码覆盖表现。同时,基于所统计到的全部142处代码覆盖失败案例,我们总结了“模糊测试/动态符号执行”的代码覆盖失败原因,并且发现:“模拟不充分”占比26%/49%,“算法局限性”占比64%/40%。借此,我们考察了这两项技术间的局限性以及互补性,验证了迷你技术调研中的相关定性结论。4.基于定性分析以及定量分析,我们针对实证研究过程中所发现的AFL中搜索策略的饥饿问题,提出了动态削减低效变异操作的策略,以及基于代码覆盖差异的局部深度优先搜索算法。随后,我们在AFL的基础上进行了相关改进,实现了全新的AFLSU。通过实验,我们发现:AFLSU有效的缓解了饥饿问题,并且在代码覆盖行数方面,相比较于AFL以及AFLfast,AFLSU分别最高提高了40.35%以及36.66%,平均提高了 17.27%以及12.86%。(本文来源于《南京大学》期刊2019-05-22）
崔子健[6]（2019）在《基于Excel VBA的考勤表自动生成程序》一文中研究指出学校各班进行周末留校学生统计时,普遍存在统计过程烦琐、不易修改及考勤表信息错漏率高等问题。为解决这类问题,使用Excel VBA语言编写了考勤表自动生成程序,实现了留校统计过程的简化及考勤表制表过程的全自动化,有效提高了考勤统计工作的效率及规范性。(本文来源于《电脑知识与技术》期刊2019年08期）
钟亚雅,熊焕[7]（2019）在《广州借力科技保障律师执业权利》一文中研究指出本报讯（记者钟亚雅 通讯员熊焕）“张律师您好，我是李某案件的经办检察官，现在请你就该案发表意见。”近日，在电脑屏幕前，广东省广州市检察院的一名检察官通过“广州微检察”小程序与律师进行了远程视频交流，而律师只要通过手机，足不出户就能与检察官交换辩护代理意见(本文来源于《检察日报》期刊2019-01-09）
姜人刚,崔冰雪,王成林[8]（2018）在《自动生成型材手工切割图程序开发》一文中研究指出型材套料软件开发的目的是能够快速准确地计算出一个分段内所有型材的最优套料结果,根据套料结果自动生成现场施工可使用的套料图。程序使用C#作为开发工具,采用动态规划算法实现型材按给定的套料方案进行套料,最终生成手工切割图和余料表,通过余料表对型材余料进行有效的管理,通过实际工程应用,验证了使用型材套料软件能够有效缩短设计时间,提高型材利用率。(本文来源于《船舶标准化工程师》期刊2018年06期）
冯永平,赵俊恒,曹远军[9]（2018）在《一种用C#自动生成五轴铣环模加工程序的方法》一文中研究指出1问题的提出仪征亚新科双环活塞环有限公司(以下简称仪征双环)是中国最大的活塞环企业之一,每年生产加工活塞环超过一亿片。活塞环是汽车发动机内部的核心部件之一,不仅直接关系到汽车发动机能否工作,排放标准也和活塞环的质量密切相关。因此,活塞环的生产加工质量至关重要。目前,活塞环主要有铸铁活塞环和钢质活塞环,绝大多数是铸铁活塞环。铸铁活塞环的加工工序由环模砂型铸造、热处理、表面处理和机加工等上百道工序组成。其(本文来源于《电世界》期刊2018年09期）
陶忠祥,段爱玲[10]（2018）在《零件外侧椭球体的数控铣削编程及程序自动生成》一文中研究指出制定了零件外侧凸(凹)椭球体的数控铣削加工工艺,在FUNAC系统和华中数控系统下手工编写了相应的数控铣削加工宏程序。并用CAXA自动编程软件实体造型、设置加工方法、自动生成凸(凹)椭球体的数控加工程序,进行了仿真加工。进而从加工精度和工时等方面比较了这叁个程序,发现基于本文制定的数控加工工艺手工编写的数控加工宏程序结构紧凑、语句少占内存少、工时明显缩短。最后用Visual Basic语言编写了能够根据给定加工参数自动生成加工外露凸(凹)椭球体数控铣削加工宏程序的自动编程软件,该软件和现有自动编程软件相比,占内存少,使用方便,生成的程序的加工工时明显缩短。(本文来源于《机械研究与应用》期刊2018年04期）
程序自动生成论文开题报告范文
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
当前,网络技术呈现出迅猛的发展态势,由此带来各式各样的应用软件。这些软件涵盖了人们生活的各个方面。不论是传统信息交流的方式,还是传统购物的方式等都发生了重大的变化,可以肯定的是,这些应用软件在未来的生活中将扮演着越来越重要的角色。为了提高应用软件的质量,程序人员通常会对应用软件进行定期维护,而在这个过程中需要花费大量的时间去查看和阅读源代码,尤其是当源代码中夹杂着一些晦涩难懂的标识符时,想要快速精准的理解源代码段的含义几乎是不现实的。研究表明,大多数的自然语言描述是由程序员手动添加完成,人工为源代码撰写相应的自然语言描述较为简洁且逻辑性高。然而,手动为大量源代码添加注释同样需要耗费大量的时间且难度较高,事实上这就要求程序维护人员事先必须深度掌握这些源代码的含义。因此,可行化的方式是自动生成源代码的自然语言形式的程序摘要。一些现有方法能够自动生成有意义的源代码注释来解释源代码的意图以帮助程序人员合理解释源代码的含义,但其生成的源代码注释无法准确表达出整个源代码段的含义,特别是一些方法将关键语句定义为源代码段的核心,这将导致仅从部分关键语句中所提供的摘要信息难以表达出整个源代码段真正的含义和整体语义。此外,与人工添加的程序摘要方式相比,自动化生成的程序摘要缺乏较高的逻辑性,并且包含较多的冗余信息,从而降低了程序代码的可读性。针对上述问题,本论文提出了一种基于多重构件的程序摘要自动生成方法,输入给定程序代码,经过叁个设计算法功能模块(本文称之为构件,各构件之间使用接口传输数据)的顺序处理,生成相应的整段程序功能的摘要描述。本文的主要研究内容及其对应的解决方案包括以下几个方面:(1)针对从部分关键语句的分析中难以生成能够表达出整个源代码段含义的问题,提出一种基于预处理构件的全段源代码的划分规则,在确保重要信息保留的同时兼顾所有源代码的信息,同时基于内处理构件构建新的自然语言模板,用于填充代码特性信息,优先生成程序行摘要语句。此外,根据划分规则划分出的各类语句设定类型权重值,作为计算程序行语句权重值的重要因素之一;(2)自动化生成的程序摘要缺乏较高的逻辑性且冗余信息较多,针对这个问题,提出一种基于外处理构件的语句权重值计算方法,对生成程序行摘要语句进行优先级排序;确保生成的程序段摘要具有较高的逻辑性,符合人类阅读习惯和规范,同时基于该构件提出一种余弦相似性度量方法,对冗余信息进行优化合并,使得基于该策略生成的程序语句具有较高的准确率和简洁性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
程序自动生成论文参考文献
[1].黄向东.基于C#和AutoCAD平面有限元网格自动生成程序开发[J].信息与电脑(理论版).2019
[2].张海杰.基于多重构件的程序摘要自动生成方法研究[D].山东师范大学.2019
[3].沈大川.基于统计模型检验的并发程序自动生成[D].南京大学.2019
[4].刘洋洋.多线程JAVA程序的层次着色Petri网模型自动生成方法[D].内蒙古大学.2019
[5].曹阳.程序测试输入的自动生成技术框架及其优化实现[D].南京大学.2019
[6].崔子健.基于ExcelVBA的考勤表自动生成程序[J].电脑知识与技术.2019
[7].钟亚雅,熊焕.广州借力科技保障律师执业权利[N].检察日报.2019
[8].姜人刚,崔冰雪,王成林.自动生成型材手工切割图程序开发[J].船舶标准化工程师.2018
[9].冯永平,赵俊恒,曹远军.一种用C#自动生成五轴铣环模加工程序的方法[J].电世界.2018
[10].陶忠祥,段爱玲.零件外侧椭球体的数控铣削编程及程序自动生成[J].机械研究与应用.2018