Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Яковлев, В. В. Стохастические вычислительные машины

.pdf
Скачиваний:
7
Добавлен:
22.10.2023
Размер:
15.73 Mб
Скачать

В.В.ЯКО ВЛЕВ,РФ .ФЕДОРОВ СТОХАСТИЧЕСКИЕ

ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ

ЛЕНИНГРАД

«м а ш и н о с т р о е н и е »

ЛЕНИНГРАДСКОЕ ОТДЕЛЕНИЕ

Я 44

УДК 681,34'32

Гос. публичная

научно-техн . ©окая

библиотека С

j p

ЭКЗЕМ П /if

Р

Ч И ТАЛЬ Н О ГО

З А Л А

Я к о в л е в В. В. , Ф е д о р о в Р. Ф. Стоха­ стические вычислительные машины. Л ., «Машино­ строение» (Ленингр. отд-ние), 1974. 344 с.

В книге изложены основы теории вычислитель­ ных машин с вероятностным представлением инфор­ мации, их функциональные схемы и особенности решения различных задач. Рассмотрены элементы схем и отдельные узлы, ориентированные на при­ менение новейших средств радиоэлектроники. Опи­ сан новый класс функциональных преобразователей и интеграторов — стохастические функциональные преобразователи и стохастические интеграторы. Рассмотрены способы генерирования случайных и псевдослучайных управляющих сигналов, а так­ же методика их синтеза. Книга содержит сведения по основам проектирования и применению стоха­ стических вычислительных машин в комбинирован­ ных системах и для математического моделиро­ вания.

Книга рассчитана на инженерно-технических работников, специализирующихся в области вы­ числительной техники; она также может быть

полезна студентам

вузов.

Табл. 20. Ил.

137. Список лит. 97 назв.

Р е ц е н з е

н т

канд. техн. наук А . К . Б аум е

© Издательство «Машиностроение», 1974 г.

ПРЕДИСЛОВИЕ

В последние годы в СССР и за рубежом проводятся большие работы по созданию нового типа комбинированных вычислитель­ ных машин, основанных на вероятностном представлении инфор­ мации. Эти машины, получившие название стохастических, вы­ годно сочетают в себе ряд преимуществ цифровых и аналоговых ЭВМ.

Переменные и константы в стохастических вычислительных машинах (СтВМ) представлены в виде вероятностей переключения цифровых логических элементов. В этом смысле любая переменная или число может рассматриваться как аналоговая величина, а сами СтВМ можно выделить в особый подкласс цифровых аналогов. Решение многих задач на СтВМ сводится к набору структурной схемы, подобно тому, как это делается в аналоговых вычисли­ тельных машинах. Однако функциональные блоки в данном случае построены на дискретных (цифровых) логических элементах, как принято в ЭЦВМ.

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

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

крешению.

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

Книга отличается практической направленностью и имеет целью дать читателю помимо минимально необходимого объема

3

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

Гл. I, II (кроме п. 6), III, IX , а также пн. 19—22 гл. IV напи­

саны В. В. Яковлевым; гл. V,

V I, V III, а

также пн. 23,

24, 25

гл. IV и п. 6 гл. II — Р. Ф.

Федоровым.

По просьбе

авторов

гл. VII написана Г. В. Добрисом. При подборе материала для пн. 20—22 использованы неопубликованные работы, предоста­ вленные А. И. Пашенцевым.

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

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

Г л а в а

ПРЕДСТАВЛЕНИЕ И КОДИРОВАНИЕ ИНФОРМАЦИИ В СТОХАСТИЧЕСКИХ ВЫЧИСЛИТЕЛЬНЫХ МАШИНАХ

I. Основные сведения о случайных процессах

При исследовании элементов и устройств стохастических вычислительных машин (СтВМ) широко применяются математи­ ческие методы анализа детерминированных и случайных процессов в линейных и нелинейных электрических цепях и системах. Сиг­ налы, встречающиеся при этом исследовании, чаще всего описы­ ваются различными функциями временного аргумента. Когда временной аргумент меняется непрерывно, говорят о функциях непрерывного времени. Если же временной аргумент дискретен, то и функции называют дискретными. Дискретный набор значений может принимать и само значение функции. Такие функции также относят к дискретным. Учитывая рассмотренный признак разли­ чия функций в сочетании с признаком случайности, получаем четыре основных разновидности [46]:

1)детерминированные функции непрерывного времени;

2)детерминированные дискретные функции;

3) случайные функции (процессы) с непрерывным временем; 4) дискретные случайные процессы.

Математический аппарат для описания детерминированных сигналов хорошо разработан. Это традиционные методы предста­ вления функций интегралом Фурье, разложения функций в ряд Тейлора или Фурье, непрерывного и дискретного преобразования Лапласа и т. д. Для анализа и синтеза последовательностных машин перспективным представляется прием, основанный на введении понятий решетчатой булевой функции и преобразования Лапласа — Галуа, которые используют операции над временными функциями, принадлежащими полю Галуа [30, 46].

Процессы, протекающие в СтВМ в основном носят случайный характер и описываются случайными функциями временного аргумента t.

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

5

распределения вероятности, относящаяся к сечению случайной функции \ (t) в момент tx

показывает вероятность того, что текущее значение случайной функции в момент t = tx меньше заданного значения ЕД.

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

f i i l i ,

h)

dFi(h, ti)

dll

 

 

При этом величина

 

 

/i (?i> Ч)

