多重Ambient CalculusとUHF帯RFID機器を用いた海上物流監視システム
スポンサーリンク
概要
- 論文の詳細を見る
我々は,多重Ambient Calculus(MAC)による物流システムの記述方法の研究および,実際の物流が正しく行われているかを監視するシステムの開発を行っている.物流システムは,より小さなパッケージをより大きなパッケージに収容する階層構造を持っている.これに対し,プロセス代数の一種であるMACは,階層構造を持ち動的に構造が変化するシステムを形式的に記述できる.MACは,通常のAmbient Calculus(AC)と異なり,個々の貨物の取扱いを個別のプロセス式として記述し,それらの集合により物流システム全体をモデル化するものである.この特徴により,通常のACと比較して物流システムの持つ対称性,並行性をより適切に表現でき,貨物が追加,削除される際のプロセス式の変更も容易となる.本稿では,MACとUHF帯RFID機器を用いた物流監視システムを提案する.本システムは,実際のコンテナ輸送で使われる数種類の書類をもとに,各コンテナの搬送経路を表現するMAC式を自動生成するシステム,MACの個別式を適切な端末へと分散するシステム,およびRFIDを用いて検知した貨物の動きや,船の乗り換えがMAC式の遷移に沿ったものであるかを監視するシステムからなる.また,本システムの有用性を示すために,車をコンテナと見立てて行った屋外実験についても述べる.
- 2013-08-29
著者
関連論文
- 分散オブジェクト技術によるプログラムのπ計算への変換
- ネットワーク仮想記憶システムにおける宣言的アクセス制御方式
- ネットワーク仮想記憶システムの試作(2) : プロセッサ間通信性能
- ネットワーク仮想記憶システムの試作(3) : 伝送路高速化及びFDDI適用の検討
- ネットワーク仮想記憶システムの試作(1) : システム構成
- ネットワーク仮想記憶システム : NET-VMS〔2〕プロセス間通信方式
- 6V-2 協調作業支援のためのJavaSpacesアクセスエージェントの開発(分散システム・運用管理,学生セッション,ネットワーク)
- 多重Ambient CalculusとUHF帯RFID機器を用いた海上物流監視システム
- B-002 Webアプリケーションを対象とした高網羅率の単体テスト自動生成について(テスト・検証,B分野:ソフトウェア)