3.10 Barbalat引理与类Lyapunov分析