计算机网络建模数学工具分析与比较.docVIP

计算机网络建模数学工具分析与比较 　　摘 要：论述了目前用于计算机网络建模的几种主要的数学工具，并且从网络建模和模型求解之间存在的矛盾角度出发对这几种数学工具进行了分析和比较。对研究计算机网络建模有一定的指导作用。? 　　关键词：计算机网络；网络建模；数学模型；随机变量；概率? 　　中图分类号：TP39文献标识码：A文章编号：1672-3198（2008）06-0321-01?? 　　 　　1 计算机网络的性能分析建模特点? 　　 　　计算机网络研究与应用的重要理论基础和支撑技术是性能分析。要对网络进行性能分析必须先对要分析的网络建立一个适当的模型，然后求出模型的各项性能指标，以便对系统进行性能分析。但是由于计算机网络具有下列特点:首先，计算机网络内部的任何一点上，基本数据单元的到达时间均为随机变量。其次，组成网络的各个单元之间相互作用，使得网络中的数据流存在很强的相关性。因此既随机又相关是计算机网络中的数据流具有的特点。而网络中数据流的本质和特点又是我们在对计算机网络进行性能分析时所关心的。? 　　在以往的性能分析工作中，一般都采用先建立网络的分析模型，通过模型求解得出精确解或者是数值解;然后，再用模拟或者采用构造系统测量的方法来验证得出的结果。但是在通过分析进行性能评价的过程中，给系统建模和对模型求解一直是一对相互矛盾的过程。建立的系统模型越精确，则模型必然就越复杂，相应的求解就越困难;反之，模型越简单，则求解就越容易，但结果的精确性也就越差。因此，我们在对计算机网络进行性能分析的过程中，始终考虑系统建模和模型求解之间的矛盾，兼顾建模的精确性和求解的可行性。因此，也将从这个角度来比较计算机网络建模的各种数学工具。? 　　 　　2 建立随机模型分析的方法? 　　 　　2.1随机过程概述? 　　随机过程是定义在给定的概率空间上的一族随机变量{X(t)，t T}，T表示参数空间。随机变量x(t)是定义在概率空间上的实函数，x(t)所取的值表示随机过程在时刻t的状态，函数所有可能值的集合构成了随机过程的状态空间。随机变量的概率描述可以由概率分布函数?F(X；t)=P{X（t ）＜x}和???率密度函数f（x；t）=?F（x;t）?x来表示。若考虑离散状态的随机过程，则概率分布函数为:P???x(t)（k）=P{ X（t）=k}，?∑allkP???x(t)（k）=1? 。包含n个随机变量X?i（i=1，2.....，n）的随机变量X的概率模型可由如下的单个随机变量的联随机变量的概率特征的重要性在于它是一种将包含随机变量本身的问题形式化的工具，可以通过在任意时刻抽取任意数目的随机变量组成的任何随机向量来刻画一个随机过程的完整概率特征。但是从求解的角度来说这是不可能实现的。? 　　马尔可夫过程(Markovproeess)是一类重要的随机过程。它的状态空间是有限的或是可数有限的，经过一段时间系统从一个状态转移到另一个状态的这种进程只依赖于当前出发时的状态而与以前的历史无关。这种特性称为马尔可夫特性，也就是也就是说马尔可夫过程具有无记忆的特点。马尔可夫过程广泛的应用于离散事件系统，具有离散状态空间的马尔可夫过程叫做马尔可夫链，如果时间是连续的，则称为连续时间马尔可夫链。? 　　如何恰当的定义系统的状态是直接在连续时间马尔可夫链的层次上建模存在的主要困难。为了解决这个问题，又有一些更为抽象的概率模型被提了出来。? 　　2.2排队模型理论? 　　排队模型作为运筹学研究的一种有力手段，在计算机网络性能分析中占有相当重要的地位，它是在随机过程基础之上发展起来的一种数学方法。? 　　在现实生活中，排队现象是随处可见的。因为资源总是有限的，而对资源的需求则是随机的，因此从排队现象中得到抽象的物理模型，并继而建立数学模型的一整套理论就是所谓的排队论了。典型的排队系统如图所示: ? 　　 　　从上面的图中可以看出队列和服务员是组成排队系统的两个基本要素。使用排队模型对计算机网络进行建模时，服务员通常是由现实对象系统中的某一个独立的功能部件(如:节点机、终端、线路或者是某一层次上的通信协议)所抽象出来的;而队列所描述的是在现实对象系统中所有待处理的对象(通常称为顾客)之间的序列关系。由于在现实系统中待处理对象是随机发生的，因此它们到达队列的分布可以用概率分布来刻画，通常假定顾客到达或到达时间的间隔为相互独立的且遵从同一分布的随机变量。? 　　排队模型和马尔可夫链之间存在着密切的联系。通常的系统并不是孤立的排队，实际上我们经常遇到多个互连排队的问题如顾客流的分开与合并等。而单个的排队模型则是通过采用较为复杂的到达时间间隔和服务时间分布的概率密度函数来刻画现实对象系统，这样就需要引入多个服务员或者引入依赖于负载的服