• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

A Study on Super Active CPS for Enhancing Adaptability of Artifacts

Research Project

Project/Area Number 17KT0043
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeMulti-year Fund
Section特設分野
Research Field Intensification of Artifact Systems
Research InstitutionOsaka University

Principal Investigator

Nakagawa Hiroyuki  大阪大学, 情報科学研究科, 准教授 (40508834)

Co-Investigator(Kenkyū-buntansha) 小林 一樹  信州大学, 学術研究院工学系, 教授 (00434895)
小形 真平  信州大学, 学術研究院工学系, 准教授 (10589279)
土屋 達弘  大阪大学, 情報科学研究科, 教授 (30283740)
冨沢 哲雄  東京工業高等専門学校, 機械工学科, 准教授 (60549707)
Project Period (FY) 2017-07-18 – 2022-03-31
Project Status Completed (Fiscal Year 2021)
Budget Amount *help
¥18,720,000 (Direct Cost: ¥14,400,000、Indirect Cost: ¥4,320,000)
Fiscal Year 2020: ¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000)
Fiscal Year 2019: ¥7,670,000 (Direct Cost: ¥5,900,000、Indirect Cost: ¥1,770,000)
Fiscal Year 2018: ¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2017: ¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Keywords人工物システム / 適応性 / 自己適応システム / ソフトウェア工学 / プログラミングフレームワーク / 超能動型CPS / ロボット / 組み込みシステム / 自己適応 / CPS
Outline of Final Research Achievements

In this study, we aimed to improve the adaptability of artificial systems. In particular, we have studied the construction method of a super-active CPS (Cyber-Physical System) that actively acts in real space. We assume that various robots acting in real space is incorporated in the super active CPS. This study was conducted from the viewpoints of software engineering, development environment, programming framework, system development, and robotics. W are able to construct a super active CPS easily and reliably by integrating the results of this study.

Academic Significance and Societal Importance of the Research Achievements

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

Report

(6 results)
  • 2021 Annual Research Report   Final Research Report ( PDF )
  • 2020 Research-status Report
  • 2019 Research-status Report
  • 2018 Research-status Report
  • 2017 Research-status Report
  • Research Products

    (145 results)

All 2022 2021 2020 2019 2018 2017 Other

