约束方程，在建立系统模型时，系统的状态变量必须满足的一些条件所构成的方程。