Валяйте, спрашивайте.

z = f(x,y) или z = z(x,y) - взаимодействие с блоками
в терминологии БМРЦ W = W(x,y,z,...t), область определения естессно замкнутая(т.е. известна из схем).

порядок действия задачи и выполнения маршрута через стрелку - классический для рф, не требующий док-ва безопасности......т.к. все верят же в безопасность БМРЦ

Не понятно, чего Вам непонятно при наличии контроля состояния путевых секций, положения стрелочных остряков и возможностью управления стрелочными электроприводами.

Ладно хорошо. Распишем немного:
У тебя есть верхний уровень. Он же АРМ ДСП где есть мнемосхема станции. На этой мнемосхеме задается условный маршрут на боковой путь: секция1, секция2, стрелка, секция3.

Варианты исполнения:
1) Жмакаем кнопку на каждую секцию маршрута по-очереди. Тем самым на каждый блок идет своя отдельная команда от АРМа. (Тут возникает вопрос - как будет происходить поиск враждебности маршрута?)
2) Задаем маршрут тыкая 2 блока (секция1 и секция 3). А дальше по схеме идет обращение от секции1 через секцию2 и стрелку к секции3. (В таком случае - если у нас все блоки отдельны со своим ПО, то ни один блок не может управлять соседним?)

Понятно.
Определение враждебности - в текущем статусе каждого блока.

tyubik добавил 29.08.2019 в 16:12
Опять нет. Каждый блок управляет своими объектами, используя и данные о состоянии объектов, контролируемых соседними блоками.

Не опупеет оператор щелкать на каждой секции

Каждому блоку предполагается своя матрица статусов (состояний). Этот вопрос очень занимателен, и, полагаю, коллегиально его решить будет крайне интересно.

В таком случае получается придется на каждый блок давать кучу параметров, чтобы можно было зависеть от состояния соседних.

Хорошо. Смодулируем ситуацию. Блок стрелки и блок участка у нас развязаны по управлению.
Идем по тому-же маршруту: секция1,2,стрелка,3. При условии что секция 3 у нас занята. Соответственно секция 1,2,стрелка отрабатывают. Стрелка переводится, но что запрещает машинисту уехал под запрещающий, раз стрелка перевелась?

Каждому блоку предполагается своя матрица статусов (состояний). Этот вопрос очень занимателен, и, полагаю, коллегиально его решить будет крайне интересно.

tyubik добавил 29.08.2019 в 16:25
Зачем?

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

Простите: Вы точно глядели мои чертежи?

Как бы мы тут не крутились - не обойтись без привычной нам таблицы зависимостей, в которой будут формализованы ВСЕ разрешенные для данного путевого развития маршруты.
А в каком месте и в каком виде будет присутствовать эта таблица - возможны варианты.

Естессно: это ОСНОВА для программирования настройки блоков.

Ну так вы сами написали. Каждый блок отвечает только за свое.
Стрелку то можно переводить рядом с занятым участком пути или нет?