線形受動抵抗回路の解の精度保証について

摘要

線形受動抵抗と電流漁からなる回路の解の精度保証の手法を検討する。回路方程式の係数行列の逆行列が未知という前提で、回路方程式が（ハイパー）ドミナント行列であるという性質を利用する。いくつかのドミナント条件が等号で成り立つ場合の取り扱いが問題である。%We investigate a method of the validated analysis of networks composed of linear passive resistors and dc current sources. We assume that the approximate inverse matrix of a coefficient matrix of the network is unknwon. The hyperdominancy is utilized for the analysis.