WEKO3
アイテム
ハイブリッドシステム解析器HyLaGIにおける非線形常微分方程式の精度保証計算
https://ipsj.ixsq.nii.ac.jp/records/187622
https://ipsj.ixsq.nii.ac.jp/records/1876223e84810e-91e8-4739-a798-39206ecba996
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-Z80-2B-05.pdf (261.6 kB)
|
Copyright (c) 2018 by the Information Processing Society of Japan
|
| Item type | National Convention(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2018-03-13 | |||||||||||
| タイトル | ||||||||||||
| タイトル | ハイブリッドシステム解析器HyLaGIにおける非線形常微分方程式の精度保証計算 | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| キーワード | ||||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | ソフトウェア科学・工学 | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 早大 | ||||||||||||
| 著者所属 | ||||||||||||
| 早大 | ||||||||||||
| 著者所属 | ||||||||||||
| 早大 | ||||||||||||
| 著者名 |
増田, 健太
× 増田, 健太
× 松本, 翔太
× 上田, 和紀
|
|||||||||||
| 論文抄録 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | ハイブリッドシステムの記号シミュレータであるHyLaGIは、離散変化時刻が記号的に求められないようなモデルについて、区間ニュートン法とアフィン演算を用いたシミュレーションを行うことで、パラメータ間の一次の依存関係を保存した精度保証解を計算することができる区間モードという機能を備えている。しかし、現在の区間モードでは非線形な常微分方程式を含むモデルは扱えないという問題がある。本研究は非線形な常微分方程式について、これを定数項に区間を持つ線形常微分方程式を複数個繋ぎ合わせた形で包含したハイブリッドシステムに変換し、区間モードを用いて精度保証計算を行う手法の実装と評価を行うものである。 | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AN00349328 | |||||||||||
| 書誌情報 |
第80回全国大会講演論文集 巻 2018, 号 1, p. 189-190, 発行日 2018-03-13 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
