Art

J-GLOBAL ID：201502291619697395   Reference number：15A0447025

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

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

Author (3)： HASHIMOTO TAKAHIRO (シー・エス・イー) ,  KATO TOORU (近畿大) ,  HIGUCHI MASAHIRO (近畿大)
Material： 情報処理学会論文誌トランザクション プログラミング(Web)  (情報処理学会論文誌 プログラミング(Web))
Volume： 6  Issue： 2  Page： WEB ONLY 1-12  Publication year： Aug. 29, 2013 
JST Material Number： U0474A  ISSN： 1882-7802  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *computation model ,  *logistic system ,  *RFID ,  UHF ,  container transportation ,  supervisory control system ,  hierarchical structure ,  time course ,  dynamic characteristic ,  formal description ,  symmetry ,  concurrent processing ,  cargo ,  evaluation test ,  container (transport) ,  environment in building ,  *marine transportation ,  outdoor environment
Semi thesaurus term： *Ambient Calculus ,  並行性

JST classification (4)： Theory of computation  (JB02000A) ,  Physical distribution  (KA08000O) ,  Radio communication in general  (ND08010L) ,  Navigation and practical business  (TD01020F)

Reference (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).

Terms in the title (5)： 多重 ,  UHF帯RFID ,  海上 ,  物流 ,  監視システム