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

 

Изобретение относится к области вычислительной техники и радиотехники и предназначено для использования в комплексах автоматизированных систем управления сетями спутниковой связи. Целью изобретения является создание управляемого вероятностного автомата с расширенными функциональными возможностями за счет обеспечения моделирования управляемых полумарковских цепей, формируемых на основе гауссова представления процессов, реально протекающих в управляемой системе связи. Вероятностный автомат содержит датчик случайной последовательности 1, блок формирования корректирующей последовательности 2, блок коррекции 3, блок формирования значений матрицы 4 переходных вероятностей, блок управления 5, блок формирования значений индикаторов 6, генератор тактовых импульсов 7, элемент И 8, блок элементов И 9, блок памяти 10, дешифратор 11, блок задания времени 12 и элемент ИЛИ 13. 4 з.п. ф-лы, 7 ил.

Изобретение относится к области вычислительной техники и радиотехники и предназначено для использования в комплексах автоматизированных систем управления военными сетями спутниковой связи с радио-АТС Единой системы спутниковой связи второго этапа развития (УССС-2) Известен автономный вероятный автомат, содержащий генератор тактовых импульсов, два генератора случайных импульсов, два блока элементов И, три регистра, блоки задания закона распределения и памяти (см. авт. св. СССР N 734701, G 06 F 15/20, 1980, бюл.18).

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

Известен вероятный автомат, содержащий генератор пуанссоновского потока импульсов, генератор тактовых импульсов, элемент И, регистр, блоки задания закона распределения, элементов И и памяти (см. авт. св. СССР N 645162, G 06 F 15/20, 1979).

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

Наиболее близким по технической сущности к заявляемому устройству (прототипом) является вероятностный автомат (см. авт. св. СССР N 1045232, G 06 F 15/36, 1983, бюл.36), содержащий генератор тактовых импульсов, элементы И и ИЛИ, регистр сдвига, блока памяти и задания времени.

Недостатком прототипа является то, что выбор состояния регистром сдвига производится без учета внешних управляющих воздействий, вследствие чего вероятностный автомат не может моделировать управляемые цепи Маркова, что исключает его применение для анализа реальных сетей связи. Данный вероятностный автомат позволяет моделировать неуправляемые полумарковские цепи, в то время как большинство процессов, реально протекающих в сетях спутниковой связи (СС) с радио-АТС ECCC-2, являются управляемыми. Реализация управляющих воздействий приводит к изменению вероятностно-временного механизма процесса перехода системы из одного состояния в другое. Например, ограничение доступа абонентов к радиоресурсу ретранслятора или же ограничение их по времени информационного обмена, вводимые при резком возрастании пользовательского трафика с целью предотвращения перегрузки сети СС с радио-АТС, приводит к изменению вероятности перегрузки сети и времени ее пребывания в нормальном состоянии.

Кроме того, анализируя процесс без учета шумов наблюдения, устройство -прототип не позволяет моделировать марковские цепи на основе гауссовских последовательностей, являющихся наиболее общей моделью вероятности процессов, реально протекающих в системе связи (с учетом канальных шумов, шумов трактов приема и т.п.). Моделирование марковских последовательностей на основе гауссовских процессов позволяет использовать для проверки правильности принимаемых решений наиболее мощные из известных в настоящее время методов оптимизации методов, основанных на принципе оптимальности Беллмана и принципе максимума Понтрягина [1, 2, 3] Целью предлагаемого изобретения является создание управляемого вероятностного автомата с расширенными функциональными возможностями за счет обеспечения моделирования управляемых полумарковских цепей, формируемых на основе гауссова представления процессов, реально протекающих в системе связи.

