Научная статья на тему 'Математическая модель синтеза интегрированной системы безопасности'

Математическая модель синтеза интегрированной системы безопасности Текст научной статьи по специальности «Математика»

CC BY
305
68
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
МАТЕМАТИЧЕСКАЯ МОДЕЛЬ СИНТЕЗА / АНАЛИЗ ТРЕБОВАНИЙ / ИНТЕГРИРОВАННАЯ СИСТЕМА БЕЗОПАСНОСТИ / MATHEMATICAL MODEL FOR SYNTHESIS / ANALYSIS OF REQUIREMENTS / INTEGRATED SECURITY SYSTEMS

Аннотация научной статьи по математике, автор научной работы — Хализев Вячеслав Николаевич, Федоров Сергей Юрьевич

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

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Хализев Вячеслав Николаевич, Федоров Сергей Юрьевич

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

MATHEMATICAL MODEL FOR A SYNTHESIS OF AN INTEGRATED SECURITY SYSTEM

The article deals with the models and the methods of the market of the proposed sub-systems and equipment, based on the analysis of the requirements for security to choose the best solution for the synthesis of the integrated security system

Текст научной работы на тему «Математическая модель синтеза интегрированной системы безопасности»

УДК 681.322

МАТЕМАТИЧЕСКАЯ МОДЕЛЬ СИНТЕЗА ИНТЕГРИРОВАННОЙ СИСТЕМЫ БЕЗОПАСНОСТИ

Хализев Вячеслав Николаевич к.т.н., профессор

Федоров Сергей Юрьевич Институт информационных технологий и безопасности Кубанского государственного технологического университета,

Краснодар, Россия

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

Ключевые слова: МАТЕМАТИЧЕСКАЯ МОДЕЛЬ СИНТЕЗА, АНАЛИЗ ТРЕБОВАНИЙ, ИНТЕГРИРОВАННАЯ СИСТЕМА БЕЗОПАСНОСТИ

UDC 681.322

MATHEMATICAL MODEL FOR A SYNTHESIS OF AN INTEGRATED SECURITY SYSTEM

Halizev Vyacheslav Nikolaevich Cand.Tech.Sci., professor

Fedorov Sergey Yurevich

Institute of Information Technology and security of the Kuban State Technological University Krasnodar, Russia

The article deals with the models and the methods of the market of the proposed sub-systems and equipment, based on the analysis of the requirements for security to choose the best solution for the synthesis of the integrated security system

Keywords: MATHEMATICAL MODEL FOR SYNTHESIS, ANALYSIS OF REQUIREMENTS, INTEGRATED SECURITY SYSTEMs

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

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

информационной, программной и эксплуатационной совместимостью. Использование ИСБ позволяет решить на новом качественном уровне

задачи по обеспечению безопасности объектов, повысить эффективность действий службы безопасности. Данные системы включают в себя: совместно функционирующие подсистемы охранной и тревожной сигнализации, пожарной сигнализации и пожарной автоматики, охранного телевидения, контроля и управления доступом, а также ряд дополнительных подсистем, обеспечивающих защиту от различных видов угроз, возникающих на объектах [1]. В состав ИСБ могут входить изделия разных производителей. Каждая система, входящая в ИСБ имеет формальные (количественные) и неформальные (качественные) параметры. Так системы охранной сигнализации решают разнообразные задачи, работают в разных условиях, на них воздействуют неодинаковые помеховые факторы. Это качественные параметры, из которых можно выделить около 12 главных. Количественных параметров более 50, наиболее важные - это напряжение питания, размеры зоны обнаружения, чувствительность, вероятность обнаружения, время наработки на ложное срабатывание и др. [1]. Так в результате анализа средств обнаружения по физическому принципу действия можно выделить 28 основных самостоятельных типов и 21 вид материальных носителей информации, непосредственно воздействующих на чувствительный элемент. Анализ проводился и по другим подсистемам ИСБ. Перед специалистами встает проблема выбора элементов для оснащения конкретного объекта, что является достаточно трудной задачей в связи с появившимся разнообразием систем и их комплектующих. Решить эту задачу можно применив систему поддержки принятия решения (СППР), базирующуюся на комплексе математических моделей многокритериальной оптимизации, с помощью которых можно произвести минимизацию затрат и временных расходов на поставку оборудования, при этом обеспечивая покрытие заданных требований заказчика, нормативных руководящих документов и возможностей поставки (см. рисунок 1).

Рисунок 1 - Схема модели, разрабатываемой СППР

В системе должна использоваться обновляемая база данных, включающая различное оборудование и их параметры. Для каждой системы будет выбираться своя стратегия противодействия, но использующая возможности и связи с другими системами. Результатом работы модуля выбора и принятия решения будет автоматически предложен проект архитектуры ИСБ, выдаваемая пояснительная записка, содержащая наиболее эффективно подобранное оборудование, сметный расчёт стоимости и при необходимости обоснование выбора и другие необходимые документы. Задача выбора оптимальной структуры системы из составляющих ее объектов может быть сформулирована в теоретикомножественной интерпретации как задача о наименьшем покрытии (ЗНП) множества следующим образом [2-5].

