数字信号处理 是通过离散化与数学模型高效处理多领域数据(如金融、通信、生物医学信号)的技术,其核心是将连续信号转换为离散时间序列。线性代数的子空间理论为此提供了结构化框架:离散信号空间 的子空间(如有限长信号子空间 )通过基向量(如移位单位脉冲)将信号编码为有限维向量,简化存储与运算;无限维子空间 支持动态数据流处理。
离散时间信号是无限序列 ,其中下标 覆盖所有整数,表示在离散时间点上的采样值。例如,股票每日价格、传感器周期性读数等均可视为离散时间信号。其核心特性包括:
离散性:仅在整数时间点定义,与连续时间信号形成对比。
结构化表示:通过向量空间 描述,支持线性代数操作(如加法、标量乘法)。
下面是常用的离散时间信号类型:
| 典型信号类型 | |||
|---|---|---|---|
| 信号名称 | 符号 | 向量 | 正式描述 |
| 单位脉冲 | |||
| 单位阶跃 | |||
| 常数信号 | |||
| 交替信号 | |||
| 斐波那契信号 | |||
| 指数信号 | |||
另一种常见的离散信号类型是周期性信号,其特点是信号的值在每隔一个固定的整数 后重复。换句话说,对于所有整数 ,信号的值 和 是相等的。例如,正弦信号是周期信号的数学表达式为:
其中, 是频率,表示信号的周期性变化速率, 是相位偏移,表示信号的起始位置。下图展示了正弦信号 的点阵图:
线性时不变 变换是信号处理中的核心工具,广泛应用于通信、控制、音频处理、图像处理等领域。其关键特性包括线性和时不变性,这使得 变换可进一步简化数学模型。下面是线性时不变变换的具体定义:
例 1 :设 是将信号中每个元素右移一位的变换(移位变换),即
为简化符号,写作 。左移变换为 ,即:
验证: 是线性时不变 变换,并说明其可逆性。
对任意整数 ,若输入信号时移 位(即 ),则输出信号也时移 位:
其中 ,满足时不变性。
对单位信号 应用 和 :
(右移一位, 处为 )
(左移一位, 处为 )
如下表所示,这些操作生成了信号空间 的基向量。
| 变换 | 基向量 | 表达式 |
|---|---|---|
| ... | ... | ... |
| ... | ... | ... |
变换是一类同时满足 线性性 (加法和数乘封闭)和 时不变性 的变换。它不仅继承了一般线性变换的数学性质,还额外要求系统响应与时间无关。因此, 变换是线性变换中具有严格约束的特例。有如下定理:
在数字信号处理 中, 变换是处理和分析信号的核心工具之一。 变换不仅可以用于平滑和过滤信号,还可以通过组合信号来生成更复杂和真实的信号。下面我们分别讨论 变换在信号平滑和信号组合中的应用。
移动平均变换 ,在信号处理中属于 滤波器的一种。其核心思想是通过 局部窗口内的数据平均值来平滑信号 ,抑制噪声或短期波动,突出长期趋势或周期性成分。
例 2 :对于任意正整数 ,移动平均 变换为 定义为:
移动平均变换 的输出 是输入信号 在时间窗口 内的平均值。假设有一个输入信号 ,例如:
对于 ,计算每个 :
从计算结果可以看出,经过移动平均变换后的输出信号 相比输入信号 更加平滑,数据波动明显减少。如下图所示:
可听化 是一种声音信号处理技术,它通过组合和处理信号来增强虚拟声音的真实感。这种技术在虚拟现实、游戏音频、音乐制作和影视音效等领域广泛使用。它通过模拟现实世界中的声音特性,为用户提供一个更加沉浸和真实的听觉体验。例如,在虚拟现实和游戏音频中,可听化技术可以生成逼真的环境音效;在音乐制作中,它能够生成丰富的音色和效果;在影视音效中,可听化技术则用于创造复杂的背景音效和特殊效果。
例 3 :下面来展示如何通过组合多个信号来生成更复杂和真实的虚拟声音。
原始信号:一个余弦信号 ,其频率为 ,是一个单一频率的正弦波。
引入衰减的信号:通过引入衰减系数 ,生成信号 使信号逐渐减弱,模拟声音逐渐消失的效果。
多频率组合:通过组合三个不同频率的余弦信号 ,增加声音的复杂性和变化。
调制信号:通过调制信号 ,进一步增强信号的变化。
在数字信号处理中,我们通常处理的是 有限长度的信号 ,即在某个固定时间窗口内采样到的数据。这类信号可以表示为:
这意味着我们关心的信号只在从时间 到 的区间内有意义,其余部分均为零。我们将这类信号构成的集合定义为 信号空间 ,它是全集 (无限长度信号空间)的子空间:
即, 是所有仅在时刻 可能非零,其余位置全为零的信号所构成的子空间。为了对 中的信号进行表达与计算,我们需要构造一组基,使得任意信号都可以表示为这些基的线性组合。理想情况下,这组基应当具有线性无关性,并能覆盖整个 。我们有如下定理:
证明: 是 的生成集
证明: 是线性无关的
结论
例 4 :使用基底 表示信号 ,其中:
将该信号表示为 中的向量。
如果我们不再限制信号的长度,只要求"非零项是有限个",这样的信号能否构成一个空间?又能否找到合适的基?这就引出了 有限支持信号 空间 的概念。 是所有只有有限个非零项的离散信号 组成的集合,更形式化的表示为:
,是全体离散时间信号的子空间。
它包含所有的 ,即:
例如:每天记录一支股票的价格,虽然数据每天在增长,但在任意时刻,仍只有有限长,它属于 ,不属于某个固定的 。
有限支持信号空间 依然可以用单位冲激信号 及其平移来构造基,有如下定理:
证明: 是 的生成集
证明: 线性无关
结论
有限支持信号空间 是一个无限维空间,因为它的基包含了无限多个元素。尽管这些基元素是通过平移单位冲激信号得到的,但它们的数量是无限的,因此整个空间 也是无限维的。