新算法程序的开发初探

算法程序是用可执行程序设计语言或抽象程序设计语言描述的算法,开发正确、高效率的算法是计算机科学的核心,为了提高算法程序的可靠性和生产效率,人们正在追求算法程序开发的形式化和自动化。

用MATLAB实现遗传算法程序

简要阐述了遗传算法的基本原理 ,探讨了在MATLAB环境中实现遗传算法各算子的编程方法 ,并以一个简单的实例说明所编程序在函数全局寻优中的应用。

算法程序变换研究与进展

开发算法程序是计算机科学领域中最具挑战性的问题之一。为了提高算法程序的可靠性和生产效率,人们正在追求其开发的自动化。算法程序变换是实现算法程序开发自动化的重要途径,已成为程序设计方法学和软件自动化领域中的重要课题,目前已取得很大进展。本文介绍了算法程序变换的相关概念,给出了算法程序变换的分类,并从方法学、语言、算法设计能力、支撑工具及其适用领域等方面分析和比较了几个有代表性的算法程序变换研究项目,讨论了当前研究的不足以及今后的研究方向。

若干算法程序的形式化推导与生成技术研究

PAR方法基于分划与递推、量词变换规则、循环不变式开发新策略和软件转换工具,实现了复杂算法问题的形式化开发.采用PAR方法形式化推导几个典型的算法问题.通过量词变换规则对程序规约进行形式化推导,可以得到具有数学引用透明性、易于形式化证明的求解算法问题的递推关系;并在此基础上,自然地导出循环不变式.在得到简短、易于理解、高可靠性的Apla算法程序之后,通过转换工具自动生成Java,C++等可执行程序.

基于Isabelle定理证明器算法程序的形式化验证

形式化验证对保证软件的正确性和可靠性具有十分重要的意义。定理机械证明是形式化验证的一个重要研究领域,Isabelle系统是一个被广泛运用的定理证明辅助工具。本文在分析Dijkstra最弱前置谓词理论的基础上,根据PAR方法开发的算法程序循环不变式,提出了一种使用Isabelle定理证明器对算法程序进行机械验证的方法。该方法既克服了传统手工验证过程的繁琐性和易错性等缺点,又达到"提高验证效率和保证算法程序高可信"的目标,具有很好的实用价值。

一组基于PAR的高可靠查找算法程序开发

使用形式化方法PAR,从查找问题的形式化规约出发,使用量词的性质等作为规则,分别施行不同的等价规约变换,开发了一组查找算法程序,并借助PAR平台进一步将其转换成可执行程序,这清晰展示了各算法程序间存在的关系,保证了结果程序的正确性和可靠性,使得算法程序的设计效率得到提高.

使用SPEC#开发高可靠性的算法程序

概要介绍了SPEC#的基本特性;使用SPEC#开发了若干典型的算法程序,利用该语言中的契约机制来形式化地描述前置条件、后置条件、对象不变式等程序规约,从而显著地提高了程序的可读性、可靠性和可维护性,有助于软件自动化水平的提高。

复杂算法程序的规范证明和形式推导

能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。本文介绍了这一领域的研究现状,重点综述了作者近年来提出的复杂算法程序形式化技术,以典型实例说明了使用这些技术的方法。

从RMI原理看盈不足的构造及算法程序

RMI作为一种普遍的思想方法,是现代数学方法的重要内容,在人们认识事物、分析和解决问题中有着广泛的应用价值.从中国古算理论的渊源来说,盈不足术无疑是古代独立的创造,实质也是RMI的表现.

形式化PAR方法及其算法程序规约精化机理

用形式化方法开发软件是提高软件生产效率和可靠性的革命性途径,是实现软件自动化的决定性关键。文章介绍了一种新的支持作为软件开发核心的算法设计的形式化方法PAR,分析了其理论基础及算法程序规约精化机理,并结合一个经典实例开发展示了PAR的具体使用,给出PAR的实际应用项目,最后对PAR进行了评述。

