（1)精确逻辑(传统逻辑)的一些概念 命题逻辑、布尔代数、和集合论是同构的。 隐含是重要的概念。 传统的命题逻辑中,命题的“真”和“假”必须具有 意义。逻辑推理是给定一个命题,组合成另一个命题的过 程

1-1 矢量代数 1-2 质点运动的描述 1-3 位矢和运动学方程 1-4 位移 速度 1-6 运动学两类问题 1-7 相对运动 1-5 加速度

对人耳识别中若干关键问题进行了研究.介绍了两种人耳图像归一化处理的方法,即基于外耳轮廓长轴的线标记法和基于外耳轮廓起始点的点标记法,并对这两种方法进行了对比.在分析现有人耳识别方法不足的基础上,提出利用核主元分析法提取人耳图像的代数特征,再利用支持向量机分类模型进行人耳识别.在带有角度、光照变化的北京科技大学人耳图像库上得到的识别率为98.7%,表明了该识别方法的有效性以及利用人耳图像进行身份识别的可行性

7.1 非线性电阻电路的基本概念： 7.1.1 非线性时不变电路的独立代数方程组： 7. 1 非线性电阻电路的基本概念： 7.1.2 驱动点特性曲线： 7.1.3 转移特性曲线 7.2. 分段线性化方法： 7.3. 非线性电阻电路的综合： 7.4. 一阶非线性电路： 7.5. 相空间、轨道、平衡点： 7.6. 非线性方程的线性化及其平衡点类型： 7.8. 周期解与极限环：

对一种已有的自适应算法进行了改进,并将该算法思想引入到粒子群算法的改进中,在种群进化到一定代数时按照改进自适应算法改变搜索范围的大小,实现了自动调整搜索范围、提高收敛速度和精度并可有效防止粒子群算法早熟收敛的目的,同时通过实验仿真进行了验证.将该改进粒子群算法应用到热连轧机精轧机组的负荷分配优化计算中,程序运行时间小于5s,满足实时性的要求,为其提供了一种更为有效的优化手段

定义11:设o是Vn(F)上的线性变换,若对 入∈F,存在非零向量,使得5=5 则称是线性变换σ的一个特征值, 5是的属于特征值的特征向量

7.1 概述 7.2 视觉运动的检测和测量 7.2.1 以灰度为基础的方法 (1) 速度场和光流 (2) 光流 (3) 光流的估算 7.2.2 基于过零点的方法 7.2.3 基于特征的运动检测方法 7.3 运动理解 7.3.1 基于光流的运动理解 7.3.2 基于特征的运动理解 7.3.3 根据图象流动力学恢复表面结构和三维运动 7.3.4 基于光流的代数法恢复运动参数和景物深度

基于Bernoulli-Euler梁理论,分析了多跨变截面连续梁的动力特性.应用模态摄动基本原理,利用等截面连续梁的模态,将变截面连续梁微分方程的求解转化为代数方程组求解.该方法对于梁的截面函数的连续性要求较少,既适用于截面变化为阶跃形式的梁,也适用于截面函数连续的梁.通过算例分析表明,这一方法可有效地简化计算,同时计算结果具有较高的精度

一、介绍系统稳定性的基本概念，判断系统稳定性的基本出发点 二、系统稳定的充分必要条件 三、代数判据（Routh、Hurwitz判据） 四、Nyquist判据的基本原理和方法，Bode判据 五、相对稳定性的概念 六、掌握相位裕量和幅值裕量的概念及计算方法

定义12:设W是V的子空间,如a,B∈V,满足 a-B∈W,则称a与模W同余,记作 a=(mod) 自反性α=a(modw),vaev 对称性如α=(mod)则B=a(modW) 传递性如=(modw)=y(modw)