具有软硬件可修复计算机系统解的半离散化

为了解决利用数值计算研究具有软硬件可修复计算机串联系统模型的问题,利用半离散化逼近方法将一个抛物型偏微分方程化为矩阵常微分方程,且后者在许多问题上可以作为原问题的近似.将半离散算法应用到具有软硬件可修复计算机系统模型中,对系统中的修复率进行离散,得到了该系统的半离散化模型,运用泛函分析理论证明了半离散算法的收敛性,结果表明:离散后方程的解收敛于原方程的解,从而为该模型进一步的数值计算提供了理论基础.