• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2020 年度 実績報告書

IoT向け自律協調自己適応機構とその形式検証手法の研究

研究課題

研究課題/領域番号 18H03229
研究機関電気通信大学

研究代表者

田原 康之  電気通信大学, 大学院情報理工学研究科, 准教授 (30390602)

研究分担者 清 雄一  電気通信大学, 大学院情報理工学研究科, 准教授 (20700157)
鄭 顕志  早稲田大学, 理工学術院, 准教授(任期付) (40434295)
中川 博之  大阪大学, 情報科学研究科, 准教授 (40508834)
石川 冬樹  国立情報学研究所, アーキテクチャ科学研究系, 准教授 (50455193)
一色 正男  神奈川工科大学, 創造工学部, 教授 (90567364)
研究期間 (年度) 2018-04-01 – 2022-03-31
キーワード自己適応システム / IoT / 自律協調システム / 形式検証 / セキュリティ・プライバシ
研究実績の概要

令和2年度は,(1) 個々の機器が検知できない環境変化に対し,他の機器が問題の機器の振舞いを監視し,環境変化の有無をそれらの機器が慎重に相談し合った上で気づくための協調手法の実験・評価・洗練を行い,(2) 機器単体では対応できない環境変化に対し,自己適応機構同士で協調して適応する手法の実験・評価・洗練を行い,(3) 複雑なシステムの振舞いが正しく機能することを保証する技術として有望視されている形式検証を適用することにより,協調動作が正しく機能するかどうかを検証する手法の実験・評価・洗練を行い,(4) 協調動作を行う自己適応機構によるものも含め,IoT システムにおけるプライバシ侵害を防止する仕組みの実験・評価・洗練を行い,(5) (1)~(4) の各機構・手法を統合した,IoT向け自律協調自己適応ミドルウェアとアプリケーションの開発を行った.

現在までの達成度 (区分)
現在までの達成度 (区分)

2: おおむね順調に進展している

理由

令和2年度の研究実績の各項目について,年度当初の研究実施計画のサブテーマ1~5に記載した内容を,おおむね達成できているため.

今後の研究の推進方策

今後は,研究計画調書に記載した計画の通りに推進する予定である.

  • 研究成果

    (58件)

すべて 2021 2020 その他

