Исследование компьютерных методов построения моделей сложных объектов Текст научной статьи по специальности «Компьютерные и информационные науки»

фрейма, оптимально подходящую для определенного класса задач.

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

Список литературы

1. Jim Hoskins, Goerge Coleman. Exploring IBM S/390 Computers. 6-th edition. Maximum Press, 1999.

2. MVS/ESA Version 5. System Management Facilities. IBM, 1995.

3. Дейтел Г. Введение в операционные системы. - М.: Мир, 1987. - Т. 2.

4. MVS/ESA Version 5. Planning: Workload Management. IBM, 1995.

5. MVS/ESA Version 5. WLM: Resource Affinity Scheduling. IBM, 1997.

6. Moshe A. Pollatschek. Programming Discrete Simulation. Prentice Hall, 1995.

7. Емельянов В.В., Ясиновский С.И. Введение в интеллектуальное имитационные моделирование сложных дискретных систем и процессов. - М.: АНВИК, 1998.

8. Методологические основы и математические методы. -М.: Мир, 1981.

9. David Lewis, Matthew Fuchs. Designing XML Internet Application. Prentice Hall, 1998.

ИССЛЕДОВАНИЕ КОМПЬЮТЕРНЫХ МЕТОДОВ ПОСТРОЕНИЯ МОДЕЛЕЙ СЛОЖНЫХ ОБЪЕКТОВ

А.А. Усков, Д.В. Санатин

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

К числу наиболее известных методов идентификации статических объектов можно отнести: модели, основанные на методе наименьших квадратов (МНК); непараметрические (локально-ап-проксимационные) и нейросетевые модели.

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

Пусть имеется статический объект, имеющий

п входов (векторный вход X) и один выход у. Входы и выход данного объекта связаны некоторой нелинейной зависимостью:

У = П(Х) + (1)

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

Необходимо построить модели данного статического объекта (оценки функций п( X)) на основе набора точек (обучающие данные)

<Х ',у'>, 1=1, 2, .., N (2)

с использованием различных методов и определить затраты машинного времени на создание и тестирование моделей.

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

П(Х) = 3 • (1 - XI)2 ехр(-х2 - (Х2 +1)2) -

(ь

expC-x^ - x^)-

- 3 exp(-(xj +1)2 - x2) + 2(x2 + x2), x1 e [-3,3],x2 e [-3,3]

(3)

Вид зависимости (3) на области определения входных сигналов объекта представлен на рисунке 1.

В качестве алгоритмов построения моделей объекта были использованы следующие:

1) метод аппроксимации искомой зависимости полиномом к-го порядка, определение коэффициентов полинома осуществляется по методу наименьших квадратов (Рк) [1] (получаемые с использованием данного метода модели аналогичны моделям на основе нейронных 2-П сетей [2]);

2) локальная аппроксимация с линейными локальными функциями и числом ближайших узлов для нахождения параметров функции, равным М (метод М ближайших узлов - ЬЛ М) [3];

3) нейронная сеть с радиальными базисными функциями, имеющая линейный выходной слой (ЯБРК) [2], для построения которой используется

3

5

x

x

1

2

Рис. 1. Зависимость между входами и выходом объекта (при отсутствии шума)

MLP

Ф--^'by-^-1

----Р2 ------

GR 4N -В- P1 P2 -*- P5 H- LA3 — LA5 —*- LA10 -e- RBFN - GRNN ' -*- MLP

RBFN___

ЬАЗ

О 0 5 1 1.5 Э 2 5

Ö

Рис. 2. Зависимости среднеквадратической ошибки от значения СКО шума при расположении обучающих точек в узлах равномерной сетки

алгоритм самоорганизации, решающий задачу максимизации точности модели, при минимальном числе радиальных нейронов, реализованный в системе MATLAB [4];

4) обобщенно-регрессионная нейронная сеть (GRNN) [2] - разновидность искусственной нейронной сети с радиальными базисными функциями (аналогична непараметрической оценке ядерного типа Надарая-Ватсона [5,6]).

5) нейронная сеть, многослойный персептрон (MLP) [2], содержащая два скрытых слоя, состоящих из 12 и 5 нейронов соответственно с сигмои-дальными функциями активации, метод обучения - один из видов квазиньютоновского алгоритма обратного распространения ошибки, реализованный в системе MATLAB [4].

Для построения моделей количество обучающих точек N (см. (2)) было выбрано равным 64. При этом было рассмотрено два случая расположения обучающих точек: в узлах равномерной сетки и случайное с равномерным законом распределения. Для вычисления среднеквадратиче-ской ошибки моделей количество тестирующих точек было выбрано равным 400 (тестирующие точки располагались в узлах равномерной сетки и не совпадали с обучающими).

