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

Construction of global cooperative engineering systems based on V-model

Research Project

Project/Area Number 25871048
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeMulti-year Fund
Research Field Educational technology
Science education
Research InstitutionOkinawa National College of Technology

Principal Investigator

Yamada Chikatoshi  沖縄工業高等専門学校, 情報通信システム工学科, 准教授 (40412902)

Research Collaborator NAGATA Yasunori  
Michael Miller  
KATAYAMA Noriaki  
Project Period (FY) 2013-04-01 – 2016-03-31
Project Status Completed (Fiscal Year 2015)
Budget Amount *help
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2015: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2014: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2013: ¥2,470,000 (Direct Cost: ¥1,900,000、Indirect Cost: ¥570,000)
Keywords分散協調教育システム / 国際連携 / 人材育成 / モデルベース開発 / 組込みシステム / 産業・技術教育 / モデルベース / V字型開発
Outline of Final Research Achievements

Recently, engineers are required to have technical knowledge and lead global communities. In this research, we aim to construction of global cooperative engineering systems with domestic and foreign universities. From these results, this systems are useful by educational practices.

Report

(4 results)
  • 2015 Annual Research Report   Final Research Report ( PDF )
  • 2014 Research-status Report
  • 2013 Research-status Report
  • Research Products

    (19 results)

All 2016 2015 2014 2013 Other

