符号微分求解系统的原理与实现

本文分析初等函数及其导函数之间的数据结构联系,用C语言开发出实用的符号微分求解系统。本系统可以会话方式对初等函数表达式给出相应的导函数,亦可以批处理方式产生以初等函数表示的非线性问题中的梯度表达式的函数子程序源文件。函数表达式可以用C、Fortran语言描述。该系统的会话方式应用于《高等数学》课程的CAI,批处理方式应用于电力系统潮流计算中Jacobi矩阵子程序源文件的自动生成,均收到了很好的效果。