程序展开理论

本文提出了程序依正交系展开的理论与方法,对其理论基础、展开方法及其应用等问题进行了研究,证明了程序依正交系展开的存在性、唯一性,给出了展开式的收敛条件,通过对以正交映射为基础的展开方法的研究,得到了较强的展开定理。本文还对程序展开在证明程序性质和程序转换中的应用进行了讨论。