~ F [£i ^ ? (4)

определяет вероятность того,

что функция £ (f) в момент t = tx

находится в интервале от

до

Одномерная функция распределения не дает ответа на вопрос

о зависимости случайных величин при различных t. С этой точки зрения более исчерпывающими являются двумерный закон распре­

деления, трехмерный и т. д.

 

 

 

Для описания \{t)

в моменты времени tx,

t%, . . .,

tn вводят

n-мерные распределения и плотности вероятности:

 

F A li,

ti,

 

 

 

( 1 . 1)

/гс(=Ъ

••м

$п)

6«

•*

^п)ш (1 . 2)

t <^д\п ^ п ’ ^1’

Важно заметить, что математически законченная теория слу­ чайных процессов строится на основах теории меры в функци­ ональном пространстве [20]. В прикладных исследованиях, однако, можно ограничиться использованием n-мерных распре­ делений. Правда, с ними крайне трудно оперировать на практике вследствие громоздкости. Поэтому часто ограничиваются слу­ чаями, когда для характеристики процессов достаточно знать одномерный или двумерный закон распределения. Тем более что некоторые типы случайных процессов, например белый шум или марковский случайный процесс, полностью характеризуются та­ кими распределениями. Для последнего вероятность нахождения £

в заданном интервале от

до %n + d

в момент t = tn зависит

только от состояния в предшествующий

момент tn_ x и не зависит

от состояния в другие ранее предшествующие моменты времени. Для марковского процесса

 

/ (In , t n I ln - 1 , t n - 1> • ч l l > Ч )

/ { I n ,

t n [ Ere-i>

t n_i) .

 

Условную плотность вероятности

/ (

tn \1-n_ 1,

tn_ x)

назы­

вают плотностью вероятности перехода из

состояния

i в мо­

мент

в состояние !•„ в момент tn.

 

 

 

 

Характеристики случайного процесса. Часто для описания случайного процесса бывает достаточным знать лишь первые

6

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

Математическое ожидание или среднее по множеству значе­ ние M i (t) случайной функции | (t) определим из

+ СО

M 6(f)= M [£(*)]= j

t)d l,

(1.3)

-oo

 

 

где f x (£■, t) — плотность вероятности; c (t) — случайная функция.

о

Разность | (г) — М [ £•(£)] = !■(£) называется центрированной случайной функцией. Нетрудно показать, что математическое ожидание (м. о.) этой функции равно нулю.

Если зафиксировать значение аргумента t, то при t = tx значения реализаций |t- (£Д случайного процесса представляют собой обычную случайную величину, и м. о. может быть опре­ делено как

(1.4)

1-1

где i — номер реализации.

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

На)

 

D m t ) \ = M m t ) - M , { t ) y \ = f

i(g, t ) d t (1.5)

- со

 

Таким образом, дисперсия является неслучайной и неотрица­ тельной функцией аргумента t. Ее можно рассчитать по реали­ зациям

^[?(^i)l = — ------ г-----------•

(1-6)

Величина a [| (f)J = У D [ S (ОI называется

среднеквадратиче­

ским отклонением (с. к. о.) и, так же как и дисперсия, характери­ зует рассеяние отдельных реализаций около средней реа­ лизации Mi (t).

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

7

Зная двумерную функцию распределения /2 (ii> t

£2, t2),

можно определить не только М\ (t) и (t), но и момент

второго

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

Математическое ожидание произведения значений центрирован­ ной случайной функции, взятых при двух моментах времени tx и t2, называют корреляционной или автокорреляционной функ­ цией

K iih , t2) = M [\(t1)\ (t2)] =

-LOO -•00

 

 

 

 

= f

f

(^1) S2

(h) / 2 (^i>

£2 » t2)d%1d%2.

(1-7)

При условии,

что аргументы корреляционной функции равны,

т. б« ij — if2 — fj

 

 

 

 

 

 

 

K^(t,

=

 

 

т. e. корреляционная функция для одного и того же сечения равна дисперсии случайной функции.

Для оценки статистической взаимосвязи различных случайных функций пользуются понятиями совместного распределения веро­ ятности и взаимной корреляционной функции. Для функций £ (t)

и ц (t) совместная функция распределения вероятности

 

F ^ {1,

ti, ц,

 

=

 

 

 

 

определяет вероятность того, что в момент времени t =

tx значе­

ние | (tx) меньше

а в момент t2 значениец

(i2) меньше ц . Совме­

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

 

 

 

 

/?1) (?1 ^1>

^2) =

^

F ^ (£ ,

ti, Г), t2).

 

Взаимная корреляционная функция двух случайных центри­

рованных функций | (t)

и т]

(£)

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

 

 

 

 

- СО

ОО

 

 

K ^ (h , t2) = M [i( t l)°r] (t2) ] =

f

/

!(^ )л (М Д ч (1. п; л,

tt)d%di 1.

 

 

 

 

 

 

 

“ 00

00

 

 

( 1 . 8 )

 

 

 

 

 

 

Случайные функции называют некоррелированными, если их взаимная корреляционная функция равна нулю, и коррелирован­ ными — в противоположном случае. Можно показать [8], что независимые функции всегда некоррелированы. Зависимые функ­ ции могут быть как коррелированными, так и некоррелирован­ ными.

Для

характеристики связи

между

функциями

£ (t) и ц (t)

часто переходят от функции

(tx,

t2)

к безразмерной характе­

ристике

 

К ^ Съ h)

 

 

 

 

 

^

 

 

>■

(*•*)

которая

называется нормированной

корреляционной функцией.

8

Соседние файлы в папке книги из ГПНТБ