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

PAR方法在数值计算中的应用研究

杨淑群  
【摘要】: 随着社会的发展,计算机走进越来越多的企业和家庭,所有行业的自动化也是时代所趋,但是至今仍普遍存在着软件产品的可靠性难以确保、可维护性低、成本不断提高、生产效率低等问题。由此,如何快速、高效地开发出具有高可靠性的软件产品成为软件开发人员长期思考并努力实现的问题,也是软件产业得以迅速提高的关键。薛锦云教授在多项国家级课题资助下提出了一种普遍适用的PAR方法正是克服以上问题,提高软件的可靠性和开发效率的简单有效的形式化方法。其中在国家自然科学基金课题“实用的形式化开发方法及其工具的研究”中,已成功研制出了许多自动程序转换系统,该系统能将用Apla语言描述的抽象程序转换为目前许多流行的语言程序并直接运行。转换系统的图形界面友好,工具栏中提供了许多数学运算符,使用非常方便。 PAR方法蕴含了许多数学思想,非常适合解决数值计算问题。另外,在PAR方法中具有许多强大的工具和良好的开发环境,给目前的程序设计方法学注入了新生血液,也可为数学工作者摆脱被迫追赶流行的程序设计语言的烦恼。用PAR方法来开发数值算法是对目前数值算法开发的扩充与升华。用PAR方法来解决数值问题也必成为时代所趋。 本项目是研究PAR方法在数值计算中的运用并用PAR方法来开发数值计算算法。针对研究目标,我们主要进行了以下工作:研究阻碍当前软件发展的主要因素,对现有的形式化方法进行了分析比较,针对目前现有的形式化方法存在的缺陷,指出PAR方法是一种理想的一种形式化开发方法并对PAR方法作出介绍;研究PAR方法在数值计算中的有效性及PAR方法在数值计算中作出过的贡献,就PAR方法如何运用于数值问题作出阐述并给出经典的算法;分析、比较当前数值计算方法,研究用PAR方法来开发循环不变式和数值算法的优越性;用PAR方法开发了大量的数值算法及推导了Hankel矩阵的对角化快速算法及SCHUR-COHN矩阵的快速相乘的算法。 在本项研究过程中,我们参考当前流行的形式化方法、数值计算方法和现有的数据存储结构的特点,并进行了多方面的创新:提出PAR方法在数值计算中也是统一的算法设计方法,并且非常适合开发数值算法,在开发的整个过程都很自然。对于数学工作者来说,只需要了解PAR方法就可以专心致力于数值问题的研究,接下来的事情交给我们转换系统来完成;PAR方法的泛型机制在数值中的应用。PAR方法中渗透了泛型设计的思想,提出了许多的抽象数据类型,如集合、包等,使得在集合等的操作非常简单。另外,在矩阵运算中许多矩阵的快速算法都存在递推关系,而对现有的数据结构操作起来很复杂,而用PAR方法中的抽象数据类型-序列来进行矩阵存储却可以非常直观、简单,从而圆满地解决了存储问题;用PAR方法开发过程中需要开发循环不变式,为帮助正确理解循环不变式,首次从集合论的角度来描述循环不变式;在整个研究过程中开发了大量的数值算法及推导了Hankel矩阵的对角化快速算法和SCHUR-COHN矩阵的快速相乘算法。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 黎忠文,熊光泽;形式化方法与安全关键系统[J];计算机应用;2000年09期
2 张慧;郑超美;;安全协议的形式化验证方法概述[J];计算机安全;2007年01期
3 姚全珠;张鹏;;基于数据包长度的网络隐蔽通道[J];计算机工程;2008年03期
4 陈道喜;陈冬火;张广泉;;NS密码协议的模型检测分析[J];苏州大学学报(工科版);2008年03期
5 邹俊;;反射中间件技术及其发展[J];科技广场;2009年03期
6 孙麒;张云华;;基于CSP的形式化方法研究[J];浙江理工大学学报;2009年04期
7 游红俊,周红梅,程胜利,陈先桥;形式化方法在CSTA系统测试中的应用研究[J];计算机测量与控制;2004年08期
8 朱艳龙;;软件形式化方法的研究[J];阴山学刊(自然科学版);2004年02期
9 邓达平 ,王命延;形式化方法——Z语言在西瓜棋中应用的研究[J];科技广场;2005年02期
10 张志锋;徐洁;邓璐娟;任雪利;;基于B的UML形式化需求分析[J];计算机技术与发展;2007年08期
11 李建华;李红革;;形式化及其历史发展[J];自然辩证法研究;2008年08期
12 廖伟志;;软件开发的形式化方法在程序测试中的应用[J];广西师范学院学报(自然科学版);2008年04期
13 郑霄;赖新;王丽;田涛;;复杂串联系统的状态空间生成的形式化分析[J];计算机工程与科学;2009年S1期
14 郭小群;郝克刚;侯红;丁剑洁;;复杂分支和同步模式的Pi演算描述[J];计算机科学;2010年02期
15 林闯,李雅娟,王忠民;性能评价形式化方法的现状和发展[J];电子学报;2002年S1期
16 冯烟利,余镇危,潘耘,刘克俭;网络体系结构建模和性能评价的形式化方法——随机进程代数[J];数学的实践与认识;2004年11期
17 陈生庆,张立臣,陈广明;集成的Z实时扩展RT-Z及其应用模式[J];微电子学与计算机;2005年06期
18 姜梦稚;张桂戌;;基于 Petri 网和 B 语言集成的形式化方法[J];微型电脑应用;2005年11期
19 高丽萍;褚伟;;基于B方法的组件开发[J];计算机技术与发展;2007年07期
20 聂华北;;形式化方法描述管道过滤器软件体系结构[J];电脑知识与技术(学术交流);2007年14期
中国重要会议论文全文数据库 前10条
1 杨晓婕;缪祥华;仇细平;;Yahalom协议的改进及安全性分析[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
2 吴允曾;;关于形式化的几个问题[A];金岳霖学术思想研究——金岳霖学术思想研讨会论文集[C];1985年
3 燕飞;唐涛;;实时并发系统的形式化建模方法研究[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
4 王绍棣;孙知信;王汝传;;形式化方法在CAD中的应用研究[A];中国图象图形学会第十届全国图像图形学术会议(CIG’2001)和第一届全国虚拟现实技术研讨会(CVR’2001)论文集[C];2001年
5 燕飞;唐涛;;形式化方法在基于通信的列车运行控制系统(CBTC)中的应用研究[A];可持续发展的中国交通——2005全国博士生学术论坛(交通运输工程学科)论文集(下册)[C];2005年
6 李樱;王永滨;冯爽;;基于LOTOS的PIM-SM协议形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
7 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
8 王永滨;郭云飞;陆娜;;CADP与PIM-SM协议分析[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
9 李峭;熊华钢;黄臻;丁凡;;AFDX网络中的准时制消息调度方法[A];大型飞机关键技术高层论坛暨中国航空学会2007年学术年会论文集[C];2007年
10 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 刘洋;网络式软件需求验证的形式化方法研究[D];电子科技大学;2013年
2 张鹏;形式化方法在云计算中的应用研究[D];吉林大学;2014年
3 龙慧云;基于进程代数的Web服务数据和组合的形式化方法研究[D];贵州大学;2009年
4 陈潇怡;数字权限表达语言的形式化模型及应用研究[D];武汉大学;2011年
5 席琳;形式化方法在构件组装实时系统中的应用研究[D];郑州大学;2012年
6 江敏;多视点需求工程中不一致性的检测与处理[D];武汉大学;2007年
7 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
8 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
9 燕飞;轨道交通列车运行控制系统的形式化建模和模型检验方法研究[D];北京交通大学;2006年
10 陈怡海;面向对象软件规格说明的构造及确认技术研究[D];上海大学;2007年
中国硕士学位论文全文数据库 前10条
1 唐芳芳;哥德尔定理的意义[D];清华大学;2005年
2 李晔;基于构件的形式化需求分析方法研究与实现[D];西安理工大学;2003年
3 王永宝;密码协议的代数模型和安全分析算法研究[D];北京邮电大学;2006年
4 王天舟;早期需求工程中的形式化建模与模型检验应用研究[D];浙江工业大学;2006年
5 张卫;实时系统的形式化设计与辅助代码生成研究[D];华中科技大学;2006年
6 陈岳;基于形式化方法构建领域模型及其实现的探讨[D];华东师范大学;2008年
7 赵琳;安全协议形式化分析方法的比较和研究[D];郑州大学;2007年
8 彭珊珊;安全的电子投票方案及其匿名性的研究[D];上海交通大学;2008年
9 陈广明;Z语言的实时扩展及应用[D];广东工业大学;2004年
10 王森;基于PAR方法开发算法程序的研究[D];江西师范大学;2004年
中国重要报纸全文数据库 前10条
1 上海交通大学APEX数据和知识管理实验室 王昊奋俞勇;语义Web推动下一代搜索[N];计算机世界;2007年
2 黎敬波;可拓方法与中医思维[N];中国中医药报;2005年
3 尹霞;我说的话 你能听懂吗?[N];计算机世界;2001年
4 张岂之;关于环境哲学研究的几点思考[N];光明日报;2007年
5 天津市第一中级人民法院 李宝明;法官的职业思维探析[N];人民法院报;2008年
6 北京化工大学文法学院教授 马长英;潜移默化背后的创新潜力[N];光明日报;2011年
7 本报记者 张蕾;志在促进软件产业跨越式发展[N];光明日报;2006年
8 刘清秀;软件人的福音[N];中国邮政报;2003年
9 中科院数学与系统科学研究院 金芝;没有需求就没有软件[N];计算机世界;2001年
10 正子;贝尔实验室基础研究在中国生根结果[N];通信产业报;2001年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978