Начальный вектор выходной последовательности
имеет |
вид Po—(q, |
р)т, а переходная |
матрица |
соответст |
вует |
матрице |
простой |
однородной цепи |
Маркова |
с двумя |
состояниями |
|
|
|
|
|
|
|
|
|
|
|
|
|
~ q |
Р |
|
|
|
|
|
|
|
|
|
|
|
-Р |
QJ |
|
|
|
|
|
поскольку переход |
в новое |
состояние y(k+\) |
полностью |
определяется |
предшествующим |
состоянием у (к) |
и но |
вым входным воздействием x(/e + l ) . |
|
|
|
|
Аналогичным |
образом |
можно получать цепи Мар |
кова |
с |
числом |
состояний |
/'>2. |
Соответствующие |
этим |
цепям |
|
переходные |
матрицы |
будут |
симметричными |
и |
|
|
|
|
|
|
|
|
|
Y |
|
|
г. |
дважды |
стохастическими, |
т. е. будет |
^ j p , = 1 , 6 = 1 , |
Подобным же образом, с помощью линейных операций суммирования и умножения по модулю /' можно полу-
xfk+f) |
|
y(**t) |
|
|
|
F |
Г |
• А" |
|
|
|
|
у(к) |
|
г-1 |
x(k+t) |
|
|
I |
|
|
а.) |
f) |
|
|
|
Рис. 5.1. Линейный |
преобразователь. • |
|
чать и многосвязные цепи Маркова, имеющие переход ные матрицы специфической формы.
Перепишем уравнение (5.39) в виде
*(fe+l) = «/(£+l)ej/(&),
где символ 0 формально определяется как операция вы читания по модулю 2 и фактически она эквивалентна Ф.
Соответствующий линейный преобразователь являет ся инверсией схемы рис. 5.1,а, т. е. получается путем перемены местами входа и выхода (рис. 5.1,6). Таким способом можно декоррелировать последовательность дискретных переменных, образующих цепь Маркова с дважды стохастической матрицей, т. е. превратить ее
в.последовательность независимых переменных.
5.2.8.Моделирование линейных фильтров. Линейные фильтры представляют обширный класс радиотехниче ских устройств. В настоящее время разработаны раз-
личные |
методы алгоритмизации |
линейных |
фильтров |
с целью |
исследования на Э Ц В М |
вопросов, |
связанных |
с прохождением через них случайных и регулярных функций времени, исследованием задач фильтрации, сглаживания, экстраполяции.
Данный вопрос тесно связан с созданием цифровых фильтров (см. гл. 4). Дело в том, что основной пробле мой при моделировании линейных фильтров на Э Ц В М , так же как и при реализации их с помощью цифровых устройств, является проблема сокращения объема па мяти Э Ц В М (объема оборудования ЦФ) и уменьшения числа машинных операций (времени решения) при за данной точности характеристик моделируемого фильтра или характеристик процесса на его выходе.
Моделирование ЦФ сводится к воспроизведению его алгоритма на Э Ц В М . Обычно это алгоритмы типа (4.6), (4.13), (4.22). В § 4.2 отмечались основные источники погрешностей в ЦФ: а) шумы квантования, б) ошибки округления при умножении, в) ошибки, связанные с по грешностями задания весовых коэффициентов из-за ограниченности разрядной сетки. В отличие от мало
|
|
|
|
|
|
разрядных ЦФ |
( т = 8 - И 0 ) , реализуемых аппаратурно, |
универсальные |
Э Ц В М |
оперируют с |
многоразрядными |
числами |
( т = 3 9 - н 4 5 ) , что существенно |
снижает указан |
ные погрешности. |
Для |
рекурсивных фильтров (4.6), |
(4.22) |
погрешность |
в) |
имеет наибольшее значение. |
Поэтому при моделировании следует использовать па раллельную (4.22) и последовательную (4.20) канони ческую форму, менее чувствительную к этому -виду погрешностей.
Моделирование непрерывных фильтров связано с ди
скретизацией непрерывных функций |
времени. От |
того, |
как задан линейный фильтр — в виде |
интегрального |
или |
дифференциального операторов — зависит способ |
его |
моделирования на Э Ц В М . В первом случае после вре менной дискретизации входного воздействия и импульс ной переходной характеристики реакция фильтра опре
деляется в соответствии с алгоритмами типа |
(5.23), |
(5.24), во втором |
случае — в |
соответствии |
с |
(5.16), |
(5.22). Наибольшая |
экономия памяти и числа |
операций |
в Э Ц В М достигается во втором |
случае. |
|
|
Вобоих случаях весьма существенным является
выбор величины шага |
временной |
дискретизации Д і = Г д . |
Как уже отмечалось |
в п. 4.2.2, |
переход к дискретному |
|
|
|
|
|
|
времени приводит |
к двум |
погрешностям: а) «складыва |
ние» спектра, б) |
ошибки интерполяции. Выбор шага |
временной |
дискретизации |
по |
теореме |
отсчетов Г д = |
= 1/2[тах |
избавляет нас лишь |
от первой |
погрешности. |
Заметного уменьшения второй погрешности можно до стичь только за счет качественной интерполяции, т. е. фильтрации гармоник частоты дискретизации с по мощью аналогового фильтра. Однако при моделирова нии на Э Ц В М , как правило, возможна лишь ступенча тая интерполяция. С целью снижения ошибок интерполя
ции величина |
Гд должна |
иметь порядок |
Тд= l/(102 -f- |
Ю*)2/ т а х [136] . |
|
|
|
При Г д — И ) |
ТОЧНОСТЬ |
воспроизведения |
процесса на |
выходе цифрового фильтра увеличивается и в пределе временные реализации процессов на выходах цифровой модели и непрерывного фильтра совпадают. Однако при этом увеличивается машинное время, требуемое для решения задачи, уменьшается надежность статистиче ского моделирования в связи с отказами Э Ц В М , воз растает стоимость расчетов, увеличивается объем опера тивной памяти, необходимой для хранения коэффициен тов разностного уравнения или импульсной переходной характеристики, входных и выходных значений процесса.
Для определения величины Гд существует, по край ней мере, два подхода. Приводимые ниже методы в рав ной мере относятся и к п. 5.2.3.
Первый подход основан на оценке по тем или иным статистическим критериям отклонения многомерного распределения случайного процесса на выходе цифрово го фильтра от многомерного распределения случайного процесса на выходе непрерывного фильтра.
Второй подход основан на оценке дисперсии ошибки, равной разности между выходными напряжениями циф
рового фильтра |
v(k) |
и |
дискретизированным |
выходным |
напряжением непрерывного фильтра |
v(k): |
|
|
|
|
|
|
|
N |
|
|
|
|
|
• |
\ |
= ^ |
Т |
£ |
И * ) - о |
(*))'• |
|
|
При |
этом |
выражение |
для ат |
зачастую |
удается полу- |
чить |
в аналитической |
форме. |
д |
|
|
|
|
|
|
|
Рассмотрим |
первый |
подход, который, |
как |
правило, |
не дает явных аналитических соотношений и реализует ся численными методами на Э Ц В М .
Общее решение задачи об оценке с помощью стати стических критериев отклонения многомерных распреде лений на выходах непрерывного и цифрового фильтров наталкивается на серьезные математические трудности. Исключение составляют случаи нормального входного воздействия, а также нормализации процесса линейной системой. По этой причине, не выходя за рамки спек трально-корреляционного анализа, ограничимся оценкой отклонений одномерной плотности вероятности Wi(U), математического ожидания /Пі{й], дисперсии о2[и] и кор реляционной функции В{х) процесса на выходе цифро вого фильтра от соответствующих им характеристик случайного процесса на выходе непрерывного фильтра.
1. Оценка отклонения одномерной плотности вероят ности Wi(u). Эта оценка может проводиться как для квадратурных составляющих процесса на выходе филь тра, так и для огибающей.
|
|
|
|
|
|
|
|
В соответствии |
с |
выбранным |
шагом |
дискретизации |
Гц дискретизируем |
входное воздействие |
« ( О , а Для не |
рекурсивного фильтра |
(4.13) |
и импульсную |
переходную |
характеристику |
h(t). |
|
Путем |
многократного |
повторения |
статистического |
эксперимента |
на |
Э Ц В М |
строим гисто |
грамму одномерной плотности вероятности. Степень со
ответствия . полученной |
гистограммы теоретическому |
распределению удобно |
оценить по критерию /^Пир |
сона [68] |
|
где N — число повторений опыта; pi— теоретическая ве роятность попадания в і-й интервал; ХІ— число попада ний случайной величины в t'-й интервал.
Если %2 (1—Р) ^ Х 2 ^ Х 2 ( Р ) > г Д е Р — доверительная ве роятность, то расхождение между теоретическим и экс периментальным распределением следует считать слу чайным, в противном случае расхождение будет суще
ственным |
и шаг дискретизации |
следует |
уменьшить. |
2. |
Оценка согласованности |
математического |
ожида |
ния |
ті[й] |
и дисперсии |
о2 [и]. Для нерекурсивного |
филь |
тра |
(4.13) |
среднее |
и дисперсия |
равны |
соответственно |
|
|
|
її |
|
|
п |
|
|
|
|
т, [и] = |
/л„Е |
" / д . о 3 |
[и] = а 2 |
£ |
/г2 Т} |
|
26* |
|
|
|
|
|
|
|
403 |
где т0 и сґ — среднее и дисперсия входного воздействия. При этом необходимо, чтобы Гд s= хЙ 1 где t f t — время кор реляции входного воздействия.
Степень согласованности экспериментальных и тео ретических числовых характеристик можно оценить по величине относительного отклонения
Ат- |
тх |
[и] |
' |
а= [и] |
|
|
|
При больших отклонениях Am и Аа2 |
следует |
уменьшить |
величину Г д |
и провести |
повторные вычисления. |
В ряде |
случаев |
(например, при |
Тя~хк) |
среднее и |
дисперсию на выходе цифрового фильтра целесообразно вычислять методом Монте-Карло. Оценку степени согла сованности полученных характеристик и теоретических можно произвести методом доверительных интервалов.
Если mi [и] |
и а2[й] |
выходят |
за пределы доверительных |
интервалов, |
то величину |
Г д следует |
уменьшить. |
|
3. Оценка согласованности коэффициентов корреля |
ции R(k) |
может быть произведена |
по величине |
относи |
тельного |
отклонения |
|
|
|
|
|
|
^ |
W |
^ |
, |
/е = |
0, 1,2, ... |
|
Очевидно, что с уменьшением |
Гд величина AR{k) |
умень |
шается. Методика выбора Тл |
такая |
же, как-и для ш[и] |
и о3 [;7]. |
|
|
|
|
|
|
|
Корреляционная функция процесса на выходе цифро вого фильтра может быть получена методом Монте-Кар ло. В том случае, когда процесс на выходе фильтра имеет нормальное или близкое к нормальному распре деление, оценка степени согласованности может быть
произведена методом |
доверительных интервалов |
[156, |
157]. При выходе Ri(k) |
за границы доверительных |
ин |
тервалов величину Г д следует уменьшить.
Для входного процесса в виде белого гауссова шума корреляционная функция процесса на выходе фильтра с точностью до постоянного множителя совпадает со сверткой от импульсной переходной характеристики фильтра
Если входной процесс и фильтр узкополосные, то можно получить выражения для коэффициентов корреляции квадратурных составляющих процесса на выходе филь тра, а также и для коэффициентов корреляции огибаю щей [1,7].
4. Оценка точности воспроизведения неслучайного сигнала может быть произведена по величине относи тельного отклонения сигнальных компонент на выходе
цифрового фильтра |
от соответствующих компонент на |
выходе непрерывного |
фильтра: |
Au(k) |
=[u(k)—u(k)]/u(k). |
К сожалению, в |
ряде задач характеристики процес |
сов на выходе непрерывного фильтра неизвестны и не |
могут быть поручены теоретически. Единственным ме тодом оценки точности моделирования в таких ситуа циях является следующий. Вначале выбираем шаг дискретизации Тл1 и для него по изложенной выше ме тодике определяем основные статистические характери стики. Затем выбираем Тя2<Тяі и повторяем все вычис ления. Сравниваем статистические характеристики при
Тщ и Г д 2 . |
Эта процедура должна продолжаться до тех |
пор, пока |
разности между моделируемыми величинами |
на k-м и /г+1-м шагах будут меньше допустимой по грешности Е.
В |
соответствии |
со вторым |
подходом необходимо тем |
или |
иным методом""определить' величину |
а2т для различ- |
|
— |
_ |
|
я |
ных |
значений Тц, |
при этом |
входным |
воздействием не |
прерывного и цифрового фильтров может быть функция единичного скачка или синусоидальный сигнал. Реак ция непрерывного фильтра определяется аналитически или численными методами решения дифференциальных
уравнений. Наиболее |
часто используется метод Р у н г е — |
Кутта [158]. Реакция |
цифрового фильтра определяется |
в соответствии с алгоритмом, описывающим его функ
ционирование. При |
этом |
выбирается |
та величина Тя, |
при которой ошибка |
^ |
не превышает |
допустимую ве- |
д
личину.
5.3.Б Ы С Т Р О Е П Р Е О Б Р А З О В А Н И Е Ф У Р Ь Е
5.3.1.Вводные замечания. Быстрое преобразование Фурье (БПФ)
является эффективным |
алгоритмом |
дискретного |
преобразования |
Фурье (ДПФ) для временных последовательностей. |
Эффективность |
его такова, что решение |
многих задач |
осуществляется значительно |
27—1410 |
|
|
405 |
быстрее, чем с помощью других известных методов. Д П Ф является
дискретным аналогом интегрального преобразования Фурье. В част ности, по нему определяется спектр временного ряда, а перемноже ние преобразовании двух временных рядов соответствует операции свертки временных рядов. Если методы цифрового анализа исполь зуются для анализа непрерывных процессов, то применяется времен ная дискретизация.
Использование алгоритма БПФ привело к значительному сокра щению вычислительного времени при решении следующих задач: вычисление энергетических спектров п автокорреляционных функции, моделирование фильтров, распознавание образов посредством дву мерной формы ДПФ, вычисление взаимных энергетических спектров и взаимно корреляционных функции. В табл. 5.1 приведено сравне ние количества операции, необходимых для «прямого» метода и ме тода БПФ. Здесь и в дальнейшем под словом «операция» подразу мевается выполнение комплексных умножения и сложения. Попутно отметим, что в настоящее время ведутся работы по созданию спе циализированных Э Ц В М , реализующих БПФ.
5.3.2. Преобразование Фурье и его интерпретация на ЭЦВМ . Непрерывные периодические функции времени обычно представимы рядами Фурье:
|
|
|
|
|
|
00 |
|
|
|
|
|
|
|
и (0 = |
|
£ F |
(л) е2 "''"" , |
|
|
|
|
|
|
п——00 |
|
|
|
|
где Т=\/} |
— период |
этой |
функции, |
F (п) — комплексные коэффици |
енты Фурье, |
определяемые как |
|
|
|
|
|
|
£(/г)=4" |
772С и (0 |
e~2rJnI'dt. |
|
Аналогичное выражение |
|
для непрерывных |
апериодических функ |
ций времени |
имеет вид |
|
|
|
|
|
|
|
|
|
|
|
|
|
оо |
|
|
|
|
|
|
|
Ь(1)=\ |
|
$ (/)е 2 ""' df, |
|
(5.40) |
|
|
|
|
|
—оо |
|
|
|
|
где |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
оо |
|
|
|
|
|
|
|
S (f) = |
|
^ v (0 |
e-2rJf' |
dt |
|
(5.40а) |
|
|
|
|
|
—со . |
|
|
|
|
— комплексный непрерывный |
частотный спекгр |
функции |
v{t). |
Одно |
из |
свойств |
Фурье-преобразоваиия, |
широко |
используемое |
при анализе линейных систем, состоит в том, что Фурье-преобразо вание свертки двух функций равно произведению преобразований
каждой |
функции в отдельности. Так, если для двух |
функций v\ (t) |
и v2(t), |
Фурье-преобразования |
которых равны Si(f) |
и S 2 (/) и опре |
деляются выражением (5.40а), |
свертка |
йз(/) |
имеет вид |
|
оо |
|
|
|
|
|
щ (t) = J |
«і (*) а г |
(t — і) |
di, |
(5.41) |
|
—00 |
|
|
|
|
to Фурье-преобразование для v3 (t) естЬ
|
|
5з (ft = S, (f) S 2 (/), |
т. е. операция |
свертки |
во временной |
области соответствует операции |
перемножения |
в частной области. |
|
Если при вычислении дискретной |
свертки |
|
|
Л>—1 |
|
».(*> = 1 |
Г $ ] "і ( * - ' ) » ! (0 . k = o. N — 1 |
|
|
i=0 |
|
используются стандартные методы, то в общем случае могут воз
никнуть значительные затраты машинного времени (табл. |
5.1). |
С помощью БПФ время вычислений можно уменьшить |
сле |
дующим образом. Вначале определяются преобразования Фурье для
v,(t) и *,(/), |
т. е. S, (/) |
и |
S 2 ( f ) . |
|
|
|
|
Затем производится |
почленное |
перемножение |
S3 |
(/) = S t (f) S2(f) |
и, |
наконец с помощью |
БПФ определяется обратное |
преобразование |
Фурье от 5 з ( / ) , т. е. vs(k). |
Метод |
БПФ будет быстрее стандартно |
го |
метода при N ^ 2 8 . |
|
|
|
|
|
|
Другая |
область применения |
преобразования |
Фу-рье — вычисле |
ние энергетических спектров, определяемых как Фурье-лреобразова- ние автокорреляционной функции.
При вычислении дискретного Фурье-преобразования на Э Ц В М используется конечное число выборок случайного процесса или его частотного спектра. В этом случае пара Фурье-преобразований, опре деляемая соотношениями (5.40) и (5.40а) для N выборок записы вается как
N-1
S ( f j = Ы Ц v (th) е-'2*'1" Ч п = 0, + 1 + N/2,
N12
і СО = |
А/ |
2 |
S ( f |
7 I |
) e |
2 |
^ |
\ k = 0, N - 1 . |
п=—ЛГ/2 |
|
|
|
|
|
Положив th=kAt, |
f n |
= nAf, где Ц=\/Т |
|
и td=T/N, |
получим |
|
|
N—\ |
|
|
|
|
|
|
|
|
] |
Sn=At |
|
S vke-2Ki"k'N, |
|
|
|
|
л = |
0, Д / - 1 , |
|
|
|
ft=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(5.42) |
|
|
N-L |
|
|
|
|
|
|
|
|
|
|
= Ы1 £ 5 „ є 2 * ' ' " * / " , ft = 0, J V - l . |
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
Преобразования |
для vn |
и 5 „ |
в |
|
|
(5.42) |
симметричны, за исклю |
чением знака экспоненты. В дальнейшем будем рассматривать воп27* 407