稳定性分解 互联子系统 二次分解 标量李雅普诺夫函数 动力系统 负定 三级结构 孤立子系统