计算机辅助设计 推广定理 含受控源 网络状态方程 状态变量法 时间步长 迭加定理 微电子学