Нина Аркадьевна Ветлугина · старший диспетчер
Лента отвечает на вопрос «что было». Управление спрашивает «что может быть». Может ли наша схема с двумя постами вообще дойти до двух поездов на перегоне? Если дошла, можно ли из этого положения вернуться к свободному перегону? На ленте этого не прочтёшь: на ней один ход событий, а мне нужны все сразу.
Ветлугина рисует на доске схему перегона так, как её видит автоматика. Четыре положения: перегон свободен, на перегоне поезд из Сольска, на перегоне поезд из Кривой Балки, на перегоне оба. Стрелки показывают, куда автоматика может перейти за один шаг.
Из «свободен» можно перейти и в «восточный», и в «западный»: кто первым запросит. Из «восточный» поезд может прибыть (снова «свободен»), а может въехать встречный, если блокировки нет. Из «оба» выхода нет: поезда стоят лбами, пока их не растащат вручную.
Каждая лента самописца это один путь по этой схеме. Вопрос «может ли» это вопрос о том, есть ли путь. Вопрос «из любого положения» о том, верно ли что-то во всех состояниях, куда можно попасть. LTL из прошлого урока говорит про одну трассу и не умеет сказать «есть путь». Сегодня добавим это слово.
урок из курса
Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.
Оплата пока не подключена: премиум и курсы открываются промокодом.