电路约束方程是什么