论文部分内容阅读
本文研究具有四个状态可修复系统，利用泛函分析及半群理论，证明了此系统的解的存在唯一，再对此系统所建立的模型的修复率μ<,i>(x)，(i=2，3)用初等阶梯函数逼近，给出了系统半离散化模型，并运用C<,0>-半群理论中的Trotter定理<[5]>来证明系统解的逼近，为进一步数值计算打下理论基础。