|
Цирунян В.Д. Модель целочисленного линейного программирования для исследования почти-интервальных реберных раскрасок PDF📥
АННОТАЦИЯ. Правильной реберной раскраской графа 𝐺 называется отображение 𝛼: 𝐸(𝐺) → ℕ, такое что 𝛼(𝑒) ≠ 𝛼(𝑒′ ) для любой пары смежных ребер 𝑒 и 𝑒′ графа 𝐺. Если 𝛼-правильная реберная раскраска графа 𝐺 и 𝑣 ∈ 𝑉(𝐺), то через 𝑆𝐺(𝑣, 𝛼) обозначается множество цветов, встречающихся на ребрах, инцидентных вершине 𝑣. Правильная реберная раскраска 𝛼 графа 𝐺 цветами 1, … ,𝑡 называется «почти-интервальной 𝑡-раскраской», если используются все цвета и для каждой вершины 𝑣 ∈ 𝑉(𝐺) множество 𝑆𝐺(𝑣, 𝛼) является интервалом целых чисел, содержащим не более одного разрыва. Если граф 𝐺 допускает такую раскраску, то минимальное число цветов в почти-интервальной раскраске графа 𝐺 обозначается через 𝑤1 (𝐺). Известно, что все полные двудольные графы допускают почти-интервальные раскраски. В данной работе предлагается модель целочисленного линейного программирования для определения или оценки параметра 𝑤1 (𝐾𝑚,𝑛) (𝑚, 𝑛 ∈ ℕ) для полных двудольных графов.
Ключевые слова: правильная реберная раскраска, почти-интервальная раскраска, интервальная раскраска, полный двудольный граф, целочисленное линейное программирование.
|
9 |
|
Микаелян Г. Общие оценки для реберно-хроматических сумм графов PDF📥
АННОТАЦИЯ. Правильная реберная раскраска графа – это отображение его ребер на натуральные числа таким образом, что смежные ребра получают разные числа (цвета). Реберно-хроматическая сумма графа – это минимальная сумма цветов на всех ребрах среди всевозможных правильных реберных раскрасок. Цель данной работы – найти нижние и верхние оценки для параметра реберно-хроматической суммы графов. Получены две нижние и две верхние оценки, которые сравнены с некоторыми существующими результатами. Также показано, что обе оценки эффективны для определенных классов графов, и для каждой границы существуют графы, для которых она более эффективна, чем другая.
Ключевые слова: реберно-хроматическая сумма, правильная реберная раскраска.
|
19 |
|
Саакян В. Визуальная относительная локализация для GNSS-независимого управления роем БПЛА PDF📥
АННОТАЦИЯ. Эксплуатация формаций беспилотных летательных аппаратов в условиях отсутствия GNSS требует альтернативных источников позиционной информации, которые могут быть напрямую интегрированы в контур управления полетом. В данной работе представлен подход типа «лидер-ведомый», в котором GNSS для ведомых БПЛА заменяется визуальной относительной локализацией, вычисляемой на борту одного ведущего аппарата. Ведущий БПЛА оценивает относительные трехмерные положения ведомых аппаратов с использованием монокулярного зрения и передает эти оценки в полетные контроллеры PX4 ведомых через интерфейс внешнего зрения. Ведомые БПЛԱ используют исключительно внедряемые относительные измерения положения для оценки состояния и замкнутого управления положением, без применения GNSS и без выполнения бортовой локализации. Предложенная система полностью реализована на борту летательных аппаратов, не требует внешней инфраструктуры и основана на открытом программном стеке ROS 2-PX4. Подход был оценен в симуляторе с несколькими БПЛА (software-in-the-loop) в условиях отсутствия GNSS. Проведены два эксперимента: номинальный полет в формации для оценки установившегося режима работы и варьирование скорости ведущего БПЛА для анализа влияния возросшей динамической нагрузки на точность слежения. Полученные результаты демонстрируют устойчивое управление положением ведомых БПЛА на основе одной лишь относительной локализации, с ограниченной ошибкой во всем исследованном диапазоне режимов, что подтверждает практическую применимость визуальной относительной локализации в качестве замены GNSS для формаций БПЛА с архитектурой «лидер-ведомый»
Ключевые слова: навигация без GNSS; формации БПЛА; архитектура «лидер-ведомый»; визуальная относительная локализация; автопилот PX4.
|
28 |
|
Авагян Т.С., Мовсисян О.М., Асланян А.К. Определение версии компилятора solidity из исходного кода PDF📥
АННОТАЦИЯ. В данной работе представлен метод и реализован инструмент для нахождения версии компилятора из исходного кода для языка “Solidity”. Подход реализован на основе регулярных выражений, который обеспечивает производительность в сравнении с другими методами работающими на базе абстрактного синтаксического дерева. Экспериментальная оценка на реальных проектах продемонстрировала его эффективность. Производительность разработанного инструмента в 6 раз быстрее существующего альтернативного решения; точность достигает 100% (против 88,41%), а полнота – 98,77% (против 79,04%)..
Ключевые слова: блокчейн, анализ кода, компиляторы.
|
36 |
|
Мелконян В., Смбатян М., Сардарян А. Автоматизированное обнаружение и анализ воздействий снарядов с использованием компьютерного зрения PDF📥
АННОТАЦИЯ. В данной работе представлена программная система для автоматического обнаружения, стабилизации и анализа попаданий снарядов в видеопоследовательностях в режиме реального времени. Система автоматически определяет область интереса с помощью модели сегментации. События попаданий выявляются с помощью многоуровневого подхода, который сочетает анализ межкадровых преобразований, вычитание фона и контурный анализ в заданной маске. На выходе система формирует аннотированные кадры с точным указанием места попадания и вычисляет его координаты относительно центра цели.
Ключевые слова: обнаружение ударов, компьютерное зрение, оптический поток, стабилизация видео, вычитание фона.
|
44 |
|
Туманян О., Киракосян Л. Метод организации связи LoRa в беспилотных летательных аппаратах на основе программно-определяемого радио PDF📥
АННОТАЦИЯ. В данной статье речь идет о том, что, поскольку радиус действия беспилотных летательных аппаратов (БПЛА) продолжает расширяться, острая необходимость в высоконадежных каналах передачи данных на большие расстояния вызывает значительный интерес в области энергоэффективных сетей дальнего радиуса действия (LPWAN). Модули LoRa часто используются для телеметрии БПЛА; однако обычно они работают на фиксированном частотном канале, что делает канал связи уязвимым к радиоэлектронному подавлению (глушению). В то же время системы на базе программно-определяемого радио (SDR)могут решить этупроблему за счет изменения рабочей частоты. Технология SDR предлагает гибкость, позволяя динамически менять частоты для избежания активных радиопомех и создавать настраиваемые широкополосные каналы, которые стандартные чипы поддерживать не могут. Используя SDR BladeRF 2.0 micro xA4 и специализированную обработку сигналов в GNU Radio, мы создали непрерывный канал связи LoRa с частотным дуплексным разделением (FDD). За счет искусственного расширения полосы пропускания до 3 МГц и размещения восходящего (uplink) и нисходящего (downlink) каналов в совершенно разных частотных диапазонах, система без труда справляется с потоком данных, необходимым для наземных станций упавления. Данная архитектура сохраняет надежность метода расширения спектра на основе линейной частотной модуляции (CSS), используемого в LoRa, при этом устраняет традиционные узкие места системы. Она легко справляется с дополнительной вычислительной нагрузкой, связанной с шифрованием MAVLink v2, и полностью исключает задержки, возникающие при переключении направления передачи.
Ключевые слова: Программно-определяемое радио (SDR), беспилотные летательные аппараты (БПЛА), LoRa, телеметрия, BladeRF
|
51 |
|
Хачатрян Г.А., Мелконян В.Г., Аванян А.Б., Оганесян О.А. Повторное обнаружение объектов на аэрофотоснимках, полученных с БПЛА PDF📥
АННОТАЦИЯ. Повторное обнаружение объектов на аэрофотоснимках является важной задачей для систем наблюдения, поисково-спасательных операций и экологического мониторинга. Объекты, однажды зафиксированные на изображении, могут исчезать из-за перекрытий, изменения ракурса или временных разрывов между кадрами. Возможность их повторного обнаружения повышает надежность систем воздушного наблюдения. В данной работе предлагается метод повторного обнаружения объектов на аэрофотоснимках, полученных с беспилотных летательных аппаратов. Метод основан на сканировании новых кадров с целью нахождения объекта, наиболее похожего на потерянный, с использованием визуального сходства. Для повышения устойчивости к искажениям применяются методы предварительной обработки изображений, а также используется кластеризация для сокращения области поиска. В систему повторного обнаружения интегрирован алгоритм сопоставления, сравнивающие визуальные признаки потерянного объекта с возможными кандидатами на новых изображениях. Эффективность предложенного подхода подтверждена экспериментами на реальных наборах аэрофотоснимков, демонстрирующими успешное повторное обнаружение объектов в условиях изменяющегося фона, масштаба и освещенности.
Ключевые слова: повторное обнаружение объектов; аэрофотоснимки; беспилотные летательные аппараты.
|
61 |
|
Мовсисян О.М., Асланян А.К. Исследование и разработка методов сопоставления исходного и бинарного кода PDF📥
АННОТАЦИЯ. В данной статье рассматривается проблема сопоставления исходного и исполняемого кода функций в условиях отсутствия отладочной и символьной информации. Представлен инструмент Pigaios++, являющийся развитием инструмента Pigaios. Основные улучшения включают внедрение механизмов предварительного сопоставления библиотечных функций, а также использование новых метрик, таких как сравнение сигнатур функций и анализ вызовов библиотечных функций. Предложен метод повышения точности сопоставления за счет анализа контекста расположения функций относительно уже идентифицированных пар. Для оценки эффективности разработан алгоритм автоматической генерации тестов. Экспериментальные результаты на базе пакета GNU Coreutils показали, что внесенные модификации позволили повысить показатель точности на 14.15% и полноты на 10.3% по сравнению с базовым решением.
Ключевые слова: сопоставление кода, статическое сопоставление, анализ уязвимостей.
|
68 |
|
Сурменелян К.С., Арамян А.Ж., Оганесян О.А., Смбатян М.М., Погосян В.Т., Маладжян А.А. Алгоритм генерации синтетических данных для задач дистанционного зондирования на основе Unreal Engine 5 PDF📥
АННОТАЦИЯ. В данной статье представлен алгоритм генерации синтетических данных для задач дистанционного зондирования, реализованный в среде Unreal Engine 5. Подход основан на процедурном моделировании городской среды, стохастическом размещении объектов с геометрическими и семантическими ограничениями и моделировании параметров виртуальной камеры. Аннотации формируются автоматически из трехмерной сцены и включают ограничивающие рамки и семантические маски. Предложенный алгоритм обеспечивает согласованность между изображениями и разметкой и позволяет масштабируемо генерировать обучающие данные для задач компьютерного зрения в дистанционном зондировании.
Ключевые слова: синтетические данные, “Unreal Engine 5”, дистанционное зондирование, автоматическая разметка, компьютерное зрение.
|
76 |
