泛函分析在软件系统再生策略研究中的应用

软件再生就是在适当的时间停止软件的运行，清理系统内部状态并重启。因而，软件再生可以使系统在故障之前做出反应，这对提升系统可用性具有重要意义。然而如何建立该类系统的数学模型，并完善其理论基础，成为了应用确定性方法研究软件再生系统性能指标和再生策略的瓶颈。本项目将利用分布参数系统理论的思想和方法，研究软件系统的再生策略。具体内容包括：软件系统再生策略的数学建模并恰当选取边界与初始条件；完善确定性数学模型的理论基础，即研究系统的适定性和稳定性；探索基于确定性描述的系统可靠性指标计算方法及算法收敛性；从理论和数值实验两个方面寻求实际背景下最优再生策略的存在性和数值解。本项目旨在揭示软件系统再生策略蕴含的确定性，为用确定性理论研究软件系统再生策略这一随机问题奠定理论基础，从而为探讨和设计最优的系统再生策略提供新的思路和方法。