Art

J-GLOBAL ID：201202206820540039   Reference number：12A0672167

A Modeling Method of Single-Car Multi-Shaft Elevator Systems on CPN Tools and Its Application

CPN Toolsによるシングルカーマルチシャフトエレベータシステムのモデル化法と検査への応用

Author (3)： ISHIDA NORIHIDE (山口大 工) ,  YAMAGUCHI SHINGO (山口大 大学院理工学研究科) ,  UEDA RYOHEI (山口大 大学院理工学研究科)
Material： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
Volume： 111  Issue： 453(MSS2011 72-87)  Page： 41-46  Publication year： Mar. 01, 2012 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *elevator (lift) ,  *modeling ,  *Petri net ,  simulation ,  model checking ,  scalability
Semi thesaurus term： modeling ,  *colored Petri nets

JST classification (2)： Other cargo handling and transporting machines  (QE01040B) ,  System and control theory in general  (IA02010H)

Reference (6)：

• MARKON, S. Thresholding-a Selection Operator for Noisy ES. Proc. 2001 IEEE Congress of Evolutionary Computation. 2001, 465-472
• 中山. マルチカーエレベータシステムへのマークフローグラフの適用. 信学技報. 2011, 110, 9-12
• TANAKA, S. Dynamic optimization of the operation of single-car elevator systems with destination hall call registration : Part I. Formulation and simulations. European Journal of Operational Research. 2005, 167, 550-573
• MIYAMOTO, T. MceSim : A multi-car elevator simulator. IEICE Trans. Fundamentals, A. 2008, E91, 11, 3207-3214
• 山口. マルチカーエレベータ群管理アルゴリズムの評価と考察-CSTソリューションコンペティション2007より-. Fundamentals Review. 2008, 2, 1, 58-65

Terms in the title (3)： モデル化 ,  検査 ,  応用