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

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

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

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

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

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

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

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

11. Метод обнаружения веб-роботов на основе анализа графа пользовательского поведения [№4 за 2019 год]
Авторы: Менщиков А.А., Гатчин Ю.А.
Просмотров: 7429
Согласно отчетам компаний, занимающихся защитой веб-ресурсов, каждый пятый запрос к типовому сайту в сети Интернет направлен вредоносными автоматизированными системами – веб-роботами. Веб-роботы по объему трафика уже преобладают над рядовыми пользователями веб-ресурсов. Своими действиями они угрожают приватности данных, авторскому праву, несут угро-зы несанкционированного сбора информации, влияют на статистики и приводят к ухудшению производительности веб-ресурса. Возникает необходимость обнаружения и блокирования источников таких средств. Существующие методы предполагают использование синтаксической и аналитической обработки логов веб-сервера для обнаружения веб-роботов. Этого недостаточно, чтобы надежно вы-являть веб-роботов, скрывающих свое присутствие и имитирующих поведение легитимных пользователей. В статье предлагается новый метод, отличительной особенностью которого является использование характеристик графа связности страниц защищаемого веб-ресурса для формирования признаков роботизированных пользовательских сессий. Характеристики анализируемых сессий включают не только особенности графа перемещений самого пользователя, но и признаки каждого из посещенных им узлов веб-ресурса (степени входа и исхода, меры центральности и другие). Для расчета таких характеристик строится граф связности страниц веб-ресурса. Данный метод заключается в анализе характеристик перемещений для каждой пользовательской сессии с целью классификации ее на роботизированную или принадлежащую легитимному пользователю. В статье проводится анализ шаблонов поведения пользователей веб-ресурса, описываются основные принципы извлечения необходимых данных из логов веб-сервера, способ построения графа связности страниц веб-ресурса, а также наиболее значимые характеристики сессий. Обсуждаются процедура обнаружения и выбор подходящей классификационной модели. Для каждой из исследуемых моделей производятся отбор гиперпараметров и перекрестная проверка результатов. Анализ точности и полноты обнаружения показывает, что при использовании библиотеки XGboost можно получить F1-меру порядка 0.96.

12. Метод трансляции первопорядковых логических формул в позитивно-образованные формулы [№4 за 2019 год]
Авторы: Давыдов А.В., Ларионов А.А., Черкашин Е.А.
Просмотров: 4793
В статье рассматриваются логическое исчисление позитивно-образованных формул (ПОФ-исчисление) и построенный на его основе метод автоматического доказательства теорем. ПОФ-исчисление впервые появилось в работах академиков РАН С.Н. Васильева и А.К. Жерлова в результате рассмотрения и решения задач теории управления и было описано как логический формализм первого порядка. Имеются примеры описания и решения задач теории управления, эффективно (с точки зрения выразительности языка и производительности средств доказательств теорем) решенных с помощью ПОФ-исчисления, например, управление группой лифтов, наведение телескопа на центр планеты, находящейся в неполной фазе, управление мобильным роботом. ПОФ-исчисление выгодно отличается от возможностей других, логических, средств формализации предметной области и поиска логических выводов выразительностью в сочетании с компактностью представления знаний, естественным параллелизмом их обработки, крупноблочностью и меньшей комбинаторной сложностью выводов, высокой совместимостью с эвристиками и широкими возможностями для интерактивного доказательства. В выделенном классе формул возможно построение конструктивного доказательства. Данный класс формул существенно шире класса хорновских дизъюнктов, используемых в языке Пролог: на логическую формализацию аксиоматической базы предметной области не накладываются никакие ограничения, а целевое утверждение – это конъюнкция запросов (в смысле языка Пролог). Для тестирования программной системы автоматического доказательства теорем (прувера), основанной на ПОФ-исчислении, использовалась библиотека задач TPTP (Thousands of Problems for Theorem Provers). Формат, в котором представлены задачи TPTP (называемые проблемами), де-факто стал стандартом среди сообщества, изучающего автоматизацию рассуждений. Возникает естественная необходимость в том, чтобы разрабатываемый прувер принимал на вход задачи в этом формате. Таким образом, возникла задача трансляции формул логики предикатов первого порядка, представленных в формате TPTP, в формат ПОФ. Эта задача нетривиальна из-за особой структуры формул ПОФ-исчисления. В данной работе предложены более эффективный (в сравнении с ранее разработанным алгоритмом в первой реализации системы автоматического доказательства теорем для ПОФ-исчисления) метод трансляции формул первопорядкового языка исчисления предикатов с сохранением исходной эвристической структуры знаний и его упрощенная версия для задач, представ-ленных на языке дизъюнктов. Под эффективностью понимаются количество шагов и длина получаемых формул. Предложенный метод был реализован в виде программной системы – транслятора языка первопорядковых логических формул в формате ТРТР в язык ПОФ. Приведены результа-ты тестирования разработанного метода, которые позволяют сделать вывод о том, что существует определенный класс первопорядковых формул, не принимаемый во внимание как особый существующими системами автоматического доказательства теорем, в то время как в ПОФ-исчислении для данного класса формул существуют специальные стратегии, повышающие эффективность поиска вывода.

