• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

線形計画法を用いた非線形システムの全解探索アルゴリズム開発とLSI設計への応用

Research Project

Project/Area Number 09750447
Research Category

Grant-in-Aid for Encouragement of Young Scientists (A)

Allocation TypeSingle-year Grants
Research Field System engineering
Research InstitutionChuo University (1998)
Gunma University (1997)

Principal Investigator

山村 清隆  中央大学, 理工学部, 助教授 (30182603)

Project Period (FY) 1997 – 1998
Project Status Completed (Fiscal Year 1998)
Budget Amount *help
¥2,100,000 (Direct Cost: ¥2,100,000)
Fiscal Year 1998: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 1997: ¥1,100,000 (Direct Cost: ¥1,100,000)
Keywords非線形システム / 数値解析 / 非線形回路 / 全解探索 / LSI設計 / 回路シミュレーション / 線形計画法 / 区間解析 / 非線形方程式 / 数理計画法
Research Abstract

区間解析は非線形方程式のすべての解を求める代表的な方法として知られている.しかし区間解析は一般に計算効率が非常に悪く,問題の次元の増加とともに計算時間が指数関数的に増大するという欠点をもつ.
本研究では,区間解析に線形計画法を導入した,非線形方程式の新しい全解探索法を提案した.この方法の基本的なアイデアは,「非線形問題を線形計画問題に置き換えて解く」,すなわち非線形方程式という曲がりくねった世界の問題を平坦な世界に引きずり込んで料理しようというものである.具体的には,非線形方程式を線形等式と線形不等式で置き換え(幾何学的には関数曲線を多角形で囲み),非線形方程式を一旦線形計画問題に定式化してから,それに線形計画法を適用するというものである.この方法の導入により,従来の区間解析では全く解くことのできなかった100変数方程式をはじめとする様々な非線形方程式の全解探索に成功した.この成果については,既に国際会議や外国論文誌等で発表している.
また上記のアイデアを区分的線形回路の全解探索問題にも応用し,線形領域数10^<100>の超大規模問題を世界で初めて実用時間内で解くことに成功した.この成果も国際会議や外国論文誌等で発表を行っている.
さらに回路シミュレーションと関連して,「非線形回路の安定解に収束するホモトピー法」を開発した.一般に回路方程式の解は安定解とは限らないため,シミュレーションにより得られた解が実際の回路では観測されないという混乱が生じていたが,この方法は大域的収束性をもつと同時に,高い確率で実用上重要な安定解に収束する.
その他,高分子化学の研究者との共同研究により,上記のアルゴリズムを用いた高分子溶液の多相平衡の研究に取り組み,実験では測定が困難な様々な興味深いメカニズム(高圧力下での共存曲線の対称性の変化など)を解明することに成功した.

Report

(2 results)
  • 1998 Annual Research Report
  • 1997 Annual Research Report
  • Research Products

    (12 results)

All Other

All Publications (12 results)

  • [Publications] 山村清隆: "ホモトピー法による高分子溶液の多相平衡の計算" 電子情報通信学会論文誌(A). J81-A・3. 456-460 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Kiyotaka Yamamura: "Interval solution of nonlinear equatoins using lineasr programming" BIT. 38・1. 186-199 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Kiyotaka Yamamura: "Finding all soiutions of piecewise-linear resistive circuits using linear programming" IEEE Trans.Circuits and Systems-I. 45・4. 434-445 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Kiyotaka Yamamura: "Finding all solutions of transistor circuits using linear programming" IEICE Trans.Fundamentals. E81-A・6. 1310-1313 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 山村清隆: "不動点ホモトピーを用いた修正節点方程式の大城的求解法" 電子情報通信学会論文誌(A). J81-A・7. 1094-1098 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Kiyotaka Yamamura: "A fixed-point homotopy method for solving modified nodal equations" IEEE Trans.Circuits and Systems-I. 掲載予定. (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] Kiyotaka Yamamura: "On the stability of dc operating points obtained by solving hybrid equations" IEICE Trans. on Fundamentals of Electronics,Communications and Computer Sciences. E80-A・11. 2291-2299 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 山村清隆: "ホモトピー法による高分子溶液の多相平衡の計算" 電子情報通信学会論文誌(A). J81-A・3(掲載予定). (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] Kiyotaka Yamamura: "Interval solution of nonlinear equations using linear programming" BIT. 38・1(掲載予定). (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] Kiyotaka Yamamura: "Finding all solutions of piecewise-linear resistive circuits using linear programming" IEEE Trans.Circuits and Systems-I. 45・(掲載予定). (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] Kiyotaka Yamamura: "Interval solution of nonlinear equations using linear programming" Proceedings of IEEE 1997 International Symposium on Circuits and Systems. II. 837-840 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Kiyotaka Yamamura: "An LP test algorithm for finding all solutions of piecewise-linear resistive circuits" Proceeding of 1997 International Symposium on Nonlinear Theory and its Applications. I. 309-312 (1997)

    • Related Report
      1997 Annual Research Report

URL: 

Published: 1997-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi