自动程序设计──模拟进化的途径 被引量：7

1

作者 吴少岩 陈火旺 《计算机学报》 EI CSCD 北大核心 1997年第2期97-104,共8页

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

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

在线阅读 下载PDF 职称材料

自动程序设计探索：论遗传程序设计 被引量：3

2

作者 康立山 陈毓屏 《软件学报》 EI CSCD 北大核心 1997年第A00期182-188,共7页

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

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

在线阅读 下载PDF 职称材料

面向领域的自动程序设计——研究与实践 被引量：3

3

作者 王志坚 张家重 《小型微型计算机系统》 CSCD 北大核心 1992年第10期49-53,共5页

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

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

在线阅读 下载PDF 职称材料

一个面向CAD的自动程序设计系统的实现 被引量：1

4

作者 刘方鑫 刘厚泉 王潜平 《计算机工程》 CAS CSCD 北大核心 1995年第S1期184-188,共5页

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

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

在线阅读 下载PDF 职称材料

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

5

作者 李波 赵沁平 《计算机学报》 EI CSCD 北大核心 1993年第3期188-196,共9页

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

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

在线阅读 下载PDF 职称材料

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

6

作者 尹红兵 郭福顺 《计算机研究与发展》 EI CSCD 北大核心 1991年第2期35-39,共5页

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

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

在线阅读 下载PDF 职称材料

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

7

作者 唐永明 《西北大学学报（自然科学版）》 CAS CSCD 1994年第3期203-206,共4页

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

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

在线阅读 下载PDF 职称材料

C程序设计自动化逆过程的实现 被引量：2

8

作者 严桂兰 刘甲耀 《计算机研究与发展》 EI CSCD 北大核心 1995年第8期25-32,共8页

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

关键词 程序设计自动化 C语言 图形语言

在线阅读 下载PDF 职称材料

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

9

作者 韦明 《计算机工程》 EI CAS CSCD 北大核心 2000年第8期123-125,共3页

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

关键词 管理信息系统 自动化程序设计 面向对象 VFP

在线阅读 下载PDF 职称材料

基于类型理论的面向对象程序设计 被引量：2

10

作者 全炳哲 金淳兆 李文辉 《计算机学报》 EI CSCD 北大核心 1997年第1期50-57,共8页

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

关键词 类型理论 面向对象 程序设计 自动程序设计

在线阅读 下载PDF 职称材料

多表达式程序设计的新型评估方法 被引量：3

11

作者 郑秋生 何锫 李骥 《计算机工程与科学》 CSCD 北大核心 2015年第2期314-319,共6页

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

关键词 演化计算 自动程序设计 遗传程序设计 多表达式程序设计 基因重复计算

在线阅读 下载PDF 职称材料

AutoCAD R14 ActiveX自动化程序的编程技术 被引量：3

12

作者 梅林 薛锦 《计算机工程》 CAS CSCD 北大核心 1999年第7期78-79,92,共3页

探讨了AutoCADR14的ActiveX自动化的概念及其编程技术，分析了它的对象模型以及Delphi环境下编写ActiveX自动化程序的可行性，最后给出了Delphi下开发ActiveX自动化程序的具体实例。

关键词 程序设计自动化 ACTIVEX控件 AutoCAD R14

在线阅读 下载PDF 职称材料

固体火箭发动机三维药柱燃面自动化设计方法研究 被引量：1

13

作者 高波 叶定友 +2 位作者 侯晓 孙利清 蹇泽群 《推进技术》 EI CAS CSCD 北大核心 1998年第6期24-26,共3页

提出了一种三维药柱燃面自动化设计的新方法：根据设计者输入的设计指标和全局参数值，自动确定一系列药柱结构可选方案，自动对每一个结构方案进行药形几何参数的优化设计，自动对结构方案进行优选，并确定出可行的药柱设计方案，输出... 提出了一种三维药柱燃面自动化设计的新方法：根据设计者输入的设计指标和全局参数值，自动确定一系列药柱结构可选方案，自动对每一个结构方案进行药形几何参数的优化设计，自动对结构方案进行优选，并确定出可行的药柱设计方案，输出燃面设计结果。经实例设计，表明该方法是切实可行的。 展开更多

关键词 固体火箭发动机 推进剂 药柱 燃面 自动程序设计

在线阅读 下载PDF 职称材料

基于CFD的风洞及循环水槽设计系统程序开发 被引量：2

14

作者 蒋望梁 陈作钢 《中国舰船研究》 CSCD 北大核心 2020年第2期42-48,共7页

[目的]风洞和循环水槽是很重要的流体力学试验设备。为高效地形成风洞或循环水槽的气动力学/水动力学设计方案,开发了基于CFD的风洞循环水槽设计系统程序。[方法]该程序集实体三维建模、网格自动生成、黏性流场求解及CFD计算后处理结果... [目的]风洞和循环水槽是很重要的流体力学试验设备。为高效地形成风洞或循环水槽的气动力学/水动力学设计方案,开发了基于CFD的风洞循环水槽设计系统程序。[方法]该程序集实体三维建模、网格自动生成、黏性流场求解及CFD计算后处理结果输出等功能于一身,在操作流程上实现从初始参数录入到优化目标参数输出一键操作的设想,用自动化的程序节省修改模型和网格过程所花费的人力和时间成本。通过参考上海交通大学风洞循环水槽对程序进行校验。[结果]结果表明,该软件在风洞的设计及性能预报方面具有很好的可信度和便捷性。[结论]该程序具有一定的理论方法创新和较高的工程应用价值。 展开更多

