Программные системы: теория и приложения @programmnye-sistemy
Статьи журнала - Программные системы: теория и приложения
Все статьи: 433
Реализация скобки Кругликова–Лычагина–Майера в системе компьютерной алгебры maple
Статья научная
В настоящей статье описана реализация скобки Кругликова–Лычагина–Майера на языке Maple. Результаты работы были анонсированы в {bib:gio9} и {bib:gia9}.
Бесплатно
Рекурсивные определения реляционных преобразований
Статья научная
В статье определяются основные конструкции и семантика языка описания действий (action description language), предназначенного для описания и вычисления преобразований отношений моделей ситуаций (реляционных преобразований). Основное отличие описываемого языка от традиционных языков описания действий (STRIPS, ADL и т.п.) заключается в использовании, кроме традиционных (STRIPS-like) правил, их теоретико-множественных композиций и рекурсии это существенно повышает выразительность языка. Описывается функция для вычисления эффектов действий, определенных рекурсивно и доказывается ее частичная корректность.
Бесплатно
Референциальный профиль как инструмент для исследования референции в связном тексте
Статья научная
В статье предложена идея референциального профиля — инструмента для визуализации референции к некоторой сущности как процесса, разворачивающегося в связном тексте. Описаны формат и принципы разметки текста для построения референциального профиля.
Бесплатно
Статья научная
В статье описывается В статье описывается реализация решения задачи Дирихле для уравнения Пуассона методом Гаусса-Зейделя на языке параллельного программирования T++
Бесплатно
Решение задачи оптимизации процесса поиска границ карьеров на гибридных кластерных системах
Статья научная
В данной статье показана возможность применения высокопроизводительных гибридных вычислительных систем для решения задач оптимизации процесса поиска границ карьеров при добыче полезных ископаемых открытым способом
Бесплатно
Роль знаний в системах извлечения информации из текстов
Статья научная
В работе рассматриваются стадии процесса извлечения информации из текстов на базе правил. Затрагивается проблема применения формализованных знаний о предметной области на стадиях синтактико-семантического анализа и собственно извлечения. Подчеркивается значимость привнесения «фоновых» знаний в результат извлечения; рассматривается способ реализации этого функционала.
Бесплатно
Российский семинар «Приближенные методы оптимального управления в приложении к квантовым системам»
Статья
Бесплатно
Самомаршрутизируемая неблокируемая системная сеть с прямыми каналами: сложность и быстродействие
Статья научная
Разработана неблокируемая самомаршрутизируемая сеть с прямыми каналами, в которой конфликты пакетов разрешаются на входе в сеть посредством процедуры борьбы источников за вход в первый каскад сети, обеспечивая пакетную дуальность. Заблокированные при борьбе пакеты повторно передаются источниками с минимальными задержками. Дуальность подразумевает совместное использование шинного (с разведением во времени) и мультиплексного (с разведением по каналам) способов разрешения конфликтов пакетов. Внутри сети возникновение конфликтов предупреждается посредством ее внутреннего распараллеливания, т.е. созданием заведомо бесконфликтных путей. Сеть разработана в 2-, 4-, и 8-каскадном вариантах с масштабированием числа каналов от нескольких сот до многих миллионов при неизменном быстродействии сети. В сети возможно обеспечение 1-, или 2-канальной отказоустойчивости при сохранении ее быстродействия. Накладными затратами на достижение указанных свойств является повышенная сложность сети, которая сопоставима со сложностью теоретического неблокируемого коммутатора Клоза. Хотя его структура известна, но практическая реализация отсутствует вследствие неизвестности процедуры параллельной самомаршрутизации в нем. Практическая ориентация предложенных сетей - это системные сети с передачей маршрутной информации в заголовках пакетов с однократным использованием в каждом каскаде управляющей маршрутной информации для базового полного коммутатора. Предложенные сети выполнены в расширенном схемном базисе, состоящем из полных коммутаторов и отдельных мультиплексоров и демультиплексоров. В работе представлены характеристики построенных сетей при указанном способе представления маршрутной информации.
Бесплатно
Свёрточные нейронные сети для решения задач обнаружения пожаров по данным аэрофотосъемки
Статья научная
В работе представлены результаты применения новой структуры свёрточных нейронных сетей (СНС) для обнаружения пожаров на основе аэрофотоснимков. Сформирован обучающий набор данных на основе видеозаписей пожаров, снятых с воздуха в различных условиях. Показано, что предлагаемая свёрточная нейронная сеть достаточно хорошо работает в области обнаружения пожара. Представлены результаты экспериментов на реальных видеопоследовательностях. Предложенный подход обеспечивает высокую точность(precision) 94,78., полноту(recall) 92,97., F1-меру 95,42. и хорошие показатели IoU (Intersection over Union), что позволяет сделать вывод об эффективности использования предлагаемой СНС для обнаружения пожаров.
Бесплатно
Семантический анализ контекстных дат
Статья научная
В статье предлагается формальный аппарат для представления семантического значения контекстных дат, основанный на лингвистической модели календарного времени. Контекстные даты –– случаи отсылочной и эллиптичной референции к единичным календарным интервалам в тексте –– входят в состав значительной части т. наз. недоопределенных указаний на время. В терминах лингвистической модели представляется семантическое значение структурных элементов контекстных дат, содержащих индексальные (отсылочные) показатели, с учетом типа индексального показателя, типа элемента и его позиции в контекстной дате. Рассмотрены различные виды эллипсиса в контекстных датах и способы восстановления опущенных значений
Бесплатно
Семейство коммутаторов Ethernet «BotikSwitch»
Статья научная
Представлено семейство компактных управляемых коммутаторов Ethernet, ориентированных на использование региональными операторами связи при построении сетевой инфраструктуры с архитектурой FTTx. В состав семейства входят 5 моделей: от коммутаторов с 9 портами SFP для подключения ВОЛС до малых абонентских коммутаторoв с одним портом SFP. Коммутаторы работают в индустриальном температурном диапазоне, питаются от источника постоянного тока с напряжением 4.5-26В, имеют интерфейс для мониторинга внешних датчиков. Протокол управления ориентирован на мониторинг и управление большим числом коммутаторов в автоматическом режиме. Поддерживаются необходимые функции диагностики и управления, в том числе ping, управление скоростью для любого порта с шагом 64Кбит/с, VLAN 802.1Q, фильтрация трафика по MAC-адресам. Семейство коммутаторов дает возможность создания компьютерных сетей с высокими характеристиками при небольших затратах.
Бесплатно
Сенсорная сеть с модульной архитектурой
Статья научная
Описан новый подход к организации сенсорной сети на основе устройств с модульной архитектурой. Описываемая аппаратно-программная платформа для сенсорных сетей является своего рода конструктором, который позволит легко собирать сенсорные узлы в соответствии со специфическими нуждами пользователя и разворачивать сенсорные сети там, где это нужно. Данный подход призван значительно расширить сферу применения сенсорных сетей
Бесплатно
Ред. заметка
Рассматриваются сети аффинных операторов как частный случай двухуровневой модели сетей с обыкновенными дифференциальными системами, для которых ставится задача оптимального управления. Приводятся достаточные условия оптимальности. Их работоспособность иллюстрируется на содержательном примере.
Бесплатно
Статья научная
Рассматривается обобщение класса неоднородных дискретных систем (НДС): сети дискретных операторов, как широко распространенные на практике, так и получающиеся при дискретизации соответствующих неоднородных непрерывных систем при решении задач оптимизации. Для указанного класса формулируются достаточные условия оптимальности в виде обобщения и развития работ Кротова
Бесплатно
Сжатие сенсорных данных с малым расходом оперативной памяти
Статья научная
Рассматривается задача сжатия скалярных данных в узлах сенсорной сети в потоковом режиме (без накопления блока некомпрессированных данных). Рассмотрено несколько экспериментальных алгоритмов сжатия, основанных на сочетании дельта-кодирования (LPC) с кодированием повторов (RLE). На стадии статистического кодирования применялись: a) код переменной длины с динамическими префиксами, полученными с помощью MTF-преобразования, b) адаптивный бинарный код, c) адаптивные коды Голомба-Райса. Проведено сравнение известных и экспериментальных алгоритмов на 75 источниках сенсорных данных. В тестах достигнуты коэффициенты сжатия порядка 1.5/4/1000000 (мин/медиана/макс) при размере контекста алгоритма сжатия порядка 10 байт.
Бесплатно
Синтез оптимального управления квантомеханической системой
Статья научная
В работе рассматривается задача неограниченного оптимального управления колебательной системой, представляемой известной квантомеханической моделью ЛандауЗинера. Эта задача вырождена и имеет семейство магистральных решений, которое находится согласно теории путем преобразования к производной задаче меньшего порядка. Оно задает синтез оптимального управления в производной задаче и далее — приближенный синтез с любой точностью в исходной задаче.
Бесплатно
Синтез управления в окрестности приближенного решения задачи с частично закрепленным правым концом
Статья научная
Описан метод улучшения управления в окрестности траектории текущего приближения на основе замены задачи управления с частично закрепленным правым концом более простой линейно–квадратической задачей, для которой решение можно найти в явном аналитическом виде, а полученное управление применить к исходной модели. Рассматривается приложение соответствующего итерационного алгоритма к коррекции простой аппроксимации скользящего режима как обобщенного решения задачи управления.
Бесплатно
Синхронизация времени в сенсорных сетях
Статья научная
В работе обсуждаются вопросы синхронизации часов узлов сенсорной сети, рассматриваются существующие подходы. Работа также описывает опробованный на практике механизм, позволяющий сократить расходы электроэнергии на работу устройства, не потеряв при этом в точности определения времени. Предлагаются методы коррекции расхождения часов устройств и учёта температурных поправок.
Бесплатно
Статья научная
В статье предлагаются децентрализованные процессы синхронизации действий распределенной группы активных компонентов (объектов) в суперкомпьютерах и компьютерных кластерах, ускоряющие их синхронный переход в заданные состояния и воздействие на внешнюю среду. Объектам не задается значение момента времени перехода. Им известен только факт появления совокупности событий, требующих наиболее быстрого перехода всех объектов в новое состояние. Для синхронизации объекты обмениваются оптическими сигналами по беспроводным каналам связи через ретранслятор оптических сигналов, объединяющий группы объектов. Синхронизация ускоряется за счет применения групповых операций, каждая из которых одновременно получает и обрабатывает данные группы распределенных объектов. Такая обработка выполняется групповыми операциями при передаче данных объектами, не увеличивая это время. Причем время обработки не зависит от количества данных, одновременно обрабатываемых операцией. Групповые операции выполняются в ретрансляторе, не содержащем вычислительных средств. В целом решения статьи ускоряют при возникновении непредвиденных событий переход асинхронно действующих распределенных объектов в заданное синхронное состояние. Такая возможность наиболее востребована для систем, работающих в режиме жесткого реального времени.
Бесплатно
Система автоматического тегирования изображений на основе миварных технологий
Статья научная
В данной статье рассматривается проблема создания системы автоматического тегирования изображений. В статье приведен обзор существующих задач и программных решений в области классификации объектов на изображении. Для решения задачи распознавания множества объектов на изображениях предлагается реализовать модули снятия контекстной неопределенности и управляющий модуль, производящий интеллектуальный запуск остальных модулей системы. Данные модули используют миварные технологии: миварную базу знаний и миварный метод логического вывода. В работе приведена модульная схема системы, описание работы модулей системы, а также полученные результаты.
Бесплатно
