Уперше розроблено загальну модель функціонування стаціонарних об'єктів залізничної автоматики (СОЗА), які використовуються в нормативному забезпеченні мікропроцесорних систем диспетчерського управління. Синтезовано розширені моделі функціонування цих об'єктів на базі мереж Петрі, що використані під час розробки проекту галузевого стандарту. Уперше обгрунтовано безпечність функціонування інформаційних моделей стаціонарних об'єктів, їх структуру та взаємодію між ними в мікропроцесорних диспетчерських системах. Розроблено модель частини колійного розвитку станцій для нормування та прогнозування технічного стану СОЗА.

  Завантажити