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

2015 Fiscal Year Research-status Report

大規模集積回路の大域的求解法の開発とその実用化に関する研究

Research Project

Project/Area Number 25420384
Research InstitutionChuo University

Principal Investigator

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

Project Period (FY) 2013-04-01 – 2018-03-31
Keywords非線形理論・回路 / 非線形数値解析 / 大規模集積回路 / 回路シミュレーション / 全解探索 / 数理計画法 / 線形計画法 / 整数計画法
Outline of Annual Research Achievements

本年度は、(1) 非線形回路の全ての解を求める効率的かつ実用的なアルゴリズムの開発、(2) 回路シミュレーション非収束問題に対する大域的求解法の開発、(3) 整数計画法を用いた非線形回路の変動解析法の開発、(4) 整数計画法を用いた非線形回路の全ての特性曲線を求める方法の開発、の四つのテーマに関して、「計算効率の改善」「実用性の向上」などの観点から総合的に研究を行った。またその成果を随時学会論文誌や国際会議等で発表した。具体的には、以下のような研究を行った。
(1) 線形計画法(双対単体法)を用いて解の非存在判定を行う新しい方法として「平行四辺形LPテスト」を開発し、この方法を用いた非線形回路の全解探索法を提案した。またこの方法により5,000素子クラスの非線形回路の全解探索に世界で初めて成功した。この研究を発表した本研究室の大学院生は権威ある学会賞を受賞した。
(2) これまで提案されたホモトピー法の長所短所を分析するとともに、新たに可変利得ニュートン不動点ホモトピー法を提案し、この方法が従来のホモトピー法の長所を兼ね備え、かつ欠点が解消された方法であることを示した。この研究を発表した本研究室の大学院生は同窓会賞を受賞した。
(3) 整数計画法を用いた非線形回路の変動解析法を開発した。この方法は実装容易性に優れ、混合整数計画問題に整数計画ソルバーを4回適用するだけで複雑な形状の変動領域を精密に求めることができる。
(4) 整数計画ソルバーCPLEXを用いた非線形回路の全ての特性曲線を求める方法を提案した。この方法は複雑なプログラミングを必要としないため実装が容易で、かつ非常に効率が良い。またこの方法により全ての特性曲線が得られることを、CPLEXで使われているアルゴリズムの原著論文とCPLEXのマニュアルから証明した。

Current Status of Research Progress
Current Status of Research Progress

1: Research has progressed more than it was originally planned.

Reason

・10年前まではNP困難という呪縛から絶対に解けないと考えられていた5,000素子クラスの非線形回路の全解探索に世界で初めて成功した。
・本研究のもう一つの目的である実用性の向上に関して、整数計画ソルバーを用いた極めて実装容易性の高い方法を確立した。
・国際的に権威のある論文誌や国際会議で多くの論文を発表した。
・研究代表者の研究室の大学院生が電子情報通信学会回路とシステムワークショップで奨励賞を受賞することが決定した。

Strategy for Future Research Activity

これまで通り、研究代表者とその大学院生を中心に、学会や産業界との連携をとりながら研究を進める。研究テーマに関しては、線形計画法や整数計画法など他分野の手法を積極的に取り入れ、独創性の高いアプローチの研究を展開していく。また国内外の権威ある論文誌に積極的に論文を投稿する。

  • Research Products

    (18 results)

All 2016 2015