All Int'l Joint Research (2 results) Journal Article (3 results) (of which Int'l Joint Research: 1 results,  Peer Reviewed: 3 results,  Open Access: 1 results,  Acknowledgement Compliant: 3 results) Presentation (14 results) (of which Int'l Joint Research: 3 results)

  • [Int'l Joint Research] ビクトリア大学(カナダ)

    • Related Report
      2015 Annual Research Report
  • [Int'l Joint Research] マラ工科大学(マレーシア)

    • Related Report
      2015 Annual Research Report
  • [Journal Article] Using SPIN to Check Simulink Stateflow Models2016

    • Author(s)
      Chikatoshi Yamada and D. Michael Miller
    • Journal Title

      International Journal of Networked and Distributed Computing

      Volume: 2 Issue: 1 Pages: 65-74

    • DOI

      10.2991/ijndc.2016.4.1.7

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] A study on Parameter Estimation of Bilateral Filter Using Distribution Distance2015

    • Author(s)
      真喜志泰希, 山田親稔, 荻野正, 市川周一
    • Journal Title

      IEEJ Transactions on Industry Applications

      Volume: 135 Issue: 2 Pages: 87-92

    • DOI

      10.1541/ieejias.135.87

    • NAID

      130004876873

    • ISSN
      0913-6339, 1348-8163
    • Related Report
      2014 Research-status Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] A Study on Single Frame Reconstruction-based Super Resolution2015

    • Author(s)
      佐渡山史矢, 山田親稔, 市川周一, 荻野正
    • Journal Title

      IEEJ Transactions on Industry Applications

      Volume: 135 Issue: 2 Pages: 81-86

    • DOI

      10.1541/ieejias.135.81

    • NAID

      130004876874

    • ISSN
      0913-6339, 1348-8163
    • Related Report
      2014 Research-status Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Presentation] SPIN Model Checking for the BEE System2015

    • Author(s)
      Chikatoshi Yamada, Sudhakar Ganti and D. Michael Miller
    • Organizer
      IEEE TENCON 2015
    • Place of Presentation
      Macau(中国)
    • Year and Date
      2015-11-01
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Using SPIN to check Simulink Stateflow models2015

    • Author(s)
      Chikatoshi Yamada and D. Michael Miller
    • Organizer
      the 14th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2015)
    • Place of Presentation
      Las Vegas(米国)
    • Year and Date
      2015-06-28
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Using SPIN to Check Nondeterministic Simulink Stateflow Models2015

    • Author(s)
      Chikatoshi Yamada and D. Michael Miller
    • Organizer
      IEEE International Symposium on Multiple-Valued Logic (ISMVL 2015)
    • Place of Presentation
      Toronto(カナダ)
    • Year and Date
      2015-05-18
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] An Efficient Estimation Parameter Method of Bilateral Filter Using Distribution Distance2014

    • Author(s)
      Taiki Makishi, Shuichi Ichikawa, Tadashi Ogino, Chikatoshi Yamada
    • Organizer
      IEEE TENCON 2014
    • Place of Presentation
      Bangkok, Thailand
    • Year and Date
      2014-10-22 – 2014-10-25
    • Related Report
      2014 Research-status Report
  • [Presentation] ノイズ推定法と分布間距離によるBilateral Filterの最適パラメータ推定の検討2014

    • Author(s)
      真喜志泰希,荻野正,山田親稔,市川周一
    • Organizer
      第13回情報科学技術フォーラム (FIT 2014)
    • Place of Presentation
      筑波大学(茨城県つくば市)
    • Year and Date
      2014-09-03 – 2014-09-05
    • Related Report
      2014 Research-status Report
  • [Presentation] 単一画像を用いた再構成型超解像法の一考察2014

    • Author(s)
      佐渡山史矢,山田親稔,荻野正
    • Organizer
      第13回情報科学技術フォーラム (FIT 2014)
    • Place of Presentation
      筑波大学(茨城県つくば市)
    • Year and Date
      2014-09-03 – 2014-09-05
    • Related Report
      2014 Research-status Report
  • [Presentation] Model Checkign for Multi-Valued Behaviours2014

    • Author(s)
      Chikatoshi Yamada, Yasunori Nagata, D. Michael Miller
    • Organizer
      The 23rd International Workshop on Post-Binary ULSI Sysmtes
    • Place of Presentation
      Bremen, Germany
    • Year and Date
      2014-05-18
    • Related Report
      2014 Research-status Report
  • [Presentation] A Study on Optimal Parameter Estimation of Bilateral Filter Using Distribution Distance2013

    • Author(s)
      Taiki Makishi, Chikatoshi Yamada, Shuichi Ichikawa
    • Organizer
      3rd International Workshop on Networking, Computing, Systems, and Software
    • Place of Presentation
      愛媛
    • Related Report
      2013 Research-status Report
  • [Presentation] Single Frame Super Resolution using Reconstruction Method2013

    • Author(s)
      Fumiya Sadoyama, Chikatoshi Yamada, Shuichi Ichikawa
    • Organizer
      3rd International Workshop on Networking, Computing, Systems, and Software
    • Place of Presentation
      愛媛
    • Related Report
      2013 Research-status Report
  • [Presentation] 分布間距離を用いたBilateral Filter のパラメータ推定法2013

    • Author(s)
      真喜志泰希,山田親稔,市川周一
    • Organizer
      2013年電子情報通信学会ソサイエティ大会
    • Place of Presentation
      福岡
    • Related Report
      2013 Research-status Report
  • [Presentation] 単一画像のエッジ保存型超解像2013

    • Author(s)
      佐渡山史矢,山田親稔,市川周一
    • Organizer
      2013年電子情報通信学会ソサイエティ大会
    • Place of Presentation
      福岡
    • Related Report
      2013 Research-status Report
  • [Presentation] 重みの対称性と空間分解による適応的バイラテラルフィルタの高速化の検討2013

    • Author(s)
      真喜志泰希,山田親稔,市川周一
    • Organizer
      第12回情報科学技術フォーラム(FIT2013)
    • Place of Presentation
      鳥取
    • Related Report
      2013 Research-status Report
  • [Presentation] Coarsely Integrated Operand Scanningアルゴリズムに基づくモンゴメリ乗算器の回路規模縮小手法の検討2013

    • Author(s)
      田村慧,山田親稔,市川周一
    • Organizer
      第12回情報科学技術フォーラム(FIT2013)
    • Place of Presentation
      鳥取
    • Related Report
      2013 Research-status Report
  • [Presentation] Efficient Specification Method for Model Checking2013

    • Author(s)
      Chikatoshi Yamada, Yasunori Nagata, Michael Miller
    • Organizer
      The 22nd International Workshop o Post-Binary ULSI Systems
    • Place of Presentation
      富山
    • Related Report
      2013 Research-status Report

URL: 

Published: 2014-07-25   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi