Авторитетность издания
ВАК - К1
RSCI, ядро РИНЦ
Добавить в закладки
Следующий номер на сайте
№4
Ожидается:
09 Сентября 2024
Статьи журнала №2 2021
1. Алгоритмы и программа верификации функциональных моделей [№2 за 2021 год]Авторы: Бурляева Е.В. (burlyaeva@mirea.ru) - МИРЭА – Российский технологический университет (Институт тонких химических технологий им. М.В. Ломоносова) (профессор), доктор технических наук; Кононенко В.В. (kononenko.v.v@edu.mirea.ru) - МИРЭА – Российский технологический университет (Институт тонких химических технологий им. М.В. Ломоносова) (аспирант); Корнюшко В.Ф. (arbenina@mitht.ru) - Московский государственный университет тонких химических технологий им. М.В. Ломоносова (профессор), доктор технических наук; Разливинская С.В. (razlivinskaya@mirea.ru) - МИРЭА – Российский технологический университет (Институт тонких химических технологий им. М.В. Ломоносова) (доцент), кандидат технических наук;
Аннотация: Методология функционального моделирования обеспечивает наглядные и понятные широкому кругу специалистов средства описания предметной области. Формальный язык описания функциональных моделей и алгоритмы проверки правильности их построения применяются в ряде коммерческих программных комплексов, однако скрыты от пользователя. В статье предложен формальный язык описания функциональной модели на основе теории графов. В рамках этого языка каждая функциональная диаграмма представляется в виде графа с помеченными дугами. Вершины этого графа задают функциональные блоки, дуги соответствуют стрелкам диаграммы. Разработаны правила описания границ диаграммы с помощью служебных вершин, положения стрелок относительно границ функционального блока с помощью системы ролей, ветвящихся стрелок как совокупности служебных вершин и множества дуг. Иерархия от общего к частному, связывающая отдельные диаграммы в единую модель, задается отношением декомпозиции на графах. Разработан обобщенный алгоритм построения теоретико-множественного представления функциональной диаграммы. Сформулированы правила, связывающие стрелки родительской и дочерней функциональных диаграмм в правильно построенных функциональных моделях. Для проверки этих правил разработан алгоритм верификации функциональной модели. Этот алгоритм реализован средствами логического программирования с использованием языка Пролог. Предложена структура базы фактов для описания отношения декомпозиции, вершин и дуг графов. Приведен набор предикатов, обеспечивающих проверку правильности описания функциональной модели. В качестве примера рассмотрена верификация обобщенной модели химического производства. Приведены связанные отношением детализации функциональные диаграммы, описывающие одностадийное химическое производство, их теоретико-множественные представления, база фактов Пролог и результаты верификации.
Abstract: The methodology of functional modeling provides visual and understandable means of describing the domain for a wide range of specialists. The formal language for describing functional models and algo-rithms of its verifying are used in several commercial software systems but are hidden from the user.
The paper proposes a formal language for describing a functional model based on graph theory. Within this language, each functional diagram is represented as a graph with marked edges. The nodes of this graph define the function blocks, the edges correspond to the arrows of the diagram. We develop rules for diagram bounds description with special nodes, the positions of the arrows using the system of roles, branching arrows as a set of special nodes, and multiple edges. The hierarchy which links indi-vidual diagrams into a single model, is defined by the relation of decomposition on graphs. A general-ized algorithm for constructing a set-theoretic representation of a functional diagram is developed.
We form rules that connect the arrows of the parent and related functional diagrams in well-behaved constructed functional models. To verify these rules, a functional model verification algo-rithm has been developed. This algorithm is implemented by means of logic programming using the PROLOG language. The structure of the fact base for describing the decomposition relations, nodes, and edges of graphs is proposed. A set of predicates is provided to verify the correctness of the func-tional model description.
For illustrative purposes is the verification of a generalized model of chemical manufacturing. Functional diagrams related to the detailed ratio describing single-stage chemical manufacturing, their set-theoretic representations, the PROLOG fact base, and verification results are presented.
Ключевые слова: функциональное моделирование, теоретико-множественное представление, теория графов, верификация модели, логическое программирование, прологKeywords: functional modeling, set-theoretic representation, the theory of counts, model verification, logic programming, prolog
Просмотров: 4025
2. Прогнозирование угроз в сложных распределенных системах на основе интеллектуального анализа больших данных автоматизированных средств мониторинга [№2 за 2021 год]
Авторы: Пальчевский Е.В. (teelxp@inbox.ru) - Финансовый университет при Правительстве Российской Федерации (преподаватель); Христодуло О.И. (o-hristodulo@mail.ru ) - Уфимский государственный авиационный технический университет (профессор), доктор технических наук; Павлов С.В. (psvgis@mail.ru) - Уфимский государственный авиационный технический университет (профессор), доктор технических наук;
Аннотация: В работе предлагается метод прогнозирования паводковой ситуации в сложных распределенных системах при угрозе нанесения материального ущерба. Метод основан на использовании восстановленных данных по автоматическим станциям на базе стационарных гидрологических постов мониторинга уровней воды. Обоснована актуальность выбранной темы исследования с точки зрения применения восстановленных данных на соответствующих поставленному условию автоматических станциях контроля и мониторинга уровней воды для прогнозирования паводковой ситуации. Исходя из этого сформулирована математическая постановка задачи (на основе краткосрочного прогнозирования уровней воды), в рамках которой реализован алгоритм поиска автоматических станций и интерполяции (восстановления) исторических значений уровней воды для прогнозирования уровней воды в сложных распределенных системах. Проведен анализ эффективности реализованного метода прогнозирования угроз в сложных распределенных системах как одного из модулей искусственной нейронной сети. В качестве при-мера показан результат на автоматической станции «Булгаково», расположенной между стационарными гидрологическими постами «Ляхово» и «Охлебинино». По результатам анализа погрешность рассчитанного уровня воды при прогнозировании на одни сутки на автоматической станции варьировалась от 7 до 53 см. Таким образом, в составе искусственной нейронной сети данный метод позволяет прогнозировать уровни воды с приемлемой точностью для предвидения паводковой ситуации (на примере паводка 2020 г. в Республике Башкортостан), что позволяет специальным службам проводить специализированные мероприятия по парированию данной угрозы.
Abstract: In connection with the emergence of new technical possibilities for automatic measurement of the pa-rameters of the state of the external environment (including water levels), a method is proposed for predicting a flood situation in complex distributed systems for which there is a threat of material dam-age, using the recovered data from automatic stations based on stationary hydrological posts for moni-toring water levels.
The relevance of the selected research topic is substantiated from the point of view of the applica-tion of the recovered data at the automatic stations for control and monitoring of water levels corre-sponding to the given condition for predicting a flood situation. Based on this, a mathematical formula-tion of the problem was formulated (based on short-term forecasting of water levels), within the framework of which an algorithm for searching for automatic stations and interpolation (restoration) of historical values of water levels was implemented to predict water levels in complex distributed sys-tems.
The analysis of the effectiveness of the implemented threat forecasting method in complex distrib-uted systems as one module of an artificial neural network (as an example, the result is shown at the automatic station Bulgakovo located between the stationary hydrological stations Lyakhovo and Okhlebinino), according to the results of which the water level when forecasting for one day at the automatic station varied from 7 to 53 cm.
Thus, as part of an artificial neural network, this method allows predicting water levels with ac-ceptable accuracy to predict a flood situation (for example, the 2020 flood in the Republic of Bashkor-tostan), which allows special services to carry out specialized measures to counter this threat.
Ключевые слова: восстановление данных, сложные распределенные системы, прогнозирование угроз, интеллектуальный анализ данных, нейронные сети, паводковая ситуация, прогнозирование уровня водыKeywords: data recovery, complex distributed systems, threat forecasting, data intelligent analysis, neural network, flood situation, water level forecasting
Просмотров: 3996
3. Разработка ядра интегрированной информационной системы [№2 за 2021 год]
Автор: Черныш Б.А. (borisblack@mail.ru) - Сибирский государственный университет науки и технологий им. академика М.Ф. Решетнева (аспирант); Картамышев А.С. (kartam@iss-reshetnev.ru) - «Информационные спутниковые системы» им. академика М.Ф. Решетнева» (начальник группы отдела автоматизации финансово-экономических задач);
Аннотация: В статье рассматривается проблема, часто встречающаяся при проектировании корпоративных информационных систем, когда приходится одновременно решать две противоречивые задачи: эффективное применение в одной конкретной предметной области и гибкая адаптация к возможным требованиям другой области. Для решения этих задач используется подход, заключающийся в формировании программной основы или платформы, реализующей обобщенный функционал с возможностью гибкой конфигурации в соответствии с изменяющимися требованиями. Платформа должна соответствовать таким требованиям современных реалий, как гибкая сервис-ориентированная архитектура, версионность, аудит и ведение истории изменений, возможность хранения двоичных данных, гибкое управление жизненным циклом и бизнес-процессами. В статье излагаются принципы построения таких систем, лежащих в основе подходов и технологий, интерфейсов взаимодействия и протоколов обмена данными. Затрагиваются вопросы применения современных предметно-ориентированных языков поверх этих протоколов. Приводятся примеры имеющихся отечественных и зарубежных систем, оцениваются области их применения, достоинства и недостатки. Описывается реализация универсальной информационной платформы на базе разрабатываемой авторами системы в области автоматизации производства технически сложных изделий. При-ведены некоторые применяемые решения и приемы, структуры данных и алгоритмы. Эффективность предложенных методик подтверждается сравнительным измерением производительности разрабатываемой системы и одной из коммерческих платформ. На основании полученной оценки сделаны выводы о перспективности разработки, ее применимости в различных предметных областях. Выработана дорожная карта по дальнейшему развитию и оптимизации платформы в наиболее значимых направлениях с учетом актуальных требований отрасли.
Abstract: The paper deals with a common problem in the design of corporate information systems, when it is necessary to solve simultaneously two conflicting objectives: the effectiveness of application in one specific subject area and flexible adaptation to the requirements of another area. To solve these prob-lems, there is an approach that consists in forming a software framework or platform that implements generalized functionality with the possibility of flexible configuration under evolutionary require-ments. The platform must comply with the requirements of modern realities, such as flexible service-oriented architecture, versioning, auditing and maintaining the history of changes, the ability to store binary data, flexible management of the life-cycle and business processes.
The paper outlines the design concepts of such systems, underlying approaches, and technologies, interfaces of data exchange protocols. The author touches upon the application of modern domain-specific languages on top of these protocols. There are examples of existing domestic and foreign sys-tems, their application areas, advantages, and disadvantages.
The paper describes the implementation of a comprehensive information platform based on a sys-tem developed by the authors in the production of technically complex product platforms. There are some applicable solutions and techniques, data structures, and algorithms. A comparative measurement of performing the developed system and one of the commercial platforms confirms the effectiveness of the proposed methods.
The resulting assessment is the basis for conclusions about the prospects of the development, its applicability in various subject areas. The author has developed a roadmap for further development and optimization of the platform in the most significant areas, considering the current requirements of the industry.
Ключевые слова: корпоративная информационная система, программная платформа, ядро, интерфейс, api, система управления, жизненный циклKeywords: corporate information system, software platform, core, interface, api, a control system, life cycle
Просмотров: 4268
4. Разработка системы контроля доступа на основе распознавания лиц [№2 за 2021 год]
Авторы: Антипова С.А. (samiraspb11@gmail.com ) - Военная академия материально-технического обеспечения им. генерала армии А.В. Хрулева (старший научный сотрудник), кандидат физико-математических наук;
Аннотация: Основой данной работы является разработанная система контроля управления доступом на основе распознавания лиц. Программа состоит из четырех независимых компонентов: детекции лиц в видеопотоке, распознавания конкретного лица на основе сверточной нейронной сети, контроля открытием двери/турникета и клиентского веб-сервиса. Каждый модуль работает в своем процессе, поэтому при развитии проекта можно перенести каждый из них на отдельный сервер. Для обеспечения высокой скорости и качества системы использовалась гибкая методология разработки (agile-подход). Ключевой особенностью работы является обоснованное применение технологии глубокого обучения на примере созданного макета программного средства с использованием технологии «одновыстрельного» обучения, или сиамских сетей, реализованных с помощью фреймворка PyTorch. В качестве предобученной нейросети использовалась MobileNetV3. Сиамские сети удобны для применения, так как нет необходимости в формировании огромного датасета с данными, что особенно важно для распознавания лиц. Архитектура таких сетей состоит из двух одинаковых нейросетей, имеющих одинаковый вес и структуру, а результаты их работы передаются в одну функцию активации – таким образом, определяется одинаковость входных данных (оценка сходства) на основе сравнения значений двух векторов. Система протестирована на контрольно-пропускном пункте предприятия с учетом биометрических данных сотрудников, на которых нейросеть была обучена, и показала высокую точность при идентификации лиц. Предложенная сервис-ориентированная архитектура позволяет масштабировать систему аутентификации и верификации горизонтально и вертикально. При необходимости компоненты системы физически можно размещать на разных серверах, увеличивая пропускную способность системы в целом.
Abstract: The basis of this work is the developed access control system based on face recognition. The program comprises four independent components: face detection in a video stream, face recognition based on a convolutional neural network, door/turnstile opening control, and a client web service. Each module works in its own process, so during the development of the project, you can transfer each module to a separate server. The agile development methodology (agile approach) ensures high speed and system quality.
The key feature of the work is the substantiated application of deep learning technology on the ex-ample of the created model of the software tool using the technology of one-shot learning or siamese networks, implemented using the PyTorch framework. MobileNetV3 was used as a pre-trained neural network. Siamese networks are convenient for use from the point of view of the absence of the need to form a huge dataset with data, which is especially important for face recognition. The architecture of such networks comprises two identical neural networks with the same weight and structure, and the working results are transferred to one activation function - thus, the similarity of the input data (simi-larity assessment) is determined based on the comparison of the values of two vectors.
The enterprise’s point of entry tested the system, considering the biometric data of employees, on which the neural network was trained. The system showed high accuracy in identifying individuals.
The proposed service-oriented architecture allows scaling the authentication and verification sys-tem horizontally and vertically. If necessary, system components can be physically placed on different servers, increasing the throughput of the system as a whole.
Ключевые слова: система контроля и управления доступом, глубокое обучение, сверточные нейронные сети, распознавание лицKeywords: access control system, deep learning, convolutional neural networks, face recognition
Просмотров: 4425
5. Алгоритмы автоматизации анализа текста на русском языке для решения прикладных задач с применением фреймворка TAWT [№2 за 2021 год]
Авторы: Полицына Е.В. (kathrin.beaver@mail.ru) - Московский авиационный институт (национальный исследовательский университет) (доцент), кандидат технических наук; Полицын С.А. (pul_forever@mail.ru) - Московский авиационный институт (национальный исследовательский университет) (доцент), кандидат технических наук; Поречный А.С. (alex.porechny@mail.ru) - Московский авиационный институт (национальный исследовательский университет) (аспирант);
Аннотация: В работе проведен обзор существующих инструментов лингвистического анализа текста. Вы-явлена проблема выбора подходящих инструментов, адаптации их для работы с текстами на русском языке и интеграции друг с другом. Именно эти аспекты затрудняют их применение в исследовательских целях и делают практически невозможным использование в прикладных системах. В настоящей статье описывается разработанный авторами уникальный Java-фреймворк TAWT с открытым исходным кодом, предоставляющий удобные готовые программные инструменты и структуры данных основных этапов анализа текста на русском языке, отвечающие современным требованиям к производительности, надежности, механизмам сборки проектов и т.д. В статье предлагается подход к интеллектуализации информационных систем и бизнес-процессов с помощью программных средств лингвистического анализа текста для реализации алгоритмов автоматизации обработки технической документации, что составляет научную новизну работы. Применение разработанного фреймворка TAWT позволило реализовать алгоритмы автоматизации анализа текста на русском языке в части анализа технической документации: валидации структуры документов и перечня используемых в документе аббревиатур, поиска похожих документов и получения их краткого содержания. Все это упростит работу с технической документацией, ускорит процесс ее подготовки и повысит качество создаваемых документов. Алгоритмы автоматического анализа текста, реализованные средствами фреймворка TAWT, были успешно применены в прикладных системах поиска друзей по интересам в социальных сетях, определения мошеннических сообщений, работы с тематическими синонимами, а также для создания программных средств выделения ключевых слов из текстов на русском языке и их реферирования.
Abstract: The paper reviews the existing tools of linguistic text analysis. The authors identified the problem of selecting suitable tools, adapting them to work with texts in Russian, and integrating them with each other. This makes it difficult to use these tools both for research purposes and makes it almost impossi-ble to use them in applied systems. The paper describes the new open-source Java framework TAWT, developed by the authors, that provides convenient ready-made software tools and data structures for the main stages of text analysis in the Russian language that meet the modern requirements for perfor-mance, reliability, project build engine, etc.
The paper proposes an approach to the intellectualization of information systems and business pro-cesses using software tools for linguistic text analysis to implement algorithms for automating the pro-cessing of technical documentation, which is the scientific novelty of the work. The application of the developed TAWT framework allowed implementing algorithms for automating the analysis of the text in Russian in terms of the analysis of technical documentation: validating the structure of documents and the list of abbreviations used in the document, searching for similar documents, and obtaining their brief content. All this will simplify the technical documentation management, speed up the process of its preparation, and upgrade the quality of the created documents.
The algorithms of automatic text analysis implemented by the TAWT framework have been suc-cessfully applied in application systems for searching friends by interests in social networks, identify-ing fraudulent mes-
sages, working with thematic synonyms, as well as for creating software tools for selecting keywords from texts in Russian and referencing them.
Ключевые слова: автоматизированный анализ текста, обработка естественного языка, компьютерная лингвистика, nlp, фреймворк для анализа текста, морфологический анализ, синтаксический анализ, семантико-синтаксический анализ, анализ текстовой документацииKeywords: automated text analysis, natural language processing, computational linguistics, nlp, text analysis framework, morphological analysis, syntactic analysis, semantic-syntactic analysis, text documentation analysis
Просмотров: 4865
6. Компьютерное моделирование эксперимента по имитации наличия целей для радиолокационной станции [№2 за 2021 год]
Авторы: Калабин А.Л. (alex.ka.86@gmail.com) - Тверской государственный технический университет, доктор физико-математических наук; Морозов А.К. (yerdnavozorom@gmail.com) - Тверской государственный технический университет (аспирант);
Аннотация: В статье изучается вопрос измерения тактических характеристик радиолокационных станций, например, таких как дальность обнаружения, количество координат цели и точность их определения, разрешающая способность по каждой координате, зона видимости и другие. На данный момент тактические характеристики определяются на основе технических характеристик и с применением натурного эксперимента, с привлечением самолетов, самолетов-лабораторий и других объектов. Сложность натурного эксперимента в его организации и ограниченном количестве объектов целей, к тому же он затратный по ресурсам (денежным, административным, трудовым, временным). Предлагается для сбора исходных данных (координаты и количество обнаруженных целей средствами радиолокационной станции, координаты и количество имитируемых целей бортовым оборудованием носителя) и дальнейшего анализа (статистическая обработка данных от станции и бортового оборудования носителя) имитировать наличие цели для оборудования радиолокационной станции путем излучения эхо-сигнала цели на заданных координатах. Эхо-сигнал синтезируется оборудованием (генератором и бортовой ЭВМ), располагающимся на борту носителя (бес-пилотного летательного аппарата). Носитель позиционирует бортовое оборудование на угловых координатах (азимут и угол места), соответствующих угловым координатам имитируемой цели, но на значительно меньшем удалении. Дальность (расстояние между целью и радиолокационной станцией) имитируемой цели контролируется бортовым оборудованием путем изменения пара-метров генерируемого эхо-сигнала (время задержки излученных импульсов относительно излученных импульсов оборудованием радиолокационной станции), соответствующего имитируемой цели. Преимуществами предлагаемого метода являются сокращение затрачиваемых ресурсов и возможность контроля количества имитируемых целей путем изменения структуры эхо-сигнала.
Abstract: The paper examines the issue of measuring the tactical characteristics of radar stations (radar), such as, for example: detection range, the number of goal coordinates and the accuracy of their determination, resolution for each coordinate, visibility zone, and others. At the moment, the tactical characteristics are determined based on technical characteristics and using a full-scale experiment, involving aircraft, laboratory aircraft, and other objects. The complexity of a natural experiment in its organization and a few goal objects, it is also costly in terms of resources (monetary, administrative, labor, time).
It is proposed to collect initial data (coordinates and the number of localized targets by the radar station, coordinates and the number of simulated targets by the onboard equipment of the carrier) and further analysis (statistical processing of data from the station and onboard equipment of the carrier) to simulate the goal presence for the radar station equipment by emitting an echo signal targets at the giv-en coordinates. The echo signal is synthesized by the equipment (generator and onboard computer) lo-cated onboard the carrier (unmanned aerial vehicle). The carrier positions the onboard equipment in angular coordinates (azimuth and elevation) corresponding to the angular coordinates of the simulated target, but at a much smaller distance. The range (distance between the goal and the radar) of the simu-lated target is controlled by the onboard equipment by changing the parameters of the generated echo signal (the delay time of the emitted pulses relative to the emitted pulses by the radar equipment) cor-responding to the simulated target.
The advantage of the proposed method is the expended net resource (time, labor, money) and the ability to control the number of simulated targets by changing the structure of the echo signal.
Ключевые слова: имитирование радиолокационной цели, компьютерное моделирование, беспилотный летательный аппарат, qtcreator, c++Keywords: imitation of a radar target, computer modeling, unmanned aerial vehicle, qtcreator, C++
Просмотров: 3386
7. Модель динамического формирования приоритетов радиолокационных целей с помощью методов нечеткой логики [№2 за 2021 год]
Автор: Непряев А.А. (nepryaev@cps.tver.ru) - НИИ «Центрпрограммсистем» (главный специалист);
Аннотация: Статья посвящена созданию когнитивной системы управления ресурсами многофункциональной многоканальной радиолокационной станции с активной фазированной антенной решеткой. Автором разработана архитектура системы управления на основе радарного планировщика, обеспечивающего оптимальное распределение конечных ресурсов радара, таких как временные, энергетические и вычислительные. Создана и описана упрощенная верификационная модель радиолокационной станции, позволяющая автоматизировать процесс разработки и отладки компонентов системы управления ресурсами радара. Для решения проблемы распределения ресурсов предлагается реализация концепции когнитивной системы управления для случая, когда система планирует свои действия на основе анализа внешней обстановки и своего внутреннего состояния. В статье схематично описываются модели оценки и прогнозирования занятости энергетических и вычислительных ресурсов за счет использования термической модели приемопередающих модулей и модели тракта обработки первичной радиолокационной информации. Подробно описывается метод эффективного использования временных ресурсов за счет динамического формирования приоритетов заданий на сопровождение радиолокационных целей с помощью нечеткой логики. Показано, как предложенный метод приоритизации радиолокационных целей влияет на распределение ресурсов радара в ситуациях перегрузки пропускной способности, когда необходимо решать, какие задачи и по каким целям выполнять в установленных временных ограничениях, а какие могут быть поставлены в очередь либо сброшены. Целью статьи является демонстрация результатов моделирования работы модуля приоритизации заданий на сопровождение с учетом таких параметров, как скорость, дальность, направление движения и качество сопровождения цели.
Abstract: The paper focuses on creating a cognitive resource management system for a multifunctional multi-channel radar with an active phased antenna array. The author has developed a control system archi-tecture based on a radar scheduler, which provides an optimal distribution of the last resources of the radar, such as time, energy, and computing. We have created a simplified verification model of the ra-dar station, which makes it possible to automate the development and debugging of the components of the radar resource management system.
To solve the problem of resource allocation, the author suggests implementing the concept of a cog-nitive management system for the case when the system plans its actions based on the analysis of the external situation and its internal state. The paper schematically describes the estimates and forecasts of the employment of energy and computing resources by using the thermal model of the transceiver modules and the model of the primary radar information processing path.
The paper describes the designated efficient use of time resources because of the dynamic prioriti-zation of problems for tracking radar targets using fuzzy logic methods.
The author shows how the proposed method of prioritizing radar targets affects the distribution of radar resources in situations of capacity overload when it is necessary to decide about which problems and for which goals to perform within the established time limits, and which can be queued or reset.
The object of the paper is to show the results of modeling the module for prioritizing tracking problems, considering such parameters as speed, range, the direction of movement, and quality of target tracking.
Ключевые слова: распределение ресурсов, многофункциональный радар, радиолокационная станция, нечеткая логика, радиолокационная цель, приоритизация целейKeywords: resource allocation, multifunction radar, radar station, fuzzy logic, priority, phased array radar
Просмотров: 4904
8. Алгоритм определения направления движения локализованных объектов транспортных потоков на цифровых космических снимках [№2 за 2021 год]
Авторы: Тормозов В.С. (007465@pnu.edu.ru) - Тихоокеанский государственный университет (ст. преподаватель); Золкин А.Л. (alzolkin@list.ru) - Поволжский государственный университет телекоммуникаций и информатики (доцент кафедры информатики и вычислительной техники ), кандидат технических наук; Менциев А.У. (a.mentsiev@chesu.ru) - Чеченский государственный университет (ст. преподаватель);
Аннотация: В статье предлагается уникальный алгоритм определения направления движения объектов в транспортном потоке по данным спутниковой съемки сверхвысокого разрешения и географической информации о расположении перегонов улично-дорожной сети. Программная реализация разработанного алгоритма является составным модулем программной системы управления дорожным движением. На вход модуля подаются данные об интерполированной модели перегона, а также о местоположении и размерах каждого локализованного транспортного средства на пере-гоне. На выходе модуля для каждого транспортного средства определяется направление его движения: прямое или обратное. Алгоритм основан на сопоставлении положения транспортных средств и центральной интерполированной линии перегона улично-дорожной сети на цифровых изображениях перегонов. Разработан уникальный алгоритм нахождения отрезка минимальной длины от точки к ломаной линии на плоскости. Алгоритм используется в качестве одного из этапов процедуры определения направления движения объектов транспортного потока на перегоне уличнодорожной сети. Подход основан на сопоставлении относительного положения объекта и осевой линии. Благодаря однозначности соотнесения относительного расположения осевой линии с центральной точкой параллельного осям ограничивающего прямоугольника локализованного транспортного средства направление движения определяется с высокой точностью. Проведены исследования разработанных алгоритмов на реальных спутниковых данных. Анализ их результатов показал, что разработанный алгоритм определения направления движения детектированного объекта транспортного потока работает с высокой точностью. Экспериментальная оценка работы заключается в формировании расчетной метрики для набора ранее извлеченных локальных регионов. В силу того, что алгоритм относит транспортное средство к одному из двух направлений дорожного движения, в качестве метрики эвристическим путем выбрана точность верного определения направления движения. Показано, что погрешность в определении направления связана с неточностью в определении координат осевой линии локального участка дороги.
Abstract: The paper proposes a unique algorithm for determining the direction-finding of localized objects in traffic flows based on ultra-high resolution satellite shooting data and geographical information on the location of MAC sections. The program implementation of the developed algorithm is a component module of the program traffic control system. We provide the input of the module with data on the in-terpolated model of the stage, as well as on the location and size of each localized vehicle on the stage. At the output of the module, the direction of its movement is determined for each vehicle: forward or reverse. The algorithm is based on comparing the position of vehicles and the central interpolated line of the MAC section on digital images of the sections.
We have developed a unique algorithm for finding a minimum length segment from a point to a broken line on a plane. We used the algorithm as one stage of the stages of the algorithm for determin-ing the direction of movement of the vehicle at the MAC stage. The approach is based on comparing the relative position of the object and the centerline. Due to the unambiguity of correlation of the rela-tive location of centerline with central point parallel to axes of limiting rectangle of localized vehicle, the direction of motion is determined with high accuracy. Due to this, the direction of motion previous-ly detected by the vehicle is determined with high accuracy.
The authors undertook a study of developed algorithms on real satellite data. Analysis of the re-search results showed that the developed algorithm for determining the direction-finding works with high accuracy. The experimental evaluation of the work consists of the formation of a calculated metric for a set of previously extracted local regions. Because the algorithm assigns the vehicle to one of the two directions of traffic, we chose the accuracy of the correct determination of the direction of move-ment as a heuristic metric. It is determined that the error in the direction definition is related to the in-accuracy in determining the coordinates of the centerline of the local road section.
Ключевые слова: цифровая обработка изображений, транспортное средство, улично-дорожная сеть, спутниковые снимкиKeywords: digital image processing, vehicle, street road network, satellite imagery
Просмотров: 3282
9. Разработка правил по обнаружению скрытых данных в документах PDF [№2 за 2021 год]
Авторы: Сергеев А.В. (profitdre@gmail.com) - Национальный исследовательский университет «МЭИ», кафедра прикладной математики и искусственного интеллекта (аспирант); Хорев П.Б. (pbkh@yandex.ru) - Национальный исследовательский университет «Московский энергетический институт» (профессор), кандидат технических наук;
Аннотация: В статье рассматриваются определение и реализация правил для анализа и обнаружения скрытой информации внутри документов формата PDF. В настоящее время много работ посвящено обнаружению скрытых элементов в изображениях, звуке и видео, но мало внимания уделено скры тию данных в электронных документах различных форматов. Распространенным форматом в со-временном электронном документообороте является PDF (Portable Document Format), который также представляет интерес для исследования возможности его использования в стеганографии (науке о методах скрытия конфиденциальных сообщений внутри объектов-контейнеров). Доку-менты в формате PDF недостаточно исследованы (особенно в отечественной литературе) относительно возможности внедрения в них скрытых данных. Для предотвращения утечек конфиденциальной информации из информационной системы во внешний контур по различным каналам передачи информации предназначены системы DLP (Data Leak Protection). DLP-системы строятся на анализе потоков данных, пересекающих периметр защищаемой информационной системы. При детектировании в этом потоке конфиденциальной ин-формации срабатывает активная компонента системы и передача сообщения (пакета, потока, сессии) блокируется. Современные DLP-системы не способны обнаружить скрытые в стеганографических контейнерах данные и не позволяют добавлять в их состав необходимые функции. Для корпоративных сетей с большим сетевым трафиком и высокой ценностью передаваемых и обрабатываемых данных необходимы средства обнаружения стеганографических вложений в информационном потоке. В работе рассматриваются формат документа PDF, а также одна из популярных систем обнаружения и предотвращения вторжений с открытым исходным кодом – Suricata, которая имеет мощную поддержку сценариев на языке Lua для обнаружения угроз информационной безопасности. Разработан сценарий на языке Lua для обнаружения документов в формате PDF с нежелательными вложениями в виде сценариев, различных объектов и использованием межконтейнерного пространства с возможностью обфускации (запутывания) имени.
Abstract: The paper discusses the definition and implementation of rules for analyzing and detecting hidden in-formation inside PDF documents. Currently, there is a lot of work devoted to detecting hidden elements in images, sound, and video, but little attention is paid to hiding data in electronic documents of vari-ous formats. A widespread format in modern electronic document flow is PDF (Portable Document Format), which is also of interest for studying the possibility of its use in steganography (the science of methods of hiding confidential messages inside container objects). Documents in PDF format have not been sufficiently researched (especially in Russian literature) from the point of view of the possibility for introducing hidden data into them.
Systems for the prevention of data leaks (DLP, Data Leak Protection) are designed to prevent leak-age of confidential information from the information system to the external circuit through various in-formation transmission channels. DLP systems are based on the analysis of data streams crossing the perimeter of the protected information system. When confidential information is detected in this stream, an active component of the system is triggered and the transmission of a message (packet, stream, session) is blocked.
Modern DLP systems are unable to detect data hidden in steganographic containers and do not al-low adding the necessary functions to their composition. For corporate networks with high network traffic and high value of transmitted and processed data, means of detecting steganographic attach-ments in the information flow are required. The paper discusses the PDF document format, as well as one of the popular open-source intrusion detection and prevention systems – Suricata, which has pow-erful support for scripting in the Lua language for detecting information security threats. A script in Lua has been developed to detect PDF documents with unwanted attachments as scripts, various ob-jects, and the use of inter-container space with the possibility of obfuscating (obfuscating) the name.
Ключевые слова: стеганография, скрытие данных, система suricata, язык lua, формат pdfKeywords: steganography, data hiding, suricata system, lua language, pdf format
Просмотров: 3141
10. Программный комплекс моделирования диаграммынаправленности фазированной антенной решетки и вычисления кодов фазовращателей [№2 за 2021 год]
Авторы: Калинин Т.В. (diiimaaarik@mail.ru) - Военно-космическая академия им. А.Ф. Можайского (профессор), кандидат технических наук; Богомаз Д.В. (vka@mil.ru) - Военно-космическая академия им. А.Ф. Можайского (старший преподаватель); Хрестинин Д.В. (diiimaaarik@mail.ru) - Военно-космическая академия им. А.Ф. Можайского (преподаватель); Вихрев А.В. (vka@mil.ru) - Военно-космическая академия им. А.Ф. Можайского (курсант);
Аннотация: Для обнаружения и сопровождения космических объектов необходимо управлять положением передающей и приемной диаграмм направленности в пределах сектора обзора РЛС. В современных РЛС с фазированной антенной решеткой управление положением диаграмм направленности производится фазовым методом по азимуту и углу места. Для реализации фазового метода необходимо рассчитывать фазу на каждом излучателе с фазированной антенной решеткой. В статье рассмотрены математическая модель и программная реализация процесса расчета фаз и цифровых кодов управления для каждого фазовращателя. Программный комплекс позволяет проводить исследования диаграмм направленности фазированной антенной решетки в зависимости от направления излучения, количества излучателей, дискретности фазовращателей. Программный комплекс представляет собой приложение с графическим интерфейсом, реализованное на языке программирования С++ в среде программирования Qt Creator. Анализ существующих программных комплексов моделирования диаграмм направленности фазированной антенной решетки (пакет Sensor Array Analyzer из Matlab 2013 и выше, Mathcad, CST MICROWAVE STUDIO, ANSYS HFSS) показал, что в них отсутствует возможность изменения дискретности фазовращателей, расчета кодов фазы фазовращателей и визуального представления ошибок в установке направления диаграмм направленности, зависящих от дискретности фазовращателей. Таким образом, новизна программной модели заключается в визуальном представлении теоретической диаграммы направленности и диаграммы направленности с учетом ошибок, возникащих из-за дискретности фазовращателей, что позволяет использовать ее для подготовки специалистов по фазированной антенной решетке.
Abstract: For detection and tracking of space objects, it’s necessary to control the position of transmitting and receiving radiation patterns (RP) within a section of the radar coverage area. In modern radar stations (RS) with phased antenna array (PAA), positioning of RP is performed by phase method of determining azimuth and elevation angles. For the phase method implementation, the phase of every PAA emitter must be determined.
The paper presents a mathematical model and software implementation of phases and digital control code calculation for every phase shifter. The software solution allows for researching PAA RP accord-ing to the beam direction, the number of emitters, and phase shifter discreteness.
The software solution is an application with a graphical interface, written in the C++ programming language in Qt Creator programming environment.
Analysis of existing RP PAA simulation software systems (Sensor Array Analyzer package from Matlab 2013 and above, Mathcad, CST MICROWAVE STUDIO, ANSYS HFSS) showed that they do not have the possibility of changing the discreteness of phase shifters, calculating phase codes of phase shifters and visual representation of errors in setting the direction.
Thus, the novelty of the software model lies in the visual representation of the theoretical radiation pattern and the radiation pattern, considering the errors that arise because of the discreteness of the phase shifters, which allows it to be used for training specialists in the phased array antenna.
Ключевые слова: диаграмма направленности, фазовращатель, цифровой код, программный комплекс, среда программирования qt creatorKeywords: directivity diagram, phase shifter, digital codes, software package, qt creator programming environment
Просмотров: 4081
| 1 | 2 | Следующая → ►