 掌握组合电路的测试生成  代数法 异或法 布尔差分法  算法D算法 PODEM算法 FAN算法 其他  时序电路的测试生成  可测性方法（不具体要求）

1.1 矢量代数 1.2 常用正交曲线坐标系 1.3 标量场的梯度 1.4 矢量场的通量与散度 1.5 矢量场的环流和旋度 1.6 无旋场与无散场 1.7 拉普拉斯运算与格林定理 1.8 亥姆霍兹定理

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

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 基于光流的代数法恢复运动参数和景物深度

基于代数分解的快速算法 1、利用FFT的快速算法 余弦变换核实际上就是傅里叶变换核的实部。而变换计算中的乘法运算就是八x)与变换核 的乘法运算。一种自然的想法就是先对八x)执行FFI,然后对其取实部就可以了

§0.1 矢量代数（vector analysis） §0.2 微分（differential calculus） §0.3 积分（integral calculus） §0.4 曲线坐标系（curvilinear coordinates） §0.5 Delta 函数（The Dirac Delta function） §0.6 矢量场论（Theory of vector fields）

一、逻辑函数 1.逻辑函数在数字电路中,逻辑变量表示输入条件,逻辑函数表示输出结果,输入变量A、B、C.通过逻辑运算得到输出结果F。它们之间的结果可表示为: F=f(A、B、C

一.C54X汇编工具的使用 C54X的源程序可以使用汇编或C语言编 写。使用汇编语言是可以使用助记符 指令集(Mnemonic Instruction Set )或代数指令集(Algebraic Instruction Set),但两种不能混用

 Boolean Operations and Expressions  Law and Rules of Boolean Algebra  DeMorgan’s Theorems  Boolean Analysis of Logic Circuits  Simplification Using Boolean Algebra  Standard Forms of Boolean Expressions  Boolean Expressions and Truth Tables  The Karnaugh Map  Karnaugh Map SOP Minimization

11.1 数字电路的基础知识 11.2 基本逻辑关系 11.3 逻辑代数及运算规则 11.4 逻辑函数的表示法 11.5 逻辑函数的化简