一类单部件可修系统解的半离散化

为解决一类单部件可修系统模型的数值计算问题,首先用半离散化方法对该系统模型中的修复率μ(x)进行离散,得到离散后的偏微分方程;然后用算子半群的知识将偏微分方程转化成矩阵常微分方程,根据Trotter逼近定理证明离散后方程的解逼近原方程的解。结果表明,将半离散化方法应用到该系统模型中是可行的,从而为其进一步的数值计算提供了理论基础。