《工业工程导论》 《认识实习》 《可靠性工程》 《采购与供应商质量控制》 《项目质量管理》 《集成质量系统实验》 《设计质量技术》 《质量管理体系》 《质量管理综合设计》 《质量检验技术》 《服务质量管理》 《国家质量基础设施概论》 《六西格玛管理》 《质量大数据技术》 《质量成本与质量经济性》 《质量法规与质量监督》 《质量分析技术》 《质量信息化技术》 《毕业实习》 《毕业设计（论文）》

《高等数学 A》 《线性代数 B》 《概率论》 《大学物理 B》 《物理实验 C》 《VISUAL BASIC 程序设计》 《VISUAL BASIC 程序设计》（实验） 《工程制图 1》 《工程制图 2》 《理论力学 A》 《材料力学 A》 《机械原理》 《机械设计》 《互换性与测量技术基础》 《电工与电子技术》 《电工与电子技术》（实验） 《机械制造技术基础》 《机械工程材料》 《机械基础实验》 《材料成型技术基础》 《液压传动》 《控制工程基础》 《微机原理与应用》 《测试技术》 《数控技术》 《机械制造装备设计》 《特种加工》 《数控加工与编程》 《机械 CAD/CAPP/CAM 》 《自动化制造系统》 《专业外语》（英语） 《专业外语》（日语） 《机电一体化基础》 《工业机器人》 《机电控制技术》 《机电综合实验》 《冲压工艺与模具设计》 《塑料成形与模具设计》 《模具 CAD》 《模具制造技术》 《模具技术概论》 《机械故障诊断》 《先进制造技术》 《工程机械》 《机械设备维修》 《高级语言与程序设计》 《质量管理与可靠性》 《工程经济学》 《物流工程概论》 《工业设计概论》 《人机工程学》 《物流设施设备》 《日语视听》 《实用软件开发日语》 《机械原理课程设计》 《机械设计课程设计》 《机械制造技术课程设计》 《工程制图综合实践》 《工程力学综合实践》 《数控加工实践》 《专业方向综合实践》 《金工实习》 《认识实习》 《生产实习》 《毕业设计》

实习（实践） 《系统工程》 《解读》 《工程伦理学》 《工程力学》 毕业设计（论文） 《仓储与配送》 《服务设计与管理》 《工程统计学》 实验 《工程运筹学 I》 《工程运筹学 II》 《工业工程专业导论》 《基础工业工程》 《计算机辅助设计》 《精益生产与管理》 《离散事件系统建模与仿真》 《人因工程基础》 《生产计划与控制》 《物联网与大数据》 《现代人因工程》 《制造工程基础》 《质量管理与可靠性》 《智能制造》 《工业工程专业英语》 《海洋工程项目管理》 《设施规划与物流分析》 《机械设计基础》 《工程图学（一）》 《物流装备技术》 《海洋工程导论》 《电工技术基础》 《电子技术基础》 《数据分析与决策》 《工程数据库应用》 《信息管理系统》 《信息管理系统课程设计》 《食品包装技术》 《管理学概论》 《ERP 原理与应用》 《人力资源开发与管理》 《进出口报关实务》 《工程经济学》

1.1 结构设计概论 1.2 结构设计方法的发展 1.3 结构可靠性的基本概念

《荷载与结构设计方法》课程教学资源（阅读材料）基于蒙特卡洛法的结构可靠性分析

温度问题 变形问题 密封性问题 稳定性与追随性问题 可靠性和耐久性问题

• 校验码技术 – 海明码：存储器 – CRC码：磁盘，网络 • 硬盘数据保护技术 • RAID技术：磁盘阵列

• 形式化设计方法和过程 • 系统描述方法：基于状态和迁移 • 形式化验证 – Model Checking – 时态逻辑：LTL、CTL、RTL • 属性分析 – 正确性、性能、可靠性？

• 提出使用定型公理和推理规则的上下文有关语法 • 讨论类型化演算的等式证明系统(公理语义)和归约系统（操作语义） • 讨论类型化演算的通用模型（指称语义）及可靠性和完备性定理 • 介绍PCF语言（递归函数留待下一章）及其公理语义和操作语义

防火墙概述 防火墙分类 防火墙硬件技术 防火墙软件技术 防火墙分级 防火墙功能 防火墙性能 防火墙安全性 防火墙部署 防火墙管理 防火墙可靠性 防火墙典型应用 防火墙技术发展展望 怎样选择防火墙