CARMAモデルの統計的解析  先進チュートリアル【JST・京大機械翻訳】

Galpin Vashti; Georgoulas Anastasis; Loreti Michele; Vandin Andrea

文献

J-GLOBAL ID：202002224858299775 整理番号：20A1759647

CARMAモデルの統計的解析先進チュートリアル【JST・京大機械翻訳】

Statistical analysis of CARMA models an advanced tutorial

出版者サイト複写サービスで全文入手
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A1759647&from=J-GLOBAL&jstjournalNo=D0698C") }}

著者 (4件)： , , ,
資料名：
号： WSC ’18 ページ： 395-409 発行年： 2018年
JST資料番号： D0698C 資料種別：会議録 (C)
記事区分：原著論文発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

CARMA(選択的適応資源共有Markovエージェント)は,集団適応システムのモデリングのために開発されたプロセス代数ベース定量的言語である。CARMAモデルは,属性保存によるコンポーネントの集合がユニキャストと放送通信を介して相互作用し,豊富なモデリング形式を提供する環境から成る。CARMAモデルの意味論は,CARMA Eclipse Plug-inを用いてシミュレートできる連続時間Markov連鎖によって与えられる。さらに,統計的モデル検査を,MultiVeStAツールを用いたシミュレーションを通して発生する軌跡に適用することができる。この先進的チュートリアルは,CARMAとMultiVeStAの背後にある理論のいくつかを導入し,集団適応システムモデリングへの適用を示す。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

, , , , , , , , , ,
, , 【Automatic Indexing@JST】

システム設計・解析

前のページに戻る

CARMAモデルの統計的解析 先進チュートリアル【JST・京大機械翻訳】

CARMAモデルの統計的解析先進チュートリアル【JST・京大機械翻訳】