文献

J-GLOBAL ID：201702237969474715   整理番号：17A0860271

UPPAALに基づくコンテナターミナルシステムの設計,モデリングおよび検証【JST・京大機械翻訳】

Designing, modelling and verifying a container terminal system using UPPAAL

著者 (3件)： Hu Xueqing (宿州学院机械与電子工程学院) ,  Zhang Xuezhou (同済大学軟件学院) ,  Zu Quan (同済大学軟件学院)
資料名： Zhizaoye Zidonghua  (Zhizaoye Zidonghua)
巻： 35  号： 4A  ページ： 102-105  発行年： 2013年 
JST資料番号： C2179A  ISSN： 1009-0134  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： コンテナを船からターミナルに輸送するための自動化システムを検討した。システムは制御センタと多種の設備から構成され,制御センターから適切な設備を選択してコンテナを輸送する。各設備は共同作業であるため、設備と制御センターの間に複雑な信号交換が存在するため、形式化方法を用いてシステムを明確に記述することは特に重要である。そのため、モデル検査ツールUPPAALを応用し、自動化ターミナルシステムに対してシステムモデリングと分析検証を行い、システム設計の効率と正確性を確保した。Data from the ScienceChina, LCAS. Translated by JST【JST・京大機械翻訳】

シソーラス用語： *ターミナル ,  自動化 ,  *モデリング ,  *コンテナ ,  システム設計 ,  船舶 ,  モデル検査
準シソーラス用語： 正確性 ,  システムモデリング ,  共同作業 ,  自動化システム , 【Automatic Indexing@JST】

分類 (2件)： 計算機システム開発  (JD02010R) ,  計算理論  (JB02000A)

タイトルに関連する用語 (5件)： コンテナ ,  ターミナル ,  設計 ,  モデリング ,  検証