| 講演名 | 2012-07-03 SCIPを用いた区分的線形回路の全解探索法(システムと信号処理及び一般) 山村 清隆, 石井 孝幸, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 非線形回路のすべての解(直流動作点)を求める効率的かつ実用的なアルゴリズムを確立することは,集積回路設計における重要な未解決問題の一つである.この問題に対しては様々なアルゴリズムが提案され,特に最近のアルゴリズムでは数千～数万変数クラスの大規模非線形方程式の全解探索に成功したものもある.しかしこれらのアルゴリズムはインプリメンテーションの際に高度な専門的知識と複雑なプログラミングを必要とするため,初心者や非専門家には敷居の高い方法であった.本稿では,初心者でも簡単にインプリメントすることのできる,実現容易な区分的線形回路の全解探索法を提案する.本手法は,区分的線形回路を記述する区分的線形方程式を混合整数計画問題に定式化し,それにSCIP, CPLEXといった非商用/商用の優れた整数計画法のソフトウェアを適用するものである.このようなアプローチは近年の整数計画法の驚異的発展により初めて可能となったもので,初心者でも複雑なプログラムを作ることなく,簡単に区分的線形回路の全解探索を行うことができる. |
| 抄録(英) | Finding all DC solutions of nonlinear circuits is an important problem in circuit simulation. Various algorithms have been proposed for this problem. However, the implementation of these algorithms is generally difficult for non-experts or beginners. In this paper, we propose a new method for finding all solutions of piecewise-linear circuits using integer programming. In this method, we formulate the problem of finding all solutions by a mixed integer programming problem, and solve it by a high-performance integer programming solver such as SCIP or CPLEX. It is shown that the proposed method can be easily implemented without making complicated programs. It is also confirmed by numerical examples that the proposed method can find all solutions of medium-scale circuits in practical computation time. |
| キーワード(和) | 区分的線形回路 / 回路シミュレーション / 全解探索 / 整数計画法 |
| キーワード(英) | piecewise-linear circuit / circuit simulation / finding all solutions / integer programming |
| 資料番号 | CAS2012-20,VLD2012-30,SIP2012-52,MSS2012-20 |
| 発行日 |
| 研究会情報 | |
| 研究会 | MSS |
|---|---|
| 開催期間 | 2012/6/25(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Mathematical Systems Science and its applications(MSS) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | SCIPを用いた区分的線形回路の全解探索法(システムと信号処理及び一般) |
| サブタイトル（和） | |
| タイトル（英） | Finding All Solutions of Piecewise-Linear Circuits Using SCIP |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 区分的線形回路 / piecewise-linear circuit |
| キーワード(2)（和/英） | 回路シミュレーション / circuit simulation |
| キーワード(3)（和/英） | 全解探索 / finding all solutions |
| キーワード(4)（和/英） | 整数計画法 / integer programming |
| 第 1 著者 氏名（和/英） | 山村 清隆 / Kiyotaka YAMAMURA |
| 第 1 著者 所属（和/英） | 中央大学理工学部 Chuo University |
| 第 2 著者 氏名（和/英） | 石井 孝幸 / Takayuki ISHII |
| 第 2 著者 所属（和/英） | 中央大学理工学部 Chuo University |
| 発表年月日 | 2012-07-03 |
| 資料番号 | CAS2012-20,VLD2012-30,SIP2012-52,MSS2012-20 |
| 巻番号（vol） | vol.112 |
| 号番号（no） | 116 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |