4.1 结构隔震、消能和减震控制总论 4.2 结构隔震 4.3 结构消能减震 4.4 结构主动减震控制简介

复旦大学：《数据库系统》学生数据库设计（MIS）论文_8.孙建英——库存管理信息系统

复旦大学：《数据库系统》学生数据库设计（MIS）论文_10.李建蓉——资料管理信息系统

复旦大学：《数据库系统》学生数据库设计（MIS）论文_12.王慧平——上海市印刷七厂药务管理信息系统

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

复旦大学：《数据库系统》学生数据库设计（MIS）论文_14.谢洁琼——中学学籍管理系统

一个程序验证器的设计和实现 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