すべて 雑誌論文 (12件) (うち国際共著 1件、 査読あり 12件、 オープンアクセス 10件) 学会発表 (45件) (うち国際学会 16件、 招待講演 1件) 備考 (1件)

  • [雑誌論文] 送信ドメイン認証を用いた送信者レピュテーション構築手法の提案2021

    • 著者名/発表者名
      櫻庭秀次, 依田みなみ, 清雄一, 田原康之, 大須賀昭彦
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.62, No.5 ページ: 1173-1183

    • DOI

      10.20729/00211077

    • 査読あり / オープンアクセス
  • [雑誌論文] An Efficient Clustering-Based Anonymization Scheme for Privacy-Preserving Data Collection in IoT based Healthcare Services2021

    • 著者名/発表者名
      J. Andrew Onesimu, J. Karthikeyan, and Yuichi Sei
    • 雑誌名

      Peer-to-Peer Networking and Applications

      巻: Vol.14, issue 3 ページ: 1629-o1649

    • DOI

      10.1007/s12083-021-01077-7

    • 査読あり / 国際共著
  • [雑誌論文] Count Estimation with A Low-Accuracy Machine Learning Model2021

    • 著者名/発表者名
      Yuichi Sei and Akihiko Ohsuga
    • 雑誌名

      IEEE Internet of Things Journal

      巻: Vol.8, Issue 8 ページ: 7079-7088

    • DOI

      10.1109/JIOT.2020.3038273

    • 査読あり / オープンアクセス
  • [雑誌論文] Codeword Detection, Focusing on Differences in Similar Words Between Two Corpora of Microblogs2021

    • 著者名/発表者名
      Takuro Hada, Yuichi Sei, Yasuyuki Tahara, and Akihiko Ohsuga
    • 雑誌名

      Annals of Emerging Technologies in Computing (AETiC)

      巻: Vol.5, No.2 ページ: -

    • DOI

      10.33166/AETiC.2021.02.008

    • 査読あり / オープンアクセス
  • [雑誌論文] Privacy-preserving chi-squared test of independence for small samples2021

    • 著者名/発表者名
      Yuichi Sei, Akihiko Ohsuga
    • 雑誌名

      BioData Mining

      巻: Vol.14, No.6 ページ: 1-25

    • DOI

      10.1186/s13040-021-00238-x

    • 査読あり / オープンアクセス
  • [雑誌論文] Detection of the Hardcoded Login Information from Socket and String Compare Symbols2021

    • 著者名/発表者名
      Minami Yoda, Shuji Sakuraba, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
    • 雑誌名

      Annals of Emerging Technologies in Computing (AETiC)

      巻: Vol.5, No.1 ページ: 23-39

    • DOI

      10.33166/AETiC.2021.01.003

    • 査読あり / オープンアクセス
  • [雑誌論文] A Countermeasure Method Using Poisonous Data Against Poisoning Attacks on IoT Machine2021

    • 著者名/発表者名
      Tomoki Chiba, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
    • 雑誌名

      International Journal of Semantic Computing

      巻: Vol.15, No.2 ページ: 215-240

    • DOI

      10.1142/S1793351X21400043

    • 査読あり / オープンアクセス
  • [雑誌論文] Semantic Diversity: Privacy Considering Distance Between Values of Sensitive Attribute2020

    • 著者名/発表者名
      Keiichiro Oishi, Yuichi Sei, Yasuyuki Tahara and Akihiko Ohsuga
    • 雑誌名

      Computers & Security

      巻: Vol.94, 101823 ページ: 1-18

    • DOI

      10.1016/j.cose.2020.101823

    • 査読あり
  • [雑誌論文] Knowledge Graph Completion to Solve University Campus Issues2020

    • 著者名/発表者名
      Yuto Tsukagoshi, Takahiro Kawamura, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
    • 雑誌名

      Journal of Data Intelligence

      巻: Vol.1, No.3 ページ: 333-350

    • DOI

      10.26421/JDI1.3

    • 査読あり / オープンアクセス
  • [雑誌論文] 社会課題解決に向けたナレッジグラフと欠損推定手法の提案~学内駐輪環境改善の試み~2020

    • 著者名/発表者名
      塚越 雄登,川村 隆浩,清 雄一,田原 康之,大須賀 昭彦
    • 雑誌名

      電気学会論文誌C

      巻: Vol.140, No.8 ページ: 905-915

    • DOI

      10.1541/ieejeiss.140.905

    • 査読あり / オープンアクセス
  • [雑誌論文] 位置情報とタイムスタンフ?の有用性を調整可能な移動軌跡匿名化手法2020

    • 著者名/発表者名
      千葉 智樹,清 雄一,田原 康之,大須賀 昭彦
    • 雑誌名

      電気学会論文誌C

      巻: Vol.140, No.8 ページ: 956-963

    • DOI

      10.1541/ieejeiss.140.956

    • 査読あり / オープンアクセス
  • [雑誌論文] Differentially Private Mobile Crowd Sensing Considering Sensing Errors2020

    • 著者名/発表者名
      Yuichi Sei, Akihiko Ohsuga
    • 雑誌名

      Sensors

      巻: Vol.20, No.10, 2785 ページ: 1-25

    • DOI

      10.3390/s20102785

    • 査読あり / オープンアクセス
  • [学会発表] Robustifying CPS Controller Specifications Against Perceptual Uncertainty2021

    • 著者名/発表者名
      Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, and Shin-ya Katsumata
    • 学会等名
      13th NASA Formal Methods Symposium (NFM 2021)
    • 国際学会
  • [学会発表] Acquisition of Cooperative Behavior in a Soccer Task Using Reward Shaping2021

    • 著者名/発表者名
      Takashi Abe, Ryohei Orihara, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
    • 学会等名
      International Conference on Innovation in Artificial Intelligence (ICIAI)
    • 国際学会
  • [学会発表] フェイクニュースの早期自動検出に向けたニュース記事コメント生成モデルの提案2021

    • 著者名/発表者名
      柳裕太、折原良平,田原康之,清雄一,大須賀昭彦
    • 学会等名
      第17回テキストアナリティクス・シンポジウム
  • [学会発表] 画像と感圧情報を用いた冷蔵庫管理システムの提案2021

    • 著者名/発表者名
      中野芙美,清雄一,田原康之,大須賀昭彦
    • 学会等名
      電子情報通信学会 人工知能と知識処理研究会
  • [学会発表] コーパス間での単語の類似語の差異を利用した複合語型隠語の検出2021

    • 著者名/発表者名
      羽田拓朗,清雄一,田原康之,大須賀昭彦
    • 学会等名
      電子情報通信学会 人工知能と知識処理研究会
  • [学会発表] IoT環境における機械学習のポイズニング攻撃に対して有害データの除去優先度を考慮した防御手法2021

    • 著者名/発表者名
      千葉智樹,清雄一,田原康之,大須賀昭彦
    • 学会等名
      電子情報通信学会 人工知能と知識処理研究会
  • [学会発表] 学内情報のナレッジグラフの洗練による欠損推定の考察2021

    • 著者名/発表者名
      塚越雄登,江上周作,清雄一,田原康之,大須賀昭彦
    • 学会等名
      電子情報通信学会 人工知能と知識処理研究会
  • [学会発表] サッカータスクの協調行動獲得におけるカリキュラム学習を用いた強化学習2021

    • 著者名/発表者名
      阿部宇志,折原良平,清雄一,田原康之,大須賀昭彦
    • 学会等名
      電子情報通信学会 人工知能と知識処理研究会
  • [学会発表] 機械学習によるTwitter上のウワサ判別手法の考察2021

    • 著者名/発表者名
      竹井拓実,清雄一,田原康之,大須賀昭彦
    • 学会等名
      電子情報通信学会 人工知能と知識処理研究会
  • [学会発表] ツイートの感情を考慮した映像作品の重要シーン検出2021

    • 著者名/発表者名
      佐波美佳,清雄一,田原康之,大須賀昭彦
    • 学会等名
      電子情報通信学会 人工知能と知識処理研究会
  • [学会発表] サッカーの試合映像からボールの検出とラインの強調によりプレーの位置を推定するモデル2021

    • 著者名/発表者名
      神宮司祐哉,清雄一,田原康之,大須賀昭彦
    • 学会等名
      電子情報通信学会 人工知能と知識処理研究会
  • [学会発表] 機械学習を用いた経営コンサルタントへの問合せデータの分析2021

    • 著者名/発表者名
      小松碧乃,清雄一,田原康之,大須賀昭彦
    • 学会等名
      電子情報通信学会 人工知能と知識処理研究会
  • [学会発表] アニメキャラクター風イラストの全身画像生成手法の提案2021

    • 著者名/発表者名
      小笠原渚,清雄一,田原康之,大須賀昭彦
    • 学会等名
      電子情報通信学会 人工知能と知識処理研究会
  • [学会発表] 微小表情を考慮した顔表情に基づく映像授業理解度の評価2021

    • 著者名/発表者名
      小関虎太朗,清雄一,田原康之,大須賀昭彦
    • 学会等名
      電子情報通信学会 人工知能と知識処理研究会
  • [学会発表] 人流を考慮した深層強化学習による信号制御手法の提案2021

    • 著者名/発表者名
      村田顕祐,清雄一,田原康之,大須賀明彦
    • 学会等名
      電子情報通信学会 人工知能と知識処理研究会
  • [学会発表] 深層強化学習によるぷよぷよAI2021

    • 著者名/発表者名
      高田宗一郎,清雄一,田原康之,大須賀昭彦
    • 学会等名
      電子情報通信学会 人工知能と知識処理研究会
  • [学会発表] 遮蔽の影を考慮した自動着色システムの提案2021

    • 著者名/発表者名
      石幡柊介,清雄一,田原康之,大須賀昭彦
    • 学会等名
      電子情報通信学会 人工知能と知識処理研究会
  • [学会発表] 遮蔽影を考慮した顔画像の逆レンダリング手法の提案2021

    • 著者名/発表者名
      本田爽,清雄一,田原康之,大須賀昭彦
    • 学会等名
      電子情報通信学会 人工知能と知識処理研究会
  • [学会発表] Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault2021

    • 著者名/発表者名
      Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
    • 学会等名
      The 18th IEEE International Conference on Embedded and Ubiquitous Computing
    • 国際学会
  • [学会発表] トレーサビリティリンク生成における自然言語処理モデルの性能比較2021

    • 著者名/発表者名
      新田壮史,中川博之,土屋達弘,
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
  • [学会発表] 時間制約を実行時に検証可能な自己適応フレームワークに関する研究2021

    • 著者名/発表者名
      小島英春,中川博之,
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
  • [学会発表] Home-life Assessment List HAL for Promoting the Review of Lifestyle Habits2021

    • 著者名/発表者名
      Yoshiki SANO, Takahiro Sakai, Yusuke UDA, Hiroshi Sugimura, Masao Isshiki
    • 学会等名
      2021 IEEE 3rd Global Conference on Life Sciences and Technologies (LifeTech 2021)
    • 国際学会
  • [学会発表] Why Do Users Choose a Hotel over Others? Review Analysis Using Interpretation Method of Machine Learning Models2020

    • 著者名/発表者名
      Takayuki Onogawa, Ryohei Orihara, Yuichi Sei, Yasuyuki Tahara and Akihiko Ohsuga
    • 学会等名
      IEEE International Conference on Big Data Analytics (ICBDA)
    • 国際学会
  • [学会発表] Ontology-Based Correlation Detection Among Heterogeneous Data Sets: A Case Study of University Campus Issues2020

    • 著者名/発表者名
      Yuto Tsukagoshi, Shusaku Egami, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
    • 学会等名
      IEEE International Conference on Artificial Intelligence and Knowledge Engineering (AIKE)
    • 国際学会
  • [学会発表] A Defense Method against Poisoning Attacks on IoT Machine Learning Using Poisonous Data2020

    • 著者名/発表者名
      Tomoki Chiba, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
    • 学会等名
      IEEE International Conference on Artificial Intelligence and Knowledge Engineering (AIKE)
    • 国際学会
  • [学会発表] Stack performance improvement of stacked U-Net2020

    • 著者名/発表者名
      Satoru Mizusawa, Yuichi Sei, Akihiko Ohsuga
    • 学会等名
      IEEE Joint International Information Technology and Artificial Intelligence Conference (ITAIC)
    • 国際学会
  • [学会発表] Codewords Detection in Microblogs Focusing on Differences in Word Use Between Two Corpora2020

    • 著者名/発表者名
      Takuro Hada, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
    • 学会等名
      IEEE International Conference on Computing, Electronics & Communications Engineering (iCCECE)
    • 国際学会
  • [学会発表] Detection of the hardcoded login information from socket symbols2020

    • 著者名/発表者名
      Minami Yoda, Shuji Sakuraba, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
    • 学会等名
      IEEE International Conference on Computing, Electronics & Communications Engineering (iCCECE)
    • 国際学会
  • [学会発表] Fake News Detection with Generated Comments for News Articles2020

    • 著者名/発表者名
      Yuta Yanagi, Ryohei Orihara, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
    • 学会等名
      IEEE International Conference on Intelligent Engineering Systems (INES)
    • 国際学会
  • [学会発表] Web/IoT横断的プライバシ保護データ解析基盤発2020

    • 著者名/発表者名
      清雄一
    • 学会等名
      SMASH20 Winter Symposium
    • 招待講演
  • [学会発表] コーパス間での類似語の差異に着目したマイクロブログにおける隠語検出2020

    • 著者名/発表者名
      羽田 拓朗, 清 雄一, 田原 康之, 大須賀 昭彦
    • 学会等名
      SMASH20 Summer Symposium
  • [学会発表] 記事コメント生成によるフェイクニュースの早期検出2020

    • 著者名/発表者名
      柳 裕太, 折原 良平, 清 雄一, 田原 康之, 大須賀 昭彦
    • 学会等名
      SMASH20 Summer Symposium
  • [学会発表] 次元間の関係に着目したドメインオントロジーに基づく異種データ間の関連性発見2020

    • 著者名/発表者名
      塚越 雄登, 江上 周作, 清 雄一, 田原 康之, 大須賀 昭彦
    • 学会等名
      SMASH20 Summer Symposium
  • [学会発表] IoT環境における機械学習のポイズニング攻撃に対して攻撃を逆利用した防御手法2020

    • 著者名/発表者名
      千葉 智樹, 清 雄一, 田原 康之, 大須賀 昭彦
    • 学会等名
      SMASH20 Summer Symposium
  • [学会発表] 深層強化学習を用いたサッカータスクにおける行動獲得に関する考察2020

    • 著者名/発表者名
      阿部 宇志, 折原 良平, 清 雄一, 田原 康之, 大須賀 昭彦
    • 学会等名
      SMASH20 Summer Symposium
  • [学会発表] 冷蔵庫内配置を意識した食材管理システムの開発2020

    • 著者名/発表者名
      中野 芙美, 清 雄一, 田原 康之, 大須賀 昭彦
    • 学会等名
      SMASH20 Summer Symposium
  • [学会発表] Smart SE: Smart Systems and Services Innovative Professional Education Program2020

    • 著者名/発表者名
      Hironori Washizaki, Kenji Tei, Kazunori Ueda, Hayato Yamana, Yoshiaki Fukazawa, Shinichi Honiden, Shoichi Okazaki, Nobukazu Yoshioka, Naoshi Uchihira
    • 学会等名
      44th IEEE Annual Computers, Software, and Applications Conference (COMPSAC)
    • 国際学会
  • [学会発表] Method for Low-Cost Environment Partitioning Modeling in Dynamic Update2020

    • 著者名/発表者名
      Takuto Yamauchi, Kenji Tei, Shinichi Honiden
    • 学会等名
      IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
    • 国際学会
  • [学会発表] Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis2020

    • 著者名/発表者名
      Kengo Kuwana, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
    • 学会等名
      IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
    • 国際学会
  • [学会発表] Identifying achievable goals for adaptive replanning against runtime environment change2020

    • 著者名/発表者名
      Jialong Li, Kenji Tei, Shinichi Honiden
    • 学会等名
      The 20th International Conference on Intelligent Systems Design and Applications (ISDA)
    • 国際学会
  • [学会発表] モデル検査における複雑な検査式に対する反例解析手法の提案2020

    • 著者名/発表者名
      大池勇太郎,小形真平,青木善貴,中川博之,小林一樹,岡野浩三
    • 学会等名
      ソフトウェアエンジニアリングシンポジウム(SES2020)
  • [学会発表] グラフ化による制御ループに関する反例の可視化手法の提案2020

    • 著者名/発表者名
      青木善貴,小形真平,小林一樹,中川博之
    • 学会等名
      ソフトウェアエンジニアリングシンポジウム(SES2020)
  • [学会発表] 要求-テストケース間のカバレッジ分析におけるグラフクエリの応用可能性の検討2020

    • 著者名/発表者名
      有若新悟,中川博之,土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
  • [学会発表] Formal Distributed Protocol Development for Reservation of Railway Sections2020

    • 著者名/発表者名
      Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Ait-Ameur, Alexander Romanovsky, and Fuyuki Ishikawa
    • 学会等名
      7th International Conference on Rigorous State Based Methods (ABZ 2020)
    • 国際学会
  • [学会発表] リアルおうちエミュレータ ― 卒 FIT に適したシミュレーションシステム ―2020

    • 著者名/発表者名
      楊 青, 志田匠, 関家一雄, 一色正男
    • 学会等名
      情報処理学会コンシューマ・デバイス&システム研究会
  • [備考] 大須賀・田原・清研究室

    • URL

      http://www.ohsuga.lab.uec.ac.jp/

URL: 

公開日: 2022-12-28  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi