О проблеме анализа мультиагентных систем

Методы и средства защиты информации

Описание формата правил конкретного МЭ представляет собой ХМЬ-файл, содержащий схему преобразования формальных правил в формат правил определенного МЭ.

Система предполагает возможность самостоятельного создания таких описаний для расширения спектра поддерживаемых МЭ.

Формальные правила подаются на вход модуля генерации правил фильтрации в формате определенной модели МЭ. В процессе генерации данных правил также используется информация из библиотеки описаний форматов правил МЭ

Таким образом, предлагаемая методика позволит автоматизировать процесс настройки правил фильтрации межсетевых экранов, тем самым снижая вероятность ошибок настройки и сокращая риски безопасности, связанные с некорректной настройкой.

Библиографическая ссылка

1. Мордвин Д. В. Разработка и исследование методов и алгоритмов автоматического построения правил фильтрации межсетевых экранов, адекватных заданной политике разграничения доступа в сети : автореф. дис. ... канд. техн. наук : 05.13.19, 29.11.2010 / Д. В. Мордвин. Таганрог, 2010.

T. S. Heirhabarov

Siberian State Aerospace University named after academician M. F. Reshetnev, Russia, Krasnoyarsk

ON AUTOMATIC GENERATAION OF FIREWALLS RULES THROUGH PASSIVE TRAFFIC ANALYSYS

The effectiveness of the firewall for the most part depends on a set offiltering rules. To automate the construction of filtering rules an original technique based on passive network traffic analysis is proposed.

© XeHpxa6apoB T. C., 2012

УДК 004.056

А. С. Хеирхабаров

Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева, Россия, Красноярск

О ПРОБЛЕМЕ АНАЛИЗА МУЛЬТИАГЕНТНЫХ СИСТЕМ

Рассматривается проблема анализа мультиагентных систем. Предложено направление решения данной проблемы, основанное на теории нечеткой логики.

На сегодняшний день мультиагентные системы (МАС) активно применяются на практике во многих сферах, связанных с информационными технологиями, а также формируют большое и активно развивающееся направление современной науки. Одной из основных проблем, связанных с МАС, является сложность их анализа, а также отсутствие эффективных общепринятых методов для его проведения. МАС состоят из интеллектуальных агентов - программных или аппаратных объектов, автономно функционирующих для достижения поставленных перед ними целей, обладающих определенными интеллектуальными способностями.

Одной из основных задач анализа МАС является выявление и формализация модели взаимоотношений между агентами. Но стоит учесть то, что агенты не обладают полной информацией о системе, и то, что в некоторых ситуациях цели и задачи агентов могут противоречить друг другу. Поэтому для решения проблемы анализа МАС предлагается использовать методы и модели, построенные на основе теории нечетких множеств и нечетких логик, в частности, на основе нечетких игровых и когнитивных моделей.

Аппарат нечетких когнитивных карт, основанный на соединении когнитивного моделирования и теории нечетких множеств в рамках концепции «мягких» вычислений (Soft Computing), позволяет адекватно представлять и анализировать широкий класс систем и процессов с учетом неопределенности, неточности и неполноты исходных данных.

Предметом теории игр являются методы формализации (в виде игровых моделей) и принятия решений в конфликтных ситуациях, в которых сталкиваются интересы игроков, преследующих зачастую противоположные цели.

Данные типы взаимодействия сложны для непосредственного анализа из-за необходимости учета множества факторов, которые к тому же могут быть разнокачественными, оцениваться с помощью различных шкал.

Часто знания агентов о действиях друг друга либо о состоянии системы могут быть противоречивыми, неполными. Для формализации таких факторов и построения игровых моделей целесообразно использовать методы теории нечетких множеств и нечеткой логики [1].

Решетневскце чтения

Учитывая наличие большого числа неопределен- Библиографические ссылки ностей и активное взаимодействие между агентами в

МАС, создание методов анализа, построенных на ос- L Устиненков Е С Методы и протрвш^ые сред-

нове нечетких игровых и когнитивных моделей, явля- ства анализа мультиагентных систем на основе нечет-

ется перспективным способом решения проблемы ^ когнитивных и игровых моделей : дис. канд. техн.

анализа МАС. наук : 05.13.11. Смоленск, 2010.

A. S. Kheirkhabarov

Siberian state aerospace university named after academician M. F. Reshetnev, Russia, Krasnoyarsk

ON PROBLEM OF MULTI-AGENT SYSTEM ANALYSIS

Problem of analysis of multi-agent systems is presented. Also a way to solve this problem, which is based on the fuzzy logic theory, is proposed.

© Хеирхабаров А. С., 2012

УДК 004.045

С. А. Чекмарев, В. Х. Ханов

Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева, Россия, Красноярск

ИСПЫТАНИЕ ПРОЦЕССОРА LEON3 НА АРХИТЕКТУРНУЮ ОТКАЗОУСТОЙЧИВОСТЬ*

Рассмотрены подходы повышения отказоустойчивости процессора LEON3. Представлен функционал разработанных ^-блоков, включенных в состав процессора. Предложен метод отладки процессорного ядра. Описана процедура внесения и исправления одиночного сбоя в регистровой памяти процессора.

Сегодня отчетливо проявляется отставание в развитии отечественной элементной базы космического приборостроения от зарубежных аналогов. Зачастую разработчики пользуются импортными элементами, что естественно сказывается на себестоимости проекта. Сокращение данного отставания, применение новых, современных подходов к проектированию высоконадежных вычислительных систем является приоритетной задачей отечественного приборостроения космического применения.

Объектом исследования в представленной работе является микропроцессор LEON3 (32-битный микропроцессор, основанный на архитектуре SPARC v8). LEON3 предназначен для систем, работающих в тяжелых условиях эксплуатации. Вычислительные модули на базе данного микропроцессора могут работать под управлением операционных систем реального времени (eCos, RTEMS, VxWorks и др.). Дизайн IP-ядра LEON3 предоставляется разработчикам в двух видах. Он может быть бесплатно скачан с сайта компании Aeroflex Gaisler в виде свободно распространяемого неадаптированного исходного кода, который можно использовать в проектах ПЛИС (программируемых логических интегральных схем) любого семейства. Есть также платный отказоустойчивый вари-

ант ядра (LEON3FT), который адаптирован для работы в условиях космоса.

На базе открытого IP-ядра LEON3 ведется разработка отечественной версии отказоустойчивого микропроцессора. В результате применения данного IP-блока можно будет проектировать бортовые комплексы управления (БКУ) малым космическим аппаратом, что обеспечит следующие преимущества:

- минимизацию массогабаритных характеристик БКУ;

- минимизацию энергопотребления БКУ;

- выполнение требования надежности;

- увеличение производительности процессорного модуля;

- реконфигурируемую архитектуру БКУ, позволяющую изменять в зависимости от назначения КА набор и характеристики функциональных узлов;

- поддержку современных интерфейсов передачи данных космического исполнения

Для обеспечения отказоустойчивости процессора LEON3 предлагается включить в ядро функционал по обнаружению и коррекции ошибок при работе с памятью. Разработанный блок регистровой памяти REG FILES FT имеет структуру представленную на рисунке.

*Работа выполнена в рамках реализации конкурса научно-технических исследований, разработок, инновационных программ и проектов для обеспечения конкурентных преимуществ экономики Красноярского края (Дополнительное соглашение от 05.07.2012 г. № 03/12 к Соглашению № 5 от 06.08.2009 г.).