程强；曹建文；王斌；张海滨 伴随码生成器。 （英语） Zbl 1192.68251号 科学。中国，Ser。F类 52，编号6926-941（2009）. 摘要：伴随码生成器（ADG）用于生成伴随码，用于分析计算梯度和Hessian向量积，其成本与自变量的数量无关。与其他自动区分工具不同，ADG的实现具有使用最少程序行为分解方法和几种静态相关性分析技术的优点。在本文中，我们首先介绍了相关的概念和基本原理，然后介绍了ADG的功能和特点。特别地，我们还讨论了ADG的设计体系结构和实现细节，包括重新计算和存储策略以及几种代码优化技术。最后给出了一些应用中的实验结果。 MSC公司： 68页30 编码和信息理论（压缩、压缩、通信模型、编码方案等）（计算机科学方面） 关键词：梯度；黑森（Hessian）；伴随模式；自动微分 软件：数学软件；PETSc公司；枫树；ADIFR公司；TAF公司；青少年-C；奥德赛；ADG公司 PDF格式BibTeX公司 XML格式引用 \textit｛Q.Cheng｝等人，《科学》。中国，Ser。F 52，编号6，926--941（2009；Zbl 1192.68251） 全文： 内政部 参考文献： [1] Yamamoto T.关于Banach空间中切线双曲线的方法。计算机应用数学杂志，1998年，21:75–86·兹比尔0632.65070 ·doi:10.1016/0377-0427（88）90389-5 [2] 邓恩英，张海波。切线双曲线新的不精确方法的理论效率。Optim Methods Softw，2004，19（3-4）：247–265·Zbl 1060.90500号 ·网址：10.1080/1055678041001683087 [3] Knoll D A，Keys D E.无雅可比牛顿-克雷洛夫方法：方法和应用调查。计算机物理杂志，2004，193（2）：357–397·Zbl 1036.65045号 ·doi:10.1016/j.jcp.2003.08.010 [4] Wolfram S.《数学书》。第三版剑桥：剑桥大学出版社和Wolfram Media，Inc.，1996 [5] 滑铁卢Maple Software，Inc.Maple V软件包，1994年 [6] 《Macsyma用户指南》，1996年 [7] Griewank A.论自动微分，数学编程：最新发展和应用（阿姆斯特丹）。Iri M，Tanabe K，编辑：Dordrecht:Kluwer学术出版社，1989年。83–108 [8] Griewank A.评估衍生品：自动区分原理和技术。费城：SIAM，2000·Zbl 0958.65028号 [9] 王斌，邹晓林，朱军，等。数据同化及其应用。美国国家科学院院刊，2000，97:11143–11144·doi:10.1073/pnas.97.2111143 [10] 邹晓林，王斌，刘华，等。GPS/MET折射角在三维变分分析中的应用。Quart J Roy Meteor Soc，2000年，126:3013–3040·doi:10.1002/qj.49712657003 [11] Le Dimet F X，Talagrand O。气象观测分析和同化的变分算法：理论方面。泰勒斯，1986，38（A）：97–110 [12] Zhang X，Wang B.使用射线追踪方法并行计算GPS/MET观测的变分数据同化模型。Adv Atmos Sci，2004，21:220–226·doi:10.1007/BF02915708 [13] Berresa S、Bulvedab R、Coronel A等。分批离心期间通过浓度测量对絮凝悬浮液参数进行数值识别。化学工程杂志，2005，111:91–103·doi:10.1016/j.cej.2005.02.005 [14] Bischof C，Pusch G，Knoesel R.使用自动微分法对MM5天气模型进行敏感性分析。计算物理，1996年，10:605–612·数字对象标识代码：10.1063/1.168585 [15] Cacui D G.非线性系统的灵敏度理论，II：对附加类响应的扩展。数学物理杂志，1981，22（12）：2803-2812·数字对象标识代码：10.1063/1.524870 [16] 非线性奇异向量和非线性奇异值。中国科学院地球科学研究所，2000，43:375–385·doi:10.1007/BF02959448 [17] Griewank A.反向或伴随微分模型的检查点实现。ACM Trans Math Softw，1999，26（1）：1–19·Zbl 1137.65330号 [18] Bischof C，Haghiat M R.关于等级分化。收录：Berz M、Bischof C、Corliss G等，编辑：《计算微分：技术、应用和工具》。宾夕法尼亚州费城：SIAM，1996年。83–94 ·Zbl 0874.65012号 [19] Volin YM，Ostrovskill G M.使用多类微分技术自动计算导数。计算数学应用，1985，11:1099–1114·Zbl 0595.65019号 ·doi:10.1016/0898-1221（85）90188-9 [20] Griewank A.在反向自动微分中实现时间和空间复杂性的对数增长。Optim Methods Softw，1992年，1:35–54·doi:10.1080/10556789208805505 [21] Bischof C、Buker H M、Hovland P等，《自动微分的进展》，《计算科学与工程讲稿》，柏林：施普林格出版社，2008年。64 [22] Cheng Q，Zhang L B，Wang B。模型伴随及其成本。科学中国期刊F-Inf Sci，2004，47（5）：587–611·doi:10.1360/02yf0440 [23] 程强，张海波，赵友海。分化转化系统。国家科学计划，2009，19（3）：397–406·doi:10.1016/j.pnsc.2008.07.012 [24] Levine J、Mason T.Lex和Yacc。第二版，加利福尼亚州塞巴斯托波尔：O Reilly and Associate Inc.，1992年 [25] Giering R，Kaminski T.伴随码构造方法。ACM Trans Math Softw，1998，24（4）：437–474·兹伯利0934.65027 ·数字对象标识代码：10.1145/293686.293695 [26] Rosating N，Dalmas S，Galligo A.《奥德赛中的自动分化》。Tellus，1993，45（A）：558–568·doi:10.1034/j.1600-0870.1993.00016.x [27] Griewank A，Juedes D，Utke J.算法755:ADOL-C，一个用C/C++编写的算法自动微分包。ACM Trans Math Softw，1996，22（2）：131–167·Zbl 0884.65015号 ·数字对象标识代码：10.1145/229473.229474 [28] Bischof C、Carle A、Corliss G等。ADIFOR：为Fortran程序生成派生代码。科学计划，1992，1（1）：11-29 [29] Griewank A.梯度、Jacobians和Hessian的复杂性有一些界限。In:Pardalos P M，ed.非线性优化中的复杂性。新泽西州River Edge：世界科学出版社，1993年。128–161 ·Zbl 0968.90524号 [30] Newsam G N，Ramsdell J D.稀疏雅可比矩阵的估计。SIAM J Algebr离散方法，1983，4:404–417·Zbl 0558.65030号 ·doi:10.1137/0604041 [31] Balay S、Buschelman K、Eijkhout V等。PETSc 2.0用户手册。技术报告ANL-95/11第2.1.3版，阿贡国家实验室，2003年5月 [32] Zou X L，Vandenberghe F，Wang B，et al.用于GPS/MET折射角测量的光线追踪算子及其伴随。地球物理研究大气杂志，1999，104（D18）：22301–22318·doi:10.1029/1999JD900450 [33] Wang B，Ji Z Z。多守恒差分格式的构造和数值试验。《中国科学通报》，2003，48（10）：1016–1020 [34] 吴伟，宋立中，莫义荣，等。厦门-无自旋价键（VB）从头算程序。厦门：厦门大学出版社，1998 [35] 宋立中，罗毅，董克明，等。VB理论的成对永久方法（II）。科学中国服务业B-Mech，2001，44（6）：561–570·doi:10.1007/BF02891680 [36] Roberta G、Dean A M、Green W H等，《基于密度泛函理论的氢提取速率》。化学物理快报，1999312（2-4）：262-268·doi:10.1016/S0009-2614（99）00912-4 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。