研究課題
基盤研究(C)
本年度は、より効率的でより実用的な大規模集積回路の大域的求解法の開発とその応用・実用化を目的として、以下のような研究を行った。1.LSI設計における大きなボトルネックとして世界中の設計者を悩ませていた「非収束問題」に対し、非常に効率的かつ実用的な方法である可変利得ニュートンホモトピー法を提案し、その大域的収束性を証明した。またその成果を権威ある国際会議であるASP-DAC、IEEE ISCAS等で発表し、大きな反響を得た。2.LSI設計における重要な未解決問題として知られている「非線形回路のすべての解を求める実用的なアルゴリズムの開発」に対し、双対単体法を用いた非常に効率的なアルゴリズムを提案し、線形領域数10000^<4000>という超大規模問題の全解探索を世界で初めて実用時間内で行うことに成功した。またその成果を国際論文誌JCSCに投稿し、採録となったほか、多くの論文をIEICE Trans.Fundamentals等で発表した。3.「式を回路で記述する」という逆転的発想に基づく方法論であるSPICE指向型数値解析法に関する研究を行い、IEEE ISCASやIEICE Trans.Fundamentalsなどで発表した。この研究は広い分野で多くの注目を集め、電子情報通信学会や日本オペレーションズ・リサーチ学会で招待講演やチュートリアル講演を行うと共に、電子情報通信学会からの依頼で一般会員向けの解説講座を執筆し、同会誌2005年12月号に掲載された。また海外からも多くの情報提供や論文送付の依頼を受けた。
すべて 2006 2005
すべて 雑誌論文 (18件) (うち査読あり 3件)
Proceedings of the 11th Asia and South Pacific Design Automation Conference
ページ: 408-415
電子情報通信学会総合大会講演論文集 (掲載決定)
Journal of Circuits, Systems, and Computers 15・3(掲載予定)
Proceedings of IEEE 2006 International Symposium on Circuits and Systems (掲載予定)
Proceedings of IEEE 2005 International Symposium on Circuits and Systems
ページ: 4911-4914
第18回回路とシステム軽井沢ワークショップ論文集
ページ: 55-60
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E88-A・4
ページ: 825-831
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E88-A・6
ページ: 1631-1634
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E88-D・7
ページ: 1401-1408
電子情報通信学会論文誌(A) J88-A・7
ページ: 833-839
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E88-A・10
ページ: 2554-2561
電子情報通信学会論文誌(A) J88-A・10
ページ: 1168-1173
ページ: 3761-3764
ページ: 61-66
電子情報通信学会技術研究報告 NLP2005-41
ページ: 13-18
電子情報通信学会技術研究報告 VLD2005-39
ページ: 9-14
日本オペレーションズ・リサーチ学会第17回RAMPシンポジウム論文集
ページ: 213-227
電子情報通信学会誌 88・12
ページ: 981-988
