检索结果-内蒙古大学图书馆

计算机学报 1997年第2期20卷 97-104页

作者：吴少岩陈火旺国防科学技术大学计算机科学系

本文基于一种新颖的进化计算模型，提出一个自动程序设计框架．通过引入程序概括的概念，将给定任务的程序设计转换为寻优问题．程序进化器以形式文法作为遗传表示，它是独立于具体任务的进化模拟机．当程序概括的结果经联编器翻译后，... 详细信息

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

关键词：自动程序设计进化计算搜索优化

来源：评论

学校读者我要写书评

暂无评论

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

引用

软件学报 1997年第A00期8卷 182-188页

作者：康立山陈毓屏武汉大学软件工程国家重点实验室

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

关键词：程序结构自动程序设计遗传程序设计

来源：评论

学校读者我要写书评

暂无评论

自动程序设计方法研究及其在多类模式分类中的应用

自动程序设计方法研究及其在多类模式分类中的应用

引用

作者：谢集平东华大学

学位级别：硕士

人工智能和机器学习的共同目标是让计算机在没有明确的程序指导下解决问题，因此在过去的几十年里，有关计算机代码的人工演化是一项迅猛发展的技术，各相关领域的人们都期望能有一种自动化系统，将针对问题的细致描述(用数据结构、函... 详细信息

人工智能和机器学习的共同目标是让计算机在没有明确的程序指导下解决问题，因此在过去的几十年里，有关计算机代码的人工演化是一项迅猛发展的技术，各相关领域的人们都期望能有一种自动化系统，将针对问题的细致描述(用数据结构、函数等相对简单的表达方式)作为输入，然后就能得到满意的解决方案。自动程序设计(AP)就是实现这种自动化系统的技术。现有的主要方法包括：遗传程序设计(GP)，交叉爬山程序设计(XOHC)，交叉模拟退火程序设计(XOSA)。\n 本文借鉴微粒群算法(PSO)中种群参考的思想，对交叉爬山程序设计进行改进，提出基于种群参考的交叉爬山程序设计(SXOHC)：在交叉爬山程序设计种群进化的同时加入与种群的历史最优解交叉的操作，以使个体在进化过程中得到种群中有利的进化信息从而提高搜索能力，并在一定程度上避免个体早熟现象。同样本文把种群参考的思想结合到交叉模拟退火程序设计中，提出基于种群参考的交叉模拟退火程序设计(SXOSA)，实验证明此方法提高了交叉模拟退火程序设计的优化能力。\n 另外，本文利用微粒群算法来优化自动程序设计进化过程中的常量节点，提出基于PSO参数估计的自动程序设计方法，提高解的精度，避免由于常量节点的值不合适而导致好的解结构被淘汰的现象。 Koza利用遗传程序设计成功解决两类模式分类问题，当程序返回非负数时输入样本属于一类，记类1，否则属于另一类，记类-1。Kishore把n类模式分类问题分解成n个两类分类问题，需要求n个分类表达式。第i个分类表达式判定第i类，属于第i类的样本属于类1，不属于第i类的所有样本属于类-1。它的缺点是随着类别数目的增加，训练时间会增加地很快。本文提出一种用自动程序设计解决多类模式分类问题的直接方法，此方法只要求一个分类表达式，利用分类表达式的不同输出值来区分不同的类。对于n类模式分类问题，记第0，1，2，…，n-1类，那我们就用自动程序设计方法进化分类表达式使之对于第i类样本的特征属性输入，输出值为i。这样我们就可以直接根据分类表达式的输出值预测样本的类别了。而且本文提出相应于此多类模式分类方法的一种应用较广的函数集和终点集方案，并用基于种群参考的交叉爬山程序设计(SXOHC)来实现，对UCI Database的new-thyroid数据进行实验，结果表明此方法是可行的。

关键词：自动程序设计遗传程序设计种群参考多类模式分类

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机学报 1993年第3期16卷 188-196页

作者：李波赵沁平北京航空航天大学计算机科学与工程系北京100083

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

关键词：自动程序设计类比推理程序设计

来源：评论

学校读者我要写书评

暂无评论

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

引用

武汉大学学报（理学版） 2006年第5期52卷 649-654页

作者：康卓李艳黄竞伟康立山武汉大学计算机学院湖北武汉430072 武汉大学计算中心湖北武汉430072 武汉大学软件工程国家重点实验室湖北武汉430072

在基因表达程序设计(GEP)基础上,从自动程序设计方法学的观点出发,对程序重用的程序表示方法进行了研究.①提出了一种新的基因结构:头+身+尾,使计算机自动设计的程序具有必要的复杂性,又便于引入学习机制;②提出了一种新的同源基因结构... 详细信息

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

关键词：自动程序设计基因表达程序设计多细胞结构分布估计变异演化建模

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机工程 1995年第S1期21卷 184-188页

作者：刘方鑫刘厚泉王潜平中国矿业大学自动化系徐州221008

对一个面向CAD的自动程序设计系统(CAPS)的功能和实现方法作了介绍。该系统采用转换与过程相结合的方法,实现了从规格说明语言GSL编写的软件规格说明(FML)到可执行程序的自动生成。讨论了规格说明语言GSL的定义和特点;用于语法检查的检... 详细信息

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

关键词：自动程序设计规格说明自动转换知识库

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机研究与发展 1991年第2期28卷 35-39页

作者：尹红兵郭福顺哈尔滨工业大学计算机系 150006

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

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

关键词：类型理论自动程序设计知识库

来源：评论

学校读者我要写书评

暂无评论

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

引用

小型微型计算机系统 1992年第10期13卷 49-53页

作者：王志坚张家重南京大学计算机软件研究所 210008

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

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

关键词：面向领域自动程序设计

来源：评论

学校读者我要写书评

暂无评论

自动程序设计系统

引用

上海交通大学学报 1978年第1期 213-228页

作者：孙永强

本文描述一个自动程序设计系统的梗概。给出了一系列常用的形式化程序设计策略,它们连同[1]中所给出的形式推导程序规则,构成一个目标导向的自动程序设计系统的基础,并通过几个程序的构造过程,指出它们的适用性。阐述了把程序进行抽象... 详细信息

本文描述一个自动程序设计系统的梗概。给出了一系列常用的形式化程序设计策略,它们连同[1]中所给出的形式推导程序规则,构成一个目标导向的自动程序设计系统的基础,并通过几个程序的构造过程,指出它们的适用性。阐述了把程序进行抽象的方法,讨论了程序的推广。证明了关于一类等价程序模式的定理,从而提供了该类程序模式推广时所用的算法。

关键词：自动程序设计自动软件工程程序变换程序模式递归定义等价变换策略目标导向形式化初始数据构造程序定理

来源：评论

学校读者我要写书评

暂无评论

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

引用

西北大学学报（自然科学版） 1994年第3期24卷 203-206页

作者：唐永明西北大学计算机科学系

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

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

关键词：自动程序设计问题表示系统

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：