文献

J-GLOBAL ID：201502291619697395   整理番号：15A0447025

多重Ambient CalculusとUHF帯RFID機器を用いた海上物流監視システム

A Handling Management System for Freight with the Multiple Ambient Calculus and UHF RFID Tags

著者 (3件)： 橋本隆弘 (シー・エス・イー) ,  加藤暢 (近畿大) ,  樋口昌宏 (近畿大)
資料名： 情報処理学会論文誌トランザクション プログラミング(Web)  (情報処理学会論文誌 プログラミング(Web))
巻： 6  号： 2  ページ： WEB ONLY 1-12  発行年： 2013年08月29日 
JST資料番号： U0474A  ISSN： 1882-7802  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 我々は,多重Ambient Calculus(MAC)による物流システムの記述方法の研究および,実際の物流が正しく行われているかを監視するシステムの開発を行っている。物流システムは,より小さなパッケージをより大きなパッケージに収容する階層構造を持っている。これに対し,プロセス代数の一種であるMACは,階層構造を持ち動的に構造が変化するシステムを形式的に記述できる。MACは,通常のAmbient Calculus(AC)と異なり,個々の貨物の取扱いを個別のプロセス式として記述し,それらの集合により物流システム全体をモデル化するものである。この特徴により,通常のACと比較して物流システムの持つ対称性,並行性をより適切に表現でき,貨物が追加,削除される際のプロセス式の変更も容易となる。本稿では,MACとUHF帯RFID機器を用いた物流監視システムを提案する。本システムは,実際のコンテナ輸送で使われる数種類の書類をもとに,各コンテナの搬送経路を表現するMAC式を自動生成するシステム,MACの個別式を適切な端末へと分散するシステム,およびRFIDを用いて検知した貨物の動きや,船の乗り換えがMAC式の遷移に沿ったものであるかを監視するシステムからなる。また,本システムの有用性を示すために,車をコンテナと見立てて行った屋外実験についても述べる。(著者抄録)

シソーラス用語： *計算モデル ,  *物流システム ,  *RFID ,  UHF【周波数】 ,  コンテナ輸送 ,  監視制御システム ,  階層構造 ,  経時変化 ,  動特性 ,  形式記述 ,  対称性 ,  並行処理 ,  貨物 ,  評価試験 ,  コンテナ ,  建築環境 ,  *海上輸送
準シソーラス用語： *Ambient Calculus ,  屋外環境 ,  並行性

分類 (4件)： 計算理論  (JB02000A) ,  物的流通  (KA08000O) ,  無線通信一般  (ND08010L) ,  航海と実務  (TD01020F)

引用文献 (14件)：

• Cardelli, L. and Gordon, A.D.: Mobile Ambients, Theoretical Computer Science, Vol.240, pp.177-213 (2000).
• Clarke, E.M., Grumberg, O. and Peled, D.A.: Model Checking, The MIT Press (1999).
• Foundation, A.S.: The Apache Jakarta Project, available from (http://jakarta.apache.org/).
• 岡田翔太,馬谷誠二,林奉公,八杉昌宏,湯淺太一: Safe Ambients のための Javaフレームワーク,情報処理学会論文誌:プログラミング,Vol.4,No.3,pp.26-41(2011).
• 加藤暢,樋口昌宏,植田直人:物流システムに対する Ambient Logic モデル検査,情報処理学会論文誌:数理モデル化と応用,Vol.3,No.1,pp.73-86(2010).

タイトルに関連する用語 (5件)： 多重 ,  UHF帯RFID ,  海上 ,  物流 ,  監視システム