Системы программного управления: ...с использованием логических машин, состоящих только из запоминающего или программируемого логического устройства, содержащего логику управляемой машины, и в которых состояние их выходов зависит от состояния их входов или части их выходов, например бинарные решающие контроллеры, контроллеры конечных состояний – G05B 19/045

Изобретение относится к компьютерным системам автоматического контроля/управления сортировочными станциями железнодорожных сетей, а именно к способам аттестации таких систем. Технический результат заключается в получении свидетельства эксплуатационной безопасности системы контроля/управления. Способ включает этапы, на которых: составляют перечень опасных событий, прогнозируют существенные функции автоматических модулей из перечня опасных событий, составляют перечень эксплуатационных характеристик исполнительных механизмов, определяют исходное стабилизированное глобальное состояние системы, на основании этого состояния имитируют разовое внешнее событие с целью получения результирующего стабилизированного глобального состояния, и продолжают осуществлять имитацию события за событием с целью получения уже имитированного стабилизированного глобального состояния путем получения одного стабилизированного глобального состояния за другим, при этом имитацию продолжают до тех пор, пока не будут имитированы все возможные сочетания событий и стабилизированных глобальных состояний, и прекращают имитацию, как только получают текущее глобальное состояние, отображающее опасное событие. 7 з.п. ф-лы, 7 ил.

Изобретение относится к системам слежения за транспортными средствами и может использоваться в транспортных средствах, оснащенных устройством сообщения местоположения. Техническим результатом изобретения является обеспечение управления подвижным объектом в едином цикле с определением координат его местоположения, что позволяет в режиме реального времени управлять движением объекта, используя для этого непосредственно энергию, содержащуюся в сигнале отклика, генерируемого подвижным объектом. Настоящее изобретение описывает контроллер, который может быть соединен с компонентом определения местоположения и компонентом обнаружения движения. Компонент обнаружения движения обнаруживает движение передвижного объекта и вырабатывает для контроллера сигнал, сообщающий о движении. Контроллер в ответ на этот сигнал вызывает определение компонентом определения местоположения географического положения передвижного объекта. Определяется, находится ли географическое положение в пределах заранее определенной зоны. В ответ на это определение может быть выработана команда для управления передвижным объектом. 3 н. и 23 з.п. ф-лы, 6 ил.