摘要： 绝对值的三角形不等式为||a|-|b||≤|a±b|≤|a|+|b|. 本文给出后半段的证明，即证明|a±b|≤|a|+|b|. 阅读全文

摘要： 基于∀ε>0，常数λ>0，|a-b|<λε => a=b和绝对值的三角形不等式|a-b|<=|a|+|b|，我们可证明数列极限存在的唯一性定理。|a-b|<λε => a=b的证明点这里。 阅读全文

摘要： 已知∀ε>0, 常数λ>0。|a-b|<λε => a=b。理解这一点，理解ε的任意性就变得容易。特别地，令λ=1，则有|a-b|<ε => a=b。由此可见，因为ε具有任意性，所以λε和ε等价。 阅读全文

摘要： 我们在这里证明了不等式[x+y]≥[x]+[y]，但未给出取等条件。本文给出其取等的条件：{x}+{y} ∈[0, 1)。 阅读全文

摘要： 令f(x,y) = [x]+[y] - [x+y], g(x, y) = {x} + {y} - {x+y}，则f(x, y) + g(x, y)= 0。 注意f(x, y)和g(x, y)均具有平移稳定性。 例如：f(x+M, y+N) = f(x, y)。其中，M和N均为整数。 阅读全文

摘要： 下面给出[x+y]≥[x]+[y]的证明。由此证明，我们可轻松推导出：{x+y}≤{x}+{y}。该不等式与绝对值的三角不等式|x+y|≤|x|+|y|具有高度一致性，因为{x}和|x|均非负。 阅读全文

摘要： 对x+n进行取整运算时，可将整数n提取到[]之外，这无疑简化了取整运算。 阅读全文

摘要： 如能理解|a - b|<ε => a=b，则就可以轻松理解数列极限或函数极限的定义。 # 1 关于∀ε>0，|a - b| < ε => a = b的证明 # 2 关于∀ε>0，a - b < ε => a ≤ b的证明 附录：常见数学符号 阅读全文

摘要： 使用RDMA， 必然关系到内存区域(Memory Region)的注册问题。在本文中，我们将以mlx5 HCA卡为例回答如下几个问题： 1. 为什么需要注册内存区域? 首先，我们知道，由于DMA设备只访问物理内存地址，因此，DMA引擎需要主机系统内存的物理地址连续，这一点无可非议，因为如果物理地址不 阅读全文

摘要： NVMe over PCIe最新的NVMe协议是1.3。 在7.2.1讲了Command Processing流程。有图有真相。 This section describes command submission and completion processing. Figure 251 shows 阅读全文