一类可修复计算机系统的适定性研究

本文通过数学模型中的微积分表示修复计算机系统和线性算子半群理论研究一类可修复计算机系统的适定性,希望对读者有所帮助。     

一类可修复计算机系统的稳定性和可靠性

研究一类可修复计算机系统模型,利用常微分方程的稳定性理论,证明了系统的稳定性.同时,在假定故障率和修复率均为常数的前提下,讨论了系统的可靠性.     

一类可修复计算机系统的数学模型

利用增补变量方法,将可修复计算机系统的状态转移过程转换成一个广义Markov过程,并在此基础上建立系统的数学模型.与此同时,根据系统分析的需要,将系统模型转换成为Banach空间上的抽象Cauchy问题.     

一类可修复计算机系统的数值计算

研究了一类可修复计算机系统模型.通过选取系统故障修复率作为离散对象,得到了系统的半离散化模型.在假设故障率和修复率均为常数的前提下,利用数值计算的方法得到了系统模型的数值解.     

可修复系统中具有耗散算子的抽象Cauchy问题解的适定性

研究了耗散算子及其共轭算子的性质,给出了具有耗散算子的抽象Cauchy问题解的适定性条件,指出此类问题解的适定性与耗散算子的共轭算子的预解式存在与否密切相关.     

一类带有断接部件影响的两部件可修复系统的适定性

研究了一类带有断接部件影响的两相同部件串联可修系统的适定性问题。将系统方程组等价地写成一个Banach空间中的抽象Cauchy问题,利用Banach空间上的线性算子半群理论及Banach格上的正线性算子半群理论,证明了该系统的适定性及动态正解的存在性,同时,还证明了系统具有正保守性质。     

四部件冗余可修复系统解的适定性

研究四部件冗余可修复系统,利用由该系统所决定的算子A＋B生成的Banahch空间中的正压缩C半群,给出了系统解的适定性证明。     

一类非齐次抽象Cauchy问题的适定性

本文讨论了一类抽象Cauchy问题的适定性，首先我们证明了解的唯一性，接着给出了解的存在性的一些充要条件和充分条件；最后还讨论了强解的存在性条件。     

一类时滞方程的适定性

通过设立半群的方法，研究了形如：x＇（t）=A0x（t）＋∑i=1^pAix（t—hi），t≥0的一类时滞方程的解的适定性，其中A0是Banach空间X上解析半群{e^A0t，t≥0}的无穷小生成元，Ai（i=1，2，…，p）均为（γ—A0）^α-相对有界线性算子，其中0〈α〈1，γ〉ω0（A0）为解析半群{e^A0t，t≥0}的增长界。     

一类简化大气运动方程组初值问题的适定性

该文以分层理论为基础给出了一类简化大气运动方程组初值问题适定的充要条件，以及初值问题不适定的一个必要条件，并给出了在t=0时初值问题的不适定例子．     

可修复计算机系统算子的半群特征

研究一类可修复计算机系统模型,利用线性算子半群理论讨论系统算子的半群特征.结果表明,系统算子具有闭性、稠定性和耗散性.     

基于软硬件特性的可修复计算机系统半稳定性

本文利用增补变量的方法建立了一个由硬件和软件串联组成的计算机系统数学模型;在该系统非负弱解存在的基础上,利用常微分方程理论,进一步讨论该系统解的半稳定性。     

向量马氏过程方法在可修系统分析中的应用

为了分析一般可修系统的运行特征，第一作者在８０年代初提出了一种强有力的向量马氏过程方法．此文用一个没有再生点的可修系统为例详细说明了该法的步骤，并指出了研究一般可修系统逼近的重要性．文中还对经典可修系统的结果作了自纳，对新兴可修系统的概貌作了描述．     

单部件可修系统解的渐近稳定性

运用泛函分析的方法,通过分析系统主算子的谱特征,给出了单部件可修系统解的渐近稳定性证明。     

一类可修复人机系统的最优控制

利用范数指标泛函作为衡量控制变量的标准, 采用极小化序列, 解决了一类可修复人机系统解的最优控制问题, 得到了系统的最优控制元, 使系统的稳定性和利用效率得到较大提升.     

有关闭原则的两部件串联可修系统的可靠性分析

本文提出了广义关闭原则,包括单向和双向关闭原则.在这一原则下,讨论了两部件串联可修系统.其中假定部件1的寿命服从Erlang 分布,其余为一般分布,利用补充变量的方法,我们得到系统的瞬态可用度和失效频度的Laplace 变换,以及稳态可用度和失效频度的表示,其结果不仅推广了文献[1]的工作,并从中得到文献[2]的全部结论.     

随机Petri网对可修复系统的建模和分析

为分析工程中较大的可修复系统的工作状态、可靠性和修理工的工作强度，提出了一类由不同机器和具有混合技能的不同维修人员所组成的可修复系统，引进了状态转移是Markov过程的随机Petri网，对系统进行建模，通过实例分析系统的状态空间、各状态在稳态下的期望频率、期望持续时间、系统的可靠性和维修人员的工作强度，分析了随机C／E网和随机P／T的适用范围．与传统的状态空间法相比较，在确定可修复系统的状态空间、分析状态间的逻辑关系和系统的动态过程中，随机Petri网具有显著的有效性和优越性．     

修理设备可修且修理有延误的可修排队系统的等待时间

考虑服务台修理有延迟的修理设备可以更换的M/G/1可修排队系统.在假定服务台寿命服从指数分布、服务台失效后的修理延迟时间和修理时间以及修理设备失效后的更换时间均服从一般分布、修理设备的寿命服从负指数分布的条件下,通过引入＂广义修理时间＂和＂广义服务时间＂的概念,研究了该系统顾客的等待时间和逗留时间分布,得到了一系列重要的推论.