ヒルベルトの第13問題に対する構成アルゴリズムの開発とVLSI設計への応用

点击翻译按钮获取中文摘要

1.本研究ではまず、多変数関数を一変数関数の和で表現するアルゴリズムを開発した。すなわち、ヒルベルトの第13問題に対するコルモゴロフの存在証明に、具体的な構成アルゴリズムを与えた。そのための基本概念として、関数の構造を記述するグラフである“計算グラフ"を導入した。多変数関数を計算グラフで記述することにより、その計算過程と構造が明らかにすることができる。その各計算過程において、分離形への変換を行い、これを再帰的に繰り返すことにより関数全体を分離形に変換するアルゴリズムを開発した。2.VLSIやニューラルネットワークを記述する非線形方程式は、準分離構造をもつため、上記のアルゴリズムにより容易に分離形へ変換できる。このようにして得られる分離性を活用した、回路方程式のすべての解を求める高速アルゴリズムを開発した。このアルゴリズムは、既存の方法の中では最高速であることが確実視される。さらに複雑なトランジスタモデルを含む場合や、電圧制御型でも電流制御型でもないマクロモデル素子を含む場合での拡張を行った。3.次に超球面の概念を用いた新しい解曲線追跡法を開発し、これを複数個の解の高速探索法として拡張した。この方法は簡易製と実現容易性に優れ、解曲線追跡法の普及版として広く実用に供することができる。またこの方法の計算効率を高める手法を、幾何学的観点に基づき開発した。さらに、回路シミュレーションにおける最大のネックである直流解析の非収束問題を解決する手法を、1.の研究に基づき開発した。またその大域的収束性と2次収束性を証明した。