Пусть определено множество технических параметров ИСБ и требований к ним К={гьг2,...гт}, и множество объектов (элементов оборудования) 8={8Ь82,...,8П}, таких, что каждый Sj ассоциирован с подмножеством с Я, где jeN={1,..,n}. При этом Sj удовлетворяет всем требованиям из Я|, либо выполняет функции из Я с определенным

качеством. Совокупность {Rj}, je J, JiN называется покрытием множества R, если u Rj = R, при j e J. Определим матрицу А=(ац):

_ [ 1,если элемент ri входит в множество Rj (требование ri покрыто)

1J t О, иначе

Задача выбора оптимальной структуры системы из составляющих ее объектов S={SbS2,...,Sn}, для реализации полного набора заданных функций (требований) R={r1,r2,... rm} как задача ЦЛП имеет вид:

n

Fi( x) = Z (C jx j) ® min , (i)

j = 1

при условиях:

Z(a, xJ) -1 (2)

j=1 , где ieM

x e 0’1, где jeN (3)

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

Если С интерпретировать как стоимость элементов оборудования, то значения целевой функции (1) определят минимальную стоимость оборудования, для построения ИСБ, удовлетворяющей всем заданным требованиям.

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

(2) и (3):

n

F2(x) = Z (Вjxj ) ® max (4)

J=1 ,

В обобщенных задачах о покрытии [2], в правой части ограничения (2) используется вектор натуральных чисел b = (bi,...,bm). Это означает, что элемент i должен быть «покрыт» не менее b раз, ieM. Эту задачу можно

интерпретировать как требование резервирования отдельных функций системы при поиске решения, либо получения решения с заданным коэффициентом эффективности решения функции Г; .

Введем в математическую модель (1) данные о технических

параметрах решаемых задач Я путем добавления матрицы натуральных

чисел В. Определим матрицу В=(Ьу), 1еМ, ^N1

1Ь, если = 1 и требование г, выполнено объектом у

с качеством Ъ = 1. .100 (5)

Если объекты имеют конкретные числовые характеристики, отражающие их количественные или качественные параметры по реализации функции (требования) г;, то их можно взять в качестве величин Ьу, проведя стандартную процедуру нормализации и приведения к единому диапазону[1..100] (1 - лучший показатель, 100 - худший), чтобы их правомерно было сравнивать как показатели качества. Если таковых характеристик нет, то следует провести экспертную оценку каким либо из известных методов и получить числовую характеристику качественных параметров решения каждым объектом ] задачи г;. Пусть величины Ь определяются экспертным путем, например по методу Саати, методом парных сравнений и нормализации по каждому требованию г;.

В общем случае технические параметры г; имеют разный физический смысл, поэтому для одних 1 включение в решение объектов ] и к требует суммирования показателей Ь| и Ьк, а для других значения шах(Ь| , Ьк), поэтому сумму в критерии (4) необходимо заменить на нелинейный функционал ¥:

0, иначе

где ^=(й\,...,йт) - вектор, учета типа задачи г;..

В общем случае функционал ¥ может иметь и более сложный вид.

Чтобы учесть разный вес задач r1. в критерии (4) из-за чувствительности результата к изменениям соотношения параметров bj , bk для разных строк 1 необходимо ввести весовой коэффициент методом вычисления сумм взвешенных разностей по модулю всех пар строки 1. То есть вводится вектор 0={0/02... .am}, (a+ (Х2+... Лет—1), и целевая функция (4) приобретает вид:

m

F 3( x) = Z a'Y j(bijxj) ® min (7)

i

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

Таким образом, при равных b1j = b1k + А, и bmj + А = bmk, и a1 > am, критерий отдаст предпочтение Sk, что и требовалось в этом случае.

Задача выбора оптимальной структуры системы из составляющих ее объектов S={S1,S2,.,Sn}, для реализации заданных функций (требований) R={r1,r2,...rm} по критерию максимума показателя цена/качество решения всех задач R формулируется заменой в матрице В всех величин b на величины c/b и решения задачи (1), (4), либо (7).

С практической точки зрения интересной задачей является задача определения выбранного состава оборудования минимальной стоимости при заданной степени качества решения задачи r1 (качества решения всех задач R), то есть уровня безопасности b* по требованию 1, (уровня безопасности объекта в целом). Эта задача решается как задача ЦЛП вида:

n

F1 ( x ) = Z (C jx j) ® mm (8)

j=1 ,

при условиях:

n

Z (B jxj) £ b * • ^ (9)

j=1 , 1eM v ’

n

Е (aüxj) ^1 (10)

j=1 , ieM

x e 0,1, jeN (11)

Обратная задача - при заданной максимальной стоимости Стах выбранного состава оборудования обеспечить максимальную степень безопасности объекта, то есть максимальную степень качества решения всех задач из R - решается как задача нелинейного программирования вида:

m

F з( x) = Е aiY j (brJxj) ® min (12)

i

при ограничениях:

n

Е (C JxJ ) £ C max (13)

j=1 , ieM

n

Е (ajxj) ^ 1 (14)

j=1 , ieM

x e 0,1 , jeN

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

методе уступок по алгоритму А1, при котором от двухкритериальной задачи (1)-(4) переходят к однокритериальной задаче вида (4) и ограничению

Для ограничения количества точек оптимальности, поиска наиболее приемлемых решений из всего множества парето-оптимального фронта, предлагается алгоритм А2 поиска ближайшей точки к [с0 , Ь0], но лучшей по качеству и не дороже, чем на Ас. Учитывая введенную модель (5), введем обозначения процедуры решения задачи (11-13) с границей качества Ь*, минимальной суммой С= Р1(х*) и качеством В= Т3(х*) как Р1(Ь*, С, В), а процедуры решения задачи (12-14) с границей суммы с*, наилучшим качеством В= Т3(х*) минимальной суммой С= Р1(х*) как Р2(с*,

Шаг 1: Р1(Ьтах, со , Ьо), Р2(стах, Ьь сі), С,с*= со , В,Ь*= Ьо, ст = со +

Ас.

Шаг 2: с*= с* + 8,

Если с* >= ст , то [В, С] - искомая точка, иначе Р2(с*, В, С),

Для ЛПР имеет практическое значение алгоритм А3 поиска ближайшей точки к [с1, Ь1], с минимальной стоимостью, но не хуже по качеству, чем на АЬ.

Алгорим А3:

п

(15)

}=1 ,

где со - решение задачи (1) Р1(х*), 8 - величина уступки.

В, С).