All Int'l Joint Research (1 results) Journal Article (84 results) (of which Peer Reviewed: 54 results,  Open Access: 16 results) Presentation (59 results) (of which Int'l Joint Research: 1 results,  Invited: 1 results) Book (1 results)

  • [Int'l Joint Research] University of Catania(イタリア)

    • Related Report
      2018 Research-status Report
  • [Journal Article] Investigation of Aesthetic Criteria for Creating Highly Readable Class Diagram Layouts2021

    • Author(s)
      大宮 拓馬, 小形 真平, 岡野 浩三
    • Journal Title

      Computer Software

      Volume: 38 Issue: 4 Pages: 4_33-4_39

    • DOI

      10.11309/jssst.38.4_33

    • NAID

      130008132025

    • ISSN
      0289-6540
    • Year and Date
      2021-10-22
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Effect of Expansion Rate of Fruit Area on Fruit Growth Classification Using Convolutional Neural Networks2021

    • Author(s)
      源野広和,小林一樹
    • Journal Title

      Agricultural Information Research

      Volume: 30 Issue: 2 Pages: 86-95

    • DOI

      10.3173/air.30.86

    • NAID

      130008060211

    • ISSN
      0916-9482, 1881-5219
    • Year and Date
      2021-07-01
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Adaptation Space Reduction Using an Explainable Framework2021

    • Author(s)
      Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Journal Title

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

      Volume: - Pages: 1654-1661

    • DOI

      10.1109/compsac51774.2021.00247

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Graph queries for analyzing the coverage of requirements by test cases2021

    • Author(s)
      Shingo Ariwaka, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Journal Title

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

      Volume: - Pages: 544-549

    • DOI

      10.18293/seke2021-122

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Preemptive Anomaly Prediction in IoT Components2021

    • Author(s)
      Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Journal Title

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

      Volume: - Pages: 12-17

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] RPAにおける不具合発生要因の分類2021

    • Author(s)
      新田壮史,中川博之,土屋達弘
    • Journal Title

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

      Volume: - Pages: 39-44

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 異粒度指向反例解析に向けて2021

    • Author(s)
      小形真平,大池勇太郎,中川博之,青木善貴,小林一樹,岡野浩三
    • Journal Title

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

      Volume: - Pages: 45-50

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 要求仕様に対するテストカバレッジ分析におけるグラフクエリの適用について2021

    • Author(s)
      有若新悟, 中川博之, 土屋達弘
    • Journal Title

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

      Volume: - Pages: 136-141

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] トレーサビリティリンク生成における自然言語処理モデルの性能比較2021

    • Author(s)
      新田壮史,中川博之,土屋達弘
    • Journal Title

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

      Volume: KBSE2020-34 Pages: 1-6

    • Related Report
      2020 Research-status Report
  • [Journal Article] 時間制約を実行時に検証可能な自己適応フレームワークに関する研究2021

    • Author(s)
      小島英春,中川博之
    • Journal Title

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

      Volume: KBSE2020-31 Pages: 13-18

    • Related Report
      2020 Research-status Report
  • [Journal Article] Data Cleansing Using Deep Learning and Its Application to Apple Fruit Images2020

    • Author(s)
      Genno Hirokazu、Kobayashi Kazuki
    • Journal Title

      Agricultural Information Research

      Volume: 29 Issue: 3 Pages: 47-61

    • DOI

      10.3173/air.29.47

    • NAID

      130007920641

    • ISSN
      0916-9482, 1881-5219
    • Year and Date
      2020-10-01
    • Related Report
      2020 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Interactive Goal Model Construction Based on a Flow of Questions2020

    • Author(s)
      NAKAGAWA Hiroyuki、SHIMADA Hironori、TSUCHIYA Tatsuhiro
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E103.D Issue: 6 Pages: 1309-1318

    • DOI

      10.1587/transinf.2019KBP0015

    • NAID

      130007850091

    • ISSN
      0916-8532, 1745-1361
    • Year and Date
      2020-06-01
    • Related Report
      2020 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Using simulated annealing for locating array construction2020

    • Author(s)
      Konishi Tatsuya、Kojima Hideharu、Nakagawa Hiroyuki、Tsuchiya Tatsuhiro
    • Journal Title

      Information and Software Technology

      Volume: 126 Pages: 106346-106346

    • DOI

      10.1016/j.infsof.2020.106346

    • Related Report
      2020 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Finding Minimum Locating Arrays Using a CSP Solver2020

    • Author(s)
      Konishi Tatsuya、Kojima Hideharu、Nakagawa Hiroyuki、Tsuchiya Tatsuhiro
    • Journal Title

      Fundamenta Informaticae

      Volume: 174 Issue: 1 Pages: 27-42

    • DOI

      10.3233/fi-2020-1929

    • Related Report
      2020 Research-status Report
    • Peer Reviewed
  • [Journal Article] An Explainable Deep Learning Approach for Adaptation Space Reduction2020

    • Author(s)
      Diallo Alhassan Boner、Nakagawa Hiroyuki、Tsuchiya Tatsuhiro
    • Journal Title

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

      Volume: - Pages: 230-231

    • DOI

      10.1109/acsos-c51401.2020.00063

    • Related Report
      2020 Research-status Report
    • Peer Reviewed
  • [Journal Article] An Automated Goal Labeling Method Based on User Reviews2020

    • Author(s)
      Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Journal Title

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

      Volume: - Pages: 141-146

    • Related Report
      2020 Research-status Report
    • Peer Reviewed
  • [Journal Article] モデル検査における複雑な検査式に対する反例解析手法の提案2020

    • Author(s)
      大池勇太郎,小形真平,青木善貴,中川博之,小林一樹,岡野浩三
    • Journal Title

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

      Volume: - Pages: 23-31

    • NAID

      170000183323

    • Related Report
      2020 Research-status Report
    • Peer Reviewed
  • [Journal Article] グラフ化による制御ループに関する反例の可視化手法の提案2020

    • Author(s)
      青木善貴,小形真平,小林一樹,中川博之
    • Journal Title

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

      Volume: - Pages: 115-124

    • NAID

      170000183333

    • Related Report
      2020 Research-status Report
    • Peer Reviewed
  • [Journal Article] 要求-テストケース間のカバレッジ分析におけるグラフクエリの応用可能性の検討2020

    • Author(s)
      有若新悟,中川博之,土屋達弘
    • Journal Title

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

      Volume: KBSE2020-25 Pages: 53-58

    • Related Report
      2020 Research-status Report
  • [Journal Article] RTK-GNSSを用いた収穫物運搬のための屋外自律移動ロボットの開発2020

    • Author(s)
      平岡 廉,小林一樹,青柳悠也
    • Journal Title

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

      Volume: - Pages: 31-34

    • Related Report
      2020 Research-status Report
  • [Journal Article] 対話的スマートデバイスによる熟練農業生産者の経験知収集2020

    • Author(s)
      青山夏樹,小林一樹,青柳悠也
    • Journal Title

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

      Volume: - Pages: 39-40

    • Related Report
      2020 Research-status Report
  • [Journal Article] RTK-GNSSと深層学習を用いた収穫用ロボットの自動走行 ―新わい化果樹農園内におけるRTK-GNSSの有効性―2020

    • Author(s)
      青柳悠也,小林一樹,平岡 廉
    • Journal Title

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

      Volume: - Pages: 41-45

    • Related Report
      2020 Research-status Report
  • [Journal Article] A Model Transformation Approach to Constructing Agent-oriented Design Models for CPS/IoT Systems2020

    • Author(s)
      Hiroyuki Nakagawa, Shinpei Ogata, Yoshitaka Aoki and Kazuki Kobayashi
    • Journal Title

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

      Volume: - Pages: 815-822

    • DOI

      10.1145/3341105.3374033

    • Related Report
      2019 Research-status Report
    • Peer Reviewed
  • [Journal Article] Opinion Analysis and Organization of Mobile Application User Reviews2020

    • Author(s)
      Long Wang, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Journal Title

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

      Volume: - Pages: 1-9

    • Related Report
      2019 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] 遺伝的プログラミングを用いた施設レイアウト自動生成の検討2020

    • Author(s)
      花田響四郎,中川博之,関本章,赤木宏匡,土屋達弘
    • Journal Title

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

      Volume: 信学技報KBSE2019-46 Pages: 1-6

    • Related Report
      2019 Research-status Report
  • [Journal Article] ゴール指向要求分析に基づくAI・データ分析案件業務の効率化2020

    • Author(s)
      奥谷大介,伊加田恵志,中川博之
    • Journal Title

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

      Volume: 信学技報KBSE2019-49 Pages: 19-24

    • Related Report
      2019 Research-status Report
  • [Journal Article] 安全性解析支援のための状態遷移系に基づくハザード近接状態検出法の提案2020

    • Author(s)
      鈴木悠介,小形真平,大池勇太郎,青木善貴,中川博之,小林一樹,岡野浩三
    • Journal Title

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

      Volume: 信学技報KBSE2019-47 Pages: 7-12

    • Related Report
      2019 Research-status Report
  • [Journal Article] ロボットの胸部モニターへの表情拡張がユーザの印象に与える影響2020

    • Author(s)
      田中和弘,小林一樹
    • Journal Title

      HAIシンポジウム2020

      Volume: P-8 Pages: 1-6

    • Related Report
      2019 Research-status Report
  • [Journal Article] 多値確信度伝達のためのエージェントによる集団音声表出2020

    • Author(s)
      本戸丈裕,小林一樹
    • Journal Title

      HAIシンポジウム2020

      Volume: P-18 Pages: 1-4

    • Related Report
      2019 Research-status Report
  • [Journal Article] タスクに応じて服装変化するエージェントがユーザの印象に与える影響2020

    • Author(s)
      吉原一成,小林一樹
    • Journal Title

      HAIシンポジウム2020

      Volume: P-21 Pages: 1-8

    • Related Report
      2019 Research-status Report
  • [Journal Article] コマンド認識失敗時に人格を交替する音声対話エージェント2020

    • Author(s)
      堀 立樹,小林一樹
    • Journal Title

      HAIシンポジウム2020

      Volume: P-31 Pages: 1-6

    • Related Report
      2019 Research-status Report
  • [Journal Article] 自律エージェントの人格と身体の結合性がユーザに与える影響2020

    • Author(s)
      松澤涼平,小林一樹
    • Journal Title

      HAIシンポジウム2020

      Volume: P-39 Pages: 1-2

    • Related Report
      2019 Research-status Report
  • [Journal Article] 高精細画像モニタリングシステムを用いたイチゴ生育画像の計測・蓄積と解析2020

    • Author(s)
      源野広和,小林一樹,松江英明
    • Journal Title

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

      Volume: IT2019-40 Pages: 25-29

    • Related Report
      2019 Research-status Report
  • [Journal Article] A Method of Refining Topic Models Based on Term and Document Frequencies.2019

    • Author(s)
      東和幸,高橋仁,中川博之,土屋達弘
    • Journal Title

      Computer Software

      Volume: 36 Issue: 4 Pages: 4_25-4_31

    • DOI

      10.11309/jssst.36.4_25

    • NAID

      130007772583

    • ISSN
      0289-6540
    • Year and Date
      2019-10-25
    • Related Report
      2019 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models2019

    • Author(s)
      Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya
    • Journal Title

      The Journal of Systems & Software

      Volume: 156 Pages: 300-311

    • DOI

      10.1016/j.jss.2019.07.007

    • Related Report
      2019 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Using simulated annealing for locating array construction2019

    • Author(s)
      Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Journal Title

      arXiv

      Volume: 1909.13090 Pages: 1-23

    • Related Report
      2019 Research-status Report
    • Open Access
  • [Journal Article] Finding minimum locating arrays using a CSP solver2019

    • Author(s)
      Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Journal Title

      arXiv

      Volume: 1904.07480 Pages: 1-16

    • Related Report
      2019 Research-status Report
    • Open Access
  • [Journal Article] Towards Real-time Self-adaptation Using a Verification Mechanism2019

    • Author(s)
      Hiroyuki Nakagawa, Hiroki Tsuda, Tatsuhiro Tsuchiya
    • Journal Title

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

      Volume: WiP Pages: 10-12

    • Related Report
      2019 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Self-Adaptation for Heterogeneous Client-Server Online Games2019

    • Author(s)
      Satoru Yamagata, Hiroyuki Nakagawa, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
    • Journal Title

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

      Volume: - Pages: 65-79

    • DOI

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

    • ISBN
      9783030252120, 9783030252137
    • Related Report
      2019 Research-status Report
    • Peer Reviewed
  • [Journal Article] Apple growth evaluated automatically with high-definition field monitoring images2019

    • Author(s)
      Hirokazu Genno, Kazuki Kobayashi
    • Journal Title

      Computers and Electronics in Agriculture

      Volume: 164-104895 Pages: 1-9

    • DOI

      10.1016/j.compag.2019.104895

    • Related Report
      2019 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] エージェント指向設計に基づいたCPS/IoTシステム設計の有効性に関する考察2019

    • Author(s)
      中川博之,小形真平,青木善貴,小林一樹
    • Journal Title

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

      Volume: - Pages: 204-211

    • Related Report
      2019 Research-status Report
    • Peer Reviewed
  • [Journal Article] LoRa Communication Maps of Medium-sized Rural City in Japan via Community Bus Services2019

    • Author(s)
      Ken T. Murata, Kohei Mizutani, Yoshiaki Muroyama, Kazunori Yamamoto, Kazuya Muranaga, Takamichi Mizuhara, Praphan Pavarangkoon, Kazuki Kobayashi
    • Journal Title

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

      Volume: - Pages: 1054-1059

    • DOI

      10.1109/dasc/picom/cbdcom/cyberscitech.2019.00189

    • Related Report
      2019 Research-status Report
    • Peer Reviewed
  • [Journal Article] 確率的モデル検査器を用いた制御ループの定量的検証の試案2019

    • Author(s)
      青木善貴,小形真平,小林一樹,中川博之
    • Journal Title

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

      Volume: - Pages: 115-120

    • Related Report
      2019 Research-status Report
    • Peer Reviewed
  • [Journal Article] 確率的モデル検査器を用いたFRAM モデル理解の支援2019

    • Author(s)
      青木善貴, 小形真平
    • Journal Title

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

      Volume: - Pages: 116-125

    • NAID

      170000150607

    • Related Report
      2019 Research-status Report
    • Peer Reviewed
  • [Journal Article] 文書間の類似度に基づいたトレーサビリティリンクの精度向上手法の検討2019

    • Author(s)
      東和幸,中川博之,土屋達弘
    • Journal Title

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

      Volume: 信学技報KBSE2019-27, SC2019-24 Pages: 25-30

    • Related Report
      2019 Research-status Report
  • [Journal Article] word2vecとゴールモデルの階層性を利用した類似ゴール検出方法の提案2019

    • Author(s)
      石川公一,小形真平,中川博之,岡野浩三
    • Journal Title

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

      Volume: 信学技報KBSE2019-23, SC2019-20 Pages: 1-6

    • Related Report
      2019 Research-status Report
  • [Journal Article] 不具合原因分析支援のためのNuSMV反例解析手法の試案2019

    • Author(s)
      大池勇太郎,小形真平,青木善貴,中川博之,小林一樹,岡野浩三
    • Journal Title

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

      Volume: 信学技報KBSE2019-24, SC2019-21 Pages: 7-12

    • Related Report
      2019 Research-status Report
  • [Journal Article] 確率的モデル検査器を用いたFRAM支援手法の試案2019

    • Author(s)
      青木善貴, 小形真平
    • Journal Title

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

      Volume: 信学技報KBSE2019-8 Pages: 49-56

    • Related Report
      2019 Research-status Report
  • [Journal Article] Goal Model Construction Based on User Review Classification2019

    • Author(s)
      Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Journal Title

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

      Volume: - Pages: 1-5

    • Related Report
      2018 Research-status Report
    • Peer Reviewed
  • [Journal Article] NuSMVの反例解析支援ツールの試作2019

    • Author(s)
      大池勇太郎,小形真平,青木善貴,中川博之,岡野浩三
    • Journal Title

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

      Volume: - Pages: 13-14

    • NAID

      170000179094

    • Related Report
      2018 Research-status Report
    • Peer Reviewed
  • [Journal Article] 自己適応システムの動的検証法の高速化に関する研究2019

    • Author(s)
      妙見侑祐,中川博之,土屋達弘
    • Journal Title

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

      Volume: 信学技報KBSE2018-66 Pages: 75-80

    • Related Report
      2018 Research-status Report
  • [Journal Article] 地理情報付き三次元地図による自己位置推定2019

    • Author(s)
      藤井大樹, 宮﨑裕輔, 冨沢哲雄, 岩切宗利
    • Journal Title

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

      Volume: - Pages: 140-145

    • Related Report
      2018 Research-status Report
  • [Journal Article] Developing a Remotely Operated Portable Mobile Robot2018

    • Author(s)
      TetsuoTomizawa, Masato Shibuya, Ryodo Tanaka, Takeshi Nishida
    • Journal Title

      Journal of Robotics and Mechatronics

      Volume: 30 Issue: 4 Pages: 584-590

    • DOI

      10.20965/jrm.2018.p0584

    • NAID

      130007437283

    • ISSN
      0915-3942, 1883-8049
    • Year and Date
      2018-08-20
    • Related Report
      2018 Research-status Report
    • Peer Reviewed
  • [Journal Article] Verification of CPS Based on Control Loop using Model Checking2018

    • Author(s)
      Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi, Hiroyuki Nakagawa
    • Journal Title

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

      Volume: - Pages: 678-682

    • Related Report
      2018 Research-status Report
    • Peer Reviewed
  • [Journal Article] A Template System for Modeling and Verifying Agent Behaviors2018

    • Author(s)
      Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa, Kazuki Kobayashi
    • Journal Title

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

      Volume: - Pages: 576-584

    • DOI

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

    • ISBN
      9783030030971, 9783030030988
    • Related Report
      2018 Research-status Report
    • Peer Reviewed
  • [Journal Article] A Framework for Updating Functionalities Based on the MAPE Loop Mechanism2018

    • Author(s)
      Shinya Tsuchida, Hiroyuki Nakagawa, Emiliano Tramontana, Andrea Fornaia, Tatsuhiro Tsuchiya
    • Journal Title

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

      Volume: - Pages: 38-47

    • DOI

      10.1109/compsac.2018.00014

    • Related Report
      2018 Research-status Report 2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] ユーザレビューに基づいたゴールモデル構築手法の検討2018

    • Author(s)
      島田裕紀,中川博之,土屋達弘
    • Journal Title

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

      Volume: - Pages: 119-128

    • Related Report
      2018 Research-status Report
    • Peer Reviewed
  • [Journal Article] word2vecによるゴール間類似度算出手法の実践と評価2018

    • Author(s)
      石川公一,小形真平,中川博之,岡野浩三
    • Journal Title

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

      Volume: 2019-SE-201 No.14 Pages: 1-8

    • Related Report
      2018 Research-status Report
  • [Journal Article] Document Frequencyと単語類似度に基づいたストップワード自動作成手法の検討2018

    • Author(s)
      東和幸,中川博之,土屋達弘
    • Journal Title

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

      Volume: 信学技報KBSE2018-38 Pages: 59-64

    • Related Report
      2018 Research-status Report
  • [Journal Article] 組み込みシステムに対する安全な機能追加手法の考察2018

    • Author(s)
      土田真也,中川博之,土屋達弘
    • Journal Title

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

      Volume: 信学技報KBSE2018-18 Pages: 43-48

    • Related Report
      2018 Research-status Report
  • [Journal Article] コントロールループに着目したIoTアーキテクチャモデルの検証に関する一考察2018

    • Author(s)
      青木善貴,小形真平,小林一樹,中川博之
    • Journal Title

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

      Volume: 信学技報KBSE2018-21 Pages: 61-66

    • Related Report
      2018 Research-status Report
  • [Journal Article] ゴールモデルのコンテキストに注目した効率的なモデル検査2018

    • Author(s)
      本田大雅,小島英春,中川博之,土屋達弘
    • Journal Title

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

      Volume: - Pages: 229-235

    • Related Report
      2018 Research-status Report
  • [Journal Article] A Requirements Coverage Visualization Approach Based on Document Similarities2018

    • Author(s)
      松井 勝利、中川 博之、土屋 達弘
    • Journal Title

      Computer Software

      Volume: 35 Issue: 1 Pages: 1_67-1_75

    • DOI

      10.11309/jssst.35.1_67

    • NAID

      130006555543

    • ISSN
      0289-6540
    • Related Report
      2017 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Constructing a Goal Model from Requirements Descriptions Based on Extraction Rules2018

    • Author(s)
      Shimada Hironori、Nakagawa Hiroyuki、Tsuchiya Tatsuhiro
    • Journal Title

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

      Volume: - Pages: 175-188

    • DOI

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

    • ISBN
      9789811077951, 9789811077968
    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] MAPEループを用いたIoTデバイスの効率的な再利用法の検討2018

    • Author(s)
      土田真也,中川博之,土屋達弘
    • Journal Title

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

      Volume: - Pages: 74-75

    • NAID

      170000176299

    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] ORTEによるIoTシステムモデリングの実践 ~農園画像モニタリングシステムを事例として~2018

    • Author(s)
      小形真平,小林一樹,青木善貴,中川博之
    • Journal Title

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

      Volume: - Pages: 72-73

    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] Using Difference Images to Detect Pedestrian Signal Changes2017

    • Author(s)
      Tomizawa Tetsuo、Moriai Ryunosuke
    • Journal Title

      Journal of Robotics and Mechatronics

      Volume: 29 Issue: 4 Pages: 706-711

    • DOI

      10.20965/jrm.2017.p0706

    • NAID

      130007519926

    • ISSN
      0915-3942, 1883-8049
    • Year and Date
      2017-08-20
    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] Mobile Robot Navigation Utilizing the WEB Based Aerial Images Without Prior Teaching Run2017

    • Author(s)
      Muramatsu Satoshi、Tomizawa Tetsuo、Kudoh Shunsuke、Suehiro Takashi
    • Journal Title

      Journal of Robotics and Mechatronics

      Volume: 29 Issue: 4 Pages: 697-705

    • DOI

      10.20965/jrm.2017.p0697

    • NAID

      130007519920

    • ISSN
      0915-3942, 1883-8049
    • Year and Date
      2017-08-20
    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry2017

    • Author(s)
      Nakagawa Hiroyuki、Hasegawa Toshinobu、Matsui Shori、Tsuchiya Tatsuhiro
    • Journal Title

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

      Volume: - Pages: 77-80

    • DOI

      10.1109/issrew.2017.19

    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] A Tool to Edit and Verify IoT System Architecture Model2017

    • Author(s)
      Shinpei Ogata, Hiroyuki Nakagawa, Yoshitaka Aoki, Kazuki Kobayashi, Yuko Fukushima
    • Journal Title

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

      Volume: - Pages: 571-575

    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] A Visualization of Specification Coverage Based on Document Similarity2017

    • Author(s)
      Nakagawa Hiroyuki、Matsui Shori、Tsuchiya Tatsuhiro
    • Journal Title

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

      Volume: - Pages: 136-138

    • DOI

      10.1109/icse-c.2017.117

    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] ソフトウェア工学の最前線 ~ソフトウェアが社会のすべてを定義する時代~:[未来に向かって]IoT時代の環境適応型ソフトウェア2017

    • Author(s)
      中川博之,鄭顕志,田原康之
    • Journal Title

      情報処理

      Volume: 58(8) Pages: 702-704

    • Related Report
      2017 Research-status Report
  • [Journal Article] Report on ER 20162017

    • Author(s)
      中川 博之、小林 努、林 晋平、吉岡 信和、鵜林 尚靖
    • Journal Title

      Computer Software

      Volume: 34 Issue: 3 Pages: 3_75-3_80

    • DOI

      10.11309/jssst.34.3_75

    • NAID

      130006099406

    • ISSN
      0289-6540
    • Related Report
      2017 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] ばねモデルに基づいた要求カバレッジ可視化ビューアの構築2017

    • Author(s)
      松井勝利,中川博之,土屋達弘
    • Journal Title

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

      Volume: - Pages: 43-52

    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] On the Generation of Human-oriented Counter-examples using a Test Automaton2017

    • Author(s)
      C. Yanagisawa, S. Ogata, K. Okano
    • Journal Title

      International Journal of Informatics Society

      Volume: 9(1) Pages: 41-50

    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] A rule-based method of stepwise evaluating class diagrams2017

    • Author(s)
      S. Ogata, K. Miyajima, M. Kayama, K. Okano
    • Journal Title

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

      Volume: - Pages: 141-146

    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] SMart-Learning: State Machine Simulators for Developing Thinking Skills2017

    • Author(s)
      S. Ogata, M. Kayama, K. Okano
    • Journal Title

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

      Volume: - Pages: 81-83

    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] Traceability Link Mining - Focusing on Usability -2017

    • Author(s)
      Y. Yazawa, S. Ogata, K. Okano, H. Kaiya, H. Washizaki
    • Journal Title

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

      Volume: - Pages: 286-287

    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] 共同作業における概念モデル洗練支援ツールの試作2017

    • Author(s)
      丸山美咲, 小形真平, 岡野浩三, 香山瑞恵
    • Journal Title

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

      Volume: - Pages: 251-252

    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] 画面遷移モデルに着目したユーザビリティパターン抽出手法の提案2017

    • Author(s)
      矢澤幸也, 小形真平, 岡野浩三, 海谷治彦, 鷲崎弘宜
    • Journal Title

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

      Volume: - Pages: 167-174

    • NAID

      170000175832

    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] Data access control for energy-related services in smart public infrastructures2017

    • Author(s)
      Kawada Yohei、Yano Kojin、Mizuno Yoshihiro、Tsuchiya Tatsuhiro、Fujisaki Yasumasa
    • Journal Title

      omputers in Industry

      Volume: 88 Pages: 35-43

    • DOI

      10.1016/j.compind.2017.03.002

    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] Constrained locating arrays for combinatorial interaction testing2017

    • Author(s)
      Hao Jin, Tatsuhiro Tsuchiya
    • Journal Title

      arxiv

      Volume: - Pages: 1-12

    • Related Report
      2017 Research-status Report
  • [Journal Article] Extraction of Fruit Growth Information from Large-scale High-definition Images2017

    • Author(s)
      Genno Hirokazu、Kobayashi Kazuki
    • Journal Title

      Agricultural Information Research

      Volume: 26 Issue: 4 Pages: 100-114

    • DOI

      10.3173/air.26.100

    • NAID

      130006287990

    • ISSN
      0916-9482, 1881-5219
    • Related Report
      2017 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Projection mapping of behavioral expressions onto manufactured figures for speech interaction2017

    • Author(s)
      Ishihara Yoshihisa、Kobayashi Kazuki
    • Journal Title

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

      Volume: - Pages: 12-16

    • DOI

      10.1109/roman.2017.8172273

    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Presentation] XAIを用いた自己適応異常検知手法の実用化に向けて2022

    • Author(s)
      角田詩門,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • Related Report
      2021 Annual Research Report
  • [Presentation] 強化学習と階層化意思決定法を用いた施設レイアウト自動設計手法の提案2022

    • Author(s)
      池田光,中川博之,関本章,赤木宏匡,土屋達弘
    • Organizer
      日本経営工学会2022年春季大会
    • Related Report
      2021 Annual Research Report
  • [Presentation] 要求駆動のプロセスモデル抽出に向けて2022

    • Author(s)
      中川博之
    • Organizer
      情報処理学会 第64回 要求工学ワークショップ
    • Related Report
      2021 Annual Research Report
  • [Presentation] Heuristic Minerを用いたパラメータ調整に基づくプロセスモデル抽出手法2022

    • Author(s)
      南垣内一輝,中川博之,海谷治彦,小形真平,竹内広宜,土屋達弘
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • Related Report
      2021 Annual Research Report
  • [Presentation] 車いす型自律移動ロボット高尾w1号の三次元SLAMとナビゲーション2022

    • Author(s)
      関根陸人, 石清水エゼキエル, 永田夏樹, 鈴木涼真, 渡邊智悠, 冨沢哲雄, 多羅尾進
    • Organizer
      つくばチャレンジ2021シンポジウム
    • Related Report
      2021 Annual Research Report
  • [Presentation] 強化学習に基づいた施設レイアウト自動設計支援システムの実現に向けて2021

    • Author(s)
      池田光,中川博之,関本章,赤木宏匡,土屋達弘
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • Related Report
      2021 Annual Research Report
  • [Presentation] 人の期待とシステムの振る舞いの乖離をモデル検査により検証する手法の提案2021

    • Author(s)
      青木善貴,小形真平,中川博之,小林一樹
    • Organizer
      ソフトウェア工学の基礎ワークショップ FOSE 2021
    • Related Report
      2021 Annual Research Report
  • [Presentation] 共感対話コーパスを用いた農作業記録対話システムの開発2021

    • Author(s)
      上田 弦輝,小林一樹
    • Organizer
      日本知能情報ファジィ学会 合同シンポジウム2021
    • Related Report
      2021 Annual Research Report
  • [Presentation] 外部視覚情報を用いたドローン誘導に基づく自動充電ステーションの開発2021

    • Author(s)
      頼富雪乃,小林一樹
    • Organizer
      日本知能情報ファジィ学会 合同シンポジウム2021
    • Related Report
      2021 Annual Research Report
  • [Presentation] 深層学習を用いた果実の個体別生育状態の抽出2021

    • Author(s)
      本堂貴也,小林一樹
    • Organizer
      日本知能情報ファジィ学会 合同シンポジウム2021
    • Related Report
      2021 Annual Research Report
  • [Presentation] 小型分光カメラを用いた正規化植生指標による植物状態の評価2021

    • Author(s)
      二村健太,小林一樹,廣久保 望,清瀬摂内
    • Organizer
      日本知能情報ファジィ学会 合同シンポジウム2021
    • Related Report
      2021 Annual Research Report
  • [Presentation] 果実自動認識のための多様な果樹 3D モデルと訓練画像の自動生成2021

    • Author(s)
      久保秀斗,小林 一樹
    • Organizer
      農業情報学会2021年度年次大会
    • Related Report
      2021 Annual Research Report
  • [Presentation] 電動車椅子の搭乗者が接近物体から受ける不安感・不快感の定量評価2021

    • Author(s)
      鈴木涼真, 冨沢哲雄, 多羅尾進
    • Organizer
      第22回計測自動制御学会SI部門講演会
    • Related Report
      2021 Annual Research Report
  • [Presentation] 魚の切り身の自動整列装置の開発2021

    • Author(s)
      小野剛生, 冨沢哲雄, 多羅尾進, 萬礼応, 大矢晃久
    • Organizer
      第22回計測自動制御学会SI部門講演会
    • Related Report
      2021 Annual Research Report
  • [Presentation] 車いす型自律移動ロボット高尾w1号の開発2021

    • Author(s)
      関根陸人, 石清水エゼキエル, 永田夏樹, 鈴木涼真, 渡邊智悠, 冨沢哲雄, 多羅尾進
    • Organizer
      第22回計測自動制御学会SI部門講演会
    • Related Report
      2021 Annual Research Report
  • [Presentation] Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models2020

    • Author(s)
      Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya
    • Organizer
      The 41st IEEE Real-Time Systems Symposium (RTSS 2020), (Journal presentation)
    • Related Report
      2020 Research-status Report
    • Int'l Joint Research
  • [Presentation] 効率的な動的検証のためのパラメータ化確率モデルに基づいた検証式キャッシュ2020

    • Author(s)
      中川博之
    • Organizer
      情報処理学会 ソフトウェアエンジニアリングシンポジウム(SES2020)
    • Related Report
      2020 Research-status Report
    • Invited
  • [Presentation] フィールドモニタリングシステムを用いた高精細画像データ収集とその応用2020

    • Author(s)
      小林一樹
    • Organizer
      JpGU - AGU Joint Meeting 2020
    • Related Report
      2020 Research-status Report
  • [Presentation] 深層学習による隠れ果実領域抽出のための3DCGを用いた訓練データ生成手法2020

    • Author(s)
      高井亮磨,小林一樹
    • Organizer
      第33回人工知能学会全国大会
    • Related Report
      2020 Research-status Report
  • [Presentation] StyleGANによる深層学習訓練用果実パーツ画像の自動生成2020

    • Author(s)
      高井亮磨,小林一樹
    • Organizer
      農業情報学会2020年度年次大会
    • Related Report
      2020 Research-status Report
  • [Presentation] 深層学習におけるリンゴ果実 3Dモデルを用いた多視点訓練画像の生成2020

    • Author(s)
      高井亮磨,小林一樹
    • Organizer
      農業情報学会2020年度年次大会
    • Related Report
      2020 Research-status Report
  • [Presentation] 動的な混雑環境における自動検問ロボットの最適移動戦略2020

    • Author(s)
      冨沢哲雄, 佐久間大, 江藤亮輔, 山田俊輔, 黒崎将広, 辻田哲平
    • Organizer
      第38回日本ロボット学会学術講演会
    • Related Report
      2020 Research-status Report
  • [Presentation] スモールサイズ自律移動ロボット高尾x1号の開発2020

    • Author(s)
      多羅尾進, 藤田尊久, 小渕晴紀, 多胡秀哉, 冨沢哲雄
    • Organizer
      第21回計測自動制御学会SI部門講演会
    • Related Report
      2020 Research-status Report
  • [Presentation] スモールサイズ自律移動ロボット高尾x1号の実機/仮想モデル開発2020

    • Author(s)
      小渕晴紀, 藤田尊久, 多胡秀哉, 冨沢哲雄, 多羅尾進
    • Organizer
      つくばチャレンジ2020シンポジウム
    • Related Report
      2020 Research-status Report
  • [Presentation] 追跡物体に関する時系列パターン解析による測域センサ汚損検出2020

    • Author(s)
      森本大志, 冨沢哲雄, 岩切宗利
    • Organizer
      第21回計測自動制御学会SI部門講演会
    • Related Report
      2020 Research-status Report
  • [Presentation] WHILL Model CRを用いた自律移動ロボットの開発 ~課題挑戦編~2020

    • Author(s)
      宮﨑裕輔, 李珠熙, ファンアンソン, 冨沢哲雄
    • Organizer
      つくばチャレンジ2019シンポジウム
    • Related Report
      2019 Research-status Report
  • [Presentation] WHILL Model CRを用いた自律移動ロボットの開発 ~機体編~2020

    • Author(s)
      押部樹希, 坂本徹, 東澪, 宮﨑裕輔, 冨沢哲雄
    • Organizer
      つくばチャレンジ2019シンポジウム
    • Related Report
      2019 Research-status Report
  • [Presentation] NuSMVの反例に対する 自動検証による解析支援ツールの試作2019

    • Author(s)
      大池勇太郎, 小形真平, 青木善貴, 中川博之, 岡野浩三
    • Organizer
      第51回組込みシステム研究発表会
    • Related Report
      2019 Research-status Report
  • [Presentation] FRAMモデルの可読性向上のための支援2019

    • Author(s)
      青木善貴, 小形真平
    • Organizer
      AI/IoTシステムの ための安全性シンポジウム FRAMワークショップ
    • Related Report
      2019 Research-status Report
  • [Presentation] 制御ループの振る舞いの定量化によるFRAMモデルの可読性 向上の試案2019

    • Author(s)
      青木善貴, 小形真平
    • Organizer
      第17回ディペンダブルシステムワークショップ(DSW 2019)
    • Related Report
      2019 Research-status Report
  • [Presentation] 農園画像における深層学習を用いた隠れ果実領域の抽出2019

    • Author(s)
      高井亮磨,小林一樹
    • Organizer
      第33回人工知能学会全国大会
    • Related Report
      2019 Research-status Report
  • [Presentation] 深層学習を用いた鳥行動に基づく追い払いシステムの開発2019

    • Author(s)
      小林一樹,下林史弥,寺田和憲,吉河武文,佐藤寛之,土屋博之,Atchariyachanvanich Kanokwan
    • Organizer
      第33回人工知能学会全国大会
    • Related Report
      2019 Research-status Report
  • [Presentation] 時系列パターン解析による測域センサデータの異常検出2019

    • Author(s)
      冨沢哲雄, 戸島淳
    • Organizer
      第20回計測自動制御学会SI部門講演会
    • Related Report
      2019 Research-status Report
  • [Presentation] 初めて訪れた屋内環境における自律移動に関する研究2019

    • Author(s)
      宮﨑裕輔, 李珠熙, ファンアンソン, 坂本徹, 東澪, 押部樹希, 林周瑚, 冨沢哲雄
    • Organizer
      第20回計測自動制御学会SI部門講演会, 2F1-05
    • Related Report
      2019 Research-status Report
  • [Presentation] サイバーフィジカル統合型モデを用いたフィールドモニタリングシステムの開発2018

    • Author(s)
      小林一樹,小形真平,青木善貴,中川博之
    • Organizer
      農業情報学会 2018年度年次大会
    • Related Report
      2018 Research-status Report
  • [Presentation] モバイルデジタルサイネージの開発2018

    • Author(s)
      冨沢哲雄, 渋谷正利
    • Organizer
      日本機械学会Robomech2018
    • Related Report
      2018 Research-status Report
  • [Presentation] 自律走行のための3D LIDARを用いた自己位置推定精度に関する評価2018

    • Author(s)
      宮﨑裕輔, 藤井大樹, 冨沢哲雄, 岩切宗利
    • Organizer
      第19回計測自動制御学会SI部門講演会
    • Related Report
      2018 Research-status Report
  • [Presentation] 質問フローに基づくゴールモデル構築手法の提案2018

    • Author(s)
      島田裕紀,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • Related Report
      2017 Research-status Report
  • [Presentation] 時間制約を考慮可能な自己適応システム実装フレームワークの検討2018

    • Author(s)
      津田宏軌,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • Related Report
      2017 Research-status Report
  • [Presentation] 焼きなまし法によるロケーティングアレイの生成2018

    • Author(s)
      小西達也,小島英春,中川博之,土屋達弘
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会(DC)
    • Related Report
      2017 Research-status Report
  • [Presentation] MAPEループ構造に基づいた機能更新フレームワークに関する考察2018

    • Author(s)
      土田真也,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • Related Report
      2017 Research-status Report
  • [Presentation] 可搬型汎用自律移動ロボットType17 Red Armored Buggy2018

    • Author(s)
      渋谷正利, 原木修土, 冨沢哲雄
    • Organizer
      つくばチャレンジ2017開催記念シンポジウム
    • Related Report
      2017 Research-status Report
  • [Presentation] STAMP/STPA単線列車例題に対する時間オートマトンモデル検査の適用と考察2018

    • Author(s)
      岡野浩三, 小形真平, Pan Yang, 岡本圭史
    • Organizer
      電子情報通信学会技術研究報告SS
    • Related Report
      2017 Research-status Report
  • [Presentation] 画面遷移モデリングとWebレイアウト設計の協業支援ツールの試作 ~ Front-End Frameworkを用いたWebsite Builderの併用 ~2018

    • Author(s)
      岩堀航平, 小形真平, 岡野浩三
    • Organizer
      電子情報通信学会技術研究報告KBSE
    • Related Report
      2017 Research-status Report
  • [Presentation] STAMP/STPAを用いたCyber-Physical Systemsの検証2017

    • Author(s)
      青木善貴,小形真平,中川博之
    • Organizer
      IPA 第2回STAMPワークショップ (Japanese STAMP Workshop)
    • Related Report
      2017 Research-status Report
  • [Presentation] IoTシステムのアーキテクチャモデルを用いた安全性の検証2017

    • Author(s)
      青木善貴,小形真平,中川博之
    • Organizer
      ソフトウェア工学の基礎ワークショップ(FOSE2017)
    • Related Report
      2017 Research-status Report
  • [Presentation] SATソルバを使用したロケーティングアレイの生成手法について2017

    • Author(s)
      小西達也,小島英春,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 システム数理と応用研究会(SIG-MSS)
    • Related Report
      2017 Research-status Report
  • [Presentation] IoTシステムアーキテクチャのモデリング記法によるモデル検査支援手法の試作と評価2017

    • Author(s)
      小形真平,青木善貴,中川博之,小林一樹,福島祐子
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE),電子情報通信学会 ソフトウェアサイエンス研究会 (SIG-SS),情報処理学会 ソフトウェア工学研究会 (SIGSE)合同研究発表会
    • Related Report
      2017 Research-status Report
  • [Presentation] レーザー距離センサへの目隠し攻撃による影響2017

    • Author(s)
      原木修土, 渋谷正利, 冨沢哲雄
    • Organizer
      第18回計測自動制御学会SI部門講演会
    • Related Report
      2017 Research-status Report
  • [Presentation] 可搬型汎用自律移動ロボットType17 RABの開発2017

    • Author(s)
      渋谷正利, 原木修土, 冨沢哲雄, 田中良道, 西田健
    • Organizer
      第18回計測自動制御学会SI部門講演会
    • Related Report
      2017 Research-status Report
  • [Presentation] 差分画像を利用した歩行者用信号の切り替わり検出2017

    • Author(s)
      冨沢哲雄, 森合隆之介
    • Organizer
      日本機械学会Robomec2017
    • Related Report
      2017 Research-status Report
  • [Presentation] SMTを用いた制約付きロケーティングアレイの生成について2017

    • Author(s)
      金浩, 崔銀惠, 土屋達弘
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会(DC)
    • Related Report
      2017 Research-status Report
  • [Presentation] A curtain rail based outdoor scanning system for crop monitoring2017

    • Author(s)
      Narayan Sharma, Kazuki Kobayashi
    • Organizer
      平成 29 年度電子情報通信学会 信州大学 Student Branch 論文発表会
    • Related Report
      2017 Research-status Report
  • [Presentation] 農園画像を用いた深層学習によるリンゴ果実の生育情報抽出2017

    • Author(s)
      中村俊輝,小林一樹
    • Organizer
      農業情報学会・電子情報通信学会 知的環境とセンサネットワーク研究会連催 合同研究会,農業×情報通信ワークショップ2017
    • Related Report
      2017 Research-status Report
  • [Presentation] ベアメタル型マイクロコントローラによるフィールドモニタリングシステム運用の効率化2017

    • Author(s)
      下林史弥,小林一樹
    • Organizer
      017年度 農業情報学会・電子情報通信学会 知的環境とセンサネットワーク研究会連催 合同研究会,農業×情報通信ワークショップ2017
    • Related Report
      2017 Research-status Report
  • [Presentation] A Monorail Based Real-time Crop Scanner Using Camera and Laser Rangefinder2017

    • Author(s)
      シャルマ ナラヤン,小林一樹
    • Organizer
      2017年度 農業情報学会・電子情報通信学会 知的環境とセンサネットワーク研究会連催 合同研究会,農業×情報通信ワークショップ2017
    • Related Report
      2017 Research-status Report
  • [Presentation] ベアメタル型マイクロコントローラを用いたロバストフィールドモニタリング2017

    • Author(s)
      下林史弥,小林一樹
    • Organizer
      電子情報通信学会 信越支部大会
    • Related Report
      2017 Research-status Report
  • [Presentation] 深層学習におけるリンゴ果実サイズ特定のための訓練画像生成手法2017

    • Author(s)
      中村俊輝,小林一樹
    • Organizer
      電子情報通信学会 信越支部大会
    • Related Report
      2017 Research-status Report
  • [Presentation] クラウドセットアップ可能なフィールドモニタリングシステムの開発2017

    • Author(s)
      小林一樹,野口遥平
    • Organizer
      農業情報学会2017年度年次大会
    • Related Report
      2017 Research-status Report
  • [Book] マルチエージェントによる自律ソフトウェア設計・開発 (マルチエージェントシリーズ)2017

    • Author(s)
      大須賀昭彦,田原康之,中川博之,川村隆浩
    • Total Pages
      210
    • Publisher
      コロナ社
    • Related Report
      2017 Research-status Report

URL: 

Published: 2017-07-21   Modified: 2023-01-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi