На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Авторитетность издания

ВАК - К1
RSCI, ядро РИНЦ

Добавить в закладки

Следующий номер на сайте

2
Ожидается:
17 Июня 2024

Статьи из выпуска № 2 за 2021 год.

Упорядочить результаты по:
Дате публикации | Заголовку статьи | Авторам

1. Алгоритмы и программа верификации функциональных моделей [№2 за 2021 год]
Авторы: Бурляева Е.В., Кононенко В.В., Корнюшко В.Ф., Разливинская С.В.
Просмотров: 3129
Методология функционального моделирования обеспечивает наглядные и понятные широкому кругу специалистов средства описания предметной области. Формальный язык описания функциональных моделей и алгоритмы проверки правильности их построения применяются в ряде коммерческих программных комплексов, однако скрыты от пользователя. В статье предложен формальный язык описания функциональной модели на основе теории графов. В рамках этого языка каждая функциональная диаграмма представляется в виде графа с помеченными дугами. Вершины этого графа задают функциональные блоки, дуги соответствуют стрелкам диаграммы. Разработаны правила описания границ диаграммы с помощью служебных вершин, положения стрелок относительно границ функционального блока с помощью системы ролей, ветвящихся стрелок как совокупности служебных вершин и множества дуг. Иерархия от общего к частному, связывающая отдельные диаграммы в единую модель, задается отношением декомпозиции на графах. Разработан обобщенный алгоритм построения теоретико-множественного представления функциональной диаграммы. Сформулированы правила, связывающие стрелки родительской и дочерней функциональных диаграмм в правильно построенных функциональных моделях. Для проверки этих правил разработан алгоритм верификации функциональной модели. Этот алгоритм реализован средствами логического программирования с использованием языка Пролог. Предложена структура базы фактов для описания отношения декомпозиции, вершин и дуг графов. Приведен набор предикатов, обеспечивающих проверку правильности описания функциональной модели. В качестве примера рассмотрена верификация обобщенной модели химического производства. Приведены связанные отношением детализации функциональные диаграммы, описывающие одностадийное химическое производство, их теоретико-множественные представления, база фактов Пролог и результаты верификации.

2. Прогнозирование угроз в сложных распределенных системах на основе интеллектуального анализа больших данных автоматизированных средств мониторинга [№2 за 2021 год]
Авторы: Пальчевский Е.В., Христодуло О.И., Павлов С.В.
Просмотров: 3026
В работе предлагается метод прогнозирования паводковой ситуации в сложных распределенных системах при угрозе нанесения материального ущерба. Метод основан на использовании восстановленных данных по автоматическим станциям на базе стационарных гидрологических постов мониторинга уровней воды. Обоснована актуальность выбранной темы исследования с точки зрения применения восстановленных данных на соответствующих поставленному условию автоматических станциях контроля и мониторинга уровней воды для прогнозирования паводковой ситуации. Исходя из этого сформулирована математическая постановка задачи (на основе краткосрочного прогнозирования уровней воды), в рамках которой реализован алгоритм поиска автоматических станций и интерполяции (восстановления) исторических значений уровней воды для прогнозирования уровней воды в сложных распределенных системах. Проведен анализ эффективности реализованного метода прогнозирования угроз в сложных распределенных системах как одного из модулей искусственной нейронной сети. В качестве при-мера показан результат на автоматической станции «Булгаково», расположенной между стационарными гидрологическими постами «Ляхово» и «Охлебинино». По результатам анализа погрешность рассчитанного уровня воды при прогнозировании на одни сутки на автоматической станции варьировалась от 7 до 53 см. Таким образом, в составе искусственной нейронной сети данный метод позволяет прогнозировать уровни воды с приемлемой точностью для предвидения паводковой ситуации (на примере паводка 2020 г. в Республике Башкортостан), что позволяет специальным службам проводить специализированные мероприятия по парированию данной угрозы.

3. Разработка ядра интегрированной информационной системы [№2 за 2021 год]
Авторы: Черныш Б.А., Картамышев А.С.
Просмотров: 3233
В статье рассматривается проблема, часто встречающаяся при проектировании корпоративных информационных систем, когда приходится одновременно решать две противоречивые задачи: эффективное применение в одной конкретной предметной области и гибкая адаптация к возможным требованиям другой области. Для решения этих задач используется подход, заключающийся в формировании программной основы или платформы, реализующей обобщенный функционал с возможностью гибкой конфигурации в соответствии с изменяющимися требованиями. Платформа должна соответствовать таким требованиям современных реалий, как гибкая сервис-ориентированная архитектура, версионность, аудит и ведение истории изменений, возможность хранения двоичных данных, гибкое управление жизненным циклом и бизнес-процессами. В статье излагаются принципы построения таких систем, лежащих в основе подходов и технологий, интерфейсов взаимодействия и протоколов обмена данными. Затрагиваются вопросы применения современных предметно-ориентированных языков поверх этих протоколов. Приводятся примеры имеющихся отечественных и зарубежных систем, оцениваются области их применения, достоинства и недостатки. Описывается реализация универсальной информационной платформы на базе разрабатываемой авторами системы в области автоматизации производства технически сложных изделий. При-ведены некоторые применяемые решения и приемы, структуры данных и алгоритмы. Эффективность предложенных методик подтверждается сравнительным измерением производительности разрабатываемой системы и одной из коммерческих платформ. На основании полученной оценки сделаны выводы о перспективности разработки, ее применимости в различных предметных областях. Выработана дорожная карта по дальнейшему развитию и оптимизации платформы в наиболее значимых направлениях с учетом актуальных требований отрасли.

4. Разработка системы контроля доступа на основе распознавания лиц [№2 за 2021 год]
Автор: Антипова С.А.
Просмотров: 3104
Основой данной работы является разработанная система контроля управления доступом на основе распознавания лиц. Программа состоит из четырех независимых компонентов: детекции лиц в видеопотоке, распознавания конкретного лица на основе сверточной нейронной сети, контроля открытием двери/турникета и клиентского веб-сервиса. Каждый модуль работает в своем процессе, поэтому при развитии проекта можно перенести каждый из них на отдельный сервер. Для обеспечения высокой скорости и качества системы использовалась гибкая методология разработки (agile-подход). Ключевой особенностью работы является обоснованное применение технологии глубокого обучения на примере созданного макета программного средства с использованием технологии «одновыстрельного» обучения, или сиамских сетей, реализованных с помощью фреймворка PyTorch. В качестве предобученной нейросети использовалась MobileNetV3. Сиамские сети удобны для применения, так как нет необходимости в формировании огромного датасета с данными, что особенно важно для распознавания лиц. Архитектура таких сетей состоит из двух одинаковых нейросетей, имеющих одинаковый вес и структуру, а результаты их работы передаются в одну функцию активации – таким образом, определяется одинаковость входных данных (оценка сходства) на основе сравнения значений двух векторов. Система протестирована на контрольно-пропускном пункте предприятия с учетом биометрических данных сотрудников, на которых нейросеть была обучена, и показала высокую точность при идентификации лиц. Предложенная сервис-ориентированная архитектура позволяет масштабировать систему аутентификации и верификации горизонтально и вертикально. При необходимости компоненты системы физически можно размещать на разных серверах, увеличивая пропускную способность системы в целом.

5. Алгоритмы автоматизации анализа текста на русском языке для решения прикладных задач с применением фреймворка TAWT [№2 за 2021 год]
Авторы: Полицына Е.В., Полицын С.А., Поречный А.С.
Просмотров: 3626
В работе проведен обзор существующих инструментов лингвистического анализа текста. Вы-явлена проблема выбора подходящих инструментов, адаптации их для работы с текстами на русском языке и интеграции друг с другом. Именно эти аспекты затрудняют их применение в исследовательских целях и делают практически невозможным использование в прикладных системах. В настоящей статье описывается разработанный авторами уникальный Java-фреймворк TAWT с открытым исходным кодом, предоставляющий удобные готовые программные инструменты и структуры данных основных этапов анализа текста на русском языке, отвечающие современным требованиям к производительности, надежности, механизмам сборки проектов и т.д. В статье предлагается подход к интеллектуализации информационных систем и бизнес-процессов с помощью программных средств лингвистического анализа текста для реализации алгоритмов автоматизации обработки технической документации, что составляет научную новизну работы. Применение разработанного фреймворка TAWT позволило реализовать алгоритмы автоматизации анализа текста на русском языке в части анализа технической документации: валидации структуры документов и перечня используемых в документе аббревиатур, поиска похожих документов и получения их краткого содержания. Все это упростит работу с технической документацией, ускорит процесс ее подготовки и повысит качество создаваемых документов. Алгоритмы автоматического анализа текста, реализованные средствами фреймворка TAWT, были успешно применены в прикладных системах поиска друзей по интересам в социальных сетях, определения мошеннических сообщений, работы с тематическими синонимами, а также для создания программных средств выделения ключевых слов из текстов на русском языке и их реферирования.

