信道失真率函数课件

单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,信道失真率函数,*,第四章信息率失真函数,4.1基本概念,4.2离散信源的信息率失真函数,4.3,连续,信源的信息率失真函数,4.4保真度准则下的信源编码定理,1,信道失真率函数,4.1基本概念,4.1.1,失真函数与平均失真度,4.1.2,信息率失真函数的定义,4.1.3,信息率失真函数的性质,率失真函数的定义域,率失真函数对允许平均失真度的下凸性,率失真函数的单调递减和连续性,2,信道失真率函数,引入限失真的必要性,失真在传输中是不可避免的,连续信源的绝对熵为无限大，若要无失真地进行传输，则要求信息传输率也为无限大，然而现实世界中信道带宽总是有限的，信道容量总有一定限度，因此不可能实现完全无失真的信源信息的传输,另一方面，从无失真信源编码考虑，由于要求码字包含的信息量不小于信源的熵，所以对于连续信源，要用无限多个比特才能完全无失真地来描述，这是不现实的,即使是离散信源，若要处理的信息量很大，采用无失真编码将使得信息的存储和传输成本非常高，而且在很多场合，过高的信息传输率是不必要的,3,信道失真率函数,引入限失真的必要性,(续),信宿只具有有限的的分辨能力与灵敏度，超过分辨能力与灵敏度的信息传送过程是毫无意义的,例1：由于人耳能够接收的带宽和分辨率是有限的，因此对数字音频传输的时候，就允许有一定的失真，并且对欣赏音乐没有太大的影响,例2：对于数字电视，由于人的视觉系统的分辨率有限，并且对低频比较敏感，对高频不太敏感，因此也可以损失部分高频分量,例3：放映电影，理论上要完全无失真地表现出一个连续动作，需要用无穷多个静态画面连续放映，但利用人眼的“视觉暂留性”，只要每秒钟连续放映24幅静态画面，就几乎让观众感觉不到失真的存在,4,信道失真率函数,引入限失真的必要性,(续),如果允许信息有某些失真，就可以大大降低信息传输速率，从而降低通信成本,应用种类,象素数/行,行数/帧,信息传输率(码率),bps,压缩前,压缩后,HDTV,1920,1080,1.18 G,2025 M,普通电视,720,480,167 M,48 M,会议电视,352,288,36.5 M,1.52 M,电视电话,128,112,5.2 M,56 K,在允许一定程度失真的条件下，怎样用尽可能少的码符号来表达信源的信息，也就是信源熵所能压缩的极限或者说编码后信息传输率压缩的极限值是多少？,保真度准则下的离散信源编码定理,：在允许一定失真度,D,的情况下，信源输出的信息传输率可压缩到极限值信息率失真函数,R,(,D,),5,信道失真率函数,失真函数,由于本章学习内容只涉及信源编码问题，因此可以把从信源编码器到信源译码器之间的所有部件合在一起等效为一个有噪声的试验信道,试验信道,信源,信源,译码器,信源,编码器,无损无噪信道,信宿,6,信道失真率函数,对每一对 (,x,i,y,j,)，指定一个,非负,的函数,失真函数,(续),称为单个符号的,失真度,或,失真函数,，表示离散信源发出一个符号,x,i,而在接收端再现成,y,j,所引起的误差和失真。,上述非负的失真函数共有,n,m,个，可以整体表示成,失真矩阵,由于信源发出的符号,X,和信宿收到(再现)的符,号,Y,均是随机变量，因此单个符号的失真函数,d,(,x,i,y,j,),也是随机变量(的一次实现),7,信道失真率函数,常用的失真函数,失真函数是根据人们的实际需要和失真引起的损失、风险、主观感觉上的差别等因素人为规定的，可以有多种形式,平方误差失真函数,绝对误差失真函数,相对误差失真函数,误码失真函数,平方失真和绝对失真只与,(,y,j,-,x,i,),有关，而不是分别与,x,i,y,j,有关，在数学处理上比较方便；相对失真与主观特性比较匹配，因为主观感觉往往与客观量的相对数成正比，但其数学处理比较困难,误码失真函数表明，只要发送符号与接收符号不同，由此引起的失,真都相同(为常数,a,),。若常数值为,1，则称为,汉明失真,适用于,连续信源,适用于离散信源,8,信道失真率函数,平均失真度,由于单个符号的失真函数,d,(,x,i,y,j,),是随机变量(的一次实现)，它只能表示两个特定的具体符号,x,i,y,j,之间的失真，无法从整体上描述信道平均每传递一个符号所引起失真大小,定义,平均失真度,为失真函数的数学期望，即,d,(,x,i,y,j,),在,X,和,Y,的联合概率空间,P,(,XY,),中的统计平均值,平均失真度 与信源统计特性 、信道统计特性,和规定的失真度 有关；如果信源和失真度给定以后，,就只是信道统计特性的函数,如果规定平均失真度不超过某一允许失真的上界,D,(最大允许平均失真度，简称,允许平均失真度,)，则称：,为,保真度准则,满足保真度准则的限定条件下，求信息传输率的最小值,9,信道失真率函数,符号序列的失真度,若信源是单符号离散无记忆信源的,N,次扩展，其限失真编码可视为,N,长随机序列,经由单符号离散无记忆信道的,N,次扩散信道，再现为,N,长的随机序列,N,长输入符号序列,与,N,长,输出符号序列 间的失真函数：,由于,N,次扩展信源和,N,次扩展信道都是无记忆的，因此：,10,信道失真率函数,符号序列的平均失真度,符号序列的平均失真度：,符号序列的保真度准则：,为同一单符号离散无记忆信源,X,在,N,个不同时刻通过同一单符号离散无记忆信道所造成的平均失真度，因此都等于单符号离散无记忆信源,X,通过单符号离散无记忆信道所造成的平均失真度，即：,11,信道失真率函数,4.1.2信息率失真函数的定义,在单符号信源已知并规定了单符号失真度后，并非所有的信道都能满足保真度准则,；凡满足保真度准则的信道称为,D,失真许可试验信道,，所有的,D,失真许可试验信道构成集合：,对于离散无记忆,N,次扩展信源和,N,次扩展信道，相应的,D,失真许可试验信道为：,对于固定的信源分布，平均互信息是信道转移概率的下凸函数，也就是说，存在一个信道使给定的信源经过此信道传输时，信道的平均互信息达到最小,信源限失真编码后的信息传输率,R,就是通过试验信道的平均互信息,I,(,X,;,Y,)，,为了便于传送和处理，,人们总是希望将信息传输率,R,压缩到最小,12,信道失真率函数,信息率失真函数的定义,(续),给定信源和失真度后，在所有的,D,失真许可试验信道中，寻找一个信道使得从输入端传送过来的信息量最小。这个最小的平均互信息称为,信息率失真函数,R,(,D,),，简称,率失真函数,：,在研究,R,(,D,),时，计算,I,(,X,;,Y,),所用的条件概率并没有实际信道的含义，只是为了求平均互信息的最小值而引用的、假想的可变试验信道的信道特性。实际上这些信道反映的仅是不同的限失真信源编码，或称,信源压缩,R,(,D,),是在限定允许平均失真为,D,时信源最小信息传输率；可以通过改变试验信道特,性,来达到，实质上是选择一种限失真信源编码方式使试验信道的信息传输率为最小，即在满足保真度准则下，使信源的压缩率达到最高,13,信道失真率函数,率失真函数的定义域,(,D,的下界,),允许失真度,D,是平均失真度的上限，而 是非负函数,的数学期望，因此,D,的下界至多为,0，对应于无失真的情况，此时信息传输率应等于信源输出的信息熵，即,D,能否达到下界,0，与单个符号的失真函数有关；在给定的失真矩阵中，对每一个,x,i,，找一个,y,j,与之对应，使,d,(,x,i,y,j,),最小，,不同的,x,i,对应的最小,d,(,x,i,y,j,),也不相同。相当于在失真矩阵的每一行找一个最小的,d,(,x,i,y,j,)，然后对各行不同的,d,(,x,i,y,j,),求统计平均值，就是信源平均失真度上限的下界,显然，如果失真矩阵的每一行至少有一个,0,元素，信源平均失真度上限,D,的下界才能取到 0,14,信道失真率函数,率失真函数的定义域,(,D,的上界,),R,(,D,),是在一定约束条件下平均互信息,I,(,X,;,Y,),的最小值，由于,I,(,X,;,Y,) 是非负的，其下界为至多为,0,如果不允许失真，平均传送一个信源符号所需的信息传输率最大，,R,(,D,),可以达到信源熵；反之如果允许一定的失真，则信息传输率可以小一些；或者说信息传输率越小，容忍的平均失真度越大,显然，当,R,(,D,),达到下界,0,时，允许的平均失真度最大，由于满足,R,(,D,),=,0 的,D,可以有无穷多个，定义使,R,(,D,),=,0 成立的最小的,D,值为率失真函数的定义域的上界,D,max,当,R,(,D,),=,0 时，最小的,I,(,X,;,Y,),=,0 ，这相当于,X,和,Y,相互统计独立的情况；这意味着接收端收不到信源发送的任何信息，与信源不发送任何信息是等效的，所以在理论上，传送信源符号的信息传输率可以压缩至 0,15,信道失真率函数,率失真函数的定义域,(,D,max,的计算,),如果试验信道的转移概率满足,即,X,和,Y,相互统计独立，等效于信道关闭或者信源不发任何消息，此时必有： ，从而,用不同的输出概率分布 对,求数学期望，取最小的那一个作为,如果在 中找到最小的 ，当该,j,对应的,而其余的输出概率为 0 时，上式计算出的 值最小，即：,16,信道失真率函数,率失真函数,R,(,D,) 的定义域为 (,D,min,D,max,),一般情况下：,D,min,=,0，,R,(,D,min,),=,H,(,X,),当,D,D,max,时：,R,(,D,),=,0,当,D,(,D,min,D,max,),时 ：0,R,(,D,),H,(,X,),17,信道失真率函数,率失真函数对允许平均失真度的下凸性,18,信道失真率函数,新试验信道在所有满足保真准则 的信道集合中 并不一定是达到率失真函数 （使平均互信息 达到最小）的信道,新试验信道的,允许平均失真度,固定信源,X,，平均互信息,I,(,X,;,Y,) 是信道转移概率的下凸函数：,因此,R,(,D,) 在定义域内是允许平均失真度,D,的下凸函数，即：,19,信道失真率函数,率失真函数的连续性,由数学分析理论：“,定义在开区间上的凸函数必是连续函数,”知：,定义域为 (,D,min,D,max,) 且具有下凸性的,R,(,D,) 是连续函数,首尾相连的弦线斜率是递增的,20,信道失真率函数,由于允许的平均失真越大，所要求的信息率就可以越小,率失真函数,R,(,D,),是在平均失真度小于或等于允许平均失真度为,D,的所有试验信道组成的集合,P,D,中，取平均互信息,I,(,X,;,Y,),的最小值,当允许的平均失真度增大后，集合,P,D,也随之扩大，它当然仍包含原来满足保真度准则的所有信道；这时再在扩大的,P,D,集合中挑选,I,(,X,;,Y,),的最小值，显然新挑选出最小值或者不变，或者变小，所以率失真函数,R,(,D,),是单调非增的,以下将通过证明率失真函数,R,(,D,),在定义域,(,D,min,D,max,),内不可能为常数从而证明率失真函数是严格单调递减的函数,率失真函数的单调递减性,21,信道失真率函数,22,信道失真率函数,新试验信道在所有满足保真准则的信道集合中并不一定是达到率失真函数的信道，因此：,R,(,D,),I,(,X,;,Y,),满足保真准则,固定信源，平均互信息,是信道转移概率的下凸函数，所以：,综上分析可知： 时， ，可见,在区间 上不是常数，原假设不成立。,23,信道失真率函数,根据率失真函数所具有的下凸性、连续性、严格单调下降性可绘出率失真函数的典型曲线图,率失真函数曲线的一般形式,连续信源,离散信源,连续信源,离散信源,对于连续信源，,R,(,0,),，曲线不与,R,(,D,) 相交,R,(,D,min,),H,(,X,),及,R,(,D,max,),=,0,决定了率失真函数曲线边缘的,两个交点,24,信道失真率函数,4.2离散信源的信息率失真函数,由率失真函数的定义可知，求解,R,(,D,),实质上是求解平均互信息的条件极值，与求信道容量,C,类似，可以采用拉格朗日乘子法求解,R,(,D,),是求解,I,(,X,;,Y,),的,条件极小值,，具体而言，给定信源概率分布,p,(,x,) 和失真函数,d,(,x, y,)，在满足保真度准则 的试验信道集合,P,D,中选择信道转移概率,p,(,y,|,x,)，使,I,(,X,;,Y,),最小,需要满足以下,n,+,1 个限定条件：,很难求解出,I,(,X,;,Y,),条件极小值的显式表达式，在一般情况下只能求得用参量,(,R,(,D,),的斜率,S,),来描述的参量表达式，并借助计算机进行迭代运算,25,信道失真率函数,4.2.1离散信源信息率失真函数的参量表达式,26,信道失真率函数,27,信道失真率函数,28,信道失真率函数,29,信道失真率函数,0,30,信道失真率函数,4.2.2二元及等概率离散信源的信息率失真函数,31,信道失真率函数,32,信道失真率函数,二元离散信源率失真函数曲线,33,信道失真率函数,多元等概率离散信源的率失真函数,34,信道失真率函数,4.3 连续信源的信息率失真函数,4.3.1,连续信源信息率失真函数的参量表达式,4.3.2,高斯信源的信息率失真函数,4.3.3,信息率失真函数与信息价值,4.3.4,信道容量与信息率失真函数的比较,35,信道失真率函数,4.3.1连续信源信息率失真函数的参量表达式,36,信道失真率函数,4.3.1连续信源信息率失真函数的参量表达式（续）,37,信道失真率函数,4.3.2高斯信源的信息率失真函数,38,信道失真率函数,39,信道失真率函数,反向信道,40,信道失真率函数,41,信道失真率函数,42,信道失真率函数,4.3.3信息率失真函数与信息价值,同样的信息对不同的接收者其,(,客,观),信息量是相同的，但对不同的接收者其价值是有差别的,尽管信息率失真理论只研究客观信息量，不涉及信息对接收者有着不同的价值，但如果把平均失真理解为平均损失，据此定义信息价值，就可以用信息论解决许多实际问题,例,某印刷电路板,(,PCB,),加工厂的产品合格率约为,98%。一块好的,PCB,板出厂价约为,100,元，但如果客户发现一块不合格的板子可向厂方索赔,10000,元。已知厂方检验员检验的正确率约为,95%，假设合格品出厂、废品报废都不造成损失，以下用信息率失真理论来分析检验的作用并作比较。,解,根据题意，可将 PCB 产品作为一信源，记生产的 PCB 板为随机变量,X,，检验员的检测结果为,Y,，即：,43,信道失真率函数,将平均失真度理解 PCB 厂的平均损失，并定义如下失真函数：,产品不经检验而出厂都当合格品,即这种情况每销售出去一块,PCB,板，加工厂将要另外承担可能损失,200,元的风险。考虑到每块销售,100,元，实际上是每卖出一块可能要实际净损失,100,元。,44,信道失真率函数,产品不经检验全部报废都当废品,即每生产一块,PCB,板，加工厂将有损失,98,元的风险。因为把,98%,本来可以卖,100,元一块的板子也报废了。,比较以上两种情况可知，做出全部报废决定造成的损失，要小于做出全部出厂决定所造成的损失。不做任何检验，在全部出厂和全部报废两者之间抉择，选择后者的损失反而小。,如果选择 ，则 ，,产品无需进行质量管理，相当于信源没有输出任何信息量,45,信道失真率函数,正确无误地判断合格品和废品完美的检验,以下探讨每 1 比特信息量的价值,该式说明，如果从每块,PCB,板上获取,0.14144,比特的信息量，就可以避免一切细小的损失。,可能造成的最大损失为,98,元,/,块，所以,0.14144,比特信息量的最大价值为 98 元，则每 1 比特信息的最大价值为,一般将全部产品都报废的可能性极小，实际的损失要小于,98元/块，完全无误的检验因其高昂的代价，所提供的单位信息价值不一定是最高的,46,信道失真率函数,检测时允许有一定的错误非完美的检验,即这种情况每销售出去一块,PCB,板，加工厂将要另外承担可能损失,14.9,元,/,块的风险。考虑到每块销售,100,元，实际上是每卖出一块实际收益至少是,85.1,元。这种情况和最大损失,(,98,元,),相比，损失减少了 98,-,14.9,=,83.1 元 / 块,Why?,由于在检验的过程中获取了一定的信息量，检验的过程好比“信道”，获取的信息量也就是平均互信息,I,(,X,;,Y,) 。,47,信道失真率函数,通过允许有错的检验，平均而言从对每块,PCB,板的检验中只获取了,0,.07202,比特的信息量，但是其损失比不检验时减少了83.1元，也就是说,0,.07202,比特信息价值,83.1,元，故每,1,比特价值为：,而完全无误检验时，每比特信息量的价值为 692.87 元。比较而言，在有较小检验误差的情况下，每比特信息量的价值更高，是较合算的检验准则。,48,信道失真率函数,信息率,R,的价值,付出一定的代价，获取一定的信息，得到相应的价值,信息率失真函数,R,(,D,),是平均失真度,D,的单调递减函数，其反函数为,D,(,R,) ，表示信息率为,R,时的平均失真度,(平均损失),最大的平均损失为,D,max,，此时的率失真函数,R,(,D,max,),=,0,表明没有获取信源的任何信息,当获取一信息率,R,(,D,),后，平均损失将由,D,max,下降为,D,(,R,)，即获取,D,(,R,),比特的平均互信息可以减少损失,D,max,-,D,(,R,)，据此可以定义：,49,信道失真率函数,4.3.4信道容量与信息率失真函数的比较,50,信道失真率函数,4.4保真度准则下的信源编码定理,(香农第三定理),51,信道失真率函数,香农三大定理,香农信息论有三大基本概念：信源熵、信道容量、信息率失真函数，它们是信息传输与存储的理论上的极限；这三大基本概念分别对应于香农的三大定理：,无失真信源编码定理极限：信源熵,H,(,X,),信道编码定理极限：信道容量,C,限失真信源编码定理极限：率失真函数,R,(,D,),香农的三大定理只是指出了理想编码方式的存在性，但并没有给出更多的关于如何进行编码尤其是理想编码的构造方法,随后的信源编码和信道编码章节，将重点探讨以香农三大极限为目标如何实现编码,52,信道失真率函数,作业,4.1,4.2,4.4,4.5,4.9,4.10,53,信道失真率函数,