什么是电路中的约束方程?