お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (検索条件: すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 135件中 1~20件目  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
KBSE 2024-03-14
13:45
沖縄 沖縄県総合福祉センター
(ハイブリッド開催,主:現地開催,副:オンライン開催)
ユーザの性格特性に基づくシステム安全性検証に関する一考察
成澤瑠佳小形真平信州大)・青木善貴BIPROGY)・中川博之阪大)・小林一樹岡野浩三信州大KBSE2023-72
人に危害を及ぼさないシステムを開発するためには,設計段階から安全性を考慮することが重要である.近年では,利用者の性格特性... [more] KBSE2023-72
pp.43-48
KBSE 2024-03-14
14:10
沖縄 沖縄県総合福祉センター
(ハイブリッド開催,主:現地開催,副:オンライン開催)
倫理的判断へのモデル検査適用の試み
青木善貴中山陽太郎BIPROGYKBSE2023-73
自律的システムは,今後システムの安全を確保するとともに,倫理的な判断を行う必要がでてくると考えられる.形式手法の一つであ... [more] KBSE2023-73
pp.49-54
DC 2024-02-28
11:20
東京 機械振興会館 PlusCALを用いた耐故障コンセンサスアルゴリズムの記述と検証
小野蒼生土屋達弘阪大DC2023-96
コンセンサスアルゴリズムは分散アルゴリズムの一種である.
本研究ではいくつかのコンセンサスアルゴリズムを故障時の動作も... [more]
DC2023-96
pp.11-16
SS, DC
(共催)
2023-10-11
16:00
長野 信州大学工学部(長野市)
(ハイブリッド開催,主:現地開催,副:オンライン開催)
相互排除アルゴリズムを対象とした形式検証技術の適用
西口尚輝土屋達弘阪大SS2023-24 DC2023-30
並行アルゴリズムを正しく設計するのは難しい.本研究では,相互排除に注目し,並行アルゴリズムを仕様化し検証する形式手法の利... [more] SS2023-24 DC2023-30
pp.19-21
SWIM, KBSE
(共催)
2023-05-20
14:25
静岡 HAMAMATSU ACT CITY(浜松)
(ハイブリッド開催,主:現地開催,副:オンライン開催)
対話型システムにおけるユーザの物品取り忘れの発生状況特定に関する検討
成澤瑠佳小形真平信州大)・青木善貴BIPROGY)・中川博之阪大)・小林一樹岡野浩三信州大KBSE2023-10 SWIM2023-10
物品のやり取りを伴う対話型システムの設計を行う際には,物品取り忘れが発生し得る状況への対策を施さなければならない.既存の... [more] KBSE2023-10 SWIM2023-10
pp.59-64
KBSE 2023-03-17
10:40
広島 JMS アステールプラザ(広島)
(ハイブリッド開催,主:現地開催,副:オンライン開催)
モデル検査を用いたFRAMにおける機能間の相互作用を検証するの試み
青木善貴BIPROGY)・久住憲嗣芝浦工大KBSE2022-62
FRAM(Functional Resonance Analysis Method:機能共鳴分析手法) は,システムの機... [more] KBSE2022-62
pp.49-54
KBSE 2023-03-17
12:50
広島 JMS アステールプラザ(広島)
(ハイブリッド開催,主:現地開催,副:オンライン開催)
確率的モデル検査器を用いたファミリーベースモデル検査についての考察
岸 知二早大KBSE2022-64
ファミリーベースモデル検査は可変性を持つシステム定義を対象にモデル検査を行い、複数の製品バリエーションの性質を一度に検証... [more] KBSE2022-64
pp.61-66
SS 2023-03-15
09:55
沖縄 名護市産業支援センター
(ハイブリッド開催,主:現地開催,副:オンライン開催)
データ木書換え系の正則保存性 ~ 単項標準形に分解可能なクラス ~
坂尾優斗関 浩之名大SS2022-62
言語クラス$mathcal{L}$上の変換$T$が正則保存性を持つとは,任意の正則な言語$L in mathcal{L}... [more] SS2022-62
pp.91-96
KBSE 2023-01-19
15:10
石川 ITビジネスプラザ武蔵(金沢)
(ハイブリッド開催,主:現地開催,副:オンライン開催)
ラプラス展開に着目した自己適応システムにおける動的検証の高速化に関する考察
藤本昌也中川博之土屋達弘阪大KBSE2022-47
本研究では,自己適応システムにおける動的検証を高速化する手法を提案する.動的検証を高速化する既存手法として,設計時に予め... [more] KBSE2022-47
pp.25-30
KBSE, SC
(共催)
2022-11-05
09:30
長野 野沢温泉 桐屋旅館
(ハイブリッド開催,主:現地開催,副:オンライン開催)
確率的モデル検査ツールによるパロンドのパラドックスの分析
西口尚輝中川博之土屋達弘阪大KBSE2022-38 SC2022-33
本論文では,ソフトウェアのふるまいを形式的に検査する確率的モデル検査ツールの,他分野への応用方法を考える.具体的には,ゲ... [more] KBSE2022-38 SC2022-33
pp.43-47
MSS, NLP
(共催)
2022-03-28
10:05
ONLINE オンライン開催 統計的モデル検査を用いたエレベータ制御則の設計検証の検討
北原祐希中村正樹榊原一紀富山県立大MSS2021-57 NLP2021-128
エレベータシステムを設計する際,乗客発生の確率分布を考慮することで効率的な制御則を得ることが期待できる.
UPPAAL... [more]
MSS2021-57 NLP2021-128
pp.13-18
MSS, NLP
(共催)
2022-03-29
14:55
ONLINE オンライン開催 Little-JILを用いた宇宙機システム運用シナリオのモデル検証
染谷一徳JAXA)・平石邦彦北陸先端大MSS2021-78 NLP2021-149
X線天文衛星「ひとみ」の異常事象のように、運用シナリオに不備がある場合、衛星損失につながる可能性がある。そこで、Mode... [more] MSS2021-78 NLP2021-149
pp.121-126
SS, DC
(共催)
2021-10-19
15:25
ONLINE オンライン開催 レジスタオートマトンと能力等価な凍結演算子付きmu-計算の部分クラス
大西 晃仙田涼摩名大)・高田喜朗高知工科大)・関 浩之名大SS2021-17 DC2021-22
有限オートマトンに,データ値を扱えるレジスタを追加して拡張したレジスタオートマトン (RA)は,所属問題や空問題が判定可... [more] SS2021-17 DC2021-22
pp.23-28
ITS, IEE-ITS
(連催)
2021-03-15
15:05
ONLINE オンライン開催 モデル検査を用いたラウンドアバウトにおける交通量制御方式の検証
土屋達弘阪大)・大塚敏史日立ITS2020-43
本研究では,形式検証手法であるモデル検査を用いて,ラウンドアバウト型の交差点における車両の交通を制御する方法の検証を行っ... [more] ITS2020-43
pp.41-44
SS 2021-03-03
10:25
ONLINE オンライン開催 レジスタオートマトンに変換可能な凍結演算子付き線形時相論理の部分クラス
大西 晃仙田涼摩名大)・高田喜朗高知工科大)・関 浩之名大SS2020-29
有限オートマトンに,データ値を扱えるレジスタを追加して拡張したレジスタオートマトン (RA)は,所属問題や空問題が判定可... [more] SS2020-29
pp.7-12
KBSE 2020-03-06
13:30
沖縄 てんぶす那覇
(開催中止,技報発行あり)
安全性解析支援のための状態遷移系に基づくハザード近接状態分析手法の提案
鈴木悠介・○小形真平大池勇太郎信州大)・青木善貴日本ユニシス)・中川博之阪大)・小林一樹岡野浩三信州大KBSE2019-47
STAMP (System-Theoretic Accident Model and Processes)/STPA (... [more] KBSE2019-47
pp.7-12
SS 2020-03-05
12:05
沖縄 てんぶす那覇
(開催中止,技報発行あり)
STAMP/STPAとモデル検査の連携によるハザード遷移系列の導出手法
楊 盼岡野浩三小形真平信州大)・岡本圭史仙台高専SS2019-56
システム理論に基づくアクシデントモデルとして,Systems Theoretic Accident Model and ... [more] SS2019-56
pp.93-98
ICSS, IPSJ-SPT
(連催)
2020-03-03
11:00
沖縄 沖縄県青年会館
(開催中止,技報発行あり)
様相μ計算によるRNNのモデル検査
青島達大碓井利宣NTTICSS2019-88
機械学習モデルは,自動運転やロボティクス,工場の作業自動化など,様々なサイバーフィジカルシステムへ適用されている.しかし... [more] ICSS2019-88
pp.119-124
KBSE, SC
(共催)
2019-11-08
11:30
長野 信州大学 不具合原因分析支援のためのNuSMV反例解析手法の試案
大池勇太郎小形真平信州大)・青木善貴日本ユニシス)・中川博之阪大)・小林一樹岡野浩三信州大KBSE2019-24 SC2019-21
CPS(Cyber-Physical System)のように複数のモジュールが相互作用する大規模複雑なシステムを対象とし... [more] KBSE2019-24 SC2019-21
pp.7-12
SWIM, KBSE
(共催)
2019-05-25
09:45
東京 機械振興会館 確率的モデル検査器を用いたFRAM支援手法の試案
青木善貴日本ユニシス)・小形真平信州大KBSE2019-8 SWIM2019-8
FRAM (Functional Resonance Analysis Method)は複雑な技術システムを分析しモデル... [more] KBSE2019-8 SWIM2019-8
pp.49-56
 135件中 1~20件目  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会