面向转换式程序设计的元语言TrapML

本文介绍了面向转换式程序设计的元语言TrapML。元语言TrapML是根据对面向转换式程序设计的元语言的设计原则、结构与功能等方面进行分析后提出的。该语言具有对象语言语法描述、转换规则描述和转换策略描述设施,可以比较方便地描述转换系统的行为,书写较精确或模糊的转换策略,元程序具有较高的可靠性。     

证明开发环境中的元语言设计

本文通过对数型赋予操作解释，将ＬＦ的逻辑定义风格的λＰｒｏｌｏｇ的逻辑程序设计风格融于一体，提出了旨在对定理证明过程进行元级编程的元语言ＴＭＬ及其抽象解释器，然后，利用项推理过程给出了ＴＭＬ元程序的正确性检查算法。     

对象式逻辑程序设计

本文首先对逻辑程序设计与对象式程序设计进行一些比较，然后介绍对象式逻辑程序设计的基本原理、新进展、应用及目前存在的主要问题。     

金额大写转换程序设计的改进

１转换算法 为实施转换方便，把需转换的阿拉伯数金额ｘ转化为带两位小数的字符串ｎｃ（共ｔ个字符，含小数点），然后应用取子串函数（ｓｕｈｓｔ（ｎｃ，ｉ，１）（ｉ＝１，２…，ｔ，但除去ｔ—２）从左至右对ｎｃ的每一个数字字符实施转换，转换分为两个步骤：１．１数字转换为大写汉字 设 ｃ１＝“零壹贰叁肆伍陆染捌玖”，数字 ｙ（ ０— ９）通过 ｓｕｂｓｔ（ｃ１，２*ｙ十１，２）即转换为对应的大写汉字。 例如，ｙ＝３时，ｓｕｂｓｔ（ｃ１，２*。３＋１，２）为“叁”，即３转换为“叁”１.２依据数字所在位置转化单位汉字 设ｃ…     

气象报文转换程序设计

从本单位实际工作需要出发,利用Visual Basic6.0语言进行程序设计,实现对纯数字编码格式的气象报文进行文字格式的翻译转换,使预报报文在实际业务工作中使用更为方便。     

基因评估基因表达式程序设计方法

基因表达式程序设计(Gene Expression Programming,简称GEP)与遗传程序设计(Genetic Programming,简称GP)相比,具有更强的搜索能力、更简单的编码表示方法和产生更高复杂性函数的能力.但是它也存在一些缺点,例如缺乏学习机制,搜索过于盲目.针对这一缺点,本文提出了一种新的自动程序设计方法:基因评估基因表达式程序设计(Gene Estimated Gene Expression Programming,简称GEGEP).与GEP相比,GEGEP主要具有如下特点:(1)改变了GEP的基因表达式结构,将原来的“头 尾”结构改成了“头 身 尾”结构,以利于其引进学习机制;(2)同源基因也采用“头 身 尾”结构,以利于增强其搜索能力;(3)引入了分布评估算法(Estimation of Distribution Algorithm,简称EDA)的思想,以利于增加其学习能力并且加快其收敛速度.实验结果表明,与GEP和GP相比,GEGEP具有更高的拟合和预测精度、更快的收敛速度.     

试论程序设计课程中的案例式教学模式

提出了基于建构主义理论的案例式教学模式,并给出了相应的教学实例。实践证明,基于建构主义理论的案例式教学模式在程序设计课程教学中的运用是成功的。     

面向Agent的程序设计风范

一、引言 近年来,人工智能研究开始强调推理与知识表示相结合的能动实体——AgentAgent一词在Al研究中既被广泛使用,同时又存在着相当多的争议,在不同的应用环境里gent一词都被赋予特定的含     

面向神经元的程序设计

在文〔O中,我们提出了大神经元(即神经网络)原理.大神经元原理指出,神经元、神经网络均是一个特殊的对象,也具有对象的所有性质如抽象、封装、继承和多态.为明确起见,我们在这里扩展有关神经元、神经网络的定义.     

基因表达式程序设计在信息系统建模预测中的应用

基因表达式程序设计(GEP)是一种基于基因组和表现型组的新型遗传算法,该算法具有很好的健壮性和高效性.采用基因表达式的方法进行演化建模,实例测试的结果表明使用基因表达式程序设计的方法得到的模型要优于普通的线性回归方法和传统的遗传程序设计方法得到的模型,提高了拟合和预测精度.     

通用图像格式转换软件的设计

本文提出了一种通用图像格式转换软件的设计思想，并给出了一个现在最流行的ＴＩＦＦ、ＢＭＰ、ＰＣＸ三种图像格式文件相互转换的实现实例，如果在自己的应用软件中采取这种设计思想，便能很容易地设计出可处理多种格式图像文件的软件。     

基因表达式程序设计在信息系统建模预测中的应用

基因表达式程序设计(GEP)是一种基于基因组和表现型组的新型遗传算法,该算法具有很好的健壮性和高效性采用基因表达式的方法进行演化建模,实例测试的结果表明使用基因表达式程序设计的方法得到的模型要优于普通的线性回归方法和传统的遗传程序设计方法得到的模型,提高了拟合和预测精度。     

带迭代算子的函数式程序设计

本文提出了程序设计语言的一种新的计算模型，带迭代处子的函数式模型，文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定怀证明，该类语言以表达式的复合描述顺序，以迭代表达式描述循环，以条件表达式描述分支，使得程序以数学语义为基础，易于理解，证明及构造高效的执行系统，相信该类语言是一咱有坚实理论基础、高效的、实际有用的高级确定性程序设计语言。     

深度优先的多基因表达式程序设计

基因表达式程序设计(GEP)是应用十分广泛的自动程序设计方法.就解码方法而言,它主要依据广度优先原则来实施从个体表示到表达式的转换.这代表基因片段的含义会因环境的变化而变化.为此,现有GEP对个体的评估缺乏并发支持能力.本文从理论与实验两个方面证实:深度优先原则及个体多解技术,即让单个染色体编码多个解的技术,既可解决以上GEP困境也可显著改善其性能.     

带使用权限的通用下拉式菜单的程序设计

为了更方便、更快捷地开发出具有相对独立性、通用性、可维护性的应用软件系统，笔者在总结近几年开发研制计算机企业管理信息系统工作经验的基础上，编制了一些程序库。本文用来探讨在应用软件开发中带使用权限的通用下拉式菜单的设计技术和实现方法。对于功能菜单的设计，传统的方法是利用程序设计语言中的1／O语句及相应格式说明语句将功能莱单项逐行输出，其最大弊端是降低了编程效率，具有一定的局限性，且屏幕美化、制表、制图等几乎难以实现，不利于用户界面的友好性和软件的可维护性。目前一些成熟的计算机系统（工具激件在用户界…     

基因表达式程序设计的原理与应用

基因表达式程序设计(GeneExpressionProgramming,GEP)是最近几年才发展起来的一种新型的自适应演化算法,并且已经在很多领域的运用中取得了较好的效果。本文中主要阐述了GEP的基本原理、相关应用以及近几年来国内外GEP的研究现状。同时,也对GEP的在今后的研究提出也一些展望。