E-Bayes估计渐近性质的证明

随着科学和技术的进步需要有效地改进产品可靠性的评估方法,相关文献提出了参数估计的一种新方法——E-Bayes估计法.对Pascal分布,在两个超参数情形给出了分布参数的E-Bayes估计的定义、E-Bayes估计公式,并提出了E-Bayes估计的两个渐近性质,但没有给出证明.给出了这两个渐近性质的证明.     

一个供应链系统的可靠性模型的适定性分析

供应链系统是一个复杂的动态系统,许多影响因素的存在,使得供应链系统具有强烈的随机性,从而直接影响供应链系统的可靠性,我们通过分析供应链系统的状态之间的转移关系,引入增补变量法,用偏微分方程组建立了供应链系统的可靠性模型,并对该模型系统解的存在唯一性进行了讨论和证明.     

化学反应方程的混沌性研究

本文运用拓扑马蹄理论,对一个典型的化学动力系统的性质进行了计算机辅助证明,与简单的利用仿真或李亚普罗夫指数判定混沌性相比,有较强的理论依据和更高的可靠性.     

一道选择题的解题三部曲

对于一些难题,我们常用的策略是用特值法来探索答案,然后通过严谨的方法验证结论的可靠性,在验证答案的可靠性后可进一步思考其它的证明方法或结论的一般性.这种解题三部曲对于培养学生的解题能力大有益处,下面举一例加     

一种软件再生系统的模型分析

对用补充变量的方法建立的软件再生系统各状态之间转移概率服从一般分布的数学模型,用Matlab软件进行仿真实验,从而证明该模型的可靠性.     

直觉主义量词模态逻辑系统MIPC~*的可靠性定理

设WMμ为系统MIPC*全部公式的集,再设г∪{A} WMμ,则гMIPC* A意义明显.而 M A指гM-蕴涵A.以前已证明гM A гMIPC*A,即MIPC*为强完全的.本文证明其逆定理成立,即гMIPC*A гM A.是为MIPC*的可靠性定理.     

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

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

FTA-GERT网络的构建及其在可靠性增长中的应用

针对FTA(故障树模型)和GERT(图示评审技术)的特点,构建FTA-GERT网络模型,用于描述故障转移状态并可计算网络中的各种概率分布数字特征.考虑复杂装备系统级试验和组件级试验的特点,将该模型运用于可靠性增长评估中,构建可靠性增长FTA-GERT网络模型,将组件级试验数据信息融合后进行系统级可靠性增长评估.通过一个算例说明该模型在可靠性增长中的应用,将组件级试验数据传递为系统级数据.最后,在只知组件级累积失效数据的情况下,传递得到系统级累积失效数据表,并运用Duane模型对该系统进行了可靠性增长的分析,证明所建模型的高效性和实用性.     

在常规故障和临界人为错误条件下具有易损坏储备部件复杂系统的可靠性分析

讨论了一个由两个部件和一个储备部件并且具有临界人为错误和常规故障的随机模型,研究了易损坏部件对系统的影响,故障系统的修复时间是任意分布的.运用泛函分析的方法,通过分析系统主算子的谱特征,给出了系统的可靠性分析的证明.     

RLW-KdV方程的高阶紧致有限差分格式（英文）

对RLW-KdV方程提出一种新的四阶精度紧致有限差分格式.用离散能量法证明差分格式的能量守恒性、可解性、收敛性和稳定性.在离散L~∞-范数下,所建格式在空间上四阶收敛且在时间上二阶收敛.通过两个数值算例验证了该格式的有效性和可靠性.     

一类可修系统的稳定性及可靠性分析

证明了系统的渐近稳定性,即limt→∞■(,.t)=■,并给出了一种方法,证明了系统的牢固可靠度不小于瞬态可靠度,即p0(t)≥p0*=limt→∞p0(t).     

捕食模型正周期解存在性的一个注记

利用重合度理论中的延拓定理讨论了多滞量捕食模型(dN_1(t))/dt=N_1(t)[r_1(t)-a_(11)(t)N_1(t-τ_1(t))-a_(12)(t)N_2(t-τ_2(t))] (dN_2(t))/dt=N_2(t)[-r_2(t)+a_(21)(t)N_1(t-τ_3(t))]的正周期解的存在性,得到了保证上述系统周期解存在的一组时滞依赖的充分条件,补充和完善了已有学者的工作.     

线性时滞系统Liapunov泛函的存在性

The delay system x(t)=Ax(t) Bx(t-r)is considered. The necessary and sufficient conditions of the existence of a kind of Liapunov functional for the system are given.     

