大規模集積回路網のすべての解を求めるアルゴリズムに関する研究

1995 Fiscal Year Annual Research Report

• Project/Area Number: 07750453
• Research Institution: Gunma University
• Principal Investigator: 山村 清隆 群馬大学, 工学部, 助教授 (30182603)
• Keywords: LSI / すべての解 / 非線形方程式 / 回路シミュレーション / 非線形回路 / 分離性 / 解曲線追跡法 / 安定解

Research Abstract

1.本研究ではまず、区分的線形回路のすべての解を求める高速アルゴリズムを開発した。すなわち昨年度までに開発した分離性活用アルゴリズムに線形計画法を導入し、解の存在しない領域をより効果的に除去する方法論を確立することにより、アルゴリズムの大幅な高速化を達成する。具体的には方程式のいくつかを制約条件とみなし、その解平面上で他の関数の最大値、最小値を求めることにより、解の存在・非存在を効率的に判定する符号テストを開発した。
2.次に非線形回路のすべての解を求める高速アルゴリズムを開発した。最近応用数学の分野で区間解析の研究が進んでいるが、区間解析のアルゴリズムはそのままの形では非線形回路には適用できない。そこで回路方程式の分離性活用のアイデアを導入することにより、非線形回路にも適用できる新しい区間解析アルゴリズムを開発した。
3.さらに、昨年度からの継続研究である「多変数関数を一変数関数の和で表現するアルゴリズム」の詳細なアルゴリズムを完成させた。このアルゴリズムにより、上記のアルゴリズムの適用範囲を大幅に拡大することができる。
4.また、超球面の概念を用いた新しい解曲線追跡法を開発し、これを安定解の高速探索法として拡張した。この方法は簡易性と実現容易性に優れ、解曲線追跡法の普及版として広く実用に供することができる。
5.上記1.と4.の成果について非線形理論とその応用国際シンポジウムで招待講演を行い、大きな反響を得た。
6.今後は、線形計画法を用いた区間解析などについて研究を行い、大規模非線形方程式のすべての解を求める強力な方法論として確立する予定である。

Research Products

• [Publications] Kiyotaka Yamamura: "Finding all solutions of piecewise-linear resistive circuits containing sophisticated transistor models" IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences. E78-A. 117-122 (1995)
• [Publications] Kiyotaka Yamamura: "Finding all solutions of piecewise-linear resistive circuits containing nonseparable transistor models" IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences. E78-A. 264-267 (1995)
• [Publications] Kiyotaka Yamamura: "A modified spherical method for tracing solution curves" IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences. E78-A. 1233-1238 (1995)
• [Publications] 山村清隆: "減速ニュートン法を用いた区分的線形回路の直流解析法" 電子情報通信学会論文誌(A). J78-A. 1231-1234 (1995)
• [Publications] Kiyotaka Yamamura: "An algorithm for representing functions of many variables by superpositions of functions of one variable and addition" IEEE Trans.Circuits and Systems-I. (掲載予定).
• [Publications] Kiyotaka Yamamura: "An algorithm for finding all solutions of piecewise-linear resistive circuits" International Journal of Circuit Theory and Applications. (掲載予定).
• [Publications] Kiyotaka Yamamura: "An algorithm for finding all solutions of piecewise-linear resistive circuits" Proceedings of 12th European Conference on Circuit Theory and Design. 123-126 (1995)
• [Publications] Kiyotaka Yamamura: "Finding all solutions of piecewise-linear resistive circuits using linear programming" Proceedings of 1995 International Symposium on Nonlinear Theory and its Applications. 775-780 (1995)
• [Publications] Yasuaki Inoue: "Practical algorithms for dc operating-point analysis of large-scale circuits" Proceedings of 1995 International Symposium on Nonlinear Theory and its Applications. 1153-1158 (1995)
• [Publications] Kiyotaka Yamamura: "Spherical methods for tracing solution curves" Proceedings of 1995 International Symposium on Nonlinear Theory and its Applications. 1177-1182 (1995)
• [Publications] 山村清隆: "非線形抵抗回路のすべての解を求める効率的な区間解析アルゴリズム" 第8回回路とシステム軽井沢ワークショップ論文集. 431-436 (1995)
• [Publications] 山村清隆: "非線形抵抗回路の安定解の探索法について" 電子情報通信学会技術研究報告. NLP95-61. 17-23 (1995)