+
РЕЗУЛЬТАТЫ ИССЛЕДОВАНИЯ ТЕХНИЧЕСКИХ СРЕДСТВ КОНТРОЛЯ ЦЕЛОСТНОСТИ ПОЕЗДОВ
стр.411-434
Никитин А. Б., Кушпиль И. В.
В статье изложен теоретический подход к решению задачи контроля целостности поездов бортовыми средствами. Проведен анализ существующих подходов и технических решений по данному направлению. В настоящее время отсутствует теоретическая база, необходимая для проектирования и эксплуатации бортовых систем контроля целостности поездов. Были проведены соответствующие теоретические исследования с целью выявления общих закономерностей и алгоритмов, а также синтез аналитических моделей функционирования этих систем. Установлено, каким образом наличие автономного источника питания в составе бортовой системы контроля целостности (в зависимости от эксплуатационных особенностей и ошибок, возникающих в канале связи при передаче данных) влияет на систему управления движением и пропускную способность участков. Это отражено в полученных математических моделях и графиках зависимостей. Результаты будут полезны при проектировании и эксплуатации бортовых систем контроля целостности поездов, систем управления движением, в основе которых лежат принципы спутникового позиционирования
Загружаем данные из библиотечной системы...
Ключевые слова
+
АНАЛИЗ НОРМАТИВНОЙ БАЗЫ ПО ПОДТВЕРЖДЕНИЮ СООТВЕТСТВИЯ ТРЕБОВАНИЯМ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ МИКРОПРОЦЕССОРНЫХ СИСТЕМ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ
стр.435-465
Статья посвящена анализу современного состояния нормативно-правовой базы по вопросам доказательства безопасности, обеспечения качества и подтверждения соответствия микропроцессорных систем железнодорожной автоматики и телемеханики в ЕАЭС. Дан краткий анализ стандартов CENELEC. Произведен обзор мероприятий по обеспечению необходимого уровня безопасности микропроцессорных систем железнодорожной автоматики и телемеханики с точки зрения менеджмента качества процессов разработки, менеджмента безопасности и подтверждения правильности функционирования микропроцессорных систем. Проанализирована практика процедуры подтверждения соответствия требованиям стандартов автоматизированных систем управления технологическим процессом на железнодорожном транспорте в форме декларирования соответствия согласно ТР ТС 003/2011. Сделан вывод о необходимости развития нормативно-правовой базы для обеспечения регулируемого процесса анализа и оценки систем железнодорожной автоматики и телемеханики в соответствии с требованиями функциональной безопасности, а также дальнейшей разработки документов по стандартизации с целью регламентирования методов оценки функциональной безопасности
Загружаем данные из библиотечной системы...
Ключевые слова
+
МЕТОДИКА СИНТЕЗА НЕЙРОСЕТЕВЫХ ДИАГНОСТИЧЕСКИХ МОДЕЛЕЙ СЛОЖНЫХ ТЕХНИЧЕСКИХ ОБЪЕКТОВ
стр.466-483
Грачев В. В., Грищенко А. В., Кручек В. А., Базилевский Ф. Ю., Шварц М. А., Шварц Ф. М.
Несмотря на обширный опыт применения аппарата нейронных сетей для решения разнообразных задач машинного обучения, многочисленные попытки использования его в технической диагностике не приводят (за редким исключением) к законченным решениям. Причиной сложившейся ситуации являются особенности задач технической диагностики, отличающие их от традиционных задач машинного обучения. В результате анализа этих особенностей авторами предложен подход к диагностированию сложных технических объектов, ориентированный на применение в системах встроенной диагностики и основанный на использовании нейросетевых эталонных диагностических моделей функционально обособленных узлов и агрегатов. Описывается методика синтеза таких моделей, особенности их обучения на данных, полученных в результате мониторинга объекта диагностирования с использованием встроенных средств диагностирования, определения допустимых ошибок отклика и адаптации к текущему состоянию объекта. Предлагаемая в статье фаззификация результатов работы диагностической модели на диагностической выборке позволяет унифицировать подход к диагностированию сложных технических объектов различного назначения. Предложенное авторами применение следящего контрольного сигнала Д. Тригга для контроля остатков регрессии в процессе обучения повышает качество обучения моделей и их обобщающую способность. Значение этого сигнала, определяемое в результате работы модели на диагностической выборке, представляет собой дополнительный информативный диагностический параметр, повышающий точность классификации состояния объекта диагностирования. Применение предложенной методики на стадии проектирования сложных технических объектов позволяет оптимизировать вектор контролируемых параметров и кратно повысить эффективность использования диагностической информации, регистрируемой встроенными средствами диагностики и мониторинга
Загружаем данные из библиотечной системы...
Ключевые слова
+
ПРИНЦИПЫ ПОСТРОЕНИЯ УНИВЕРСАЛЬНОЙ ПЛАТФОРМЫ НЕПРЕРЫВНОГО МОНИТОРИНГА ТЕХНИЧЕСКОГО СОСТОЯНИЯ ИНФРАСТРУКТУРНЫХ ОБЪЕКТОВ
стр.484-498
Осадчий Г. В., Шинкаренко А. В., Плотников Д. Г., Баните А. В.
Статья посвящена развитию технологий мониторинга объектов инфраструктуры промышленности и транспорта. Отмечается важность систем мониторинга для совершенствования технологий обслуживания технических объектов, а также возможностей определения предотказных состояний, прогнозирования дальнейших изменений и определения остаточного ресурса. Дается анализ подходов к реализации систем мониторинга с точки зрения обеспечения оптимальной компоновки. Имеется перечень критериев для оценки эффективности рассмотренных подходов к проектированию. Приведены рекомендации по рациональному подходу к проектированию систем мониторинга и определена оптимальная последовательность действий для создания универсальной платформы непрерывного мониторинга состояния технических объектов. Предложена концепция универсальной платформы непрерывного мониторинга для инфраструктурных объектов строительной отрасли, транспорта и промышленности
Загружаем данные из библиотечной системы...
Ключевые слова
+
МАТЕМАТИЧЕСКАЯ МОДЕЛЬ АПЕРИОДИЧЕСКИХ МАРШРУТНЫХ РАСПИСАНИЙ ГОРОДСКОГО ЭЛЕКТРИЧЕСКОГО ТРАНСПОРТА
стр.499-517
Приведен анализ научных работ и моделей маршрутных расписаний движения. На основе существующих работ составлена классификация расписаний движения по признаку повторяемости значений времени. Представлено описание сети городского транспорта в виде мультиграфа. Рассмотрен переход от мультиграфа сети городского транспорта к сети событий, характеризующих процесс движения. Формализованы ограничения на значения времени для решения основной задачи теории расписаний. Предложенная формализация учитывает особенности планирования организации движения в России и других странах на постсоветском пространстве. Представлена математическая модель апериодических маршрутных расписаний движения наземного городского электрического транспорта на основе теории линейного программирования. Обоснован выбор критерия оптимизации при решении основной задачи теории расписаний. В качестве критерия оптимизации при решении основной задачи теории расписаний используется равномерность интервалов движения. В статье имеется табличная форма расписаний, принятая в городском транспорте для описания процессе движения при отсутствии значимых событий на линии. Приведен пример внедрения представленной в данной работе модели в программном обеспечении системы автоматизированного проектирования расписаний движения трамваев и троллейбусов в составе автоматизированной системы управления городским электрическим транспортом, используемой в настоящее время в Санкт-Петербурге для построения расписаний трамваев и троллейбусов. Продемонстрированы примеры расчета диаграмм интервалов по отправлению транспортных средств для демонстрации функции выравнивания интервалов движения. В заключении перечислены достоинства предложенной модели апериодических маршрутных расписаний движения наземного городского электрического транспорта и дальнейшие пути ее развития
Загружаем данные из библиотечной системы...
Ключевые слова
+
ТЕСТИРОВАНИЕ СИСТЕМ С НЕЧЕТКИМИ ДИСКРЕТНЫМИ КОМПОНЕНТАМИ
стр.518-531
Сперанский Д. В., Горелик А. В., Журавлев И. А., Орлов А. В.
Современные сложные системы характеризуются наличием разнородных компонентов с различными взаимосвязями, нечеткостью и неопределенностью законов функционирования компонентов и системы в целом. К важному классу таких систем относятся гибридные интеллектуальные системы. В них компоненты представлены аналитическими моделями нечетких объектов, искусственных нейронных сетей, экспертных систем и др. Объектами рассмотрения в статье служат нечеткие дискретные устройства, входящие, например, в состав гибридных систем. В качестве математической модели таких компонентов используются введенные в статье нечеткие линейные автоматы (НЛА). Рассматривается проблема синтеза тестов для НЛА, используемых для обнаружения в них неисправностей. Допустимыми неисправностями в НЛА считаются обычные одиночные константные неисправности. К допустимым относятся также неисправности, появляющиеся в результате замещения некоторых элементов характеристических матриц НЛА другими (из заданного множества альтернативных). Разработаны методы синтеза тестов для НЛА, принадлежащих классу μ-определенных и синхронизируемых, а также произвольных линейных автоматов. Первые два метода основаны на сведении рассматриваемой задачи к решению систем линейных алгебраических уравнений. Отметим, что для поиска таких решений существует хорошо разработанный математический аппарат, имеющий в арсенале целый ряд эффективных методов. Синтезируемые этим методами тесты для μ-определенных и синхронизируемых НЛА имеют достаточно короткую длину, не превышающую глубины памяти соответствующих автоматов. Показано, что условия принадлежности НЛА названным выше двум первым классам не являются слишком жесткими. Отмечено, что известные ранее методы синтеза тестов для линейных автоматов требуют выполнения значительно более жестких требований. Метод синтеза для произвольных НЛА также строит довольно короткие тесты
Загружаем данные из библиотечной системы...
Ключевые слова
+
ОСОБЕННОСТИ ПОСТРОЕНИЯ СИСТЕМ ФУНКЦИОНАЛЬНОГО КОНТРОЛЯ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ НА ОСНОВЕ ПОИСКА ГРУПП СИММЕТРИЧНО-НЕЗАВИСИМЫХ ВЫХОДОВ
стр.532-549
Сапожников В. В., Сапожников Вл. В., Ефанов Д. В.
В статье установлено, что при применении классических кодов с суммированием (кодов Бергера) и ряда их модификаций при организации контроля комбинационных схем можно использовать их особенности обнаружения как монотонных, так и части немонотонных ошибок в информационных векторах. Показано, что возможен поиск групп выходов комбинационных схем, на которых могут возникать только симметричные ошибки вследствие одиночных неисправностей элементов внутренней структуры схем. Такие группы выходов обозначены как группы симметрично-независимых выходов. Определены условия принадлежности группы выходов комбинационной схемы к группам симметрично-независимых выходов. Показано, что каждая симметрично-независимая группа выходов может контролироваться при помощи отдельной подсистемы контроля на основе кода с обнаружением любых несимметричных ошибок (в частности, и любых несимметричных ошибок до определенных кратностей). Представлены пути поиска групп симметрично-независимых выходов при организации контроля комбинационных схем
Загружаем данные из библиотечной системы...
Ключевые слова