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

RADL->APLA算法程序自动转换器实验系统研究

应勇  
【摘要】: 从60年代以来,人们一直受到“软件危机”的困扰。软件的可靠性和开发效率远远满足不了社会发展的需要:一方面,软件故障给人们的生命和财产造成了巨大的损失;另一方面,社会对软件的需求量日益增加,而程序员每年所能开发的有效代码却仍然是少之又少。在多项国家级课题资助下形成的PAR方法正是克服上述“软件危机”,提高软件可靠性和开发效率的简单有效的形式化开发方法。本项研究作为PAR方法的一个重要组成部分,目标是开发一个自动程序转换系统,该系统能将用RADL语言描述的算法转换成抽象程序语言APLA。 围绕转换系统的设计与实现,本文主要做了以下工作: 1、对RADL算法描述语言和APLA抽象程序语言进行了归纳和整理。 2、研究RADL语言与APLA语言各自的语法和语义及它们之间的相互关系。 3、归纳总结得到RADL语言到APLA语言的变换规则。 4、在计算机上基本实现了由RADL算法语言到APLA程序语言的自动转换。 5、用一些典型的算法对转换系统进行了测试。 RADL→APLA自动转换器的设计是以PAR方法为基础,这使得系统在整个设计过程中具有较高的自动化功能(能够一致,可靠,高效地实现从算法描述语言到甚高级语言的变换),并尽可能的利用可重用的部件达到软件的重用。为此系统由词法分析器,语法分析器,规则库和用户界面等部分组成。其中词法分析器和语法分析器被设计成可重用部件,分别完成RADL程序的词法和语法检查,规则库中定义了RADL程序到APLA程序的转换规则。 此转换器已将用RADL语言书写的数组求和、立方问题、前序遍历二叉树等典型算法转换为APLA程序。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 ;Maxim推出具有线性旁路模式的降压型转换器[J];电子技术应用;2011年03期
2 ;德州仪器推出降压DC/DC转换器[J];电子设计工程;2011年16期
3 刘祝垣;郑建生;林炳章;黄小秋;;USB到多路RS422转换器的电路实现[J];电子设计工程;2011年08期
4 刘润杰;申金媛;穆维新;;形式化开发非递归Koch曲线算法[J];计算机科学;2011年09期
5 李大力;;基于CAN总线通信中多协议转换器设计[J];计算机技术与发展;2011年09期
6 ;互动社区[J];电子产品世界;2011年07期
7 廖志辉;;应用热流罩测试DC-DC转换器方法研究[J];数字技术与应用;2011年06期
8 武建波;;九洲DVC-2008CT型有线电视数字机顶盒电路剖析(四)[J];家电检修技术;2011年15期
9 纪剑波;郭继红;;高精度AD转换器的应用[J];科技创新导报;2011年19期
10 ;1A、低噪声、同步降压—升压型DC/DC转换器可延长锂离子和碱性电池供电设备的电池运行时间[J];电子设计工程;2011年16期
11 王海琪;董社勤;;面向应用的片上网络的网络拓扑生成算法[J];计算机辅助设计与图形学学报;2011年09期
12 冯林;王晓迪;吴振宇;马龙;;基于FPGA和ARM的便携式在线监测仪[J];仪表技术与传感器;2011年06期
13 ;Sun讯息[J];上海微型计算机;1998年33期
14 ;赛米控新的封装技术代替了绑定线连接[J];电力电子;2011年03期
15 肖看;;电子设计工程师认证实操实训基础系列讲座(10) 第五讲 简易数字电压表设计(上)[J];电子世界;2010年12期
16 HD;;全面开启网络应用 昂达VI10使用心得[J];电脑迷;2011年16期
17 吉庆昌;刘暐;刘欣彤;;基于DSP的多方式数据采集系统研究[J];河北工程技术高等专科学校学报;2011年02期
18 毛兴武;;离线式降压型大功率LED驱动器MXHV9910[J];电子世界;2010年12期
19 高志勇;宋康;陈勇;郑德宇;;一种通用的基于“观察者模式”的规约转换器设计方案[J];电力自动化设备;2011年09期
20 ;解决打开Word文档无响应[J];家庭科技;2011年09期
中国重要会议论文全文数据库 前10条
1 黄坚;倪珉;朱子伟;;基于DSP技术的数字失真仪的开发[A];浙江省电子学会第七次会员代表大会暨2007学术年会论文集[C];2007年
2 马敏洁;魏学业;;一种BOOST DC/DC转换器的仿真研究[A];'2002系统仿真技术及其应用学术论文集(第四卷)[C];2002年
3 王传礼;丁凡;许贤良;彭天好;;伺服阀用超磁致伸缩转换器驱动磁场的有限元分析[A];2004“安徽制造业发展”博士科技论坛论文集[C];2004年
4 秦廷楷;王亚石;李哨华;;谐振式波导—同轴线转换器[A];1995年全国微波会议论文集(上册)[C];1995年
5 丁川;王清源;廖翱;;在高频段下带SMA接头的同轴——矩形波导转换器的设计[A];2009年全国微波毫米波会议论文集(上册)[C];2009年
6 刘跃华;刘伟;;JSM—T_(300)扫描电镜物镜电路分析[A];第五次全国电子显微学会议论文摘要集[C];1988年
7 姜宁;沈永春;张功镀;;通用多协议转换器的设计与实现[A];上海市化学化工学会2006年度学术年会论文摘要集[C];2006年
8 方志行;张立廷;陈清标;谢文考;;高效率LLC谐振直流转换器[A];2006中国电工技术学会电力电子学会第十届学术年会论文摘要集[C];2006年
9 吴应文;吴浩洋;;水轮机电液调速器及电/机转换器的频率特性[A];2004中国水电控制设备论文集[C];2004年
10 向家安;李红;张新华;;无油自复中电/机转换器的调速器在电站的应用[A];2004中国水电控制设备论文集[C];2004年
中国博士学位论文全文数据库 前10条
1 佟星元;纳米级CMOS逐次逼近A/D转换器设计研究与实现[D];西安电子科技大学;2011年
2 吴晓群;几种混沌系统的控制及一种单阶PFC电路的分岔分析[D];武汉大学;2005年
3 张新玉;闭式循环柴油机水管理系统应用研究[D];哈尔滨工程大学;2005年
4 方建超;网络QoS及性能评价中若干问题的建模与分析[D];上海大学;2004年
5 黄金鑫;基于空间电磁能的无线传感器自供能技术研究[D];山东大学;2012年
6 王庆东;硬盘读写通道伺服信号检测关键技术研究[D];华中科技大学;2007年
7 刘丰;ColdFire微控制器芯片ESD/EFT保护技术研究[D];天津大学;2010年
8 窦文卿;三层Clos网络不阻塞问题的研究[D];浙江大学;2007年
9 邱红辉;电子式互感器的关键技术及其相关理论研究[D];大连理工大学;2008年
10 汤一铭;EBG加载波导结构的电磁特性及其应用研究[D];南京理工大学;2009年
中国硕士学位论文全文数据库 前10条
1 应勇;RADL->APLA算法程序自动转换器实验系统研究[D];江西师范大学;2003年
2 蒋毅剑;APLA组合数据类型的C++实现[D];江西师范大学;2002年
3 赖勇;APLA到C++自动程序转换系统的研制[D];江西师范大学;2002年
4 杨淑群;PAR方法在数值计算中的应用研究[D];江西师范大学;2003年
5 施炜;PAR方法应用于管理信息系统开发方法的初步研究[D];江西师范大学;2004年
6 程武;高速流水线A/D转换器的数字流水线校正技术[D];西安电子科技大学;2010年
7 冉小晓;Radl->Apla自动程序转换系统研究与实现[D];江西师范大学;2005年
8 康亮;Apla组合数据类型的Delphi实现[D];江西师范大学;2008年
9 杨昊;一种16位1GSPS MCML D/A转换器设计[D];西安电子科技大学;2012年
10 廖卫兵;基于PAR方法下的组合数据类型的Delphi实现[D];华东师范大学;2008年
中国重要报纸全文数据库 前10条
1 王峰;金业公司强攻转换器市场[N];中国企业报;2009年
2 司徒;金业精品无线转换器上市[N];消费日报;2009年
3 ;Cirrus Logic推出新款转换器[N];国际商报;2000年
4 朱新亚;XML转换器 电子商务引入新网元[N];中国计算机报;2004年
5 本报记者 那罡;新版转换器实现三大文档格式互操作[N];中国计算机报;2009年
6 郭莹;UOF-OOXML转换器开发取得阶段性成果[N];中国计算机报;2008年
7 宇琪;推出高速数据转换器[N];通信产业报;2001年
8 贾佳;插头、插座、转换器选购要点[N];信息时报;2000年
9 ;TI新推高速数据转换器[N];中国电子报;2001年
10 ;KVM使你更轻松[N];网络世界;2002年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978