Файл: Яковлев, В. В. Стохастические вычислительные машины.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 15.10.2024

Просмотров: 106

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

длиной п<С 1\1 и разрядности чисел IT sg т, то для параллельного

ГПСЧ, первое условие заменяется на п < min (s/7), а вторым является линейная независимость выходов vx, v2, . . ., vt.

Результаты статистических испытаний последовательностей псевдослучайных чисел, генерируемых параллельным ГПСЧ, под­ тверждают это предположение [28, 35]. В [28] исследовался гене­ ратор, построенный по критерию минимума затрат оборудования и состоящий из 31-разрядного регистра сдвига с полусумматором

вцепи обратной связи (ср (х) = х31 -f- х3 + 1) и 30 полусуммато­ ров, которые использовались для формирования трех последова­ тельностей 10-разрядных двоичных чисел. Статистическим тестам были подвергнуты в общей сложности 24 выборки по 16 000 чисел

вкаждой (по восемь для каждой из трех последовательностей). При испытании первой последовательности в исходном состоянии

врегистр сдвига заносилось 31-разрядное слово, представляющее собой последовательность максимальной длины, генерируемую многочленом ф (х) = х5 + х2 -f- 1; при испытании второй после­

довательности — число 00...01; при испытании третьей — число И ...И .

Для проверки равномерности распределения анализировалось

эмпирическое

распределение

числа попаданий

