由两个同型部件和一个修理设备组成的系统的主算子的谱

文章研究了由两个同型部件和一个修理设备组成的系统的主算子在左半复平面中的谱.在一定的条件下,该系统的主算子在左半复平面中的任何带形区域至多有有限多个特征值,且这些特征值的几何重数为1.该模型的主算子的共轭算子在左半复平面中的任何带形区域至多有有限多个特征值,且这些特征值的几何重数为1.0是该系统的主算子及其共轭算子的严...     

一类Banach空间中列紧集的描述

给出了B anach空间X={y∈R×L1[0,∞)×L1[0,∞)×…‖y‖=y0+∑n=1‖yn‖L1[0,∞)<∞}的子集是列紧集的充分必要条件.     

M/Mk,B/1算子的豫解集

首先运用Phillips定理和Fattorini定理证明M／M^k，^B／1排队模型概率瞬态解的存在唯一性，然后通过研究对应于M／M^k，^B／1排队模型的主算子的共轭算子的豫解集得到该主算子的豫解集：在虚轴上除了零点外其它所有点都属于该主算子的豫解集．     

排队模型的研究进展

根据近10多年来的研究成果介绍以补充变量方法建立的排队模型的动态分析．首先介绍问题的来源,其次介绍研究排队模型的泛函分析工具,然后以D．R．Cox在1955年建立的M／C／1排队模型为例介绍排队模型的适定性,解的渐近行为及排队队长等数量指标的渐近性质的研究方法．最后提出需要进一步研究的一些问题．     

一类可靠性模型时间依赖解的渐近性质

研究了带无穷多个部件的，由一个可靠机器，一个不可靠机器与一个缓冲库构成的系统解的渐近性质．先讨论了对应于该系统的主算子的谱特征并且得到了在虚轴上除了0点外其它所有点都属于该主算子的豫解集，0是该主算子及其共轭算子几何重数为1的特征值．然后将该结果与作者以前的结果结合起来推出该系统的时间依赖解当时刻趋向于无穷时趋向于该系统的稳态解．     

一类可靠性模型的适定性

研究由一个可靠机器，一个不可靠机器和一个缓冲库构成的生产线．首先对应于此系统的数学模型化为抽象Cauchy问题，然后运用C0-半群理论证明此模型存在唯一的非负解。     

一个C0-半群的特征值到本质增长界

本文证明第二种服务可选的M/M/1排队模型的主算子的点谱包含一个区间（-α,0）,α>0.此结果表明该主算子生成的C₀-半群不是紧算子,甚至不是最终紧算子.本文的结果与我们以前的结果合并后得到:（i）该C₀-半群的本质增长界为0.从而,该C₀-半群不是拟紧算子.（ii）该模型的时间依赖解不可能指数收敛于其稳态解.（iii）该C₀-半群的本质谱半径等于1.     

服务员强制休假的M/M/1排队模型的另一个特征值

研究服务员强制休假的M/M/1排队模型的主算子在左半复平面中的特征值,证明(λ-μ-b)-√(b+μ)2-3λ2-μb/2是该主算子的几何重数为1的特征值.     

正项级数在M/M/1重试排队模型的特征值研究中的应用

运用正项级数的有关知识证明:当(λ(α+λ)/(αβ)=1/4时,M/M/1重试排队模型的主算子在左半复平面中有不可数无穷多个特征值.     

一类两个相同部件并联的可修系统的适定性

用C0－半群理论证明一类两个相同部件并联可修系统的非负解的存在唯一性。