前两节介绍的命题与命题演算是命题逻辑的内容，其基本组成单位是原 子命题。一般地，原子命题作为具有真假意义的句子至少由主语和谓语两 部分组成。 例如，电子商务是计算机技术的一个应用，这里“电子商务”是主语， 而“是……”是谓语。当主语改变为“电子政务”时就得到新的原子命题：

一、变压变频调速的基本控制方式 二、异步电动机电压－频率协调控制时的机械特性 三、电力电子变压变频器的主要类型 四、变压变频调速系统中的脉宽调制（PWM）技术 五、基于异步电动机稳态模型的变压变频调速 六、异步电动机的动态数学模型和坐标变换 七、基于动态模型按转子磁链定向的矢量控制系统 八、基于动态模型按定子磁链控制的直接转矩控制系统

B 样条方法在表示与设计自由型曲线曲面形状时显示了强大的威力，然而在表示与设计初等曲线曲面时时 却遇到了麻烦。因为 B 样条曲线包括其特例的 Bezier 曲线都不能精确表示出抛物线外的二次曲线，B 样条曲 面包括其特例的 Bezier 曲面都不能精确表示出抛物面外的二次曲面，而只能给出近似表示。提出 NURBS 方法， 即非均匀有理 B 样条方法主要是为了找到与描述自由型曲线曲面的 B 样条方法既相统一、又能精确表示二次 曲线弧与二次曲面的数学方法。NURBS 方法的主要优点：

一、整流器的结构形式、工作原理，分析整流器的工作波形，整流器各参数的数学关系和设计方法; 二、整流器工作在逆变状态时的工作原理、工作波形。 三、变压器漏抗对整流器的影响、整流器带电动机负载时的机械特性、触发电路等内容

MATLAB作为线性系统的一种分析和仿真 工具，是理工科大学生应该掌握的技术工具，它 作为一种编程语言和可视化工具，可解决工程、 科学计算和数学学科中许多问题.  MATLAB建立在向量、数组和矩阵的基 础上，使用方便，人机界面直观，输出结果可 视化

离散 Fourier 变换 人们刚开始利用无线电技术传输信号时，是将连续信号进行某种 调制处理后直接传送的（图 16.5.1），本质上传送的还是连续信号（也 叫模拟信号）。这样的传输方式抗干扰能力差，失真严重，尤其是经 过长距离传送或多级传递后，信号可能面目全非，质量自然难尽人意

一、运筹学及其在科学技术体系中的地位 1. 运筹学及其产生 运筹学（Operations Research) 是一门以定量 方法为管理决策提供科学依据的学科。北美又称 管理科学（Management Science）。 它产生于20世纪40年代中期的二战期间，战后 逐渐发展成为一门具有多分支的独立学科

在力学、物理学及工程技术等领域中 为了对客观事物运动的规律性进行研究， 往往需要寻求变量间的函数关系，但根据 问题的性质，常常只能得到待求函数的导 数或微分的关系式，这种关系式在数学上 称之为微分方程。微分方程又分为常微分 方程和偏微分方程，本章讨论的是前者

数值模拟是依据被模拟对象的数学或逻辑模型,利用计算机进行实验的一种技术.已成为与理论分析,实验室实验并列的重要研究方法

随着科学技术的发展，常微分方程定性分析 在各个学科领域已成为必不可少的数学工具， 也是数学建模的必备基础理论