文献

J-GLOBAL ID：201802255224762416   整理番号：18A0726818

モデル検査を用いた最終マイル輸送のスケジューリングにおけるデッドロック検出【JST・京大機械翻訳】

Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking

著者 (3件)： Hasebe Koji ,  Tsuji Mitsuaki ,  Kato Kazuhiko
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： DASC/PiCom/DataCom/CyberSciTech  ページ： 423-430  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 著者らは,車両がフリートで走行する輸送システムのスケジューリングにおけるデッドロック検出のための形式的検証法を提案した。特に,主要な例として,現在開発中の自律車両に基づくラストマイル輸送システムについて考察した。我々の輸送システムの主要な特徴の一つは,車両が物理的な接続点を持たない列で走行する能力であり,車両をスムーズに再編成することを可能にする。一方,車両の再編成と走行経路のための規則により,システムは,車両が次の停止に進むことができないデッドロック状態に陥る可能性がある。この問題を解決するために,本論文では,与えられた操作スケジュールにおけるデッドロックの可能性を検出する方法を提案した。この目的のために,システムの全ての可能な状態を探索するためにモデル検査法を用いた。また,Coffmanのデッドロック防止の良く知られたアイデアに基づいて仕様を修正することによってデッドロックを避ける方法を示した。最後に,例を用いて提案した方法の有用性を実証した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【JST・京大機械翻訳】

シソーラス用語： *スケジューリング ,  交通システム ,  *モデル検査 ,  *デッドロック ,  再編成
準シソーラス用語： 自律性 ,  形式的検証 ,  *デッドロック検出 , 【Automatic Indexing@JST】

分類 (2件)： 生産形態  (KB03020E) ,  計算理論  (JB02000A)

タイトルに関連する用語 (4件)： モデル検査 ,  輸送 ,  スケジューリング ,  デッドロック検出