| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2012-01-27 09:00 ［招待講演］区間制約プログラミングの研究事例 ～ Under-constrained問題のための射影手法とハイブリッドシステムの高精度シミュレーション手法 ～ ○石井大輔（NII）  MSS2011-67 SS2011-52 |
|
| 抄録 | （和） | 区間制約プログラミングは連続領域の変数をもつ制約を用いて事象を記述し，区間計算を用いて高信頼な求解処理を行う枠組みである．基本求解アルゴリズムであるBranchAndPruneアルゴリズム，区間ニュートン法の拡張，平行体に基づくwrapping effectの抑制法等が研究されてきた．本稿では区間制約プログラミングの最近の研究事例を2つ紹介する． |
| （英） | Interval constraint programming is a framework for describing various phenomena with constraints that involve variables on the continuous domain, and for solving the constraints rigorously based on the interval computation. The topics of interval constraint programming include the BranchAndPrune algorithm for solving constraints, extensions to the interval Newton method, and reduction of the wrapping effect using parallelotope. This paper describes the two recent research cases on interval constraint programming. | |
| キーワード | （和） | 区間制約プログラミング / 射影手法 / ハイブリッドシステム / 平行体計算 / / / / |
| （英） | interval constraint programming / projection methods / hybrid systems / parallelotope methods / / / / | |
| 文献情報 | 信学技報, vol. 111, no. 406, SS2011-52, pp. 73-77, 2012年1月. | |
| 資料番号 | SS2011-52 | |
| 発行日 | 2012-01-19 (MSS, SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | MSS2011-67 SS2011-52 |
|
| 研究会情報 | |
| 研究会 | SS MSS |
| 開催期間 | 2012-01-26 - 2012-01-27 |
| 開催地（和） | 高知市文化プラザかるぽーと |
| 開催地（英） | Kochi City Culture-Plaza Cul-Port |
| テーマ（和） | 一般 |
| テーマ（英） | General topics |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2012-01-SS-MSS |
| 本文の言語 | 日本語 |
| タイトル（和） | 区間制約プログラミングの研究事例 |
| サブタイトル（和） | Under-constrained問題のための射影手法とハイブリッドシステムの高精度シミュレーション手法 |
| タイトル（英） | Research Cases on Interval Constraint Programming |
| サブタイトル（英） | A Projection Method for Under-Constrained Problems and a Precise Simulation Method for Hybrid Systems |
| キーワード(1)（和/英） | 区間制約プログラミング / interval constraint programming |
| キーワード(2)（和/英） | 射影手法 / projection methods |
| キーワード(3)（和/英） | ハイブリッドシステム / hybrid systems |
| キーワード(4)（和/英） | 平行体計算 / parallelotope methods |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 石井 大輔 / Daisuke Ishii / イシイ ダイスケ |
| 第1著者 所属（和/英） | 国立情報学研究所 (略称： NII) National Institute of Informatics (略称： NII) |
| 講演者 | 第1著者 |
| 発表日時 | 2012-01-27 09:00:00 |
| 発表時間 | 60分 |
| 申込先研究会 | SS |
| 資料番号 | MSS2011-67, SS2011-52 |
| 巻番号（vol） | vol.111 |
| 号番号（no） | no.405(MSS), no.406(SS) |
| ページ範囲 | pp.73-77 |
| ページ数 | 5 |
| 発行日 | 2012-01-19 (MSS, SS) |
[研究会発表申込システムのトップページに戻る]