{"created":"2025-01-18T22:50:09.609667+00:00","updated":"2025-01-22T23:33:29.551985+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00017060","sets":["934:989:990:991"]},"path":["991"],"owner":"1","recid":"17060","title":["ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法"],"pubdate":{"attribute_name":"公開日","attribute_value":"2008-09-26"},"_buckets":{"deposit":"ad562cc0-b5e1-45ab-be7a-2f7c83b0eb16"},"_deposit":{"id":"17060","pid":{"type":"depid","value":"17060","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法"},{"subitem_title":"An Interval-based Consistency Technique for Reliable Simulation of Hybrid Systems","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"オリジナル論文","subitem_subject_scheme":"Other"}]},"item_type_id":"3","publish_date":"2008-09-26","item_3_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"早稲田大学理工学術院"},{"subitem_text_value":"早稲田大学理工学術院"},{"subitem_text_value":"国立情報学研究所"}]},"item_3_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Faculty of Science and Engineering, Waseda University","subitem_text_language":"en"},{"subitem_text_value":"Faculty of Science and Engineering, Waseda University","subitem_text_language":"en"},{"subitem_text_value":"National Institute of Informatics","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/17060/files/IPSJ-TOM0101013.pdf"},"date":[{"dateType":"Available","dateValue":"2010-09-26"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-TOM0101013.pdf","filesize":[{"value":"380.2 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"17"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"fbb6c72f-30b2-47ad-949f-2075fa58f5a3","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2008 by the Information Processing Society of Japan"}]},"item_3_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"石井, 大輔"},{"creatorName":"上田, 和紀"},{"creatorName":"細部博史"}],"nameIdentifiers":[{}]}]},"item_3_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Daisuke, Ishii","creatorNameLang":"en"},{"creatorName":"Kazunori, Ueda","creatorNameLang":"en"},{"creatorName":"Hiroshi, Hosobe","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_3_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11464803","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_3_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7780","subitem_source_identifier_type":"ISSN"}]},"item_3_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"離散変化と時間に関する連続変化からなるハイブリッドシステムは，物理学をはじめ，さまざまな分野の問題を記述，シミュレーションするためのモデルとして注目を集めている．ハイブリッドシステムのシミュレーションにおいては，連続状態を扱う際に計算誤差が不可避であり，厳密な解軌道を得ることができないという問題がある．本研究の提案手法では，常微分方程式の区間解析に基づく求解手法と，非線形問題のための区間制約伝播手法を用いた求解手法を統合することにより，ハイブリッド軌道の指定精度による完全な区間包囲を効率良く求めることを可能にした．また提案手法を実装するとともに，実験により提案手法の有効性を評価した．提案手法により，ハイブリッドシステムのシミュレーションを，解の精度を保証しながら高信頼に行うことが可能になる．","subitem_description_type":"Other"}]},"item_3_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Hybrid systems are systems consisting of discrete changes and continuous changes over time. Problems in various fields such as physics can be modeled as hybrid systems. In a simulation of a hybrid system, it is difficult to obtain rigorous solution of the model because of computation errors in the handling of continuous states. Our proposed method integrates interval-based techniques for initial value problems for ordinary differential equations and consistency techniques for nonlinear problems. The method obtains complete interval enclosures of hybrid trajectories efficiently with a given accuracy. We implemented the method and evaluated its effectiveness. Using the method, we can simulate hybrid systems reliably with guaranteeing its accuracy.","subitem_description_type":"Other"}]},"item_3_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"159","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌数理モデル化と応用（TOM）"}],"bibliographicPageStart":"149","bibliographicIssueDates":{"bibliographicIssueDate":"2008-09-26","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"1","bibliographicVolumeNumber":"1"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"id":17060,"links":{}}