1位、字节与十六进制
闭卷重建位、字节与十六进制的分层、状态、关系式和失败边界。
计算机系统原理 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2无符号整数与模运算
闭卷重建无符号整数与模运算的分层、状态、关系式和失败边界。
3补码与有符号溢出
闭卷重建补码与有符号溢出的分层、状态、关系式和失败边界。
4移位、掩码与字段
闭卷重建移位、掩码与字段的分层、状态、关系式和失败边界。
5字符、字节序与对齐
闭卷重建字符、字节序与对齐的分层、状态、关系式和失败边界。
6IEEE 754与舍入
闭卷重建IEEE 754与舍入的分层、状态、关系式和失败边界。
7位级数据取证实验
闭卷重建位级数据取证实验的分层、状态、关系式和失败边界。
第 1 页 · 背面（答案）
核心关系：x\bmod2^w；任务：为《无符号整数与模运算》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 x\bmod2^w 复算关键量；边界：不能把《无符号整数与模运算》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：value=\sum b_i2^i；任务：为《位、字节与十六进制》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 value=\sum b_i2^i 复算关键量；边界：不能把《位、字节与十六进制》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：field=(x\gg s)&mask；任务：为《移位、掩码与字段》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 field=(x\gg s)&mask 复算关键量；边界：不能把《移位、掩码与字段》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：-2^{w-1}\le x<2^{w-1}；任务：为《补码与有符号溢出》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 -2^{w-1}\le x<2^{w-1} 复算关键量；边界：不能把《补码与有符号溢出》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：(-1)^s(1.f)2^{e-bias}；任务：为《IEEE 754与舍入》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 (-1)^s(1.f)2^{e-bias} 复算关键量；边界：不能把《IEEE 754与舍入》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：address\bmod alignment；任务：为《字符、字节序与对齐》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 address\bmod alignment 复算关键量；边界：不能把《字符、字节序与对齐》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：bytes\to typed\ value；任务：为《位级数据取证实验》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 bytes\to typed\ value 复算关键量；边界：不能把《位级数据取证实验》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态