– 代数项和它们在多类别代数中的解释 – 等式规范（也叫代数规范）和等式证明系统 – 等式证明系统的可靠性和完备性（公理语义和指称语义的等价） – 代数之间的同态关系和初始代数 – 数据类型的代数理论 – 从代数规范导出的重写规则（操作语义）

第1节 数值分析的基本概念 第2节 数值积分法 第3节 通用仿真程序的基本结构 第4节 仿真精度与稳定性 第5节 稳定性与仿真步长 第6节 数值积分法的选择与计算步长控制 第7节 发电机转子运动方程的数值解法

第一章汇编语言基础知识 1.1 计算机系统概述(硬件、软件、语言类型) 1.2 数据表示(数制、编码、符号数、二进制运算) 1.3 Intel880x86系列微处理器(8086~P4) 1.4 PC微型计算机系统(PC机的软硬件) 1.5 8086微处理器(8086的结构) 1.6 8086的寻址方式(8086寻找操作数的方式)

为将不同数据类型、但相互关联的一组数 为将不同数据类型、但相互关联的一组数据，组合成一个有机整体使用， 据，组合成一个有机整体使用，C语言提供一种称为“结构”的数据结构。 5.1 结构类型与结构变量的定义 结构类型与结构变量的定义 5.2 结构变量的引用与初始化 结构变量的引用与初始化 5.3 结构数组 5.4 指向结构类型数据的指针 指向结构类型数据的指针 5.5 共用型和枚举型 共用型和枚举型

对建筑室内香料污染物扩散的控制方法进行了研究.分析了香料污染物产生的根源和扩散特性,制定了分区控制、先收集后处理的控制策略.设计了排气柜排风系统,基于数值模拟优化了排风系统参数,确定了最优风道流速5.6~6.0m·s-1.实测结果表明,采用分区控制污染源,利用排气柜收集污染物是控制香料污染物扩散的有效方式,香料污染物收集率达90%以上

第一章 绪论 第二章 数控机床维护及故障诊断 第一节 数控机床的验收与精度检测 第二节 数控机床的维护 第三节 数控机床的故障处理 第四节 数控系统故障诊断的方法 第五节 数控机床的抗干扰 第三章 数控机床机械结构故障诊断 第一节 数控机床机械故障诊断方法 第二节 主轴部件 第三节 滚珠丝杠螺母副 第四节 导轨副 第五节 刀库及换刀装置 第六节 液压与气压传动系统 第四章 伺服系统故障诊断 第五章 数控机床I/O控制的故障 第一节 数控机床PLC的功能 第二节 PLC输入/输出元件 第三节 数控机床PLC控制的故障诊断 第六章 MNC863T数控系统故障诊断 概述 系统构成 总线结构形式 组成 连接关系 数控系统故障诊断

SQL语言可以分为数据定义、数据查询、数 据更新、数据控制四大部分。本章系统而详尽地 讲解了SQL语言这四部分的内容。 进一步了解关系数据库系统的基本概念

一、系统建模简介 二、逻辑数据建模的过程 三、数据的收集和整理技术 四、构建数据库模型的步骤 五、分析数据模型 六、类和对象建模

一、 主要用数学的方法研究各种系统的优化途径及方案，为决策者提供科学决策的依据。 二、Operation Research ，OR 三、主要研究对象：主要为各种有组织系统的管理问题及其生产经营活动

一开始使用过CAM系统的朋友通常会有一些关于如何生成数控机床后处理程序的疑问。比如说如何 定位数控机床,使其能按照用户在电脑中的模型坐标准确加工:如何按照不同的机床数控系统定义不同的 后处理程序等。如果阁下对该类问题有兴趣请接着向下看