自动微分转换系统及其应用  

DIFFERENTIATION TRANSFORMATION SYSTEM AND ITS APPLICATIONS

作　　者：程强[1] 王斌[1] 马再忠[1] 

机构地区：[1]中国科学院大气物理研究所大气科学和地球流体力学国家重点实验室(LASG)

出　　处：《数值计算与计算机应用》2003年第4期276-284,共9页Journal on Numerical Methods and Computer Applications

基　　金：DFT系统的设计与开发工作得到了国家杰出青年科学基金(49825109);<国家重点基础研究发展规划项目>(G2839200;G1999032801);中科院重要创新方向(KZCXZ 2-208)的资助

摘　　要：§1.引言 计算微分大致经历了从差商微分,符号微分,手写代码到自动微分几个阶段,与其它几种微分方法相比,自动微分具有代码简练、计算精度高及投入人力少等优点.自动微分实现的基本出发点是:一个数据相对独立的程序对象(模式、过程、程序段、数值语句乃至数值表达式)无论多么复杂,总可以分解为一系列有限数目的基本函数(如sin,exp,log)和基本运算操作(加、减、乘、除、乘方)的有序复合.对所有这些基本函数及基本运算操作,重复使用链式求导法则,将得到的中间结果自上而下地做正向积分就可以建立起对应的切线性模式,自下而上地做反向积分就可以建立起对应的伴随模式[1].基于自动微分方法得到的切线性模式和伴随模式,在变分资料同化[2]、系统建模与参数辨识[3]、参数的敏感性分析[4]、非线性最优化以及数值模式的可预测性分析[5]等问题中有着十分广泛的应用.In this paper we introduce the Differentiation Transformation System (DFT), and discuss its functions, features and applications. Subsequently, a scheme based on statistical accuracy rate is presented which is of great importance to the evaluation of the reliability and efficiency of a class of automatic differentiation tools. Finally, the DFT is applied to seek the Jacobi and the seed matrix.

关 键 词：自动微分转换系统 可靠性 有效性 二元归约法 DFT系统 

分 类 号：O241.8[理学—计算数学]