著者

加藤 暢

出版者

近畿大学

雑誌

基盤研究(C)

巻号頁・発行日

2011

---

本研究では,物流システムに対する貨物の取扱いの形式的な監視を目的として,物流システムをプロセス代数を用いてモデル化する方法の確立,及び貨物の移動が正しく行われているかを監視するシステムの開発を行った。モデル化のための記述方法の定式化においては,既存のプロセス代数を拡張し,物流システムのモデル化に特化した多重Ambient Calculusを提案した。これにより物流システムの持つ階層構造,並列性などが適切に表現できるようになった。さらに,物流システムをモデル化した式と,UHF帯RFID機器を用いて検知した貨物の移動を対比させることにより取扱いの監視を行うシステムを構築した。