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

2016 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テスト」を開発し、この方法を用いた非線形回路の全解探索法を提案した。
(2) 大規模集積回路の設計など幅広い分野で重要となる解曲線追跡問題に対し、「長い間解決されていなかった本質的な問題点」を解決した新しい解曲線追跡法を提案し、その理論的証明を与えるとともに、数値実験によりその実用的な有効性を実証した。この論文により、IEEE APCCAS Best Paper Awardを受賞した。
(3) 整数計画ソルバーCPLEXを用いた非線形回路の特性解析法と変動解析法を開発した。この方法は実装が容易で、混合整数計画問題にCPLEXを数回適用するだけで全ての特性曲線や複雑な形状の解集合を求めることができる。またこの方法により全ての解が得られることを、CPLEXで使われているアルゴリズムの原著論文とCPLEXのマニュアルから証明した。更にこの方法をExcelソルバーに拡張した。またこれらの研究内容で、国際会議IEEE APCCAS 2016で2件の招待講演を行った。
(4) 整数計画法を用いた区分的線形区間方程式の全ての解を求める方法を開発し、この分野の権威誌であるReliable Computingで発表した。

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素子クラスの非線形回路の全解探索に世界で初めて成功した。また「連続系の全解探索問題」に「離散系の最適化ソルバー」を適用するという新しい方法論を世界で初めて提唱し、それにより複雑な難問を簡単に効率良く解けることを示した。
・国際的に権威のある論文誌や国際会議で多くの論文を発表した。
・大規模集積回路の設計など幅広い分野で重要となる解曲線追跡問題に対し、「長い間解決されていなかった本質的な問題点」を解決した新しい解曲線追跡法を提案した。
・IEEE APCCAS Best Paper Award(最優秀論文賞)を含む3件の賞を受賞した。IEEE APCCAS (IEEE Asia Pacific Conference on Circuits and Systems) は、電気電子工学の分野で世界最大の学会であるIEEE(米国電気電子学会)が2年に1度開催する、IEEEの中でもメジャーな国際会議の一つである。本賞はIEEE APCCAS 2016に投稿された約300編の候補論文の中から、最も優秀とされた2編に授与されるものである。授賞式は韓国で開催されたIEEE APCCAS 2016のバンケットにて行われた。また、IEEE APCCASで2件の招待講演を行った。
・研究代表者の研究室の大学院生が電子情報通信学会回路とシステムワークショップで奨励賞を受賞した。

Strategy for Future Research Activity

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

  • Research Products

    (16 results)

All 2017 2016

All Journal Article (8 results) (of which Peer Reviewed: 8 results,  Open Access: 1 results) Presentation (8 results) (of which Int'l Joint Research: 5 results,  Invited: 2 results)

  • [Journal Article] 整数計画ソルバーを用いた区分的線形抵抗回路の完全解析2017

    • Author(s)
      高原弘樹,渡辺涼太,山村清隆
    • Journal Title

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

      Volume: 1 Pages: 243-248

    • Peer Reviewed
  • [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] A simple method for finding all characteristic curves of piecewise-linear resistive circuits using an integer programming solver2016

    • Author(s)
      Kiyotaka Yamamura and Ryota Watanabe
    • Journal Title

      Proceedings of 2016 IEEE Asia Pacific Conference on Circuits and Systems

      Volume: 1 Pages: 224-227

    • DOI

      10.1109/APCCAS.2016.7803939

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

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

      Proceedings of 2016 IEEE Asia Pacific Conference on Circuits and Systems

      Volume: 1 Pages: 228-231

    • DOI

      10.1109/APCCAS.2016.7803940

    • Peer Reviewed
  • [Journal Article] A modified predictor-corrector method for tracing solution curves2016

    • Author(s)
      Kiyotaka Yamamura and Kiyoshi Adachi
    • Journal Title

      Proceedings of 2016 IEEE Asia Pacific Conference on Circuits and Systems

      Volume: 1 Pages: 372-375

    • DOI

      10.1109/APCCAS.2016.7803979

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

    • Author(s)
      Kiyotaka Yamamura, Ryota Watanabe, and Hiroki Takahara
    • Journal Title

      Proceedings of 2016 IEEE Workshop on Nonlinear Circuit Networks

      Volume: 1 Pages: 24-27

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

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

      Proceedings of 2016 IEEE Workshop on Nonlinear Circuit Networks

      Volume: 1 Pages: 28-31

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

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

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

      Volume: 1 Pages: 267-272

    • Peer Reviewed
  • [Presentation] 整数計画ソルバーを用いた区分的線形抵抗回路の完全解析2017

    • Author(s)
      高原弘樹,渡辺涼太,山村清隆
    • Organizer
      電子情報通信学会 第30回 回路とシステムワークショップ
    • Place of Presentation
      福岡、日本
    • Year and Date
      2017-05-11 – 2017-05-12
  • [Presentation] Complete analysis of piecewise-linear resistive circuits using integer programming2016

    • Author(s)
      Kiyotaka Yamamura, Ryota Watanabe, and Hiroki Takahara
    • Organizer
      2016 IEEE Workshop on Nonlinear Circuit Networks
    • Place of Presentation
      Tokushima, Japan
    • Year and Date
      2016-12-09 – 2016-12-10
    • Int'l Joint Research
  • [Presentation] Finding all solution sets of piecewise-linear interval equations using integer programming2016

    • Author(s)
      Kiyotaka Yamamura, Daiki Koyama, and Shintaro Sato
    • Organizer
      2016 IEEE Workshop on Nonlinear Circuit Networks
    • Place of Presentation
      Tokushima, Japan
    • Year and Date
      2016-12-09 – 2016-12-10
    • Int'l Joint Research
  • [Presentation] 直角三角形LPテストを用いた非線形回路の全解探索法2016

    • Author(s)
      寺谷和輝,山村清隆
    • Organizer
      電子情報通信学会非線形問題研究会
    • Place of Presentation
      東京、日本
    • Year and Date
      2016-10-27 – 2016-10-28
  • [Presentation] A simple method for finding all characteristic curves of piecewise-linear resistive circuits using an integer programming solver2016

    • Author(s)
      Kiyotaka Yamamura and Ryota Watanabe
    • Organizer
      2016 IEEE Asia Pacific Conference on Circuits and Systems
    • Place of Presentation
      Jeju, Korea
    • Year and Date
      2016-10-25 – 2016-10-28
    • Int'l Joint Research / Invited
  • [Presentation] Finding all solutions of piecewise-linear resistive circuits using Excel2016

    • Author(s)
      Kiyotaka Yamamura and Daiki Koyama
    • Organizer
      2016 IEEE Asia Pacific Conference on Circuits and Systems
    • Place of Presentation
      Jeju, Korea
    • Year and Date
      2016-10-25 – 2016-10-28
    • Int'l Joint Research / Invited
  • [Presentation] A modified predictor-corrector method for tracing solution curves2016

    • Author(s)
      Kiyotaka Yamamura and Kiyoshi Adachi
    • Organizer
      2016 IEEE Asia Pacific Conference on Circuits and Systems
    • Place of Presentation
      Jeju, Korea
    • Year and Date
      2016-10-25 – 2016-10-28
    • Int'l Joint Research
  • [Presentation] 整数計画ソルバーを用いた区分的線形抵抗回路の全ての特性曲線を求める簡単な方法2016

    • Author(s)
      山村清隆,石黒 俊
    • Organizer
      電子情報通信学会 第29回 回路とシステムワークショップ
    • Place of Presentation
      福岡、日本
    • Year and Date
      2016-05-12 – 2016-05-13

URL: 

Published: 2018-01-16  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi