M／M^B／1排队模型的时间依赖解的存在唯一性.pdfVIP

维普资讯 第2卷第3期 应 用泛 函分析学报 Vo1．2 No．3 2000年 9月 ACTA ANAIYSISFUNCT10NAIISAPPI1CATA September，2000 @ z8％~g ／ ／排队模型的时间依赖解的存在唯一性 ， 艾尼·号甫尔一，张华孝 02z6 摘要 ： 应用线性算于的积分半群理论证明M,／M~／1排队模型的时间依赖解 的存在唯一性 ．其 趺推~qIM ／M．／I 排 队模 型 的时 间依赖解 的存在 唯一性 关键词：墨芝±茎；捧队模型!壁璺韭塑竖 中国分类号 ： O1756}O17792 ／1B『／f摊以模型， 引 言 排 沈 存臣-~t-fi， M ／ ／1排 队模型是在排 队论 中重要模型之一 ，它在通 信系统、交通与运输 系统、管理 系统等方 面有广 泛 的应 用．但 是以往 的研究 中排 队论学者在如下 的假设之 下 limp ()一 P㈨ ，limp ，t)一 P ]()， ≥ 0． ( ) 研 究 了M ／M／1排 队模型 的静态解 及其 陛质 ．最近 ，随着 通信 网络 的发展 ，特别是异 步 转移模 式 (ATM)的发展和广 泛应用 ，使 人们更深 刻地认 识到进行动态分析的重要 性和紧迫 性一 “．到 目前为止 ，从研 究 时间依赖解 出发讨论排 队问题并且排 队论 中的 四个 数量指标方 面 的工作还很少． 假设 ()实际上包 含 以下两个假设 ： M ／埘 ／1排队模 型存在唯一的时间依赖解 pCx，)； (“) 极 限limp ，f)一P()存 在． (… ) 其 中 p(x，f)==(户。．。(￡)P 1( ，t)，P1．L( ，t)，… )，P ( )=： (户o． P ．1( )，P1．1( )，… )． 本文 费们应用线 性算子的积分半群理论证 明M ／M ／l排 队模 型 的时 间依赖解 的存在 唯一 性 ，即证 明假设 ( )的台理性． m ／m ／1排 队模 型可 以写 为 。。 ≠一一,tp。．。)+』户。．(，)d． (1) (^+ )户 ．1( ．t)， (2) ( + )户 1( ，f)+ ap 一1( ，f)， ≥ 1 (3) r 。．， 刖 卅 “ (4) 收稿 日期 200003—21 豳— — ■ 维普资讯 第 3期 艾尼 -吾甫尔等 ：M ／M “／1排 队模型的