Fungsi carian sedang dalam pembinaan.
Fungsi carian sedang dalam pembinaan.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Open Access
Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver
Membuka akses
Penjanaan Automatik Jadual Waktu Kereta Api daripada Model Kereta Api Mesoskopik oleh SMT-Solver

Yoshinao ISOBE, Hisabumi HATSUGAI, Akira TANAKA, Yutaka OIWA, Takanori AMBE, Akimasa OKADA, Satoru KITAMURA, Yamato FUKUTA, Takashi KUNIFUJI

  • pandangan teks lengkap

    130

  • Petikan Ini
  • Free PDF (5.2MB)

Ringkasan:

Kertas kerja ini membentangkan pendekatan formal untuk menjana jadual waktu kereta api dalam tahap mesoskopik yang lebih konkrit daripada tahap makroskopik, di mana setiap stesen hanya dinyatakan dalam kotak hitam, dan lebih abstrak daripada tahap mikroskopik, di mana infrastruktur di setiap stesen- kawasan dinyatakan secara terperinci. Ketepatan jadual waktu yang dijana dan usaha pengiraan untuk penjanaan adalah pertukaran. Dalam kertas kerja ini, kami mereka bentuk bahasa pemodelan mesoskopik formal dengan menganalisis kereta api sebenar, sebagai contoh Tazawako-line sebagai langkah pertama dalam kerja ini. Kemudian, kami mentakrifkan formula kekangan untuk menjana jadual waktu kereta api dengan bantuan SMT (Satisfiability Module Theories)-Solver, dan terangkan alat kami Penyelesai RW itu adalah pelaksanaan formula kekangan. Akhir sekali, kami menunjukkan cara RW-Solver dengan bantuan SMT-Solver boleh digunakan untuk menjana jadual waktu dalam kajian kes Tazawako-line.

Jawatankuasa
IEICE TRANSACTIONS on Fundamentals Vol.E102-A No.2 pp.325-335
Tarikh penerbitan
2019/02/01
Diumumkan
ISSN dalam talian
1745-1337
DOI
10.1587/transfun.E102.A.325
Jenis Manuskrip
Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
kategori

Pengarang

Yoshinao ISOBE
  National Institute of Advanced Industrial Science and Technology
Hisabumi HATSUGAI
  National Institute of Advanced Industrial Science and Technology
Akira TANAKA
  National Institute of Advanced Industrial Science and Technology
Yutaka OIWA
  National Institute of Advanced Industrial Science and Technology
Takanori AMBE
  East Japan Railway Company
Akimasa OKADA
  East Japan Railway Company
Satoru KITAMURA
  East Japan Railway Company
Yamato FUKUTA
  East Japan Railway Company
Takashi KUNIFUJI
  East Japan Railway Company

Kata kunci

Contents [show]