10、微分方程相关知识解析

微分方程相关知识解析

1. 波形松弛在数字VLSI电路仿真中的应用

在实际应用里，波形松弛常用于数字VLSI电路的仿真（时序分析）。其具体流程如下：
- 逻辑级模拟器为电路中不同状态变量的响应提供数字波形。
- 逻辑级模拟器的输出作为波形松弛算法的初始猜测值，以此为电路仿真提供最终的模拟波形。

在实际情况中，对于大规模的状态变量（例如VLSI电路中(x \in R^n)且(n)很大），会根据原系统的子系统进行划分，对每个子系统进行迭代直至收敛，从而使仿真逐阶段推进，加快计算速度。

2. 具有不连续性的微分方程

虽然常微分方程的存在唯一性理论强大且全面，但在实际中存在许多右侧不连续的微分方程例子，这些在控制领域经常出现。例如，最简单的控制器是开关控制器，开关控制器在所谓的bang - bang控制中也有研究。研究具有切换控制律的系统动力学的基本数学问题在于，它们代表了右侧不连续的微分方程。

以(R^n)中的不连续微分方程为例，定义一个函数(s: R^n \to R)，令(S_0 = {x \in R^n : s(x) = 0})为一个表面（非正式地说，是一个(n - 1)维表面），称为切换边界。然后定义微分方程：
(\dot{x} = f_+(x))，对于({x : s(x) > 0} := S_+)
(\dot{x} = f_-(x))，对于({x : s(x) < 0} := S_-)

一般来说，(f_+)和(f_-)在(S_0)上不匹配，因此在(S_0)处动力学是不连续的（更准确地说，微分方程在(S_0)处有阶跃不连续性）。图3.4展示了与这种不连续性相关的一些