PAR方法在数值计算中应用与研究.pdfVIP

PAR方法在数值计算中的应用研究 致谢 首先需要感谢的是薛锦云教授，他不论在做人还是做学问的方法上给了我无尽的指导，对学科的指导也 让我受益非浅，思想上了一个大台阶，没有薛老师的帮助我是不可能完全今天的研究工作。薛教师看问题的 深刻程度和对问题的抽象能力让我深深的佩服，特别是薛老师的对科学的态度非常人可比。另外薛教师的文 笔也是首屈一指，总是让我叹为观止。同时还要感谢薛师母，她让我充满了自信。 其次，还要感谢院的其他老师，他们也给了我诸多的帮助。 摘要 } 巍蒋社会的般聂，计算机走进越来越多的企业和家庭，所有行业的自动化也是时代所趋，但题至今仍穆 遗存在麓较律产龋的可靠馁难以确保、可维护往诋、成本不断提高、垒产效率低荐霹舔e由诧，赫何使速、 高效地弹发出具谢高可靠性的软件产品成为软件开发人员长期思考并努力实现的问题，也是软件产业得以迅 速提离瓣关键。簿镍云教授崔多项翻家级课题炎瓒下撬出了一静骜蘧蘧耀的PAR方法正燕克骚以上瓣题，提 高软件的可靠性和开发效率的简单有效的形式化方法。其中在国家自然科学基金谍题“实用的形斌化开发方 {丧及其王具的研究”中，醴成功研制出了许雾自动程序转换系统，该系统能将用Apla语甯描述的抽象程序转 换受嚣饕诲多滚褥靛语言攘痔并蠢接运行。转换系统熬嚣形彝落友努，羔其拦审提供了圣譬多数学运算符r镁 用非常方便。 和良好的开发环境，给目前的程序设计方法学注入了新生血液，也可为数学工作者摆脱被迫追赶流行的程序 阏嚣遣必成为薅我新趋。y ， 本项目是研究PAR方法在数值计算中的运用并用PAR方法来开发数值计算算法。针对研究目标，我们杰 要送行了戳下工撂：臻究辍碍兰蓠软终发震瓣主要毽素，慰瑷露的形式纯方法进行7势掇跑鞍，钟黠嚣翦现 有的形式化方法存在的缺陷，指出PAR方法是一种理想的一种形式化歼发方法并对PAR方法作出介绍；研究 俸盘鬻述莠给毽经典静葵法；分辑、院较当嚣数毽计嚣方法，辑究沼PAR方法来舜发嚣鞲不变式鞘数筐霎=；袅 豹抉速搬乘的冀i麦。 在本项研究过程中，我们参考巍前流行的形式化方法、数值计算方法和现有的数据存储结构的特点，并 进行了多方面的创新：提出PAR方法在数值计算中也是统一的算法设计方法，并且非常蠛含开发数值算法， 在并发静整个过秘都穰鸯然。对予数学工作黉来谎，爻嚣簧了瓣PAR方法就可鞋专心致力予数谴海纛豹研究， 鲍思想，提出了诲多豹抽象数据类型，妇集会、包等，使褥在鬃会等的操作非常箍单。另外，在蹩阵运算中 许多矩簿的快速算法都存在递雅关系，而对骥有的数攒结构揉作起来缀袋杂，丽掰PAR方法中的撼象数据豢 型一序列米进行矩阵存储却可以非常直观、简雎，从而圆满地解决了存储问题；用PAR方法开发过獠中需要歼 发瑷巧零变式，巍壤魏正绥理磐缓蒌l=苓变式，首次姨爨会逶斡燕疫寒接遮缓嚣琴黉式；在攘令磺究进程孛嚣 关键字：影式化方法，PAR方法，数值计纂，快速翼法 V。 √7 ∥’ 矿4 国家自然科学基金课题“实用的软件彤斌化方法及其开发工舆研究”资助项目 2 Abstract and in havefound inmorean‘ Wimthe ofscience society,computersapplication progress technologytoday’s ithasbeen{ theautomationin isimevitabte，Nonetheless familiesand industry mote eon-tpanys．Apparentlyevery