收藏本站
《江西师范大学》 2005年
收藏 | 手机打开
二维码
手机客户端打开本文

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程序的转换。
【学位授予单位】:江西师范大学
【学位级别】:硕士
【学位授予年份】:2005
【分类号】:TP311.52

【引证文献】
中国期刊全文数据库 前1条
1 苏昭;薛锦云;杨晨;;形式化方法在高中算法教学中的应用研究[J];计算机与现代化;2010年07期
中国硕士学位论文全文数据库 前1条
1 甘红星;DTSC跨平台技术研究与实现[D];北京邮电大学;2012年
【参考文献】
中国期刊全文数据库 前5条
1 杨芙清;;软件复用及相关技术[J];计算机科学;1999年05期
2 李云清;算法形式化推导及其在软件重用中的应用[J];计算机工程;2003年09期
3 杨芙清,朱冰,梅宏;软件复用[J];软件学报;1995年09期
4 薛锦云,吴云峰,万剑怡;迭代算子及其在可重用软件研究中的应用[J];软件学报;1997年02期
5 薛锦云;算法程序形式化开发研究[J];云南大学学报(自然科学版);1997年S2期
【共引文献】
中国期刊全文数据库 前10条
1 张静,方群;UAN及其在用户接口设计中的应用[J];安徽师大学报(自然科学版);1998年04期
2 余炳惠,王克刚;排序算法的选择及一些改进[J];安康师专学报;2004年04期
3 晏妮;;高职《数据结构》课程中的案例教学[J];安康学院学报;2008年02期
4 覃遵跃;在左边是单属性的函数依赖集中寻找关系模式候选码的算法[J];安庆师范学院学报(自然科学版);2003年02期
5 覃遵跃,徐洪智,冯峻松,蔡国民;利用函数依赖图寻找关系模式的候选码[J];安庆师范学院学报(自然科学版);2004年01期
6 孙远春;程序设计语言课教学问题探讨[J];安庆师范学院学报(自然科学版);1998年04期
7 李桂丽,刘悦,田莹;可复用构件的制作和组装[J];鞍山钢铁学院学报;2002年03期
8 王宏福;向方;;软件本地化错误测试[J];安阳师范学院学报;2006年02期
9 杨光祥;陶德馨;何岩;;BPON系统SN搜索方法研究与仿真[J];半导体光电;2005年06期
10 侯柳平,李伟生;基于扩展双链式存储结构的最小生成树算法[J];北方交通大学学报;2003年02期
中国重要会议论文全文数据库 前10条
1 杨峰;纪凯;陈涛焘;韩栋;;一种公交最佳路径选择方法[A];中国地理信息系统协会第四次会员代表大会暨第十一届年会论文集[C];2007年
2 刘金朋;魏长江;;启发式算法求最短路径的一种高效率实现方法[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
3 何浩;杨义先;;一种基于大容量短消息存储的用户识别模块的时间管理方法[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
4 赵熙;杨义先;钮心忻;;一种基于智能卡的大容量号簿的数据管理方法[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
5 王熠;李杨;;基于SOA的松耦合架构在新华08中的应用研究[A];中国新闻技术工作者联合会2012年学术年会、五届四次理事会暨第六届“王选新闻科学技术奖”的“人才奖”和“优秀论文奖”颁奖大会论文集[C];2012年
6 孙凌宇;冷明;;分划递推法在Hanoi塔问题上的应用[A];广西计算机学会2006年年会论文集[C];2006年
7 洪悦;;基于WEB的企业通用查询构件的设计与实现[A];全国第十届企业信息化与工业工程学术年会论文集[C];2006年
8 李浩;谢庆生;;开放式热处理车间管理控制一体化系统的研究与应用[A];全国先进制造技术高层论坛暨制造业自动化、信息化技术研讨会论文集[C];2005年
9 王颜新;李向阳;;基于可信平台的军品供应链支持系统[A];2008全国制造业信息化标准化论坛论文集[C];2008年
10 贾利涛;刘烨;;色织行业工艺设计系统可重构性研究[A];全国先进制造技术高层论坛暨第七届制造业自动化与信息化技术研讨会论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 付文俊;矿井封闭火区救灾辅助决策系统研发[D];辽宁工程技术大学;2010年
2 牛立刚;飞秒激光微纳加工数据模型研究[D];吉林大学;2011年
3 常光辉;大规模分布式可信监控系统研究[D];重庆大学;2011年
4 张卫;基于XaaS的制造服务链形成与应用研究[D];浙江大学;2011年
5 席琳;形式化方法在构件组装实时系统中的应用研究[D];郑州大学;2012年
6 董建华;面向大规模定制生产模式的产品设计技术研究[D];大连理工大学;2000年
7 张建华;选择性激光烧结技术应用研究[D];南京航空航天大学;2001年
8 邓达强;运动机械监测系统数据融合关键技术的研究与应用[D];重庆大学;2001年
9 吴安德;数控喷射电铸技术研究[D];南京航空航天大学;2002年
10 朱建江;基于软件构件的软件复用的研究[D];南京航空航天大学;2002年
中国硕士学位论文全文数据库 前10条
1 何璐;零码平台业务自动建模的研究与实现[D];哈尔滨工程大学;2010年
2 刘飞龙;构件技术在网球信息化平台中的研究与应用[D];中国海洋大学;2010年
3 苏昭;关系代数→关系演算转换系统的研制[D];江西师范大学;2010年
4 杨晨;基于PAR平台的最弱前置谓词生成器的设计与实现[D];江西师范大学;2010年
5 喻瑗;基于J2EE的电信计费系统业务受理模块的设计与开发[D];南昌大学;2010年
6 袁松;基于层次分析法的测试用例可复用性研究[D];华东理工大学;2011年
7 袁晓芳;可重构路由器构件描述方法[D];北京交通大学;2011年
8 蒋朝芳;生产车间物资信息管理系统的设计与实现[D];电子科技大学;2010年
9 姜云鹏;辽河油田投资管理管理系统的设计与实现[D];电子科技大学;2011年
10 程立新;基于软件构件技术的车辆保险营销支持系统设计与实现[D];电子科技大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 王雅文;宫云战;杨朝红;;软件测试工具综述[J];北京化工大学学报(自然科学版);2007年S1期
2 宋雅娟,刘刚;C语言中使用#define常见问题解析[J];长春大学学报;2005年02期
3 钟华;胡小龙;罗斐;;自动化测试浅析[J];电脑知识与技术(学术交流);2007年05期
4 ;专家门诊[J];程序员;2002年01期
5 屈文建;薛锦云;;PAR方法和循环不变式的范畴语义[J];计算机工程与应用;2009年08期
6 秦春燕;姚竹亭;;嵌入式系统软件测试的研究[J];机械管理开发;2008年03期
7 姚砺,束永安;用JavaCC构造编译器的方法[J];计算机工程;2003年09期
8 石海鹤;薛锦云;;基于PAR的算法形式化开发[J];计算机学报;2009年05期
9 薛锦云;Formal Derivation of Graph AlgorithmicPrograms Using Partition-and-Recur[J];Journal of Computer Science and Technology;1998年06期
10 邓青华;;软件自动化测试工具研究[J];软件导刊;2011年01期
中国硕士学位论文全文数据库 前4条
1 孙涛;悬挂指针的静态检测方法研究[D];北京邮电大学;2011年
2 胡成杰;Java语言基于函数摘要的过程间静态测试方法研究[D];北京邮电大学;2011年
3 蒋超;C/C++安全检查工具预处理器的设计与实现[D];西安电子科技大学;2008年
4 柯平;内存泄漏静态检测模型的设计与实现[D];北京邮电大学;2009年
【二级引证文献】
中国期刊全文数据库 前1条
1 左立军;;高中数学算法类问题教学的问题及对策[J];数理化学习;2013年05期
【二级参考文献】
中国期刊全文数据库 前1条
1 李云清,杨庆红,薛锦云;基于集合与序列的Ada可复用部件及应用[J];计算机工程;1998年11期
【相似文献】
中国期刊全文数据库 前10条
1 杨乐;薛锦云;万韵;;面向PAR平台的测试用例生成技术研究[J];微计算机信息;2009年33期
2 杨庆红,肖燕娟;一种高效的算法程序设计方法—PAR方法[J];计算机与现代化;2000年06期
3 杨淑群,余巍巍;软件自动化的新途径[J];抚州师专学报;2003年03期
4 卢家兴,李云清;PAR方法在组合游戏上的应用[J];计算机与现代化;2004年09期
5 邓笋根,王明文;基于PAR方法的并行最大和算法的推导[J];江西师范大学学报(自然科学版);2001年02期
6 石海鹤,骆健,薛锦云;用PAR方法构建三种Java集合类[J];计算机与现代化;2001年04期
7 王森,王波;寻找正整数的素数因子的新算法[J];华东交通大学学报;2004年01期
8 蔡金燕;单甘霖;封吉平;魏震生;;VXI总线转换系统与被测印制板接口电路的设计[J];微电子测试;1997年03期
9 严忠林;张辅群;徐剑峰;;C-Java自动程序转换系统的设计[J];计算机技术与发展;2007年02期
10 姬莉霞;周清雷;李占波;苏锦祥;;时间自动机状态空间的一个极小化构造方法[J];计算机工程与应用;2007年14期
中国重要会议论文全文数据库 前10条
1 揭安全;薛锦云;;一种基于Apla-Java可重用部件库的并行(并发)程序开发方法[A];2006年全国开放式分布与并行计算学术会议论文集(一)[C];2006年
2 任玉环;;NBDP设备的自动程序[A];船舶通信与导航(1995)[C];1995年
3 季幼章;;大功率脉冲电源[A];加入WTO和中国科技与可持续发展——挑战与机遇、责任和对策(上册)[C];2002年
4 丁男;马洪连;;嵌入式工业以太网实时转换系统[A];2007年中国智能自动化会议论文集[C];2007年
5 何荣建;李代生;齐勇;张从和;赵海云;;力—电转换系统测量X射线结构的力学响应[A];中国工程物理研究院科技年报(1999)[C];1999年
6 于天林;李沅;;DR数字化平板探测器直接/间接转换系统的对比分析[A];青岛市医学工程第六次学术交流大会论文集[C];2004年
7 于天林;李沅;;DR数字化平板探测器直接/间接转换系统的分析[A];中华医学会医学工程学分会第七次学术年会论文集[C];2004年
8 顾教忠;;价值工程在优化课程设置中的应用[A];中国价值工程辉煌成就20年(1978—1998)[C];1998年
9 宁双龙;孟利民;;无线协议转换系统中虚拟串口的设计与应用[A];浙江省电子学会2009学术年会论文集[C];2009年
10 魏华武;蔡莲红;;汉语普通话全音语句合成系统及其语音编码方法[A];第二届全国人机语音通讯学术会议论文集[C];1992年
中国重要报纸全文数据库 前10条
1 刘仁;国内首个软件系统破解高清转换难题[N];中国知识产权报;2008年
2 邹奕萍;联想顺应融合趋势开发电视机PC[N];通信信息报;2007年
3 ;容量 速度 安全 一个也不能少[N];中国计算机报;2003年
4 汪建根;多功能剧场:提升效益从这里开始[N];中国文化报;2006年
5 陈家根;减少城市交通拥堵有办法[N];新华日报;2008年
6 刘超;明基首推蓝光ROM[N];中国电子报;2007年
7 叶桂华 石磊;“能源自给”大楼落户姜堰[N];国家电网报;2009年
8 李丙驹;双良打造绿色未来[N];中国环境报;2010年
9 福建 忠英;手机翻译时代的到来[N];电脑报;2004年
10 本报见习记者 林峰、李新节;“Fast 50”商业创意集合[N];21世纪经济报道;2006年
中国博士学位论文全文数据库 前10条
1 张晋津;转换系统行为近似等价性的研究[D];南京航空航天大学;2010年
2 张乐;孤南洼陷沙三中亚段可容空间转换系统及沉积体系研究[D];中国地质大学(北京);2007年
3 蒋泽甫;风电转换系统可靠性评估及其薄弱环节辨识[D];重庆大学;2012年
4 余磊;低维测量空间中信号恢复算法[D];武汉大学;2012年
5 李华启;四川盆地西部上三叠统须家河组层序地层学及沉积体系研究[D];中国科学院研究生院(广州地球化学研究所);2003年
6 王锋;塔里木盆地古生界碎屑岩地质转换系统与油气成藏规律[D];中国地质大学(北京);2007年
7 张文基;真空管集热和卵石层贮热转换系统的研究及其热性能分析[D];沈阳农业大学;2006年
8 吕声;说话人转换方法的研究[D];华南理工大学;2004年
9 李成江;基于符号模式的混杂系统鲁棒综合研究[D];山东科技大学;2008年
10 王效灵;视频格式转换系统和芯片[D];浙江大学;2005年
中国硕士学位论文全文数据库 前10条
1 冉小晓;Radl->Apla自动程序转换系统研究与实现[D];江西师范大学;2005年
2 施炜;PAR方法应用于管理信息系统开发方法的初步研究[D];江西师范大学;2004年
3 杨淑群;PAR方法在数值计算中的应用研究[D];江西师范大学;2003年
4 骆健;APLA-JAVA程序自动转换系统的研制[D];江西师范大学;2002年
5 应勇;RADL->APLA算法程序自动转换器实验系统研究[D];江西师范大学;2003年
6 左正康;Apla→C#自动程序转换系统的设计与实现[D];江西师范大学;2004年
7 石海鹤;支持泛型程序设计的Apla-Java自动程序转换系统[D];江西师范大学;2004年
8 康亮;Apla组合数据类型的Delphi实现[D];江西师范大学;2008年
9 廖卫兵;基于PAR方法下的组合数据类型的Delphi实现[D];华东师范大学;2008年
10 吴海根;基于PAR平台的短信系统的应用研究[D];江西师范大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026