Simulink求解器(Solver)相关理论.docVIP

1.变步长 Variable—Step 求解器可以选择的变步长求解器有：ode45，ode23，ode113，odel5s，ode23s和discret．缺省情况下，具有状态的系统用的是ode45；没有状态的系统用的是discrete．1 ode45基于显式Runge—Kutta 4，5 公式，Dormand—Prince对．它是—个单步求解器 solver 。也就是说它在计算y tn 时，仅仅利用前一步的计算结果y tn-1 ．对于大多数问题．在第一次仿真时、可用ode45试一下．2 ode23是基于显式Runge—Kutta 2，3 ．Bogackt和Shampine对．对于宽误差容限和存在轻微刚性的系统、它比ode45更有效一些．ode23也是单步求解器．3 odell3是变阶Adams-Bashforth—Moulton PECE求解器．在误差容限比较严时，它比ode45更有效．odell3是一个多步求解器，即为了计算当前的结果y tn），不仅要知道前一步结果y tn-1 ，还要知道前几步的结果y tn-2 ，y tn-3 ，…；4 odel5s是基于数值微分公式 NDFs 的变阶求解器．它与后向微分公式BDFs 也叫Gear方法 有联系．但比它更有效．ode15s是一个多步求解器，如果认为一个问题是刚性的，或者在用ode45s时仿真失败或不够有效时，可以试试odel5s。 odel5s是基于一到五阶的NDF公式的求解器．尽管公式的阶数越高结果越精确，但稳定性会差一些．如果模型是刚性的，并且要求有比较好的稳定性，应将最大的阶数减小到2．选择odel5s求解器时，对话框中会显示这一参数． 可以用ode23求解器代替。del5s，ode23是定步长、低阶求解器．5 ode23s是基于一个2阶改进的Rosenbrock公式．因为它是一个单步求解器，所以对于宽误差容限，它比odel5s更有效．对于一些用odel5s不是很有效的刚性问题，可以用它解决．6 ode23t是使用“自由”内插式梯形规则来实现的．如果问题是适度刚性，而且需要没有数字阻尼的结果，可采用该求解器．7 ode23tb是使用TR—BDF2来实现的，即基于隐式Runge—Kutta公式，其第一级是梯形规则步长和第二级是二阶反向微分公式．两级计算使用相同的迭代矩阵．与ode23s相似，对于宽误差容限，它比odtl5s更有效．8 discrete 变步长 是simulink在检测到模型中没有连续状态时所选择的一种求解器． 2.定步长 Flxed—Step 求解器可以选择的定步长求解器有：ode5，ode4，ode3，ode2，ode1和discrete．1 ode5是ode45的一个定步长版本，基于Dormand—Prince公式．2）ode4是RK4，基于四阶Runge—Kutta公式．3 ode3是ode23的定步长版本，基于Bogacki-Sbampine公式．4 ode2是Heun方法，也叫作改进Euler公式．5 odel是Euler方法．6 discrete 定步长 是不执行积分的定步长求解器．它适用于没有状态的模型，以及对 过零点检测和误差控制不重要的模型． 3.诊断页（Diagnostics 可以通过选择Simulation Parameters对话框的Diagnostics标签来指明在仿真期间遇到一些事件或者条件时希望执行的动作．对于每一事件类型，可以选择是否需要提示消息，是警告消息还是错误消息．警告消息不会终止仿真，而错误消息则会中止仿真的运行．（1）一致性检查一致性检查是一个调试工具．用它可以验证Simulink的0DE求解器所做的某些假设．它的主要用途是确保s函数遵循Simulink内建模块所遵循的规则．因为一致性检查会导致性能的大幅度下阵 高达40％ ，所以一般应将它设为关的状态．使用一致性检查可以验证s函数，并有助于确定导致意外仿真结果的原因．为了执行高效的积分运算，Simulink保存一些时间步的结果，并提供给下一时间步使用．例如，某一时间步结束的导数通常可以放下一时间步开始时再使用．求解器利用这一点可以防止多余的导数运算．一致性检查的另一个目的是保证当模块被以一个给定的t 时间 值调用时．它产生一常量输出．这对于刚性求解器 ode23s和odel5s 非常重要，因为当计算Jacobi行列式时．模块的输出函数可能会被以相同的t值调用多次．如果选择了一致性检查，Simulink置新计算某些值，并将它们与保存在内存中的值进行比较，如果这些值有不相同的，将会产生一致性错误．Simulink比较下列量的计算值：1）输出；2）过零点3）导数；4）