| Item type |
Trans(1) |
| 公開日 |
2018-12-20 |
| タイトル |
|
|
タイトル |
多重Ambient Calculusを用いた動的な海上物流計画に対するモデル検査 |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Model Checking for Dynamic Freight Schedule with Multiple Ambient Calculus |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
[オリジナル論文] プロセス代数，Ambient Calculus，海上物流システム，モデル検査 |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_6501 |
|
資源タイプ |
journal article |
| 著者所属 |
|
|
|
近畿大学大学院総合理工学研究科 |
| 著者所属 |
|
|
|
株式会社日立システムズ |
| 著者所属 |
|
|
|
近畿大学大学院総合理工学研究科 |
| 著者所属 |
|
|
|
国立高等専門学校機構広島商船高等専門学校 |
| 著者所属(英) |
|
|
|
en |
|
|
Kindai University |
| 著者所属(英) |
|
|
|
en |
|
|
Hitachi Systems, Ltd. |
| 著者所属(英) |
|
|
|
en |
|
|
Kindai University |
| 著者所属(英) |
|
|
|
en |
|
|
NIT Hiroshima College |
| 著者名 |
加藤, 暢
高岡, 久裕
樋口, 昌宏
大山, 博史
|
| 著者名(英) |
Toru, Kato
Hisahiro, Takaoka
Masahiro, Higuchi
Hiroshi, Ohyama
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
海上コンテナ輸送では，気象や貨物量の急激な変化など様々な要因を考慮し，使用する船や中継港などは輸送の途中で動的に決定される．我々は，このような動的な物流計画を対象とし，コンテナ取扱の妥当性を自動的に判定する監視システムを開発している．これは，物流計画をプロセス代数の一種である多重Ambient Calculusでモデル化し，RFID機器を用いてとらえたコンテナの挙動とモデルを比較することでコンテナ取扱の妥当性を判定するものである．本稿ではまず本監視システムの実装について述べる．ところで，自動的に生成されるモデルが物流計画の内容を正確に反映していない場合，この監視活動は無意味なものとなってしまう．そこで本稿では，このモデルが，動的に変化する物流システムの所期の性質を満たすことを自動的に確認するモデル検査システムを提案する． |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
Vessels and hub ports used in maritime logistics of container are dynamically determined depending on various factors such as weather condition or the sudden increase of amount of containers. Aiming supervising such dynamically changing freight plans, we are developing a freight management system that can not only monitor the handling of containers with RFID devices but also confirms the correctness of it by modeling whole the freight plans with Multiple Ambient Calculus that is a kind of process algebra. This paper shows the implementation of the system. If the model includes wrong information, however, the system would be useless. Thus, this paper also proposes a model checking system that confirms the model satisfies the properties expected to the freight plan that dynamically changes. |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA11464803 |
| 書誌情報 |
情報処理学会論文誌数理モデル化と応用（TOM）
巻 11,
号 3,
p. 84-99,
発行日 2018-12-20
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
1882-7780 |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-TOM1103009.pdf (7.0 MB)