Алгорим А2:

*

если В>= Ь , то перейти на шаг 2, иначе Ь*= В, перейти на шаг 2.

Ьйр://е].киЬа§го.гц/2о12/о7/рёГ/72.рёГ

Шаг 1: Р1(Ьтах, со , Ьо), Р2(стах, Ь1, с1), С,с*= с1 , В,Ь*= Ьь Ьт = Ь1 + АЬ. Шаг 2: Ь*= Ь* - 8,

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Если Ь* >= Ьт , то [В, С] - искомая точка, иначе Р1(Ь*, С, В),

Алгоритмы А2 и А3 находят наилучшие решения - ближайшие к идеальному, если парето-оптимальное множество решений является выпуклым. По величинам АЬ и Ас ЛПР может оценить “крутизну” фронта Парето и выбрать лучшее решение. Если же выпуклость фронта незначительна или имеет место вогнутость, то алгоритмы А2 и А3 можно применить поочереди, продвигая точки оптимумов друг к другу на максимально близкое расстояние.

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

Для поставленных задач наиболее подходит метод модификации "жадного" алгоритма, на каждом шаге которого вычисляется оценка

При этом в покрытие включается элемент Бт с оценкой Хт=тіп " Хь

Для реализации Р1 и Р2 необходимо только заменить в (16) величину Вь на Е Ьу в соответствии с введенной моделью (5).

Практическая реализация алгоритмов А2, А3 показала практическую возможность решения задач размерностью 1оох5о с приемлемой точностью.

Таким образом, в статье решается задача разработки моделей и методов, позволяющих на основе анализа требований, предъявляемых к обеспечению безопасности ВУЗа, выбирать оптимальный набор

*

если С<= с , то перейти на шаг 2,

*

иначе с = С, перейти на шаг 2.

(16)

Ьйр://е].киЬа§го.ги/2о12/о7/рёГ/72.рёГ

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

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

1. Груба И.И. Системы охранной сигнализации. Технические средства обнаружения. - М.: СОЛОН-ПРЕСС, 2012.-220 с.

2. Заозерская Л.А., Колоколов А.А. Исследование и решение двухкритериальной задачи о покрытии множества. //Проблемы информатики №2, 2009, ЦКЬ: ИйрУ/ргоЫет-тйэ.т>2009-2/2^^ (дата обращения: 25.06.2012).

3. Я. Е. Львович, Г. Д. Чернышева, И. Л. Каширина, Воронежский государственный технический университет, Воронежский государственный университет- Оптимизация проектных решений в САПР на основе эквивалентных преобразований задачи о минимальном покрытии. Электронное научно-техническое издание № ФС 77 - 30569. Государственная регистрация №0421100025 ЦКЬ: http://technomag.edu.ru/index.html, (дата обращения: 25.06.2012).

4. Ногин В.Д., Басков О.В. Сужение множества Парето на основе учёта произвольного конечного набора числовой информации об отношении предпочтения // Доклады АН, 2011, т. 438, № 4, С. 1-4.

5. Ногин В.Д. Границы применимости распространенных методов скаляризации при решении задач многокритериального выбора// Методы возмущений в гомологической алгебре и динамика систем: Межвуз. сб. науч. тр. Саранск: Изд-во Мордов. ун-та, 2004, С. 59-68.

i Надоели баннеры? Вы всегда можете отключить рекламу.