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

人工物システムの適応性を向上させる超能動型CPSに関する研究

研究課題

研究課題/領域番号 17KT0043
研究種目

基盤研究(B)

配分区分基金
応募区分特設分野
研究分野 人工物システムの強化
研究機関大阪大学

研究代表者

中川 博之  大阪大学, 情報科学研究科, 准教授 (40508834)

研究分担者 小林 一樹  信州大学, 学術研究院工学系, 教授 (00434895)
小形 真平  信州大学, 学術研究院工学系, 准教授 (10589279)
土屋 達弘  大阪大学, 情報科学研究科, 教授 (30283740)
冨沢 哲雄  東京工業高等専門学校, 機械工学科, 准教授 (60549707)
研究期間 (年度) 2017-07-18 – 2022-03-31
研究課題ステータス 完了 (2021年度)
配分額 *注記
18,720千円 (直接経費: 14,400千円、間接経費: 4,320千円)
2020年度: 3,640千円 (直接経費: 2,800千円、間接経費: 840千円)
2019年度: 7,670千円 (直接経費: 5,900千円、間接経費: 1,770千円)
2018年度: 3,380千円 (直接経費: 2,600千円、間接経費: 780千円)
2017年度: 4,030千円 (直接経費: 3,100千円、間接経費: 930千円)
キーワード人工物システム / 適応性 / 自己適応システム / ソフトウェア工学 / プログラミングフレームワーク / 超能動型CPS / ロボット / 組み込みシステム / 自己適応 / CPS
研究成果の概要

本研究では,人工物システムの適応性向上を目指した.具体的には,CPS(Cyber-Physical System)のシステム体系に,実空間に作用するための作用素(本研究では各種ロボットを想定)を組み込むことを想定し,実空間に積極的に作用する超能動型CPSの構築法に関して,ソフトウェア工学,開発環境(フレームワーク),システム構築,ロボット工学の観点からの研究を進めた.本研究内の各サブテーマにより得られた成果を用いることで,超能動的CPSの容易かつ確実な構築が期待できる.

研究成果の学術的意義や社会的意義

人間が設計し実世界上に構築した人工物システムは,大規模・複雑化の一途を辿っており,人工物システムの適応性向上による強化はコスト低減や安全性向上の上でも必要不可欠である.本研究は,このような人工物システムの適応性向上を目指したものである.本研究で扱う適応性は,故障も含めた環境の変化に対しても従来の機能を維持することと,要求の変化に応じて機能を柔軟に更新できることの双方である.超能動型CPSで人工物システムを内包することで,実世界への自動的な作用が実現され,物理的な障害に対する自動修復や新機能への自動更新が可能となり,保守コストの軽減と人工物システムの耐用年数の飛躍的向上が期待できる.

報告書

(6件)
  • 2021 実績報告書   研究成果報告書 ( PDF )
  • 2020 実施状況報告書
  • 2019 実施状況報告書
  • 2018 実施状況報告書
  • 2017 実施状況報告書
  • 研究成果

    (145件)

すべて 2022 2021 2020 2019 2018 2017 その他

