| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SeMI, SeMI (併催) |
2023-01-19 15:05 |
徳島 | 鳴門グランドホテル海月 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
［ショートペーパー］カメラを用いた人物位置検出のCSIセンシングへの移行に関する実験的な検討 ○小寺奏怜・太田翔己・西尾理志（東工大）  SeMI2022-81 |
CSI（チャネル状態情報）によるセンシングを代表とするWi-Fiセンシングが注目を集めている．Wi-Fiによるセンシング... [more] | SeMI2022-81 pp.43-48 |
| CPSY, DC (共催) IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC (共催) (連催) [詳細] |
2022-03-10 09:30 |
ONLINE | オンライン開催 | 強靭な衛星サービス・インフラ構築に向けた状態遷移確率モデルを用いたシステム連携の評価 ○冨田悠貴・神武直彦（慶大） CPSY2021-53 DC2021-87 |
衛星サービスの提供において、非修理系・高コスト・軌道制約といった宇宙システム特有の課題への対処が求められる。類似システム... [more] | CPSY2021-53 DC2021-87 pp.50-55 |
| ET | 2022-03-04 10:35 |
ONLINE | オンライン開催 | 授業評価と環境変化に基づいたマルチ生徒エージェントを活用した授業訓練システムの検討 ○桝本智絵・大井 翔・佐野睦夫（阪工大） ET2021-59 |
教員志望者が実際の現場で授業をする機会は教育実習など一部であり、教員として採用された場合，実践経験の少ないまま教壇に立つ... [more] | ET2021-59 pp.48-53 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2021-07-08 14:15 |
ONLINE | オンライン開催 (Zoom) | 仕様書の条件文における状態遷移関係の抽出方法 ○大西舞子（お茶の水女子大）・井 浩也・小形真平・岡野浩三（信州大）・戸次大介（お茶の水女子大） SS2021-5 KBSE2021-17 |
ソフトウェア開発において不具合の検出を早期の工程で行うことで,手戻り作業を減らし,開発効率を上げることが一般的に知られて... [more] | SS2021-5 KBSE2021-17 pp.25-30 |
| KBSE, SC (共催) |
2020-11-13 15:04 |
ONLINE | オンライン開催+機械振興会館 （ハイブリッド開催，主：オンライン開催，副：現地開催） |
［ポスター講演］学習者への教育的フィードバックの自動化に向けたステートマシン図間の差分検出ツールの試作 ○五島光祥・小形真平（信州大）・槇原絵里奈（同志社大）・岡野浩三（信州大） KBSE2020-15 SC2020-19 |
UML のステートマシン図は離散的な振る舞いを表すため，システム開発等において有用であるが，初学者にとって理解が難しいと... [more] | KBSE2020-15 SC2020-19 p.30 |
| CS | 2020-11-06 14:45 |
ONLINE | オンライン開催+中央・野々市公民館 （ハイブリッド開催，主：オンライン開催，副：現地開催） |
［依頼講演］自営モバイル網の自律的運用に向けた自己学習型トラヒック分析技術 ○沢辺亜南（NEC/東大）・岩井孝法（NEC）・中尾彰宏（東大） CS2020-63 |
ローカル5Gの利用ニーズが高まる一方で，無線通信の知識を持たないIoT事業者とっては効率の良いネットワーク運用が困難であ... [more] | CS2020-63 pp.81-82 |
| CPSY, DC (共催) IPSJ-ARC (連催) [詳細] |
2020-07-31 17:30 |
ONLINE | オンライン開催 | 機能等価な有限状態機械生成に基づく面積削減指向コントローラ拡大法 ○辻川敦也・細川利典（日大）・吉村正義（京都産大） CPSY2020-15 DC2020-15 |
近年，コントローラ拡大はレジスタ転送レベルにおけるテスト容易化設計やセキュリティ設計に用い られている．コントローラ... [more] | CPSY2020-15 DC2020-15 pp.93-98 |
| KBSE | 2020-03-06 13:30 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
安全性解析支援のための状態遷移系に基づくハザード近接状態分析手法の提案 鈴木悠介・○小形真平・大池勇太郎（信州大）・青木善貴（日本ユニシス）・中川博之（阪大）・小林一樹・岡野浩三（信州大） KBSE2019-47 |
STAMP (System-Theoretic Accident Model and Processes）/STPA (... [more] | KBSE2019-47 pp.7-12 |
| DC | 2020-02-26 12:00 |
東京 | 機械振興会館 | n入力マルチプレクサのテスト不能故障数削減のためのコントローラ拡大法 ○竹内勇希・細川利典・山崎紘史（日大）・吉村正義（京都産大） DC2019-90 |
近年，VLSIの微細化，高速化にともない，遷移故障モデルなどのタイミング欠陥に対するテストが必要不可欠となっている．しか... [more] | DC2019-90 pp.25-30 |
| KBSE | 2020-01-25 15:25 |
東京 | 機械振興会館 | 仮想時間とデバイスの状態分布によるIoTソフトウェアのためのモデルベーステストの高速化 ○田辺弘太郎（東大）・田辺良則（鶴見大）・萩谷昌己（東大） KBSE2019-44 |
Modbatはモデルベーステストを行うツールであり、拡張有限状態オートマトンを用いてモデリングを行う。本研究では、Mod... [more] | KBSE2019-44 pp.37-42 |
| MIKA (第二種研究会) |
2019-10-03 14:05 |
北海道 | 北海道大学 | ［依頼講演］機械学習ベースの通信トラヒック分析によるIoTアプリケーションのコンテキスト推定 ○沢辺亜南・岩井孝法（NEC） |
多様なデバイスが無線ネットワークを介して通信する Internet of Things (IoT) の普及に伴い，遠隔制... [more] | |
| DC | 2019-02-27 13:40 |
東京 | 機械振興会館 | コントローラの遷移故障検出率向上のための状態割当て手法 ○吉村正義（京都産大）・竹内勇希・山崎紘史・細川利典（日大） DC2018-78 |
近年，VLSIの微細化・高速化に伴いタイミング欠陥が増加し，遷移故障モデルにおけるテストが必要不可欠である．しかし，回路... [more] | DC2018-78 pp.43-48 |
| DC | 2019-02-27 14:30 |
東京 | 機械振興会館 | コントローラのテスト活性化用状態圧縮法 ○池ヶ谷祐輝・石山悠太・細川利典・山崎紘史（日大） DC2018-80 |
VLSIのテストにおける課題の一つとして，テスト容易化設計回路の面積削減と故障検出効率の向上が挙げられる．その課題を解決... [more] | DC2018-80 pp.55-60 |
| KBSE | 2019-01-26 10:05 |
東京 | 国立情報学研究所 | モデルベーステストツールModbatによるIoTソフトウェア検証に向けて ○田辺弘太郎（東大）・田辺良則（鶴見大）・萩谷昌己（東大） KBSE2018-44 |
Modbatは，モデルベーステストを行うツールであり，拡張有限状態オートマトンを用いてモデリングを行う． Modbat... [more] |
KBSE2018-44 pp.9-14 |
| DC, SS (共催) |
2018-10-05 10:00 |
愛知 | 犬山国際観光センター「フロイデ」 | 組込みシステムの要求仕様書を対象とした状態遷移モデル作成支援 ○中村 成・山本椋太・吉田則裕・高田広章（名大） SS2018-22 DC2018-23 |
要求仕様書は多くの場合，自然言語で記述される．そのため，目視による確認では発見できない記述漏れや不整合が存在しうる． ... [more] |
SS2018-22 DC2018-23 pp.25-30 |
| NS, OCS, PN (併催) |
2018-06-15 13:20 |
福島 | 郡山商工会議所 | ［奨励講演］暗号化された通信トラヒックに対するリアルタイムなアプリケーション推定 ○沢辺亜南・岩井孝法・里田浩三（NEC） NS2018-33 |
近年の通信事業者は，通信利用者のQoEやQoCを重要視していることから，従来の通信速度などのQoS向上に比べてより高度な... [more] | NS2018-33 pp.31-36 |
| RCS, NS (併催) |
2017-12-14 12:50 |
広島 | 広島アステールプラザ | 暗号化トラヒック分析を用いたスマートフォンの利用アプリケーション判定 ○沢辺亜南・岩井孝法・里田浩三（NEC） NS2017-126 |
通信利用者のニーズがQoSからQoEやQoCの満足へと高度化していることに加えて，個人情報を保護するために通信トラヒック... [more] | NS2017-126 pp.1-6 |
| SS, KBSE (共催) IPSJ-SE (連催) [詳細] |
2017-07-20 15:25 |
北海道 | 函館コミュニティプラザ | 組込みソフトウェアを対象とした状態遷移表の抽出と分析支援の検討 ○山本椋太・吉田則裕（名大）・青木奈央（組込みシステム技術協会）・高田広章（名大） SS2017-16 KBSE2017-16 |
レガシー化した組込みソフトウェアの理解が困難になっており，保守や再利用に大きなコストがかかる．リアルタイム制御を行う組込... [more] | SS2017-16 KBSE2017-16 pp.133-138 |
| MSS, SS (共催) |
2017-01-27 10:40 |
京都 | 京都工芸繊維大学 60周年記念館 2階大セミナー室 | Formal Description of a Processing as a Mapping between different sorts of Representations, Considering state-transition ○Fumiko Kouda（Utokyo） MSS2016-70 SS2016-49 |
[more] | MSS2016-70 SS2016-49 pp.77-82 |
| KBSE | 2017-01-23 13:20 |
東京 | 機械振興会館 | UMLに基づく概念モデリングにおける状態遷移図に対するモデル記法チェック機能の効果 ○但馬将貴・香山瑞恵・小形真平・橋本昌巳（信州大） KBSE2016-32 |
本研究の目的は，UMLに基づく概念モデリング教育を支援する環境の拡充である．ここでは，学習者が日常にある物事の動作を状態... [more] | KBSE2016-32 pp.7-12 |
[研究会発表申込システムのトップページに戻る]