河南中医药大学：《应用统计学》课程教学资源（电子教案）07教学设计 第5章 概率与概率分布 5.1 随机事件及其概率 5.2 概率的性质与运算法则

CH1：微型计算机概论 CH2：微处理器 CH3：总线驱动 CH4：存储器系统设计 CH5-6：I/O接口

河南中医药大学：《应用统计学》课程教学资源（电子教案）09教学设计 第6章 统计量及其抽样分布 6.1 统计量及抽样分布 6.2 由正态分布导出的几个重要分布

一个程序验证器的设计和实现 An Automatic Program Verifier for PointerC

安全语言PointerC的设计及形式证明 Design and proof of a safe programming language Pointer

6-1 系统的设计与校正问题 6-2 串联校正 6-3 反馈校正 6-4 复合校正

烟台理工学院：《计算机控制系统课程设计》课程教学大纲 Course Design of Computer Control

烟台理工学院：《深度学习课程设计》教学大纲

5.1 Turbo码的编码 5.2 Turbo码的迭代译码 5.3 Turbo码的性能界 5.4 交织器设计 5.5 分量码的优化

6.4 计数器 6.4.3 集成计数器 6.5 时序逻辑电路的设计方法