主要内容：一阶逻辑等值式与基本的等值式、置换规则、换名规则、代替规则、前束范式、自然推理系统NL 及其推理规则。 第一节：等值式与置换规则 第二节：前束范式 第三节：推理理论

§ 5.1 酸碱质子理论概述 § 5.2 水的解离平衡和溶液的pH § 5.3 弱酸、弱碱的解离平衡 5.3.1 一元弱酸、弱碱的解离平衡 5.3.2 多元弱酸的解离平衡 5.3.3 盐溶液的酸碱平衡 § 5.4 缓冲溶液 5.4.1 同离子效应 5.4.2 缓冲溶液 5.4.3 缓冲溶液pH的计算 * 5.4.4 缓冲范围和缓冲能力 § 5.5 酸碱指示剂 § 5.6 酸碱电子理论 § 5.7 配位化合物 § 5.8 配位反应与配位平衡 5.8.1 配合物的解离常数和稳定常数 *5.8.2 配体取代反应和电子转移反应 *5.8.3 配合物稳定性

5.1 树的定义和术语 5.2 二叉树 5.3 二叉树的遍历 5.4 二叉树遍历的迭代器类 5.5 中序穿线树（×） 5.6 最优二叉树及其应用 5.7 树和森林

6.1 CCS的简介 6.2 CCS的组成 6.2.1 代码生成工具 6.2.2 CCS集成开发环境 6.2.3 DSP/BIOS插件介绍 6.2.4硬件仿真和实时数据交换 6.2.5 第三方插件 6.3 CCS集成开发环境与simulator使用方法 6.4 CCS开发流程 6.5 CCS使用举例

本章学习要求： 1. 了解原子核外电子运动的基本特征，明确量子数的取值规律，了解原子轨道和电子云的空间分布。 2. 掌握核外电子排布的一般规律及其与元素周期表的关系。 3. 了解化学键的本质及键参数的意义。 4. 了解杂化轨道理论的要点，能应用该理论判断常见分子的空间构型、极性等。 5. 了解分子间作用力以及晶体结构与物质物理性质的关系。 目录： ➢ 5.1 原子结构的近代概念 ➢ 5.2 多电子原子的电子分布方式和周期系 ➢ 5.3 化学键与分子间相互作用力 ➢ 5.4 晶体结构

负载时转子转速与同步速不同的交流电机称为异步电机。 异步电机结构简单、坚固可靠，价格便宜。 主要作为电动机使用以满足工业自动化驱动系统的需求，如 大型风机、水泵、机床等的驱动，中小型异步电机应用十分 广泛，如家用电器。由于异步电机的效率较低，从节能的角 度有的应用场合已经开始用永磁电机取代。 按照用途分为异步电动机和异步发电机； 按照相数分为单相、三相和多相异步电机； 按照转子结构分为鼠笼式、绕线式和无刷双馈异步电机；

第1节 线性规划问题及其数学模型 1.1 问题的提出 1.2 图解法 1.3 线性规划问题的标准形式 1.4 线性规划问题的解的概念 第2节 线性规划问题的几何意义 2.1 基本概念 2.2 几个定理 第3节 单纯形法 3.1 举例 3.2 初始基可行解的确定 3.3 最优性检验与解的判断 3.4 基变换 3.5 迭代（旋转运算） 第4节 单纯型法的计算步骤 4.1 单纯型表 4.2 计算步骤 第5节 利用MATLAB求解线性规划问题 5.1 优化工具箱(optim)简介 5.2 标准形式 5.3 linprog函数 5.4 应用举例

3.1 举例 3.2 初始基可行解的确定 3.3 最优性检验与解的判断 3.4 基变换 3.5 迭代（旋转运算）

针对北京地区典型粉质黏土地层隧道开挖问题,进行了多组三轴固结排水试验,分析了不同类型应力路径下土样的力学特性,并建立隧道开挖二维数值模型.选取一般工程材料参数,计算每步开挖下网格点及高斯点的应力,跟踪记录典型样点的应力变化规律,进而将地层划分为不同作用分区,将强度试验结果依次代入对应模型分区后得出考虑分区的地表最终沉降值.最后构建离心机试验模型,记录稳定后的表面沉降值,对比了分区模拟计算结果,验证了隧道开挖下地层作用分区的正确性

第一节土壤有机质来源及其组成特点 一、有机质来源 (一)来源于数目众多微生物 1微生物是最早出现在母质中的有机体。成为最早的土壤有机物质来源。 2微生物数目繁多,生活代谢周期短。1g肥沃的表土含有细菌可在10亿以上。最多细菌为杆菌,每英亩细菌活质可超过2000磅,每公顷2000公斤