PAR在数学算法中的应用.docVIP

PAR在数学算法中的应用 　　摘要:针对算法走进高中课堂的现状,提出使用PAR作为高中学习算法开发的主要平台,通过PAR形式化推导实现多项式和素数两个经典数学问题,表明PAR具有良好的数学和程序设计语言透明性,得到算法简短易于理解的同时也可以同时保证算法的正确性,理论分析和试验表明,PAR是学习算法开发的一个有效平台。 　　关键词:PAR方法;PAR平台;形式化推导;算法 　　中图分类号:G623 文献标示码:A文章编号:1009-3044(2010)07-1641-04 　　The Applied of PAR Method in Mathematics Algorithm 　　YANG Chen 　　(School of Computer Information Engineering, Jiangxi Nomal University, Nanchang 330022, China) 　　Abstract: Algorithm already into the high school textbook, the use of PAR as the primary platform in high school learning algorithm. Through the formal PAR derived polynomials and prime numbers to achieve the two classical mathematical problem, Show that the PAR has a good math and programming language transparency, to be brief algorithm is also easy to understand at the same time guarantee the correctness of algorithm, Theoretical analysis and experiments show that the learning algorithm PAR is an effective platform for Learning algorithm. 　　Key words: PAR approach; PAR platform; formal derivation; algorithm 　　20世纪数学发生了很大的变化就是数学与计算机科学的同步发展。计算机的飞速发展对数学的发展起了极大的推动作用,加强了数学与其他学科的联系,拓展了数学的应用范围。所有这一切,算法起了重要的作用。 　　1 PAR方法 　　PAR[1-5]方法是薛锦云教授提出了基本分划和递推(Partition-And-Recur)的算法程序设计方法。PAR方法是一种简单实用的支持算法程序开发全过程的形式化方法。PAR方法进行算法程序设计有两种方法:对于一个给定的算法程序设计问题,先用符号化的规范描述语言,写出这个问题的形式化规范,然后采用变换方法,将问题的形式规范变换成可执行的程序。另一种形式方法是对于给定算法程序设计问题,先写出该问题的形式化规范,然后使用形式化和非形式化相结合的方法,开发或证明算法程序正确。 　　PAR方法/PAR生成系统由自定义泛型算法程序设计语言Radl及相关规约转换规则库;泛型抽象程序设计语言Apla;系列Radl到Apla,Apla到Java、C++、C#、Delphi、VB.NET等可执行语言程序自动生成系统组成。 　　Radl语言[6]是为实现算法程序形式化和半自动化开发而定义的一种基于递推关系的算法设计语言,它是PAR方法/PAR平台的重要组成部分,其主要功能是描述问题的规约、规约变换规则和算法,它使用统一格式(Qi : r(i) : f(i)) Q代表量词,i表示约束于量词Q的变量集合,简称为约束变量集,r(i)为一逻辑表达式,表示i的变化范围,f(i)为一个函数或表达式,其类型随着量词Q的不同而有所不同。Q可以是?坌(全称量词),?埚(存在量词),MIN(求最小值量词),MAX(求最大值量词),∑(求和量词),∏(求积量词)等,分别对应的 q 运算是 ∧,∨,min, max , + , ×,等1利用这些量词的性质可以进行规约变换,本文使用到的变换规则主要有:单点分裂(Qi:i=k:f(i)) = f(k),范围分裂(Qi:r(i):f(i)) = (Qi:r(i)∧b(i):f(i))q(Q i:r(i)∧┐b(i):f(i))。 　　Apla语言[7]是Radl算法到Apla程序生成系统的目标语言,又是Apla到VB、Delphi、Java, C++等可执行语言程序生成系统