source coding theorem的用法和样例：
例句
- This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.
摘要本论文提出具有绝对可加性自相关数列的离散时间稳定高斯讯号的编码定理。 - Therefore, boundedness condition on the spectrum, which is a common assumption in the earlier studies for stationary Gaussian sources, is lifted by the theorem.
因此，在以往研究离散时问稳定高斯讯号的编码定理中，通常具有的频谱必须有限的假设在本定理中可被去除。
