WEKO3
アイテム
物流システムに対するプロセス代数を用いた配送監視システムの構築に関する研究
https://kindai.repo.nii.ac.jp/records/13943
https://kindai.repo.nii.ac.jp/records/1394303e07930-02bd-44ee-9c60-ea300567fc7a
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KAKEN_23500104seika.pdf (316.0 kB)
|
|
| Item type | 研究報告書 / Research Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2014-09-29 | |||||
| タイトル | ||||||
| タイトル | 物流システムに対するプロセス代数を用いた配送監視システムの構築に関する研究 | |||||
| その他（別言語等）のタイトル | ||||||
| その他のタイトル | A Handling Management System for Freight with Process Algebra | |||||
| 著者 |
加藤, 暢
× 加藤, 暢 |
|||||
| 言語 | ||||||
| 言語 | jpn | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | サービス構築基盤技術 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 物流システム | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | プロセス代数 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | モデル検査 | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18ws | |||||
| 資源タイプ | research report | |||||
| 著者(英) | ||||||
| 言語 | en | |||||
| 値 | KATO, Toru | |||||
| 著者 所属 | ||||||
| 値 | 近畿大学理工学部; 准教授 | |||||
| 著者 役割 | ||||||
| 値 | 研究代表者 | |||||
| 著者 外部リンク | ||||||
| 関連名称 | https://kaken.nii.ac.jp/d/r/00330233.ja.html | |||||
| 版 | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 出版者 名前 | ||||||
| 出版者 | 近畿大学 | |||||
| 書誌情報 |
科学研究費助成事業研究成果報告書 (2013. ) p. 1-4, 発行日 2013-01-01 |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 研究成果の概要(和文): 本研究では,物流システムに対する貨物の取扱いの形式的な監視を目的として, 物流システムをプロセス代数を用いてモデル化する方法の確立,及び貨物の移動が正しく行われているかを監視するシステムの開発を行った. モデル化のための記述方法の定式化においては, 既存のプロセス代数を拡張し, 物流システムのモデル化に特化した多重AmbientCalculusを提案した. これにより物流システムの持つ階層構造,並列性などが適切に表現できるようになった. さらに, 物流システムをモデル化した式と, UHF帯RFID機器を用いて検知した貨物の移動を対比させることにより取扱いの監視を行うシステムを構築した. 研究成果の概要(英文): We have proposed a way of modeling freight system with a process algebra and constructed a handling management system for freights in order to establish a formal way to supervise how containers are treated during shipping. The Multiple Ambient Calculus(MAC) is a kind of process algebra which we have proposed to model fright systems for accurately describing nested structure and concurrency of fright systems. We also have constructed a handling management system that can supervise the treatment of containers by sensing movement of them using UHF RFID devices and comparing the movement to the model written in MAC recorded in RFID tags on the containers. | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 研究種目：基盤研究(C); 研究期間：2011～2013; 課題番号：23500104; 研究分野：総合領域; 科研費の分科・細目：情報学・計算機システム・ネットワーク | |||||
| 資源タイプ | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | Research Paper | |||||
| フォーマット | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | application/pdf | |||||
