论文部分内容阅读
利用增补变量方法,将可修复计算机系统的状态转移过程转换成一个广义Markov过程,并在此基础上建立系统的数学模型.与此同时,根据系统分析的需要,将系统模型转换成为Banach空间上的抽象Cauchy问题.
一类可修复计算机系统的数学模型
【摘 要】
：
利用增补变量方法,将可修复计算机系统的状态转移过程转换成一个广义Markov过程,并在此基础上建立系统的数学模型.与此同时,根据系统分析的需要,将系统模型转换成为Banach空
【机 构】
：
北京信息控制研究所,信阳师范学院数学与信息科学学院,中国科学院数学与系统科学研究院
【出 处】
：
信阳师范学院学报：自然科学版
【发表日期】
：
2010年3期
【基金项目】
：
国家自然科学基金资助项目（10671166）, 河南省重点科技攻关项目（092100210070）, 河南省教育厅自然科学基金项目（2010B120010）
其他文献
基于Daubechies父小波的离散标准化条件,并利用Meyer型小波的性质如消失矩性和急减性等给出了Meyer型小波母函数的一种分解形式.
设Kn，n表示每部分具有n个顶点的完全二部图，I为Kn，n的一因子．讨论了Kn，n-I的循环m-圈分解的存在性，并给出了Kn，n-I存在循环m-圈分解的一个充分必要条件．
应用数据包络分析（DEA）方法，对宁夏回族自治区18个市县2006-2010年区域生态效率进行评价．结果表明：2006-2010年宁夏生态效率总体水平低、内部差异大、呈波动变化，灵武市、盐池县、
利用锥壳中严格集压缩映射的一个基本不动点定理,在适当的边界条件下,不仅得到了锥壳中严格集压缩映射的新不动点定理,而且还得到了锥壳中严格集压缩映射的Altman定理、Roth
在已有减边控制函数定义的基础上，引入了新的控制参数——边度，并利用分类的方法对文献[7]的问题2进行了探索，得到了一般图的关于边数的减边控制数的若干下界．
研究一类具有摄动初-边值的非线性反应扩散系统的奇摄动问题．在适当的条件下，通过构造近似解以及层校正项，利用上下解方法和微分不等式理论得到了解的渐近行为．