采用切线性模式和代码转换策略,开发了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.