针对C语言的自动微分系统及其应用  

Differentiation transforming system in C and its applications

作　　者：张春晖[1,2] 程强[3] 曹建文[1] 

机构地区：[1]中国科学院软件研究所并行计算实验室,北京100190 [2]中国科学院研究生院,北京100190 [3]中国科学院计算机网络信息中心,北京100190

出　　处：《计算机应用研究》2009年第1期155-158,171,共5页Application Research of Computers

基　　金：国家自然科学基金资助项目(60503031)

摘　　要：采用切线性模式和代码转换策略,开发了C语言自动微分转换系统(DTC),用于牛顿法求解非线性方程中Jacobi矩阵—向量乘积计算。介绍系统计算模型、功能、特色,并讨论系统的设计与实现技术,包括编译技术、微分代码转换及输入/输出(I/O)相关分析。最后给出了几个具有说服力的测试与应用。This paper employed the tangent linear model and the strategy of source-to-source transformation, developed differentiation transforming system in C （DTC） to calculate the Jacobian-vector product in the solution of nonlinear equations with Newton method. Then introduced the calculation model, functionality, and discussed features of the system, and the techniques of design and implementation of the system, including compiler technology, differential code transformation, and input/ output （I/O） dependence analysis. Last presented some persuasive testing and applications.

关 键 词：自动微分 切线性模式 JACOBI矩阵 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]