[理学]第11章__MATLAB70 符号计算.ppt

第11章 符号计算 与一般的数值计算不同，符号计算是对字符串符号进行分析和运算，为了便于理解，读者可以将符号计算看作“由计算机实现的数学公式推导”。进行符号计算时，MATLAB负责将计算请求提交给其内置的MAPLE组件并返回MAPLE的计算结果。MATLAB的符号计算历经多次的改进和完善，其功能已经非常强大，尤其是在大规模的简单公式推导、逻辑推导等应用中有重要应用。本章介绍的内容如下。 符合对象的创建 符号函数 符号对象的复合和化简 符号对象的运算 符号矩阵 符号微积分 符号方程求解 11.1 符号类型与数值类型 符号对象（Symbolic Objet）是MATLAB符号工具箱中定义的一种新的数据类型。与一般的简单数值类型（如logical、int、float、double等）不同，符号对象是一种保存了符号字符串表示的复杂数据结构。本节主要讨论符号类型与普通数值类型的差别。 11.2 符号对象及其创建 MATLAB符号工具箱定义的数据类型——符号对象（Symbolic Object），是一种存储了符号字符串表示的复杂数据结构。MATLAB利用符号对象表示符号变量、符号表达式、符号函数、符号矩阵，本节介绍符号变量、符号表达式的创建，至于符号函数和符号矩阵，将分别在11.3、11.5节进行详细介绍。 11.2.1 创建符号变量 sym函数可用于创建符号常量和变量，其调用格式为： sym_variable = sym(sym_expression) 该指令创建符号变量（或常量）sym_variable，其中sym_expression为符号变量的字符串表示。如果sym_expression为常数（例如pi、1、2.01等），则函数返回符号常量；如果sym_expression是符合命名规则的字符串（即该字符串只能包含数字、英文字母和下画线，且不能以数字开头），则函数返回符号变量。 11.2.2 创建符号表达式 符号表达式是符号变量或常量的组合，也可以将符号变量和符号常量认为是符号表达式。符号表达式的创建，依然使用函数sym，其调用格式为： sym_variable = sym(sym_expression) 这里的输入字符串参数sym_expression与11.2.1中有所不同，它是由多个子字符串通过数值运算符组合而成的，每个子字符串或者是符合命名规则的字符串或者是数值常量。也可以事先利用sym或syms创建符号变量和常量，然后通过数值运算符、支持符号计算的函数等将这些符号变量或常量组合起来构成符号表达式。 11.2.3 符号对象与数值的转换 MATLAB符号计算工具箱提供如下三类运算操作： Numberic，即MATLAB浮点运算； Rational，即Maple符号运算； VPA，即Maple精度可变运算。 浮点运算是三者中运算速度最快、内存使用最少的一种，但其结果的精度也较低，format可以控制输出结果的位数，但其内部表示仍然是8字节浮点表示，也就是说format不能改变结果的精度。符号运算的结果是精确、无近似的，但运算速度慢、消耗内存最多。VPA是浮点运算与符号运算的折中，用户可以通过函数digits控制计算结果的精度，默认情况下digits = 32。 11.3 符号函数 显而易见，符号函数与通常的数值函数有很大的不同。本节从MATLAB中符号函数的创建开始，分别介绍了符号函数的复合、反函数等内容，然后给出了一些在理论和实际中具有重要应用的符号函数。 11.3.1 创建符号函数 可以通过下面两种方法创建符号函数： 符号表达式； M文件。 利用符号表达式创建符号函数的方法在例11.4中已经介绍，这种方法适合于创建一些比较简单的函数，对于比较复杂的符号函数的创建，应该利用M文件。 11.3.2 复合函数 已知函数、，复合函数定义为。MATLAB符号计算工具箱提供函数compose用于符号函数复合，其调用格式为： compose(f,g) compose(f,g,z) compose(f,g,x,z) compose(f,g,x,y,z) 11.3.3 反函数 MATLAB符号工具箱的函数finverse用于计算函数的反函数，其调用格式为： g = finverse(f) g = finverse(f,v) 其中f为符号表达式，该函数求f关于v的反函数，如果未指定v，那么v = findsym(f)。 11.3.4 特殊符号函数 MATLAB符号工具箱对一些重要的数学函数提供了支持， 11.4 符号表达式的复合和化简 符号表达式的显示、展开、分解、化简等是符号运算的重要内容，MATLAB符号工具箱对这些内容提供了强大的支持。本节将详细介绍MATLAB符号工具相中符号