6. Компьютерное моделирование эксперимента по имитации наличия целей для радиолокационной станции [№2 за 2021 год]
Авторы: Калабин А.Л., Морозов А.К.
Просмотров: 2609
В статье изучается вопрос измерения тактических характеристик радиолокационных станций, например, таких как дальность обнаружения, количество координат цели и точность их определения, разрешающая способность по каждой координате, зона видимости и другие. На данный момент тактические характеристики определяются на основе технических характеристик и с применением натурного эксперимента, с привлечением самолетов, самолетов-лабораторий и других объектов. Сложность натурного эксперимента в его организации и ограниченном количестве объектов целей, к тому же он затратный по ресурсам (денежным, административным, трудовым, временным). Предлагается для сбора исходных данных (координаты и количество обнаруженных целей средствами радиолокационной станции, координаты и количество имитируемых целей бортовым оборудованием носителя) и дальнейшего анализа (статистическая обработка данных от станции и бортового оборудования носителя) имитировать наличие цели для оборудования радиолокационной станции путем излучения эхо-сигнала цели на заданных координатах. Эхо-сигнал синтезируется оборудованием (генератором и бортовой ЭВМ), располагающимся на борту носителя (бес-пилотного летательного аппарата). Носитель позиционирует бортовое оборудование на угловых координатах (азимут и угол места), соответствующих угловым координатам имитируемой цели, но на значительно меньшем удалении. Дальность (расстояние между целью и радиолокационной станцией) имитируемой цели контролируется бортовым оборудованием путем изменения пара-метров генерируемого эхо-сигнала (время задержки излученных импульсов относительно излученных импульсов оборудованием радиолокационной станции), соответствующего имитируемой цели. Преимуществами предлагаемого метода являются сокращение затрачиваемых ресурсов и возможность контроля количества имитируемых целей путем изменения структуры эхо-сигнала.

7. Модель динамического формирования приоритетов радиолокационных целей с помощью методов нечеткой логики [№2 за 2021 год]
Автор: Непряев А.А.
Просмотров: 3854
Статья посвящена созданию когнитивной системы управления ресурсами многофункциональной многоканальной радиолокационной станции с активной фазированной антенной решеткой. Автором разработана архитектура системы управления на основе радарного планировщика, обеспечивающего оптимальное распределение конечных ресурсов радара, таких как временные, энергетические и вычислительные. Создана и описана упрощенная верификационная модель радиолокационной станции, позволяющая автоматизировать процесс разработки и отладки компонентов системы управления ресурсами радара. Для решения проблемы распределения ресурсов предлагается реализация концепции когнитивной системы управления для случая, когда система планирует свои действия на основе анализа внешней обстановки и своего внутреннего состояния. В статье схематично описываются модели оценки и прогнозирования занятости энергетических и вычислительных ресурсов за счет использования термической модели приемопередающих модулей и модели тракта обработки первичной радиолокационной информации. Подробно описывается метод эффективного использования временных ресурсов за счет динамического формирования приоритетов заданий на сопровождение радиолокационных целей с помощью нечеткой логики. Показано, как предложенный метод приоритизации радиолокационных целей влияет на распределение ресурсов радара в ситуациях перегрузки пропускной способности, когда необходимо решать, какие задачи и по каким целям выполнять в установленных временных ограничениях, а какие могут быть поставлены в очередь либо сброшены. Целью статьи является демонстрация результатов моделирования работы модуля приоритизации заданий на сопровождение с учетом таких параметров, как скорость, дальность, направление движения и качество сопровождения цели.

8. Алгоритм определения направления движения локализованных объектов транспортных потоков на цифровых космических снимках [№2 за 2021 год]
Авторы: Тормозов В.С., Золкин А.Л., Менциев А.У.
Просмотров: 2618
В статье предлагается уникальный алгоритм определения направления движения объектов в транспортном потоке по данным спутниковой съемки сверхвысокого разрешения и географической информации о расположении перегонов улично-дорожной сети. Программная реализация разработанного алгоритма является составным модулем программной системы управления дорожным движением. На вход модуля подаются данные об интерполированной модели перегона, а также о местоположении и размерах каждого локализованного транспортного средства на пере-гоне. На выходе модуля для каждого транспортного средства определяется направление его движения: прямое или обратное. Алгоритм основан на сопоставлении положения транспортных средств и центральной интерполированной линии перегона улично-дорожной сети на цифровых изображениях перегонов. Разработан уникальный алгоритм нахождения отрезка минимальной длины от точки к ломаной линии на плоскости. Алгоритм используется в качестве одного из этапов процедуры определения направления движения объектов транспортного потока на перегоне уличнодорожной сети. Подход основан на сопоставлении относительного положения объекта и осевой линии. Благодаря однозначности соотнесения относительного расположения осевой линии с центральной точкой параллельного осям ограничивающего прямоугольника локализованного транспортного средства направление движения определяется с высокой точностью. Проведены исследования разработанных алгоритмов на реальных спутниковых данных. Анализ их результатов показал, что разработанный алгоритм определения направления движения детектированного объекта транспортного потока работает с высокой точностью. Экспериментальная оценка работы заключается в формировании расчетной метрики для набора ранее извлеченных локальных регионов. В силу того, что алгоритм относит транспортное средство к одному из двух направлений дорожного движения, в качестве метрики эвристическим путем выбрана точность верного определения направления движения. Показано, что погрешность в определении направления связана с неточностью в определении координат осевой линии локального участка дороги.