すべて 国際共同研究 (1件) 雑誌論文 (84件) (うち査読あり 54件、 オープンアクセス 16件) 学会発表 (59件) (うち国際学会 1件、 招待講演 1件) 図書 (1件)

  • [国際共同研究] University of Catania(イタリア)

    • 関連する報告書
      2018 実施状況報告書
  • [雑誌論文] 可読性の高いクラス図レイアウトを作成するための 美的基準の調査2021

    • 著者名/発表者名
      大宮 拓馬, 小形 真平, 岡野 浩三
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 38 号: 4 ページ: 4_33-4_39

    • DOI

      10.11309/jssst.38.4_33

    • NAID

      130008132025

    • ISSN
      0289-6540
    • 年月日
      2021-10-22
    • 関連する報告書
      2021 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] 畳み込みニューラルネットワークを用いて果実画像の生育度分類を行う場合の果実拡大率の影響2021

    • 著者名/発表者名
      源野広和,小林一樹
    • 雑誌名

      農業情報研究

      巻: 30 号: 2 ページ: 86-95

    • DOI

      10.3173/air.30.86

    • NAID

      130008060211

    • ISSN
      0916-9482, 1881-5219
    • 年月日
      2021-07-01
    • 関連する報告書
      2021 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Adaptation Space Reduction Using an Explainable Framework2021

    • 著者名/発表者名
      Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC 2021)

      巻: - ページ: 1654-1661

    • DOI

      10.1109/compsac51774.2021.00247

    • 関連する報告書
      2021 実績報告書
    • 査読あり
  • [雑誌論文] Graph queries for analyzing the coverage of requirements by test cases2021

    • 著者名/発表者名
      Shingo Ariwaka, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the 33rd International Conference on Software Engineering & Knowledge Engineering (SEKE 2021)

      巻: - ページ: 544-549

    • DOI

      10.18293/seke2021-122

    • 関連する報告書
      2021 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Preemptive Anomaly Prediction in IoT Components2021

    • 著者名/発表者名
      Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the Context-aware, Autonomous and Smart Architecture Workshop (CASA2021) co-located with the 15th European Conference on Software Architecture (ECSA2021)

      巻: - ページ: 12-17

    • 関連する報告書
      2021 実績報告書
    • 査読あり
  • [雑誌論文] RPAにおける不具合発生要因の分類2021

    • 著者名/発表者名
      新田壮史,中川博之,土屋達弘
    • 雑誌名

      ソフトウェア工学の基礎ワークショップ FOSE 2021

      巻: - ページ: 39-44

    • 関連する報告書
      2021 実績報告書
    • 査読あり
  • [雑誌論文] 異粒度指向反例解析に向けて2021

    • 著者名/発表者名
      小形真平,大池勇太郎,中川博之,青木善貴,小林一樹,岡野浩三
    • 雑誌名

      ソフトウェア工学の基礎ワークショップ FOSE 2021

      巻: - ページ: 45-50

    • 関連する報告書
      2021 実績報告書
    • 査読あり
  • [雑誌論文] 要求仕様に対するテストカバレッジ分析におけるグラフクエリの適用について2021

    • 著者名/発表者名
      有若新悟, 中川博之, 土屋達弘
    • 雑誌名

      ソフトウェア・シンポジウム2021

      巻: - ページ: 136-141

    • 関連する報告書
      2021 実績報告書
    • 査読あり
  • [雑誌論文] トレーサビリティリンク生成における自然言語処理モデルの性能比較2021

    • 著者名/発表者名
      新田壮史,中川博之,土屋達弘
    • 雑誌名

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ,信学技報KBSE

      巻: KBSE2020-34 ページ: 1-6

    • 関連する報告書
      2020 実施状況報告書
  • [雑誌論文] 時間制約を実行時に検証可能な自己適応フレームワークに関する研究2021

    • 著者名/発表者名
      小島英春,中川博之
    • 雑誌名

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ,信学技報KBSE

      巻: KBSE2020-31 ページ: 13-18

    • 関連する報告書
      2020 実施状況報告書
  • [雑誌論文] 深層学習を用いたデータクレンジングとリンゴ果実画像への応用2020

    • 著者名/発表者名
      Genno Hirokazu、Kobayashi Kazuki
    • 雑誌名

      農業情報研究

      巻: 29 号: 3 ページ: 47-61

    • DOI

      10.3173/air.29.47

    • NAID

      130007920641

    • ISSN
      0916-9482, 1881-5219
    • 年月日
      2020-10-01
    • 関連する報告書
      2020 実施状況報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Interactive Goal Model Construction Based on a Flow of Questions2020

    • 著者名/発表者名
      NAKAGAWA Hiroyuki、SHIMADA Hironori、TSUCHIYA Tatsuhiro
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E103.D 号: 6 ページ: 1309-1318

    • DOI

      10.1587/transinf.2019KBP0015

    • NAID

      130007850091

    • ISSN
      0916-8532, 1745-1361
    • 年月日
      2020-06-01
    • 関連する報告書
      2020 実施状況報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Using simulated annealing for locating array construction2020

    • 著者名/発表者名
      Konishi Tatsuya、Kojima Hideharu、Nakagawa Hiroyuki、Tsuchiya Tatsuhiro
    • 雑誌名

      Information and Software Technology

      巻: 126 ページ: 106346-106346

    • DOI

      10.1016/j.infsof.2020.106346

    • 関連する報告書
      2020 実施状況報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Finding Minimum Locating Arrays Using a CSP Solver2020

    • 著者名/発表者名
      Konishi Tatsuya、Kojima Hideharu、Nakagawa Hiroyuki、Tsuchiya Tatsuhiro
    • 雑誌名

      Fundamenta Informaticae

      巻: 174 号: 1 ページ: 27-42

    • DOI

      10.3233/fi-2020-1929

    • 関連する報告書
      2020 実施状況報告書
    • 査読あり
  • [雑誌論文] An Explainable Deep Learning Approach for Adaptation Space Reduction2020

    • 著者名/発表者名
      Diallo Alhassan Boner、Nakagawa Hiroyuki、Tsuchiya Tatsuhiro
    • 雑誌名

      Proc. of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS 2020)

      巻: - ページ: 230-231

    • DOI

      10.1109/acsos-c51401.2020.00063

    • 関連する報告書
      2020 実施状況報告書
    • 査読あり
  • [雑誌論文] An Automated Goal Labeling Method Based on User Reviews2020

    • 著者名/発表者名
      Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the 32nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2020)

      巻: - ページ: 141-146

    • 関連する報告書
      2020 実施状況報告書
    • 査読あり
  • [雑誌論文] モデル検査における複雑な検査式に対する反例解析手法の提案2020

    • 著者名/発表者名
      大池勇太郎,小形真平,青木善貴,中川博之,小林一樹,岡野浩三
    • 雑誌名

      ソフトウェアエンジニアリングシンポジウム(SES2020)

      巻: - ページ: 23-31

    • NAID

      170000183323

    • 関連する報告書
      2020 実施状況報告書
    • 査読あり
  • [雑誌論文] グラフ化による制御ループに関する反例の可視化手法の提案2020

    • 著者名/発表者名
      青木善貴,小形真平,小林一樹,中川博之
    • 雑誌名

      ソフトウェアエンジニアリングシンポジウム(SES2020)

      巻: - ページ: 115-124

    • NAID

      170000183333

    • 関連する報告書
      2020 実施状況報告書
    • 査読あり
  • [雑誌論文] 要求-テストケース間のカバレッジ分析におけるグラフクエリの応用可能性の検討2020

    • 著者名/発表者名
      有若新悟,中川博之,土屋達弘
    • 雑誌名

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ,信学技報KBSE

      巻: KBSE2020-25 ページ: 53-58

    • 関連する報告書
      2020 実施状況報告書
  • [雑誌論文] RTK-GNSSを用いた収穫物運搬のための屋外自律移動ロボットの開発2020

    • 著者名/発表者名
      平岡 廉,小林一樹,青柳悠也
    • 雑誌名

      日本知能情報ファジィ学会 合同シンポジウム2020予稿集

      巻: - ページ: 31-34

    • 関連する報告書
      2020 実施状況報告書
  • [雑誌論文] 対話的スマートデバイスによる熟練農業生産者の経験知収集2020

    • 著者名/発表者名
      青山夏樹,小林一樹,青柳悠也
    • 雑誌名

      日本知能情報ファジィ学会 合同シンポジウム2020予稿集

      巻: - ページ: 39-40

    • 関連する報告書
      2020 実施状況報告書
  • [雑誌論文] RTK-GNSSと深層学習を用いた収穫用ロボットの自動走行 ―新わい化果樹農園内におけるRTK-GNSSの有効性―2020

    • 著者名/発表者名
      青柳悠也,小林一樹,平岡 廉
    • 雑誌名

      日本知能情報ファジィ学会 合同シンポジウム2020予稿集

      巻: - ページ: 41-45

    • 関連する報告書
      2020 実施状況報告書
  • [雑誌論文] A Model Transformation Approach to Constructing Agent-oriented Design Models for CPS/IoT Systems2020

    • 著者名/発表者名
      Hiroyuki Nakagawa, Shinpei Ogata, Yoshitaka Aoki and Kazuki Kobayashi
    • 雑誌名

      Proc. of the 35th ACM/SIGAPP Symposium On Applied Computing (SAC 2020)

      巻: - ページ: 815-822

    • DOI

      10.1145/3341105.3374033

    • 関連する報告書
      2019 実施状況報告書
    • 査読あり
  • [雑誌論文] Opinion Analysis and Organization of Mobile Application User Reviews2020

    • 著者名/発表者名
      Long Wang, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the Third Workshop on Natural Language Processing for Requirements Engineering (NLP4RE 2020)

      巻: - ページ: 1-9

    • 関連する報告書
      2019 実施状況報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] 遺伝的プログラミングを用いた施設レイアウト自動生成の検討2020

    • 著者名/発表者名
      花田響四郎,中川博之,関本章,赤木宏匡,土屋達弘
    • 雑誌名

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      巻: 信学技報KBSE2019-46 ページ: 1-6

    • 関連する報告書
      2019 実施状況報告書
  • [雑誌論文] ゴール指向要求分析に基づくAI・データ分析案件業務の効率化2020

    • 著者名/発表者名
      奥谷大介,伊加田恵志,中川博之
    • 雑誌名

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      巻: 信学技報KBSE2019-49 ページ: 19-24

    • 関連する報告書
      2019 実施状況報告書
  • [雑誌論文] 安全性解析支援のための状態遷移系に基づくハザード近接状態検出法の提案2020

    • 著者名/発表者名
      鈴木悠介,小形真平,大池勇太郎,青木善貴,中川博之,小林一樹,岡野浩三
    • 雑誌名

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      巻: 信学技報KBSE2019-47 ページ: 7-12

    • 関連する報告書
      2019 実施状況報告書
  • [雑誌論文] ロボットの胸部モニターへの表情拡張がユーザの印象に与える影響2020

    • 著者名/発表者名
      田中和弘,小林一樹
    • 雑誌名

      HAIシンポジウム2020

      巻: P-8 ページ: 1-6

    • 関連する報告書
      2019 実施状況報告書
  • [雑誌論文] 多値確信度伝達のためのエージェントによる集団音声表出2020

    • 著者名/発表者名
      本戸丈裕,小林一樹
    • 雑誌名

      HAIシンポジウム2020

      巻: P-18 ページ: 1-4

    • 関連する報告書
      2019 実施状況報告書
  • [雑誌論文] タスクに応じて服装変化するエージェントがユーザの印象に与える影響2020

    • 著者名/発表者名
      吉原一成,小林一樹
    • 雑誌名

      HAIシンポジウム2020

      巻: P-21 ページ: 1-8

    • 関連する報告書
      2019 実施状況報告書
  • [雑誌論文] コマンド認識失敗時に人格を交替する音声対話エージェント2020

    • 著者名/発表者名
      堀 立樹,小林一樹
    • 雑誌名

      HAIシンポジウム2020

      巻: P-31 ページ: 1-6

    • 関連する報告書
      2019 実施状況報告書
  • [雑誌論文] 自律エージェントの人格と身体の結合性がユーザに与える影響2020

    • 著者名/発表者名
      松澤涼平,小林一樹
    • 雑誌名

      HAIシンポジウム2020

      巻: P-39 ページ: 1-2

    • 関連する報告書
      2019 実施状況報告書
  • [雑誌論文] 高精細画像モニタリングシステムを用いたイチゴ生育画像の計測・蓄積と解析2020

    • 著者名/発表者名
      源野広和,小林一樹,松江英明
    • 雑誌名

      電子情報通信学会技術研究報告

      巻: IT2019-40 ページ: 25-29

    • 関連する報告書
      2019 実施状況報告書
  • [雑誌論文] 単語の出現頻度と類似性に基づいたトピックモデル洗練化手法2019

    • 著者名/発表者名
      東和幸,高橋仁,中川博之,土屋達弘
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 36 号: 4 ページ: 4_25-4_31

    • DOI

      10.11309/jssst.36.4_25

    • NAID

      130007772583

    • ISSN
      0289-6540
    • 年月日
      2019-10-25
    • 関連する報告書
      2019 実施状況報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models2019

    • 著者名/発表者名
      Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya
    • 雑誌名

      The Journal of Systems & Software

      巻: 156 ページ: 300-311

    • DOI

      10.1016/j.jss.2019.07.007

    • 関連する報告書
      2019 実施状況報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Using simulated annealing for locating array construction2019

    • 著者名/発表者名
      Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      arXiv

      巻: 1909.13090 ページ: 1-23

    • 関連する報告書
      2019 実施状況報告書
    • オープンアクセス
  • [雑誌論文] Finding minimum locating arrays using a CSP solver2019

    • 著者名/発表者名
      Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      arXiv

      巻: 1904.07480 ページ: 1-16

    • 関連する報告書
      2019 実施状況報告書
    • オープンアクセス
  • [雑誌論文] Towards Real-time Self-adaptation Using a Verification Mechanism2019

    • 著者名/発表者名
      Hiroyuki Nakagawa, Hiroki Tsuda, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)

      巻: WiP ページ: 10-12

    • 関連する報告書
      2019 実施状況報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Self-Adaptation for Heterogeneous Client-Server Online Games2019

    • 著者名/発表者名
      Satoru Yamagata, Hiroyuki Nakagawa, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
    • 雑誌名

      Proc. of the 18th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2019)

      巻: - ページ: 65-79

    • DOI

      10.1007/978-3-030-25213-7_5

    • ISBN
      9783030252120, 9783030252137
    • 関連する報告書
      2019 実施状況報告書
    • 査読あり
  • [雑誌論文] Apple growth evaluated automatically with high-definition field monitoring images2019

    • 著者名/発表者名
      Hirokazu Genno, Kazuki Kobayashi
    • 雑誌名

      Computers and Electronics in Agriculture

      巻: 164-104895 ページ: 1-9

    • DOI

      10.1016/j.compag.2019.104895

    • 関連する報告書
      2019 実施状況報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] エージェント指向設計に基づいたCPS/IoTシステム設計の有効性に関する考察2019

    • 著者名/発表者名
      中川博之,小形真平,青木善貴,小林一樹
    • 雑誌名

      合同エージェントワークショップ&シンポジウム2019(JAWS2019)論文集

      巻: - ページ: 204-211

    • 関連する報告書
      2019 実施状況報告書
    • 査読あり
  • [雑誌論文] LoRa Communication Maps of Medium-sized Rural City in Japan via Community Bus Services2019

    • 著者名/発表者名
      Ken T. Murata, Kohei Mizutani, Yoshiaki Muroyama, Kazunori Yamamoto, Kazuya Muranaga, Takamichi Mizuhara, Praphan Pavarangkoon, Kazuki Kobayashi
    • 雑誌名

      Proc. of the 5th IEEE International Conference on Cloud and Big Data Computing (CBDCom)

      巻: - ページ: 1054-1059

    • DOI

      10.1109/dasc/picom/cbdcom/cyberscitech.2019.00189

    • 関連する報告書
      2019 実施状況報告書
    • 査読あり
  • [雑誌論文] 確率的モデル検査器を用いた制御ループの定量的検証の試案2019

    • 著者名/発表者名
      青木善貴,小形真平,小林一樹,中川博之
    • 雑誌名

      ソフトウェア工学の基礎ワークショップ FOSE 2019

      巻: - ページ: 115-120

    • 関連する報告書
      2019 実施状況報告書
    • 査読あり
  • [雑誌論文] 確率的モデル検査器を用いたFRAM モデル理解の支援2019

    • 著者名/発表者名
      青木善貴, 小形真平
    • 雑誌名

      ソフト ウェアエンジニアリングシンポジウム2019 (SES 2019)

      巻: - ページ: 116-125

    • NAID

      170000150607

    • 関連する報告書
      2019 実施状況報告書
    • 査読あり
  • [雑誌論文] 文書間の類似度に基づいたトレーサビリティリンクの精度向上手法の検討2019

    • 著者名/発表者名
      東和幸,中川博之,土屋達弘
    • 雑誌名

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      巻: 信学技報KBSE2019-27, SC2019-24 ページ: 25-30

    • 関連する報告書
      2019 実施状況報告書
  • [雑誌論文] word2vecとゴールモデルの階層性を利用した類似ゴール検出方法の提案2019

    • 著者名/発表者名
      石川公一,小形真平,中川博之,岡野浩三
    • 雑誌名

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      巻: 信学技報KBSE2019-23, SC2019-20 ページ: 1-6

    • 関連する報告書
      2019 実施状況報告書
  • [雑誌論文] 不具合原因分析支援のためのNuSMV反例解析手法の試案2019

    • 著者名/発表者名
      大池勇太郎,小形真平,青木善貴,中川博之,小林一樹,岡野浩三
    • 雑誌名

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      巻: 信学技報KBSE2019-24, SC2019-21 ページ: 7-12

    • 関連する報告書
      2019 実施状況報告書
  • [雑誌論文] 確率的モデル検査器を用いたFRAM支援手法の試案2019

    • 著者名/発表者名
      青木善貴, 小形真平
    • 雑誌名

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      巻: 信学技報KBSE2019-8 ページ: 49-56

    • 関連する報告書
      2019 実施状況報告書
  • [雑誌論文] Goal Model Construction Based on User Review Classification2019

    • 著者名/発表者名
      Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the 25th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2019) (Poster session)

      巻: - ページ: 1-5

    • 関連する報告書
      2018 実施状況報告書
    • 査読あり
  • [雑誌論文] NuSMVの反例解析支援ツールの試作2019

    • 著者名/発表者名
      大池勇太郎,小形真平,青木善貴,中川博之,岡野浩三
    • 雑誌名

      ウィンターワークショップ2018・イン・福島飯坂(WWS2019)

      巻: - ページ: 13-14

    • NAID

      170000179094

    • 関連する報告書
      2018 実施状況報告書
    • 査読あり
  • [雑誌論文] 自己適応システムの動的検証法の高速化に関する研究2019

    • 著者名/発表者名
      妙見侑祐,中川博之,土屋達弘
    • 雑誌名

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      巻: 信学技報KBSE2018-66 ページ: 75-80

    • 関連する報告書
      2018 実施状況報告書
  • [雑誌論文] 地理情報付き三次元地図による自己位置推定2019

    • 著者名/発表者名
      藤井大樹, 宮﨑裕輔, 冨沢哲雄, 岩切宗利
    • 雑誌名

      つくばチャレンジ2018シンポジウム

      巻: - ページ: 140-145

    • 関連する報告書
      2018 実施状況報告書
  • [雑誌論文] Developing a Remotely Operated Portable Mobile Robot2018

    • 著者名/発表者名
      TetsuoTomizawa, Masato Shibuya, Ryodo Tanaka, Takeshi Nishida
    • 雑誌名

      Journal of Robotics and Mechatronics

      巻: 30 号: 4 ページ: 584-590

    • DOI

      10.20965/jrm.2018.p0584

    • NAID

      130007437283

    • ISSN
      0915-3942, 1883-8049
    • 年月日
      2018-08-20
    • 関連する報告書
      2018 実施状況報告書
    • 査読あり
  • [雑誌論文] Verification of CPS Based on Control Loop using Model Checking2018

    • 著者名/発表者名
      Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi, Hiroyuki Nakagawa
    • 雑誌名

      Proc. of the 25th Asia-Pacific Software Engineering Conference (APSEC 2018)

      巻: - ページ: 678-682

    • 関連する報告書
      2018 実施状況報告書
    • 査読あり
  • [雑誌論文] A Template System for Modeling and Verifying Agent Behaviors2018

    • 著者名/発表者名
      Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa, Kazuki Kobayashi
    • 雑誌名

      Proc. of the 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018)

      巻: - ページ: 576-584

    • DOI

      10.1007/978-3-030-03098-8_44

    • ISBN
      9783030030971, 9783030030988
    • 関連する報告書
      2018 実施状況報告書
    • 査読あり
  • [雑誌論文] A Framework for Updating Functionalities Based on the MAPE Loop Mechanism2018

    • 著者名/発表者名
      Shinya Tsuchida, Hiroyuki Nakagawa, Emiliano Tramontana, Andrea Fornaia, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the 42nd IEEE Computer Software and Applications Conference (COMPSAC 2018)

      巻: - ページ: 38-47

    • DOI

      10.1109/compsac.2018.00014

    • 関連する報告書
      2018 実施状況報告書 2017 実施状況報告書
    • 査読あり
  • [雑誌論文] ユーザレビューに基づいたゴールモデル構築手法の検討2018

    • 著者名/発表者名
      島田裕紀,中川博之,土屋達弘
    • 雑誌名

      ソフトウェア工学の基礎ワークショップ FOSE 2018

      巻: - ページ: 119-128

    • 関連する報告書
      2018 実施状況報告書
    • 査読あり
  • [雑誌論文] word2vecによるゴール間類似度算出手法の実践と評価2018

    • 著者名/発表者名
      石川公一,小形真平,中川博之,岡野浩三
    • 雑誌名

      情報処理学会 研究報告ソフトウェア工学(SE)

      巻: 2019-SE-201 No.14 ページ: 1-8

    • 関連する報告書
      2018 実施状況報告書
  • [雑誌論文] Document Frequencyと単語類似度に基づいたストップワード自動作成手法の検討2018

    • 著者名/発表者名
      東和幸,中川博之,土屋達弘
    • 雑誌名

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      巻: 信学技報KBSE2018-38 ページ: 59-64

    • 関連する報告書
      2018 実施状況報告書
  • [雑誌論文] 組み込みシステムに対する安全な機能追加手法の考察2018

    • 著者名/発表者名
      土田真也,中川博之,土屋達弘
    • 雑誌名

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      巻: 信学技報KBSE2018-18 ページ: 43-48

    • 関連する報告書
      2018 実施状況報告書
  • [雑誌論文] コントロールループに着目したIoTアーキテクチャモデルの検証に関する一考察2018

    • 著者名/発表者名
      青木善貴,小形真平,小林一樹,中川博之
    • 雑誌名

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      巻: 信学技報KBSE2018-21 ページ: 61-66

    • 関連する報告書
      2018 実施状況報告書
  • [雑誌論文] ゴールモデルのコンテキストに注目した効率的なモデル検査2018

    • 著者名/発表者名
      本田大雅,小島英春,中川博之,土屋達弘
    • 雑誌名

      ソフトウェアエンジニアリングシンポジウム(SES2018)

      巻: - ページ: 229-235

    • 関連する報告書
      2018 実施状況報告書
  • [雑誌論文] 文書間の類似度に基づいた要求カバレッジ可視化手法2018

    • 著者名/発表者名
      松井 勝利、中川 博之、土屋 達弘
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 35 号: 1 ページ: 1_67-1_75

    • DOI

      10.11309/jssst.35.1_67

    • NAID

      130006555543

    • ISSN
      0289-6540
    • 関連する報告書
      2017 実施状況報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Constructing a Goal Model from Requirements Descriptions Based on Extraction Rules2018

    • 著者名/発表者名
      Shimada Hironori、Nakagawa Hiroyuki、Tsuchiya Tatsuhiro
    • 雑誌名

      Proc. of the 4th Asia Pacific Requirements Engineering Symposium (APRES 2017)

      巻: - ページ: 175-188

    • DOI

      10.1007/978-981-10-7796-8_14

    • ISBN
      9789811077951, 9789811077968
    • 関連する報告書
      2017 実施状況報告書
    • 査読あり
  • [雑誌論文] MAPEループを用いたIoTデバイスの効率的な再利用法の検討2018

    • 著者名/発表者名
      土田真也,中川博之,土屋達弘
    • 雑誌名

      ウィンターワークショップ2018・イン・宮島(WWS2018)

      巻: - ページ: 74-75

    • NAID

      170000176299

    • 関連する報告書
      2017 実施状況報告書
    • 査読あり
  • [雑誌論文] ORTEによるIoTシステムモデリングの実践 ~農園画像モニタリングシステムを事例として~2018

    • 著者名/発表者名
      小形真平,小林一樹,青木善貴,中川博之
    • 雑誌名

      ウィンターワークショップ2018・イン・宮島(WWS2018)

      巻: - ページ: 72-73

    • 関連する報告書
      2017 実施状況報告書
    • 査読あり
  • [雑誌論文] Using Difference Images to Detect Pedestrian Signal Changes2017

    • 著者名/発表者名
      Tomizawa Tetsuo、Moriai Ryunosuke
    • 雑誌名

      Journal of Robotics and Mechatronics

      巻: 29 号: 4 ページ: 706-711

    • DOI

      10.20965/jrm.2017.p0706

    • NAID

      130007519926

    • ISSN
      0915-3942, 1883-8049
    • 年月日
      2017-08-20
    • 関連する報告書
      2017 実施状況報告書
    • 査読あり
  • [雑誌論文] Mobile Robot Navigation Utilizing the WEB Based Aerial Images Without Prior Teaching Run2017

    • 著者名/発表者名
      Muramatsu Satoshi、Tomizawa Tetsuo、Kudoh Shunsuke、Suehiro Takashi
    • 雑誌名

      Journal of Robotics and Mechatronics

      巻: 29 号: 4 ページ: 697-705

    • DOI

      10.20965/jrm.2017.p0697

    • NAID

      130007519920

    • ISSN
      0915-3942, 1883-8049
    • 年月日
      2017-08-20
    • 関連する報告書
      2017 実施状況報告書
    • 査読あり
  • [雑誌論文] Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry2017

    • 著者名/発表者名
      Nakagawa Hiroyuki、Hasegawa Toshinobu、Matsui Shori、Tsuchiya Tatsuhiro
    • 雑誌名

      Proc. of the IEEE 28th International Symposium on Software Reliability Engineering (ISSRE 2017), (Industry track)

      巻: - ページ: 77-80

    • DOI

      10.1109/issrew.2017.19

    • 関連する報告書
      2017 実施状況報告書
    • 査読あり
  • [雑誌論文] A Tool to Edit and Verify IoT System Architecture Model2017

    • 著者名/発表者名
      Shinpei Ogata, Hiroyuki Nakagawa, Yoshitaka Aoki, Kazuki Kobayashi, Yuko Fukushima
    • 雑誌名

      Proc. of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), (Tools and Demonstrations track)

      巻: - ページ: 571-575

    • 関連する報告書
      2017 実施状況報告書
    • 査読あり
  • [雑誌論文] A Visualization of Specification Coverage Based on Document Similarity2017

    • 著者名/発表者名
      Nakagawa Hiroyuki、Matsui Shori、Tsuchiya Tatsuhiro
    • 雑誌名

      Proc. of the 39th International Conference on Software Engineering (ICSE 2017)

      巻: - ページ: 136-138

    • DOI

      10.1109/icse-c.2017.117

    • 関連する報告書
      2017 実施状況報告書
    • 査読あり
  • [雑誌論文] ソフトウェア工学の最前線 ~ソフトウェアが社会のすべてを定義する時代~:[未来に向かって]IoT時代の環境適応型ソフトウェア2017

    • 著者名/発表者名
      中川博之,鄭顕志,田原康之
    • 雑誌名

      情報処理

      巻: 58(8) ページ: 702-704

    • 関連する報告書
      2017 実施状況報告書
  • [雑誌論文] ER 2016参加報告2017

    • 著者名/発表者名
      中川 博之、小林 努、林 晋平、吉岡 信和、鵜林 尚靖
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 34 号: 3 ページ: 3_75-3_80

    • DOI

      10.11309/jssst.34.3_75

    • NAID

      130006099406

    • ISSN
      0289-6540
    • 関連する報告書
      2017 実施状況報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] ばねモデルに基づいた要求カバレッジ可視化ビューアの構築2017

    • 著者名/発表者名
      松井勝利,中川博之,土屋達弘
    • 雑誌名

      ソフトウェア工学の基礎ワークショップ FOSE 2017

      巻: - ページ: 43-52

    • 関連する報告書
      2017 実施状況報告書
    • 査読あり
  • [雑誌論文] On the Generation of Human-oriented Counter-examples using a Test Automaton2017

    • 著者名/発表者名
      C. Yanagisawa, S. Ogata, K. Okano
    • 雑誌名

      International Journal of Informatics Society

      巻: 9(1) ページ: 41-50

    • 関連する報告書
      2017 実施状況報告書
    • 査読あり
  • [雑誌論文] A rule-based method of stepwise evaluating class diagrams2017

    • 著者名/発表者名
      S. Ogata, K. Miyajima, M. Kayama, K. Okano
    • 雑誌名

      Proc. of the International Workshop on Informatics (IWIN 2017)

      巻: - ページ: 141-146

    • 関連する報告書
      2017 実施状況報告書
    • 査読あり
  • [雑誌論文] SMart-Learning: State Machine Simulators for Developing Thinking Skills2017

    • 著者名/発表者名
      S. Ogata, M. Kayama, K. Okano
    • 雑誌名

      Proc. of the 2017 IEEE 17th International Conference on Advanced Learning Technologies (ICALT 2017)

      巻: - ページ: 81-83

    • 関連する報告書
      2017 実施状況報告書
    • 査読あり
  • [雑誌論文] Traceability Link Mining - Focusing on Usability -2017

    • 著者名/発表者名
      Y. Yazawa, S. Ogata, K. Okano, H. Kaiya, H. Washizaki
    • 雑誌名

      Proc. of the 41st IEEE Computer Society Signature Conference on Computers, Software, and Applications (COMPSAC 2017), Fast Abstract

      巻: - ページ: 286-287

    • 関連する報告書
      2017 実施状況報告書
    • 査読あり
  • [雑誌論文] 共同作業における概念モデル洗練支援ツールの試作2017

    • 著者名/発表者名
      丸山美咲, 小形真平, 岡野浩三, 香山瑞恵
    • 雑誌名

      第24回ソフトウェア工学の基礎ワークショップ FOSE 2017

      巻: - ページ: 251-252

    • 関連する報告書
      2017 実施状況報告書
    • 査読あり
  • [雑誌論文] 画面遷移モデルに着目したユーザビリティパターン抽出手法の提案2017

    • 著者名/発表者名
      矢澤幸也, 小形真平, 岡野浩三, 海谷治彦, 鷲崎弘宜
    • 雑誌名

      ソフトウェアエンジニアリングシンポジウム2017

      巻: - ページ: 167-174

    • NAID

      170000175832

    • 関連する報告書
      2017 実施状況報告書
    • 査読あり
  • [雑誌論文] Data access control for energy-related services in smart public infrastructures2017

    • 著者名/発表者名
      Kawada Yohei、Yano Kojin、Mizuno Yoshihiro、Tsuchiya Tatsuhiro、Fujisaki Yasumasa
    • 雑誌名

      omputers in Industry

      巻: 88 ページ: 35-43

    • DOI

      10.1016/j.compind.2017.03.002

    • 関連する報告書
      2017 実施状況報告書
    • 査読あり
  • [雑誌論文] Constrained locating arrays for combinatorial interaction testing2017

    • 著者名/発表者名
      Hao Jin, Tatsuhiro Tsuchiya
    • 雑誌名

      arxiv

      巻: - ページ: 1-12

    • 関連する報告書
      2017 実施状況報告書
  • [雑誌論文] 大量高精細画像からの果実生育情報の抽出2017

    • 著者名/発表者名
      Genno Hirokazu、Kobayashi Kazuki
    • 雑誌名

      農業情報研究

      巻: 26 号: 4 ページ: 100-114

    • DOI

      10.3173/air.26.100

    • NAID

      130006287990

    • ISSN
      0916-9482, 1881-5219
    • 関連する報告書
      2017 実施状況報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Projection mapping of behavioral expressions onto manufactured figures for speech interaction2017

    • 著者名/発表者名
      Ishihara Yoshihisa、Kobayashi Kazuki
    • 雑誌名

      Proc. of the 26th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN 2017)

      巻: - ページ: 12-16

    • DOI

      10.1109/roman.2017.8172273

    • 関連する報告書
      2017 実施状況報告書
    • 査読あり
  • [学会発表] XAIを用いた自己適応異常検知手法の実用化に向けて2022

    • 著者名/発表者名
      角田詩門,中川博之,土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • 関連する報告書
      2021 実績報告書
  • [学会発表] 強化学習と階層化意思決定法を用いた施設レイアウト自動設計手法の提案2022

    • 著者名/発表者名
      池田光,中川博之,関本章,赤木宏匡,土屋達弘
    • 学会等名
      日本経営工学会2022年春季大会
    • 関連する報告書
      2021 実績報告書
  • [学会発表] 要求駆動のプロセスモデル抽出に向けて2022

    • 著者名/発表者名
      中川博之
    • 学会等名
      情報処理学会 第64回 要求工学ワークショップ
    • 関連する報告書
      2021 実績報告書
  • [学会発表] Heuristic Minerを用いたパラメータ調整に基づくプロセスモデル抽出手法2022

    • 著者名/発表者名
      南垣内一輝,中川博之,海谷治彦,小形真平,竹内広宜,土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • 関連する報告書
      2021 実績報告書
  • [学会発表] 車いす型自律移動ロボット高尾w1号の三次元SLAMとナビゲーション2022

    • 著者名/発表者名
      関根陸人, 石清水エゼキエル, 永田夏樹, 鈴木涼真, 渡邊智悠, 冨沢哲雄, 多羅尾進
    • 学会等名
      つくばチャレンジ2021シンポジウム
    • 関連する報告書
      2021 実績報告書
  • [学会発表] 強化学習に基づいた施設レイアウト自動設計支援システムの実現に向けて2021

    • 著者名/発表者名
      池田光,中川博之,関本章,赤木宏匡,土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • 関連する報告書
      2021 実績報告書
  • [学会発表] 人の期待とシステムの振る舞いの乖離をモデル検査により検証する手法の提案2021

    • 著者名/発表者名
      青木善貴,小形真平,中川博之,小林一樹
    • 学会等名
      ソフトウェア工学の基礎ワークショップ FOSE 2021
    • 関連する報告書
      2021 実績報告書
  • [学会発表] 共感対話コーパスを用いた農作業記録対話システムの開発2021

    • 著者名/発表者名
      上田 弦輝,小林一樹
    • 学会等名
      日本知能情報ファジィ学会 合同シンポジウム2021
    • 関連する報告書
      2021 実績報告書
  • [学会発表] 外部視覚情報を用いたドローン誘導に基づく自動充電ステーションの開発2021

    • 著者名/発表者名
      頼富雪乃,小林一樹
    • 学会等名
      日本知能情報ファジィ学会 合同シンポジウム2021
    • 関連する報告書
      2021 実績報告書
  • [学会発表] 深層学習を用いた果実の個体別生育状態の抽出2021

    • 著者名/発表者名
      本堂貴也,小林一樹
    • 学会等名
      日本知能情報ファジィ学会 合同シンポジウム2021
    • 関連する報告書
      2021 実績報告書
  • [学会発表] 小型分光カメラを用いた正規化植生指標による植物状態の評価2021

    • 著者名/発表者名
      二村健太,小林一樹,廣久保 望,清瀬摂内
    • 学会等名
      日本知能情報ファジィ学会 合同シンポジウム2021
    • 関連する報告書
      2021 実績報告書
  • [学会発表] 果実自動認識のための多様な果樹 3D モデルと訓練画像の自動生成2021

    • 著者名/発表者名
      久保秀斗,小林 一樹
    • 学会等名
      農業情報学会2021年度年次大会
    • 関連する報告書
      2021 実績報告書
  • [学会発表] 電動車椅子の搭乗者が接近物体から受ける不安感・不快感の定量評価2021

    • 著者名/発表者名
      鈴木涼真, 冨沢哲雄, 多羅尾進
    • 学会等名
      第22回計測自動制御学会SI部門講演会
    • 関連する報告書
      2021 実績報告書
  • [学会発表] 魚の切り身の自動整列装置の開発2021

    • 著者名/発表者名
      小野剛生, 冨沢哲雄, 多羅尾進, 萬礼応, 大矢晃久
    • 学会等名
      第22回計測自動制御学会SI部門講演会
    • 関連する報告書
      2021 実績報告書
  • [学会発表] 車いす型自律移動ロボット高尾w1号の開発2021

    • 著者名/発表者名
      関根陸人, 石清水エゼキエル, 永田夏樹, 鈴木涼真, 渡邊智悠, 冨沢哲雄, 多羅尾進
    • 学会等名
      第22回計測自動制御学会SI部門講演会
    • 関連する報告書
      2021 実績報告書
  • [学会発表] Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models2020

    • 著者名/発表者名
      Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya
    • 学会等名
      The 41st IEEE Real-Time Systems Symposium (RTSS 2020), (Journal presentation)
    • 関連する報告書
      2020 実施状況報告書
    • 国際学会
  • [学会発表] 効率的な動的検証のためのパラメータ化確率モデルに基づいた検証式キャッシュ2020

    • 著者名/発表者名
      中川博之
    • 学会等名
      情報処理学会 ソフトウェアエンジニアリングシンポジウム(SES2020)
    • 関連する報告書
      2020 実施状況報告書
    • 招待講演
  • [学会発表] フィールドモニタリングシステムを用いた高精細画像データ収集とその応用2020

    • 著者名/発表者名
      小林一樹
    • 学会等名
      JpGU - AGU Joint Meeting 2020
    • 関連する報告書
      2020 実施状況報告書
  • [学会発表] 深層学習による隠れ果実領域抽出のための3DCGを用いた訓練データ生成手法2020

    • 著者名/発表者名
      高井亮磨,小林一樹
    • 学会等名
      第33回人工知能学会全国大会
    • 関連する報告書
      2020 実施状況報告書
  • [学会発表] StyleGANによる深層学習訓練用果実パーツ画像の自動生成2020

    • 著者名/発表者名
      高井亮磨,小林一樹
    • 学会等名
      農業情報学会2020年度年次大会
    • 関連する報告書
      2020 実施状況報告書
  • [学会発表] 深層学習におけるリンゴ果実 3Dモデルを用いた多視点訓練画像の生成2020

    • 著者名/発表者名
      高井亮磨,小林一樹
    • 学会等名
      農業情報学会2020年度年次大会
    • 関連する報告書
      2020 実施状況報告書
  • [学会発表] 動的な混雑環境における自動検問ロボットの最適移動戦略2020

    • 著者名/発表者名
      冨沢哲雄, 佐久間大, 江藤亮輔, 山田俊輔, 黒崎将広, 辻田哲平
    • 学会等名
      第38回日本ロボット学会学術講演会
    • 関連する報告書
      2020 実施状況報告書
  • [学会発表] スモールサイズ自律移動ロボット高尾x1号の開発2020

    • 著者名/発表者名
      多羅尾進, 藤田尊久, 小渕晴紀, 多胡秀哉, 冨沢哲雄
    • 学会等名
      第21回計測自動制御学会SI部門講演会
    • 関連する報告書
      2020 実施状況報告書
  • [学会発表] スモールサイズ自律移動ロボット高尾x1号の実機/仮想モデル開発2020

    • 著者名/発表者名
      小渕晴紀, 藤田尊久, 多胡秀哉, 冨沢哲雄, 多羅尾進
    • 学会等名
      つくばチャレンジ2020シンポジウム
    • 関連する報告書
      2020 実施状況報告書
  • [学会発表] 追跡物体に関する時系列パターン解析による測域センサ汚損検出2020

    • 著者名/発表者名
      森本大志, 冨沢哲雄, 岩切宗利
    • 学会等名
      第21回計測自動制御学会SI部門講演会
    • 関連する報告書
      2020 実施状況報告書
  • [学会発表] WHILL Model CRを用いた自律移動ロボットの開発 ~課題挑戦編~2020

    • 著者名/発表者名
      宮﨑裕輔, 李珠熙, ファンアンソン, 冨沢哲雄
    • 学会等名
      つくばチャレンジ2019シンポジウム
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] WHILL Model CRを用いた自律移動ロボットの開発 ~機体編~2020

    • 著者名/発表者名
      押部樹希, 坂本徹, 東澪, 宮﨑裕輔, 冨沢哲雄
    • 学会等名
      つくばチャレンジ2019シンポジウム
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] NuSMVの反例に対する 自動検証による解析支援ツールの試作2019

    • 著者名/発表者名
      大池勇太郎, 小形真平, 青木善貴, 中川博之, 岡野浩三
    • 学会等名
      第51回組込みシステム研究発表会
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] FRAMモデルの可読性向上のための支援2019

    • 著者名/発表者名
      青木善貴, 小形真平
    • 学会等名
      AI/IoTシステムの ための安全性シンポジウム FRAMワークショップ
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] 制御ループの振る舞いの定量化によるFRAMモデルの可読性 向上の試案2019

    • 著者名/発表者名
      青木善貴, 小形真平
    • 学会等名
      第17回ディペンダブルシステムワークショップ(DSW 2019)
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] 農園画像における深層学習を用いた隠れ果実領域の抽出2019

    • 著者名/発表者名
      高井亮磨,小林一樹
    • 学会等名
      第33回人工知能学会全国大会
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] 深層学習を用いた鳥行動に基づく追い払いシステムの開発2019

    • 著者名/発表者名
      小林一樹,下林史弥,寺田和憲,吉河武文,佐藤寛之,土屋博之,Atchariyachanvanich Kanokwan
    • 学会等名
      第33回人工知能学会全国大会
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] 時系列パターン解析による測域センサデータの異常検出2019

    • 著者名/発表者名
      冨沢哲雄, 戸島淳
    • 学会等名
      第20回計測自動制御学会SI部門講演会
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] 初めて訪れた屋内環境における自律移動に関する研究2019

    • 著者名/発表者名
      宮﨑裕輔, 李珠熙, ファンアンソン, 坂本徹, 東澪, 押部樹希, 林周瑚, 冨沢哲雄
    • 学会等名
      第20回計測自動制御学会SI部門講演会, 2F1-05
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] サイバーフィジカル統合型モデを用いたフィールドモニタリングシステムの開発2018

    • 著者名/発表者名
      小林一樹,小形真平,青木善貴,中川博之
    • 学会等名
      農業情報学会 2018年度年次大会
    • 関連する報告書
      2018 実施状況報告書
  • [学会発表] モバイルデジタルサイネージの開発2018

    • 著者名/発表者名
      冨沢哲雄, 渋谷正利
    • 学会等名
      日本機械学会Robomech2018
    • 関連する報告書
      2018 実施状況報告書
  • [学会発表] 自律走行のための3D LIDARを用いた自己位置推定精度に関する評価2018

    • 著者名/発表者名
      宮﨑裕輔, 藤井大樹, 冨沢哲雄, 岩切宗利
    • 学会等名
      第19回計測自動制御学会SI部門講演会
    • 関連する報告書
      2018 実施状況報告書
  • [学会発表] 質問フローに基づくゴールモデル構築手法の提案2018

    • 著者名/発表者名
      島田裕紀,中川博之,土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] 時間制約を考慮可能な自己適応システム実装フレームワークの検討2018

    • 著者名/発表者名
      津田宏軌,中川博之,土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] 焼きなまし法によるロケーティングアレイの生成2018

    • 著者名/発表者名
      小西達也,小島英春,中川博之,土屋達弘
    • 学会等名
      電子情報通信学会ディペンダブルコンピューティング研究会(DC)
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] MAPEループ構造に基づいた機能更新フレームワークに関する考察2018

    • 著者名/発表者名
      土田真也,中川博之,土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] 可搬型汎用自律移動ロボットType17 Red Armored Buggy2018

    • 著者名/発表者名
      渋谷正利, 原木修土, 冨沢哲雄
    • 学会等名
      つくばチャレンジ2017開催記念シンポジウム
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] STAMP/STPA単線列車例題に対する時間オートマトンモデル検査の適用と考察2018

    • 著者名/発表者名
      岡野浩三, 小形真平, Pan Yang, 岡本圭史
    • 学会等名
      電子情報通信学会技術研究報告SS
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] 画面遷移モデリングとWebレイアウト設計の協業支援ツールの試作 ~ Front-End Frameworkを用いたWebsite Builderの併用 ~2018

    • 著者名/発表者名
      岩堀航平, 小形真平, 岡野浩三
    • 学会等名
      電子情報通信学会技術研究報告KBSE
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] STAMP/STPAを用いたCyber-Physical Systemsの検証2017

    • 著者名/発表者名
      青木善貴,小形真平,中川博之
    • 学会等名
      IPA 第2回STAMPワークショップ (Japanese STAMP Workshop)
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] IoTシステムのアーキテクチャモデルを用いた安全性の検証2017

    • 著者名/発表者名
      青木善貴,小形真平,中川博之
    • 学会等名
      ソフトウェア工学の基礎ワークショップ(FOSE2017)
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] SATソルバを使用したロケーティングアレイの生成手法について2017

    • 著者名/発表者名
      小西達也,小島英春,中川博之,土屋達弘
    • 学会等名
      電子情報通信学会 システム数理と応用研究会(SIG-MSS)
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] IoTシステムアーキテクチャのモデリング記法によるモデル検査支援手法の試作と評価2017

    • 著者名/発表者名
      小形真平,青木善貴,中川博之,小林一樹,福島祐子
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE),電子情報通信学会 ソフトウェアサイエンス研究会 (SIG-SS),情報処理学会 ソフトウェア工学研究会 (SIGSE)合同研究発表会
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] レーザー距離センサへの目隠し攻撃による影響2017

    • 著者名/発表者名
      原木修土, 渋谷正利, 冨沢哲雄
    • 学会等名
      第18回計測自動制御学会SI部門講演会
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] 可搬型汎用自律移動ロボットType17 RABの開発2017

    • 著者名/発表者名
      渋谷正利, 原木修土, 冨沢哲雄, 田中良道, 西田健
    • 学会等名
      第18回計測自動制御学会SI部門講演会
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] 差分画像を利用した歩行者用信号の切り替わり検出2017

    • 著者名/発表者名
      冨沢哲雄, 森合隆之介
    • 学会等名
      日本機械学会Robomec2017
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] SMTを用いた制約付きロケーティングアレイの生成について2017

    • 著者名/発表者名
      金浩, 崔銀惠, 土屋達弘
    • 学会等名
      電子情報通信学会ディペンダブルコンピューティング研究会(DC)
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] A curtain rail based outdoor scanning system for crop monitoring2017

    • 著者名/発表者名
      Narayan Sharma, Kazuki Kobayashi
    • 学会等名
      平成 29 年度電子情報通信学会 信州大学 Student Branch 論文発表会
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] 農園画像を用いた深層学習によるリンゴ果実の生育情報抽出2017

    • 著者名/発表者名
      中村俊輝,小林一樹
    • 学会等名
      農業情報学会・電子情報通信学会 知的環境とセンサネットワーク研究会連催 合同研究会,農業×情報通信ワークショップ2017
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] ベアメタル型マイクロコントローラによるフィールドモニタリングシステム運用の効率化2017

    • 著者名/発表者名
      下林史弥,小林一樹
    • 学会等名
      017年度 農業情報学会・電子情報通信学会 知的環境とセンサネットワーク研究会連催 合同研究会,農業×情報通信ワークショップ2017
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] A Monorail Based Real-time Crop Scanner Using Camera and Laser Rangefinder2017

    • 著者名/発表者名
      シャルマ ナラヤン,小林一樹
    • 学会等名
      2017年度 農業情報学会・電子情報通信学会 知的環境とセンサネットワーク研究会連催 合同研究会,農業×情報通信ワークショップ2017
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] ベアメタル型マイクロコントローラを用いたロバストフィールドモニタリング2017

    • 著者名/発表者名
      下林史弥,小林一樹
    • 学会等名
      電子情報通信学会 信越支部大会
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] 深層学習におけるリンゴ果実サイズ特定のための訓練画像生成手法2017

    • 著者名/発表者名
      中村俊輝,小林一樹
    • 学会等名
      電子情報通信学会 信越支部大会
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] クラウドセットアップ可能なフィールドモニタリングシステムの開発2017

    • 著者名/発表者名
      小林一樹,野口遥平
    • 学会等名
      農業情報学会2017年度年次大会
    • 関連する報告書
      2017 実施状況報告書
  • [図書] マルチエージェントによる自律ソフトウェア設計・開発 (マルチエージェントシリーズ)2017

    • 著者名/発表者名
      大須賀昭彦,田原康之,中川博之,川村隆浩
    • 総ページ数
      210
    • 出版者
      コロナ社
    • 関連する報告書
      2017 実施状況報告書

URL: 

公開日: 2017-07-21   更新日: 2023-01-30  

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

Powered by NII kakenhi