+
ОСНОВНЫЕ ПРИНЦИПЫ КОНТРОЛЯ КОРРЕКТНОСТИ БОРТОВОЙ СИСТЕМЫ ПОЗИЦИОНИРОВАНИЯ СРЕДСТВАМИ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ
стр.355-366
ПОПОВ Павел Александрович, КОРОЛЕВ Иван Николаевич, МЫЛЬНИКОВ Павел Дмитриевич
В статье исследуются особенности работы системы управления движением поездов по радиоканалу, связанные с обработкой информации от традиционных систем железнодорожной автоматики и телемеханики, и данных от бортового оборудования локомотивов. Существующие системы железнодорожной автоматики и телемеханики позволяют контролировать движение поезда дискретно, по занятию рельсовых цепей. Современные системы управления работают на принципах координатного регулирования с передачей информации с помощью цифрового радиоканала и используют более точную информацию о местоположении поезда, вычисленную бортовой навигационной системой. Однако вероятность ошибочного определения местоположения бортовым оборудованием локомотива не учитывается требованиями, предъявляемыми к системам железнодорожной автоматики и телемеханики. Поэтому в статье предлагается метод совместной обработки информации о состоянии рельсовых цепей от локомотивов и от традиционных систем автоматики. Сравнивается информация о реальном местоположении поезда и информация, поступающая в центр радиоблокировки о занятости и свободности рельсовых цепей с оценкой времени задержки поступления данных. Описан процесс вычисления координат бортовым оборудованием и передачи его в центр радиоблокировки. Сопоставление двух источников информации в центре радиоблокировки с учетом задержек передачи данных позволяет осуществлять контроль работы бортовой системы позиционирования при проходе границы рельсовых цепей, что в дальнейшем дает возможность гарантировать работоспособность средств навигации на борту. Кроме того, данный способ позволяет оценить длину состава, что необходимо для расчета времени срабатывания тормозной пневматической системы. Результаты данной работы позволяют на практике обеспечить реализацию и надежное функционирование координатной системы интервального регулирования движения поездов.
Загружаем данные из библиотечной системы...
Ключевые слова
+
РАСПРЕДЕЛЕНИЕ ФУНКЦИЙ И ЗОН УПРАВЛЕНИЯ МЕЖДУ ОПЕРАТИВНЫМ ПЕРСОНАЛОМ УЧАСТКОВЫХ СТАНЦИЙ ПРИ ПРОЕКТИРОВАНИИ ЭЛЕКТРИЧЕСКОЙ ЦЕНТРАЛИЗАЦИИ
стр.367-380
КОКУРИН Иосиф Михайлович, КОВАЛЕВ Константин Евгеньевич
Введение должности второго (третьего) дежурного по крупной участковой станции при проектировании ЭЦ вызывает необходимоcть обеспечения их средствами контроля и управления объектами централизации, для чего требуется определять границы управляемых зон. Отсутствие соответствующей методики приводит к принятию не лучших проектных решений по организации рабочих мест дежурных по станциям, которые практически не заменяют после реализации проекта ЭЦ. Это создает неравномерную загруженность и затруднения в работе дежурных по станциям, влечет за собой неправильные решения и ошибочные действия. В дан-ной статье предлагается метод комплексной оценки вариантов распределения функций и зон управления между оперативным персоналом участковых станций по набору количественных критериев, «вес» которых определяется по величине разности максимальных и минимальных значений каждого из них.
Загружаем данные из библиотечной системы...
Ключевые слова
+
АКСИОМАТИКО-БАЗИСНЫЙ ПОДХОД ДЛЯ РАЗРАБОТКИ БЕЗОПАСНЫХ И ОТКАЗОУСТОЙЧИВЫХ СИСТЕМ
стр.381-399
Предложен подход на основе аксиоматических базисов, позволяющий формализовать решение ряда проблем разработки и верификации отказоустойчивых и безопасных систем. Сформулированы положения и задачи аксиоматико-базисного подхода. Показано, что подход согласуется с опытом инженерии безопасных и отказоустойчивых систем; позволяет повышать их отказо устойчивость и безопасность; сравнивать отказоустойчивость систем; сохранять баланс между отказоустойчивостью и сложностью разработки и верификации; применять формальные методы для доказательства; формализовать интеграцию систем; повышать и оценивать уровень диверситета без привлечения независимых групп разработчиков и экспертов; формализованно проектировать и верифицировать системы, обнаруживающие собственные отказы. Вместе с тем подход позволяет решать актуальные проблемы отказоустойчивых и безопасных систем, такие как формализация методов внутрипроцессорного контроля и разработка условий его проведения, а также доказательство достаточности диверситета разрабатываемых и верифицируемых систем.
Загружаем данные из библиотечной системы...
Ключевые слова
+
БАЗИСЫ ДВОИЧНОЙ ЛОГИКИ
стр.400-417
Ефанов Дмитрий Викторович, ДМИТРИЕВ Вячеслав Владимирович
Дискретные устройства, синтезированные с использованием различных базисов двоичной логики, могут иметь различную сложность технической реализации в зависимости от технологии изготовления элементной базы. Какие из элементарных функций алгебры логики образуют базис, определяет теорема Поста - Яблонского. Однако возникает задача определения общего количества неизбыточных базисов, т. е. таких базисов, удаление из которых хотя бы одной функции нарушает их функциональную полноту. Эта задача интересна не только с математической точки зрения, но и с точки зрения разработчика - он может выбрать наиболее приемлемый способ технической реализации дискретного устройства из существующих способов. В данной работе рассматривается задача перечисления неизбыточных базисов классической двоичной логики. Приводятся формулы, определяющие соответствие между функциями основного базиса {И; ИЛИ; НЕ} и функциями неизбыточных базисов. Дается пример практического использования неизбыточных базисов для построения логических устройств автоматики.
Загружаем данные из библиотечной системы...
Ключевые слова
+
ФОРМАЛИЗАЦИЯ АЛГОРИТМИЧЕСКОГО ОПИСАНИЯ СИСТЕМ ОБЕСПЕЧЕНИЯ ЖИЗНЕННОГО ЦИКЛА ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ
стр.418-432
БУЛАВСКИЙ Петр Евгеньевич, МАРКОВ Дмитрий Спиридонович, СОКОЛОВ Вадим Борисович, КОНСТАНТИНОВА Татьяна Юрьевна
В статье рассмотрены задачи синтеза алгоритмического отображения систем обеспечения жизненного цикла железнодорожной автоматики и телемеханики как сложных систем массового обслуживания. Принято, что алгоритмическое отображение представляется в виде алгоритмов обслуживания заявок, должно формализоваться на языке параллельных логических схем алгоритмов (ПЛСА) и использоваться в качестве основы имитационных моделей сложных систем массового обслуживания. Показана целесообразность синтеза объединенного алгоритма обслуживания заявок. Дано определение объединенного алгоритма обслуживания заявок. Разработан метод объединения алгоритмов, основанный на построении матрицы вхождений элементов исходного алфавита ПЛСА, анализе разбиений по ее составляющим, позволяющий синтезировать объединенный алгоритм обслуживания заявок при однократном вхождении элементов исходного алфавита, минимальном количестве разделительных логических условий и минимизированном количестве разделительных логических условий. Применение предложенного метода объединения алгоритмов позволяет сократить объем имитационных моделей и соответственно количества ошибок в моделирующей программе.
Загружаем данные из библиотечной системы...
Ключевые слова
+
НАУЧНАЯ ШКОЛА КАФЕДРЫ «АВТОМАТИКА И ТЕЛЕМЕХАНИКА НА ЖЕЛЕЗНЫХ ДОРОГАХ» ПЕТЕРБУРГСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА ПУТЕЙ СООБЩЕНИЯ ИМПЕРАТОРА АЛЕКСАНДРА I
стр.433-451
Никитин Александр Борисович
В статье рассмотрены основные этапы становления кафедры «Автоматика и телемеханика на железных дорогах» и развития систем обеспечения безопасности движения поездов, связанных с научными исследованиями ученых кафедры. Ретроспективный анализ показывает, что все новые достижения специалистов и ученых кафедры получили практическую реализацию. Исторические этапы развития систем автоматики от релейной техники до современных микропроцессорных систем прошли при участии ведущих ученых. Сформировавшаяся научная школа оказала влияние и на методические основы теоретических дисциплин, преподаваемых на кафедре. Особое внимание уделено анализу подготовки научных кадров высшей квалификации. В рамках данной работы произведен краткий обзор влияния разработок кафедры на работу железнодорожного транспорта и формирование научных школ в других вузах и отраслевых институтах. Кроме того, рассмотрены вопросы состояния и перспектив разработок научных лабораторий и центров кафедры.
Загружаем данные из библиотечной системы...
Ключевые слова
+
РАЗВИТИЕ УСТРОЙСТВ СЦБ В ПЕРИОД ПРОМЫШЛЕННОГО КАПИТАЛИЗМА (1861-1900 гг). ЧАСТЬ 2: РАЗВИТИЕ СИГНАЛИЗАЦИИ
стр.452-460
Данная работа содержит материалы второго раздела неизданной монографии первого заведую-щего кафедрой «Автоматика и телемеханика на железных дорогах» Ленинградского института инженеров железнодорожного транспорта Николая Васильевича Лупала - «Развитие устройств сигнализации, централизации и блокировки на железных дорогах России». Освещаются осо-бенности сигнализации и связи на железных дорогах в рассматриваемый период.
Загружаем данные из библиотечной системы...
Ключевые слова