9. Разработка правил по обнаружению скрытых данных в документах PDF [№2 за 2021 год]
Авторы: Сергеев А.В., Хорев П.Б.
Просмотров: 2375
В статье рассматриваются определение и реализация правил для анализа и обнаружения скрытой информации внутри документов формата PDF. В настоящее время много работ посвящено обнаружению скрытых элементов в изображениях, звуке и видео, но мало внимания уделено скры тию данных в электронных документах различных форматов. Распространенным форматом в со-временном электронном документообороте является PDF (Portable Document Format), который также представляет интерес для исследования возможности его использования в стеганографии (науке о методах скрытия конфиденциальных сообщений внутри объектов-контейнеров). Доку-менты в формате PDF недостаточно исследованы (особенно в отечественной литературе) относительно возможности внедрения в них скрытых данных. Для предотвращения утечек конфиденциальной информации из информационной системы во внешний контур по различным каналам передачи информации предназначены системы DLP (Data Leak Protection). DLP-системы строятся на анализе потоков данных, пересекающих периметр защищаемой информационной системы. При детектировании в этом потоке конфиденциальной ин-формации срабатывает активная компонента системы и передача сообщения (пакета, потока, сессии) блокируется. Современные DLP-системы не способны обнаружить скрытые в стеганографических контейнерах данные и не позволяют добавлять в их состав необходимые функции. Для корпоративных сетей с большим сетевым трафиком и высокой ценностью передаваемых и обрабатываемых данных необходимы средства обнаружения стеганографических вложений в информационном потоке. В работе рассматриваются формат документа PDF, а также одна из популярных систем обнаружения и предотвращения вторжений с открытым исходным кодом – Suricata, которая имеет мощную поддержку сценариев на языке Lua для обнаружения угроз информационной безопасности. Разработан сценарий на языке Lua для обнаружения документов в формате PDF с нежелательными вложениями в виде сценариев, различных объектов и использованием межконтейнерного пространства с возможностью обфускации (запутывания) имени.

10. Программный комплекс моделирования диаграммынаправленности фазированной антенной решетки и вычисления кодов фазовращателей [№2 за 2021 год]
Авторы: Калинин Т.В., Богомаз Д.В., Хрестинин Д.В., Вихрев А.В.
Просмотров: 3145
Для обнаружения и сопровождения космических объектов необходимо управлять положением передающей и приемной диаграмм направленности в пределах сектора обзора РЛС. В современных РЛС с фазированной антенной решеткой управление положением диаграмм направленности производится фазовым методом по азимуту и углу места. Для реализации фазового метода необходимо рассчитывать фазу на каждом излучателе с фазированной антенной решеткой. В статье рассмотрены математическая модель и программная реализация процесса расчета фаз и цифровых кодов управления для каждого фазовращателя. Программный комплекс позволяет проводить исследования диаграмм направленности фазированной антенной решетки в зависимости от направления излучения, количества излучателей, дискретности фазовращателей. Программный комплекс представляет собой приложение с графическим интерфейсом, реализованное на языке программирования С++ в среде программирования Qt Creator. Анализ существующих программных комплексов моделирования диаграмм направленности фазированной антенной решетки (пакет Sensor Array Analyzer из Matlab 2013 и выше, Mathcad, CST MICROWAVE STUDIO, ANSYS HFSS) показал, что в них отсутствует возможность изменения дискретности фазовращателей, расчета кодов фазы фазовращателей и визуального представления ошибок в установке направления диаграмм направленности, зависящих от дискретности фазовращателей. Таким образом, новизна программной модели заключается в визуальном представлении теоретической диаграммы направленности и диаграммы направленности с учетом ошибок, возникащих из-за дискретности фазовращателей, что позволяет использовать ее для подготовки специалистов по фазированной антенной решетке.

| 1 | 2 | Следующая →