可靠计算系统设计分析与验证课程笔记 6：从硬件冗余与投票出发，推导 TMR、任务可靠性和切换覆盖率，再讨论鲁棒数据结构、N 版本程序设计、恢复块、进程对与在线升级

可靠计算系统设计分析与验证课程笔记 5：从不同开发阶段的验证方法出发，讨论故障仿真、硬件与软件故障注入、实验结果分析、定向故障注入，以及现场数据中的相关失效

密码学数学基础 笔记 10：从集合与映射出发，理解等价关系、商集和映射的典范分解，再用范畴与泛性质统一描述商、积和余积

可靠计算系统设计分析与验证课程笔记 4，内容对应 Sessions 6–7：Error Detection，讨论 watchdog、heartbeat、Data Audits、控制流检查、应用感知断言，以及 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 定理

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