离散数学——递归数学归纳法数学归纳法证明的是 ∀nP(n)\forall n P(n)∀nP(n) 的成立，其中 P(n)P(n)P(n) 是一个谓词，数学归纳法有两个步骤：基础步骤：证明 P(1)P(1)P(1) 成立。归纳步骤：证明 ∀n(P(n)→P(n+1))\forall n (P(n) \to P(n+1))∀n(P(n)→P(n+1)) 成立。为了证明第二点，我们先假设 P(k)P(

本文介绍 RISC-V RVWMO 内存模型，RVWMO 内存模型定义了什么样的全局内存顺序才是合法的。

计算几何——扫描线算法面对一个几何图形，计算机通过向某一个方向进行单线扫描，进行图形处理的方式叫做扫描线算法。事件和事件处理程序扫除线算法中最重要的就是对事件（Event）的处理。一个事件定义为当扫除线碰到点、边界、线等产生的进入或退出事件。例如下图：当扫描线碰到某一个矩形的左边界时将会产生一个进入事件，之后处理程序将对这个进入事件进行处理。又或者当扫描线碰到某一个矩形的右边界时将会产生一个退出事

BellmanFord算法、多源最短路与矩阵相乘BellmanFord算法与动态规划相信看到这篇的读者已经对BellmanFord算法有了详细的认识。在这里我就不再赘述了，直接讨论与动态规划的关系。我们定义lxml_{x}^{m}lxm​为从源节点到节点x且最多经过m条边的最短路径的距离，为了构建动态规划的状态转移方程，我们必须分析lxm−1l_{x}^{m-1}lxm−1​与lxml_{x}^{

生成函数生成函数（generating function），又称母函数，是一种形式幂级数，其每一项的系数可以提供关于这个序列的信息。生成函数有许多不同的种类，但大多可以表示为单一的形式：F(x)=∑n=0∞ankn(x)F(x) = \sum_{n=0}^{\infty}a_{n}k_{n}(x)F(x)=n=0∑∞​an​kn​(x)其中ana_{n}an​是数列的第nnn项，kn(x)k_{n

在学习完如何通过CMOS数字电路实现组合逻辑，接下来我们评估这种数字CMOS电路的性能。首先，我们考虑最基本的部件——反相器。

我们已经学过MOS可以当做一个压控流源，使用栅极电压vGS​控制漏极电流iD​。尽管两个量的关系不是线性的，稍后我们将会介绍偏置在线性区的工作方法。

差分输入系统因其极高的共模抑制能力，差分输入几乎是是构建所有通用模拟IC的基本前级输入，也是现代信号传输理论的基础。本节我们讲解MOS差分输入对。

Xjω∣Xjω∣ej∡Xjω其中模使用∣Xjω∣表示，相位使用∡Xjω表示。Xejω∣Xejω∣ej∡Xejω傅里叶变换的幅值和相位同时影响了时域信号。

当电路是稳态电路的时候，有限的输入对应有限的输出，即电路不再积累能量，电感积累的能量是电压对时间的积分，在开关电源电路中，电感在开关导通和截止的两种情况下，两端电压恒定，又可以写作是V×ΔtLΔI。也就是说，在一个周期内ΔION​ΔIOFF​ΔIVON​×tON​VOFF​×tOFF​电压和时间的乘积称为伏秒数，我们称一个周期内导通和截止区间内的伏秒数相等，称为伏秒数法则。DTtON​​有一点需要