ФОРМАЛИЗАЦИЯ АЛГОРИТМИЧЕСКОГО ОПИСАНИЯ СИСТЕМ ОБЕСПЕЧЕНИЯ ЖИЗНЕННОГО ЦИКЛА ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ
МЕТОДИКА ОЦЕНКИ ВРЕМЕННЫХ ХАРАКТЕРИСТИК ПРОЦЕССОВ ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА ТЕХНИЧЕСКОЙ ДОКУМЕНТАЦИИ
СИНТЕЗ GPSS-МОДЕЛИ ОБСЛУЖИВАЮЩИХ УСТРОЙСТВ СЛОЖНЫХ СИСТЕМ МАССОВОГО ОБСЛУЖИВАНИЯ НА ОСНОВЕ ПОРЦИОННОЙ ФОРМАЛИЗАЦИИ
СТРУКТУРА АВТОМАТИЗИРОВАННОГО РАБОЧЕГО МЕСТА ДЛЯ РАСПОЗНАВАНИЯ ПРИНЦИПИАЛЬНЫХ ЭЛЕКТРИЧЕСКИХ СХЕМ И ОЦЕНКА ЕГО ЭФФЕКТИВНОСТИ
ФОРМАЛИЗАЦИЯ ПРОЦЕССОВ ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА ТЕХНИЧЕСКОЙ ДОКУМЕНТАЦИИ С ПОМОЩЬЮ СЕТЕЙ ПЕТРИ
МОДЕЛИРОВАНИЕ ПРОЦЕССОВ ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА ТЕХНИЧЕСКОЙ ДОКУМЕНТАЦИИ С ПОМОЩЬЮ СЕТЕЙ ПЕТРИ
МОДЕЛИРОВАНИЕ И ОЦЕНКА ВРЕМЕНИ ПОИСКА И УСТРАНЕНИЯ ОТКАЗОВ СИСТЕМ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ С ПОМОЩЬЮ СЕТЕЙ ПЕТРИ
МОДЕЛИРОВАНИЕ И ОЦЕНКА ВРЕМЕНИ ПОИСКА НЕИСПРАВНОСТЕЙ В СИСТЕМАХ ИНТЕРВАЛЬНОГО РЕГУЛИРОВАНИЯ ДВИЖЕНИЯ ПОЕЗДОВ НА БАЗЕ ИЕРАРХИЧЕСКИХ ЦВЕТНЫХ СЕТЕЙ ПЕТРИ
ТЕХНОЛОГИЧЕСКИЕ И ТЕОРЕТИЧЕСКИЕ ОСНОВЫ РАЗВИТИЯ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ УПРАВЛЕНИЯ ДВИЖЕНИЕМ ПОЕЗДОВ
АВТОМАТИЗАЦИЯ ИНФОРМАЦИОННОГО ОБЕСПЕЧЕНИЯ НЕЗАВИСИМЫХ УЧАСТНИКОВ МУЛЬТИМОДАЛЬНЫХ ПЕРЕВОЗОК КОНТЕЙНЕРОВ В МОРСКОЙ ПОРТ В ТРАНСПОРТНОМ УЗЛЕ
ОШИБКИ В ТЕХНИЧЕСКОЙ ДОКУМЕНТАЦИИ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ И ИХ ВЛИЯНИЕ НА БЕЗОПАСНОСТЬ ДВИЖЕНИЯ ПОЕЗДОВ