Научен доклад ID 842 : 2013/3
АЛГЕБРА НА КРОНЕКЕР КАТО РАМКА ЗА ОПТИМИЗИРАНЕ НА ЕКСПЛОАТАЦИЯТА НА ЖЕЛЕЗНИЦИТЕ

Марк Волциц, Йохан Блиебергер, Андреас Шобел

Алгебрата на Кронекер се състои от произведение на Кронекер и сбор на Кронекер. Тя може да се използва за моделиране на системи, състоящи се от няколко участника и редица ограничени ресурси. В частност, тя може да се използва да моделира железопътна система, състояща се от влакове, техните маршрути в системата и коловозните секции, изграждащи железопътната инфраструктура. В тази статия ще покажем някои приложения на алгебрата на Кронекер в областта на железопътния транспорт. В частност, разглеждаме: анализ на безизходното положение [1], анализ на времето за пътуване [2] и енергиен анализ. Интегрирането на трите вида анализи в един единствен Кронекер-базиран анализ може да се реализира много ефективно. Реализирането на нашите алгоритми е ефективно, както по време, така и по отношене на необходимия обем памет. Операциите в алгебрата на Кронекер лесно могат да бъдат паралелизирани и така предложените алгоритми да се приложат върху многоядрена компютърна архитектура. В допълнение, нашето изследване показва, че добавянето на ограничения към задачата (връзки, изпреварване, ...) подобрява времето за изпълнение. В действителност по-трудна задача се решава по-лесно.


Алгебра на Кронекер анализ на времето за пътуване енергиен анализ анализ на безизходно положениеKronecker Algebra Travel Time Analysis Energy Analysis Deadlock AnalysisМарк Волциц Йохан Блиебергер Андреас Шобел

BIBLIOGRAPHY

[1] Robert Mittermayr, Johann Blieberger, and Andreas Schöbel. Kronecker Algebra based Deadlock Analysis for Railway Systems. PROMET-TRAFFIC & TRANSPORTATION, (5): 359–369, 2012.

[2] Mark Volcic, Johann Blieberger, and Andreas Schöbel. Kronecker Algebra based Travel Time Analysis for Railway Systems. In FORMS/FORMAT 2012 – 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, 273–281, Braunschweig, Germany, December 2012.

[3] Edsger W. Dijkstra. Over Seinpalen. 1965.

[4] Farhad Mehta, Christian Rößiger, and Markus Montigel. Potenzielle Energieersparnis durch Geschwindigkeitsempfehlungen im Bahnverkehr. SIGNAL + DRAHT, (9):20–26, 2010.

[5] Markus Montigel. Innovatives Bahnleitsystem optimiert den Zugverkehr im Lötschberg-Basistunnel. SIGNAL + DRAHT, (9):20–22, 2008.

[6] Robert Mittermayr and Johann Blieberger. Shared Memory Concurrent System Verification using Kronecker Algebra. Technical Report 183/1-155, Automation Systems Group, TU Vienna, http://arxiv.org/abs/1109.5522, Sept. 2011.

[7] Mark Volcic, Johann Blieberger, and Andreas Schöbel. Kronecker algebra and its broad applications in railway systems. In EURO-ŽEL 2013: Recent Challenges for European Railways, pages 275-282, Žilina, Slovak Republic, June 2013.

 

 

 

Този сайт използва "бисквитки", които са необходими за правилното функциониране на сайта. Чрез тях ние Ви осигуряваме максимално потребителско преживяване.

Приемам всички бисквитки
Политика за бисквитките