![](/user_photo/1992_2odKD.png)
- •1.3. Понятие стационарных случайных процессов и цепей Маркова
- •1.4. Формирование последовательностей со случайной природой
- •1.5.1. Функция инверсии
- •1.5.2. Функция конъюнкции
- •1.5.3. Функция дизъюнкции
- •1.6. Мгновенная относительная частота и первый критерий равномерного распределения элементарных событий
- •1.7. Мгновенная эмпирическая АКФ и второй критерий равномерности для элементарных событий
- •1.8. Мгновенная эмпирическая дисперсия и доверительный интервал для вероятности наблюдения (0,1)-событий
- •2.2. Криптосистема c открытым ключом (RSA)
- •2.3. Электронная криптографическая подпись
- •2.4. Шифросистема Эль-Гамаля
- •2.5. Цифровая криптографическая подпись Эль-Гамаля
- •2.6. Криптографическая подпись Фиат-Шамира
- •2.8. Математическая модель шифра замены
- •2.9. Классификация шифров замены
- •2.11. Композиционный шифр в блочной системе шифрования (DES)
- •2.12. Векторно-матричный симметричный шифр замены
- •3.3. ГПСЧ в задачах инъективного отображения выборки. Алгебраическое преобразование данных
![](/html/1992/349/html_dQwpe9g4Vw.rNHY/htmlconvd-AKASIl16x1.jpg)
1.5.Методы регулирования вероятностей. Логические элементы
иих свойства как регуляторов вероятности
Вбольшинстве случаев методы синтеза последовательностей со случайной природой предполагают формирование элементарных событий с равномерным законом распределения. Однако даже эталонные генераторы для различных длин выборки n не обеспечивают требуемых свойств, что не позволяет в общем случае сформировать последовательности с произвольно заданной вероятностью событий. В связи с этим будем рассматривать принципы преобразования вероятностных последовательностей с помощью логических элементов с целью определения формальных подходов к задаче управления вероятностью и декорреляции последовательностей.
1.5.1.Функция инверсии
Инверсия z x функционально сводится к замене событий x дополнительными событиями x , математическое ожидание которых определяется равенством
|
|
|
M |
|
M |
|
|
1 p x t 1 M |
|
. |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|||||||||||
Мх |
|
Мz |
|
|
z |
|
|
x |
|
|
|
|
|
|
x |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
По определению автокорреляционная функция выход- |
|||||||||||||||||
|
|
|
|||||||||||||||||
|
|
|
ных сигналов представляет собой равенство |
|
|
|
|
|
|||||||||||
Рис. 1.8 |
|
|
|
M |
z t |
|
Mz z t |
|
|
|
|
Mz |
|
||||||
|
|
|
Kz |
|
|
|
|
|
, |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
где t, 1,2,3,... – дискретное время. Тогда, учитывая, что Mx Mz 0,5, имеем
Kz M z t z t z t Mz z t Mz Mz2
M z t z t 0,5 z t z t 0,25 .
Рассмотрим составляющую в функции Kz , равную 0,5 z t z t :
M 0,5 z t z t 0,5 0,5 0,5 0,5.
Тогда
Kz M z t z t 0,5 M 0,25 M z t z t 0,25.
Матожидание и вероятность двоичных переменных численно равны. По-
этому
Kz p z t z t 0,25 p x t x t 0,25
|
p |
|
|
x t |
|
|
|
|
0,25 |
|
1 |
|
|
|
x t |
|
|
0,25. |
(1.8) |
|
x t |
|
|
|
|
|
|
p x t |
|
|
|
|
15
![](/html/1992/349/html_dQwpe9g4Vw.rNHY/htmlconvd-AKASIl17x1.jpg)
Для статистически связанных событий x t |
и x t |
имеет место равен- |
||||||||||
ство |
|
|
|
|
|
|
|
|
|
|
|
|
p x t x t p x t |
p x t p x |
t x t |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
(1.9) |
|
p x t p x t p x t p x t K |
|
. |
||||||||||
x |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
Учитывая, что p x t p x t M |
x |
, а также равенство (1.8), имеем |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
p x t x t Mx Mx MxMx Kx 0,75 Kx .
Отсюда на основании (1.9) следует
Kx 1 0,75 Kx 0,25 Kx .
Таким образом, при инвертировании последовательности происходит вычитание вероятности двоичной переменной из единицы, а корреляционная функция не изменяется:
M |
z |
1 M |
x |
, |
|
|
|
||
|
|
|
|
|
|
|
|
||
|
|
|
K |
|
, |
|
|
|
|
K |
z |
x |
z |
x |
. |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
1.5.2. Функция конъюнкции |
|
|
|
|
|
||||
Мх |
|
|
|
|
Мz |
Математическое ожидание выходной последователь- |
|||||||||
|
|
& |
|
||||||||||||
|
|
|
ности для данной функции будет определяться формулой |
||||||||||||
Мy |
|
|
|
|
|||||||||||
|
|
|
|
||||||||||||
|
|
Рис. 1.9 |
|
M |
z |
p x t y t |
p x t p y t K |
z |
, |
||||||
|
|
|
|
|
|
|
|
|
|
|
|||||
где Kz |
– взаимная корреляционная функция выходной последовательности |
||||||||||||||
при 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
Запишем АКФ Kz в стандартной форме:
Kz M x t Mx y t My M x t y t Mxy t Myx t MxMy
M x t y t M Mxy t M Myx t MxMy.
Вданном соотношении:
M Mxy t MxM y t MxMy.
Следовательно:
Kz M x t y t MxMy MxMy MxMy M x t y t MxMy.
Пусть Mx My 0,5, тогда
K |
z |
|
|
|
t |
|
y |
|
t |
|
(1.10) |
|
|
M x |
|
|
|
0,25. |
16
![](/html/1992/349/html_dQwpe9g4Vw.rNHY/htmlconvd-AKASIl18x1.jpg)
Значение
M x t y t p x t y t p x t p y t Kx,y M x t M y t Kx,y .
Тогда из (1.10) следует
Kz 0,25 Kx,y 0,25 Kx,y .
Таким образом,
Mz MxMy Kz ,
Kz Kx,y .
Иными словами, схема конъюнкции не обладает декоррелирующими свойствами, а лишь преобразует ВКФ последовательностей x t и y t в АКФ
выходной последовательности z t .
|
|
|
|
|
|
1.5.3. Функция дизъюнкции |
|
|
|
|
|||||
Мх |
|
|
|
Мz |
Используя формулу объединения вероятностей |
||||||||||
|
1 |
|
событий, можно записать |
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|||||||||
Мy |
|
|
|
|
|
M |
z |
p x t y t p x t p y t p x t y t |
|||||||
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
||||||||||
|
Рис. 1.10 |
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
Mx My MxMy Kz 0,75 Kz . |
|
||||||||
|
|
|
|
|
|
|
|
|
|
Для вычисления значения Kz выполним преобразование функции дизъюнкции в конъюнкцию, используя правило де Моргана:
z t x t y t x t y t .
Учитывая формулу (1.10) и тот факт, что процесс инвертирования не изменяет значения АКФ, запишем равенство
Kz M x t y t 0,25 M x t y t 0,25 1 Mx 1 My Kx,y 0,25.
Kx,y Kx,y .
Kz 1 Mx My MxMy Kx,y 0,25 MxMy Kx,y 0,25 Kx,y .
Итак, операция дизъюнкции также не изменяет уровня корреляции, а преобразует функцию ВКФxy в АКФz выходной последовательности логического
элемента:
Mz Mx M y MxM y Kz ,
Kz Kx,y .
17
![](/html/1992/349/html_dQwpe9g4Vw.rNHY/htmlconvd-AKASIl19x1.jpg)
|
|
|
|
1.5.4. Операция суммирования по модулю два |
||||
|
|
|
|
Функцию суммирования по модулю два предста- |
||||
Мх |
|
|
Мz |
вим в следующем виде: |
||||
|
+ |
|
|
|
|
|
||
|
|
|
|
|
|
|||
Мy |
|
|
z t x t y t x t y t x t y t . |
|||||
|
|
|
||||||
|
Рис. 1.11 |
В данном случае логическая функция предполагает |
||||||
|
|
|
|
выбор одного из двух несовместимых исходов. Матожи- |
дание выходной последовательности при этом будет определяться следующей зависимостью:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
(1.11) |
|||||||||||
|
|
|
|
|
Mz p x t |
y t x t y t |
p x t y t |
x t y t . |
|||||||||||||||||||||||||||||||||||
Преобразуем соотношение (1.11) с использованием формулы полной ве- |
|||||||||||||||||||||||||||||||||||||||||||
роятности: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
p x t p x t y t p x t |
|
|
|
|
|
|
, |
|
|
p |
x t |
|
|
p x t p x t y t , |
||||||||||||||||||||||||||
|
|
y t |
|
|
|
y t |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
p y t p |
x t y t |
p |
|
|
y t |
|
, |
|
|
p |
|
|
|
|
y t |
p y t |
p x t y t . |
|||||||||||||||||||||||
|
|
x t |
|
|
|
x t |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
M |
z |
p x t p y t 2p x t y t |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
p x t p y t 2p x |
t p y t 2K |
z |
. |
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
х(t) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Автокорреляционную |
функцию |
вы- |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
ходной |
|
последовательности |
получим, |
вы- |
||||||||||||||||||||||||||||
|
& |
|
а |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
y(t) |
|
|
|
1 |
|
|
z(t) |
|
полнив |
|
следующее |
преобразование |
схемы |
||||||||||||||||||||||||||||||
х(t) |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
b |
|
|
|
|
|
|
суммирования mod2: |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
& |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
y(t) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
Ma MxM |
|
Kx, |
|
, |
|
Mb M |
|
My K |
|
,y , |
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
y |
y |
|
x |
x |
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
Рис. 1.12 |
|
|
|
|
|
|
|
K |
|
y Kx,y , |
Kx, |
|
Kx,y . |
(1.12) |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x, |
y |
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
Mz Ma Mb MaMb Ka,b . |
|
|
||||||||||||||||||||||||||||
Подставим в Mz |
(1.12) соотношения для Ma и Mb: |
|
|
|
|
|
|
|
|
|
|
|
|
|
Mz MxMy Kx,y MxMy Kx,y
MxMy Kx,y MxMy Kx,y Ka,b .
Учитывая, что Mx 1 Mx , имеем
Mz Mx 1 My Kx,y 1 Mx My Kx,y
(1.13)
Mx 1 My Kx,y 1 Mx My Kx,y Ka,b
18
![](/html/1992/349/html_dQwpe9g4Vw.rNHY/htmlconvd-AKASIl20x1.jpg)
Mx My 2MxMy 2Kx,y
1 Mx 1 My MxMy Mx 1 My 1 Mx My Kx,y Kx2,y Ka,b .
Рассмотрим значение АКФ Kab с учетом стандартной формы:
Ka,b |
|
|
|
M |
a |
|
Ma b |
|
Mb |
M ab |
|
MbM a |
|
MaM b |
|
MaMb. |
(1.14) |
|
|
|
|
|
|
|
|
|
|
||||||||
События a и b несовместимы, поэтому M ab 0, а из (1.14) имеем |
|
||||||||||||||||
|
|
|
|
|
Ka,b MbMa MaMb MaMb MaMb. |
|
|
(1.15) |
Подставим в равенство (1.15) значения из соотношения (1.12), тогда получаем
K |
ab |
M |
M |
|
|
K |
x,y |
M |
|
M |
y |
K |
x,y |
|
M |
1 M |
y |
K |
x,y |
1 M |
M |
y |
K |
x,y |
|
|
(1.16) |
||
y |
|
||||||||||||||||||||||||||||
|
x |
|
|
x |
|
|
|
|
x |
|
|
x |
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
||
|
|
|
1 Mx 1 My MxMy Mx |
1 My 1 Mx My Kx,y Kx,y . |
|
|
|
|
|||||||||||||||||||||
|
|
Подставим теперь в соотношение (1.16) равенство (1.13) для математиче- |
|||||||||||||||||||||||||||
ского ожидания Mz : |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
Mz Mx My 2MxMy 2Kx,y |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
1 Mx 1 My MxMy |
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
||||||||||||
|
|
Mx |
1 My 1 Mx My Kx,y |
Kx,y |
|
||||||||||||||||||||||||
|
|
1 Mx 1 My MxMy |
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
||||||||||||
|
|
Mx |
1 My 1 Mx My Kx,y |
Kx,y |
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
Mx |
My 2Mx My 2Kx ,y |
. |
|
|
|
|
|
|
|
|
Таким образом, при суммировании по модулю два функция ВКФ Kx,y
преобразуется в АКФ Kz и
M |
z |
M |
x |
M |
y |
2M |
M |
y |
2K |
z |
, |
|||
|
|
|
|
|
x |
|
|
(1.17) |
||||||
K |
|
|
K |
|
|
. |
|
|
|
|
||||
z |
x,y |
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Докажем выравнивающие свойства сумматора по модулю два для вероятности выходных событий элемента. Пусть Mx 0,5 и My 0,5 , тогда на
основании (1.17)
Mz 0,5 0,5 2 0,5 0,5 2Kz .
Для простоты определим значение Kz 0. При этом
Mz 1 2 0,25 0,5 0,5 1 0,5 20,5 2 .
Значения и лежат в пределах 0 , 1, поэтому произведение
19