论文部分内容阅读
本文利用增补变量的方法建立了一个由硬件和软件串联组成的计算机系统数学模型;在该系统非负弱解存在的基础上,利用常微分方程理论,进一步讨论该系统解的半稳定性。
基于软硬件特性的可修复计算机系统半稳定性
【摘 要】
：
本文利用增补变量的方法建立了一个由硬件和软件串联组成的计算机系统数学模型;在该系统非负弱解存在的基础上,利用常微分方程理论,进一步讨论该系统解的半稳定性。
【机 构】
：
空军航空大学基础部
【出 处】
：
长春师范学院学报：自然科学版
【发表日期】
：
2011年4期
其他文献
利用Schauder不动点定理给出下面非线性分数阶微分方程边值问题{D0α＋u（t）=f（t,u（t））,0〈t〈1,u（0）=u（1）=u′（0）=u″（0）=0.正解的存在唯一性,其中3〈α4是一个实数,并且D0α＋是一个标准的Riem
本文讨论一类带m—Laplaeian算子的拟线性抛物型方程在有界区域上的渐近行为，证明了该类方程在L^p（Ω）中存在全局吸引子，其中p与方程非线性项增长指数无关。
若令随机向量（X1，X2）表示系统中两元件的寿命，则X（1）=min（X1，X2）和X（2）=man（X1，X2）就表示两个元件组成的串并联系统的寿命．在文本中，我们主要考虑（X1，X2）不可交换而联合分布为二维Lomax分布情形
近年来，有许多实际问题的解决都可归结为高阶奇异非线性方程组的求解，因而引起了人们的兴趣,本文考虑用King-Wemer法{yn＋1=yn-F^v（xn＋yn/2）^-1F（yn）,xn＋1=yn＋1-F^v（xn＋yn/2）^-1F（yn＋1）求解高
映射反演模型方法是分析复杂问题的经典方法。本文研究了这种方法在高等数学解题中的应用,以及在解答经济问题中的应用。
判断正项级数收敛有一种新的比值判别法，在此基础上作更进一步的推广，使其具有一般性，并通过其与达朗贝尔判别法、柯西判别法作比较，说明其比以上二法更好。
本文通过求解四阶边值问题的格林函数，来证明四阶微分方程的解的存在唯一性，并利用混合单调算子法来证明奇异微分方程边值问题解的存在唯一性。
在探讨密码学中布尔函数性质的基础上,构造一类具有高代数免疫阶的布尔函数。它具有好的代数次数,并且具有平衡性.
本文利用更一般的锥不动点定理，给出了一类一阶微分方程周期边值问题新的最优正解的存在性条件．
本文旨在研究一类两种群Lotka—Volterra互惠系统受白噪声扰动问题利用构造Lyapunov函数的方法，证明该类系统解的全局存在性．在适当条件下，给出了解持久性．