08级毕业设计译文和原文---程序不变量