Указанная цель достигается тем, что в известный вероятностный автомат, содержащий генератор тактовых импульсов, элементы И и ИЛИ, блоки элементов И, памяти, задания времени, дополнительно введены датчик случайной последовательности, блоки формирования корректирующей последовательности, коррекции, формирования значений элементов матрицы, формирования значений индикаторов, управления и дешифратор. Выход генератора тактовых импульсов подключен к прямому входу элемента И и первому входу блока задания времени, выход элементы И соединен с входом блока элементов И, с синхронизирующим входом блока формирования значений индикаторов и с вторым входом устройства управления. Группа выходов блока элементов И соединена с входами блока памяти, группа выходов которого соединена с группой входов блока задания времени, группа выходов которого подключена к входам элемента ИЛИ и является выходами устройства. Выход элемента ИЛИ соединен с инверсным входом элемента И, выход датчика случайной последовательности подключен к первой группе входов блока коррекции, группа выходов которого соединена с первой группой входов блока формирования значений индикаторов. Вторая группа входов блока коррекции подключена к группе выходов блока формирования корректирующей последовательности. Группа выходов блока формирования значений элементов матрицы параллельно подключена к группе входов блока формирования корректирующей последовательности, к третьей группе входов блока коррекции и к второй группе входов блока формирования значений индикаторов. Выход блока управления соединен с входом блока формирования значений элементов матрицы и с входом дешифратора. Группа выходов блока формирования значений индикаторов соединена с группой входов блока элементов И. Третья группа входов блока формирования значений индикаторов соединена с группой выходов блока памяти. Выход дешифратора подключен к второму входу блока задания времени. Первый вход блока управления является входом управляемого вероятностного автомата.

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

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

Блок управления состоит из постоянного запоминающего устройства (ПЗУ) и счетчика обращения к ПЗУ. Первый вход ПЗУ является первым входом блока управления. Второй вход блока управления подключен к первому входу счетчика обращений к ПЗУ, выход которого подключен ко второму ПЗУ. Второй вход счетчика обращений к ПЗУ соединен с первым выходом ПЗУ, второй выход которого является выходом блока управления.

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

Принцип создания предлагаемого управляемого вероятностного автомата основан на известных результатах теории марковских процессов и теории переменных состояния, когда процесс изменения состояний сети многоканальной радиосвязи (сети спутниковой связи с радио-АТС) можно представить в виде [1] где C(kT_cc) m, m 1, M матрица строка возможных значений X(k); вектор индикаторов состояния процесса X(kT_cc) [3] элементы которого принимают значения P((k+1)T, T, u) матрица переходных вероятностей процесса учитывающая вводимые управления u, вектор случайных дискретных по состоянию последовательностей возбуждения процесса с нулевым средним и единичной дисперсией, Г(kT_cc)=diag{2P_mm} матрица возбуждения процесса T_cc управляемый период смены состояния процесса X(kT_cc).

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

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

Заявленное устройство поясняется чертежами, где на фиг. 1, 2 - представлена структурная схема управляемого вероятностного автомата; на фиг. 3 структурная схема блока формирования корректирующей последовательности; на фиг. 4 структурная схема блока коррекции; на фиг. 5 структурная схема блока управления; на фиг. 6 структурная схема блока формирования значений индикаторов; на фиг. 7 вид плотности распределения вероятности управляющей последовательности Г(kT_cc) при различных значениях финальных вероятностей.

Вероятностный автомат, показанный на фиг. 1,2 состоит из датчика случайной последовательности 1, блока формирования корректирующей последовательности 2, блока коррекции 3, блока формирования значений матрицы 4, блока управления 5, блока формирования значений индикаторов 6, генератора тактовых импульсов 7, элемента И 8, блока элемента И 9, блока памяти 10, дешифратора 11, блок задания времени 12, элемента ИЛИ 13. Выход генератора тактовых импульсов 7 подключен к прямому входу элемента И 8 и первому входу блока задания времени 12. Выход элемента И 8 соединен с входом блока элементов И 9, с синхронизирующим входом 64 блока формирования значений индикаторов 6 и с вторым входом блока управления 5. Группа выходов блока элементов И 9 соединена с входами блока памяти 10, группа выходов которого соединена с группой входов блока задания времени 12, группа выходов которого подключена к входам элемента ИЛИ 13 и является выходами устройства. Выход элемента ИЛИ 13 соединен с инверсным входом элемента И 8. Выход датчика случайной последовательности 1 подключен к первой группе входов блока коррекции 3, группа выходов которого соединена с первой группой входов блока 6 формирования значений индикаторов. Вторая группа входов блока коррекции 3 подключена к группе выходов блока формирования корректирующей последовательности 2. Группа выходов блока формирования значений элементов матрицы 4 параллельно подключена к группе входов блока формирования корректирующей последовательности 2, к третьей группе входов блока коррекции 3 и к второй группе входов блока формирования значений индикаторов 6. Выход блока управления 5 соединен с входом блока формирования значений элементов матрицы 4 и с входом дешифратора 11. Группа выходов блока формирования значений индикаторов 6 соединена с группой входов блока элементов И 9. Третья группа входов блока формирования значений индикаторов 6 соединена с группой выходов блока памяти 10. Выход дешифратора 11 подключен к второму входу блока задания времени 12. Первый вход блока управления 5 является входом вероятностного автомата.

