| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: 最近10年)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS, NLP (共催) |
2022-03-28 10:05 |
ONLINE | オンライン開催 | 統計的モデル検査を用いたエレベータ制御則の設計検証の検討 ○北原祐希・中村正樹・榊原一紀（富山県立大）  MSS2021-57 NLP2021-128 |
エレベータシステムを設計する際，乗客発生の確率分布を考慮することで効率的な制御則を得ることが期待できる． UPPAAL... [more] |
MSS2021-57 NLP2021-128 pp.13-18 |
| SS | 2019-03-04 10:15 |
沖縄 | 沖縄産業支援センター | Acumenを用いたハイブリッドシステムの統計的モデル検査 ○井上晃輔・石井大輔（福井大） SS2018-54 |
信頼性の高い連続・離散ハイブリッドシステムの開発には, モデリング・シミュレーション・検証のための統合ツールが有用である... [more] | SS2018-54 pp.13-18 |
| SS | 2015-03-09 13:25 |
沖縄 | 沖縄県青年会館 | 適応的重点サンプリングによる統計的モデル検査手法 ○西木 悠・結縁祥治（名大） SS2014-61 |
本研究では,フォールトツリー解析と適応的重点サンプリングを使用した統計的モデル検査手法を提案する.統計的モデル検査はモン... [more] | SS2014-61 pp.37-42 |
[研究会発表申込システムのトップページに戻る]