12.1.5 离散时间信号的相关性