Аннотация:
В статье исследованы особенности электронного документооборота технической документации железнодорожной автоматики и телемеханики. Рассмотрены задачи синтеза математических моделей электронного документооборота технической документации железнодорожной автоматики и телемеханики. С этой целью изучены реальные процессы создания, проверки и использования технической документации на примере процесса учета и контроля устройств железнодорожной автоматики и телемеханики, что позволило выявить структурную схему формализованной модели технической документации. Построена модель электронного документооборота технической документации, созданная с применением математического аппарата конечных автоматов. Разработана структурная схема автоматной модели технической документации. Предлагаемая схема формализованной модели технической документации состоит из матриц внешних микроопераций, внутренних микроопераций, создания кода для следующих микрокомпонентов. Количество внутренних состояний микропрограммного автомата полностью определяется количеством элементов логических схем алгоритмов. Размер матриц зависит от количества операторов и условий в логических схемах алгоритмов. Упрощение схемы микропрограммного автомата достигается за счет одновременного выполнения внешних и внутренних микроопераций. Количество микрокоманд определяется числом групп одновременно выполняемых микроопераций. Сформированы микрокоманды по логическим схемам алгоритмов технической документации. Применение предложенной методики построения модели технической документации позволяет разработать достоверное прикладное программное обеспечение для решения задач оперативного документооборота железнодорожной автоматики и телемеханики.
Ключевые слова:
Электронный документооборот технической документации, формальное представление технической документации, логические схемы алгоритмов, структурная схема автоматной модели технической документации, микрокоманды