– 多态类型系统的语法，包括直谓式的，非直谓式的和type: type版本 – 直谓式多态λ演算，包括和其它两个系统之间的联系，它的等式证明系统和归约、多态声明 – 非直谓式多态λ演算的纵览 – 数据抽象和存在类型 – 类型表达式的分类

4.1 对称元素和对称操作 4.1.1 对称元素和对称操作的定义 4.1.2 对称元素和对称操作的类型 4.2 对称操作的乘积、乘法表 4.2.1 对称操作的乘积 4.2.2 对称元素和对称操作之间的一般关系 4.2.3 分子全部对称操作集合的性质 乘法表 4.3 群的基本概念 4.3.1 群的定义 4.3.2 群的几个例子 4.3.3 子群，类和群的同构 4.4 对称点群 4.4.1 对称点群 4.4.2 分子对称性的系统分类法 4.4.3 实例 4.5 群的表示 4.5.1 对称操作的矩阵形式 4.5.2 群的表示 4.6 群的不可约表示的性质 4.6.1 “广义正交定理”及其推论 4.6.2 群的特征标表 4.6.3 可约表示的分解 4.7 基函数 4.7.1 基函数 4.7.2 对称性匹配的线性组合(SALC)投影算子法 4.8 群论和量子力学 4.8.1 本征函数是不可约表示的基 4.8.2 能级的简并度等于不可约表示的维数 4.9 群论在化学键和分子力学中的应用 4.9.1 亲化轨道(D3h 对称性) 4.9.2 休克尔（Huckel）分子轨道(HMO)理论 苯分子 4.9.3 分子振动 H2O 分子 4.10 直乘积表示、分支规则 4.10.1 直积表示 4.10.2 对称直积和反称直积 4.10.3 选择定则 4.10.4 分支规则

•国际直接投融资概述 •国际直接投融资主体——跨国公司 •国际直接投融资方式

实验一 不可逆单闭环直流调速系统静特性的研究 实验二 双闭环晶闸管不可逆直流调速系统 实验三 双闭环可逆直流脉宽调速系统 实验四 双闭环三相异步电动机调压调速系统 实验五 双闭环三相异步电动机串级调速系统

5.1 基本斩波电路 5.1.1 降压斩波电路 5.1.2 升压斩波电路 5.1.3 升降压斩波电路和Cuk斩波电路 5.1.4 Sepic斩波电路和Zeta斩波电路 5.2 复合斩波电路和多相多重斩波电路 5.2.1 电流可逆斩波电路 5.2.2 桥式可逆斩波电路 5.2.3 多相多重斩波电路 5.3 带隔离的直流直流变流电路 5.3.1 正激电路 5.3.2 反激电路 5.3.3 半桥电路 5.3.4 全桥电路 5.3.5 推挽电路 5.3.6 全波整流和全桥整流 5.3.7 开关电源 6.1 交流调压电路 6.1.1 单相交流调压电路 6.1.2 三相交流调压电路 6.2 其他交流电力控制电路 6.2.1 交流调功电路 6.2.2 交流电力电子开关 6.3 交交变频电路 6.3.1 单相交交变频电路 6.3.2 三相交交变频电路 一 PWM的基本原理 二 PWM控制方式 （1）计算法 （2）调制法 三 PWM在逆变电路中的应用（电压型） 四 PWM调制方式

第一节 词项及明确词项的逻辑方法 第二节 性质命题理论 第三节 直接推理 一、什么是直接推理 二、直接推理的种类 直接推理包括 1、对当关系推理 2、命题变形推理 第四节 三段论推理

2.3放大电路的分析方法 2.3.1直流通路与交流通路 一、直流通路 用于确定静态工作点 1.何谓直流通路 仅在直流电源作用下直流电流流经的通路称为直流通路

1传热概述 4-1三种类型换热器 (1)直接混合式—将热流体与冷流体直接混合的一种传热方式。很多人看过电影“洗 澡”吧,老式澡堂中水池的水,是将水蒸汽直接通人冷水中,使冷水加热,此即直接混合式。 如图2-1所示。北方许多工厂的澡堂,仍然采用这种办法

一、田径运动场地的演变 古代奥林匹克运动会是在希腊的雅典举行,通过挖掘古遗址发现,当时的田径场地 是长方形的直跑道,长度不一,约合185115米。终点线是绳子,手抓住绳子就算到 达终点。后来演变为马蹄形场地,这种场地一直沿用到现代第一届奥林匹克运动会。二 十世纪初,又演变成半圆式场地,这种场地一直沿用到现在。在这期间还出现过篮曲式 和三圆心式场地。目前世界各国都采用半圆式田径场地。一开始半圆式田径场地的周长 不统一,直到第七届现代奥运会才确定为400米,两个半圆的半径r有36米的,有 37.898米,目前国际田联建议标准田径场地两个半圆的半径最好修建成36.50米

结合楔横轧成形工艺中需要解决的突出问题,通过分析内直角台阶成形过程中几何形状的研究现状,考虑楔横轧内直角台阶成形过程中各主要几何影响因素,建立了符合实际的内直角台阶成形全过程的轧件表面几何模型及其数学表达式,推导出整个轧制过程中轧件的旋转半径公式