×

兹马思-数学第一资源

微分代数方程的基于方程的算法微分技术。(英语) Zbl公司 1310.65087
摘要:本文提出了一种新的算法微分(AD)方法来分析微分代数方程组(DAE)的灵敏度。首次提出了一种基于计算内存效率方程的AD技术的算法规范。这种方法主要针对基于方程的建模和仿真工具,这些工具能够使用最先进的面向对象建模原理来构建高级模型。该方法基于基本树算法,这些算法(甚至手动)适用于长公式的隐式方程组(模型组件的主要构建块)。将所提出的前向微分格式应用于给定的DAE,计算了灵敏度方程组(SESs)的有效表示。参数灵敏度通过直接积分得到。为了克服直接数值积分的运行时性能缺陷,建议采用系统分解方法。结果表明,在很少的实际假设下,采用现代变步长积分方法的运行时性能可以达到前向微分算法的预期理论复杂度。
理学硕士:
65升80 微分代数方程的数值方法
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] H。Elmqvist,S.E.Mattsson,Modelica the next generation modeling language:A international design effort,in:ESS97:第九届欧洲模拟研讨会。德国帕索,1997年。
[2] 巴顿,P。一、 。;潘泰利德。C、 《组合离散/连续过程的建模》,AIChE J.,40966-979,(1994)
[3] MathWorks,2014年。http://www.mathworks.com。
[4] K、 J。结构öm、 H。Elmqvist,S.E.Mattsson,连续时间建模与仿真的演变,in:ESM'1998:第12届欧洲模拟多会议模拟的过去、现在和未来。英国,曼彻斯特,1998年。
[5] 卡塞拉,F。;多尼达,F。;Lovera,M.,Beyond simulation:未来十年使用基于方程的面向对象建模的计算机辅助控制系统设计,Simul。欧洲新闻,19,29-41,(2009)
[6] 瑞典连续语言研究所(Vislund.model of language,1978)。论文)
[7] 塞利尔,F。E、 《连续系统建模》(1991),斯普林格·韦拉格·Zbl公司 725.93006
[8] H。埃尔姆奎斯特,M。Otter,面向对象建模中撕裂方程组的方法,见:ESM'94欧洲模拟多会议。巴塞罗那,西班牙,1994年。
[9] D。Br公司ück,H。埃尔姆奎斯特,H。Olsson,S.E.Mattsson,Dymola for multi-engineering modeling and simulation,in:Modelica'2002:第二届国际Modelica会议。德国慕尼黑,2002年。
[10] 弗里茨森,P。;阿隆森,P。;伦德瓦尔,H。;纽约证券交易所öm、 K。;爸爸,A。;萨尔达姆利,L。;Broman,D.,openmodelica建模、仿真和软件开发环境,Simul。欧洲新闻,44,(2005)
[11] 枫叶,2014年。http://www.maplesoft.com。枫叶赛博网络系统有限公司。。
[12] 布伦南,K。E、 。;坎贝尔,S。五十、 。;佩佐德,L。R、 ,微分代数方程初值问题的数值解法,(1989),美国纽约北荷兰·Zbl公司 699.65057
[13] 福斯,S。A、 ,一个高效的前向模式自动微分的重载实现。数学。软件,32,195-222,(2006年)·Zbl公司 1365.65053
[14] T。Blochwitz等,《功能样机Interfae2.0:仿真模型的工具无关交换标准》,载:Modelica,2012年:第9届国际Modelica会议。德国慕尼黑,2012年。
[15] J。凯森,W。布朗,P。林德霍姆,B。Bachmann,功能模拟接口2.0的稀疏雅可比生成,摘自:Modelica’2012:第9届国际Modelica会议。德国慕尼黑,2012年。
[16] 格里万,A。;Walther,A.,(求导:算法微分的原理和技术,应用数学的其他标题,第105卷,(2008),宾夕法尼亚州暹罗市)·Zbl公司 1159.65026
[17] 诺曼,U.,《计算机程序微分的艺术》,算法微分学导论,(2012),暹罗·Zbl公司 1275.65015
[18] Bü克尔,H。M、 。;比肖夫,C。H、 ,计算机能自动为你做什么:自动微分在逆建模中的作用。GACM报告,25-28,(2011),春季
[19] 巴塞洛缪·比格斯,M。;布朗,S。;克里斯蒂安森,B。;Dixon,L.,自动微分算法,J。计算机。申请。数学,124171-190,(2000)·Zbl公司 994.65020
[20] H。奥尔森,H。图姆斯切特,H。Elmqvist,在Modelica中使用函数的偏导数的自动微分,载:Modelica’2005:第四届国际Modelica会议。汉堡,德国,2005年。
[21] W。布劳恩,L。奥谢尔,B。Bachmann,使用OpenModelica编译器的自动微分增强的符号化派生的Jacobians,发表于:Modelica'2011:第八届国际Modelica会议。2011年,德国德累斯顿。
[22] 维切特,W。;诺克,S。;Elsheikh,A.,《生化网络模拟的建模语言:反应与基于方程的方法》,Adv.Biochem。工程/生物技术,121109-138,(2010)
[23] 鲍尔,I。;伯克,H。G、 。;Körkel公司。;雪儿ö德,J。P、 ,DAE系统优化实验设计的数值方法,J。计算机。申请。数学,第25卷,第120-1页·Zbl公司 998.65083
[24] 迪尔,M。;伯克,H。G、 。;雪儿ö德,J。P、 。;芬代森,R。;纳吉,Z。;全部ö魏建华,等.微分代数方程控制过程的实时优化与非线性模型预测控制,J。过程控制,12577-585,(2002)
[25] Elsheikh,A.,连续时间仿真优化的基于导数的混合启发式算法,Simul。模特儿。实践。理论,46164-175,(2014)
[26] J。安德森,J。凯森,F。卡塞拉,M。Diehl,CasADi和JModelica.org的整合,in:Modelica'2011:第八届国际Modelica会议。2011年,德国德累斯顿。
[27] 艾尔谢赫,A。;Wiechert,W.,基于方程的建模语言生成的DAE系统的自动灵敏度分析,(Bischof,C。H、 。;Bü克尔,H。M、 。;霍夫兰,P。D、 。;诺曼,美国。;Utke,J.,《自动微分的进展》(2008),Springer),235-246·Zbl公司 1152.65456
[28] 凯森,J。;rz公司én、 K.-E。;Gä弗沃特,M。;伯格达尔,T。;Tummescheit,H.,用optimica和jmodelica.org语言和工具进行建模和优化,用于解决大规模动态优化问题,计算机。化学。英国,341737-1749,(2010年)
[29] 辛德马什,A。C、 。;布朗,P。N、 。;格兰特,K。E、 。;李,S。五十、 。;塞尔维亚语,R。;舒梅克,D。E、 。;伍德沃德,C。S、 日晷:非线性和微分/代数方程求解器套件,ACM Trans。数学。软件,31363-396,(2005年),网址:http://doi.acm.org/10.1145/1089014.1089020·Zbl公司 1136.65329
[30] 狄金森,R。;常微分方程组的灵敏度分析-直接法,J。计算机。物理学,21123-143,(1976)·Zbl公司 333.65038
[31] A。Elsheikh,AdGenDynamics:通过简化的动力学格式进行生化网络建模的算法差异化库,in:Modelica'2012:第9届国际Modelica会议,第076号链接öping电子会议记录。德国慕尼黑,2012年,第915-926页。http://dx.doi.org/ecp12076915。
[32] A。Elsheikh,《使用基于方程的算法微分技术建模参数敏感性:ADMSL.Electrical.Analog库》,摘自:Modelica,2014年:第10届国际Modelica会议。瑞典隆德,2014年。
[33] 阿瑟顿,R。W、 。;沙因克,R。B、 。;杜科特,E。R、 《化学动力学模型的统计敏感性分析》,艾哲J.,21441-448,(1975)
[34] D、 J.De Pauw,P.A.Vanrolleghem,《动态模型灵敏度分析的实用方面》,载:MATHMOD 2003:第四届维也纳数学建模国际会议。维也纳,奥地利,2003年·Zbl公司 1127.93342
[35] 艾尔谢赫,A。;Wiechert,W.,《用有限差分法计算DAE系统参数灵敏度的精度》,(Troch,I。;Breitenecker,F.,MATHMOD 2012:第七届维也纳数学建模国际会议,数学建模,第7卷,(2012),IFAC-PapersOnLine.net,奥地利维也纳),136-142
[36] 李,S。;《大型微分代数系统灵敏度分析的软件与算法》,J。计算机。申请。数学,125131-145,(2000)·Zbl公司 971.65074
[37] R。弗兰克,F。卡塞拉,M。水獭,M。西勒曼,H。Elmqvist,S.E.Mattsson,H。Olsson,Stream connectors对流传输现象面向设备建模的Modelica扩展,in:Modelica'2009:第七届国际Modelica会议。科莫,意大利,2009年。
[38] 比肖夫,C。H、 。;Bü克尔,H。M、 。;马夸特,W。;彼得拉,M。;《过程工程中基于方程的模型转换》,(Bü克尔,H。M、 。;科尔利斯,G。;霍夫兰,P。;诺曼,美国。;Norris,B.,《自动微分:应用、理论和实现》,Lect。补偿中的注释。理学和工程学(2005),斯普林格,189-198·Zbl公司 1270.68385
[39] Murota,K.,《用图和拟阵进行系统分析》,1987年,柏林斯普林格出版社·Zbl公司 624.05001
[40] 瓦尔,S。A、 方法对代谢调节剂netzwerke unter站进行积分分析ä任性与稳定性ären bedingungen,(2007),Jü利希·福斯琴特鲁姆德国(论文)
[41] J。蒂拉克,S。诺克,K。Nöh、 A。埃尔斯海克,W。Wiechert,动态代谢和同位素系统建模和模拟的软件框架,in:MATHMOD'2009:第六届维也纳数学建模国际会议。奥地利维也纳,2009年。
[42] Fritzson,P.,用modelica进行面向对象建模和仿真的原理,(2003),Wiley IEEE计算机学会公共关系。
[43] 辛德马什,A。C、 ODEPACK,一个系统化的ODE解算器集合,iMac Trans。科学。计算机,1,55-64,(1983年)
[44] 李,S。;佩佐德,L。;朱伟,《微分代数方程的灵敏度分析:特殊问题方法的比较》,应用。数字。数学:Trans。iMac,32,161-174,(2000年)·Zbl公司 945.65095
[45] 女孩án、 S。;费赫里,W。F、 。;巴顿,P。一、 ,混合离散/连续系统的参数灵敏度函数,应用。数字。数学,31,17-47,(1999)·Zbl公司 937.65137
[46] 潘泰利德斯。C、 微分代数系统的一致初始化,SIAM J。科学。Stat.Comput.,9213-231,(1988年)·Zbl公司 643.65039
[47] 马特森,S。E、 。;Söderlind,G.,《使用伪导数的微分代数方程的指数缩减》,SIAM J。科学。计算机,14677-692,(1993年)·Zbl公司 785.65080
[48] B。巴赫曼,P。阿隆森,P。Fritzson,《微分代数方程的稳健初始化》,载:Modelica'2006:第五届国际Modelica会议。奥地利维也纳,2006年。
[49] 莱特尔,A。;汉格斯,K。M、 ,动态过程模型的结构可解性分析,计算机。化学。英国,251633-1646,(2001)
[50] 赖西格,G。;马丁森,W。S、 。;巴顿,P。一、 ,指数1的微分代数方程可以具有任意高的结构指数,SIAM J。科学。计算机,21,1987-1990,(1999)·Zbl公司 958.34003
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。