一、静态代码缺陷查找的角色 二、静态代码缺陷基本类别 三、静态代码缺陷查找的主要方法 四、静态代码缺陷查找的常见工具 五、理论基础：不动点

• 实时任务类型与约束模型 – Assumptions about task timing，interaction，。。。 • 任务调度算法Scheduling Algorithm – Scheduling mode and selection function • Timeliness：deadline，worst response time，。。。 • Efficiency：average response time，makespan – Prioritized goals • Temporal predictability first，performance second • 可调度分析Schedulability Test – Prediction of worst-case behavior – 基于CPU利用率(workload analysis) • for preemptive and strictly periodic tasks？ – WCRT(Response time analysis) • for preemptively feasible task sets with D ≤ T

《控制理论基础》 《系统工程》 《工程力学》 《计算机辅助设计》 《工程项目管理》 《人因工程》 《机械设计基础》 《设施规划与物流分析课程设计》 《设施规划与物流分析》 实习（实践） 《工程图学（一）》 《机械设计基础课程设计》 《液压与气动技术》 《电工技术基础》 《电子技术基础》 《数据分析与决策》 《工程数据库应用》 《MATLAB 工程基础》 《物流信息技术》 《物流信息管理系统》 《现代自动识别技术》 《物流工程专业英语》 毕业设计（论文） 《进出口报关实务》

• 类型推断的一般框架 –基于从类型化语言到无类型语言的“擦除”函数 • 加了类型变量后的→类型推断 –包括主定型和合一问题 • 带多态声明的 let的类型推断算法

《计算方法》1 《计算方法》12 《大学化学》15 《机械制图Ⅰ》30 《机械制图 I》39 《机械制图Ⅱ》41 《机械制图Ⅱ》50 《电工技术》52 《电工技术》62 《电子技术》66 《电子技术》77 《理论力学》82 《材料力学》92 《材料力学》104 《机械原理》106 《机械原理》117 《机械设计》120 《机械设计》132 《互换性与技术测量》135 《互换性与技术测量》145 《工程材料与金属工艺学》148 《工程材料与金属工艺学》162 《机械制造技术基础》165 《机械制造技术基础》175 《热工基础及流体力学》177 《液压与气压传动》186 《液压与气压传动》197 《数控加工与编程技术》200 《数控加工与编程技术》208 《机电传动控制》211 《机电传动控制》221 《汽车发动机原理》224 《控制工程基础》233 《控制工程基础》242 《Triz 创新方法与应用》245 《人工智能基础》254 《人工智能基础》264 《现代设计理论与方法》266 《现代设计理论与方法》277 《机床数控技术》280 《机床数控技术》288 《车间制造执行系统概论》290 《模具设计与制造》298 《有限元分析及应用》308 《汽车电器与电子技术》317 《汽车电器与电子技术》325 《数字化设计与制造技术》327 《微机原理及接口技术》337 《微机原理及接口技术》346 《工业工程概论》349 《先进制造技术》361 《先进制造技术》371 《PLC 原理及应用》374 《PLC 原理及应用》383 《专业英语》386 《企业管理》392 《技术经济学》401 《文献检索与科技论文写作》410 《金工实习》416 《机械制图能力训练》425 《计算机三维绘图及实践》431 《机械装备方案及结构设计能力训练》441 《工艺规程编制及工装设计能力训练》451 《机电控制综合能力训练》457 《数控加工与编程能力训练》465 《机械原理课程设计》473 《液压与气压传动课程设计》480 《机械设计课程设计》487 《机械装备拆装实训》494 《专业实习》500 《毕业论文（设计）》509

• 函数式程序 –不含赋值或其它形式的改变变量值的操作 • 命令式程序 –赋值语句是典型的构造 • 本章围绕一个叫做Kernel的简单的命令式语言来讨论语义

9.1 Diffie-Hellman密钥交换 9.2 公开密钥密码体制的基本原理 9.2.1基本概念 9.2.2 应用方法 9.2.3 功能 9.2.4 对公开密钥密码编码系统的要求 9.3 RSA公钥系统 9.3.1 RSA密码体制基本原理 9.3.2 RSA的安全性

实验一：流体流动阻力的测定 实验二：离心泵特性曲线测定 实验三：离心泵计算机数据采集与过程控制 实验四：恒压过滤常数测定 实验五：对流给热系数的测定 实验六：筛板精馏塔理论板层数及塔效率的测定 实验七：填料吸收塔总传质系数的测定 实验八：干燥实验 实验九：综合设计型实验

英语专业 《综合英语》 《英语阅读》 《英语口语》 《英语听力》 《英语语法》 《专业认识实习》 《语音实训》 《英语写作基础》 《英语国家概况》 《英语修辞》 《欧洲文化》 《英语国家概况实践》 《听力实训》 《英语演讲与辩论》 《中国文化概论》 《词汇学》 《英国社会与文化》 《古希腊罗马神话》 《英语经典阅读实训》 《美国社会与文化》 《英语基础技能—听力》 《英语基础技能-阅读》 《英语基础技能-写作》 《英汉语言对比分析》 《文化与翻译》 《经贸英语阅读》 《写作实训》 《北京地区英语应用情况调研》 《文化翻译实践》 《高级英语》 《英国文学》 《笔译理论与实践》 《基础口译》 《德语》 《日语》 《西班牙语》 《第二语言习得概论》 《英语文体学》 《计算机辅助翻译》 《英语教学法》 《语言与文化》 《国际贸易理论与实务》 《计算机辅助翻译实训》 《口译实训》 《英语教学实习》 《英汉翻译实践》 《高级英语视听实训》 《实用英语写作实践》 《高级英语写作》 《语言学概论》 《文献阅读与学术论文写作》 《跨文化交流》 《应用语言学研究方法》 《英语教育》 《英语电影赏析》 《翻译学》 《科技英语翻译》 《新闻英语翻译》 《外贸函电》 《文学作品模仿实践》 《中小学英语教学实践》 《美国文学》 《高级口译》 《语言学流派》 《英语名篇选读》 《高级英语技能--听力》 《高级英语技能--阅读》 《高级英语技能--写作》 《商务英语口译》 《笔译实践》 《商务英语口译实训》 《外宣翻译实践》 《毕业论文》 全校公共课 《大学英语》 《高级英语听说》 《跨文化交际》 《学术英语》 《实用英语语音》 《初级英语听说》 《英美概况》 《实用英语写作》 《英语词汇与文化》 《英语四级》 《英汉翻译理论与实践》 《法律英语》 《英语六级》 《科技英语阅读》 《大学英语听说实验课》 《新闻英语视听说》 《从美剧看美国文化》

8.1 防火墙的基本概念 8.2 防火墙的发展历程与技术 8.3 包过滤防火墙 8.4 应用代理防火墙 8.5 电路级网关 8.6 自适应代理防火墙 8.7 状态检测（动态包过滤）防火墙 8.8 防火墙局限性 8.9 防火墙体系结构 8.10 防火墙部署案例 8.11 VPN技术