中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件工程技术研究开发中心  > 学位论文
题名:
自动微分程序设计及在PETSc中的集成与应用
作者: 张春晖
答辩日期: 2008-06-06
授予单位: 中国科学院软件研究所
授予地点: 软件研究所
学位: 博士
关键词: 自动微分 ; PETSc ; 切线性模式 ; 雅可比矩阵 ; DTC
摘要: 大规模科学计算已经广泛应用在气象、海洋、化学、生物医药、电子工程等领域。科学计算软件的开发是科学计算的关键环节。开发一个具有良好可靠性的计算工具,并与大型计算工具箱集成而完成大规模、复杂实际问题的计算,具有重要意义。 PETSc(Portable, Extensible Toolkit for Scientific Computation)是国际流行的科学计算工具箱,它可用于偏微分方程的求解及相关的高性能计算问题。本文分析了PETSc的主要功能、结构与特色,并剖析了其核心组件,包括向量、矩阵、线性方程组求解器KSP、非线性求解器SNES等。 自动微分是计算函数导数的重要方法,它可以应用在最优化问题的实际计算中。在PETSc中提供了ADIC、ADIFOR等自动微分软件包的接口。本文分析了自动微分计算函数一阶导数的切线性模式与伴随模式的基本原理,介绍了现有的自动微分软件的情况,特别是ADIC的开发及其与PETSc的接口。 DTC(Differentiation Transforming System in C)是针对C语言自动微分工具,用于生成切线性模式。DTC生成的切线性代码可用于计算雅可比矩阵-向量乘积等。本文详细介绍了DTC系统的设计及关键技术,包括编译技术、输入/输出(IO)相关分析等。针对PETSc的复杂数据结构,开发了DTC与PETSc的接口,将两者集成,并应用在求解二维全球正压大气浅水波方程中。最后给出了DTC系统的相关测试结果。
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/6606
Appears in Collections:软件工程技术研究开发中心 _学位论文

Files in This Item:
File Name/ File Size Content Type Version Access License
10001_200528015029003张春晖_paper.pdf(705KB)----限制开放-- 联系获取全文

Recommended Citation:
张春晖. 自动微分程序设计及在PETSc中的集成与应用[D]. 软件研究所. 中国科学院软件研究所. 2008-06-06.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[张春晖]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[张春晖]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace