余正Lyapunov泛函相关论文