Блок формирования корректирующей последовательности 2 (фиг. 3) состоит из группы умножителей 201_оо 201_мм, группы сумматоров 202_о 202_м, решающего устройства 203, вычислителя корректирующей последовательности 204. Группа входов 21_о 21_м блока формирования корректирующей последовательности 2 соединена с первыми входами умножителей 201_оо 201_мм, выходы которых соединены с входами 22_о 22_м. Выходы сумматоров параллельно подключены ко вторым входам умножителей 201_оо 201_мм и к входам 23_о - 23_м решающего устройства 203, выходы которого соединены с входами 24_о 24_м вычислителя корректирующей последовательности 204. Выходы вычислителя корректирующей последовательности 204 являются выходами блока формирования корректирующей последовательности 2. Блок 2 реализуется в виде арифметического устройства, элементы которого известны и построены идентично приведенным в работах:
группа умножителей 210_оо 201_мм [4]
сумматоры 202_о 202_м Пяткин О.А. Проектирование микроэлектронных цифровых устройств. -М. Сов. Радио, 1977, с. 123, рис. 4.12;
решающее устройство 203 реализуется в виде конструктивного известного компаратора, описанного в книге Сидорова А.И. и Лебедева О.И. Импульсные и цифровые устройства. -Л. BAC, 1980, с. 34, рис.19;
вычислитель корректирующей последовательности 204 реализуется в виде универсального арифметико -логического устройства описанного в [5]
Блок коррекции 3, представленный на фиг. 4, состоит из группы сумматоров 301_о 301_м и группы умножителей на два 302_о - 302_м. Первая группа входов 31_о 31_м блока коррекции 3 подключена к первым входам сумматоров 301_о 301_м. Вторая группа входов 32_о 32_м блока коррекции 3 подключена к первым входам умножителей на два 302_о 302_м, ко втором входам которых подключена третья группа входов 34_о 34_м блока коррекции 3. Выходы умножителей на два 302_о 302_м соединены с вторыми входами сумматоров, 301_о 301_м выходы которых 33_о - 33_м является выходами блока коррекции 3. Технически сумматоры 301_о 301_м и умножители 302_о 302_м реализуются аналогично сумматорам и умножителям блока формирования корректирующей последовательности 2.

Блок управления 5, представленный на фиг. 5 состоит из постоянного запоминающего устройства 501 и счетчика обращения к ПЗУ 502. Первый вход ПЗУ 5.1 является первым входом 51 блока управления 5. Второй вход 52 блока управления 5 подключен к первому входу 5.7 счетчика обращений к ПЗУ 502, выход 5.5 которого подключен ко второму входу 5.2 ПЗУ 501. Второй вход 5.6 счетчика обращений к ПЗУ 502 соединен с первым выходом 5.4 ПЗУ 501, второй выход 5.3 которого является выходом 53 блока управления 5. Частый случай технической реализации ПЗУ 501 и счетчика обращений к ПЗУ 502 представлен в работе Соботка 3. Стары Я. Микропроцессорные системы. -М. Энергоиздат, 1981, с. 96-100.

