我·多尔加科夫。;D.巴甫洛夫。 朗道：具有自动微分功能的动力系统语言。 （英语） Zbl 1471.65002号 数学杂志。科学。，纽约 251，第3期，354-362（2020）和Zap。诺什。塞明。POMI 48578-89（2019）。 摘要：大多数用于确定动力系统自由变量的数值解算器依赖于系统状态相对于自由变量的一阶导数。自由变量的数量可能相当大。获得这些导数的方法之一是将导数与动力学方程同时积分，最好使用自动微分技术。尽管存在许多自动微分工具，但还没有发现任何一种工具具有可扩展性，并可用于动力学系统建模的实际目的。Landau是一种图灵不完整的静态类型特定于域的语言，旨在填补这一空白。图灵的不完整性允许进行复杂的源代码分析，因此可以得到高度优化的编译代码。除其他外，语言语法支持函数、循环的编译时间范围、if/else分支结构、实变量和数组，并允许手动放弃自动导数值可能很小的计算。尽管有合理的限制，但该语言足够丰富，可以毫不费力地表达和区分任何繁琐的方程。 MSC公司： 65-04 与数值分析有关的问题的软件、源代码等 65页第10页 含辛积分器哈密顿系统的数值方法 65升04 刚性方程的数值方法 关键词：数值软件;自动微分;动力系统的数值方法 软件：泰勒;朗道;ADIC公司;ADMAT公司;ADIFR公司;ADOL-C公司;朗道 PDF格式BibTeX公司 XML格式引用 \textit{I.Dolgakov}和\textit{D.Pavlov}，J.数学。科学。，纽约251，No.3，354--362（2020；Zbl 1471.65002） 全文： 内政部 arXiv公司 参考文献： [1] 阿巴德。；巴里奥，R。；马尔科·布扎纳利兹，M。；Rodríguez，M.，数值泰勒级数方法的自动实现：Mathematica和Sage方法，应用。数学。计算。，268, 227-245 (2015) ·Zbl 1410.65243号 [2] 比肖夫，C。；A.卡尔。；Corliss，G。；Griewank，A。；Hovland，P.，ADIFOR从Fortran程序生成派生代码，Sci。编程，1,1,11-29（1992）·doi:10.1155/1992/717832 [3] 比肖夫，C。；卢武铉。；Mauer-Oats，AJ，ADIC：ANSI-C的可扩展自动区分工具，软件：实践与经验，27，12，1427-1456（1997） [4] F.C.Botelho、R.Pagh和N.Ziviani，“简单且节省空间的最小完美散列函数”，摘自：算法和数据结构研讨会（2007年），第139-150页·Zbl 1209.68152号 [5] 科尔曼，TF；Verma，A.，ADMAT:MATLAB的自动微分工具箱，SIAM科学与工程计算互操作面向对象方法研讨会论文集，2（1998），费城：SIAM，费城 [6] Felleisen先生。；芬德勒，RB；弗拉特，M。；克里希纳穆尔西，S。；Barzilay，E。；麦卡锡，J。；Tobin-Hochstadt，S.，《一种可编程编程语言》，通信ACM，61，3，62-71（2018）·数字对象标识代码：10.1145/3127323 [7] Griewank，A。；朱德斯，D。；Utke，J.，Algorithm 755:ADOL-C：用C/C++编写的算法的自动微分包，ACM Trans。数学。软件，22，2，131-167（1996）·Zbl 0884.65015号 ·数字对象标识代码：10.1145/229473.229474 [8] 安大略省约尔巴。；邹，M.，用高阶泰勒方法对常微分方程进行数值积分的软件包，实验。数学。，14, 1, 99-117 (2005) ·Zbl 1108.65072号 ·doi:10.1080/10586458.2005.10128904 [9] 希斯金德，吉咪；Pearlmutter，BA，在功能框架中嵌套前向模式AD，高阶符号。计算。，21, 4, 361-376 (2008) ·Zbl 1175.68104号 ·doi:10.1007/s10990-008-9037-1 [10] 希斯金德，吉咪；Pearlmutter，BA，《使用内置AD高效实现高阶语言》，第七届算法区分国际会议，牛津（2016） [11] 塔朱迪丁，M。；第四，SA；Pryce，JD，“CFD流量雅可比计算中最佳AD的AD工具和前景”，载于，255-261（2002），算法的自动微分：Springer，算法的自动化微分 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。