二次型Lyapunov泛函相关论文