具有热储备可修复平行系统稳定性及可靠性分析

通过对具有热储备可修复平行系统模型的研究,证明了系统解的稳定性,limt→∞p→(.,t)=p→,同时完成了对系统解的可靠性的证明,瞬态可靠性大于等于其牢固可靠性,既p0(t)≥p0*=limt→∞p0(t).     

具有四个状态的系统的稳定性及可靠性分析

通过时具有四个状态的系统所建立的模型进行分析,证明了系统的解的渐近稳定性,既limt→∞p→(,.t)=p→0,同时也证明了系统解的可靠性.     

Multiple positive solutions for superlinear second order singular boundary value problems with derivative dependence

The existence of at least two positive solutions is presented for the singular second-order boundary value problem
{1/p（t）（ p（t）x′（t））′＋Φ（t）f（t,x（t）,p（t）x′（t））=0,0〈t〈1,
limt→0 p（t）x′（t）=0,x（1）=0
by using the fixed point index, where f may be singular at x = 0 and px ′= 0.     

Some oscillation criteria for second order nonlinear functional ordinary differential equations

The main objective of this article is to study the oscillatory behavior of the solutions of the following nonlinear functional differential equations (a(t)x'(t))' δ1p(t)x'(t) δ2q(t)f(x(g(t))) = 0,for 0 ≤ t0 ≤ t, where δ1 = ±1 and δ2 = ±1. The functions p,q,g : [t0, ∞) → R, f :R → R are continuous, a(t) ＞ 0, p(t) ≥ 0,q(t) ≥ 0 for t ≥ t0, limt→∞ g(t) = ∞, and q is not identically zero on any subinterval of [t0, ∞). Moreover, the functions q(t),g(t), and a(t) are continuously differentiable.     

与年龄相关的半线性时变种群系统的最优捕获

本文讨论了如下的一类与年龄相关的半线性时变种群系统 : p t+ p r+μ( r,t) p +Φ( N ( t) ) p =-v( r,t) p,p( 0 ,t) =∫A0 m( r,t) p( r,t) dr,p( r,0 ) =p0 ( r) ,N ( t) =∫A0 p( r,t) dr,其中 p( r,t)为时刻 t年龄为 r的单种群年龄密度函数 ,v( r,t)为捕获策略 .主要利用泛函分析中的 Mazur定理和分离的思想 ,证明了状态方程解的存在唯一性 ,并论证了对于给定的目标泛函 ,在一定条件下最优捕获控制的存在性 .     

具非线性边界条件的拟线性抛物型方程解的Blow-up

本文考虑一类具非线性边界条件的拟线性抛物方程初边值问题解的整体性态 .通过构造与解有关的适当积分 ,利用“凸性方法”及非线性抛物型方程的极大值原理 ,证明了在某些条件下 ,问题的光滑解u(x ,t)只能在一个有界区间 (0 ,T0 )中存在 ,即有 :limt→T-0sup‖u(· ,t)‖ ∞ =+∞ .     

数值求解比例延迟微分方程的收敛性

本文主要讨论p阶CRK方法数值求解比例延迟微分方程 :U′(t) =f(t,U(t) ,U(qt) ) ,U(0 ) =U0　0 ≤t≤H0 相似文献   

两不同部件并联可修复系统的稳定性及可靠性分析

通过对两不同部件并联可修复系统的研究证明了系统的渐近稳定性,即lim t→∞p→(·,t)=p→,同时在特例的情况下初步证明了解的可靠性.     

可修复人机储备系统解的渐近稳定性及可靠性分析

讨论了可修复人机储备系统解的渐近稳定性及可靠性分析.证明了系统算子在Banach空间中生成正压缩C0半群,系统的非负稳定解恰是系统算子0本征值对应的本征向量,系统算子的谱点均位于复平面的左半平面且在虚轴上除0外无谱.此外,证明了系统解在特例情况下的可靠性,即瞬态可靠度大于等于其牢固可靠度.     

起始为指数律的P—函数振荡问题

设y是标准p-函数类。对u>0令 y(u)={p∈yq≥0,p(t)=e~(-qt),0≤t≤u}在[9]Kingman证明了:如果p∈y(u)则p(t)≤e~(-1) e~(-qu)(t≥u),而在[4]中Griffeath进一步证明了:p(t)≤e~(-(1-e~(-qu)))(t≥u)。本文首先给出这一结果一个完全不同的新证明。然后证明下面的结果:如果p∈y(u),s≥u,p(t),m=P(s)则p(t)≤max(M,m e~(-1 m))(t≥u)。本文的第二个结果叙述如下:记 m(M,p)=inf{p(t):0≤t≤1,p(1)=M},p∈y I(M,u)=inf{m(M,p):p∈y(u)},I(M)=inf{m(M,p):p∈y} I~(M,u),v_0=inf{M>0:I(M)>0} v(M)=inf{M>0:I(M)>0}则v_0=v~。     

具有内部构造安全保障体系的冗余机器系统的稳定性及可靠性分析

对具有内部构造安全保障体系的冗余机器系统的渐近稳定性先进行了证明.再对系统解的可靠性作了初步的研究证明.即瞬态可靠性大于等于其牢固可靠性。     

具有易损坏储备部件可修系统的稳定性和可靠性分析

讨论了一个由两个工作部件和一个储备部件,并且具有临界人为错误和常规故障的随机数学模型,研究了系统解的渐近稳定性,即:limt→∞P→(.,t)=P→,同时完成了对系统解的可靠性的证明.     

一类二阶多点时标边值问题无界解的存在性

借助不动点定理研究边值问题(φp(u△(t)))▽+f(t,u(t))=0,t∈(0,∞)Tu(0)=∑m-2i=1αiu(ηi),φp(u△(∞))=∑m-2i=1βiφp(u△(ηi))多个正解的存在性,得到了正解存在的充分条件.     

非线性二阶中立型时滞微分方程正解的存在性

考虑非线性二阶中立型微分方程,[a(t)x(t)-∑ from i=1 to m (p_i(t)x(τi(t)))]″-∫from n=a to b (f(t,ξ,x[g(t,ξ)])dσ(ξ))=0,t≥t_0,和相应不等式[a(t)x(t)-∑ from i=1 to m (p_i(t)x(τi(t)))]″-∫from n=a to b (f(t,ξ,x[g(t,ξ)])dσ(ξ))≥0,t≥t_0.存在正解是相互等价的.其中a(t),pi(t)∈C([t0,∞),R+),a(t)>0,τi(t)∈C(R~+,R~+),τi(t)t,limt→∞τi(t)=∞(i=1,2,…,m).g(t,ξ)∈C([t_0,∞)×[a,b],R+).g(t,ξ)是分别关于t和ξ的增函数.g(t,ξ)t,ξ∈[a,b],limt→∞,ξ∈[a,b]g(t,ξ)=∞.f(t,ξ,x)∈C([t_0,∞)×[a,b]×R,R+).当x>0时,xf(t,ξ,x)>0.σ(ξ)∈C([a,b],R),且σ(ξ)非减.     

ON Subspaces OF NON-Reflexive Orlicz Spaces

Abstract

Kadec and Pelczýnski have shown that every non-reflexive subspace of L ¹ (μ) contains a copy of l ₁ complemented in L ¹(μ). On the other hand Rosenthal investigated the structure of reflexive subspaces of L ¹(μ) and proved that such sub-spaces have non-trivial type. We show the same facts to hold true for a special class of non-reflexive Orlicz spaces. In particular we show that if F is an N-function in δ₂ with its complement G satisfying limt→∞ G(ct)/G(t) = ∞, then every non-reflexive subspace of L*_F contains a copy of l ₁ complemented in L*_F. Furthermore we establish the fact that if F is an N-function in δ₂ with its complement G satisfying limt→∞ G(ct)/G(t) = ∞, then every reflexive subspace of L*_F has non-trivial type.     

一类三阶拟线性微分方程非振动解的渐近性

主要讨论的是一类三阶拟线性微分方程(p(t)|u″|~(α-1)u″)′+q(t)|u|~(β-1)u=0其中α0,β0,p(t)和q(t)是定义在区间[a,∞)上的连续函数,且满足当t≥a时p(t)0,q(t)0.当t→∞时此方程满足∫_a~∞1/((p(t))~(1/α))dt=∞的特殊非振动解存在的充分必要条件.