точек V = (vх,

v2, . . .,

v{) в

интервалы, определяемые первыми четырьмя раз­

рядами

числа.

В качестве

критериев согласия

эмпирического

и теоретического распределений применялись критерий Колмо­ горова и х 2- Произведена также оценка дисперсии и третьего центрального момента этого распределения. Проверка случай­ ности появления чисел в последовательности производилась по методу серий.

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

В [35 ] исследуются статистические характеристики двадцати двоичных последовательностей, формируемых в разрядах парал­ лельного ГПСЧ (ф (х) = х18 + х11 + 1) и представляющих раз­ личные участки псевдослучайной последовательности максималь­ ной длины (по M il = 13107 символов в каждом). В ходе испытаний производилась оценка вероятностей появления единиц на каждом из участков, а также значений авто- и взаимокорреляционных функций. Кроме того, согласно критерию х2 определялось соот­ ветствие распределения числа серий из единиц (от одной до четы­ рех единиц в серии) геометрическому распределению числа этих серий при независимом и равновероятном появлении символов 0 и 1.

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

262


Подводя итог сказанному, можно утверждать, что как парал­ лельный, так и последовательный ГПСЧ характеризуются высоким качеством генерируемых последовательностей, причем параллель­ ный ГПСЧ в отличие от последовательного позволяет получать псевдослучайные числа в каждом такте работы схемы.

Увеличивая количество разрядов в регистре сдвига, можно получать сколь угодно длинные последовательности некоррели­ рованных псевдослучайных чисел. Так, уже при т = I = 31 можно достичь величины минимального сдвига между последова­ тельностями в разрядах ГПСЧ min (s;-j) M jl >50000000. Прак­ тически это означает, что, например, при тактовой частоте работы устройства со х = 1 МГц генератор будет выдавать случайные двоичные числа со скоростью 10е 31-разрядных чисел в секунду

без повторения символов в любом из разрядов

двоичного числа

в течение 50 с.

 

41. Генератор псевдослучайных чисел

 

на основе двух регистров сдвига

 

Основной недостаток параллельных ГПСЧ,

рассмотренных в

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

по модулю

2.

В свою очередь,

 

 

в простейшем ГПСЧ, в котором

 

 

на каждый разряд идет по од­

 

 

ному

полусумматору,

очень

 

 

трудно

получить

достаточно

 

 

большой интервал сдвига

меж-

 

 

ру последовательностями, гене­

 

 

рируемыми на его выводах. Эти

 

 

трудности

можно

преодолеть,

 

 

использовав в ГПСЧ, вместо

 

 

одного, два регистра сдвига, от­

 

 

личающихся

числом

разрядов.

 

 

Оба регистра

генерируют псев­

Рис. 121.

Параллельный ГПСЧ на

дослучайные

последователь­

основе двух регистров сдвига:

ности

максимальной

длины с

vlt vz, . .

— разряды генератора

различным

периодом

[29, 83].

 

 

Схема такого ГПСЧ изображена на рис.

121. Псевдослучайные

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

263


длины. Причем интервал сдвига между генерируемыми последо­

вательностями

vx,

у2, . .

Vi оказывается больше, чем макси­

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

 

 

Рассмотрим

свойства

любой

выходной

последовательности

в схеме на рис. 121.

 

 

 

 

 

 

 

 

 

Как и раньше, через {ак}

= а 0, а х, а 2, . .

., ам -i

обозначим

последовательность

из М =

— 1

символов 0 или

1,

генери­

руемую

в яг-разрядном регистре

сдвига,

а через { bk} =

b 0,

Ъх,

Ь2, . . .,

йд--! — последовательность

из

N =

2п — 1

таких

же

символов, генерируемую

в

я-разрядном регистре сдвига. Усло­

вимся считать,

что

п >

т.

Тогда:

 

 

 

 

 

 

1.

Период

Т

последовательности

{ck}

= с0,

сх,

. . .,

ст _х,

полученной в результате сложения по модулю 2 исходных после­

довательностей — {ck} =

{ak}

®

{bk}, равен

наименьшему

об­

щему кратному

значениям периодов

М и N исходных

последо­

вательностей

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Т = [М,

АП.

 

 

 

 

 

Свойство 1 вытекает из того факта, что последовательность {cft} начнет повторяться с того момента, когда регистры одно­ временно вернутся в начальные состояния. Если М и У — взаимно простые числа, т. е. (М , N) = 1, то период последовательности

ЫТ = M N .

2. В периоде Т =

MN последовательности {cft}, полученной

суммированием двух

последовательностей максимальной длины

с периодами М и N, (М , N) =

1, число символов 1 равно (Т —1)/2,

а символов 0

+ 1)/2.

 

Свойство 2

следует из того факта, что последовательность {ck}

представляет

собой результат

сложения по модулю 2 каждого

элемента одной последовательности со всеми элементами другой.

Следовательно, число единиц в

последовательности {ck}

опре­

деляется

выражением

 

 

 

 

 

 

 

 

 

 

 

 

М + 1

N — 1

 

М

1

J V + 1

M N — 1

 

 

 

 

 

2

2

'

2

 

2

~

2

 

 

а

число

нулей —

 

 

 

 

 

 

 

 

 

 

 

 

 

М + 1

Л Г + 1 .

М

1

N — 1

M N + 1

 

 

 

 

 

2

2

 

2

 

2

2

 

 

 

 

Г Л / +

1

А г +

1

 

 

 

 

 

 

 

в после-

где — -— ,

— --------количество единиц соответственно

довательностях {а*,}

и {bk};

— -—

,

— --------количество

нулей

в

этих

последовательностях.

 

 

 

 

 

 

 

 

3. Если

(M ,N ) = 1,

то для произвольных

целых

/ ( 1 ^ / ^

^

1) и g (1 ^

У

— 1) существует такое целое s (1 ^ s ^

Т — 1), что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

{an-fi

© {^ - g} =

{cfe-s}-

 

 

(7- 17)

264


Выражение (7.17) означает, что в результате сложения по модулю 2 двух последовательностей {ak_f} и { b k_g}, сдвинутых относительно исходных соответственно на / и g символов, форми­

руется последовательность

{c*_s}, идентичная последователь­

ности {ск} = {ak} ф { bk}, но

сдвинутая относительно последней

на s символов.

 

Из свойства 3 следует, что, последовательности, формируемые на выходах полусумматоров ГПСЧ, изображенного на рис. 121,

являются одинаковыми, но сдвинутыми.

 

 

 

 

Комбинируя разрядами в обоих регистрах сдвига,

можно

получить

любой

сдвиг

s

(1 ^

s

^ Т — 1)

последовательности

{сД. Из полного

числа

Т — 1

интервалов

сдвига

М +

N — 2

различных интервалов s получаются в результате сложения

одной из исходных последовательн остей {ak}

или {&Д со сдвину­

той другой,

т. е.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

{с*-,}“

Ы © { Ь * - * Ь

 

 

 

 

 

(7.18)

 

 

 

 

{Ck-s) =

{4-f\

® { h }.

 

 

 

 

(7.19)

4.

 

Для

последовательности

{ck}

с

периодом

Т — M N спра­

ведливо

свойство

«сдвига

и сложения».

 

 

 

 

Из

(7.17)

 

 

 

 

 

 

 

 

 

 

 

 

{'c k } ©

{c* - s }

=

( a k }

 

0

{ a k - f )

®

(fyl-g)

=

{ a k - d } © { b k - e } =

{ Ck - r } ’

причем d

=j=

f,

e =j=

g,

а следовательно, r

=j= s

(из свойства «сдвига

исложения» последовательностей {аЛ и {&Д).

Из (7.18)

{c kj © {Ck-sl ■= {a ki © { b k } © \a k\ © [bk-g\ = {bk-e\,

причем e =j=

g и

s = xM, x =

l,2 ,

. . . ,

N — 1

(так как M

период последовательности {ak}).

 

 

 

 

 

 

 

Из

(7.19)

 

 

 

 

 

 

 

 

 

 

 

 

 

{c k)

Ф { ck - s } m 2 {a k} ©

{ } * ф

{a k - f }

Ф { b k }

— { a k-d}>

причем d ф /

и s = xN,

х =

1, 2,

. . .,

М — 1.

 

Таким образом, для всякого целого s (1 sg s

sg T — 1) суще­

ствуют

такие

целые d (1 ==g d eg M — 1),

с (1

sg е

sg N — 1) и

г ф s (1 ^ г

Т — 1),

что

 

 

 

 

 

 

 

 

 

 

|

{аА_Д,

если s=x7V,

х =

 

1,

2,

. . .,

М — 1,

 

 

{Ък_е},

если s = хМ, х =

 

1,

2,

, .

N — 1, (7.20)

 

 

{ck_r}

в остальных

случаях.

 

 

 

5. Выражение

 

Т-1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ко- (s)= y r ^

 

s==0’

1.

••м

Т — 1,

 

 

 

k = 0

 

 

 

 

 

 

 

 

 

где {ск}

= с ’0, c'lt . . .,

с'м-i — последовательность

из 1 и —4

с периодом

Т = MN,

получаемая

из {сД

 

преобразованием

265


eh = 1 — 2 ck, определяет автокорреляционную функцию центри-

Т- 1

рованной последовательности {с*}. Так как 2 c 'kPk-s представляет и=о

собой разность между числом совпадающих и несовпадающих символов в последовательностях {ск} и {с*_5}, которая тожде­ ственна разности между числом нулей и единиц в результирующей

последовательности {ck} ®

то из (7.20) с учетом свойства 2

последовательностей {ak},

{bk} и {ck} получим

1при s = 0 (mod Т),

ЛТПРИ s = Xj^' х = 1, 2, . . ., М — 1,

К с (.<?) =--

при s = хМ,

х--=1, 2, . . N - 1,

(7‘21^

— ±

1

 

 

 

-у в остальных случаях.

 

Выражение (7.21)

указывает, что

последовательность

{ch}

имеет автокорреляционную функцию (АКФ), близкую к идеаль­ ной, поскольку для любых s не кратных М и N значения АКФ

одинаковы и равны — . Отличие ее от АКФ псевдослучайной

последовательности максимальной длины заключается в том, что при значениях s кратных периодам М и N она имеет всплески, равные по величине значениям АКФ порождающих последователь­

ностей {ай}

и {b'k} (при ненулевом сдвиге).

 

Таким образом, так же, как и в последовательности максималь­

ной длины,

символы последовательности {ck}, отделенные

друг

от друга

любым интервалом s <; Т, будут практически некорре­

лированными.

 

6.

В

периоде Т = MN последовательности {ck} серии

из оди­

накового числа единиц и нулей встречаются одинаково часто, причем количество серий в последовательности по мере увеличе­

ния

их длины

уменьшается

пропорционально степени 2.

В

качестве

примера в

табл. 20 приводится распределение

числа серий различной длины для некоторых последовательностей {ck}, полученное путем моделирования генератора с двумя реги­ страми сдвига на ЭВМ. В верхней строке таблицы для каждой последовательности {ck} записаны период последовательности Т и характеристические многочлены <р(х), соответствующие порож­

дающим

последовательностям {ak}

и {bk}.

 

 

Следует

заметить,

что

в

общем

случае количество

нулевых

и единичных

серий

из I

sg тп — 2

символов одинаково

и равно

2-0+2) (у

_

^

Если

длина

серии Z> тп — 2,

то число

нулевых

серий может

отличаться

от

числа

единичных,

но не более чем

на одну. Максимальная длина серии 11... 1 в последовательности {сА} равна тп + п символов, а серии 00...0 — тп + п — 1 сим­ волов.

266