目标与适用范围
面向工程数学题,串联常微分方程、拉普拉斯或 Z 变换、卷积与数值近似,并在求解前后检查方法选择、量纲和初始条件。
本指南将当前任务范围转化为可复核的交付结果。请保留源文件、中间产物和关键判断,让后续协作者能够理解检查了什么以及为什么这样处理。
准备证据并作出选择
先写清控制方程、输入项、边界或初始条件,以及每个变量的物理含义,再决定用什么方法。
统一单位和时间或空间尺度,避免把秒、毫秒、弧度、角度或不同量级的系数混在一起。
先判断题目需要精确解析式、工程近似,还是离散时间递推结果。
决策点: 应该直接解微分方程、转到变换域,还是改用数值方法?. 当方程形式清晰、初始条件明确时,优先用 first-order-ode-solver 或 second-order-ode-solver。若题目含有阶跃、冲激、传递函数、分段输入,或卷积表达更自然,则转到 laplace-transform-calculator、inverse-laplace-calculator、partial-fraction-decomposer 与 convolution-integral-calculator。离散递推或采样系统用 z-transform-calculator。若闭式解不现实,或输入本来就是采样数据,再用 Euler、RK4、数值微分、数值积分或 Newton-Raphson。
决策点: 什么样的结果才算可接受?. 只有当单位一致、方法与模型假设匹配,而且结果满足给定初值或边界条件并落在预期误差范围内时,才把它视为最终答案。
按步骤完成工作流
1. 先定义模型与未知量
判断问题是连续还是离散,列出状态变量和输入项,并确认单位与初始条件足以支持求解。 使用 series-convergence-tester, newton-raphson-root-finder.
2. 优先尝试直接 ODE 路径
当方程阶数与条件都明确时,先直接求解,并比较一阶还是二阶结构更贴合物理模型。 使用 first-order-ode-solver, second-order-ode-solver.
3. 遇到输入或代数结构复杂时切到变换法
如果卷积、传递函数或分段输入使时域处理变得笨重,就先做变换,完成代数整理后再回到可解释的时域结果。 使用 laplace-transform-calculator, partial-fraction-decomposer, inverse-laplace-calculator, convolution-integral-calculator, z-transform-calculator.
4. 闭式解不方便时使用数值近似
在没有实用解析解或只有采样数据时,用数值方法估计轨迹、导数、积分或根,并明确说明精度与成本权衡。 使用 euler-method-solver, runge-kutta-rk4-solver, numerical-differentiation, numerical-integration-trapezoid, numerical-integration-simpson.
5. 用物理意义复核最终结果
把结果与初值、稳态趋势、正负号、数量级和量纲意义对照,避免接受代数上成立但工程上不合理的答案。 使用 newton-raphson-root-finder, series-convergence-tester.
交付前验收结果
- 能用通俗语言解释为什么选这个方法,并且它确实匹配方程类型、已知数据和所需输出。
- 在接受结果前,已经明确检查单位、符号、常数和初始条件。
- 最终答案经过代回、极限行为或数值交叉验证,而不是只抄出一个公式。
常见问题
- 什么时候拉普拉斯法比直接解方程更合适? 当输入含有阶跃、冲激、分段定义,或者你本来就以传递函数和初值来思考系统时,拉普拉斯法通常更顺手。
- Euler 和 RK4 怎么选? Euler 适合快速、透明地做首轮估计;如果步长不变又希望明显提高精度,RK4 往往是更稳妥的工程默认选择。
- 代数过程已经对了,为什么还要检查单位? 因为符号推导正确,并不代表物理量就没错。时间尺度、角度单位或系数量纲混乱时,最后可能得到完全错误的工程解释。
- 什么时候该走 Z 变换路径? 当题目本质上是离散时间递推、采样系统或差分方程,且序列下标比连续时间积分更重要时,就应优先使用 Z 变换。