基于系统稳定理论的程序自适应模型

A formal model for the adaptive program based on the theory of system stabilization

系统从任意状态开始最终收敛到某个封闭状态集的能力是系统稳定理论的研究内容．文中在给出了系统稳定理论的基本概念后，提出了程序自适应性的形式定义．该形式模型与具体应用和实现技术无关，对指导具有收敛性的自适应程序的设计有重要价值，并能用于验证程序的自适应性．

The theory of system stabilization deals with the ability of a system, starting from any state, to converge to a specific set of states that is closed under system execution. We first introduce some fundamental concepts related to system stabilization. Then, a formal definition of program adaptability is proposed, which is independent of application and specific technique. The formal definition can be used for specifying and verifying a class of adaptive programs.