– 静态检查中最典型的部分 — 类型检查： 类型系统、类型检查、多态函数、重载 – 忽略其它的静态检查：控制流检查、唯一性检查、关联名字检查

1、介绍语义描述的一种形式方法：语法制导的翻译，它包括两种具体形式： –语法制导的定义 –翻译方案 2、介绍语法制导翻译的实现方法

– 词法分析器：把构成源程序的字符流翻译成记号流，还完成和用户接口的一些任务 – 围绕词法分析器的自动生成展开 – 介绍正规式、状态转换图和有限自动机概念

1 电子镇流器的拓扑结构 2 半桥式串联谐振换流器电路分析 3 变异的电压馈电半桥式换流器分析 4 全桥式串联谐振换流器电路结构

本章介绍单、双级蒸气制冷循环 的特性及热力计算方法。着重分析理 论循环,并讨论理论循环和实际循环 的差别,此外还介绍了复叠式制冷循 环的组成及其应用

1 PCB设计重要性 2 高频电容模型 3 电容并联特性 4 高频电感模型 5 电感寄生电容特性 6 PCB布线要点 7 PCB设计实例

第九章工业制冰 第一节人造冰的制取分类 第二节盐水间接冷却制冰设备 第三节直接冷却制冰设备

第一章绪论 1、何为品种?品种在现代园艺业中的作用是什么? 2、园艺植物育种的基本途径包括哪些? 3、园艺植物育种的发展趋势是什么? 4、现代农业的内涵及发展趋势是什么?

1 概述 2 DC/DC三种拓扑 3 拓扑传递函数 4 Buck拓扑电感设计 5 Boost拓扑电感设计 6 Buck-Boost拓扑电感设计 7 LED Buck电源设计实例

绪论 (一)教学目的 通过教学,使学生了解配合饲料工业发展的总体概况,中国饲料发展概况,以及本课程 学习的主要内容。 (二)教学内容 配合饲料工业发展总体概况,中国饲料发展概况,本课程学习内容。 (三)教学要求 1.了解饲料工业发展总体概况。 2.了解中国饲料发展概况。 四)重点、难点及教学建议 重点:无