13. Метод формирования приоритетного перечня автоматизируемых органов управления в системах специального назначения и его программная реализация [№4 за 2019 год]
Авторы: Лясковский В.Л., Бреслер И.Б., Алашеев М.А.
Просмотров: 4112
В статье рассматриваются метод формирования приоритетного перечня органов управления распределенных информационно-управляющих систем (РИУС) специального и военного назначения, подлежащих оснащению средствами автоматизации, а также его программная реализация в составе системы поддержки принятия решений. Необходимость разработки и применения данного метода обусловлена тем, что создание РИУС, как правило, осуществляется в несколько этапов на протяжении длительного времени, что связано в основном с высокой трудоемкостью и стоимостью разработки, изготовления и поставки комплексов средств автоматизации, а также с ограниченными финансовыми ресурсами, технологическими и производственными возможностями всех субъектов – участников этого процесса. При этом интуитивно понятно, что оснащение одних органов управления средствами автоматизации может привносить более значимый вклад в повышение эффективности всей системы, чем автоматизация других органов управления. Однако в настоящее время отсутствует формализованный метод, позволяющий обосновать последовательность оснащения органов управления средствами автоматизации на основании учета их наиболее значимых параметров и характеристик. В связи с этим разработка метода формирования приоритетного перечня органов управления РИУС является важной практически значимой задачей. Предлагаемый метод заключается в последовательной оценке каждого органа управления в соответствии с разработанной системой классификационных признаков. При этом все классификационные признаки иерархически взаимосвязаны, важность их убывает от первого к последнему. Применение данного метода связано с необходимостью сбора, хранения и обработки массивов исходных данных. Для повышения удобства его использования, сокращения времени обработки информации и снижения количества ошибок, связанных с человеческим фактором, авторами осуществлена программная реализация метода как составной части разрабатываемой системы поддержки принятия решений. Метод может быть использован заказывающими органами и научно-исследовательскими организациями при обосновании последовательности работ по созданию и развитию РИУС.

14. Методы и средства моделирования системы управления суперкомпьютерными заданиями [№4 за 2019 год]
Авторы: Баранов А.В., Ляховец Д.С.
Просмотров: 6573
В статье рассматриваются методы и средства моделирования систем управления суперкомпьютерными заданиями (СУЗ), таких как SLURM, PBS, Moab и отечественная система управления прохождением параллельных заданий (СУППЗ). Среди методов моделирования СУЗ выделены натурный эксперимент, моделирование СУЗ с виртуальным вычислителем, имитационное моделирование. Рассмотрены методы и способы по-строения модельного потока заданий. На примере СУППЗ показана невозможность точного воспроизведения натурного эксперимента. Поставлен вопрос об адекватности модели СУЗ, введены понятия адекватности в широком и узком смыслах. Показано, что адекватная в узком смысле модель СУЗ обеспечивает соответствие только интервальных показателей и не может быть использована в качестве прогнозной модели. Для определения адекватности в широком смысле рассмотрена численная оценка близости двух потоков событий СУЗ – реального и полученного в результате моделирования. В качестве меры близости двух потоков предложено нормализованное евклидово расстояние между двумя векторами, соответствующими сравниваемым потокам. Размерность векторов равна числу обработан-ных заданий, а компоненты векторов представляют собой времена пребывания заданий в системе. Для меры адекватности предложена методика ее определения, основанная на сравнении статистики работы реальной системы и модели СУЗ. На примере СУППЗ определено эталонное значение меры адекватности как нормированное евклидово расстояние между векторами времен пребывания заданий в системе, полученными от реальной СУППЗ и модели СУППЗ с виртуальным вычислителем.

15. Моделирование и анализ программ многомерных интервально-логических регуляторов [№4 за 2019 год]
Авторы: Антипин А.Ф., Антипина Е.В.
Просмотров: 4909
В статье рассматривается специальное ПО для моделирования работы многомерных нечетких интервально-логических регуляторов и анализа их программ для контроллеров с программируемой логикой, которые могут использоваться на предприятиях химической, нефтяной и нефтепере-рабатывающей промышленности при разработке АСУ технологическими процессами и объекта-ми, не имеющими адекватных математических моделей. Актуальность разработки ПО обусловлена отсутствием прикладных программ для моделирования работы нечетких регуляторов по имеющимся экспериментальным данным. Описанное в статье ПО позволяет рассчитать необходимое и достаточное количество продукционных правил и критически важных правил, составляющих систему продукционных правил. Кроме того, по имеющимся исходным данным, полученным в результате экспериментов, можно построить нечеткие модели работы многомерных нечетких интервально-логических регуляторов. В статье приведены результаты вычислительного эксперимента по созданию нечеткой модели работы многомерных нечетких интервально-логических регуляторов и анализу их программ для контроллеров с программируемой логикой, в ходе которого рассчитаны основные параметры регуляторов данного типа: максимальное количество продукционных правил, составляющих систему продукционных правил; общее количество термов и количество критически важных термов для каждой из переменных; общее количество групп переменных и количество критически важных групп переменных; максимальное количество продукционных правил, количество критически важных продукционных правил для каждой из групп переменных и фактическое количество критически важных правил, входящих в систему продукционных правил. По результатам расчетов сделаны выводы о сложности системы продукционных правил многомерных нечетких интервально-логических регуляторов и достижении требуемой точности вычислений.

16. Модель и алгоритм выбора программной архитектуры для систем Интернета вещей [№4 за 2019 год]
Автор: Ядгарова Ю.В.
Просмотров: 2772
В статье приведены аналитическая модель оценки стоимости и алгоритм выбора базового шаблона программных архитектур и тактик проектирования для систем Интернета вещей. Обобщено понятие IoT-технологий, сделан обзор параметров качества программных систем, выделены основные значимые параметры применительно к системам Интернета вещей, приведены методы их достижения. Необходимые параметры качества программных систем достигаются реализацией базового шаблона программной архитектуры и сопутствующих тактик проектирования. В работе представлена аналитическая модель зависимости трудоемкости проекта, рассчитан-ной по методике COCOMO II, от используемых элементов программной архитектуры. Приведен алгоритм поиска базового шаблона архитектуры и тактик проектирования. Указанный алгоритм построен на основе локального поиска при решении задачи удовлетворения ограничений с минимизацией функции трудоемкости, при этом в расчет принимаются предпочтения пользователя при выборе шаблона. Модель и алгоритм позволяют выбирать наиболее подходящие для конкретного типа проекта шаблоны архитектуры и тактики на ранних этапах проектирования. Указанный подход позволяет сократить ошибки в построении программной архитектуры на начальном этапе при выборе шаблона IoT-архитектуры. Рассмотрено применение данного подхода в проекте разработки системы гибкого управления рабочими пространствами. Применение подхода целесообразно для достижения требуемых параметров качества системы и минимизации ошибок при выборе программной архитектуры на начальных стадиях проекта, что в конечном итоге ведет к снижению его стоимости. Подход может также применяться при создании работоспособных прототипов в сжатые сроки.

17. Нечеткие экспертные оценки неблагоприятных внешних воздействий на эффективность морской поисково-спасательной операции [№4 за 2019 год]
Авторы: Кочнев В.В., Рехов А.С., Сорокин В.Е., Тарануха Е.В.
Просмотров: 3552
В статье рассматривается применение нечетких экспертных оценок неблагоприятных внешних воздействий на эффективность различных вариантов выполнения морской поисково-спасательной операции. В существующей методике оценка эффективности поисково-спасательной операции, рассчитанная по математической модели при идеальных внешних условиях, корректируется вероятностью попарно независимых и совместных событий неблагоприятных внешних воздействий при различных видах деятельности сил и средств морской поисково-спасательной операции, которым присущи определенные неблагоприятные факторы с эмпирически определенными весами снижения эффективности. Отсутствие градаций для большинства неблагоприятных факторов существенно огрубляет оценку, для преодоления чего предлагается перейти от весов к нечетким многозначным вербальным экспертным оценкам уровня воздействия неблагоприятных факторов. Для осуществления такого перехода вводятся лингвистические переменные воздействий неблагоприятных факторов. Их терм-множества определяются исходя из известных способностей человека различать градации в словесных оценках. Значения базовой шкалы носителя терм-множеств как нечетких множеств, при которых достигается максимум функций принадлежности, соотносятся с имеющимися весами неблагоприятных факторов. В статье приводится пример реализации нечетких экспертных оценок влияния неблагоприятных факторов на эффективность поисково-спасательной операции при предположении о равноудаленности смежных градаций словесных оценок человеком и о равенстве нулю значения на базовой шкале носителя при отсутствии воздействия неблагоприятных факторов. Использование широко распространенных нормированных треугольных функций принадлежности позволяет получать адекватные оценки корректировки эффективности поисково-спасательной операции под воздействием неблагоприятных факторов даже при небольшом объеме исходных данных в виде весов неблагоприятных факторов. Существенная простота реализации дефаззификации экспертно-го выбора достигается при условии, что значение на базовой шкале носителя может относиться не более чем к двум смежным термам лингвистической переменной. Вместе с тем предложенный подход использования нечетких экспертных оценок легко адаптируется под детализацию или расширение исходных данных в виде весов неблагоприятных факторов, а также может служить основой для дальнейшего развития методов оценки эффективности поисково-спасательной операции.

18. Особенности портирования Robot Operating System на программно-аппаратную платформу «Эльбрус» [№4 за 2019 год]
Авторы: Тачков А.А., Вуколов А.Ю., Козов А.В.
Просмотров: 4914
Наиболее распространенным вспомогательным фреймворком, облегчающим разработку си-стем управления мобильными роботами, является ROS (Robot Operating System), однако его полноценная поддержка только для операционных систем Ubuntu/Debian Linux приводит к ограничению возможности использования вычислительных средств отечественного производства в составе проектируемых систем управления. Авторами статьи было осуществлено портирование ROS версии Melodic Morenia на отечественную программно-аппаратную платформу «Эльбрус» (вычисли-тельный комплекс на базе процессора «Эльбрус-4С»). В данной работе рассмотрены основные особенности процесса портирования, связанные с отличиями операционной системы «Эльбрус» от большинства существующих дистрибутивов Linux, а также согласование различающихся между собой версий имеющегося на платформе «Эльбрус» и требуемого в ROS программного обеспечения. Так как часть используемых при сборке ROS библиотек имеют зависимости, полностью удовлетворяемые на целевой платформе, данные библиотеки были упакованы в deb-пакеты для повторного применения на аналогичных вычислительных комплексах. Кроме того, разработаны сценарии автоматизированной сборки и развертывания подготовленного к работе ROS. В статье описано тестирование работоспособности ROS на программно-аппаратной платформе «Эльбрус» применительно к задаче построения многослойной карты проходимости системой управления мобильного робототехнического комплекса на основе представленных облаком точек данных от сканирующих дальномеров. Приведены сравнительные результаты по временным интервалам обработки облака точек классификаторами, а также по времени обновления слоев карты, полученные для одной и той же версии ROS на вычислительных комплексах на базе процессоров «Эльбрус-4С», Intel Core i3-3220 и Intel Core i7-6700HQ. Сделан вывод о полной работоспособности ROS Melodic Morenia при развертывании на программно-аппаратной платформе «Эльбрус».

19. Особенности применения нейро-сетевых моделей для классификации коротких текстовых сообщений [№4 за 2019 год]
Авторы: Дли М.И., Булыгина О.В.
Просмотров: 12767
В настоящее время органы государственной власти активно развивают технологии электронно-го взаимодействия с организациями и населением. Одной из ключевых задач в данной сфере является классификация поступающих сообщений, необходимая для их оперативной обработки. Одна-ко особенности таких сообщений (небольшой размер, отсутствие четкой структуры и т.д.) не позволяют применять традиционные подходы к анализу текстовой информации. Для решения указанной проблемы предложено использовать нейро-сетевые модели (искусственные нейронные сети и нейро-нечеткий классификатор), которые позволяют находить скры-тые закономерности в документах, написанных на естественном языке. Выбор конкретного метода определяется подходом к формированию тематических рубрик: сверточные нейронные сети при однозначном определении рубрик, рекуррентные нейронные сети при значимом порядке слов в названиях рубрик, нейро-нечеткий классификатор при пересечении тезаурусов рубрик.

20. Особенности применения предметно-ориентированных языков для тестирования веб-приложений [№4 за 2019 год]
Авторы: Федоренков В.Г., Балакшин П.В.
Просмотров: 6210
Перед разработчиками как крупных, так и небольших проектов, стремящихся выпустить по-настоящему качественный, хороший продукт с минимальным числом ошибок, часто встает немало вопросов относительно реализации процесса его тестирования. Данная работа посвящена поиску ответов на эти вопросы. В статье сравниваются основные методы, а также существующие программные средства создания и поддержки доменно-ориентированных языков (англ. DSL, domain specific language), нацеленных на использование в контексте работы с тестовыми сценариями для тестирования ин-терфейсов веб-приложений. Определены наиболее подходящие технические приемы и средства для решения подобных задач на основе опыта авторов и результатов схожих исследований других специалистов. Проведен обзор существующих подходов к работе с инструментом Selenium, ак-тивно использующимся (как в данной работе, так и в большинстве подобных проектов) при автоматизации процесса тестирования для имитации действий пользователя в веб-браузере. Описаны преимущества использования DSL в тестировании, определены функциональные и нефункциональные требования к созданию предметно-ориентированных языков для их дальнейшего эффек-тивного использования, рассмотрены различные методы создания DSL с точки зрения структуры языка. В качестве одного из основных критериев для работы было выбрано вовлечение нетехнических специалистов на каждом этапе тестирования (решение так называемой проблемы перевода), что особенно важно для реализации всестороннего тестирования программного продукта. Одной из ключевых особенностей статьи является демонстрация реализации прототипа DSL на основе Selenium с последующим тестированием и оценкой применимости реализованного прототипа. В упрощенном виде продемонстрирована структура внутреннего устройства языка по Java-пакетам. Сформулированы рекомендации по написанию DSL на основе ранее определенных тре-бований и произведенной оценки прототипа. Показан способ разработки дополнительного инструмента метапрограммирования для дальнейшего упрощения создания, поддержки, модификации тестовых сценариев и их миграции на новые платформы.

← Предыдущая | 1 | 2 | 3 | Следующая →