| 講演名 | 2023-06-15 SMTソルバによる確率ペトリネットのパーフェクトサンプリングアルゴリズムの高速化に関する考察 岡村 寛之(広島大), 安藤 清佳(広島大), 土肥 正(広島大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | |
| 抄録(英) | |
| キーワード(和) | |
| キーワード(英) | |
| 資料番号 | R2023-9 |
| 発行日 | 2023-06-08 (R) |
| 研究会情報 | |
| 研究会 | R |
|---|---|
| 開催期間 | 2023/6/15(から1日開催) |
| 開催地（和） | 機械振興会館 |
| 開催地（英） | Kikai-Shinko-Kaikan Bldg. |
| テーマ（和） | 信頼性一般 |
| テーマ（英） | Reliability General |
| 委員長氏名（和） | 門田 靖(リコー) |
| 委員長氏名（英） | Yasushi Kadota(Ricoh) |
| 副委員長氏名（和） | 岡村 寛之(広島大) |
| 副委員長氏名（英） | Hiroyuki Okamura(Hiroshima Univ.) |
| 幹事氏名（和） | 作村 建紀(法政大) / 井上 真二(関西大) |
| 幹事氏名（英） | Takenori Sakumura(Hosei Univ.) / Shinji Inoue(Kansai Univ.) |
| 幹事補佐氏名（和） | 横川 慎二(電通大) / 吉川 隆英(富士通研) / 太田 修平(神奈川大) |
| 幹事補佐氏名（英） | Shinji Yokogawa(Univ. of Electro-Comm.) / Takahide Yoshikawa(Fujitsu Lab.) / Shuhei Ota(Kanagawa Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Reliability |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | SMTソルバによる確率ペトリネットのパーフェクトサンプリングアルゴリズムの高速化に関する考察 |
| サブタイトル（和） | |
| タイトル（英） | A Note on Acceleration of Perfect Sampling Algorithm for Stochastic Petri Nets with SMT Solver |
| サブタイトル（和） | |
| キーワード(1)（和/英） | |
| 第 1 著者 氏名（和/英） | 岡村 寛之 / Hiroyuki Okamura |
| 第 1 著者 所属（和/英） | 広島大学(略称：広島大) Hiroshima University(略称：Hiroshima Univ.) |
| 第 2 著者 氏名（和/英） | 安藤 清佳 / Sayaka Ando |
| 第 2 著者 所属（和/英） | 広島大学(略称：広島大) Hiroshima University(略称：Hiroshima Univ.) |
| 第 3 著者 氏名（和/英） | 土肥 正 / Tadashi Dohi |
| 第 3 著者 所属（和/英） | 広島大学(略称：広島大) Hiroshima University(略称：Hiroshima Univ.) |
| 発表年月日 | 2023-06-15 |
| 資料番号 | R2023-9 |
| 巻番号（vol） | vol.123 |
| 号番号（no） | R-78 |
| ページ範囲 | pp.12-17(R), |
| ページ数 | 6 |
| 発行日 | 2023-06-08 (R) |