講演名 | 2018-10-26 確率ペトリネットのパーフェクトサンプリングに関する一考察 岡村 寛之(広島大), 森原 和也(広島大), 土肥 正(広島大), |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 本稿では,確率ペトリネットに対するパーフェクトサンプリングについての考察を行う.パーフェクトサンプリングとは厳密に定常状態における状態をサンプリングする手法である.具体的に本稿では与えられた確率ペトリネットにエンベロープを用いた CFTP (Coupling From The Past) 法を適用するためのアルゴリズムについて提案する. |
抄録(英) | In this paper, we consider the perfect sampling for stochastic Petri nets. The perfect simulation is a technique to draw samples following the stationary distribution exactly. Concretely, in the paper, we derive the perfect sampling algorithm for a given stochastic Petri nets by using the CFTP (coupling from the past) with envelopes. |
キーワード(和) | パーフェクトシミュレーション / CFTP法 / エンベロープ法 / 確率ペトリネット / SMTソルバ |
キーワード(英) | perfect simulation / CFTP method / envelope method / stochastic Petri nets / SMT solver |
資料番号 | R2018-35 |
発行日 | 2018-10-19 (R) |
研究会情報 | |
研究会 | R |
---|---|
開催期間 | 2018/10/26(から1日開催) |
開催地(和) | 機械振興会館 |
開催地(英) | Kikai-Shinko-Kaikan Bldg. |
テーマ(和) | 情報通信システムの信頼性,信頼性一般 |
テーマ(英) | Reliability for communication system, Overall reliability engieering |
委員長氏名(和) | 弓削 哲史(防衛大) |
委員長氏名(英) | Tetsushi Yuge(National Defense Academy) |
副委員長氏名(和) | 安里 彰(富士通) |
副委員長氏名(英) | Akira Asato(Fujitsu) |
幹事氏名(和) | 田村 信幸(法政大) / 平栗 滋人(鉄道総研) |
幹事氏名(英) | Nobuyuki Tamura(Hosei Univ.) / Shigeto Hiraguri(RTRI) |
幹事補佐氏名(和) | 井上 真二(関西大) / 岡村 寛之(広島大) |
幹事補佐氏名(英) | Shinji Inoue(Kansai Univ.) / Hiroyuki Okamura(Hiroshima Univ.) |
講演論文情報詳細 | |
申込み研究会 | Technical Committee on Reliability |
---|---|
本文の言語 | JPN |
タイトル(和) | 確率ペトリネットのパーフェクトサンプリングに関する一考察 |
サブタイトル(和) | |
タイトル(英) | A Note on Perfect Sampling for Stochastic Petri Nets |
サブタイトル(和) | |
キーワード(1)(和/英) | パーフェクトシミュレーション / perfect simulation |
キーワード(2)(和/英) | CFTP法 / CFTP method |
キーワード(3)(和/英) | エンベロープ法 / envelope method |
キーワード(4)(和/英) | 確率ペトリネット / stochastic Petri nets |
キーワード(5)(和/英) | SMTソルバ / SMT solver |
第 1 著者 氏名(和/英) | 岡村 寛之 / Hiroyuki Okamura |
第 1 著者 所属(和/英) | 広島大学(略称:広島大) Hiroshima University(略称:Hiroshima Univ.) |
第 2 著者 氏名(和/英) | 森原 和也 / Kazuya Morihara |
第 2 著者 所属(和/英) | 広島大学(略称:広島大) Hiroshima University(略称:Hiroshima Univ.) |
第 3 著者 氏名(和/英) | 土肥 正 / Tadashi Dohi |
第 3 著者 所属(和/英) | 広島大学(略称:広島大) Hiroshima University(略称:Hiroshima Univ.) |
発表年月日 | 2018-10-26 |
資料番号 | R2018-35 |
巻番号(vol) | vol.118 |
号番号(no) | R-267 |
ページ範囲 | pp.7-12(R), |
ページ数 | 6 |
発行日 | 2018-10-19 (R) |