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

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

第一节 肥料的产量效应 第二节 肥料效应的边际分析 第三节 有限量肥料的经济最佳分配 第四节 经济合理施肥量的确定

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

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

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

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

–简要介绍语法制导的翻译 – 介绍静态检查中最典型的部分 —— 类型检查 忽略其他的静态检查：控制流检查、唯一性检查、关联名字检查等

– 上下文无关文法 – 自上而下分析和自下而上分析 – 围绕分析器的自动 围绕分析器的自动 成展开 生

• 介绍一种简单的函数式编程语言SFP • 介绍一种抽象机FAM，它的机器语言是SFP语言的目标语言 • 介绍SFP各种语言构造到FAM的编译