第十七章马氏链模型..doc

第十七章 马氏链模型 §1 随机过程的概念 一个随机试验的结果有多种可能性，在数学上用一个随机变量（或随机向量）来描述。在许多情况下，人们不仅需要对随机现象进行一次观测，而且要进行多次，甚至接连不断地观测它的变化过程。这就要研究无限多个，即一族随机变量。随机过程理论就是研究随机现象变化过程的概率规律性的。 定义1 设是一族随机变量，是一个实数集合，若对任意实数是一个随机变量，则称为随机过程。 称为参数集合，参数可以看作时间。的每一个可能取值称为随机过程的一个状态。其全体可能取值所构成的集合称为状态空间，记作。当参数集合为非负整数集时，随机过程又称随机序列。本章要介绍的马尔可夫链就是一类特殊的随机序列。 例1 在一条自动生产线上检验产品质量，每次取一个，“废品”记为1，“合格品”记为0。以表示第次检验结果，则是一个随机变量。不断检验，得到一列随机变量，记为。它是一个随机序列，其状态空间。 例2 在个商店联营出租照相机的业务中（顾客从其中一个商店租出，可以到个商店中的任意一个归还），规定一天为一个时间单位，“”表示“第天开始营业时照相机在第个商店”，。则是一个随机序列，其状态空间。 例3 统计某种商品在时刻的库存量，对于不同的，得到一族随机变量，是一个随机过程，状态空间，其中为最大库存量。 我们用一族分布函数来描述随机过程的统计规律。一般地，一个随机过程，对于任意正整数及中任意个元素相应的随机变量的联合分布函数记为 （1） 由于及的任意性，（1）式给出了一族分布函数。记为 称它为随机过程的有穷维分布函数族。它完整地描述了这一随机过程的统计规律性。 §2 马尔可夫链 2.1 马尔可夫链的定义 现实世界中有很多这样的现象：某一系统在已知现在情况的条件下，系统未来时刻的情况只与现在有关，而与过去的历史无直接关系。比如，研究一个商店的累计销售额，如果现在时刻的累计销售额已知，则未来某一时刻的累计销售额与现在时刻以前的任一时刻累计销售额无关。上节中的几个例子也均属此类。描述这类随机现象的数学模型称为马氏模型。 定义2 设是一个随机序列，状态空间为有限或可列集，对于任意的正整数，若，有 （2） 则称为一个马尔可夫链（简称马氏链），（2）式称为马氏性。 事实上，可以证明若等式（2）对于成立，则它对于任意的正整数也成立。因此，只要当时（2）式成立，就可以称随机序列具有马氏性，即是一个马尔可夫链。 定义3 设是一个马氏链。如果等式（2）右边的条件概率与无关，即 （3） 则称为时齐的马氏链。称为系统由状态经过个时间间隔（或步）转移到状态的转移概率。（3）称为时齐性。它的含义是：系统由状态到状态的转移概率只依赖于时间间隔的长短，与起始的时刻无关。本章介绍的马氏链假定都是时齐的，因此省略“时齐”二字。 2.2 转移概率矩阵及柯尔莫哥洛夫定理 对于一个马尔可夫链，称以步转移概率为元素的矩阵为马尔可夫链的步转移矩阵。当时，记称为马尔可夫链的一步转移矩阵，或简称转移矩阵。它们具有下列三个基本性质： （i）对一切，； （ii）对一切，； （iii）对一切，。 当实际问题可以用马尔可夫链来描述时，首先要确定它的状态空间及参数集合，然后确定它的一步转移概率。关于这一概率的确定，可以由问题的内在规律得到，也可以由过去经验给出，还可以根据观测数据来估计。 例4 某计算机机房的一台计算机经常出故障，研究者每隔15分钟观察一次计算机的运行状态，收集了24小时的数据（共作97次观察）。用1表示正常状态，用0表示不正常状态，所得的数据序列如下： 1110010011111110011110111111001111111110001101101 111011011010111101110111101111110011011111100111 解 设为第个时段的计算机状态，可以认为它是一个时齐马氏链，状态空间，编写如下Matlab程序： a1=1110010011111110011110111111001111111110001101101; a2=111011011010111101110111101111110011011111100111; a=[a1 a2]; f00=length(findstr(00,a)) f01=length(findstr(01,a)) f10=length(findstr(10,a)) f11=length(findstr(11,a)) 求得96次状态转移的情况是： ，8次； ，18次； ，18次； ，52次， 因此，一步转移概率可用频率近似地表示为 例5 设一随机系统状态空间，记录观测系统