×

兹马思-数学第一资源

连续显式Runge-Kutta格式的正、伴随灵敏度分析。(英语) Zbl公司 1159.65071
摘要:研究了具有高阶显式连续Runge-Kutta对的切线线性、一阶和二阶伴随模型的数值解。目前流行的软件包(如sundalials或DASPKADJOINT)中实现的方法基于线性多步方法。对于非线性模型的自适应时间积分,在伴随模型仿真过程中需要对正演模型解进行插值。我们建议使用连续Runge-Kutta格式中建立的稠密输出机制作为反问题运行的一种高精度和经济高效的插值方法。我们在一个名为DENSERKS的Fortran库中实现了我们的方法,该库在许多测试问题上与其他类似软件进行了很好的比较。

理学硕士:
6506年 常微分方程的多步Runge-Kutta和外推法
6505年 初值问题的数值方法
34A34型 非线性常微分方程组,通论
65日元 数值算法的打包方法
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 《气象与海洋学中伴随参数估计与可辨识性之实务与理论研究》,Dyn。大气。海洋,27,55-79,(1997)
[2] 达米安,V。;三都,A。;达米安,M。;波特拉,F。;Carmichael,G.R.,动力学预处理器KPP-一个解决化学动力学的软件环境,计算机。化学。英国,261567-1579,(2002年)
[3] 莱迪米特,F.X。;纳文,I.M。;Daescu,D.,《数据同化中的二阶信息》,周一。《天气评论》,1303629-648,(2002)
[4] 格里斯,R。;Walther,A.,使用自动微分的最优控制问题的参数灵敏度,Optim。控制应用程序。方法,28297-314,(2003)·Zbl公司 1073.93518
[5] A。阿德克罗夫特,J.-M。坎平,P。海姆巴赫,C。希尔,J。马歇尔,麻省理工学院通用循环模型用户手册,麻省理工学院,波士顿,马萨诸塞州,美国,2007年。
[6] 三都,A。;代斯库,D。;卡迈克尔,G.R。;Chai,T.,区域空气质量模式的伴随灵敏度分析,J。计算机。物理学,204,1222-252,(2005)·Zbl公司 1061.92061
[7] Özyurt,哥伦比亚特区。;巴顿,P.I.,使用方向二阶伴随方法的大规模动态优化,工业工程化学。第441804-1811号决议(2005年)
[8] 海格,W.W.,最优控制中的龙格-库塔方法和变换伴随系统,数值。数学,87,2247-282,(2000)·Zbl公司 991.49020
[9] A。三都,论Runge-Kutta离散伴随的性质,载:计算科学国际会议,2006年第4卷,第550-557页·Zbl公司 1157.65421
[10] Walther,A.,最优控制显式龙格-库塔方法的自动微分,计算机。擎天柱。申请书,36,1,83-108,(2007年)·Zbl公司 1278.49037
[11] R。Giering,切线线性和伴随模型编译器,用户手册1.41999。
[12] R。吉林,T。Kaminski,应用TAF生成fortran77-95程序的高效导数代码,Proc。申请。数学。机械。2(1)(2003)54-57。
[13] L。哈斯克öet,V。Pascual,TAPENADE 2.1用户指南,技术代表0300,INRIA,Sophia Antipolis,法国,2004年。
[14] M。亚历克斯,A。桑杜,关于自适应时间步进算法的离散伴随,技术代表TR-08-08,弗吉尼亚理工学院和州立大学,弗吉尼亚州布莱克斯堡,2008年·Zbl公司 1177.65098
[15] 埃伯哈德,P。;Bischof,C.,数值积分算法的自动微分,数学。计算机,68226717-731,(1999)·Zbl公司 1017.65062
[16] 贝克,T.S。;休眠,J.R。;吉尔摩,J.P。;Prince,P.J.,嵌入runge-kutta方法的连续逼近,应用。数字。数学,22,1-3,51-62,(1996)·Zbl公司 871.65077
[17] E。海尔,S.P.Nrsett,G。《求解常微分方程:非刚性问题》,载:计算数学,第一卷,斯普林格-韦拉格,1993年·Zbl公司 789.65048
[18] 夏普,P.W。;Verner,J.H.,显式runge-kutta对的高阶插入式生成,ACM trans。数学。软件,24,1,13-29,(1998)·Zbl公司 928.65086
[19] Özyurt,哥伦比亚特区。;Barton,P.I.,stiff-ODE嵌入泛函的廉价二阶方向导数,SIAM J。科学。计算机,26,5,1725-1743,(2005)·Zbl公司 1076.65067
[20] 南卡罗来纳州。;布朗,P.N。;格兰特,K.E。;李,S.L。;塞尔维亚语,R。;舒梅克,D.E。;伍德沃德,C.S.,日晷:非线性和微分/代数方程求解器套件,ACM trans。数学。软件,31,3363-396,(2005年)·Zbl公司 1136.65329
[21] R。塞班,A.C.Hindmarsh,CVODES:日晷中的灵敏度启用ODE解算器,技术代表UCRL-JP-200037,劳伦斯·利弗莫尔国家实验室,加利福尼亚州利弗莫尔,美国,2003年。
[22] A、 C.亨德马什,R。Serban,CVODES v 2.5.0的用户文档,劳伦斯·利弗莫尔国家实验室,加利福尼亚州利弗莫尔,美国,2006年。
[23] 曹,Y。;李,S。;佩佐德,L。;《微分代数方程的伴随灵敏度分析:伴随DAE系统及其数值解》,暹罗J。科学。计算机,24,3,1076-1089,(2002年)·Zbl公司 1034.65066
[24] 美国。李,L。Petzold,用于灵敏度分析的新DASPK的设计,技术代表TRCS99-28,加利福尼亚大学圣巴巴拉分校,加利福尼亚州,美国,1999年。
[25] 美国。李,L。Petzold,DASPKADJOINT的描述:微分代数方程的伴随灵敏度解算器,技术代表TRCS99-28,加利福尼亚大学圣巴巴拉分校,加利福尼亚州,美国,2002年。
[26] A。三都,P。Miehe,KPP-2.2中用于高效化学动力学模拟的正向、切线线性和伴随Runge-Kutta方法,技术代表TR-06-17,弗吉尼亚理工大学,弗吉尼亚州布莱克斯堡,美国,2006年·Zbl公司 1157.80405
[27] 达斯库,D.N。;三都,A。;Carmichael,G.R.,用KPP进行化学动力学系统的直接和伴随灵敏度分析:II数值验证与应用,Atmos。《环境》,37,36,5097-5114,(2003年)
[28] 三都,A。;代斯库,D。;Carmichael,G.R.,用KPP进行化学动力学系统的直接和伴随灵敏度分析:第一部分-理论和软件工具,Atmos。环境,37,36,5083-5096,(2003)
[29] Verner,J.H.,高阶runge-kutta方法的可微插值,SIAM J。数字。分析,30,5,1446-1466,(1993)·Zbl公司 787.65047
[30] E。海尔,G。《求解常微分方程:刚性和微分代数问题》,载:计算数学,第二卷,斯普林格·韦拉格,1994年·Zbl公司 729.65051
[31] Ostermann,A.,rosenbrock型方法的连续扩展,计算,44,1,59-68,(1990)·Zbl公司 697.65055
[32] 海尔,E。;Ostermann,A.,外推法的密集输出,Numer。数学,58,1419-439,(1990)·Zbl公司 693.65048
[33] 三都,A。;张磊,大气化学输运模拟中的离散二阶伴随,J。计算机。物理学,224,125949-5983,(2008年)·Zbl公司 1144.92043
[34] 休眠,J.R。;Prince,P.J.,嵌入式runge-kutta公式家族,J。计算机。申请。数学,6,1,19-26,(1980)·Zbl公司 448.65045
[35] 普林斯,P.J。;Dormand,J.R.,高阶嵌入runge–kutta公式,J。计算机。申请。数学,7,67-76,(1981)·Zbl公司 449.65048
[36] 休眠,J.R。;洛克耶,文学硕士。;东北麦戈里根。;Prince,P.J.,runge–kutta三元组的全局误差估计,计算机。数学。申请书,18,9,835-846,(1989年)·Zbl公司 683.65054
[37] 曹,Y。;李,S。;《微分代数方程的伴随灵敏度分析:算法与软件》,J。计算机。申请。数学,149,1711-191,(2002)·Zbl公司 1013.65084
[38] Griewank,A.,《求导:算法微分的原理和技术》(2000),美国宾夕法尼亚州费城暹罗市·Zbl公司 958.65028
[39] A、 C.亨德马什,R。Serban,CVODES v.2.5.0示例程序,劳伦斯·利弗莫尔国家实验室,加利福尼亚州利弗莫尔,美国,2006年11月。
[40] 朱,C。;伯德,R.H。;卢,P。;Nocedal,J.,算法778:L-BFGS-B:大规模有界约束优化的Fortran子程序,ACM trans。数学。软件,234550-560,(1997)·Zbl公司 912.65057
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。