Lyapunov函数直接法相关论文