+
МЕТОДИКА ПОЛУЧЕНИЯ А-ПАРАМЕТРОВ ЭКВИВАЛЕНТНОГО ЧЕТЫРЕХПОЛЮСНИКА РЕЛЬСОВОЙ ЛИНИИ ПРИ ИЗЛОМЕ РЕЛЬСА БЕЗ АНАЛИТИЧЕСКОГО РЕШЕНИЯ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ
стр.123-154
Щербина Алексей Евгеньевич, Щербина Евгений Геннадьевич, Никитин Александр Борисович
Работа посвящена проблеме математического моделирования рельсовой линии при изломе рельса в рельсовых цепях сложной конфигурации. В первой части статьи приводится методика расчета А-параметров эквивалентного четырехполюсника рельсовой линии, позволяющая при использовании ЭВМ отказаться от аналитического решения системы уравнений, составленных на основании граничных условий для определения постоянных интегрирования, и последующего получения аналитических выражений для определения А-параметров. Методика основана на использовании метода обратной матрицы для решения системы линейных алгебраических уравнений, реализованного прикладным математическим пакетом. Указанная методика описывается на примере простейшего случая излома рельса — излома в неразветвленной рельсовой цепи, ограниченной изолирующими стыками. Во второй части приводится пример реализации описываемой методики в виде программного кода на языке программирования Python на данном простейшем примере, демонстрируется практическое совпадение с результатами расчета по известному аналитическому решению. В третьей части статьи приводятся уравнения, позволяющие с использованием представленной методики выполнить расчет А-параметров эквивалентного четырехполюсника рельсовой линии разветвленной рельсовой цепи с тремя стрелками и четырьмя релейными концами для всех возможных вариантов локализации излома рельса.
Загружаем данные из библиотечной системы...
Ключевые слова
+
ФОРМАЛИЗАЦИЯ ПЕРЕХОДА ОТ IDEF0-ДИАГРАММЫ К GPSS-МОДЕЛИ ЭТАПОВ ЖИЗНЕННОГО ЦИКЛА СИСТЕМ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ
стр.155-165
БЕЛИШКИНА Татьяна Алексеевна, КОНСТАНТИНОВА Татьяна Юрьевна, Лыков Андрей Александрович, МАРКОВ Дмитрий Спиридонович, Микадо Елена Николаевна, СОКОЛОВ Вадим Борисович, Кушпиль Игорь Васильевич
Целью статьи является изложение результатов формализации описания и разработки формализованного перехода от статической функциональной IDEF0‑модели к динамической, имитационной модели жизненного цикла систем железнодорожной автоматики и телемеханики. Для программной реализации имитационных моделей традиционно используется инструментальное средство GPSS World. Предложена концепция представления формализмов IDEF0‑диаграммы по математической схеме массового обслуживания. Основными положениями концепции являются объект-заявка, тип которой определяется видом объектов, а механизм — обслуживающим устройством. Свойства этих заявок и обслуживающих устройств записываются в строки матрицы паспортов; связи в соответствии с IDEF0‑диаграммой указываются записью индексов блока-функции последовательно в строке данного блока-функции. Возможность реализации функции блока-функции оценивается булевой функцией. Аргументами этой функции являются признак управления, требуемые ресурсы, состояние обслуживающих устройств. Проверка функции блока-функции осуществляется булевой функцией мониторинга времени занятия блока-функции. Для реализации данной концепции определены средства GPSS World: непрерывная и дискретная функции, транзакты, одноканальные устройства, логические ключи, матрица MX$PASP01, список пользователей, булевы переменные. Универсальная GPSS-модель, настроенная на конкретную IDEF0‑диаграмму на уровне исходных данных, разработана на основе косвенной адресации указанных средств. При этом она позволяет не изменять текст программы. Разработанная GPSS-программа формализует возможность и целесообразность перехода от IDEF0‑диаграммы к GPSS-модели жизненного цикла систем железнодорожной автоматики.
Загружаем данные из библиотечной системы...
Ключевые слова
+
МОДЕЛИРОВАНИЕ ОДНОПОЛОСНОГО ТРАНСПОРТНОГО ПОТОКА БЕСПИЛОТНЫХ АВТОМОБИЛЕЙ НА ОСНОВЕ ТЕОРИИ СЛЕДОВАНИЯ ЗА ЛИДЕРОМ
стр.166-177
Куверин Игорь Юрьевич, Гусев Сергей Александрович, Зернов Александр Анатольевич, Блинов Дмитрий Геннадьевич, Горев Андрей Эдливич
Исследуются особенности моделирования движения беспилотных автотранспортных средств и разрабатываются подходы к моделированию их потока с учетом перспективных решений на основе задания алгоритмов поведения транспортного средства для обеспечения целевых показателей транспортного процесса. Предложены факторы, учитывающие особенности моделирования беспилотных автотранспортных средств: приоритет для определенных категорий транспортных средств, создание обособленных парковок, динамическая пересадка с одного маршрутного транспортного средства на другое на ходу, динамическая зарядка или заправка, динамическая перегрузка грузов, многоярусные транспортные средства, многозвенные автопоезда без физической связи отдельных звеньев, высокоскоростное движение транспортных средств в условиях высокой плотности потока. Также на конкретном примере разработки макромодели движения беспилотных автотранспортных средств в условиях высокой плотности потока показаны особенности моделирования их движения, заключающиеся в первоначальном задании алгоритмов поведения автономного транспортного средства, на основе которых в дальнейшем уже и строится модель транспортного потока.
Загружаем данные из библиотечной системы...
Ключевые слова
+
ПОИСК СОСТЯЗАНИЙ СИГНАЛОВ В НЕЧЕТКИХ АСИНХРОННЫХ АВТОМАТАХ
стр.178-189
Сперанский Дмитрий Васильевич, Лунев Сергей Александрович, Ефанов Дмитрий Викторович
Статья посвящена задаче поиска и ликвидации состязаний сигналов в электронных устройствах. Объектами исследования являются дискретные устройства с памятью, работа которых описывается с использованием математической модели нечеткого автомата. Предложена модель нечеткого автомата, которая учитывает специфику рассматриваемой задачи. В этой модели феномен нечеткости проявляется в переходах между состояниями нечеткого автомата. Как и в случае классического (четкого) автомата, задача сводится к противогоночному кодированию состояний нечеткого автомата. В статье предложена концепция построения методов такого кодирования для нечеткого автомата. Идея его состоит в преобразовании заданного нечеткого автомата в виде нечеткого графа в некоторый специальный четкий граф. Дается описание процедуры такого преобразования. Показано, что все возможные состязания, возникающие на нечетком графе, задающем нечеткий автомат, являются подмножеством состязаний, возникающих на преобразованном упомянутым методом четком графе. Поскольку для поиска состязаний сигналов в четких автоматах разработан обширный арсенал методов, он может быть применен к нечетким автоматам.
Загружаем данные из библиотечной системы...
Ключевые слова
+
СИНТЕЗ СХЕМ ВСТРОЕННОГО КОНТРОЛЯ ДЛЯ КОМБИНАЦИОННЫХ ЦИФРОВЫХ УСТРОЙСТВ НА ОСНОВЕ ЛОГИЧЕСКОЙ КОРРЕКЦИИ СИГНАЛОВ С ПРИМЕНЕНИЕМ ПОЛИНОМИАЛЬНЫХ КОДОВ
стр.190-200
Ефанов Дмитрий Викторович, Грачев Алексей Андреевич, Пивоваров Дмитрий Вячеславович, Абдуллаев Руслан Борисович, Лесковец Игорь Вадимович, Сапожников Валерий Владимирович
Предложено при синтезе схем встроенного контроля в структурах самопроверяемых цифровых устройств использовать логическую коррекцию сигналов с учетом характеристик обнаружения ошибок полиномиальными кодами. Показано, что схема встроенного контроля может организовываться путем выделения подмножеств преобразуемых и не преобразуемых выходов. В этом случае число элементов преобразования в схеме контроля может быть минимизировано и приравнено к числу проверочных символов в выбранном полиномиальном коде. Установлены условия синтеза полностью самопроверяемых схем встроенного контроля на основе логической коррекции сигналов с применением полиномиальных кодов. Разработаны алгоритмы синтеза схем встроенного контроля, позволяющие решить задачу их организации с учетом особенностей топологии самого объекта диагностирования и характеристик обнаружения ошибок в информационных символах полиномиальными кодами. Также при синтезе схем встроенного контроля могут учитываться характеристики обнаружения ошибок во всем кодовом слове полиномиальными кодами. Полиномиальные коды могут эффективно применяться при синтезе схем встроенного контроля на основе логической коррекции сигналов, что позволяет синтезировать самопроверяемые цифровые устройства с наименьшими показателями сложности технической реализации. Представленные результаты целесообразно учитывать при разработке устройств и систем критического применения.
Загружаем данные из библиотечной системы...
Ключевые слова