Блок формирования значений индикаторов 6 (фиг. 6) состоит из группы вычислителей значений индикаторов 601_о 601_м. Первая 61_о 61_м и вторая 62_о 62_м группа входов каждого из вычислителей значений индикаторов 601_о 601^м являются первой и второй группой входов блока формирования значений индикаторов 6, каждый вход третьей группы входов 63_о 63_м которого является третьим входом каждого из вычислителей значений индикаторов 601_о 601_м. К четвертому входу каждого из вычислителей значений индикаторов параллельно подключен четвертый вход 64 блока формирования значений индикаторов 6. Выходы каждого из вычислителей значений индикаторов 601_о 601_м образуют группу выходов 65_о 65_м блока формирования значений индикаторов 6. Вычислители 601_о 601_м блока вычисления индикаторов 6 могут быть реализованы в виде универсальных АЛУ, известных и описанных в [5] или же на перемножителях, описанных в [4]
Датчик случайной последовательности 1, входящий в общую структурную схему, может быть реализован в виде известного и описанного в [6, с. 42, рис. 25]
Блок формирования значений матрицы 4, входящий в общую структурную схему, реализуется в виде запоминающего устройства, аналогично описанному в книге Якубовского В. С. Аналоговые и цифровые интегральные микросхемы. -М. Сов. радио, 1979, с. 137, рис. 3.51.

Генератор тактовых импульсов 7, входящий в общую структурную схему, реализуется в виде известного и описанного в работе Благин И.А. Кудрявцев В.А. Илинюта Н. Ф. Передача дискретной информации и телеграфия. М. Транспорт и связь, 1971, с.203, рис. 203.

Элементы И 8, 9, и элемент ИЛИ 13, входящие в общую структурную схему, могут быть построены в соответствии с описанными в [6, с. 20-24, рис. 9,11]
Блок памяти 10, входящий в общую структурную схему, реализуется в соответствии с описанием, представленным в работе: Старос Ф.Г. Крайзнер Л.П. Интегральные запоминающие устройства. М. Энергия, 1973, с. 98, рис. 5.16.

Дешифратор 11, входящий в общую структурную схему, построен в виде известного и описанного в книге Шляпоберского В.И. Основы техники передачи дискретных сообщений, М. Связь, 1973, с. 152, рис. 3.43.

Блок задания времени 12, входящий в общую структурную схему, реализуется в виде таймера, аналогично описанному в работе Гольденберг А.М. Импульсные устройства, М. Радио и связь, 1981, с. 78, рис. 3.11.

Вероятностный автомат работает следующим образом. С выхода датчика случайной последовательности 1 значения случайной вспомогательной последовательности v' с нормальной плоскостью распределения в двоичном коде поступают на вход блока коррекции 3. В блоке 2 формируются значения корректирующих последовательностей в соответствии с правилом "трех сигм", изложенном в работе Корн Г. Корн Т. Справочник по математике для научных работников и инженеров. Определения. теоремы. формулы. М. Наука, 1984, - 833 с.

где p_mf финальная вероятность нахождения автомата в m м состоянии, определяемая с заданной точностью блоком 2 при аппаратурной реализации уравнения Колмогорова-Чепмена: Блок формирования корректирующей последовательности 2 может быть реализован по схеме, представленной на фиг. 3. Формирование корректирующей последовательности производится следующим образом. Группы умножителей 201_о 201_м и группа сумматоров 202_о 202_м реализуют уравнение Колмогорова -Чепмена: по значениям элементов матрицы переходных вероятностей (ПВ), поступающих в двоичном коде с выходов блока 4, и значениями вычисленных на предыдущем шаге. При достижении (с заданной для автомата точностью) вектором вероятностей своих финальных значений решающее устройство 203 подает на входы 24_о 24_м вычислителя значений корректирующей последовательности 204 значения финальных вероятностей М возможных состояний автомата. В вычислителе 204 осуществляется сравнение значений финальных вероятностей и формируются значения корректирующей последовательности в соответствии с (3).

