第一节 列车编组 第二节 车流组织及货物列车编组计划 第三节 列车运行图及通过能力 第四节 车站行车组织工作 第五节 铁路运输调度指挥及运输生产计划 第六节 铁路运营管理自动化系统

§3.1 自发变化的共同特征 §3.2 热力学第二定律 §3.3 Carnot定理 §3.4 熵的概念 §3.5 Clausius不等式与熵增加原理 §3.6 热力学基本方程与T-S图 §3.7 熵变的计算 §3.8 熵和能量退降

§6-1 概述 §6-2 变形体虚功原理 §6-3 位移计算的一般公式 §6-5 图乘法 §6-6 静定结构温度变化时的位移计算 §6-7 静定结构支座移动时的位移计算 §6-8 线弹性结构的互等定理

• 基本知识 – 计算、计算模型、并行计算模型 • 图灵机概述 – 图灵的基本思想、基本图灵机、图灵机的变种 • 演算 – 表达式的文法、 演算的变换规则、Church数码 • 递归函数 – 直观意义的可计算函数、原始递归函数、递归函数

1. 了解软件测试的目的和原则。 2. 了解软件错误的分类。 3. 了解软件测试的过程和策略。 4. 了解软件测试用例设计的方法，掌握逻辑覆盖、基本路径测试、因果图等测试用例设计方法。 5. 了解程序静态测试的方法。 6. 了解程序调试的概念。 7. 掌握软件测试中的可靠性分析方法

建筑结构施工图平面整体设计方法 （简称平法）对我国目前混凝土结构施 工图的设计表示方法作了重大改革，被 国家科委和建设部列为科技成果重点推 广项目

第一章 湿空气的物理性质及其焓湿图 第二章 空调负荷计算与送风量 第三章 空气的热湿处理 第四章 空气调节系统 第五章 空调房间的空气分布 第六章 空调系统的运行调节 第七章 空气的净化与质量控制 第八章 空调系统的消声、防振与空调建筑的防火排烟

3.1逻辑代数 3.2逻辑函数的卡诺图化简法 3.3组合逻辑电路的分析 3.4组合逻辑电路的设计 3.5组合逻辑电路中的竞争冒险

1.了解软件测试的目的和原则。 2.了解软件错误的分类。 3.了解软件测试的过程和策略。 4.了解软件测试用例设计的方法,掌握逻辑覆盖、基本路径测试、因果图等测试用例设计方法。 5.了解程序静态测试的方法

3.1逻辑代数 3.2逻辑函数的卡诺图化简法 3.3组合逻辑电路的分析方法 3.4组合逻辑电路的设计方法 3.5组合逻辑电路中的竞争冒险