一类串联动态修复系统的适定性

本文讨论了一类串联动态修复系统的数学模型 ,用泛函分析中 C0 半群的方法证明了该系统的非负解的存在唯一性 ,并且进一步在一定条件下给出了其解是半稳定的     

The necessary and sufficient conditions for the global stability of type- Lotka-Volterra system

This paper provides necessary and sufficient conditions for the type- Lotka-Volterra system to have a globally asymptotically stable positive steady state. The generalization of such a result is given.

     

The spectral analysis and exponential stability of a bi‐directional coupled wave‐ODE system

In this paper, an unstable linear time invariant (LTI) ODE system is stabilized exponentially by the PDE compensato—a wave equation with Kelvin‐Voigt (K‐V) damping. Direct feedback connections between the ODE system and wave equation are established: The velocity of the wave equation enters the ODE through the variable v_t(1,t); meanwhile, the output of the ODE is fluxed into the wave equation. It is found that the spectrum of the system operator is composed of two parts: point spectrum and continuous spectrum. The continuous spectrum consists of an isolated point , and there are two branches of asymptotic eigenvalues: the first branch approaches to , and the other branch tends to ?∞. It is shown that there is a sequence of generalized eigenfunctions, which forms a Riesz basis for the Hilbert state space. As a consequence, the spectrum‐determined growth condition and exponential stability of the system are concluded.     

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.     

具有带临界和非临界故障的可修k/N:G冗余表决系统研究中出现的投影算子的表达式及其应用(英文)

当修复率为常数时通过研究具有带临界和非临界故障的可修k/N:G冗余表决系统研究中出现的投影算子的表达式得到该系统的时间依赖解指数收敛于该系统的稳态解.     

Transfer functions of regular linear systems Part II: The system operator and the Lax-Phillips semigroup

This paper is a sequel to a paper by the second author on regular linear systems (1994), referred to here as ``Part I'. We introduce the system operator of a well-posed linear system, which for a finite-dimensional system described by , would be the -dependent matrix . In the general case, is an unbounded operator, and we show that it can be split into four blocks, as in the finite-dimensional case, but the splitting is not unique (the upper row consists of the uniquely determined blocks and , as in the finite-dimensional case, but the lower row is more problematic). For weakly regular systems (which are introduced and studied here), there exists a special splitting of where the right lower block is the feedthrough operator of the system. Using , we give representation theorems which generalize those from Part I to well-posed linear systems and also to the situation when the ``initial time' is . We also introduce the Lax-Phillips semigroup induced by a well-posed linear system, which is in fact an alternative representation of a system, used in scattering theory. Our concept of a Lax-Phillips semigroup differs in several respects from the classical one, for example, by allowing an index which determines an exponential weight in the input and output spaces. This index allows us to characterize the spectrum of and also the points where is not invertible, in terms of the spectrum of the generator of (for various values of ). The system is dissipative if and only if (with index zero) is a contraction semigroup.

     

On the spectral analysis of many-body systems

We describe the essential spectrum and prove the Mourre estimate for quantum particle systems interacting through k-body forces and creation-annihilation processes which do not preserve the number of particles. For this we compute the “Hamiltonian algebra” of the system, i.e. the C^∗-algebra C generated by the Hamiltonians we want to study, and show that, as in the N-body case, it is graded by a semilattice. Hilbert C^∗-modules graded by semilattices are involved in the construction of C. For example, if we start with an N-body system whose Hamiltonian algebra is CN and then we add field type couplings between subsystems, then the many-body Hamiltonian algebra C is the imprimitivity algebra of a graded Hilbert CN-module.     

On the spectral analysis of quantum field Hamiltonians

We define C^∗-algebras on a Fock space such that the Hamiltonians of quantum field models with positive mass are affiliated to them. We describe the quotient of such algebras with respect to the ideal of compact operators and deduce consequences in the spectral theory of these Hamiltonians: we compute their essential spectrum and give a systematic procedure for proving the Mourre estimate.     

Exponential Stability of Semigroups Related to Operator Models in Mechanics

In this paper, we consider equations of the form , where is a function with values in the Hilbert space , the operator B is symmetric, and the operator A is uniformly positive and self-adjoint in . The linear operator generating the C ₀-semigroup in the energy space is associated with this equation. We prove that this semigroup is exponentially stable if the operator B is uniformly positive and the operator A dominates B in the sense of quadratic forms.     

基础R0-代数的性质及在L*系统中的应用

研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相关的R₀-代数,提出了基础R₀-代数的观点并讨论了其中的一些性质,在将L^*系统中的推演证明转化为相应的R₀-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了L^*系统中的模糊演绎定理。     

Discrete-time analysis of the GI/G/1 system with Bernoulli retrials: An algorithmic approach

In this paper, we show that the discrete GI/G/1 system with Bernoulli retrials can be analyzed as a level-dependent QBD process with infinite blocks; these blocks are finite when both the inter-arrival and service times have finite supports. The resulting QBD has a special structure which makes it convenient to analyze by the Matrix-analytic method (MAM). By representing both the inter-arrival and service times using a Markov chain based approach we are able to use the tools for phase type distributions in our model. Secondly, the resulting phase type distributions have additional structures which we exploit in the development of the algorithmic approach. The final working model approximates the level-dependent Markov chain with a level independent Markov chain that has a large set of boundaries. This allows us to use the modified matrix-geometric method to analyze the problem. A key task is selecting the level at which this level independence should begin. A procedure for this selection process is presented and then the distribution of the number of jobs in the orbit is obtained. Numerical examples are presented to demonstrate how this method works.     

