Ambient Calculus を用いた物流検査システム

• Item type: Trans(1)
• 公開日: 2007-06-15
• タイトル: Ambient Calculus を用いた物流検査システム
• タイトル / 言語: en
• タイトル: A Conformance Decision System for Physical Distribution with the Ambient Calculus
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 通常論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 近畿大学大学院総合理工学研究科
• 著者所属: 近畿大学理工学部情報学科
• 著者所属: 近畿大学大学院総合理工学研究科
• 著者所属(英): en
• 著者所属(英): Interdisciplinary Graduate School of Science and Engineering, Kinki University
• 著者所属(英): en
• 著者所属(英): School of Science and Engineering, Department of Informatics, Kinki University
• 著者所属(英): en
• 著者所属(英): Interdisciplinary Graduate School of Science and Engineering, Kinki University
• 著者名: 森本, 大輔; 加藤暢; 樋口, 昌宏
• 著者名(英): Daisuke, Morimoto; Toru, Kato; Masahiro, Higuchi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 物流の世界では，貨物の流通量が増加する一方，コンテナ管理の重要性が高まっている．我々はその解決策としてAmbient Calculus による物流システムの形式的記述に基づく物流管理システムの構築について研究を進めている．物流システムは，荷物，コンテナ，コンテナ船というように，複数のより小さなパッケージを収容したパッケージがより大きなパッケージに収容されるという階層構造を持っている．一方Ambient Calculus は，階層構造を持ち動的に構造が変化するシステムを形式的に記述するための言語であり，この特徴から物流システムの持つ階層構造を簡潔に表現することができる．さらにAmbient Logic の公理系を用いて記述の正当性を形式的に検証することが可能である．本論文では，実際のコンテナ輸送で使われるExcel 形式の送り状をもとに各コンテナの搬送経路を表現するAmbient Calculus 式を自動生成するシステム，Ambient Calculus 式をもとに実際の貨物の動きが式の遷移と適合しているかどうかを検査するシステムについて述べる．また，オンボードLinux を装備した箱をコンテナに見立ててこれらのシステムの有効性を調べる実験を行った．その結果についても報告する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In the field of distribution, an increasing of the handling fault of luggage becomes serious problem while the amount of circulation of the freight increases. To solve the problem, we are researching on the constructing the distribution management system based on descriptions of the physical distribution system in the Ambient Calculus. The physical distribution system has the layered structure, e.g., packages (e.g., container) including smaller packages (e.g., luggage) are accommodated by larger entity such as container ships and so on. On the other hand, the Ambient Calculus is a formal description language suitable for representing systems whose layered structure dynamically changes. This feature enables us to express concisely physical distribution systems. The validity of the description can be formally verified with a system of axioms for Ambient Logic. We propose the automatic generating system of the Ambient Calculus formulae, and conformance decision system for the movement of actual freights. The former system generates the formulae that express the transportation route of containers based on the shipping invoice written in Excel files used in an actual container shipping. The latter system checks the movement of an actual freight by comparing it with transition of the formulae. We also present the result of simple experiments to show the effectiveness of those systems.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 48, 号 SIG10(PRO33), p. 151-164, 発行日 2007-06-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会