All Journal Article (9 results) (of which Peer Reviewed: 9 results,  Open Access: 1 results,  Acknowledgement Compliant: 1 results) Presentation (9 results) (of which Int'l Joint Research: 5 results)

  • [Journal Article] Finding all solution sets of piecewise-linear interval equations using integer programming2016

    • Author(s)
      Kiyotaka Yamamura and Suguru Ishiguro
    • Journal Title

      Reliable Computing

      Volume: 23 Pages: 73-96

    • Peer Reviewed / Open Access
  • [Journal Article] 整数計画ソルバーを用いた区分的線形抵抗回路の全ての特性曲線を求める簡単な方法2016

    • Author(s)
      山村清隆,石黒 俊
    • Journal Title

      電子情報通信学会 第29回 回路とシステムワークショップ論文集

      Volume: 1 Pages: 267-272

    • Peer Reviewed
  • [Journal Article] Characteristic analysis and tolerance analysis of nonlinear resistive circuits using integer programming2016

    • Author(s)
      Kiyotaka Yamamura, Suguru Ishiguro, and Hiroshi Taki
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E99-A Pages: 710-719

    • DOI

      10.1587/transfun.E99.A.710

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] A trapezoidal method for solving differential algebraic equations2015

    • Author(s)
      Junjie Huang, Qiang Li, Kiyotaka Yamamura, and Yasuaki Inoue
    • Journal Title

      Proceedings of International Technical Conference on Circuits/Systems, Computers and Communications

      Volume: 1 Pages: 752-755

    • Peer Reviewed
  • [Journal Article] Finding all DC solutions of nonlinear circuits using parallelogram LP test2015

    • Author(s)
      Kiyotaka Yamamura and Suguru Ishiguro
    • Journal Title

      Proceedings of 2015 IEEE European Conference on Circuit Theory and Design

      Volume: 1 Pages: 1-4

    • DOI

      10.1109/ECCTD.2015.7300124

    • Peer Reviewed
  • [Journal Article] Complete analysis of piecewise-linear resistive circuits using CPLEX2015

    • Author(s)
      Taiki Okamoto, Suguru Ishiguro, and Kiyotaka Yamamura
    • Journal Title

      Proceedings of 2015 IEEE Workshop on Nonlinear Circuit Networks

      Volume: 1 Pages: 30-33

    • Peer Reviewed
  • [Journal Article] Characteristic analysis of piecewise-linear resistive circuits using SCIP2015

    • Author(s)
      Tetsuya Shiraishi, Suguru Ishiguro, and Kiyotaka Yamamura
    • Journal Title

      Proceedings of 2015 IEEE Workshop on Nonlinear Circuit Networks

      Volume: 1 Pages: 34-37

    • Peer Reviewed
  • [Journal Article] Finding all solutions of piecewise-linear resistive circuits using Excel2015

    • Author(s)
      Daiki Koyama and Kiyotaka Yamamura
    • Journal Title

      Proceedings of 2015 IEEE Workshop on Nonlinear Circuit Networks

      Volume: 1 Pages: 38-41

    • Peer Reviewed
  • [Journal Article] 平行四辺形LPテストを用いた非線形回路の全解探索法2015

    • Author(s)
      石黒 俊, 高宮将弘, 山村清隆
    • Journal Title

      電子情報通信学会 第28回 回路とシステムワークショップ論文集

      Volume: 1 Pages: 172-177

    • Peer Reviewed
  • [Presentation] 整数計画ソルバーを用いた区分的線形抵抗回路の全ての特性曲線を求める簡単な方法2016

    • Author(s)
      山村清隆,石黒 俊
    • Organizer
      電子情報通信学会 整数計画ソルバーを用いた区分的線形抵抗回路の全ての特性曲線を求める簡単な方法
    • Place of Presentation
      福岡,日本
    • Year and Date
      2016-05-12 – 2016-05-13
  • [Presentation] 他の解曲線への乗り移り問題を改善した予測子修正子法2016

    • Author(s)
      木下誉章,足立聖,山村清隆
    • Organizer
      2016年電子情報通信学会総合大会
    • Place of Presentation
      福岡,日本
    • Year and Date
      2016-03-15 – 2016-03-18
  • [Presentation] Complete analysis of piecewise-linear resistive circuits using CPLEX2015

    • Author(s)
      Taiki Okamoto, Suguru Ishiguro, and Kiyotaka Yamamura
    • Organizer
      2015 IEEE Workshop on Nonlinear Circuit Networks
    • Place of Presentation
      徳島,日本
    • Year and Date
      2015-12-11 – 2015-12-12
    • Int'l Joint Research
  • [Presentation] Characteristic analysis of piecewise-linear resistive circuits using SCIP2015

    • Author(s)
      Tetsuya Shiraishi, Suguru Ishiguro, and Kiyotaka Yamamura
    • Organizer
      2015 IEEE Workshop on Nonlinear Circuit Networks
    • Place of Presentation
      徳島,日本
    • Year and Date
      2015-12-11 – 2015-12-12
    • Int'l Joint Research
  • [Presentation] Finding all solutions of piecewise-linear resistive circuits using Excel2015

    • Author(s)
      Daiki Koyama and Kiyotaka Yamamura
    • Organizer
      2015 IEEE Workshop on Nonlinear Circuit Networks
    • Place of Presentation
      徳島,日本
    • Year and Date
      2015-12-11 – 2015-12-12
    • Int'l Joint Research
  • [Presentation] Excelを用いた区分的線形回路の全解探索2015

    • Author(s)
      小山大輝,石黒俊,山村清隆
    • Organizer
      2015年電子情報通信学会ソサイエティ大会
    • Place of Presentation
      仙台,日本
    • Year and Date
      2015-09-08 – 2015-09-11
  • [Presentation] Finding all DC solutions of nonlinear circuits using parallelogram LP test2015

    • Author(s)
      Kiyotaka Yamamura and Suguru Ishiguro
    • Organizer
      2015 IEEE European Conference on Circuit Theory and Design
    • Place of Presentation
      Trondheim, Norway
    • Year and Date
      2015-08-24 – 2015-08-26
    • Int'l Joint Research
  • [Presentation] 平行四辺形LPテストを用いた非線形回路の全解探索法2015

    • Author(s)
      石黒 俊, 高宮将弘,山村清隆
    • Organizer
      電子情報通信学会 第28回 回路とシステムワークショップ
    • Place of Presentation
      淡路島,日本
    • Year and Date
      2015-08-03 – 2015-08-04
  • [Presentation] A trapezoidal method for solving differential algebraic equations2015

    • Author(s)
      Junjie Huang, Qiang Li, Kiyotaka Yamamura, and Yasuaki Inoue
    • Organizer
      International Technical Conference on Circuits/Systems, Computers and Communications
    • Place of Presentation
      Seoul, Korea
    • Year and Date
      2015-06-29 – 2015-07-02
    • Int'l Joint Research

URL: 

Published: 2017-01-06  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi