A Handling Management System for Freight with Multiple Ambient Calculus and RFID Devices

• Project/Area Number: 15K00040
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Research Field: Mathematical informatics
• Research Institution: Kindai University
• Principal Investigator: KATO Toru 近畿大学, 理工学部, 准教授 (00330233)
• Project Period (FY): 2015-04-01 – 2018-03-31
• Project Status: Completed (Fiscal Year 2017)
• Budget Amount: ¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000); Fiscal Year 2017: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2016: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2015: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
• Keywords: 物流システム / モデル化 / モデル検査 / プロセス代数 / Ambient Calculus / RFID / 自動監視

Outline of Final Research Achievements

The vessels and hub ports used in maritime logistics of container are dynamically determined depending on various factors such as weather condition or the sudden increase of amount of containers. Aiming supervising such dynamically changing freight plans, we have developed a freight management system that can not only monitor the handling of containers with RFID devices but also confirms the correctness of it by modeling whole the freight plans with Multiple Ambient Calculus(MAC) that is a kind of process algebra.
We have also developed a model checking system that confirms the model satisfies the properties expected to the freight plan that dynamically changes.

Research Products

• [Journal Article] 物流記述のための混合型時間アンビアント計算 (2017)
  • Author(s): 藤坂吉秀, 稲森啓太, 樋口昌宏, 加藤暢
  • Journal Title: 情報処理学会論文誌 (プログラミング) Volume: 印刷中
  • NAID: 170000148797
  • Peer Reviewed / Acknowledgement Compliant
• [Presentation] 多重Ambient Calculus を用いた動的な海上物流計画に対するモデル検査 (2018)
  • Author(s): 加藤暢, 高岡久裕, 樋口昌宏, 大山博史
  • Organizer: 情報処理学会数理モデル化と問題解決研究会
• [Presentation] A Freight Management System with the Multiple Ambient Calculus (2017)
  • Author(s): Toru Kato
  • Organizer: 2017 International Conference for Leading and Young Computer Scientists
  • Place of Presentation: 沖縄県宜野湾市 沖縄コンベンションセンター
  • Year and Date: 2017-02-25
  • Int'l Joint Research / Invited
• [Presentation] Integrated Development Environment for the Multiple Ambient Calculus for Modeling Freight Systems (2016)
  • Author(s): Toru Kato
  • Organizer: IEEE 12th Conference on Automation Science and Engineering
  • Place of Presentation: 米国テキサス州 ワーシントンルネッサンスホテル
  • Year and Date: 2016-08-21
  • Int'l Joint Research
• [Presentation] 多重Ambient Calculus を用いた海上物流監視システムのための動的経路設定機能 (2016)
  • Author(s): 宮井亜人夢, 加藤暢, 樋口昌宏, 大山博史
  • Organizer: 情報処理学会プログラミング研究会
  • Place of Presentation: 東京大学
  • Year and Date: 2016-02-27
• [Presentation] Experiment of a Freight Management System with the Multiple Ambient Calculus (2015)
  • Author(s): T. Kato, A. Miyai, M. Higuchi
  • Organizer: Second International Conference on Mathematics and Computers in Sciences and in Industry
  • Place of Presentation: マルタ共和国スリーマ市 The Palaceホテル
  • Year and Date: 2015-08-17
  • Int'l Joint Research