| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2023-11-16 11:15 |
沖縄 | 那覇市IT創造館 | ［招待講演］二階層線形時相論理制約の下でのヘテロジニアスなマルチロボットシステムの最適荷物搬送問題 永江孝太郎（阪大）・○潮 俊光（南山大）  CAS2023-60 MSS2023-30 |
異なる特性を持つロボット群からなるシステムに対する荷物搬送問題を考える．その特性に基づいてロボットをグループに分割する．... [more] | CAS2023-60 MSS2023-30 pp.1-6 |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2023-11-16 16:30 |
沖縄 | 那覇市IT創造館 | 時相論理仕様を満足するマルチエージェントシステムの深層強化学習 ○寺嶋啓太・小林孝一・山下 裕（北大） CAS2023-70 MSS2023-40 |
マルチエージェントシステムでは，共通目標の達成のためにエージェント群が如何に協調した行動をとるかが課題となる．著者らは以... [more] | CAS2023-70 MSS2023-40 pp.54-58 |
| RCC, ISEC, IT, WBS (共催) |
2023-03-14 13:00 |
山口 | 山口大学常盤キャンパス （ハイブリッド開催，主：現地開催，副：オンライン開催） |
時相論理仕様を満足するマルチエージェント監視システムの強化学習における報酬分配について ○寺嶋啓太・小林孝一・山下 裕（北大） IT2022-81 ISEC2022-60 WBS2022-78 RCC2022-78 |
マルチエージェントシステムでは，効率的な学習のために，エージェントの貢献度に応じた報酬分配方法の設計が重要である．本論文... [more] | IT2022-81 ISEC2022-60 WBS2022-78 RCC2022-78 pp.86-90 |
| MSS, NLP (併催) |
2020-03-09 09:00 |
愛知 | やすらぎの宿 蒲郡荘 （開催中止，技報発行あり） |
非線形格子系での断熱変化を用いた非線形局在モードの移動操作に関する一検討 ○荒木裕貴・引原隆士（京大） NLP2019-113 |
非線形格子系では，その非線形と離散性から，非線形局在モード(Intrinsic Localized Mode; ILM)... [more] | NLP2019-113 pp.1-6 |
| MSS, SS (共催) |
2019-01-15 13:05 |
沖縄 | 沖縄県青年会館 | スーパバイザ制御のためのLTL[F]を用いた制御仕様記述の検討 ○榊原愛海・潮 俊光（阪大） MSS2018-58 SS2018-29 |
LTL[$ mathcal{F} $]は線形時相論理を定量的に拡張した論理体系であり，システムの振舞いがどの程度仕様を満... [more] | MSS2018-58 SS2018-29 pp.25-28 |
| MSS, SS (共催) |
2017-01-26 14:30 |
京都 | 京都工芸繊維大学 60周年記念館 2階大セミナー室 | 温水供給システムの実測データに基づくモデリングと制御に関する検討 ○齋藤 司（京大）・薄 良彦（阪府大）・星野 光・引原隆士（京大） MSS2016-63 SS2016-42 |
本報告では, 透析の医療機関で得られた実測データ用いた温水供給システムのモデリング, 及び形式手法を用いた制御器設計につ... [more] | MSS2016-63 SS2016-42 pp.35-40 |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-24 13:25 |
兵庫 | 神戸情報大学院大学 | ペトリネット検証ツールHiPS向けon-the-flyモデル検査器の実現と評価 ○張江洋次朗・和﨑克己（信州大） CAS2016-63 MSS2016-43 |
ペトリネットモデルより生成される状態空間のイベントに着目したon-the-flyモデル検査器の設計を行った．HiPSは筆... [more] | CAS2016-63 MSS2016-43 pp.31-35 |
| SS, MSS (共催) |
2016-01-25 15:45 |
石川 | しいのき迎賓館 セミナールームB | 線形時相論理式からイベントベースオートマトンへの変換を利用したペトリネット検証ツールHiPS向けon-the-flyモデル検査器 ○張江洋次朗・和崎克己（信州大） MSS2015-46 SS2015-55 |
本稿では，ペトリネットより生成される状態空間を対象に，線形時相論理式によるon-the-flyモデル検査器の設計について... [more] | MSS2015-46 SS2015-55 pp.63-68 |
| SS, MSS (共催) |
2016-01-26 09:40 |
石川 | しいのき迎賓館 セミナールームB | 重み付きオートマトンに対する線形時相論理制約の下での最適制御 榊原愛海・Sasinee Pruekprasert・○潮 俊光（阪大） MSS2015-54 SS2015-63 |
本報告では，遷移に重みが与えられた重み付きオートマトンを制御対象とする． 制御対象の事象には，可制御事象と不可制御事象... [more] |
MSS2015-54 SS2015-63 pp.109-112 |
| SS | 2015-03-09 13:50 |
沖縄 | 沖縄県青年会館 | シーケンス図が持つメッセージ順序の曖昧性除去手法の提案 ○楠 野明・岡野浩三・楠本真二（阪大） SS2014-62 |
本稿は，仕様設計の段階で使用されるシーケンス図においてメッセージ順に関する欠陥を検出，および修正する手法を提案する．提案... [more] | SS2014-62 pp.43-48 |
| MBE | 2014-01-25 13:20 |
佐賀 | 佐賀大学 | 運転中の眠気と瞬目との関連性 ～ 眼電図からのパラメータ抽出の検討 ～ ○八江優輝・延本周仁・伊賀崎伴彦・村山伸樹・胡 振程（熊本大） MBE2013-111 |
毎年多くの交通事故が発生しているが，発生要因の中でも居眠り運転の原因である眠気は昼食後や深夜といった時間帯においてドライ... [more] | MBE2013-111 pp.85-88 |
| NLP | 2014-01-22 16:00 |
北海道 | ニセコパークホテル | ハイブリッド力学系におけるリミットサイクル振動子結合系の位相縮約法による解析 ○白坂 将・紅林 亘・中尾裕也（東工大） NLP2013-161 |
システムに瞬間的な変化を伴うような，時間的階層性をもつ系をモデル化する方法として，離散力学系と連続力学系の混在するハイブ... [more] | NLP2013-161 pp.167-171 |
| KBSE | 2013-05-31 14:45 |
神奈川 | 慶應義塾大学 | ヒューマンエラーに対する手順書の耐性検査 ○永藤直行（プレシステム）・渡部卓雄（東工大） KBSE2013-11 |
作業手順がヒューマンエラーに対して耐性があるかどうか検査するためにモデル検証の手法を利用する．作業手順には，ヒューマンエ... [more] | KBSE2013-11 pp.61-66 |
| IPSJ-SLDM, VLD (連催) |
2012-05-31 11:20 |
福岡 | 北九州国際会議場 | 誤差を有するシステムのシミュレーション結果に対する統計的解析とそのハードウェアによる高速化 ○大島浩資・小野翔平・松本剛史・藤田昌宏（東大） VLD2012-10 |
変数値に誤差を有するシステムの解析手法として，統計的モデル検査を利用することができる．統計的モデル検査においてはシミュレ... [more] | VLD2012-10 pp.55-60 |
| SWIM | 2011-11-18 10:30 |
東京 | 東海大学 高輪キャンパス | 上流設計からモデル検査プロセスまでの一貫設計検証環境 ～ UML記述からSPINモデル検査器用プロセス定義及び線形時相論理式への自動変換手法 ～ ○宮本直樹・和崎克己（信州大） SWIM2011-19 |
SPIN モデル検査器を実行するには，専用の仕様記述言語 PROMELA で対象モデルを記述する．また，検査対象の仕様の... [more] | SWIM2011-19 pp.7-12 |
[研究会発表申込システムのトップページに戻る]