Art

J-GLOBAL ID：201902274939961522   Reference number：19A0610465

Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver

SMTソルバによるメソスコピック鉄道モデルからの列車時刻表の自動生成

Author (9)： ISOBE Yoshinao (National Institute of Advanced Industrial Science and Technology) ,  HATSUGAI Hisabumi (National Institute of Advanced Industrial Science and Technology) ,  TANAKA Akira (National Institute of Advanced Industrial Science and Technology) ,  OIWA Yutaka (National Institute of Advanced Industrial Science and Technology) ,  AMBE Takanori (East Japan Railway Company) ,  OKADA Akimasa (East Japan Railway Company) ,  KITAMURA Satoru (East Japan Railway Company) ,  FUKUTA Yamato (East Japan Railway Company) ,  KUNIFUJI Takashi (East Japan Railway Company)
Material： IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Web)  (IEICE Trans Fundam Electron Commun Comput Sci (Web))
Volume： E102.A  Issue： 2  Page： 325-335(J-STAGE)  Publication year： 2019 
JST Material Number： U0466A  ISSN： 1745-1337  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： *application program ,  mesoscopic system ,  modeling ,  *train diagram ,  accuracy ,  trade off ,  utensil ,  *production ,  *solver ,  calculation accuracy ,  *automatic generation
Semi thesaurus term： development tool

Author keywords (6)： formal approach ,  train timetable ,  mesoscopic model ,  periodic timetable ,  SMT-Solver ,  railway capacity

JST classification (2)： Transportation and service  (TC01030N) ,  CAD,CAM  (JE10000A)

Reference (17)：

• [1] G. Caimi, L. Kroon, and C. Liebchen, “Models for railway timetable optimization: Applicability and applications in practice,” J. Rail Transport Planning and Management, vol.6, no.4, pp.285-312, 2017. 10.1016/j.jrtpm.2016.11.002
• [2] A. Radtke and D. Hauptmann, “Automated planning of timetables in large railway networks using a microscopic data basis and railway simulation techniques,” Computers in Railways IX, pp.615-625, 2004.
• [3] G. Caimi, M. Laumanns, K. Schüpbach, S. Wörner, and M. Fuchsberger, “The periodic service intention as a conceptual frame for generating timetables with partial periodicity,” Transport. Plan. Technol., vol.34, no.4, pp.323-339, 2011. 10.1080/03081060.2011.577151
• [4] G. Caimi, M. Fuchsberger, M. Laumanns, and K. Schüpbach, “Periodic railway timetabling with event flexibility,” Networks, vol.57, no.1, pp.3-18, 2011. 10.1002/net.20379
• [5] C. Liebchen and R.H. Möhring, “The modeling power of the periodic event scheduling problem: Railway timetables- and beyond,” Computer-aided Systems in Public Transport, Volume 600 of Lecture Notes in Economics and Mathematical Systems, pp.117-150, Springer, Berlin/Heidelberg, 2008. 10.1007/978-3-540-73312-6_7

Terms in the title (5)： SMT ,  ソルバ ,  鉄道モデル ,  列車時刻表 ,  自動生成