В блоке 3 по значениям корректирующих последовательностей производится коррекция математического ожидания (МО) последовательности v' в соответствии с условиями, определяемыми принятой моделью (2). В блоке 3 осуществляется также коррекция дисперсии последовательности v' в соответствии с правилом Г_m=2P_mm, определяемым моделью (2). Блок коррекции 3 может быть реализован по схеме, представленной на фиг. 4. Коррекция МО и дисперсии последовательности v' производится следующим образом. Значения корректирующей последовательности поступают на входы 31_о 31_м группы сумматоров 301_о 301_м, на другой вход сумматоров поступают с умножителей 302_о 302_м откорректированные по дисперсии в соответствии с правилом Г_m=2P_mm значения Г_mv' вспомогательной последовательности v'. Значения P_mm поступают на входы 32_о 32_м с выходов блока 4. На выходах сумматоров 301_о - 301_м имеем значения откорректированных последовательностей Г_mV_m. Примеры функций распределения откорректированных последовательностей при различных значениях финальных вероятностей представлены на фиг. 7.

С выходов блока 3 значения откорректированной вспомогательной последовательности поступают на группу входов блока формирования значений индикаторов 6. В блок 6 с группы выходов блока памяти 10 также поступают значения индикаторов состояния на предыдущем интервале смены состояния автомата Θ_o(kT_cc)-Θ_м(kT_cc) В моменты выхода автомата из предыдущего состояния в блоке 6 по значениям откорректированной вспомогательной последовательности и значениям индикаторов на предыдущем интервале вычисляются значения индикаторов на следующий период T_cc по соответствующему модели (2) выражению

Блок вычисления значений индикаторов 6 может быть реализован по схеме, представленной на фиг. 6. Вычисление значений индикаторов производится следующим образом. Вычислители 601_о 601_м значений индикаторов по значениям откорректированных последовательностей Г_mV_m, поступающих на входы 63_о 63_м, по значениям индикаторов предыдущего состояния автомата, поступающих на группу входов 62_о - 62_м с выходов блока 10, и по значениям элементов матрицы ПВ, поступающих на входы 61_о 61_м от блока 4, в момент появления синхронизирующего импульса на входе 64 реализуют расчет значений М индикаторов в соответствии с выражением (4).

Моменты выхода автомата из предыдущего состояния определяются тактовым генератором 7, элементом ИЛИ 13, элементом И 8 при формировании нулевой комбинации на выходе блока задания времени 12. С помощью блока элементов И 9 производится запись вычислительных значений индикаторов Θ_o(kT_cc)-Θ_M(kT_cc) в блок памяти 10, где реализуется их хранение до момента истечения периода смены состояния T_cc. Период смены состояния определяется блоком задания времени 12 по значениям кода, формируемого блоком управления 5. При этом значения кода с выхода блока управления 5 преобразуются дешифратором 11 в код, соответствующий значению T_cc, записываются в реверсивный счетчик блока 12 и считываются тактовым генератором 7 до момента появления нулевой комбинации на выходе блока 12, свидетельствующей об истечении времени пребывания автомата в данном состоянии. Управление вероятностно-временным механизмом смены состояний автомата производится сменой значений элементов матрицы переходных вероятностей на выходах блока формирования значений матрицы 4, осуществляемого по управляющим кодовым комбинациям, поступающим с выхода блока управления 5 в моменты выхода автомата из предыдущего состояния. Коррекция значения периода смены состояний, соответствующего формируемой на следующий шаг (k+1)T_cc матрице ПВ, как было отмечено выше, производится также по значениям управляющей кодовой последовательности, формируемой блоком 5.

Блок управления 5 представляет собой куб постоянной памяти, в котором записана программа работы устройства и может быть реализован по схеме, представленной на фиг. 5. Формирование управляющей кодовой последовательности производится следующим образом. С внешнего источника через вход 51 блока управления 5 на вход 5.1 ПЗУ 501 производится запись в двоичном коде значений элементов матрицы ПВ, соответствующей вводимому управлению, в ячейки памяти ПЗУ 501. Отсчеты моментов выхода автомата из предыдущего состояния поступают от элемента И 8 через вход 52 блока управления 5 на вход 5.7 счетчика обращений к ПЗУ 502 и определяют, поступая из выхода 5.5 счетчика на вход 5.2 ПЗУ 501, момент начала считывания значений элементов хранящейся в ПЗУ 501 новой матрицы ПВ в виде двоичного кода через выход 53 блока управления 5 в блок формирования значений индикаторов 4 и в дешифраторов 11. С выхода 5.4 ПЗУ 501 на вход 5.6 счетчика обращений к ПЗУ 502 в момент считывания матрицы ПВ, поступает сигнал, сбрасывающий значения счетчика 502 и дающий команду счетчика 502 начать новый отсчет для вновь введенного управляющего воздействия.

