講演抄録/キーワード |
講演名 |
2016-01-25 18:05
ハイブリッドシステムのシミュレーションにおける精度保証数値計算と数式処理との連携 ○松本翔太・上田和紀(早大) MSS2015-51 SS2015-60 |
抄録 |
(和) |
本研究の目的は離散変化と連続変化の両方を伴う動的システム
(ハイブリッドシステム)の精度保証シミュレータの開発である.
我々はこれまで制約求解と数式処理に基づき,システムのパラメータ解析を
可能とするシミュレータを開発してきたが,適用可能モデルが解析的に扱える
ものに限定されていた.本稿では,より広範なモデルの解析を目指し,
精度保証数値計算技術と数式処理とを連携させたシミュレーション手法および
その実装について論じる. |
(英) |
本研究の目的は離散変化と連続変化の両方を伴う動的システム
(ハイブリッドシステム)の精度保証シミュレータの開発である.
我々はこれまで制約求解と数式処理に基づき,システムのパラメータ解析を
可能とするシミュレータを開発してきたが,適用可能モデルが解析的に扱える
ものに限定されていた.本稿では,より広範なモデルの解析を目指し,
精度保証数値計算技術と数式処理とを連携させたシミュレーション手法および
その実装について論じる. |
キーワード |
(和) |
制約 / ハイブリッドシステム / 数式処理 / 精度保証数値計算 / / / / |
(英) |
constraint / hybrid system / symbolic formula manipulation / validated numerics / / / / |
文献情報 |
信学技報, vol. 115, no. 420, SS2015-60, pp. 93-98, 2016年1月. |
資料番号 |
SS2015-60 |
発行日 |
2016-01-18 (MSS, SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
MSS2015-51 SS2015-60 |