收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

Radl->Apla自动程序转换系统研究与实现

冉小晓  
【摘要】:从“软件危机”爆发至今,有很多新方法和新工具被提出,致力于解决“软件危机”的各个方面。但现有的这些解决方案并没有使人们彻底地从“软件危机”中解脱出来。用形式化方法开发正确、高效的算法程序,被当今计算机界誉为克服“软件危机”,提高软件可靠性和生产效率的革命性途径。 薛锦云教授在国家863和多项国家自然科学基金的资助下,根据多年从事算法程序设计理论研究的成果,提出了一种简单实用的设计和证明算法的形式化方法——PAR。在该方法的指导下,定义了Radl(Recurrence-based Algorithm Design Language)抽象算法设计语言来描述算法规约和抽象算法,定义了Apla(Abstract Programming Language)语言来描述抽象程序。 本项研究作为PAR方法研究的一个重要组成部分,目标是开发一个自动程序转换系统,该系统能将用Radl语言描述的算法转换成抽象语言程序Apla程序。 围绕转换系统的设计与实现,本文主要做了一下工作: 1、对Radl算法描述语言和Apla抽象程序语言进行了归纳和整理。 2、归纳总结Radl语言到Apla语言的程序变换规则。 3、基本上实现了由Radl算法语言程序到Apla程序语言程序的自动转换。 4、用一些典型的算法程序对转换系统进行测试。 Radl→Apla自动转换系统已经将Radl语言书写的数组求和、立方问题、层次遍历二叉树、图的遍历等算法转换为Apla程序并运行得到正确结果。 本研究主要进行了如下创新: 1、实现了Radl语言中的无序递推关系式到Apla程序的转换。 2、实现了Radl语言中的隐式递推关系式到Apla程序的转换。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 何涛;曹天杰;翟朔;;改进的基于RTT口令认证协议[J];计算机工程与设计;2011年07期
2 袁格飞;俞萍;;PLC在压力容器底部气密检验机中的应用[J];科技信息;2011年19期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 任玉环;;NBDP设备的自动程序[A];船舶通信与导航(1995)[C];1995年
2 揭安全;薛锦云;;一种基于Apla-Java可重用部件库的并行(并发)程序开发方法[A];2006年全国开放式分布与并行计算学术会议论文集(一)[C];2006年
3 殷艳杰;;VG-354质谱计测量软件的新改进[A];中国地质科学院天津地质矿产研究所文集(25)[C];1991年
4 蒋涛;李刚;邹凌;;耳鸣诊断治疗技术新进展[A];中华医学会第十次全国耳鼻咽喉-头颈外科学术会议论文汇编(下)[C];2007年
5 张园园;;乳腺X线摄影CR应用[A];2009中华医学会影像技术分会第十七次全国学术大会论文集[C];2009年
6 刘润杰;申金媛;穆维新;;形式化开发非递归Koch曲线算法[A];计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集[C];2010年
7 张菊茜;舒治安;郭黎利;;降低OFDM信号峰平比的改进的简单分组编码方法[A];武汉市首届学术年会通信学会2004年学术年会论文集[C];2004年
8 张秋;任大伟;郝敬熙;;氨制冷系统节能方案探讨[A];2006年山东省制冷空调学术年会“格力杯”优秀论文集[C];2006年
9 刘惠茹;张淑红;李栋;贾悦坦;窦晓峰;;冷轧镀锌线卷取机甩尾时带尾的定位控制[A];2006年河北省轧钢技术与学术年会论文集(上册)[C];2006年
10 潘厚宏;潘乾刚;夏祥华;余德富;;基于PLC的电渣焊焊丝摆动控制系统的研制[A];中西南十省区(市)焊接学会联合会第九届年会论文集[C];2006年
中国硕士学位论文全文数据库 前10条
1 冉小晓;Radl->Apla自动程序转换系统研究与实现[D];江西师范大学;2005年
2 施炜;PAR方法应用于管理信息系统开发方法的初步研究[D];江西师范大学;2004年
3 杨淑群;PAR方法在数值计算中的应用研究[D];江西师范大学;2003年
4 左正康;Apla→C#自动程序转换系统的设计与实现[D];江西师范大学;2004年
5 石海鹤;支持泛型程序设计的Apla-Java自动程序转换系统[D];江西师范大学;2004年
6 康亮;Apla组合数据类型的Delphi实现[D];江西师范大学;2008年
7 应勇;RADL->APLA算法程序自动转换器实验系统研究[D];江西师范大学;2003年
8 蒋毅剑;APLA组合数据类型的C++实现[D];江西师范大学;2002年
9 廖卫兵;基于PAR方法下的组合数据类型的Delphi实现[D];华东师范大学;2008年
10 王森;基于PAR方法开发算法程序的研究[D];江西师范大学;2004年
中国重要报纸全文数据库 前10条
1 董黎明;江苏双良水煤浆锅炉一炮打红[N];经理日报;2006年
2 记者 高国华;外汇市场运行效率进一步提高[N];金融时报;2007年
3 刘国信;欧盟快捷完善的动物疫病通报制度[N];中国医药报;2006年
4 本报通讯员 龚晓琴徐留芳 李广忠 本报记者 彭广余 陈炳山;“效率洪泽”打通中梗阻[N];新华日报;2008年
5 本报记者 杜华斌;互联网上漏洞频频[N];科技日报;2005年
6 王辉黄宪奇;新一代外汇交易系统昨日推出[N];中国证券报;2007年
7 赫澄;欺诈点击:搜索引擎产业顽症[N];中国国门时报;2006年
8 秦媛娜;与国际市场无缝连接 新外汇交易系统运营[N];上海证券报;2007年
9 刘国信;欧盟快捷完善的动物疫病通报制度[N];中国畜牧兽医报;2005年
10 记者 过国忠 通讯员 顾耀武;左右逢源——双良燃水煤浆锅炉制成[N];科技日报;2005年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978