非线性系统的有界实条件