程序重用的自动程序设计方法

在基因表达程序设计(GEP)基础上,从自动程序设计方法学的观点出发,对程序重用的程序表示方法进行了研究.①提出了一种新的基因结构:头+身+尾,使计算机自动设计的程序具有必要的复杂性,又便于引入学习机制;②提出了一种新的同源基因结构,它不仅可实现子程序的调用,还具有很强的编程能力;③提出了异族同源基因的概念:一种多细胞结构,它能描述复杂的多层次程序结构,实现可重用程序的复杂调用;④提出了分布估计变异方法,将统计学习机制融入算法,既提高了算法的收敛速度,又提高了解的质量.计算实例表明了这种新的自动程序设计方法的可行性和实用性.

自动程序设计──模拟进化的途径

本文基于一种新颖的进化计算模型，提出一个自动程序设计框架．通过引入程序概括的概念，将给定任务的程序设计转换为寻优问题．程序进化器以形式文法作为遗传表示，它是独立于具体任务的进化模拟机．当程序概括的结果经联编器翻译后，程序进化器能够自动地构造出完成给定任务的目标程序．本文用符号回归任务的自动程序设计检验这一框架的可行性．

自动程序设计探索：论遗传程序设计

自动程序设计是计算机科学的中心目标之一。近几年来该在理论上取得了突破性进展，那就是演化计算理论，特别是其中的遗传程序设计ＧＰ的理论与方法的进展。本文从３个方面论证ＧＰ方法学给自动程序设计带来了希望的曙光。

面向领域的自动程序设计——研究与实践

本文讨论了面向领域自动程序设计的研究现状和存在的问题,介绍了我们在这方面所进行的工作:在通用算法设计模型下,通过支持面向领域自动程序设计的设施完成程序设计任务。文中给出了银行领域中的若干应用实例,并提出了基于概念网的面向领域自动程序设计的研究方向。

一个面向CAD的自动程序设计系统的实现

对一个面向CAD的自动程序设计系统(CAPS)的功能和实现方法作了介绍。该系统采用转换与过程相结合的方法,实现了从规格说明语言GSL编写的软件规格说明(FML)到可执行程序的自动生成。讨论了规格说明语言GSL的定义和特点;用于语法检查的检测程序(SCAN)的功能;自动转换程序(AUP)的工作原理和实现方法;知识库的组成及其在自动转换中的作用。最后对该系统的特点作了简要说明。

遗传程序设计——计算机自动程序设计的新途径

遗传程序设计作为演化计算的分支 ,具有概率搜索的本质和结构优化的特征 ,已成为研究计算机自动程序设计的重要工具。文中对遗传程序设计的研究进展作了综述 ,着重比较了遗传程序设计与传统的人工智能方法在本质上的差异 ,并展望了今后遗传程序设计在计算机自动程序设计方面的应用前景。

APA:类比自动程序设计系统

自动程序设计系统APA使用类比推理技术,向过去经验学习编写新的LISP程序.本文首先给出了它的知识表示和系统结构,然后讨论怎样发现与新问题相似的已解问题,怎样沿着相似推导构作新问题的程序.APA是[1,2]中类比推理理论的一个实验系统.

自动程序设计的研究

自动程序设计是计算机科学的中心目标之一,围绕中心目标进行研究是计算机科学工作者的责任。采用一种形式化方法,即演化计算(EvolutionaryComputation)理论,特别是其中的遗传程序设计(GeneticProgramming,简称GP)的理论,深刻研究了自动程序设计的概念和遗传算法。基于该方法的自动程序设计能够模拟生物进化的机制来适应外界环境,并获得最佳解,从而使得自动程序设计获得较好效果。

一个基于类型理论的自动程序设计系统

本文提出了一个基于类型理论的自动程序设计系统。系统把用户定义的关于各种问题的代数说明做为深度知识构成系统的深度知识库。对用户提出的一个问题的规范说明,系统给出符合这一规范的“程序”做为回答。系统初步体现了软件形式化开发中的规范、构造和验证一体化。

计算机自动程序设计研究

自动程序设计是计算机科学的中心目标之一,围绕中心目标进行研究是计算机科学工作者的责任。遗传程序设计作为演化计算的分支,具有概率搜索的本质和结构优化的特征,已成为研究计算机自动程序设计的重要工具。文中研究了自动程序设计的概念和遗传程序设计的方法,利用并行计算技术来实现自动程序设计。

PRAPS：一个用于自动程序设计的问题表示系统

提出了使用领域知识与专家系统技术形成形式问题模型的方法，并在ＰＲＡＰＳ系统中得以实现。这一方法的应用，使用户仅以自然语言形式提出问题，经ＰＲＡＰＳ系统，最终形成描述问题的形式化模型，从而为自动设计解决问题的程序奠定了基础。

C程序设计自动化逆过程的实现

本文阐述Ｃ程序设计自动化逆过程的实现，即阐述从Ｃ程序设计自动生成用图形语言──ＰＡＤ图表示的设计思想、关键技术、系统特点以及对ＰＡＤ图式的扩充与细化技术。

基于Pro/E的斜导柱自动化程序设计

斜导柱是型腔模具中典型的结构零件,对其实现自动化设计很有必要。被广泛应用于模具行业的Pro/E软件,其Program模块可以实现简便、实用的自动化程序设计。在分析了斜导柱有关设计计算内容的基础上,给出了基于Pro/Program的斜导柱自动化程序设计方法,为斜导柱模具结构零件的快速设计提供了实用范例。

基于VFP的MIS的自动化程序设计

以面向对象技术作为软件开发方法，定义了一个适用于管理信息系统业务流程需要的通用可视化窗体界面模型，在一定程序上实现了软件的通用性和自动化，并给出了基于ＶＦＰ的自动化程序实现过程。

基于类型理论的面向对象程序设计

构造性类型理论可作为程序开发的理论基础，其中类型作为程序规约，证明过程作为程序开发过程，从证明抽取满足程序规约的程序．本文提出了一种构造性类型理论ＴＴＯＯＰ，引入了类规约类型和类类型的概念．类是类规约类型的元素，它又是一种类型，类的元素为对象．通过证明类规约可构造类，由此构造面向对象软件．

高品质复杂光学系统自动设计程序开发与应用

介绍了自行开发的一种光学系统自动设计软件,突破传统计算方法,在应用高像差理论,多物距自动变焦距设计等方面,提出了复杂的处理思路,达到了比较理想的设计效果。特别是在光学微细加工领域,解决了许多特殊问题。着重介绍软件的鲜明应用优势、计算方法、关键技术难点的处理、程序结构和应用实例。

多表达式程序设计的新型评估方法

多表达式程序设计(MEP)是应用十分广泛的自动程序设计方法。从MEP的染色体表示规则及种群演化方式来看,每个染色体中的任何基因都有可能多次被当前或其它后续种群中的其他基因引用,从而造成重复计算,耗费大量时空资源。由此提出并实现了一种新型评估方法,该新型评估方法在不改变传统MEP的染色体表示规则和种群演化方式的情况下,能够准确有效地识别演化过程中所有被重复引用的基因,从而避免了大量重复计算,显著提高了演化效率。

遗传程序设计理论与应用

遗传程序设计是20世纪90年代基于遗传算法思想发展起来的,它已成为进化计算的新分支。介绍了遗传程序设计的发展和基本理论,论述了它在自动控制、数据拟合、模式识别等方面的具体应用,并指出了提高当前的技术应从遗传操作和群体大小、控制参数、独立运行次数等方面加以研究,将遗传程序设计与模拟退火、神经网络、混沌理论等方法结合也是一个有潜力的研究方向。