Полученные зависимости среднеквадратиче-ской ошибки (E) моделей рассматриваемого объекта от уровня среднеквадратического отклонения (СКО) (о) случайной составляющей \ представлены на рисунках 2 и 3.

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

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

Можно выделить следующие особенности исследованных методов идентификации.

1. Полиномиальные МНК модели имеют низкую точность при существенном отличии аппроксимируемой зависимости от полиномиальной, в то

же время малочувствительны к аддитивной помехе. Вычислительные затраты на построение и тестирование данных моделей относительно малы.

2. Локально-аппроксимационные модели (метод М ближайших узлов) с линейными локальными функциями имеют достаточно высокую точность, однако очень чувствительны к наличию аддитивного шума. Следует заметить, что с ростом М увеличивается погрешность получаемых моделей и уменьшается чувствительность к шуму. Вычислительные затраты при построении модели весьма незначительны. В то же время при тестировании поиск отклика модели занимает относительно длительное время.

3. Модели на основе сетей с радиальными базисными функциями, имеющих линейный выходной слой (ЯБРК), показали относительно высокую точность, невысокую чувствительность к аддитивному шуму и невысокие вычислительные затраты.

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

П P1 -fc- P2 P5 — LAS -+- LA10 -й- RBFN - GRNN -Ф- MLP

P5 ^

i oV-

P2 —e>—

r—pr-"P>t>H

GRNN

! _I_I_I_I_

0 G 5 1 1.5 2 2.5

CT

Рис. 3. Зависимости среднеквадратической ошибки от значения СКО шума при случайном расположении обучающих точек

Р5 LA10 RBFN GRNN MLP

Рис. 4. Вычислительные затраты в относительных единицах при создании и тестировании модели объекта

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

5. Модели на основе многослойных персеп-тронов (MLP) показали средние результаты по точности и высокую чувствительность к аддитивной помехе. Вычислительные затраты на этапе построения модели (обучения сети) значительны.

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

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

Список литературы

1. Демиденко Е.З. Линейная и нелинейная регрессия. - М.: Финансы и статистика, 1981.

2. Круглов В.В., Дли М.И., Голунов Р.Ю. Нечеткая логика и искусственные нейронные сети. - М.: Физматлит, 2001.

3. Дли М.И., Круглов В.В., Осокин М.В. Локально-аппроксимационные модели социально-экономических систем и процессов. - М.: Физматлит, 2000.

4. Demuth H., Beale M. Neural Network Toolbox User's Guide. The MathWorks, Inc. 2001.

5. Катовник В.Я. Непараметрическая идентификация и сглаживание данных. - М.: Наука, 1985.

6. Медведев А.В. Адаптация в условиях непараметрической неопределенности // Адаптивные системы и их приложения. - Новосибирск: Наука, 1978. - С. 4-34.

ОЦЕНКА ЗАЩИЩЕННОСТИ ИНФОРМАЦИИ ОТ НЕСАНКЦИОНИРОВАННОГО ДОСТУПА ПРИ ПОМОЩИ ИМИТАЦИОННОЙ МОДЕЛИ СИСТЕМЫ ЗАЩИТЫ ИНФОРМАЦИИ

А.В. Карпов

Защищенность автоматизированной системы (АС) от несанкционированного доступа (НСД), согласно [1], оценивается основными показателями: вероятностью защиты, 7(1;); средним временем между пропущенными НСД, Тп; интенсивностью потока пропущенных НСД, Н(1;).

Вероятность обеспечения защиты означает вероятность отсутствия несанкционированных запросов к информации на выходе средств защиты и определяется следующим образом:

7(1) = Р{т1М > 1} = 1 -Г(1), (1)

где Е(1) = Р{11+1 -^ = Т(йа -1} является функцией распределения случайной величины т^а , которая представляет собой время между двумя соседними пропусками НСД. Таким образом, интегральный показатель защищенности информации

в АС определяет вероятность того, что за время ; не будет пропущено ни одной попытки НСД.

В общем случае полагая, что суммарный поток НСД распределен по закону Пуассона, для оценки защищенности используется следующая формула:

7(1) = ежр|- ¿А 1Я1||. (2)

Интенсивность потока пропущенных запросов НСД рассчитывается по формуле:

Н(1) = е А^1. (3)

Целью данной статьи является построение имитационной модели СЗИ и сравнение основных характеристик модели, рассчитанных теоретически, с полученными в результате моделирования.