Электронная книга — Цифровая книга

Название: Теоретические основы цифрового двойника приложений ETCS

Автор: Анджей Кочан

Формат файла: pdf

Издательство: Издательство Варшавского технологического университета

Количество страниц: 216

Опубликовано: 1

Год выпуска: 2023

ISBN: 978-83- 8156-563-9

язык: польский

Описание:

Монография посвящена цифровому картографированию приложений ETCS. Под таким приложением следует понимать систему ERTMS/ETCS, реализованную на определенном участке железнодорожной сети, например, на железнодорожной линии. Система ERTMS/ETCS выполняет задачи автоматической системы защиты поездов ATP (Automatic Train Protection), к которым относятся: − определение разрешения на движение, − определение динамического профиля допустимой скорости в зоне разрешения на движение, − контроль соблюдения динамического допустимого режима движения. профиль скорости, − автоматическое торможение поезда в случае угрозы безопасности железнодорожного движения.

Корректная реализация этих функций обеспечивает безопасность железнодорожного движения на территории железнодорожной сети, контролируемой приложением ETCS. Корректная реализация функций — ключевое требование к системе ERTMS/ETCS.

Исследования проведены автором в рамках проекта «Цифровая железная дорога». Цифровой двойник приложения ETCS. «Виртуальное прототипирование и моделирование эксплуатационных сценариев» являются оригинальным достижением индивидуальных достижений автора и включают в себя такие исследовательские вопросы, как: − концепция инфраструктуры Цифрового двойника Приложения ETCS (глава), − идентификация и разработка модели Приложения ETCS и его среды (глава), − концепция виртуальной лаборатории и методологии проектирования приложений ETCS посредством виртуального прототипирования (глава), - формальная модель железнодорожной инфраструктуры в виде Multigraph IS (глава), - алгоритмы проверка правильности модели железнодорожной инфраструктуры (глава), - формальная модель процесса проверки применения ETCS с использованием моделирования эксплуатационного сценария, включая: формальную спецификацию эксплуатационного сценария (глава) и концепцию изображения моделирования эксплуатационного сценария (глава), − реализация верификации модели с использованием синхронизированных по времени распределенных параллельных автоматов в качестве формального метода, позволяющего провести комплексную верификацию модели приложения ETCS (глава ).

Описание упомянутых инновационных проблем дополняется характеристиками сопутствующих, существующих решений, которые составляют среду, сочетающую современное состояние знаний с достижениями автора.

----

Важная информация о продукте:

ЭЛЕКТРОННАЯ КНИГА — ЦИФРОВОЙ ПРОДУКТ

Вы можете скачать файл в своей учетной записи Allegro на вкладке «Моя полка».

Для покупки электронной книги у вас должна быть учетная запись на Allegro.

Электронная книга будет защищена водяным знаком и не имеет DRM.