文献

J-GLOBAL ID：201902263718602456   整理番号：19A0290248

多重Ambient Calculusを用いた動的な海上物流計画に対するモデル検査

Model Checking for Dynamic Freight Schedule with Multiple Ambient Calculus

著者 (4件)： 加藤暢 (近畿大 大学院総合理工学研究科) ,  高岡久裕 (日立システムズ) ,  樋口昌宏 (近畿大 大学院総合理工学研究科) ,  大山博史 (広島商船高専)
資料名： 情報処理学会論文誌トランザクション 数理モデル化と応用(Web)  (情報処理学会論文誌 数理モデル化と応用(Web))
巻： 11  号： 3  ページ： 84-99 (WEB ONLY)  発行年： 2018年12月20日 
JST資料番号： U0475A  ISSN： 1882-7780  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 海上コンテナ輸送では,気象や貨物量の急激な変化など様々な要因を考慮し,使用する船や中継港などは輸送の途中で動的に決定される。我々は,このような動的な物流計画を対象とし,コンテナ取扱の妥当性を自動的に判定する監視システムを開発している。これは,物流計画をプロセス代数の一種である多重Ambient Calculusでモデル化し,RFID機器を用いてとらえたコンテナの挙動とモデルを比較することでコンテナ取扱の妥当性を判定するものである。本稿ではまず本監視システムの実装について述べる。ところで,自動的に生成されるモデルが物流計画の内容を正確に反映していない場合,この監視活動は無意味なものとなってしまう。そこで本稿では,このモデルが,動的に変化する物流システムの所期の性質を満たすことを自動的に確認するモデル検査システムを提案する。(著者抄録)

シソーラス用語： *海上輸送 ,  物的流通 ,  *輸送計画 ,  *モデル検査 ,  *スケジューリング ,  RFID ,  監視装置
準シソーラス用語： 監視システム ,  *動的スケジューリング ,  物流

分類 (2件)： 水上輸送・サービス一般  (TD01010U) ,  数理計画法  (KA03030M)

引用文献 (25件)：

• Cardelli, L. and Gordon, A.D.: Any time Anywhere Modal logics for Mobile Ambients, POPL’00, Proc. 2000 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.365-377 (2000).
• Cardelli, L. and Gordon, A.D.: Mobile Ambients, Theoretical Computer Science, Vol.240, pp.177-213 (2000).
• Clarke, E., Grumberg, O. and Peled, D.: Model Checking, MIT Press (2000).
• Dino, D.: A Parametric Model for the Analysis of Mobile Ambients, LNCS, Vol.3780, pp.401-417 (2005).
• 橋本隆弘,加藤 暢,樋口昌宏:多重 Ambient Calculus とUHF帯RFID機器を用いた海上物流監視システム,情報処理学会論文誌:プログラミング,Vol.6, No.2, pp.1-12 (2011).

タイトルに関連する用語 (5件)： 多重 ,  海上 ,  物流 ,  計画 ,  モデル検査