时、频域采样定理的验证