时域采样理论与频域采样定理验证