视频中背景建模目标检测综述(北京大学)
基于视频的移动目标检测是一个重要且有挑战性的任务，在许多应用中都起到相当关键的作用。本次论文研读围绕该主题展开，深入阅读了十余篇论文，在本文总结了视频中移动目标检测的一些主要方法及各自的优劣。报告接下来的部分组织如下:第二节介绍一般问题的陈述及典型的应用,第三节与第四节分别介绍基于像素的移动目标检测方法与基于区域的移动目标检测方法,第五节进行简单的讨论与总结。2问题陈述及应用一般而言移动目标检测并不单独地构成应用,而是作为一个组件出现在许多实际的应用之中。故移动目标检测的具体要求随着应用的改变而有很大的不同。例如对足球场上球员及足球的检测与跟踪就和对视频中用户手势的跟踪有所不同,前者的关键在于如何应对复杂的光照变化有效提取运动物体,后者的难点则在于如何从整个躯休大范围的运动背景中将手势的运动识别并提取出来。尽管不同的应用可能提出不同的技术上的要求,但是相当一部分这类问题还是可以在同一的框架下进行探讨和比较的。以下就是本文讨论范围内一般问题的陈述( Figure1):a.高层次的模型一般具有检测、跟踪、识别三个模块,其中识别模块并不必须b.检测模块可细分为移动日标区域检测与移动目标分组,其中前者是这个模块能够顺利工作的保证,其日的是将各帧内移动日标所在的区域标出该模型的输入为连续的视频,输出为跟踪的物体(即轨迹)或分类的物体,DetectioTrackingbackgroundObject detectionMatching usingFramescolor texture andTrackedsubtractionusing contoursmotion featuresobiectsGr。 up handling(merging andlittonFigure1系统框架图中即为一个典型的流程图,其中省略了分类模块并把运动目标区域检测规定为背景差分方法。该模型的典型应用场景是室内外的视频监视分析( Figure2),特别是交通数据的分析。另外体育运动视频(如足球或台球)的分析也能在该模型下解决。Figure2移动目标检测的典型应用:视频监控本文讨论的就是这样一个系统之中移动目标检测部分内容,并且将重点放在了如何判定移动目标区域的部分。这是这样的系统中的最初的处理,对于之后的处理能否获得有效的信息至关重要。该内容主要涉及两个问题:如何提取运动的前景,及如何建立一个良好的背景模型。后者一般并不是应用任务中所要求完成的,但往往是用以提取运动前景很好辅助工具,将新的一帧“减去”背景即可获得移动前景,故同时具有这两个步骤的方法也被称为“背景差分”,是移动目标检测中的一大类主流方法,本报告中涉及的大部分方法即属于这一类3基于像素的移动目标检测31均值-阈限方法均值-阈限( Figure3)的基本思路是计算每个像素的平均值和标准差作为它的背景模型Mean 2*Avg DiffMean”Mean-2*Avg DiffFigure3均值-國限方法4图中为某视频中单个像素在一定时间内不断更新得到的平均值和平均差值3,该像素处在天空的位置,在一段时问后有人的手挥过该区域,可以看到由于前景目标明显不如背景中的天空明亮,所以可以很容易将其分辨出来实际上均值-阈限方法就是赋予视频中每个像素一个统计上的背景模型,例如高斯分布模型4。每个点需要两个参数来衡量:均值与方差。后面将看到,许多更先进的棊于像素的移动目标检测方法其实无非采用了更复杂的分布模型来描述每个像素32阴影去除及三高斯模型简单的帧差值或均值-阈限方法在很多应川中都面临一个很严重的问题:阴影。在某些光照条件下,移动物体产生的阴影相对背景具有非常显著的差别从而被识别成了前景,有时这些阴影比物体本身还人,并且导致原本独立的运动物体连接在一起无法分割。一种简单的思路是放弃使用灰度值进行背景建模,而采用颜色信息从而将阴影的移动去除掉。这类方法需要一条假设:移动目标投射到路面上的阴影主要改变了该位置的亮度而对色度没有大的影响°。部分情况下确实可以承认该假设。在不同的颜色模型下有不同提取亮度信息的方式。在HSV等空间中这个任务尤为简单,因为亮度本身就是一个独立的分量,所以在该分量以外的维度上进行背景建模与差分就能消除一定的阴影。如果在常用的RGB颜色空间中,亮度的提取就稍微复杂倒。Figure4RGB空间中的亮度与色度3类似标准差的作用,但是计算更快捷。C.R. Wren, A Azarbayejani, T. Darrell, and A P Pentland "pfinder Real-Time Tracking of the human body lEEETrans. Pattern Analysis and Machine Intelligence, vol. 19, no. 7, pp. 780-785, July 1997J.M. Alvarez, A Lopez, and r Baldrich, " Illuminant-Invariant Model-Based Road Segmentation",IEEE IntelligentVehicles Symposium, June 20085将一个像素的颜色值在RGB三维空间中表示( Figure4),背景建模就是确定了穿过原点的一条色度直线,所有在该直线上的颜色都认为是背景色。当前颜色相对参考颜色(背景)的亮度分量a1由最小化下式给出:φ(a;)=(l1-c1E)2a2表示该像素当前值相对参考背景色的相对亮度。如果其值为1则代表亮度相同,大于1代表比背景更亮,小于1代表比背景更培当前颜色到色度直线的垂直距离就表小色度的偏离:CD1=‖l2-aE1‖(3)利用色度与亮度的偏离值就可以将新的颜色值分为四个类别Forground: CDi> IcD or ai> Alow, elseM()Back ground:aτa2else(4)ShadowelseHighlightotherwise其中CD2与a分别代表均一化之后的两个偏离分量。这些方强烈依赖于上面提到的假设:阴影仅仅改变背景亮度而不改变色度。但是这个假设实际上并不总是有效,很多时候还需要更复杂的方法达到去除阴影,鉴别真正移动目标的目的。三高斯模型4就是针对去除阴影的考虑提出的。这个模型中采用三个高斯分布相结合( Figure5)对各像素进行建模。三个高斯成分分别为:道路、运动前景及阴影。这三个成分组合成为了完整的混合模型(b)和印甲品f叫intersity valeFigure5三个高斯分布相结合6此方法之后面临的主要问题是如何通过一定时间的学习获得每个高斯分布的参数从而建立有效的模型。相关文献中提出采用EM算法( ExpectationMaximization Algorithm)进行学习。EM算法是一个迭代的算法,通过有限步的迭代就能够获得较好的模型估计。一般而言,为了从一个数据集中获得该数据集满足的混合分布,可以采用最大后验概率估计的方法进行估计,但是这样的方法需要关于每个数据分类的信息(即每个值属于哪个类别)。然而在移动目标检测过程中往往都是无监督的学习从而不可能获得这样的分类信息,而只能自动设定个预先的分类,然后通过迭代不断改进,这就是EM算法的基本思路另外,由于各点的数据是不断改变的,于是采川原始的EM算法对每一帧都进行重复的迭代既不必要也不现实,可以采用EM算法的一个变种:增量EM算法33高斯混合模型(GMM331背景建虞在某些场景之下,采用三个高斯分布的混合模型仍然无法有效地描述复杂的现实环境,于是髙斯混合模型四被提出了。高髙斯混合模型采用类似3.2中三个髙斯模型的思路,希望采用多个高斯分布相结合的方法来描述环境。与前面的模型不同的是,现在高斯分布的个数不是固定的一个或三个了,而是随着各个像素实际的需要动态地进行设定。另外该方法也放弃采用费时的EM算法而采用更快捷的方式进行背景建模与更新。假设已知像素(xo,y)在过去一段时间中的颜色值或灰度值{X1,…,X}={(xo,yo,):1≤i≤t(5)若由K个高斯分布的高斯混合模型对该像素进行建模,则新观察到一个颜色值或灰度值的概率为P(x1)=)o*n(x,,E(6)在RGB等彩色空间中为了简化计算可以采用如下公式k,t7)A Dempster, N. Laird, and D. Rubin, "Maximum Likelihood from Incomplete Data via the EM algorithm", Journalof the Royal Statistical Society, pp. 1-38, 1977这个公式假设了各个颜色分量是相互独立的。尽管事实并不如此,但这样计算在保留充分的精确性的同时大大降低了计算复杂性。这样每个像素就采用κ个峰的髙斯混合模型完成了建模。剩余的问题同样是如何对模型中的各个参数进行估计,以及如何判别前景。3.3.2背景更新背景更新大致有这几个步骤:a.每一个新的值都与所有K个高斯分布进行匹配,直到找到充分吻合的分布(判断方式与均值-阈限方法类似)b.若新的值与所有K个分布都不接近,则将K个分布中权值最小的一个替换成一个新的分布,该分布以新的值为均值,并且具有很高的初始方差和很低的初始权重;C.若新的值与某个分布充分接近,则认为其属于该分布并更新各个分布的权值及参数Ort=(1-aOKt-1+aM(8)=(1-p)ut-1+p·X(9)=(1-p)21+p(X-1)(x-2)(10)here(kok(11)其中(8)式中Mkt对于匹配上的分布唯1,对于其他分布为0α表示适应性的强弱,α越大,给予新的值的权重越大,也就适应得越快;(9)式(10)式仅针对匹配上的分布,而其他分布的参数保持不表3.3.3前景检测运动前景的检测主要有以下几个步骤a.对所有的高斯分布按照ω/σ进行从大到小的排序;b.取前B个高斯分布,满足B= argminkT(12)k=其中T表示背景应该占的比重,如果T取得较小则类似于前面介绍的均值阈限模型,T取得较大则允许背景有更丰富的特性,如随风摆动的树叶或水面的波纹等等。C.如果当前出现的新的值并不符合这B个高斯分布,则认为是运动的前景,否则认为是背景。34非参数模型341背景建模为了能够更快速地适应变化的背景,并且保证对移动物体的敏感性,马里兰大学A. Elgammal等人提岀采用非参数的模型四对各个像素进行建模。该方法并不指定确切模型形式,而釆用核旳数来利用历史薮据建立模型。在釆用高斯核的情况下,一个颜色出现的概率’∑K(x-x∑∏1(13)2这样实际上就是对考虑范围内所有的历史值都建立一个高斯分布,并利用所有这些分布对当前值进行分析。由于高斯分布的假设,故(x1+1-x1)~N(0272),于是可以估计方差(14)0.68V2其中m是|x+1-xl的中位数。号外由于在这种方法下需要大量计算核函数的值,故可以预先计算出一定精度的核函数数据表,通过查表的方法大大加快计算的速度。实验表明这样的方法在一般的PC机上是可以达到实时的计算要求的。34.2减少错误检测为了降低由于局部抖动(如树叶抖动、摄像机抖动)带来的错误检测,该方法利用了一定的区域信息。原先的P(x1)现在改用Pm(x代替PN(t= maxyEN(x)Prix Byy(15)此处N(x)指该像索周围的一个小区域,B指像素y对应的背景模型。这样就充分降低了由于小范围抖动导致的错误检测。7该式成立仍然需要假设各个颜色分量相互独京。9该方法需要维护两个背景模型:长期模型及短期模型。其中短期的模型是为了能够快速适应变化的背景而提出的,仅利用相当短的一段历史值建立模型,另外该模型采用选择更新机制(仅对判定属于背景的值进行更新);长期的模型在相当长的时间内通过盲更新机制(对所有值进行更新)获得。两个模型判定结果的交集能够进一步降低错误的检测,但同时也去除了部分实际上是移动目标的部分。最终采用的策略为:所有由短期模型检测出来,并且与两个模型判定结果交集相邻的像素被视作运动的前景3.4.3去除阴景这个方法同样提到了去除阴影的问题( Figure6)采用RGB颜色模型的一个变种表示颜色:RBR+G+B·9=R+G+Bb=R+G+B′(16)s=RtG+B(17)令A为某个像素在一定时间内的取值,而定义B如下B={x1|x∈A≤≤阝(18)其含义就是该像素过去的背景取值中与当前值亮度接近的值的集合利用B中的值在(r,g)二维空间上进行上述的背景建模及前景检测,就能很有效地消除检测的阴影。Figure6非参数模型下的阴影去除4基于区域的移动目标检测从上面的介绍的方法来看,建立的背景模型越来越复杂:高斯分布的个数从一个到三个,再到K个,再到每个历史值各一个。这样的背景模型已经具有了高度的复杂性,但是在有些应用环境下效果仍然并不理想。反思一下这些方法的特点,仅仅利用各个像素的独立信息而没有考虑像素之间的关联性是键的原因。其实在3.42中采用方法实际上已经开始尝试以局部区域作为考虑问题的范围,
- 2020-12-03下载
- 积分：1
北航矩阵论学习笔记
北京航空航天大学矩阵理论学习笔记，总结版，学霸总结，可以放心下载使用北京航空航天大学张京蕊工程系统工程系月录§0补充公式§1 Jordan(约当)标准形(简介)§2线性变换与矩阵.24§3欧式空间与QR分解.48§4常用矩阵分解●鲁D●●·,,,,,74§5范数与级数.81§6广义逆A..97§7直积拉直及应用105矩阵理论A笔记北京航空航天大学张京蕊工程系统工程系§0补充公式令A=(a)mxn∈C",风x)=4o+a1x0定义f(4)=a0+a1A+…+amAm,其中I=l若g(x)=bo+b1x+…+bkx,(x)g(x)=g(x)(x),则f(4)“g(A)=g(A)f(A)分块公式A10令A,A1,A2为方阵00 A(2)f(A),fx)为多项式令A=,A1,4为方阵AO(2)f(4)相似关系:A∽B,(PAP=B)则:(1)(P1AP)=P!AP,(k=0,1,2,(2)f(PAP)=PfA)P,f(x)为多项式许尔公式( schur):每个复方阼,A-(a)nxm都相似丁上三角形。共113页矩阵理论A笔记第1页北京航空航天大学张京蕊工程系统工程系即:P-1AP=其中41,,的次序可以任意指定Pf:用归纳法n=1时成立可以设为(n=1阶方阵成立对于n阶方阵A=(an)2×n设特征值为A,…,n取为对应的特征向量,记为a1≠0,A1=1ax1把a1扩展为可逆方阵Q=(a1,02,xn)22e又:g(a,a,…,.)=(Qa,Qba2,,Qan)其中Qe1,aQ0Q4=QA(a1a2,…an)2-I(Aa,,AAQ=(Qa,、+)…,(*)其中A1为(n-1所阶0人:0 A为由假设,对于A1必有(n-1)阶P,可推出PAPEg知n阶方阵A,适合A=0,则A+|=1共113页矩阵理论A笔记第2页北京航空航天大学张京蕊工程系统工程系Pf:A=0→任意特征值A=0→>=0即全体特征值为00,,00由需要P1AP=→PAP+7=1pAP+PP|=P(4+1)P=14+1→A+1=-1注(1)若AB(相似),则AB有相同特征值A,可引入记号:谱集(4)={2,2,…,λ}(全体特征值,含重复)A∽B→o()=o(B)(2)A∽B→1-A=1-B-(2-4元一2)…(-n),特征多项式PAP=B=A-A=p(1-A)P=A-B引理:若A0A2,则M-A|-|M1-4|-1-A1|2-A2→ar(4)=o(A)∪a(42k+1,Ak-2,…n1f(x2)设B,f(x)为多项式,则f(B)=o f(,)引理:若n阶方阵A的谱集(4)=1,42,…},则)的全体特社值为)2,…,),x)为多项式Pf:由许尔定理,A∽B→f(4)∽f(B)f(x)的全体特征值为(A1)(42),,()},fx)为多项式例如:4为A的特征值→x为4的特征值。(x)=x)共113页矩阵理论A笔记第3页北京航空航天大学张京蕊工程系统工程系引理:令B,f(x)=x-B|=(x-41)(x-12)….(x-n)则fB)=(B-1D(B-21)…(B-A1D=0Pf:当n=2时,B=0x2f(x)=(x-1)(x-2)000→f(B)-(B-41)(B-21)(2-元)0(00∴得证★ Cayley公式:设n阶方阵A的特征多项式为f(x)=|x-A|=a+a1x+…,+x则f4)=anl+a14+…,+4=0Pf:由许尔PAP=B=→P(4)P=fp3P)=f(B)=0(引理)定义若多项式x)使(4)=0,则称(x)为A的个零化式结论方阵A的特征多项式)=1x1-4为A的一个零化式g特征多项式fx)=x2可知:f(A)=A2+1=+I=00-1Hx)=|xI-A|=(x-)(x+i,(i=√-1,t2=-1)f(A)=(A-i)(4+i1=0也可取P=则PPAP=,对角形共113页矩阵理论A笔记第4页北京航空航天大学张京蕊工程系统工程系g:知A则A"=0Onxn由 Cayley特征多项式:f(x)=x"→f(4)=4"=0Ex 1. A=求P使得PP为对角阵,并验证 Cayley定理2.A=cd/,求fx)=x1-4验证f4)-0补充知识( schur公式、 Cayley公式)应用由A"=-(a0I+a1A+1A·AanA+a142+…+a.,A把①代入②→Am1=(-)+(+)4+…+(+)41可知:任何和(m≥n)都可写成,4,,A的线性组合任何多项式g(A),可写成lA,…,4的组合。Fg:若A|≠0,fx)=xI-A|=a0+a1x+…+x",ao=|-A|≠则A可用A的多项式表示∵a1A+a242+…+an21A-+A"--a072A(a1+a24+…+an-142+A)Aa1+…+an1A"2+A-1零化式定义:若g(x)=b+b1x+…+bnx,使得g(4)=bn+b14+…+bn4m=0,称g(x)为方阵A的零化式注:方阵A的零化式有无穷多个∴取特征多项式x)则4)=0任取式M(x),f(A(4)=0→f(x)(x)也是零化式极小式定义:在方阵A的零化式集合中,去次数最小的且首项系数为1的零化式m(x),称它为A的极小式共113页矩阵理论A笔记第5页北京航空航天大学张京蕊工程系统工程系注:极小式唯一性质:①极小式m(x)必为特征多项式fx)=|xI-A的因式。②特征多项式fx)=|x1-A的每个单因子(x-4)也是极小式的因子)f(x)=|x1-4=(x-x)(x-2)则极小式m(x)=(x-x)(x-2)y…(x-,),且1≤l1≤m1,1≤l2≤m2,…,1≤l≤n,41,A2…,n互不相同210EgA=020,B=020,求极小式mA(),m()解:(1)|xI-A|=(x-2)(x-1)极小式为:(x-2)(x-1)或(x-2)(x-1)计算:(4-2/)4-1)=000010k≠000000∴极小式为m4(x)=(x-2)2(x-1)(2)|-B|-=(x-2)2(x-1)00000计算:(B-2)B-1)=000010=000-1八000∴极小式为m(x)=(x-2)(x-1)Eg求下列极小式m(x)4604-60(1)A=-3-50,(2)B=2-303-6100210(3)C,(4)D=000010002000解:(1)特征多项式|x7-A|-(x-1)(x+2)极小式为:(x-1)(x+2)或(x-1)(x+2)共113页矩阵理论A笔记第6页北京航空航天大学张京蕊工程系统工程系验证:(4-D(A+2D=0∴极小式为m(x)-(x-1)(x+2)(3)解法如下引理:A1,A2的极小式为m1(x),m2(x)A10的极小式m(x)等丁m1(x),m2(x)的最小公倍式0A2(此引力可推广到A1,42,43)0100极小式为(x-1)2,0010极小式为(x-1)0取最小公倍式(x-1)2为C的极小式。460(5)F-/40,A1=020|,A00 A0123-6101O引理;设D=,则D的极小式m(x)O验证:先证D的性质(右推公式)设A-(an)xn=(a1,2,…,n)则有AD=(0,01,a2,,.m1)AD2=(0,0,∞1,,x12)AD=(0,….0.,a1,,axn)单位向量技巧:∵AI=A(en,e2…,en)=(el,leAen)=A=(a1, a2,. a,)∴Ae1=01,Ae2=(2,.,A→AD=A(0,e1,e2,…,en-1)=(0,a1,a2…,an-)同理AD2=(AD)D=(0,.01,.12)可知:D-1-(D)Dy2-(0.,0,,e1)≠0D"=(D)D1=0,而特征多项式(x)=|x1-D|=x,极小式为某个x共113页矩阵理论A笔记第7页
- 2020-12-09下载
- 积分：1
