多重Ambient 計算とRFID機器を用いた物流監視システム構築に関する研究

• 資料種別: 文書・図像類
• タイトル: 多重Ambient 計算とRFID機器を用いた物流監視システム構築に関する研究
• 著者・編者: 加藤, 暢
• 著者標目: 加藤, 暢
• 出版事項: 近畿大学
• 出版年月日等: 2018
• 出版年（W3CDTF）: 2018
• 並列タイトル等: A Handling Management System for Freight with Multiple Ambient Calculus and RFID Devices
• タイトル（掲載誌）: 科学研究費助成事業研究成果報告書 (2017)
• 掲載ページ: 1-4
• 本文の言語コード: jpn
• 件名標目: 物流システム; モデル化; モデル検査; プロセス代数; Ambient Calculus
• 対象利用者: 一般
• 一般注記: 研究種目：基盤研究(C); 研究期間：2015～2017; 課題番号：15K00040; 研究分野：情報学; 科研費の分科・細目： Research Paper; application/pdf
• オンライン閲覧公開範囲: 限定公開
• 関連情報: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15K00040/
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 近畿大学 : 近畿大学学術情報リポジトリ

• 要約等: 研究成果の概要（和文）：海上コンテナ輸送では，気象や貨物量の急激な変化など様々な要因を考慮し，使用する船や中継港などは輸送中に動的に決定される．本研究では，このような動的な物流計画を対象とし，コンテナ取扱の妥当性を自動的に判定する監視システムを開発した．本システムは，プロセス代数の一種である多重Am...