Научная статья на тему 'Линейная коммутация структуры пространства нелинейных устройств рекуррентного преобразования двоичных кодов'

Линейная коммутация структуры пространства нелинейных устройств рекуррентного преобразования двоичных кодов Текст научной статьи по специальности «Физика»

CC BY
138
33
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ПРОИЗВОЛЬНЫЙ ТРИГГЕР / ARBITRARY TRIGGER / ФУНКЦИИ ПЕРЕХОДА И ВОЗБУЖДЕНИЯ ВХОДОВ ТРИГГЕРОВ / TRANSITION AND EXCITATION FUNCTIONS OF INPUT TRIGGERS / СТРУКТУРА ПРОСТРАНСТВА / SPACE STRUCTURE / МАТРИЦА КОММУТИРУЮЩЕГО ВХОДА / SWITCHING INPUT MATRIX / ОСНОВНАЯ КОНЪЮНКЦИЯ ВЕКТОРА СОСТОЯНИЯ / MAIN CONJUNCTION OF STATE VECTOR / СИГНАЛ КОММУТАЦИИ / SWITCHING SIGNAL

Аннотация научной статьи по физике, автор научной работы — Ушаков Анатолий Владимирович, Яицкая Елена Сергеевна

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

LINEAR SWITCHING OF NONLINEAR DEVISES SPACE STRUCTURE FOR BINARY CODES RECURRENT CONVERSION

Linear switching problem is considered for binary codes recurrent conversion of nonlinear devises space structure with the memory block built in the logic of arbitrary triggers using nonlinear signal. Synthesis algorithm of such devises is proposed. Illustrative example is presented.

Текст научной работы на тему «Линейная коммутация структуры пространства нелинейных устройств рекуррентного преобразования двоичных кодов»

5

АНАЛИЗ И СИНТЕЗ СЛОЖНЫХ СИСТЕМ

УДК [517.938+519.713/.718]:621.398

ЛИНЕЙНАЯ КОММУТАЦИЯ СТРУКТУРЫ ПРОСТРАНСТВА НЕЛИНЕЙНЫХ УСТРОЙСТВ РЕКУРРЕНТНОГО ПРЕОБРАЗОВАНИЯ ДВОИЧНЫХ КОДОВ

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

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

Каноническое представление «вход-состояние-выход» произвольной двоичной динамической системы (ДДС) задается в виде двух векторных выражений [1, 2]