Stochastic analysis of a n-unit repairable system with slow switch

This paper deals with the costn–benefit analysis of a cold standby system composed of n identical repairable units, subject to slow switch. Two models of system functioning are studied in this paper. In model 1, the repair time of a unit is assumed to follow exponential distribution and the other time distributions as arbitrary, while in model 2, the repair time of a unit is assumed to be arbitrarily distributed and the other time distributions follow exponential law. For both the models, the system characteristics, namely

(i) the expected upn–time of the system during the period (O,t]

(ii) the expected busyn–period of the repair facility during the period (0,t] and

(iii) the expected time the units spend in the switchover/installation state during the period (O,t]

are studied by identifying the system a t suitable regeneration epochs. The cost-benefit analysis is carried out using these characteristics     

非局部反应扩散方程组的爆破性质

本文讨论带Dirichlet边界条件的反应扩散方程组ut(x,t)=△u(x,t)+uα(x,t)．up(0,t),vt(x,t)=△v(x,t)+uβ(x,t)vq(0,t),研究了该问题正解的爆破性质并给出爆破集及其爆破速率．     

一类二阶四点边值问题正解的存在性

讨论二阶四点微分方程组边值问题u″+p(t)f(t,u(t),v(t))=0,0 t 1,v″+q(t)g(t,u(t),v(t))=0,0 t 1,u(0)=a1x(ξ1),u(1)=b1x(η1)v(0)=a2x(ξ2),v(1)=b2x(η2)如果函数f,g:[0,1]×[0,∞)×[0,∞)→[0,∞)是连续的,并赋予f、g一定的增长条件,利用Leggett-Williama不动点定理,证明了上述边值问题至少存在三对正解.     

Positive periodic solutions for a nonlinear differential system with two parameters

In this article, we investigate a nonlinear system of differential equations with two parameters $$\left\{ \begin{array}{l} x"(t)=a(t)x(t)-\lambda f(t, x(t), y(t)),\y"(t)=-b(t)y(t)+\mu g(t, x(t), y(t)),\end{array}\right.$$ where $a,b \in C(\textbf{R},\textbf{R}_+)$ are $\omega-$periodic for some period $\omega > 0$, $a,b \not\equiv 0$, $f,g \in C(\textbf{R} \times \textbf{R}_+ \times \textbf{R}_+ ,\textbf{R}_+)$ are $\omega-$periodic functions in $t$, $\lambda$ and $\mu$ are positive parameters. Based upon a new fixed point theorem, we establish sufficient conditions for the existence and uniqueness of positive periodic solutions to this system for any fixed $\lambda,\mu>0$. Finally, we give a simple example to illustrate our main result.     

一类非自治Liénard系统的定性研究

研究自治Liénard系统+f(x).x+e(t)g(x)=h(t)解的定性性态.在一定条件下,我们证明了该系统周期解的存在性、局部唯一性和渐近稳定性,所得结果推广了文[2-4]的相应结论.     

具多偏差变元四阶Laplace方程的周期解存在性

考虑下列具多偏差变元的四阶p-Laplace方程:[φp(u″(t))]″+f(u(t))u′(t)+g(t,u(t-τ1(t)),u(t-τ2(t)),…,u(t-τn(t)))=e(t).利用重合度定理得出其周期解的存在性结论.     

Periodic Solution of a Nonautonomous Diffusive Food Chain System of Three Species with Time Delays

Abstract By using the continuation theorem of coincidence degree theory,the existence of a positive periodicsolution for a nonautonomous diffusive food chain system of three species. dx_1(t)/dt=x_1(t)[r_1(t)-a_(11)(t)x_1(t)-a_(12)(t)x_2(t)]+D_1(t)[y(t)-x_1(t)], dx_2(t)/dt=x_2(t)[-r_2(t)+a_(21)(t)x_1(t-r_1)-a_(22)(t)x_2(t)-a_(23)(t)x_3(t)], dx_3(t)/dt=x_3(t)[-r_3(t)+a_(32)(t)x_2(t-r_2)-a_(33)(t)x_3(t)], dy(t)/dt=y(t)[r_4(t)-a_(44)(t)y(t)]+D_2(t)[x_1(t)-y(t)]+D_2(t)[x_1(t)-y(t)],is established,where,r_i(t),a_(ii)(t)(i=1,2,3,4),D_i(t)(i=1,2),a_(12)(t),a_(21)(t),a_(23)(t)and a_(32)(t) are all positiveperiodic continuous functions with period w>0,T_i(i=1,2)are positive constants.