УДК 004.3.06
В. В. Топорков, д-р техн. наук, проф.,
Московский энергетический институт (технический университет)

Проблема разрешимости тупиков в недетерминированной модели распределенных вычислений

Исследуется проблема разрешимости тупиков в недетерминированной модели распределенных вычислений с асинхронным обменом разнородными сообщениями между процессами. Проблема сводится к поиску стационарной неизбыточной разметки маркированной сети специального вида (М- сети) и является разрешимой.

УДК 004.3

В. А. Богатырев, канд. техн. наук,
ГосНИИ "ТЕСТ", Санкт-Петербург

О модификации функции "перманент матрицы" и ее применении в комбинаторных методах анализа надежности вычислительных систем

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

УДК 004.4'242

А. И. Бугай, Э. В. Калинина, канд. техн. наук, И. В. Ретинская, д-р техн. наук,
РГУ нефти и газа им. И. М. Губкина,
А. К. Скуратов, канд. техн. наук,
ГНИИ информационных технологий и телекоммуникаций "Информика"

Статистический анализ информационных потоков в глобальных сетях

Рассмотрен анализ передачи информационных потоков в глобальных сетях на примере сети RUNNet. Исходные данные представлены как случайные последовательности загрузки канала в байтах с интервалом дискретизации 5 мин. На первом этапе в результате экспертизы были отобраны наиболее информативные переменные. На втором этапе предложены две методики анализа данных, позволяющие провести анализ случайной последовательности поступления информации в глобальные сети и визуализировать результаты их обработки. Выбор процедуры определяется набором конечных характеристик, отражающих поведение анализируемых случайных последовательностей, и наблюдаемой частотой "обнуления". Предложенные преобразования позволяют более детально рассмотреть динамику изменения переменных во времени и определить характерные особенности случайных последовательностей, вычислить корреляционные функции, проанализировать их особенности, выделить тренды и периодические составляющие, обнаружить аномальные наблюдения, сделать предварительные оценки информационных потоков, циркулирующих в глобальной сети.

УДК 004.3.067

К. Н. Максимов,
Московский инженерно-физический институт (технический университет)

Методы анализа сетевой активности пользователей информационных систем

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

УДК 004.056

Ю. Ю. Громов, В. М. Тютюнник, д-р техн. наук, проф.,
Тамбовский государственный технический университет. Международный Информационный Нобелевский Центр (МИНЦ),
E-mail: vmt@tmb.ru

Возможности защиты компьютерных сетей. Организация работы межсетевого экрана в ОС Linux

Описаны правила, работа и управление фильтром IP-пакетов с помощью брандмауэров на примере операционной системы Linux. Приведен пример настройки файрволла.

УДК 51.3-004.3

О. Д. Жуков, канд. техн. наук,
МГУ им. М. В. Ломоносова

Модулярные вычисления в системах защиты информации

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

УДК 004.3+51-3

П. Г. Катыс, канд техн. наук,
НПО "Спецтехника и связь";
Г. П. Катыс, д-р техн. наук, проф., акад. РАЕН,
МИРЭА

Новые технологии в системах защиты конфиденциальной информации

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

УДК 519.711-713

И. Ф. Чебурахин, канд. техн. наук, доц.,
МАТИ-РГТУ им. К. Э. Циолковского
e-mail: cybernetics@mati.ru

Математические средства аппаратной реализации булевых функций на основе структурно-функциональной декомпозиции

Определены структуры типов булевых формул, для которых установлены зависимости между сложностью и минимальной глубиной представления в разных базисах. Результаты могут применяться для автоматизации алгоритмов аппаратной реализации булевых функций, оптимальной no таким показателям, как сложность, быстродействие, суммарная длина соединений между элементами, надежность и др.

УДК 519.213.2

А. П. Шибанов, канд. техн. наук,
Рязанская государственная радиотехническая академия

Нахождение закона распределения выходной величины GERT-сети большой размерности

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

УДК681.14

С. Г. Чекинов, канд. техн. наук,
Институт автоматизации проектирования РАН

Модели формирования классов резервов замещения на этапе синтеза и проектирования сложных систем*

Рассматриваются проблемные вопросы выбора резервов в условиях замещения. Основным является вопрос формирования классов резервов на этапе проектирования систем управления сложными процессами. Основу метода формирования и выбора классов резервов составляет теория нечетких множеств. Разделение множества резервов на классы предлагается проводить по введенному понятию порога разделения.
____________________________________________________
* Работа выполнена при поддержке РФФИ, грант 01-01-00537

УДК 519.8

С.В.Бутаков, канд. техн. наук, доц., Д.В.Рубцов, канд. техн. наук,
Алтайский государственный технический университет, г. Барнаул

Разработка оболочки гибридной интеллектуальной системы

Представлен подход к построению оболочки гибридной интеллектуальной системы, использующей совместно символьное нейросетевое представления экспертных знаний. Приведены основные характеристики разрабатываемой системы и конструктивные решения, использованные при ее проектировании.
__________________________________________________
* Работы по созданию оболочки гибридной интеллектуальной системы
поддержаны грантом РФФИ 01-01-01046