VAX机算法程序库管理

本文对VAX机算法程序库提出了一种实用的管理方法,介绍了该方法的结构和使用。

例谈打比方在算法程序教学中的应用

高中信息技术新课程的选修课程包括五个模块。其中“算法与程序设计”模块对机房网络等硬件配置要求相对较低,不少学校选择开设了此模块。然而该模块中深奥和抽象的知识点较多,在授课过程中我们明显感觉到学生理解起来比较困难。为此,我们积极探究尝试各种方法,力图帮助学生深入理解和掌握。“打比方”就是我们探究出的一个行之有效的好方法。

变压器遗传算法程序中的编码问题

变压器电磁方案计算属于对离散变量的求解问题，而遗传算法是一种建立在统计基础上、模拟生物进化，按一定策略和方法对解域进行随机搜索的优化方法，对离散变量、连通性较差的NP难题具有较强的解决能力，在变压器优化计算领域获得了较大发展空间。

一种抽象算法程序到可执行程序的转换

算法程序是用抽象程序设计语言或可执行的程序设计语言描述的算法。开发正确而有效的算法程序一直是计算机界的核心问题。分划—递推法(PAR方法)是一种统一的算法程序开发方法,采用这种方法开发的算法程序Apla程序是一种抽象算法程序,它的每一步都经过严格的数学推导,因而可以保证算法的正确性,采用程序转换技术将抽象算法程序转换为各种执行程序,可以大幅度提高算法程序的效率和可靠性。

遗传算法程序的模块化设计

随着优化问题的复杂化和优化对象的多样化,对优化方法的主要实现形式———计算机程序设计提出了更高的要求,这里分析了一种进化算法———遗传算法特点,给出一种通用性与计算效率并重的模块化程序设计方法,在不同类型的优化问题中均能取得性能良好的解,在工程计算领域有很强的应用价值,目前已应用于网络图优化、生产作业排序等方面。

循环算法程序的推导及其应用

算法要求将现实可行的处理事情的方法抽象化,最终用程序设计语言来描述。而不少初学者学习程序设计往往是摸不着头脑。掌握恰当的算法推导方法将有助于学习程序设计。旨在教导学生掌握循环算法推导的一般方法。

加权回归的算法程序及应用

设依变量 Y 对于多个自变量 x_1、x_2、……、x_p 成线性相关,则其回归方程为:根据给定的 n 次实测数据,可用最小二乘法,当剩余平方和即:为最小时,求出各偏回归系数 B_i(i=1,2,……P)

高中算法程序设计教学与学生创新能力的培养

本文主要分析高中算法程序设计教学中存在的问题,阐述解决高中算法程序设计教学中存在问题的对策,并针对高中算法程序设计教学中学生创新能力的培养措施进行研究和探讨。

最小生成树的一个算法程序

最小生成树是指从加权图中生成的众多生成树中各树枝加权值之和为最小值的一颗生成树。最小生成树有很广泛的实际应用。例如,如何用最低费用把n个城市用电缆联接起来建设一个有线通信网问题就是在有n个点的加权连通图中找出一颗最小生成树的问题。

程序算法识别研究综述

了解程序代码所描述的算法,能帮助程序员理解程序从而开展各项软件工程任务。由于人工理解程序算法要求程序员具备丰富的专业知识并且十分耗时耗力,程序算法识别任务以实现程序算法理解的自动化为主要研究目标,与人工理解相比更为高效、准确。系统整理了程序算法识别领域的相关工作。首先,梳理程序算法识别等相关概念,简介基于知识表示与基于信息检索的方法;其次,将基于代码表征的方法划分为基于序列、基于树和基于图等方法展开详细阐述,并对三类方法作出小结与对比;最后,介绍程序算法识别任务的相关应用领域,分析该任务中尚存的问题并对未来的发展作出展望。