SUMMARYIn this paper, the objective is to derive with guaranteed accuracy all solutions of a finite-dimensional nonlinear equation within a certain range. In order to derive all solutions, it is important to extract efficiently the regions in which no solution exists. A new method is proposed in which nonexistence of solutions in a given region is judged with guaranteed accuracy. By solving specific numerical examples, the effectiveness of the proposed method is verified.

Area (2)In this paper, we are concerned with the analysis of two-transistor circuits. Applying technique for the numerical verification, we prove rigorously the existence of five solutions in a two-transistor circuit. The system of equations for a transistor circuit is obtained as nonlinear equations, therefore Krawczyk's method is applied for proving the existence of a solution.

No abstract

No abstract