可靠计算系统设计分析与验证课程笔记 4，内容对应 Sessions 6–7：Error Detection，讨论看门狗、心跳、数据审计、控制流检查、应用感知断言，以及 RMK、SHD、AHD 和 Count&Check

可靠计算系统设计分析与验证课程笔记 3，内容对应 Session 6：Reliability Technology Overview，讨论故障预防、故障屏蔽、容错、故障排除和故障预测，以及奇偶校验与纠错码的基本原理

密码学数学基础 笔记 9：从离散对数与 Diffie–Hellman 问题出发，理解密钥交换和 ElGamal 加密，再推导 BSGS、Pollard rho、Pohlig–Hellman 与指标演算法

密码学数学基础 笔记 8：从模运算的循环出发，讨论元素的阶、原根的存在与判定、指标的运算法则，以及一般模数下可逆剩余类的结构

密码学数学基础 笔记 7：从模平方根出发，理解二次剩余、欧拉判别法、Legendre 符号、二次互反律与 Jacobi 符号，再求解素数和素数幂模数下的二次同余方程

密码学数学基础 笔记 6：从欧拉定理和费马小定理出发，理解模幂计算、费马素性测试、Carmichael 数、Miller-Rabin 测试与 Wilson 定理

从名词的阴阳性、句子结构和人称代词出发，整理西班牙语的常用时态、动词变位与高频特例，配合中西双语例句建立一套入门语法框架

可靠计算系统设计分析与验证课程笔记 2，内容对应 Sessions 3–5：Analytical Modeling，讨论可靠性与性能的联合指标，以及可靠性框图、Markov 链、故障树、排队模型、随机 Petri 网和 SAN

密码学数学基础 笔记 5：求解线性同余方程，用中国剩余定理合并不同模数，并将多项式同余问题归结到素数幂

密码学数学基础 笔记 4：从同余类和模运算出发，理解约消、完全剩余系、简化剩余系与欧拉函数