WEKO3
アイテム
多重Ambient 計算とRFID機器を用いた物流監視システム構築に関する研究
https://kindai.repo.nii.ac.jp/records/19693
https://kindai.repo.nii.ac.jp/records/196939cf93710-807f-4b98-b4e3-aeff95c847f7
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
15K00040seika.pdf (2.9 MB)
|
|
| Item type | 研究報告書 / Research Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2018-11-20 | |||||
| タイトル | ||||||
| タイトル | 多重Ambient 計算とRFID機器を用いた物流監視システム構築に関する研究 | |||||
| タイトル | ||||||
| タイトル | A Handling Management System for Freight with Multiple Ambient Calculus and RFID Devices | |||||
| 言語 | en | |||||
| 著者 |
加藤, 暢
× 加藤, 暢 |
|||||
| 言語 | ||||||
| 言語 | jpn | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 物流システム | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | モデル化 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | モデル検査 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | プロセス代数 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | Ambient Calculus | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18ws | |||||
| 資源タイプ | research report | |||||
| 著者(英) | ||||||
| 言語 | en | |||||
| 値 | KATO,Toru | |||||
| 著者 所属 | ||||||
| 値 | 近畿大学理工学部; 准教授 | |||||
| 著者所属(翻訳) | ||||||
| 値 | Kindai University | |||||
| 著者 役割 | ||||||
| 値 | 研究代表者 | |||||
| 著者 外部リンク | ||||||
| 関連名称 | https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15K00040/ | |||||
| 版 | ||||||
| 出版タイプ | NA | |||||
| 出版タイプResource | http://purl.org/coar/version/c_be7fb7dd8ff6fe43 | |||||
| 出版者 名前 | ||||||
| 出版者 | 近畿大学 | |||||
| 書誌情報 |
科学研究費助成事業研究成果報告書 (2017) p. 1-4, 発行日 2018 |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 研究成果の概要（和文）：海上コンテナ輸送では，気象や貨物量の急激な変化など様々な要因を考慮し，使用する船や中継港などは輸送中に動的に決定される．本研究では，このような動的な物流計画を対象とし，コンテナ取扱の妥当性を自動的に判定する監視システムを開発した．本システムは，プロセス代数の一種である多重Ambient Calculus(MAC)で物流計画全体をモデル化し，RFID機器を用いて捉えたコンテナの挙動とモデルを比較することで，コンテナ取扱の妥当性を判定するものである．さらに本研究では，MACにより表現されるモデルが，動的に変化する物流システムの所期の性質を満たすことを自動的に確認するモデル検査システムを開発した． 研究成果の概要（英文）：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 comfirms 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. |
|||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 研究種目：基盤研究(C); 研究期間：2015～2017; 課題番号：15K00040; 研究分野：情報学; 科研費の分科・細目： | |||||
| 資源タイプ | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | Research Paper | |||||
| フォーマット | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | application/pdf | |||||