Stability analysis of a complex standby system with constant waiting and different repairman criteria incorporating environmental failure

In this paper we investigate the solution of a complex standby system with constant waiting and different repairman criteria incorporating environmental failure. By using the method of functional analysis, especially, the _C0$C_0$ semigroup theory of bounded linear operators on Banach space, we prove the well-posedness and the existence of positive solution of the system. Under some appropriate hypothesis, we prove that the dynamic solution of the system converges its steady state in a stronger sense.     

Perturbation of the trigonometric system in L 1(0, π)

In this paper, we study a special perturbation of the function system obtained from the Fejér kernel. It is shown how this relates to the stability of bases and complete systems as well to the stability of the trigonometric system. An approximation algorithm in systems resulting from a perturbation of the original system is given.     

Reliability evaluation of multi-state consecutive k-out-of-r-from-n: G system

This paper proposes a model that generalizes the linear consecutive k-out-of-r-from-n: G system to multi-state case. In this model the system consists of n linearly ordered multi-state components. Both the system and its components can have different states: from complete failure up to perfect functioning. The system is in state j or above if and only if at least k_j components out of r consecutive are in state j or above. An algorithm is provided for evaluating reliability of a special case of multi-state consecutive k-out-of-r-from-n: G system. The algorithm is based on the application of the total probability theorem and on the application of a special case taken from the [Jinsheng Huang, Ming J. Zuo, Member IEEE and Yanhong Wu, Generalized multi-state k-out-of-n: G system, IEEE Trans. Reliab. 49(1) (2000) 105–111.]. Also numerical results of the formerly published test examples and new examples are given.     

The strong <Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript>-<Emphasis Type="Italic">greedy</Emphasis> property of the Walsh system

For any 0 < ? < 1 one can find a measurable set E ? [0, 1] with the measure |E| > 1 ? ? such that for each function f(x) ε L ¹ (0, 1) a function g(x) ε L ¹ (0, 1) exists such that it coincides with f (x) on E, its Fourier—Walsh series converges to it in the metric of L ¹ (0, 1), and all nonzero terms of the sequence of Fourier coefficients of the new function obtained by the Walsh system have the modulo decreasing order; consequently, the greedy algorithm for this function converges to it in the L ¹ (0, 1)-norm.     

Reliability of a consecutive (r, s)-out-of-(m, n):F lattice system with conditions on the number of failed components in the system

A consecutive(r, s)-out-of-(m, n):F lattice system which is defined as a two-dimensional version of a consecutive k-out-of-n:F system is used as a reliability evaluation model for a sensor system, an X-ray diagnostic system, a pattern search system, etc. This system consists of m × n components arranged like an (m, n) matrix and fails iff the system has an (r, s) submatrix that contains all failed components. In this paper we deal a combined model of a k-out-of-mn:F and a consecutive (r, s)-out-of-(m, n):F lattice system. Namely, the system has one more condition of system down, that is the total number of failed components, in addition to that of a consecutive (r, s)-out-of-(m, n):F lattice system. We present a method to obtain reliability of the system. The proposed method obtains the reliability by using a combinatorial equation that does not depend on the system size. Some numerical examples are presented to show the relationship between component reliability and system reliability.     

Well-posedness and stability of the repairable system with N failure modes and one standby unit

The well-posedness and stability of the repairable system with N failure modes and one standby unit were discussed by applying the c₀ semigroups theory of function analysis. Firstly, the integro-differential equations described the system were transformed into some abstract Cauchy problem of Banach space. Secondly, the system operator generates positive contractive c₀ semigroups T(t) and so the well-posedness of the system was obtained. Finally, the spectral distribution of the system operator was analyzed. It was proven that 0 is strictly dominant eigenvalue of the system operator and the dynamic solution of the system converges to the steady-state solution. The steady-state solution was shown to be the eigenvector of the system operator corresponding to the eigenvalue 0. At the same time the dynamic solution exponentially converges to the steady-state solution.     

On the Convergence of Formal Solutions of a System of Partial Differential Equations

We study a version of the classical problem on the convergence of formal solutions of systems of partial differential equations. A necessary and sufficient condition for the convergence of a given formal solution (found by any method) is proved. This convergence criterion applies to systems of partial differential equations (possibly, nonlinear) solved for the highest-order derivatives or, which is most important, “almost solved for the highest-order derivatives.”     

Broken translation invariance in quasifree fermionic correlations out of equilibrium

Using the C^? algebraic scattering approach to study quasifree fermionic systems out of equilibrium in quantum statistical mechanics, we construct the nonequilibrium steady state in the isotropic XY chain whose translation invariance has been broken by a local magnetization and analyze the asymptotic behavior of the expectation value for a class of spatial correlation observables in this state. The effect of the breaking of translation invariance is twofold. Mathematically, the finite rank perturbation not only regularizes the scalar symbol of the invertible Toeplitz operator generating the leading order exponential decay but also gives rise to an additional trace class Hankel operator in the correlation determinant. Physically, in its decay rate, the nonequilibrium steady state exhibits a left mover-right mover structure affected by the scattering at the impurity.     

The well-posedness and stability of a repairable standby human–machine system

In this paper, the solution of a standby human–machine system is investigated. By using the method of functional analysis, especially, the linear operator theory and the C₀ semigroup theory on Banach space, we prove the well-posedness and the existence of a positive solution of the system. And under some appropriate hypotheses, we study the asymptotic stability of solution of the system.