в которых X[x(k), u (k)], 5[x(k)] именуются соответственно функциями перехода и выхода. Если функции перехода и выхода допускают представление в виде линейных операций умножения матрицы на вектор и суммирования [3], то система именуется линейной двоичной динамической (ЛДДС), если такой возможности нет, то соотношения (1)-(2) задают нелинейную двоичную динамическую систему (НДДС) с вектором состояния x(k) размерности dim x(k) = n =]log2nt [, где nt - размерность ЛДДС, которая решает аналогичную с НДДС задачу преобразования кодов, k - дискретное время, выраженное в числе тактов длительностью At.

Нетрудно видеть из (1)-(2), что любая ДДС представляет собой функциональное объединение блока памяти (БП), который строится над двоичным полем Галуа GF (p)| =2 = {0;1} на триггерах, и комбинационной схемы, реализующей правила X и 5 . В схемотехнике современных устройств дискретной автоматики и техники преобразования кодов и кодовых последовательностей выделяют четыре базовых типа триггеров:

1. линейный синхронный одновходовый D-триггер;

2. линейный асинхронный одновходовый Т-триггер;

3. нелинейный синхронный двухвходовый ,Ж-триггер;

4. нелинейный асинхронный двухвходовый ^-триггер [1].

Очевидно, ЛДДС при реализации БП в своем составе используют линейные триггеры, причем в основном D-типа. НДДС могут быть реализованы на триггерах любых из перечисленных выше типов. При этом триггер как конечный автомат (КА) первого порядка, реализующий автоматную логику Мура [1], задается двумя функциями: функцией перехода вида x(k +1) = X,[x(k), v,(k)] и функцией возбуждения информационного входа (входов) вида v,(k) = ц,[x(k), x(k +1)]. Для случая нелинейных триггеров обе функции задаются в виде дизъюнкций основных конъюнкций, что делает их аналитически нелинейными.

Аналитические представления функций перехода и функций возбуждения входов триггеров

Аналитические представления функций перехода X,: x(k +1) = X,[x(k), v,(k), c(k)] и возбуждения информационных входов v,(k) = |,[x(k), x(k + 1)] в силу[1, 4] принимают следующий вид:

А.В. Ушаков, Е.С. Яицкая

Введение

x(k +1) = X[x(k), u(k)] , y(k) = 5[ x(k)],

(1) (2)

XD : x(k +1) = c (k)x(k) v c(k)vD (k) = vD (k)|

ID : VD (k) = x(k + 1)|c(k)=

Ic ( k )=1

для Т -триггера

XT : x(k +1) = x(k) + vT (k) IT : vT (k) = x(k) + x(k +1)'

[X: х(к +1) = (к(к) V (к)х(к)

- для Кй-триггера < _ _ ;

: (к) = х(к +1)х (к); ук (к) = х (к +1)х(к)

Г/ : х(к +1) = (к)х(к) V V/ (к)х(к)|

- для /К-триггера <! _ (к' _ .

[/ : V. (к) = х(к +1)х(к);ук (к) = х(к +1)х(к); с(к) = 1

Функции перехода триггеров Б - и Т -типа показывают, что состояние перехода х(к +1) линейно связано с исходным состоянием х(к) и с сигналом на информационном входе этих триггеров. При этом Т -триггер представляет собой Б -триггер, охваченный единичной обратной связью, и, если Б -триггер описывается передаточной функцией ФБ (ё) = ё, то Т -триггер - ФТ (ё) = ё/(1 + ё). Триггеры Кй - и /К -типа - нелинейные, так как их функции перехода показывают, что состояние перехода х(к +1) нелинейно связано с исходным состоянием х(к) и с сигналами на информационных входах этих триггеров. Все асинхронные триггеры (Т - и Кй -типа) могут быть поставлены в режим синхронных, если информационные входы этих триггеров возбуждать сигналами в виде конъюнкций {с(к(к)} и {с(кV(к)}, {с(к V (к )}.

Путем сравнения таблиц истинности функций перехода триггеров можно выявить возможность реализации одного триггера средствами другого. Таких «реализационных пар» не мало, приведем примеры некоторых из них. Так, Б -триггер может быть реализован с помощью Т -триггера в форме (к) = vD(к) + х(к)}, Кй -триггера в форме {^(к) = vD(к);vR(к) = ув(к)} и /К -триггера с помощью сигналов {с( к) = с(к); V. (к) = vD (к); vK (к) = уб (к)}.

В свою очередь, Т -триггер может быть реализован с помощью Б -триггера в формах {^ (к) = vT (к) + х(к)} и {с(к) = vT (к);vD (к) = х(к)}, с помощью Кй -триггера в форме

{V,, (к) = vT (к) + х(к);vК (к) = (^ (к) + х(к))}, а также /К -триггера в форме сигналов {с(к) = ^ (к); V/ (к) = ^ (к) = 1}.

Таким образом, триггеры обладают свойством взаимной функциональной трансформируемости.

Постановка задачи линейной коммутации структуры пространства НДДС, построенных в логике произвольных триггеров

Задача решается на примере НДДС, БП которой реализован на Б -триггерах, которые представляют собой элементы задержки на интервал дискретности длительности Д/, т.е. на один такт, и аналитически задаются передаточной функцией ФБ (ё) = ё.

Следует заметить, что в теории и практике ДДС возникают «пограничные» задачи, решение которых требует изменения структуры пространства [5] системы (1). К ним относятся задачи построения генераторов управляющих, тестовых и скремблирующих последовательностей, устройств управления приемом помехозащищенных кодов, помехозащитные свойства которых реализованы в режиме обнаружения искажений, а не исправления. Эти задачи сводятся к организации перехода ДДС из данного исходного состояния х(к) в требуемое состояние перехода хК (к +1) под действием некоторого служебного сигнала коммутации ыс, инициация которого порождается внешним вынуждающим сигналом Vг (к).

Постановка задачи. Осуществить переход НДДС (1) из исходного состояния х(к) в требуемое состояние хК (к +1) с помощью служебного скалярного сигнала коммутации ис и дополнительной матрицы-столбца коммутирующего входа Вс, включение которых приводит (1) к виду

хК (к +1) = Х[х(к), и (к)] + Всис, (3)

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

Таким образом, предметом работы являются формирование аналитических представлений матрицы Вс = Вс (хК (к +1), Х[х(к), и (к)]) в предположении, что в (3) обеспечено выполнение равенства

ис = 1; (4)

а также поиск структурных и сигнальных способов формирования сигнала коммутации ис вида (4).

Формирование аналитического представления для матрицы коммутирующего входа и сигнала коммутации структуры пространства состояний НДДС

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

Утверждение 1 (У.1). Если для НДДС (3) заданы вектор требуемого состояния перехода хк (к +1) и вектор исходного состояния х(к), а также выполняется условие (4), то матрица Бс коммутирующего входа, с помощью которой осуществляется переход из х(к) в хК (к +1), определяется выражением

Бс = х(к +1) + х^ (к +1), (5)

где х(к +1) = х(к), и(к)] - переходное состояние в случае отсутствия сигнала коммутации. □

Доказательство утверждения строится на использовании соотношения (3) в предположении заданных хК (к +1), х(к) и известной функции перехода (1) с последующим разрешением (3) относительно матрицы Бс ■

Определение 1 (О.1). Основной конъюнкцией &{(•)} набора (•) = (х1, х2

. хп) двоичных пере-

менных называется конъюнкция, которая на данном наборе принимает единичное значение &{(•)} = 1. □

Перенесем это определение с набора булевых переменных на вектор, составленный из тех же переменных.

Определение 2 (О.2). Основной конъюнкцией &{(*)} вектора (*) = (х(к)), составленного из элементов х1 е ОЕ(2) = {0;1} , будем называть конъюнкцию, которая на данном наборе двоичных переменных, образующих вектор х(к), принимает единичное значение &{(*)} = 1. □

Сформулируем утверждение для сигнала коммутации ис НДДС вида (3).

Утверждение 2 (У.2). Сигнал коммутации ис для НДДС (3) может быть сформирован в виде основной конъюнкции исходного вектора состояния х(к) и сигнала Vг принуждения изменения порядка (1) состояний НДДС на (3) в силу графов канонических переходов и(к) = 1. □

Доказательство. Рассмотрим НДДС (3) с введенным в нее сигналом коммутации ис. На момент коммутации (на момент начала перехода из исходного состояния х(к)) сигнально представлены только состояние х( к) и дополнительный внешний сигнал принуждения Vг, несущий информацию об изменении порядка состояний НДДС в силу графа канонических переходов (и (к) = 1). Таким образом, скалярный сигнал коммутации ис единичного значения можно получить, формируя основную конъюнкцию вида ис = &{х(к), vf } . ■

Схема формирования сигнала коммутации для версии НДДС (3) представлена на рис. 1. При этом решение задачи строится применительно к случаю реализации НДДС на ^-триггерах в автоматной логике Мура. Представим процесс формирования матрицы-столбца входа Бс и скалярного сигнала коммутации ис НДДС в виде следующего алгоритма.

и(к)

\[и(к),х(к)

х(к + 1) хК (к+1)

-*Ф~

БС

х(к)

О 8[ х(к)]

ук)

V

&

и

с

Рис. 1. Схема формирования сигнала коммутации нелинейной двоичной динамической системы (О - многомерный О-триггер; Ф - сумматор по модулю два)

Алгоритм 1 (А.1)

1. Задать граф и совмещенную таблицу переходов и выходов проектируемого устройства преобразования двоичных кодов (УПДК) на уровне его абстрактного представления (АП) в автоматной логике Мура.

2. Перейти от АП УПДК к представлению его в виде КА путем двоичного кодирования состояний и выходов АП, в результате чего УПДК будет представлен в виде НДДС с совмещенной таблицей переходов и выходов, записанной в кодах.

3. По совмещенной таблице переходов и выходов п.1 составить аналитические представления функций (1), (2) в булевом базисе.

4. Задать два набора векторов состояний: один из них - набор {х(к)} исходных состояний х(к), из

которых в силу решаемой задачи требуется осуществить переход, а другой - набор {хд (к +1)} со-

стояний перехода хК (к +1), в которые требуется осуществить переход в силу решаемой задачи, организовав на этих наборах пары, задействованные в переходах.

5. Сформировать согласно утверждению У.2 набор {^} сигналов коммутации в виде конъюнкций

uc = &{х(к), vf } .

6. Вычислить набор {Bc} матриц-столбцов коммутирующих входов Вс вида (5).

7. Составить описание полученного устройства коммутации в форме (3).

8. Осуществить проверку правильности функционирования устройства.

9. Осуществить техническую реализацию. ■

Пример. Рассматривается НДДС, средствами которой входная двоичная последовательность u(к) = 1(к) :111...11... преобразуется в выходную управляющую последовательность

у (к): 1101000111010001... с периодом Т = 7. Решается задача конструирования УПДК, которое с помощью внешнего принуждающего сигнала Vг преобразует НДДС, генерировавшую управляющую последовательность с периодом Т = 7 в НДДС, генерирующую управляющую последовательность с периодом Т = 5 вида у (к) :110101110101..., путем введения в исходную НДДС дополнительного сигнала коммутации uc. Для решения поставленной задачи воспользуемся алгоритмом А.1, в результате чего получим:

1. граф и таблицу переходов и выходов проектируемого УПДК на уровне его АП (рис. 2, табл. 1), а также таблицу кодирования элементов алфавитов высокого уровня АП элементами двоичного поля Га-луа GF (2) = {0;1} (табл. 2) и совмещенную таблицу переходов и выходов КА (табл. 3);

2. аналитические представления функций (1), (2) в булевом базисе

у(к) = х (к)х2 (к) V х (к)х2 (к)х3 (к); х1 (к +1) = uD1 (к) =

= х1 (к) х2 (к) х3 (к) V х1 (к) х2 (к) х3 (к) V м (к) х1 (к) х2 (к) х3 (к) V u(k) х1 (к) х2 (к) х3 (к); х2 (к +1) = uD 2 (к) =

= х (к) х2 (к) х3 (к) V u(k) х2 (к) х3 (к) V й (к) X (к) х2 (к) х3 (к) V й (к) х1 (к) х2 (к) х3 (к); х3 (к +1) = uD3 (к) =

= и (к)х2 (к)х3 (к) V u(k)х2 (к)х3 (к) V и (к)X (к)х2 (к)х3 (к) V ^к)х1 (к)х2 (к)х3 (к);

3. вектор исходного состояния х(к) = х(4), из которого требуется осуществить переход в вектор требуемого состояния хК (к +1) = х(0);

4. сигнал коммутации согласно утверждению У.2 uc = &{х(4), Vг } = х1 (к )х2 (к )х3 (к )v/;

5. матрицу-столбец коммутирующего входа

Вс = х(к +1) + хК (к +1) = [101]Т + [000]Т = [101]Т ;

6. описание полученного устройства коммутации

хК1 (к + 1) = UD1 (к) + Bcluc ; хк2 (к + 1) = UD1 (к) + Вс2uc ; хК3 (к + 1) = UD1 (к) + Вс3Uc ;

Рис. 2. Граф переходов и выходов (автоматная логика Мура): 2/, У = 1,2 - элемент алфавита 1

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

высокого уровня входов; й/,I = 1,7 - элемент алфавита й высокого уровня состояний;

Ш], у = 1,2 - элемент алфавита W высокого уровня выходов абстрактного представления

проектируемого устройства

м>(к) ^(к) ^(к) ^(к) ^(к) ^(к) ^(к ) ^(к )

s(k) ф) S2(k) Sз(k ) *4(к) s5(k) *б(к) S7(k)

2(к ) 2,(к ) ^(к +1) 52(к +1) 53(к +1) *А{к +1) 55(к +1) з^к +1) 57(к +1)

2,{к ) ,^2(к +1) ,^3(к +1) sA(k +1) я5(к +1) 86(к +1) s7(k +1) s1(k +1)

Таблица 1. Таблица переходов и выходов абстрактного представления

и и = К{2} У У = { /-л-, X X = К{£}

и У х1 х2 х3

0 0 0

0 М>1 0 5-2 0 0 1

53 0 1 0

г W £ 54 0 1 1

22 1 ^2 1 1 0 0

56 1 0 1

57 1 1 0

Таблица 2. Таблица кодирования алфавитов абстрактного представления

У(к) 1 1 0 1 0 0 0

х(к) 000 001 010 011 100 101 110

и (к) 0 000 001 010 011 100 101 110

1 001 010 011 100 101 110 000

х(к +1) = {х1 (к +1) х2 (к +1) х3 (к +1)}

Таблица 3. Таблица переходов и выходов конечного автомата

7. проверку правильности функционирования, осуществляемую на базе гипотезы, что полученное устройство приведено в состояние х(к) = х(4) = [100]г и на его вход подается сигнал Уу- принуждения изменения порядка (1) состояний НДДС на (3) в силу графов канонических переходов и(к) = 1. В этом случае должен обеспечиваться переход из состояния х(4) в х(0). Исходя из этого, имеем

хК1 (к +1) = ит (к) + Бс1ис = (1V 0 V 0 V 0) +1 = 0; хК 2( к +1) = ив 2(к) + Бс2ис = (0 V 0 V 0 V 0) + 0 = 0; хК3(к +1) = ив 3(к) + Бс 3ис = (0 V1V 0 V 0) +1 = 0. Таким образом, вектор требуемого состояния после коммутации структуры пространства имеет вид х^ (к +1) = [000]г.

Заключение

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

Литература

1. Баранов С.И. Синтез микропрограммных автоматов. - Л.: Энергия, 1979. - 232 с.

2. Бохман Д., Постхофф Х. Двоичные динамические системы. - М.: Энергоатомиздат, 1986. - 400 с.

3. Ушаков А.В., Яицкая Е.С. Двоичное динамическое наблюдение в задаче нелинейного формирования сигнала коммутации структуры пространства линейных устройств рекуррентного преобразования кодов // Проблемы управления и информатики. - 2012. - № 1. - С. 111-117.

4. Угрюмов Е.П. Цифровая схемотехника: Учебное пособие для вузов. - 2-е изд., перераб. и доп. - СПб: БХВ-Петербург, 2004. - 800 с.

5. Ушаков А.В., Яицкая Е.С. Анализ структуры пространства состояний линейных двоичных динамических систем на основе их рекуррентного модельного представления // Научно-технический вестник СПбГУ ИТМО. - 2011. - № 4 (74). - С. 43-49.

Ушаков Анатолий Владимирович - Санкт-Петербургский национальный исследовательский университет

информационных технологий, механики и оптики, доктор технических наук, профессор, [email protected]

Яицкая Елена Сергеевна - Санкт-Петербургский национальный исследовательский университет

информационных технологий, механики и оптики, аспирант, [email protected]

УДК 621.314.5:681.537

СИНХРОНИЗАЦИЯ ТРЕХФАЗНЫХ АКТИВНЫХ ВЫПРЯМИТЕЛЕЙ НАПРЯЖЕНИЯ С ПИТАЮЩЕЙ СЕТЬЮ

П. А. Борисов, Н.А. Поляков

Рассмотрен способ реализации управления трехфазным активным выпрямителем напряжения с учетом необходимости синхронизации с питающей сетью в условиях неидеального сетевого напряжения с искажениями формы потребляемого тока. Проведено моделирование в пакете MATLAB/Simulink, подтвердившее работоспособность и энергетическую эффективность способа.

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

Введение

Активный выпрямитель напряжения (АВН) представляет собой автономный инвертор напряжения, выполненный на силовых ключах с обратными диодами и обращенный на сторону сети переменного тока, который обеспечивает двунаправленный обмен энергии между питающей сетью и потребителем. В принцип работы АВН заложен импульсный повышающий напряжение регулятор, поэтому он обязательно содержит в своем составе токоограничивающий дроссель, устанавливаемый на стороне переменного тока. Для обмена реактивной мощностью, включающей мощность высших гармоник, между первичной сетью и АВН используется конденсатор силового фильтра (СФ) звена постоянного тока (ЗПТ) [1].

На сегодняшний день существует несколько подходов к управлению активными выпрямителями напряжения, наиболее перспективными из которых являются алгоритмы векторного управления с преобразованием координат. Однако для промышленных устройств необходимо учитывать неидеальный характер самой питающей сети. В связи с этим для достижения энергетической эффективности систем с трехфазными АВН в информационной подсистеме преобразователя необходимо обеспечивать фазовую автоподстройку частоты (ФАПЧ) для синхронизации с фазой и частотой первой гармоники фазового напряжения. В основу предлагаемого способа реализации управления АВН заложена так называемая «силовая» ФАПЧ (Power Phase Locked Loop) [2, 3], где для синхронизации с фазой питающей сети используется фазовый детектор, реализованный на триггерах и маломощной схеме «зарядового насоса» (charge pump).

Преобразование координат

Для описания электромагнитных процессов в системах переменного тока используются следующие системы координат:

- неподвижная ортогональная система координат оф;

- вращающаяся с произвольной угловой скоростью юк ортогональная система координат ху [3, 4].

В неподвижной системе координат ар вектор тока может быть представлен в комплексной и показательной форме (1):

1н = Ia+ Jh= IУ . (1)

Аналогично во вращающейся системе координат тот же вектор может быть представлен в виде I вр = Ix + jIT = ImeJ ^ = Ih e-™ (2)

Из (1) и (2) можно получить уравнения для перехода от неподвижной системы координат к вращающейся и обратно (преобразования Парка-Горева). Если принять, что IX и IT - соответственно активная и реактивная составляющие обобщенного вектора сетевого тока и система синхронизирована относительно синусоиды электродвижущей силы (ЭДС) фазы А, то получим систему уравнений

i Надоели баннеры? Вы всегда можете отключить рекламу.