文献

J-GLOBAL ID：201802257059298721   整理番号：18A0191368

古典的DEVSモデル化とシミュレーション【Powered by NICT】

Classic DEVS modelling and simulation

著者 (2件)： Van Tendeloo Yentl (Department of Mathematics and Computer Science, University of Antwerp, Middelheimlaan 1, Antwerp, Belgium) ,  Vangheluwe Hans (Department of Mathematics and Computer Science, University of Antwerp / Flanders Make vzw, Middelheimlaan 1, Antwerp, Belgium)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： WSC  ページ： 644-658  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： DEVS離散事象抽象化を用いたモデル化複雑な動的システムのための一般的な形式的手法である。この抽象化レベルでは,システム(または内部,タイムアウトの場合)に関連する「事象」入力の時間配列はシステムの状態への瞬間的変化を引き起こす。DEVSの主な利点は,その厳密な形式的定義,モジュール構成のサポートである。このチュートリアルはボトムアップ様式で古典的DEVS形式を紹介し,簡単な交通信号例を用いた。原子(すなわち,非階層的)モデルの構文と操作的意味論を最初に紹介した。結合(すなわち,階層的)モデルを構造と対原子モデルに導入した。DEVSの実際応用し続けている,例えば待ち行列システムの性能解析のためのすべての例は,工具PythonPDEVSを示した,この導入は他のDEVSツールに等しく適用可能である。DEVS理論,DEVS変異体,DEVSツールを読み,と結論した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *モデリング ,  原子モデル ,  性能分析 ,  動的系 ,  操作的意味論
準シソーラス用語： 構文 ,  交通信号 ,  ボトムアップ ,  タイムアウト , 【Automatic Indexing@JST】

分類 (1件)： 待ち行列  (KA03050I)

タイトルに関連する用語 (2件)： モデル化 ,  シミュレーション