A funcionalidade de pesquisa está em construção.
A funcionalidade de pesquisa está em construção.

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
Abra o Access
Geração automática de horários de trens a partir de modelos ferroviários mesoscópicos por SMT-Solver

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

  • Exibições de texto completo

    132

  • Cite isto
  • Free PDF (5.2MB)

Resumo:

Este artigo apresenta uma abordagem formal para gerar horários de trens em um nível mesoscópico que é mais concreto que o nível macroscópico onde cada estação é simplesmente expressa em uma caixa preta e mais abstrato que o nível microscópico onde a infraestrutura em cada estação- área é expressa em detalhes. A precisão do horário gerado e o esforço computacional para a geração são uma compensação. Neste artigo, projetamos uma linguagem formal de modelagem mesoscópica analisando ferrovias reais, por exemplo Linha Tazawako como o primeiro passo deste trabalho. Em seguida, definimos as fórmulas de restrição para gerar horários de trens com a ajuda do SMT (Satisfiability Module Theories)-Solver, e explicamos nossa ferramenta Solucionador RW isso é uma implementação das fórmulas de restrição. Finalmente, demonstramos como o RW-Solver com a ajuda do SMT-Solver pode ser usado para gerar horários em um estudo de caso da linha Tazawako.

Publicação
IEICE TRANSACTIONS on Fundamentals Vol.E102-A No.2 pp.325-335
Data de publicação
2019/02/01
Publicitada
ISSN online
1745-1337
DOI
10.1587/transfun.E102.A.325
Tipo de Manuscrito
Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Categoria

autores

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

Palavra-chave