具一组可修复设备的系统解的适定性和稳定性

研究具一组可修复设备的系统解的适定性和稳定性.使用泛函分析方法,特别是Banach空间上的线性算子理论和C_0半群理论,证明了系统解的适定性以及正解的存在性,证明了系统解的渐近稳定性,指数稳定性以及严格占优本征值的存在性,证实了实际问题中相关假设的合理性.     

具有热储备可修复平行系统本征值问题

针对具有热储备可修复平行系统模型,得出了一个本征值对应一个本征元的结论并证了除0本征值外还存在另外非零实本征值.     

两不同部件并联可修系统的本征值问题

研究了两不同部件并联可修系统的一个本征值对应一个本征向量的问题以及求解了该系统算子非零解的存在.     

两相同部件冷贮备可修系统解的定性分析

用强连续算子半群理论给出了两相同部件冷贮备可修系统动态非负解的唯一性证明，并证明了0是系统主算子的本征值，给出了0本征值对应的本征向量。     

一类人为错误可修复系统的指数稳定性分析

随着科学技术的发展,特别是电子产品和网络的运用,系统的可靠性分析变得日益重要.在Dhillon B S和Yang N F(1993)中通过增补变量的方法建立了这类系统的数学模型并进行研究.在此基础上进一步讨论系统解的渐进稳定性和指数稳定性,证明了系统算子在Bnacha空间中可以转化为C_0半群,0是系统算子的简单本征值,而且是系统在虚轴上唯一的谱点.此外本文还分析了在系统扰动前后系统算子解的基本谱,结果显示系统的动态解以指数稳定性趋向于系统的稳态解,通过maple作图发现系统稳定解有时候不一定趋向于系统的实际解,这对实际运用有重要的指导意义.     

一类冷贮备可修系统的指数稳定性

研究了修理工可延误休假的冷贮备可修系统.通过选取空间及定义算子,将模型方程转化成Banach空间中抽象的Cauchy问题,运用预解正算子和C_0半群理论证明了系统动态解的存在唯一性,并通过分析系统算子的谱分布,得出系统算子的严格占优本征值及近似本征值,进而得到系统的指数稳定性.     

关于开或闭模型的指数稳定性

讨论了系统解的渐进稳定性和指数稳定性,证明了系统在Banach空间中生成正的C_0-半群以及系统算子0本征值的存在性,系统算子的谱点均为于复平面的左半平面且在虚轴上除0外无谱,并通过分析系统本质谱界经过扰动后的变化,进一步表明在一定条件下,系统的动态解以指数形式收敛于系统的稳态解.     

两相同部件并联部分可修复系统的可靠性分析

用C_0半群理论,研究了一类两相同部件并联部分可修复系统解的存在惟一性及指数稳定性,并从本征向量的角度讨论了此系统的一些主要可靠性指标,给出了瞬态可用度的数值模拟.     

具有N个故障模型和一个储备部件的可修复系统的稳定性分析

讨论了一个储备部件和N个故障模型的可修复系统的稳定性.证明系统算子的谱点在复平面的左半平面,虚轴上的点除0点外都无谱,且0是系统算子的一个简单本征值.并由此得出系统模型非负时间依赖解趋于稳定解.     

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

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

A semigroup approach to the Gnedenko system with single vacation of a repairman

We investigate the Gnedenko system with one repairman who can take vacations. Our main focus is on the time asymptotic behaviour of the system. Using C ₀-semigroup theory for linear operators we first prove the well-posedness of the system and the existence of a unique positive dynamic solution given an initial value. Then by analysing the spectral distribution of the system operator and taking into account the irreducibility of the semigroup generated by the system operator we show that the dynamic solution converges strongly to the steady state solution. Thus we obtain asymptotic stability of the dynamic solution.     

Stability analysis of a new kind n-unit series repairable system

In this paper, we deal with a new model of an n-unit series repairable system, in which a concept of a repairman with multiple-delayed vacation is introduced and the impact on the system reliability due to a replaceable facility is also considered. This paper is devoted to studying the unique existence and stability of the system solution. C₀-semigroup theory is used to prove the existence of a unique nonnegative time-dependent solution of the system. Then by analyzing the spectra distribution of the system operator, we prove that the dynamic solution of the system asymptotically converges to the nonnegative steady-state solution which is the eigenfunction corresponding to eigenvalue 0 of the system operator. Furthermore, we discuss the exponential stability of the system in a special case. Some reliability indices of the system are also studied and the optimal vacation time is analyzed at the end of the paper.     

一类具有优化调整状态的供应链系统的稳定性分析

主要研究一类具有优化调整状态的供应链系统解的适定性问题,利用C_0-半群理论和谱分析的方法,得到了此系统存在惟一的时间依赖解,并且当时间趋于无穷时,该时间依赖解收敛于其稳态解,而其稳态解恰好是系统算子的0本征值对应的本征向量.     

一类串联可修复系统指数稳定性

运用泛函分析的方法和线性算子半群理论,证明了严格占优本征值的存在性,并通过分析系统本质谱界经过扰动后的变化,进一步表明在一定的条件下,系统的动态解的指数形式收敛于系统的稳态解.     

有两种可修复方法的复杂可修复系统的最优控制

研究了具有两种可修复方法的复杂可修复系统的最优控制问题,首先将此类系统方程转化为对应的Volterra积分方程的形式,然后利用算子半群理论证明了系统解的存在唯一性,再利用范数指标函数作为衡量控制变量的标准,研究有此类系统的最优控制问题,证明了对应的最优控制问题的解的存在唯一性.     

基于软硬件特性可修计算机系统非负弱解存在唯一性

讨论由有软件和硬件构成的串联可修计算机系统,利用可修计算机系统算子生成的Banach空间中的正压缩c0-半群的性质及泛函分析的方法,证明该系统具有唯一非负时间依赖弱解.     

Asymptotic behavior and finite element error estimates of Kelvin-Voigt viscoelastic fluid flow model

In this article, the convergence of the solution of the Kelvin-Voigt viscoelastic fluid flow model to its steady state solution with exponential rate is established under the uniqueness assumption. Then, a semidiscrete Galerkin method for spatial direction keeping time variable continuous is considered and asymptotic behavior of the semidiscrete solution is derived. Moreover, optimal error estimates are achieved for large time using steady state error estimates. Based on linearized backward Euler method, asymptotic behavior for the fully discrete solution is studied and optimal error estimates are derived for large time. All the results are even valid for κ→0, that is, when the Kelvin-Voigt model converges to the Navier-Stokes system. Finally, some numerical experiments are conducted to confirm our theoretical findings.     

Stationary Oberbeck–Boussinesq model of generalized Newtonian fluid governed by multivalued partial differential equations

A generalization of the Oberbeck–Boussinesq model consisting of a system of steady state multivalued partial differential equations for incompressible, generalized Newtonian of the p-power type, viscous flow coupled with the nonlinear heat equation is studied in a bounded domain. The existence of a weak solution is proved by combining the surjectivity method for operator inclusions and a fixed point technique.