3.离散系统仿真基础.pptVIP

3.离散系统仿真基础 离散事件动态系统(DEDS: Discrete Event Dynamic System)是指受事件驱动、系统状态跳跃式变化、系统状态迁移发生在一串离散时间点上的动态系统。  3.1 术语介绍 系统——按照某些规律结合起来的，互相作 用、相互依存的所有元素的集合。 实体——是对实际系统构成仿真模型所必须 的、不可略去的各种系统（元素）的抽象。 （实体）属性——能描述该实体状态的一些量。它们可以是时间的函数，也可以不随时 间变化。 系统状态——系统中全部实体的属性在某时刻t 所取量值的集合S(t)定义为“系统状态”。 事件——当t在T上按某种序列{t1,t2,…}取值的过程中，系统状态发生了变化，就定义系统发生了某一“事件”。并把此时的ti值定义为“事件时刻”。 活动——任何引起系统状态改变的过程称为“活动”。因此“活动”的结果使系统发生“事件”。而两个相邻“事件时刻”，可以看成是某一“活动”的过程。 离散系统按照时间和事件关系的分类 : 时间离散——系统本身可能连续，但只在一些特定的时刻，即T={ t1,t2,…}上被考察。通常为了方便，各时间间隔选定为整常数。 时间连续而有离散事件——这时，系统状态的变化，即事件时刻是不连续的，跳跃式的。 离散系统例子 不同实体可以分成两类： 静态实体——这类实体在系统中往往处于被动地位。它们为动态实体提供服务。因而起设备作用。描述这类实体的最常见的属性有：忙、闲、数量、地点、速度、设备号、服务时间等。 动态实体——这类实体在系统中总是要求得到某些设备的服务。在系统的运行中，它们不断得以某种到达率“生成”。当从某一设备得到服务后，又流向其他设备以求服务。 系统环境——能对系统产生影响的，属于系统 以外的元素集合。 仿真目的——指仿真者希望通过仿真所获取系 统的哪些性能，信息。 仿真模型——由系统数学模型根据仿真工具（语言）的特点，进行必要的结构变换，建立的合适算法。 对同一系统，仿真的目的不同，所建的模型也将不同。 3.2 排队系统 在日常生活中，人们常常会见到各种各样的服务系统。例如：到食堂去买饭，炊事员和买饭人员构成一个服务系统；在公共汽车服务系统，由汽车、乘客和车站组成。服务系统的主要特征是出现排队。因此也称其为“排队系统”。 用于研究排队系统的理论基础是“排队论” 排队论最早由A. K. Erlang 于1918 年提出,在管理通讯和各类服务系统中有着广泛的应用,但是采用排队论方法来为DEDS 建模服务却是近二十年来的事。以排队论为基础的网络模型是离散事件系统仿真中最常用的模型。 随机排队系统的三个组成部分： 到达模式——指含个类型的动态实体按怎样的规律到达。 服务机构——指同一时刻有多少服务设备可以接纳动态实体；对它们的服务需要多少时间。 排队规则——到达的动态实体将按怎样的次序接受服务。 离散仿真要解决的基本问题 如何通过已知的到达模式和服务时间的概率分布，研究排队系统的队列长度和服务设备“忙”或“闲”的程度，就是离散仿真要解决的基本问题。 几种常见的排队系统的结构： 3.3 到达模式 确定型到达模式——顾客有规则地按照一定的间隔时间到达。 泊松到达模式——满足4个条件 平稳性：在[a, a+t]时间内有k个顾客到来的概率与a无关，只与t, k有关。记此概率为：Vk(t)——在t时间间隔内到达k个顾客的概率。(P(k,λt)) 无后效性：不相交区间内到达的顾客数是相互独立的。[t1,t2]到达数与[t0,t1]的到达数无关。 普通性：令ψ(t)表示在长度为t的区间内至少到达两个顾客的概率，则ψ(t)=0 当t-0； 有限性：在任意有限时间区间内到达有限个顾客的概率之和为1。 其中λ0为常数。令第i个顾客到达的时刻为τi(I=1,2,…)，τ1=0，且ti=τi-τi-1（i=1,2,…），则顾客相继到达的间隔t是相互独立相同分布的。其到达间隔的分布为指数分布。 指数分布： 泊松分布到达模式实际上是指：到达间隔时间为指数分布的到达模式。 平均到达间隔时间Ta——在考虑模型的总时间 T中，共到达了n个“顾客”的情况下的比值 T/n。 平均到达率λ——单位时间内到达的“顾客” 数。λ=1/Ta。 到达间隔的分布函数A0(t)——到达间隔时间大 于t的概率。 A0(t) 1 F (t) A0(t)