Derek

描述

用于探索动力系统的应用，可以用常微分方程来描述，界面简单，结果大多以图形表示。包括一些用于分析动力系统的特殊方法，如 Poincare 截面和 Lyapunov 指数。包含已知非线性动力系统的大型数据库。允许使用有效的数值方法探索高达 25 阶的系统。

主要特点 - DEREK 允许： - 将系统描述指定为一组微分方程、初始条件以及方程中的参数 - 在系统描述中查找错误，准确指定错误的位置和性质； -自动选择求解系统的数值方法的参数； - 为解决方案和任何依赖于解决方案的变量构建视觉图形。 DEREK 本身可以缩放到场图以最好地显示它们，但承认手动执行布局 - 探索相位轨迹的 3D 图像。 DEREK 可以旋转 3D 相位轨迹，也可以放大和缩小她。 DEREK 还包括一些用于分析动力系统的特殊方法： - 构建依赖于一个或两个参数或一组不同初始条件的解“族”； - 构建“Poincare 截面” - 系统轨迹与给定平面的交点集合。 -“李雅普诺夫指数”的计算 - 描述系统在无限演化中的行为并且不依赖于初始条件的数字集（也许除了一些例外）。