CC BY
16
УДК 681.3+681.5:007
ПОСЛЕДОВАТЕЛЬНЫЕ АЛГОРИТМЫ ПОИСКА ТОЧКИ С ХАРАКТЕРНЫМ ПРИЗНАКОМ, ПОМЕХОУСТОЙЧИВЫЕ К НЕСИММЕТРИЧНЫМ НЕРЕГУЛЯРНЫМ ВИРТУАЛЬНЫМ ПОСЛЕДОВАТЕЛЬНОСТЯМ
АЛИПОВ Н.В., АЛИПОВ И.Н., РЕБЕЗЮК Л.Н.
Строятся последовательные алгоритмы, помехоустойчивые к виртуальным последовательностям, у которых интервал времени между соседними выбросами является случайной величиной. Эти алгоритмы описывают дискретные автоматы с псевдослучайными переходами из одного состояния в другое.
В любые времена информация представляла большую ценность [1]. Поэтому проблема ее защиты существовала всегда. В настоящее время для решения данной проблемы в основном используются симметричные и несимметричные криптографические методы [1]. Наряду с этим направлением развивается новое, связанное с применением конечных автоматов [2]. В работе [3] описывается структура одного из таких автоматов, отличительной особенностью которого является псевдослучайный переход автомата из начального состояния в одно и то же конечное. Для организации такого «блуждания» автомата используют алгоритмы помехоустойчивого поиска точки с характерным признаком [3], структура которых определяется параметрами виртуальной последовательности [4].
Известно [4], что виртуальная последовательность описывается такими параметрами: амплитудой выброса (a), длительностью выброса (£) и интервалом времени между соседними выбросами последовательности. Эти параметры могут быть неслучайными либо случайными величинами. К настоящему моменту разработаны алгоритмы поиска точки (х) с характерным признаком, помехоустойчивые к последовательностям, у которых все их параметры являются неслучайными величинами [5] либо случайной величиной является только длительность выброса (£).
Цель исследования — синтез последовательных алгоритмов поиска точки с характерным признаком, помехоустойчивых к нерегулярным виртуальным последовательностям, для которых интервал времени (h) между соседними выбросами последовательности — случайная величина.
Формулировка задачи синтеза помехоустойчивых алгоритмов поиска дана в работе [4]. Решением этой задачи является построение стратегий поиска (размещение точек эксперимента в интервале неопределенности) в условиях действия конкретной
виртуальной последовательности и правил формирования нового интервала неопределенности относительно точки с характерным признаком. В дальнейшем будем полагать, что h є [hb h2 ], t, a = const, k = 1 (количество точек эксперимента); виртуальная последовательность — однополярная, посредством которой точка с характерным признаком смещается в направлении (0 ^ 1); hi — минимальное значение параметра h ; h2 — максимальное значение параметра h ; h — целое положительное число.
Первоначально положим: hi = 1, h2 = 2 , l = 1, a -целое положительное число, х є [0,1], k = 1. Пусть некоторым образом выбрана точка х1 первого эксперимента. Тогда, как известно [2,3], может возникнуть один из исходов:
а) x(t1) < х}; б) x(t1) > xi , (1)
где x(t1) — смесь значения координаты точки х и ^(й); ^(й) — значение амплитуды виртуальной последовательности в момент времени t1 (моменты выполнения первого эксперимента).
Поскольку виртуальная последовательность только увеличивает значение координаты точки х, то первый исход в этом случае является достоверным. Предполагается, что алгоритм за i шагов разбивает исходный интервал неопределенности (0,1) на ф\,КЛ,а (ід) равных частей. Поскольку первый исход достоверный, а в распоряжении алгоритма осталось (i -1) шагов, то выделенный полуоткрытый интервал неопределенности (0, х{] будет разбит на (р^ЛЛ’а (і -1,1) равных частей. Для второго исхода однозначно нельзя утверждать: наблюдалось или не наблюдалось проявление виртуальной последовательности. В этом случае на основании принципа “пересечения” формируется такой полуоткрытый интервал неопределенности:
х є [х^1,1), (2)
11 I х| - ад, х1 - ад > 0;
где х^ = ( д — дискретность
[0 в противном случае,
квантования. Для данного исхода используют принцип “повторных сравнений” либо оптимистическую стратегию [3].
Предположим, что на втором шаге применяют принцип “повторных сравнений” (пессимистическую стратегию) х2 = х1. Тогда при возникновении исхода х^2) > х2 выделяем такой полуоткрытый интервал х є [х{ ,1), который за остальные (i - 2) шага алгоритмом будет разбит на <ph,h2,i,a (i - 2,1) равных частей.
Покажем, что если h1 = 1, то оптимистическая стратегия не позволяет уменьшить исходный интервал неопределенности. Действительно, пусть х(й) > х1 и х2 > х1, а при выполнении второго шага алгоритма возник исход х(t2) < х2.
РИ, 2003, № 2
108
Тогда х є [0, х2), l([0, х2)) > l([0, х})), где T([°]) -длина отрезка [°], а виртуальная последовательность может проявиться снова. Поскольку в распо -ряжении алгоритма осталось (i - 2) шага, то выделенный полуоткрытый интервал неопределенности
будет разбит на (i - 2,1) равных частей. Если
же в этом случае на втором шаге алгоритма применить пессимистическую стратегию, то данный исход будет свидетельствовать о действии виртуальной последовательности на первом шаге алгоритма. Поскольку ее проявление обнаружено, то применяется такая комбинация алгоритмов. Если ^ = 2 , то на третьем шаге алгоритма можем применить стратегию классического алгоритма поиска х3 = 1/2(40, х}]) .
При этом если возникает исход х(/з) є [0, х}3), то это свидетельствует о том, что на третьем шаге алгоритма виртуальная последовательность не проявлялась. На этом основании устанавливаем: х є [0, х3).
Затем пропускаем четвертый шаг (по условию на четвертом шаге снова будет проявление виртуальной последовательности). Пятый шаг выполняется по стратегии классического алгоритма
х}5 = 1/2(40, х}3).
Поскольку по условию на этом шаге не может быть проявления виртуальной последовательности, то для любого исхода а) или б) устанавливаем соответственно
а) х є [0, х5); б) х є [х5, х}3).
В дальнейшем поступаем таким же образом, как и на третьем шаге. Рассмотрим второй исход, который может возникнуть на третьем шаге алгоритма, х(ґз) є [х}3,х}).
Этот исход свидетельствует о неопределенности в принятии решения (на третьем шаге могло или не могло быть проявления виртуальной последовательности) . Для устранения этой неопределенности выполняем повторный эксперимент на четвертом шаге в точке х}. При этом могут возникнуть исходы х(14) < х}; х(14) > х}.
Первый исход свидетельствует о действии виртуальной последовательности на третьем шаге, по
этой причине х є [0, х}). Нетрудно заметить, что данная ситуация повторяет ситуацию второго шага алгоритма.
Для второго исхода характерно то, что на четвертом шаге алгоритма действовала виртуальная последовательность. Этот исход создает новую ситуацию. Однако в совокупности с первым исходом стратегия третьего шага алгоритма приводит процесс поиска к началу второго шага алгоритма. При этом интервал неопределенности, выделенный на втором шаге, за два последующих шага алгоритма не уменьшается. Следовательно, описанная стратегия третьего шага алгоритма не может быть использо-
вана. Отсюда заключаем, что на третьем шаге алгоритма не может быть применена оптимистическая стратегия. Поскольку на каждом шаге алгоритма эксперимент выполняется только в одной точке, а множество стратегий включает оптимистическую и пессимистическую, то приходим к выводу: на третьем шаге следует воспользоваться пессимистической стратегией х3 = х}.
При этом если возникает исход хрз) < х}, то это свидетельствует о том, что на третьем шаге не наблюдалось проявления виртуальной последовательности. Как следует из условий, такое проявление в обязательном порядке возникнет на четвертом шаге алгоритма. Этот шаг пропускают, а пятый шаг является первым шагом классического алгоритма поиска на отрезке [0, х}] . При этом х}5 = ^2 (40, х} ]). В дальнейшем в зависимости от выделенного полуоткрытого интервала неопределенности [0, х}5 ], [х}5, х}) шестой шаг алгоритма совершают в точке х}5 или в точке х}. Описанный процесс продолжают до окончания поиска.
Если же при выполнении третьего шага алгоритма возникает исход хрз) > х}, то это означает, что виртуальная последовательность проявилась на третьем шаге. Исходя из условий поиска точки с характерным признаком, виртуальная последовательность не будет проявляться на четвертом шаге алгоритма. На этом основании утверждаем, что четвертый шаг является первым шагом классического алгоритма поиска на отрезке [0, х} ]. В этом случае эксперимент выполняют в точке х4 = }2 (40, х})). Пятый шаг алгоритма выполняют таким же образом, как шестой шаг для ранее рассмотренного исхода (используют принцип “повторных сравнений”): х}5 = х}4 ; х}5 = х}.
Такой процесс продолжают до завершения поиска. Из приведенного детального рассмотрения процесса поиска для случая, когда h} = !, следует подтверждение ранее высказанного и такого утверждения: на эффективность процесса поиска оказывает влияние только минимально возможное значение параметра h , а максимально возможное значение и длительность виртуального выброса определяет количество шагов, которые пропускают в процессе поиска точки с характерным признаком. Это количество шагов определяется соотношением
I = h2 + і . (3)
Как уже было сказано, на втором шаге алгоритма необходимо всегда использовать принцип “повторных сравнений”, однако при этом следует знать, на какое количество равных частей будет разбит вновь выделенный полуоткрытый интервал неопределенности за оставшиеся шаги алгоритма комбинированным алгоритмом в случае появления исхода
х(?2) < х2 .
Из описания комбинированного алгоритма поиска следует, что в распоряжении алгоритма остается
РИ, 2003, № 2
109
(i - 2) шага, третий и четвертый шаги пропускаются, на пятом используется классический алгоритм поиска; затем пропускаются шестой и седьмой шаги, а на восьмом используется классический алгоритм поиска и таким образом действуют до конца поиска.
Количество эффективных шагов определяется соотношением:
i - 2 і + h2 _,
(4)
где £ — длительность выброса виртуальной последовательности; h2 — максимальное значение параметра паузы между двумя соседними выбросами;
а
~Ь
— целая часть от деления числа а на число Ь .
Поскольку на каждом шаге алгоритма выполняется эксперимент в одной точке, то классический алгоритм поиска точки с характерным признаком разобьет выделенный полуоткрытый интервал нео-
h h Р а
пределенности на у/Д’ 2 ’ (i - 2,1) равных частей. При этом для данной функции справедливо
hi, h,, £, а / ■ ^ z-ч
1Д1 (i - 2,1) = 2J
і-2
P+h~,
здесь £ = 1; hi = 1; h2 = 2 ; a — целое положительное число.
На втором шаге в результате применения принципа “повторных сравнений” выделяется один из полуоткрытых интервалов: [xj’ 1, x|), [xj, 1),
где x\1 =
xj - ад, x1 - ад > 0;
0 в противном случае;
[xj’1, x|) є [0, x|).
Как уже было показано, полуоткрытый интервал неопределенности [0,x{) разбивается на
h h Р а
2’’ (i -1,1) равных частей; полуоткрытый ин-
1 1 h, h, і, а,. ,
тервал неопределенности [x{ ,1] — на q> (i - 2,1)
равных частей; полуоткрытый интервал неопределенности [x^1,1] — на (i - 2,1) равных час-
тей.
Для i -шагового алгоритма выбираем конструкцию, исходя из наихудшего случая:
/гА/,а,.1ч к,к,,1,а,. ,
?>1 (i,1) = ^1 (i - 2,1) +
(і _1Д),^1 >^2;
xl
1*2
Д2 >
(5)
где д1 =
x1
-; д2 =■
x1 - x1'1
^L^2^ (i -1,1) ’ р*1 ^ Да (i _ 2,1)
Обобщим сформулированный комбинированный алгоритм и полученные соотношения для произвольного h1 (h1 > 1).
Как известно, в результате выполнения первого шага алгоритма может появиться один из исходов
(1). Для первого из них однозначно устанавливается полуоткрытый интервал неопределенности [0, x{), а для второго он формируется на основе принципа “пересечения” (см. соотношение (2)).
В выделенном полуоткрытом интервале может быть использована одна из стратегий: оптимистическая либо пессимистическая. Пусть на втором шаге выбрана первая из них и эксперимент выполняется в точке x2 , для которой справедливо неравенство x2 >xj.
В результате выполнения второго шага алгоритма может возникнуть один из исходов:
x(t2) < x2; x(t2) > x2 . (6)
Для первого исхода, на основании свойств виртуальной последовательности (она всегда только увеличивает значение координаты точки x), форми-
1,1 2
руют полуоткрытый интервал [x^ , xf).
Для второго исхода, согласно длительности выброса виртуальной последовательности (£ = 1) и результатам первого и второго экспериментов x(t1) > x1, x(t2) > x2 , устанавливаем истинность соотношения: x є [x1,1).
Как видим, формировать новый интервал неопределенности можно не только на основании принципа “пересечения”, но и по результатам экспериментов, разнесенных во времени на £ шагов алгоритма.
В общем случае такое правило можно сформулировать в следующем виде: если на j -м шаге алгоритма установлено, что x(tj) > x^ , а на (j + j'1) -м получим исход x(t(j+д1)) > x/+л , то для j1 = £ справедливо соотношение x > xj .
Нетрудно заметить, что, используя только оптимистическую стратегию для первого исхода (см. соотношение (6)), уменьшить длину полуоткрытого интервала [x^1, xj) невозможно (точки экспериментов выбираются правее точки x1). Поэтому для уменьшения длины интервала следует на каком-нибудь шаге алгоритма применить пессимистическую стратегию (повторить эксперимент в точке x{).
Первоначально выясним: как долго можно откладывать проведение подобного эксперимента. Пусть на втором шаге возник подобный исход. Тогда самым неблагоприятным будет случай, когда виртуальная последовательность имела место на первом шаге алгоритма. По определению виртуальной последовательности она не будет проявляться еще на втором, третьем, ..., (Д +1) -м шагах алгоритма. По этой причине пессимистическую стратегию для нашего исхода можно применить на третьем, ...,
(h 1 +1) -м шагах (на втором шаге была использована оптимистическая стратегия).
110
РИ, 2003, № 2
Пусть на третьем шаге планируется применить пессимистическую стратегию, в результате ее выполнения получим исход x(t3 ) > x3 .
Тогда это будет свидетельством того, что проявление виртуальной последовательности имело место на первом шаге алгоритма, на втором, третьем шагах оно отсутствовало. Виртуальная последовательность не будет еще наблюдаться на четвертом,
пятом, ..., (hi +1) -м шагах. Для данного исхода полуоткрытым интервалом неопределенности будет [xj’1, x1). По этой причине на четвертом, ..., (hi +1) -м шагах алгоритма следует применить классический алгоритм поиска, который разобьет выделенный интервал неопределенности на 2 h~2 равные части. Затем, используя описанную ранее
комбинацию алгоритмов, пропустить (h2 - h1 + £)
шагов алгоритма; потом на последующих h1 шагах применить классический алгоритм и т.д. до конца поиска. В результате такой комбинации полуоткрытый интервал неопределенности [x^1, x1) будет разбит на (і - 3,1) равных частей. При этом
для данной функции справедливо соотношение
^1
h1’h2’e’a (i - 3,1) = 2 h“2 • 2
i-h1-1
L . 2^i
(7)
где
0, если 1);
«1 =- (i - h -1) - (і + h2) i - h1 -1
£+h2 _
(I+h2 - h1), если2),
1) (i - h1 -1) - (£ + h2)
i - h1 -1
I + h2
< (£ + h2 - h1),
2) (i - h1 -1) - (£ + h2)
i - h1 -1
I + h2
> (£ + h2 - h1).
Если пессимистическую стратегию применить на четвертом шаге алгоритма, то будем иметь такое соотношение:
i—h1—1
^1
hi’h2’^,a (i _ 41) — 2 h1_3 • 2 - ^+h2 - . 2^1
(8)
Нетрудно заметить, что последний шаг, на котором еще возможно применить пессимистическую стратегию, есть (h1 +1) -й шаг алгоритма.
Соотношения (7), (8) позволяют обоснованно подходить к выбору шага алгоритма, на котором следует в обязательном порядке применить пессимистическую стратегию. Для того чтобы на третьем шаге ее не применять, необходимо, чтобы были истинными такие соотношения:
i—h1 —1
f.+h2
Щ x1’\ x1)) <8(271-2 • 2 J L. 2a1), (9)
h
£([x1’1, x1)) <8(2h1 ~3 ■ 2
i—h1 —1
l+h2
■ 2^).
Если хотя бы одно из соотношений (9) не выполняется, то на третьем шаге следует применить пессимистическую стратегию.
Если в результате применения на третьем либо на четвертом шагах возникли соответственно исходы
x(t3) > x3; x(t4) > x4,
то это свидетельствует об их истинности. На этом основании устанавливаем: x є [x1, xf) либо x є [x1, x^). В первом случае в распоряжении алгоритма осталось (i - 3), а во втором (i - 4) шагов. На этом основании заключаем, что первый полуоткрытый интервал будет разбит на cphl,hl,l,a (i - 3,1)
„ h,h,,i,a
равные части, а второй — на ф (і - 4,1) .
Обобщим соотношения (9) для произвольного шага алгоритма. Пусть на (j -1) -м шаге был выделен некоторый полуоткрытый интервал неопределенности относительно x, а на j -м шаге в точке x1j был выполнен эксперимент, в результате которого сформирован исход
x(tj) > xj . (10)
На последующих j +1, j + 2 , ..., j + z -1 шагах алгоритма (z < h) применялась оптимистическая стратегия и всякий раз возникал исход x(tj+р) < x:j+р , р = 1, z -1. Тогда пессимистическая стратегия не используется на (j + z) -м шаге в том случае, когда будут истинными соотношения:
h
Д[xj,\ xj)) <S(2h~z • 2
і—h~ 1
l+h2
• 2“2) ,
(11)
Д[xj1, xj)) <8(2h1~z_1
hi
2 J
i—h1 —1
• 2^2),
где
0, если 1);
«2 =< (i j h) ( + hi) і - j - h1
£ + h2
(£ + h2 - h1), если 2),
1) (i - j - h1) - {£ + h2)
1 ~ j - h1 I + h2
< (£ + h2 - hl),
2) (i - j - h1) - (£ + h2)
1 - j - h1 I + h2
> C + h2 _ h1)-
Очевидным является заключение: если z = h , то на (j + z) -м шаге алгоритма необходимо применить пессимистическую стратегию.
Подобные алгоритмы строят методом индукции. Нетрудно убедиться для £ = 1 в истинности соотношений:
?1
h1,h2,l,a
(1,1) = 1; ^,h^a (2,1) = 2.
(12)
РИ, 2003, № 2
111
Для произвольного значения l будут справедливы такие соотношения:
кі.кі.^.а^л -|ч k.ki.t.a ^ -|ч h .к^Лм,/) і\ і
<Рі 2 (0, і) = <Px 2 (і,і) = ••• = <P\ 2 (Гі) = і;
cph’kl’e’a (і + і,і) = 2 . (13)
Приведенная схема комбинированного алгоритма, правила выделения нового интервала неопределенности и выбора стратегии поиска совместно с соотношениями (12), (13) позволяют методом индукции построить последовательный помехоустойчивый алгоритм поиска точки с характерным признаком для любых значений параметров виртуальной последовательности и, тем самым, задать функционирование конечного автомата с псевдослучайными переходами.
Литература: 1. Спесивцев А.В., Вегнер В.А. и др. Защита информации в персональных ЭВМ. М.: Радио и связь, 1992. 191 с. 2. Ecker A. Abctrakte kriptographische Mashinen // Angew. Informatik. 1975. Bol.17, Nr 5. S.201-205. 3. Алипов Н.В. Дискретные автоматы с псевдослучайными переходами и подстановочные методы защиты информации на их основе // Радиоэлектроника и информатика. 2001. № 4. С.95-98. 4. Алипов Н.В. Разработка теории и методов решения задач помехоустой-
чивого поиска и преобразования информации / / Авто-реф. дис. на соиск. уч. степени докт. техн. наук. Харьков: ХИРЭ, 1986. 50 с. 5. Алипов Н. В., Ребезюк Л.Н., Охапкин А.А. Защита информации в дискретном канале на основе устойчивых к периодическим помехам алгоритмов поиска точки с характерным признаком / / АСУ и приборы автоматики. 1999. Вып. 109. С. 108-115.
Поступила в редколегию 20.01.2003
Рецензент: д-р техн. наук, проф. Петров Э.Г.
Алипов Николай Васильевич, д-р техн. наук, профессор кафедры электронно-вычислительных машин ХНУРЭ. Научные интересы: алгоритмизация задач автоматизированного проектирования электронновычислительных средств, защита информации. Адрес: Украина, 61166, Харьков, пр. Ленина, 14, тел. 70-21-354.
Алипов Илья Николаевич, канд. техн. наук. Научные интересы: защита информации. Адрес: Украина, 61166, Харьков, пр. Ленина, 14, тел. 70-21-354.
Ребезюк Леонид Николаевич, канд. техн. наук, доцент кафедры системотехники ХНУРЭ. Научные интересы: алгоритмизация задач автоматизированного проектирования электронно-вычислительных средств, защита информации. Адрес: Украина, 61166, Харьков, пр. Ленина, 14, тел. 70-21-306.
УДК 621.391 + 519.81
МНОГОФАКТОРНОЕ ОЦЕНИВАНИЕ ПРОВОДНОЙ СЕТИ ЭЛЕКТРОСВЯЗИ И АНАЛИЗ ЭФФЕКТИВНОСТИ ЕЁ ИСПОЛЬЗОВАНИЯ
ГРЕБЕННИКИ.В, ХАБАРОВ А.Ю.__________
Проводится анализ характеристик проводной сети электросвязи, которые могут быть использованы для оценки ее технического состояния и качества предоставляемых клиентам услуг. Формулируются критерии оценки, предлагаются способы их свертки для получения интегрального показателя эффективности использования всей сети или ее фрагмента.
Введение. Проводная сеть электросвязи является сложной технической системой, бесперебойное и качественное функционирование которой обеспечивается постоянным решением большого набора задач разного уровня сложности и компетенции лиц, принимающих конкретные решения (ЛПР). Одной из самых сложных и практически нереализуемых без применения ЭВМ задач является комплексный анализ качества сети и предоставляемых услуг, дающий возможность мониторинга ее состояния и выявления сильных и слабых сторон технического оснащения предприятия электросвязи. Благодаря такому анализу можно сделать выводы об эффективности использования того или иного
оборудования и, главное, принять научно обоснованное управленческое решение по развитию сети, устранению «узких» мест. Естественно, такая задача не решается ежедневно. В большинстве случаев не требуется детализация до отдельно взятой линии, но сводная укрупненная информация по предприятию необходима для руководителей среднего и высшего звена.
Ранее уже предпринимались попытки оценить эффективность сети с точки зрения качества ее структуры [1-3] или функционирования отдельных ее элементов [4, 5], однако решение задачи в предлагаемой постановке авторам не известно.
Постановка задачи. Общую задачу многофакторного оценивания проводной сети электросвязи и анализа эффективности ее использования сформулируем следующим образом. Исходя из текущего состояния сети, дать количественную оценку эффективности ее функционирования и качества предоставляемых услуг для всей сети или ее фрагмента, используя указанные ниже критерии оценки.
Формализация и решение. Один из конструктивных методов оценивания основывается на теории полезности [6]. При этом задача оценки качества сети формально сводится к применению того или иного вида обобщенного критерия для некоторого набора частных критериев. Наиболее широко известны аддитивная и мультипликативная формы:
P(x) = £a;k;(x) и P(x) = Па;к;(х), і=і і=і
0 < ai < k £ ai =і,
112
РИ, 2003, № 2