Значения элементов матрицы поддерживаются постоянными на выходах блока 4 в течение цикла управления и служат для реализации вычислений по выражениям (3), (4).

В итоге, на выходах блока 12 имеем, записанные в двоичном коде значения индикаторов состояния управляемого вероятностного автомата в каждый из моментов времени (определяемых генератором тактовых импульсов 7), с учетом введенного управляющего воздействия.

Таким образом, из анализа принципа работы очевидно, что заявляемый вероятностный автомат, наряду с сохраненными возможностями моделирования неуправляемых полумарковских цепей, способен моделировать управляемые вероятностные процессы, реально протекающие в сетях радио-АТС ECCC-2, позволяет на своей основе проводить верификацию решений, принимаемых в контуре управления системой СС, что существенно расширяет функциональные возможности аппаратуры, где заявленный вероятностный автомат будет использован.

Источники информации
1. Сэйдж Э, Мелс Дж. Теория оценивания и ее применение в связи и управлении. М. Связь, 1976, 496 с.

2. Сэйдж Э. Уайт Ч. Оптимальное управление системы. М. Радио и связь, 1982, 92 с.

3. Segall A. Optimal Control of Noise Finit State Markov Process IEEE Trans. Automat Contr. 1977, v. 22, N 2, p. 179-186;
4. Паперков А.А. Логические основы ЦВТ. М. Связь, 1973, с. 203, рис. 4;
5. Дроздов Е.А. Комарницкий В.А. Пятибратов А.П. ЭВМ ЕС. -М. Машиностроение, 1981, с. 158-170.

6. Мальцева Л.А. Франберг Э.М. Ямпольский В.С. Основы цифровой техники. М. Радио и связь, 1980.

Формула изобретения

1. Вероятностный автомат, содержащий блок элементов И, блок памяти, блок задания времени, элемент ЗАПРЕТ, элемент ИЛИ и генератор тактовых импульсов, выход которого соединен с прямым входом элемента ЗАПРЕТ и первым входом блока задания времени, выходы которого являются выходами автомата и подключены к входам элемента ИЛИ, выход которого соединен с инверсным входом элемента ЗАПРЕТ, выход которого подключен к входу блока элементов И, выходы которого соединены с входами блока памяти, выходы которого подключены к группе входов блока задания времени, отличающийся тем, что в него введены датчик случайной последовательности, блок формирования корректирующей последовательности, блок коррекции, блок формирования значений элементов матрицы переходных вероятностей, блок формирования значений индикаторов, блок управления и дешифратор, причем выход датчика случайной последовательности подключен к первой группе входов блока коррекции, группа выходов которого соединена с первой группой входов блока формирования значений индикаторов, вторая группа входов блока коррекции подключена к группе выходов блока формирования корректирующей последовательности, группа входов которого соединена с группой выходов блока формирования значений элементов матрицы переходных вероятностей, подключенной к третьей группе входов блока коррекции и к второй группе входов блока формирования значений индикаторов, синхронизирующий вход которого соединен с выходом элемента ЗАПРЕТ, подключенным к первому входу блока управления, второй вход которого является входом автомата, а выход соединен с входом блока формирования значений элементов матрицы переходных вероятностей и с входом дешифратора, выход которого подключен к второму входу блока задания времени, группа входов блока элементов И соединена с группой выходов блока формирования значений индикаторов, третья группа входов которого соединена с группой выходов блока памяти.

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

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

4. Автомат по п. 1, отличающийся тем, что блок управления состоит из постоянного запоминающего устройства и счетчика, причем первый вход и первый выход постоянного запоминающего устройства являются соответственно вторым входом и выходом блока, первый вход которого подключен к входу счетчика, выход которого соединен с вторым входом постоянного запоминающего устройства, второй выход которого подключен к второму входу счетчика.

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

РИСУНКИ

Рисунок 1, Рисунок 2, Рисунок 3, Рисунок 4, Рисунок 5, Рисунок 6, Рисунок 7