系统的流 如前所述，自治系统是域内质点运动所满足的微分方程，它过点的解记作,是过点的运动方程，不妨设它的存在区间为. 固定让变化，那么在相空间中...

令 为包含原点的两个凸锥集合，证明： 注释：表示集合的凸包 证明：可以通过双包含关系来证明： 对于,其中稍作变换由于和是包含原点的两个凸锥集合...

线性方程 我们知道，对于线性的微分方程组，通过求解系统的雅可比矩阵的特征值来判断零解的稳定性。 给定系统为： 首先将其表示为矩阵形式。线性化方程...

用李雅普诺夫函数判断零解稳定性 题目一 其中 为常数。我们想要分析此系统的零解的稳定性。 1. 构造李雅普诺夫函数 不难判断，这是一个正定的函...

本文介绍一个特殊的奇函数 以及我们是如何通过双曲正弦函数来构造他的。 奇函数的证明 要证明 是一个奇函数，不难求出其定义域为，接下来我们需要...

本节为C语言中typedef关键字 的用法。我的理解是它有点类似python中的语句“import xxx as yyy”,就是给原有的库/数据...

本节总结C++函数中的参数传递的两种形式，一种是最基本的值传递，一种是引用传递。 值传递 值传递是指在使用函数过程中，会开辟一份新的内存空间，将...

本节为指针和指针变量的笔记部分。 0.准备知识 内存区的每一个字节都会有一个编号，这就是“地址”。 如果在程序中定义了一个变量，那么在程序进行编...