| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2012-07-03 11:20 SCIPを用いた区分的線形回路の全解探索法 山村清隆・○石井孝幸（中大）  CAS2012-20 VLD2012-30 SIP2012-52 MSS2012-20 |
|
| 抄録 | （和） | 非線形回路のすべての解（直流動作点）を求める効率的かつ実用的なアルゴリズムを確立することは，集積回路設計における重要な未解決問題の一つである．この問題に対しては様々なアルゴリズムが提案され，特に最近のアルゴリズムでは数千～数万変数クラスの大規模非線形方程式の全解探索に成功したものもある．しかしこれらのアルゴリズムはインプリメンテーションの際に高度な専門的知識と複雑なプログラミングを必要とするため，初心者や非専門家には敷居の高い方法であった．本稿では，初心者でも簡単にインプリメントすることのできる，実現容易な区分的線形回路の全解探索法を提案する．本手法は，区分的線形回路を記述する区分的線形方程式を混合整数計画問題に定式化し，それに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 / / / / | |
| 文献情報 | 信学技報, vol. 112, no. 113, CAS2012-20, pp. 109-114, 2012年7月. | |
| 資料番号 | CAS2012-20 | |
| 発行日 | 2012-06-25 (CAS, VLD, SIP, MSS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CAS2012-20 VLD2012-30 SIP2012-52 MSS2012-20 |
|
| 研究会情報 | |
| 研究会 | VLD CAS MSS SIP |
| 開催期間 | 2012-07-02 - 2012-07-03 |
| 開催地（和） | 京都リサーチパーク |
| 開催地（英） | Kyoto Research Park |
| テーマ（和） | システムと信号処理および一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | CAS |
| 会議コード | 2012-07-VLD-CAS-MSS-SIP |
| 本文の言語 | 日本語 |
| タイトル（和） | SCIPを用いた区分的線形回路の全解探索法 |
| サブタイトル（和） | |
| タイトル（英） | Finding All Solutions of Piecewise-Linear Circuits Using SCIP |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 区分的線形回路 / piecewise-linear circuit |
| キーワード(2)（和/英） | 回路シミュレーション / circuit simulation |
| キーワード(3)（和/英） | 全解探索 / finding all solutions |
| キーワード(4)（和/英） | 整数計画法 / integer programming |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 山村 清隆 / Kiyotaka Yamamura / ヤマムラ キヨタカ |
| 第1著者 所属（和/英） | 中央大学 (略称： 中大) Chuo University (略称： Chuo Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 石井 孝幸 / Takayuki Ishii / イシイ タカユキ |
| 第2著者 所属（和/英） | 中央大学 (略称： 中大) Chuo University (略称： Chuo Univ.) |
| 講演者 | 第2著者 |
| 発表日時 | 2012-07-03 11:20:00 |
| 発表時間 | 20分 |
| 申込先研究会 | CAS |
| 資料番号 | CAS2012-20, VLD2012-30, SIP2012-52, MSS2012-20 |
| 巻番号（vol） | vol.112 |
| 号番号（no） | no.113(CAS), no.114(VLD), no.115(SIP), no.116(MSS) |
| ページ範囲 | pp.109-114 |
| ページ数 | 6 |
| 発行日 | 2012-06-25 (CAS, VLD, SIP, MSS) |
[研究会発表申込システムのトップページに戻る]