李雅普诺夫函数的构造及应用