Електронна книга – цифрова книга

Назва: Теоретичні основи цифрового двійника програм 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