关键词 风洞 循环水槽 自动化设计程序 CFD

在线阅读 下载PDF 职称材料

角色编辑器Rb－MDE的设计与实现 被引量：2

15

作者 范植华 白光野 +2 位作者 蒋东溟 徐崇 史开宇 《计算机学报》 EI CSCD 北大核心 1996年第5期398-400,共3页

作为国家“八·五”软件重点攻关课题之一的“ＭＩＳ工程中嵌入推理机制的工具──角色法”的阶段性成果，角色编辑器Ｒｂ－ＭＤＥ已研制成功．本文介绍它的设计原理与实现技术．

关键词 自动程序设计 管理信息系统 角色 角色编辑器

在线阅读 下载PDF 职称材料

基于二阶项重写技术的逻辑自动编程理论

16

作者 孙怀民 梁群 《计算机学报》 EI CSCD 北大核心 1993年第3期161-170,共10页

程序自动综合中的一个难题是:系统怎样才能自动地发现并构造出所需的子程序.本文中我们提出一种基于部分二阶逻辑的机制,称之为假说演算.我们实现了一个基于此种机制的逻辑程序自动设计的实验系统ALP.当不能由背景知识直接构造出C_i~’S... 程序自动综合中的一个难题是:系统怎样才能自动地发现并构造出所需的子程序.本文中我们提出一种基于部分二阶逻辑的机制,称之为假说演算.我们实现了一个基于此种机制的逻辑程序自动设计的实验系统ALP.当不能由背景知识直接构造出C_i~’S时,ALP能自动导出所需子程序的输入-输出实例并综合出所需子程序. 展开更多

关键词 二阶项 重写技术 自动程序设计

在线阅读 下载PDF 职称材料

一种程序综合方法 被引量：1

17

作者 全炳哲 陈伟 金淳兆 《计算机学报》 EI CSCD 北大核心 1996年第11期833-840,共8页

通过证明程序规约的方法可构造相应程序．但对“难题”和无证明的规约，无法使用这种方法构造程序．另一方面，如果可构造程序规约的验证程序，则可把这种程序看成该规约的程序．本文讨论了程序规约的验证程序的构造方法，作为研究程序... 通过证明程序规约的方法可构造相应程序．但对“难题”和无证明的规约，无法使用这种方法构造程序．另一方面，如果可构造程序规约的验证程序，则可把这种程序看成该规约的程序．本文讨论了程序规约的验证程序的构造方法，作为研究程序自动化的一种途径． 展开更多

关键词 形式规约 程序设计自动化 程序综合法

在线阅读 下载PDF 职称材料

形式规范与程序生成

18

作者 庄庆雨 周力研 《计算机科学》 CSCD 北大核心 1989年第5期45-52,27,共9页

形式规范和程序生成是自动程序设计的两个关键问题,通过形式规范的引导可以正确地生成程序。本文首先讨论与形式规范相关的三个问题:形式规范方法,形式规范生成和形式规范正确性;然后讨论从形式规范生成目标程序的技术以及程序正确性问题。

关键词 形式规范 程序生成 自动程序设计

在线阅读 下载PDF 职称材料

扩展的Cooper变换 被引量：3

19

作者 蔡经球 张克均 《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 1992年第5期474-476,共3页

提出一种扩展的Cooper变换模式,用结构归纳法证明了其正确性,并给出应用示例。

关键词 程序变换 自动程序设计 Cooper变换

在线阅读 下载PDF 职称材料

基于贝叶斯网的业务端编程方法

20

作者 邢少敏 周伯生 陈天影 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2009年第6期771-774,共4页

针对现有的业务端编程方法缺乏对于没有软件开发背景的最终用户的指导机制,提出了一种基于贝叶斯网的业务端编程方法.首先提出了一种基于贝叶斯网的最终用户编程基本框架,然后基于贝叶斯网结构学习方法和过程日志建立了用来支撑业务端... 针对现有的业务端编程方法缺乏对于没有软件开发背景的最终用户的指导机制,提出了一种基于贝叶斯网的业务端编程方法.首先提出了一种基于贝叶斯网的最终用户编程基本框架,然后基于贝叶斯网结构学习方法和过程日志建立了用来支撑业务端编程的领域专家系统,在此基础上提出了以领域专家系统为核心的启发式业务端编程方法.该方法在编程过程中依赖领域专家系统对最终用户推荐业务活动,提供实时指导,帮助最终用户逐步完成应用系统的构造.最后对该方法的有效性进行了定性的评估和分析,结果表明,基于贝叶斯网的业务端编程方法可以在一定程度上提高最终用户编程的效率. 展开更多

关键词 业务端编程 自动程序设计 贝叶斯网络 学习系统 领域专家系统 过程日志 WEB服务

在线阅读 下载PDF 职称材料