Дослідження інформаційних технологій, призначених для керування залізничною автоматизацією. Оцінка недоліків при реалізації логічних функцій. Рекомендації, щодо концепції вдосконаленої мови програмування керування та трансляції програм контролера.
Аннотация к работе
Сформульовано принцип, який покладений в основу методології розробки структури і технології програмування ЛКА ПД, і який складається у раціональному поєднанні та практичному використанні властивостей регулярності, приналежним обєктам керування дискретної циклічної дії, технологічним мовам опису алгоритмів керування такими обєктами та регулярним мікроелектронним структурам. У роботі запропонований узагальнений формалізований опис поведінки технологічних агрегатів дискретної циклічної дії (ТАДЦ), циклограма роботи якого може бути представлена двома прямокутними матрицями кінцевих розмірів: матрицею станів датчиків |MA| і матрицею станів механізмів |MC| із детермінованим розміщенням у них векторів-рядків, причому кожному i-му рядку матриці |MA| однозначно відповідає i-й рядок матриці |MC|: Де: k - число контрольованих датчиків;. При побудові математичної моделі логічного автомата, що керує такими обєктами, використана концепція уявлення керуючих автоматів, в основі якої лежить їх диференціація за принципом взаємодії з керованим обєктом.З метою ефективної реалізації інформаційної технології паралельного логічного керування розроблена удосконалена мова програмування ЯПЛК-М, що являє собою слабоформалізовану версію технологічної мови, при створенні якої в якості метамови використані універсальні лінгвістичні формули індуктивної мови, що є узагальненням нормальної форми Бекуса (НФБ).