排队论 第7章.ppt

对“后到先服务”的GI／M／c／∞排队系统，等待时间平稳分布的LS变换为下式所给定： 其中δ(s)为在 的条件下，方程 在个位圆|z|＜1内的惟一解，而 对“后到先服务”的GI／M／c／∞排队系统，在 时，平均等待时间为 对“后到先服务”的GI／M／c／∞排队系统，在 时，等待时间分布的LS变换为 其分布函数Wq（t）为 而平均等待时间为 其中pc表示系统中有c个顾客的平稳概率。 需要指出的是，从前面的讨论中看到，”先到先服务”、“随机服务”与“后到先服务”的GI／M／c／∞排队系统，在系统平衡的条件下，其顾客的平均等待时间都是一样的，而且M／M／c／∞排队系统，三种情形下顾客的等待时间分布也是一样的。 另外，还有许多各种规则下的特殊型排队系统，如成批到达旦成批服务(批量固定或变化)的排队系统、到达时刻依赖于队长的排队系统、输入不独立的排队系统。 假定到达是参数λ的Poisson流，空闲的服务台当且仅当等待的顾客数不小于k(k≥1为固定正整数)时才开始服务，每次同时服务k个人(同时开始服务，同时服务结束)，服务时间与到达间隔独立，并遵从参数为μ的负指数分布，而且系统中只有一个服务台，容量为无穷大，我们称这样的排队系统为成批服务的M／Mk／1／∞排队系统。 我们说系统在时刻t的状态N(t)＝j，若j＜k，则表示服务台空着(但系统未必没有顾客)、而有j个顾客正在等待；若j≥k，则表示有k个正在被服务，同时有j-k个顾客还在等待。令 则易知{ N(t)，t≥0}为一连续时间参数的马尔可夫过程， 可列出(t，t+Δt]内状态转移的方程组： 这里要注意：由于服务是以k人为一批来进行服务的，因此，每当服务完一次时，状态转移从k+j到j。 将上式移项后除以Δt，再令Δt→0，即得微分差分方程组： 根据马尔可夫过程的极限理论，极限 存在，与初始条件无关，而且或者pj=0（j≥0），或pj＞0（j≥0），且{ pj，j≥0}构成概率分布，令t→∞，得方程组： 假定 则所有pj＞0。 1、有优先权的 排队系统 有优先权的排队系统就是指将系统中的顾客分成若干类，并根据类的不同给予不同的服务优先的系统。考虑有两类顾客的情形：两类顾客独立地按参数为 和 的Poisson流到达，分别具有的服务分布为 和 。 我们假定第一类顾客有服务优先权，即若有第一类顾客在排队，则不对第二类顾客服务，当然，若第二类顾客正在接受服务时第一类顾客到了，则服务继续进行直至完成。 令 表示第 类顾客的平均等待时间，我们的目标就是计算 。 首先，注意到是否采用优先规则或采用什么样的优先规则，系统在任意时刻的总工作量是一样的（只要系统有顾客系统就在忙），因此，系统在有优先权规则下的工作量等于在FIFO模式下的工作量。而在FIFO模式下对 排队系统有： （7-18） 式（7-18）成立是因为独立的两个Poisson过程的组合仍是Poisson过程，且速率为两个分过程的速率之和。而服务分布 可以对两类顾客服务时间的条件化得到。 由此，由 排队系统的结果，有优先权的排队系统的工作量 为： 其中 有分布 。 记 及 表示任一顾客在队列中的服务和等待，它们在优先模型下是不独立的，这是因为关于 的知识会给予顾客类型的信息也即给予了我们 的信息。为此我们分别计算出系统类型1和类型2的平均工作量，记 为类型 的平均工作量，正如前面所讨论的，有： （7-19） 如果我们定义 则 表示类型 排队平均工作量， 表示类型 服务平均工作量。 现在我们准备计算 ，为此，首先考虑任一类型1顾客的到达情况， 我们有： 他的等待＝他到达时系统的类型1工作量+他到达时正接受服务的类型2工作量 两边取数学期望，得： （7-20） 由 ，再结合（7-18）～（7-20），解得： 注：①使 有限的条件是 ，它独立于类型1参数； （7-21） 要使 有限则有 ，因