导读:本文包含了程序生成器论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:生成器,程序,特征,对象,随机数,标书,表单。
程序生成器论文文献综述
常欢[1]（2018）在《安全C语言程序验证器中验证条件生成器的扩展设计与实现》一文中研究指出交通、电力、军事等关键领域对软件的可靠性和安全性要求越来越高,因为其严重关乎国民的人身和财产安全。C语言在上述基础领域软件的开发中有广泛的应用。C语言灵活高效的特性允许程序员做相当底层的操作,但也导致C程序容易出现非法指针解引用、内存泄漏、缓冲区溢出等缺陷。形式化验证是一种可以严格保证程序可靠性的方法。本课题组正在研发一个安全C语言验证器,其功能是对携有程序标注的安全C语言程序进行演绎推理,验证程序是否满足预期规范。安全C语言验证器中验证条件生成器的作用是支持安全C语言和规范语言SCSL的语法,实现每条语句的演算规则,并根据演算规则遍历源程序进行演算,同时产生程序点的断言和合理有效的验证条件。本文的工作是对安全C语言验证器中的验证条件生成器进行扩展。本文的主要工作和贡献如下:第一、参与规范语言SCSL中逻辑变量、幽灵代码、字符串类型、带命名行为协议和多函数协议的设计,提高了规范语言的表达能力,同时独立设计和实现了对应的演算规则。第二、基于Hoare逻辑设计和实现跳转语句goto、continue和break、选择语句switch以及函数调用语句的演算规则,使得验证器可以支持更多C的语法和控制结构,扩大了验证器的适用范围。同时实现了赋值语句前对全称量化断言和谓词的展开,减轻了自动定理证明器的负担。第叁、根据C语言的语义提出了一种适用于程序验证的栈区内存模型,可以支持结构体和多级指针等数据类型,并基于该模型实现了取地址、多级解引用和指针关系运算等操作的演算规则。同时基于该模型提出了一种判断别名的算法,能够在应用Hoare赋值规则前准确完成别名替换。经过上述扩展设计与实现,提高了安全C语言验证器的证明能力和可用性。目前已经成功验证多例C程序,其中包括快速排序、冒泡排序、字符串匹配等经典算法。(本文来源于《中国科学技术大学》期刊2018-05-20）
王海瀛[2]（2014）在《STEP-NC程序生成器及其关键技术研究》一文中研究指出STEP-NC标准是STEP标准向制造方向的推广，它涵盖了一个产品从毛坯到成品的全过程，凭借着自身诸如涵盖信息全面、不需要后置处理器等优点成为了最新的研究热点，而如何生成STEP-NC程序成为该领域首要解决的问题。针对此问题，本文研究了基于ISO14649标准的STEP-NC程序的生成方法。本文介绍了EXPRESS语言与STEP Part21交换格式以及两者的映射规则。在此基础上，建立了EXPRESS语言与C++的映射关系；并对STEP-NC文件结构进行了划分，建立了STEP-NC程序生成器系统的框架，该生成器由特征识别模块、工艺规划模块及STEP-NC输出模块叁部分组成。对目前常用的自动特征识别方式进行了深入的研究，由于CATIA二次开发技术提供了一系列的库函数，与对STEP文件进行特征识别的方式相比，更加简单、方便，故最终确定采用CATIA二次开发技术。深入地研究了2.5维铣削制造特征的特点，采用基于痕迹的特征识别方法成功地识别了基本特征如平面、孔、型腔、槽等，采用属性邻接图法识别了广义槽特征，并通过CAA提供的库函数获取了特征的长度、宽度、位置、半径及深度等参数信息。以孔特征为例，研究了工艺规划的全过程，根据孔的直径、粗糙度及精度等级确定孔的加工工步、加工余量及刀具，并以最短加工时间和最低加工成本为目标函数，在使用切削液、加工材料为结构钢的前提下，优化了高速钢钻头钻孔时的切削速度与进给量。最后将特征识别模块、工艺规划模块所得的信息进行整合，再设置工件的基本信息及相关坐标系，将工件的全部信息以STEP-NC标准进行输出。根据以上理论，开发了相应的软件，生成了STEP-NC程序，并进行了实验，验证了方法的正确性及软件的可用性。(本文来源于《哈尔滨工业大学》期刊2014-07-01）
任浩,张丽萍[3]（2013）在《基于C程序的控制流图生成器的设计和实现》一文中研究指出在对控制流图生成算法进行深入研究的基础上,基于分析器自动生成工具ANTLR,利用语法制导翻译技术,构造具有自动生成程序控制流图功能的语法分析器,并最后对实验生成的控制流图进行可视化输出。(本文来源于《电脑编程技巧与维护》期刊2013年04期）
杨丹[4]（2011）在《基于Struts框架Web应用程序生成器的设计与实现》一文中研究指出本文首先介绍基于J2EE体系的Web开发模型JSP Model 2以及流行的Web开发框架Struts。然后介绍基于Struts框架的Web应用程序开发流程。根据开发的特点,最后提出采用XML技术实现一个Web应用程序生成器的方案。(本文来源于《安徽电子信息职业技术学院学报》期刊2011年03期）
杜晓晨[5]（2010）在《浅析电子标书生成器制作投标文件的程序应用》一文中研究指出建设工程项目招投标应用电子标书生成器,为保证标书质量、严密招投标过程,对招标项目的招标文件、现场开标程序、评标过进行监督,提供了信息现代化条件。为此,对实际工作容易出现一些问题简要分析,作为注意事项说明。(本文来源于《信息与电脑(理论版)》期刊2010年08期）
陈伟雄,姚锡凡[6]（2010）在《基于VC++的STEP-NC程序生成器研究及实现》一文中研究指出在VS2005平台上开发了STEP-NC程序生成器,能够读入AP203文件,提取工件的几何和拓扑信息,自动识别制造特征,经人机交互方式进行工艺规划,最后输出符合ISO14649标准的STEP-NC程序。生成器采用模块化设计方法,分为STEP数据输入和提取模块,制造特征识别模块,工艺规划模块和STEP-NC文件输出模块。(本文来源于《机械设计与制造》期刊2010年08期）
Bob,Cusick[7]（2009）在《iPhone应用程序生成器——为移动设备构建应用程序生成器》一文中研究指出与1300万拥趸一起,我最近也购买了一台iPhone。我希望创建自己的应用程序,通过与其他开发人员交流,并构建一个全面的Google会话,我使用Servoy(www.servoy.com)作为默认的个人开发工具。从某种程度上说,这种选项是可以理解的,因为我正就职于Servoy。(本文来源于《程序员》期刊2009年04期）
白晶[8]（2008）在《自动程序生成器XML文档生成系统设计与实现》一文中研究指出在应用软件系统开发过程中,由于客户业务和开发技术等原因,使得开发过程中重复性的工作比较多,比如有些企业业务流程、设计的用户界面风格等方面都存在一定的相似性,但针对这些工作的设计、修改和维护出现许多复杂的问题。为了解决上述问题,本文研究一种程序自动生成的想法,即根据给定客户的信息,包括业务信息和需求界面的描述信息,由程序自动生成用户页面及对应的业务操作,而程序员所做的工作就是维护这些信息。根据此想法本文开发一个程序自动系统的XML文档子系统。本文首先研究了系统的总体结构,并且详细叙述了系统的设计与实现,重点介绍了将订制信息保存为XML文档的设计流程和实现方法,最终生成体现客户业务信息的关系数据库以及描述客户订制信息的XML文档。根据此文档,能够生成最后的用户页面。本文设计实现的XML文档生成子系统是自动程序生成系统的基础,在继承该领域已有研究成果基础上,进一步弥补现有程序自动生成工具的缺点,完善程序自动生成工具中XML文档命名规范、生成规范等,并更好的实现对界面的描述及与用户需求的交互。本系统为程序员提供相关框架程序或部分具体技术业务代码的自动生成功能,使他们将精力集中在创造性的开发上。本系统设计的目标是显着提高应用软件编程速度、降低错误发生率、提高应用软件的生产效率。(本文来源于《东北大学》期刊2008-12-01）
宋丽新[9]（2008）在《随机考号生成器的算法设计与程序实现》一文中研究指出在许多自主招生考试的院校中,均面临着这样一个问题:对于考生的考试序号不能用电脑随机生成,手工排准考证号既费时费力,还存在着许多弊病。随机考号生成器算法就是为解决这个问题而设计的。在算法中采用Visual Basic面向对象程序设计中的随机数函数,定义Excel应用程序对象,灵活地实现了在VB中进行随机考号生成,而在Excel中进行考号显示及输出。(本文来源于《科技创新导报》期刊2008年28期）
刘涛,韩振宇,王永章,富宏亚[10]（2008）在《基于ISO14649标准的STEP-NC程序生成器》一文中研究指出为实现STEP-NC程序的自动生成,开发了STEP-NC程序生成器。首先阐述了程序生成器的工作原理和各个模块的功能及其实现方法。详细论述了程序生成器实现中的叁项关键技术。最后,结合一个包含平面、孔和型腔特征的AP203文件,利用所开发的程序生成器生成符合ISO14649标准的完整的STEP-NC程序,并通过STEP-NC铣削仿真系统对所生成的程序进行切削仿真。仿真结果表明,所开发的STEP-NC程序生成器是可行的。(本文来源于《计算机集成制造系统》期刊2008年02期）
程序生成器论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
STEP-NC标准是STEP标准向制造方向的推广，它涵盖了一个产品从毛坯到成品的全过程，凭借着自身诸如涵盖信息全面、不需要后置处理器等优点成为了最新的研究热点，而如何生成STEP-NC程序成为该领域首要解决的问题。针对此问题，本文研究了基于ISO14649标准的STEP-NC程序的生成方法。本文介绍了EXPRESS语言与STEP Part21交换格式以及两者的映射规则。在此基础上，建立了EXPRESS语言与C++的映射关系；并对STEP-NC文件结构进行了划分，建立了STEP-NC程序生成器系统的框架，该生成器由特征识别模块、工艺规划模块及STEP-NC输出模块叁部分组成。对目前常用的自动特征识别方式进行了深入的研究，由于CATIA二次开发技术提供了一系列的库函数，与对STEP文件进行特征识别的方式相比，更加简单、方便，故最终确定采用CATIA二次开发技术。深入地研究了2.5维铣削制造特征的特点，采用基于痕迹的特征识别方法成功地识别了基本特征如平面、孔、型腔、槽等，采用属性邻接图法识别了广义槽特征，并通过CAA提供的库函数获取了特征的长度、宽度、位置、半径及深度等参数信息。以孔特征为例，研究了工艺规划的全过程，根据孔的直径、粗糙度及精度等级确定孔的加工工步、加工余量及刀具，并以最短加工时间和最低加工成本为目标函数，在使用切削液、加工材料为结构钢的前提下，优化了高速钢钻头钻孔时的切削速度与进给量。最后将特征识别模块、工艺规划模块所得的信息进行整合，再设置工件的基本信息及相关坐标系，将工件的全部信息以STEP-NC标准进行输出。根据以上理论，开发了相应的软件，生成了STEP-NC程序，并进行了实验，验证了方法的正确性及软件的可用性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
程序生成器论文参考文献
[1].常欢.安全C语言程序验证器中验证条件生成器的扩展设计与实现[D].中国科学技术大学.2018
[2].王海瀛.STEP-NC程序生成器及其关键技术研究[D].哈尔滨工业大学.2014
[3].任浩,张丽萍.基于C程序的控制流图生成器的设计和实现[J].电脑编程技巧与维护.2013
[4].杨丹.基于Struts框架Web应用程序生成器的设计与实现[J].安徽电子信息职业技术学院学报.2011
[5].杜晓晨.浅析电子标书生成器制作投标文件的程序应用[J].信息与电脑(理论版).2010
[6].陈伟雄,姚锡凡.基于VC++的STEP-NC程序生成器研究及实现[J].机械设计与制造.2010
[7].Bob,Cusick.iPhone应用程序生成器——为移动设备构建应用程序生成器[J].程序员.2009
[8].白晶.自动程序生成器XML文档生成系统设计与实现[D].东北大学.2008
[9].宋丽新.随机考号生成器的算法设计与程序实现[J].科技创新导报.2008
[10].刘涛,韩振宇,王永章,富宏亚.基于ISO14649标准的STEP-NC程序生成器[J].计算机集成制造系统.2008
论文知识图
