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

基于PAR方法开发算法程序的研究

王森  
【摘要】:软件系统的成功极大依赖软件需求工程的质量,而软件的可靠性难以保证和开发效率低一直是困扰软件产业的两大难题。而用形式化方法开发软件始终被认为是提高软件可靠性和软件生产率的重要途径,是实现软件开发自动化的关键。尽管已经提出了各种各样的软件形式化方法和开发技术,但目前这些技术还远没有广泛的被软件产业界所接受,原因在于许多方法的提倡者并没有真正研究软件开发者面临的实际问题,算法和程序研究脱节,缺乏系统的算法程序设计和证明方法,实际上有些方法以及这些方法为基础而建立的软件开发工具和自动生成系统只能处理和生成一些玩具式程序(toy-style program)。尚没有一种面向实际问题、简单可行、便于广大软件开发者接受的形式化方法及与该方法相配套的一系列配套的辅助工具来切实的解决这两个问题。 PAR方法基于分化、递推、扩充的量词变换规则、循环不变式的新技术和软件转换工具,充分利用数据抽象、功能抽象、软件重用、多态、类属、重载等成熟的程序设计技术,可以用统一的方法开发复杂算法。 本文首先对形式化方法的定义、分类、目前的发展状况等进行了介绍,同时对典型的形式化方法VDM、Z、B方法、RAISE等形式化语言和方法的产生、主要原理及特点作了介绍,并进行了分析比对;其次,本文还对PAR方法也做了较为详尽的介绍,进一步研究了它的特点,阐述了其哲学思想;最后,运用PAR方法开发了正整数素数分解问题、线性代数统一的算法——基准位置法等多个问题的算法程序,进一步验证了PAR方法在很多复杂数值算法中的应用。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 陈振庆;罗兰花;;基于动态描述逻辑的UML状态图形式化方法[J];计算机工程;2011年13期
2 陈兰香;;一种基于会话的安全Web文件服务模型[J];计算机工程;2011年18期
3 聂锡宁;蔡国永;;Petri网的重写逻辑模型及其属性验证[J];桂林电子科技大学学报;2011年03期
4 曹凤雪;;多Agent系统中组织适应的形式化方法[J];江苏技术师范学院学报;2011年06期
5 邹晓辉;邹顺鹏;;间接计算模型和间接形式化方法[J];软件;2011年05期
6 李鸿;;基于范畴论的粒合成形式化方法[J];计算机工程;2011年14期
7 李均涛;唐郑熠;李祥;;基于行为时序逻辑的入侵取证研究[J];计算机应用研究;2011年07期
8 刘江;;软件开发方法需要理论[J];程序员;2010年10期
9 陈振庆;罗兰花;;基于OWL本体的UML类图推理[J];计算机应用与软件;2011年08期
10 陈振庆;;基于描述逻辑的带依赖属性UML类图[J];计算机工程;2011年15期
11 李翔;梁昔明;傅学正;;大规模过程系统优化方法[J];信息与控制;2011年04期
12 卢威;;计算机加密系统的设计[J];科技信息;2011年16期
13 杨聚庆;刘娇月;王光民;;搅拌站控制系统的迭代自学习算法设计[J];制造业自动化;2011年14期
14 赵志英;赵冉;;太阳能电池多参数模型研究[J];计算机仿真;2011年07期
15 李辉;;软件工程开发方法的现状与展望[J];福建广播电视大学学报;2011年03期
16 陈彬;邱晓刚;郭刚;;多范式人工社会建模与多智能体仿真平台框架[J];系统仿真学报;2011年08期
17 齐军;张月菊;王涛;;工作流集成中基于代数表达式的语义匹配机制[J];计算机应用;2011年08期
18 刘茂福;任丕顺;;基于智能单粒子算法与支持向量机的稳健优化设计[J];装备制造技术;2011年07期
19 董宇欣;印桂生;谢新强;马志强;;网构软件信任机制的形式化研究[J];哈尔滨工程大学学报;2011年06期
20 王苏滨;张泽焕;汪红宇;;显示控制群中大规模控制的形式方法[J];控制理论与应用;2011年06期
中国重要会议论文全文数据库 前10条
1 石海鹤;薛锦云;;一种基于PAR的高可靠算法程序设计技术[A];第六届中国测试学术会议论文集[C];2010年
2 刘润杰;申金媛;穆维新;;形式化开发非递归Koch曲线算法[A];计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集[C];2010年
3 揭安全;薛锦云;;一种基于Apla-Java可重用部件库的并行(并发)程序开发方法[A];2006年全国开放式分布与并行计算学术会议论文集(一)[C];2006年
4 杨晓婕;缪祥华;仇细平;;Yahalom协议的改进及安全性分析[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
5 薛慧琦;吴恒;;由程序规约推导程序[A];2005年全国理论计算机科学学术年会论文集[C];2005年
6 吴允曾;;关于形式化的几个问题[A];金岳霖学术思想研究——金岳霖学术思想研讨会论文集[C];1985年
7 贾金华;彭盈;葛探宇;;以算法为中心的模型表示法及管理系统[A];1992年中国控制与决策学术年会论文集[C];1992年
8 孙凌宇;冷明;;分划递推法在Hanoi塔问题上的应用[A];广西计算机学会2006年年会论文集[C];2006年
9 燕飞;唐涛;;实时并发系统的形式化建模方法研究[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
10 王绍棣;孙知信;王汝传;;形式化方法在CAD中的应用研究[A];中国图象图形学会第十届全国图像图形学术会议(CIG’2001)和第一届全国虚拟现实技术研讨会(CVR’2001)论文集[C];2001年
中国博士学位论文全文数据库 前10条
1 龙慧云;基于进程代数的Web服务数据和组合的形式化方法研究[D];贵州大学;2009年
2 席琳;形式化方法在构件组装实时系统中的应用研究[D];郑州大学;2012年
3 江敏;多视点需求工程中不一致性的检测与处理[D];武汉大学;2007年
4 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
5 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
6 燕飞;轨道交通列车运行控制系统的形式化建模和模型检验方法研究[D];北京交通大学;2006年
7 陈怡海;面向对象软件规格说明的构造及确认技术研究[D];上海大学;2007年
8 金仙力;实时服务构件的语义特征和行为组装形式化技术研究[D];北京邮电大学;2008年
9 廖军;面向服务的计算(SOC)中服务组合的研究[D];电子科技大学;2006年
10 胡俊;高安全级别可信操作系统实现研究[D];中国科学院研究生院(电子学研究所);2008年
中国硕士学位论文全文数据库 前10条
1 王森;基于PAR方法开发算法程序的研究[D];江西师范大学;2004年
2 杨淑群;PAR方法在数值计算中的应用研究[D];江西师范大学;2003年
3 赖勇;APLA到C++自动程序转换系统的研制[D];江西师范大学;2002年
4 冉小晓;Radl->Apla自动程序转换系统研究与实现[D];江西师范大学;2005年
5 孙凌宇;PAR方法在组合数学问题中的应用研究[D];江西师范大学;2005年
6 施炜;PAR方法应用于管理信息系统开发方法的初步研究[D];江西师范大学;2004年
7 张少平;基于结构化自然语言的算法规约研究[D];江西师范大学;2003年
8 杨庆红;递归问题循环不变式开发新策略的研究与应用[D];江西师范大学;2003年
9 黄海飞;PAR方法在构建高可靠管理信息系统中的应用研究[D];江西师范大学;2007年
10 万松松;循环不变式开发技术研究[D];江西师范大学;2008年
中国重要报纸全文数据库 前10条
1 茗 怡;WL-16让残疾人用“双脚”行走[N];大众科技报;2003年
2 仇方迎 特约记者 王握文;博弈机器人与人面对面下棋[N];科技日报;2004年
3 章柏幸(项目经理);走出问题的乌托邦[N];中国图书商报;2003年
4 上海交通大学APEX数据和知识管理实验室 王昊奋俞勇;语义Web推动下一代搜索[N];计算机世界;2007年
5 黎敬波;可拓方法与中医思维[N];中国中医药报;2005年
6 尹霞;我说的话 你能听懂吗?[N];计算机世界;2001年
7 Builder;一睹64位XP芳蓉[N];电脑报;2004年
8 张岂之;关于环境哲学研究的几点思考[N];光明日报;2007年
9 ;关于增值税防伪税控代开专用 发票系统设备及软件配备的通知[N];中国税务报;2004年
10 王握文 刘文韬;我国首台博弈机器人问世[N];湖南日报;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978