最新文章

复数域下的幂级数

此文中，我们定义复数域下的开圆盘$D$和闭圆盘$\overline{D}$： \(D(z_0,r) = \{ z \in \mathbb C | \left| z - z_0 \right| < r \}, \overline{D}(z_0, r) = \{ z \in \mathbb C | \left|...

介质中的电磁波

Firefox浏览器不能正确渲染部分公式的下划线/上划线。 如果出现此情况，可以调整缩放等级或改用SVG渲染模式。

电标势与磁矢势

在静电场中，我们发现电场$\vec{E}$的旋度为零。 这表明，静电场的积分与路径无关而只与起点和终点有关。 这样的场被称作保守场，其一定是由某个标量的梯度产生的。 我们把这个标量记作电势$V$，满足$ \nabla V = \vec E$。

核引理与凯莱-哈密顿定理

我们已经知道，若一个矩阵满足一定条件，则其可以在某一组基底下被表示为一个对角矩阵。 具体而言，如果其特征子空间的直和恰好构成全空间，则有 \(A = P \times \Lambda \times P^{-1}, \Lambda = \mathrm{diag}(\lambda_1, \lambda_2, \dot...

不同ABI调用约定下函数参数的位置

最近查看一份MINGW生成的汇编代码的时候发现其中的函数参数所在的寄存器和CSAPP上所描述的有所不同。 查阅资料之后发现，现今流行的x86_64指令集上其实有两套不同的二进制接口，进而有两套传参的顺序。 两套系统分别是 Microsoft ABI 和 System V ABI，前者用在 Windows 系统上，...

在WSL2中启用显卡硬件加速

近日需要在 Ubuntu 下运行 Gazebo 模拟，但是主力机上装的是 Windows 系统，考虑到各种因素，最终选择了WSL2作为虚拟机平台。 在 WSL2 Ubuntu 上安装ROS、Gazebo和PX4都非常简单，运行上也没有什么大问题，但是性能上比较捉襟见肘。 具体来说，虽然 Gazebo 的平均帧率能...