1采样、量化与参考电压
闭卷重建采样、量化与参考电压的对象、状态、事件、不变量与一个失败反例。
嵌入式系统与实时编程 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2ADC转换链与误差
闭卷重建ADC转换链与误差的对象、状态、事件、不变量与一个失败反例。
3滤波与有效位数直觉
闭卷重建滤波与有效位数直觉的对象、状态、事件、不变量与一个失败反例。
4PWM频率与占空比
闭卷重建PWM频率与占空比的对象、状态、事件、不变量与一个失败反例。
5执行器安全限幅
闭卷重建执行器安全限幅的对象、状态、事件、不变量与一个失败反例。
6实验：ADC码值换算
闭卷重建实验：ADC码值换算的对象、状态、事件、不变量与一个失败反例。
7实验：PWM参数计算
闭卷重建实验：PWM参数计算的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：ADC转换链与误差必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕ADC转换链与误差用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：ADC转换链与误差不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：采样、量化与参考电压必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕采样、量化与参考电压用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：采样、量化与参考电压不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：PWM频率与占空比必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕PWM频率与占空比用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：PWM频率与占空比不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：滤波与有效位数直觉必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕滤波与有效位数直觉用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：滤波与有效位数直觉不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：实验：ADC码值换算必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕实验：ADC码值换算用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：实验：ADC码值换算不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：执行器安全限幅必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕执行器安全限幅用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：执行器安全限幅不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：实验：PWM参数计算必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕实验：PWM参数计算用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：实验：PWM参数计算不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。