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

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

Реферат

 

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

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

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

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

Известен вероятностный автомат, содержащий блок элементов И, блок памяти, блок задания времени, элемент ЗАПРЕТ, элемент ИЛИ, датчик случайной последовательности, блок формирования корректирующей последовательности, блок коррекции, блок формирования значений матрицы, блок формирования значений индикаторов, блок управления, дешифратор и генератор тактовых импульсов (см. патент РФ 2099781, G 06 F 17/00, 1997, бюл.35).

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

Наиболее близким по технической сущности к заявляемому устройству (прототипом) является вероятностный автомат (см. патент РФ 2139569, G 06 F 17/18, 1999, бюл.28), содержащий датчик случайной последовательности, блок формирования нецелочисленных значений индикаторов, блок коррекции, блок формирования значений матрицы, блок управления, блок пороговых устройств, блок формирования значений индикаторов, блок элементов И, блок памяти, блок задания времени, дешифратор, элемент ЗАПРЕТ, элемент ИЛИ и генератор тактовых импульсов, выход которого соединен с прямым входом элемента ЗАПРЕТ и тактовым входом блока задания времени, группа выходов которого является группой выходов "индикаторы состояния" (в описании прототипа эта группа выходов обозначена словами "группа выходов") автомата и подключена к группе входов элемента ИЛИ, выход которого соединен с инверсным входом элемента ЗАПРЕТ, выход которого подключен к тактовым входам блока элементов И, блока формирования значений индикаторов и блока управления, второй вход которого является входом автомата, а управляющий выход подключен к входам дешифратора и блока формирования значений матрицы, группа выходов блока формирования значений индикаторов соединена с группой входов блока элементов И, выходы которого подключены к входам блока памяти, группа выходов которого соединена с группой входов блока задания времени, управляющий вход которого подключен к выходу дешифратора, группа управляющих входов блока формирования нецелочисленных значений индикаторов соединена с выходами блока формирования значений матрицы, группа его интерполяционных входов подключена к выходам блока памяти, а группа его выходов соединена с группой вспомогательных входов блока формирования значений индикаторов и с группой информационных входов блока коррекции, стартовый вход которого подключен к выходу датчика случайной последовательности, выход блока коррекции соединен с входом блока пороговых устройств, выходы которого подключены к информационным входам блока формирования значений индикаторов, пороговые выходы блока управления параллельно подключены к пороговым входам блока коррекции и блока пороговых устройств.

Достоинством прототипа является его способность моделировать управляемые полумарковские цепи с динамической коррекцией пороговых значений (границ) состояний случайных процессов, протекающих в управляемой сети многоканальной радиосвязи. Однако прототип имеет недостаток - невозможность идентификации и верификации при моделировании граничных и аварийных (катастрофичных) состояний управляемой сети многоканальной радиосвязи, состояний, характерных для аварийного, критического положения параметров надежности и устойчивости моделируемой сети. Ошибка моделирования в вопросе о сохранении надежности и устойчивости при плавных и незначительных вариациях параметров управляемой сети многоканальной радиосвязи очень опасна. Вопросами идентификации и верификации возможных катастрофических состояний моделируемого объекта занимается раздел математической теории, называемый теорией катастроф [1-3]. Данная теория посвящена скачкообразным изменениям состояний моделируемого процесса, возникающим в виде внезапного ответа системы (модели) на плавное изменение внешних условий и управляющих воздействий. Катастрофы на управляемой сети многоканальной радиосвязи могут выступать в виде неожиданных перегрузок коммутационных устройств, резких перепадов пропускной способности каналов, скачкообразного изменения параметров среды распространения сигнала и т.п. Например, с целью осуществления динамического многокритериального управления процессом функционирования сети многоканальной радиосвязи оператор (пользователь) формирует управляющие воздействия, рассчитанные на определенную пропускную способность сети. Однако во время функционирования сети многоканальной радиосвязи происходит плавный дрейф параметров среды распространения сигнала (например, изменение конфигурации отражающего тропосферного слоя - для тропосферной связи), который в непредвиденный момент времени способен привести к скачкообразному изменению состояния показателей пропускной способности сети, а как следствие, - к потере надежности и устойчивости функционирования сети многоканальной радиосвязи в целом. Адекватная модель состояний сети многоканальной радиосвязи должна быть способна проводить идентификацию и верификацию граничных и аварийных (катастрофичных) состояний, должна быть способна предсказать возможное катастрофическое состояние сети, давая тем самым пользователю (оператору) возможность избежать состояний, характерных для аварийного, критического положения параметров надежности и устойчивости сети. Неучет плавного изменения внешних параметров сети многоканальной радиосвязи и управляющих воздействий на сеть облегчает задачу моделирования, однако резко снижает степень адекватности модели, уровень достоверности результатов моделирования.

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

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

Блок анализа катастроф состоит из центрального оперативного запоминающего устройства (ОЗУ), m исполнительных ОЗУ, постоянного запоминающего устройства (ПЗУ), элемента итерационного сравнения, элемента сравнения, промежуточного ОЗУ, промежуточного элемента И и элемента И, причем М управляющих входов центрального ОЗУ являются соответствующими М управляющими входами блока анализа катастроф, М управляющих выходов центрального ОЗУ являются соответствующими М управляющими выходами блока анализа катастроф. Тактовый вход центрального ОЗУ подключен к входу ПЗУ и является тактовым входом блока анализа катастроф, i-ый исполнительный выход центрального ОЗУ, где i=1,2,... , m, подключен к входу i-го исполнительного ОЗУ. Входы m исполнительных ОЗУ объединены и подключены к второму входу элемента итерационного сравнения и первому входу элемента сравнения, выходы m исполнительных ОЗУ объединены и подключены к первому входу элемента итерационного сравнения. Выход ПЗУ соединен со вторым входом элемента сравнения, выход элемента итерационного сравнения подключен к входу промежуточного ОЗУ и второму входу промежуточного элемента И, первый вход которого соединен с выходом промежуточного ОЗУ. Выход промежуточного элемента И подключен к выходу элемента сравнения и первому входу элемента И, второй вход которого является проверочным входом блока анализа катастроф. Выход элемента И соединен со считывающим входом центрального ОЗУ и является предупредительным выходом блока анализа катастроф.

Блок управления состоит из управляющего ОЗУ, порогового ОЗУ, счетчика и проверочного ОЗУ. Тактовый выход счетчика подключен к тактовым входам управляющего, порогового и проверочного ОЗУ. Сбрасывающие выходы управляющего, порогового и проверочного ОЗУ объединены и подключены к сбрасывающему входу счетчика, тактовый вход которого является тактовым входом блока управления. Информационные входы управляющего, порогового и проверочного ОЗУ соединены между собой и являются вторым входом блока управления. Выход управляющего ОЗУ является управляющим выходом блока управления, m-1 выходов порогового ОЗУ являются соответствующими m-1 пороговыми выходами блока управления. Выход проверочного ОЗУ является проверочным выходом блока управления.

Принцип создания предлагаемого управляемого вероятностного автомата основан на известных результатах теории переменных состояний и теории марковских процессов, изложенных в работах [4-7], а также на результатах исследований в области теории катастроф, изложенных в работах [1-3]. Анализ работ [4-7] позволяет применить для аналитического вероятностно-временного описания системы показателей качества функционирования сетей многоканальной радиосвязи аппарат управляемых цепей Маркова в форме разностных стохастических уравнений. Анализ работ [1-3] позволяет сформировать математически корректный алгоритм идентификации и верификации граничных и аварийных (катастрофичных) состояний моделируемых случайных процессов при плавных изменениях параметров внешних условий и управляющих воздействий. Таким образом, в рамках моделирования управляемых полумарковских цепей решается задача априорного оценивания и сравнения значений элементов матрицы переходных вероятностей разностного стохастического уравнения. С точки зрения физической интерпретации, это процесс априорного статистического анализа плавных и незначительных изменений внешних условий и управляющих воздействий на сеть многоканальной радиосвязи с возможностью оповещения (предупреждения) пользователя (оператора) о потенциальных катастрофических последствиях в поведении модели, которые на первый взгляд не видны и практически никогда не учитываются при моделировании. При данном подходе к моделированию возможно представление динамики изменения состояния сети многоканальной радиосвязи в виде набора систем разностных стохастических уравнений [4-7] вида: где выражение (1) - уравнение состояния для вектора отсчетов процесса Х на каждом (k+1) шаге функционирования сети, где С^T - транспонированная матрица-строка возможных значений процесса, а - вектор индикаторов состояния моделируемого процесса, элементы этого вектора принимают значения: Выражение (2) - уравнение состояния для вектора индикаторов состояния на (k+1) шаге, где ^T(k+1,k,u) - транспонированная матрица вероятностей перехода процесса из одного состояния в другое, a (k+1) - вектор значений приращения индикаторов состояния, компенсирующий нецелочисленную часть уравнения (2). Выражение (3) - уравнение наблюдения за процессом, где H(X(k+1)) - матрица-строка наблюдаемых значений процесса, а - вектор белых шумов наблюдения с нулевым средним и матрицей дисперсии .

Анализ результатов работ [1-3] позволяет предусмотреть в устройстве возможность идентификации и верификации граничных и аварийных (катастрофичных) состояний моделируемых случайных процессов при плавных изменениях параметров внешних условий и управляющих воздействий. Известно [5, 7] , что математическая формализация физических параметров внешних условий и управляющих воздействий, влияющих на поведение сети, осуществляется посредством присвоения соответствующих значений элементам транспонированной матрицы переходных вероятностей разностного стохастического уравнения (2). Данная квадратная матрица состоит из М элементов, где М=m², и имеет вид: Количество m определяется пользователем, осуществляющим моделирование, исходя из возможных состояний моделируемого процесса. Например, при m=3 традиционно используются типовые состояния моделируемого процесса: состояние 1 - "норма"; состояние 2 - "удовлетворительно"; состояние 3 - "авария" и матрица переходных вероятностей имеет вид: Каждый из элементов матрицы (5) и (6) имеет четкий физический смысл и представляет собой вероятность перехода моделируемого процесса из состояния в состояние, например, для матрицы (6), а₁₁ - вероятность такого события, при котором процесс (или какой-либо показатель качества) находился в состоянии "норма" и останется в состоянии "норма" на следующем шаге (k+1) функционирования, a₁₂ - вероятность такого события, при котором процесс находился в состоянии "норма" и перейдет в состояние "удовлетворительно" на следующем шаге (k+1), а₁₃ - вероятность такого события, при котором процесс находился в состоянии "норма" и перейдет в состояние "авария" на следующем шаге (k+1) функционирования и т.д.

Очевидно, что для решения задачи априорного оценивания и сравнения значений элементов матрицы переходных вероятностей в целях идентификации и верификации граничных и аварийных (катастрофичных) состояний моделируемых случайных процессов при плавных изменениях параметров внешних условий и управляющих воздействий необходимо проводить текущий пошаговый мониторинг не всех элементов матрицы (5), а лишь тех, физический смысл которых заключается в вероятности перехода из любого состояния в аварийное (катастрофичное) состояние. Для унифицированной матрицы (5) количество таких элементов равно m и данные элементы представляют собой множество: N_m={a_1m(k+1), a_2m(k+1),..., a_im(k+1),..., a_mm(k+1)}, (7) где каждый элемент, кроме a_mm(k+1), имеет физический смысл вероятности перехода моделируемого процесса из любого состояния (1-го, 2-го,..., i-го,.. .. (m-1)-го состояния) в аварийное (катастрофичное) состояние m на следующем шаге (k+1) функционирования моделируемого объекта. Элемент a_mm(k+1) имеет физический смысл вероятности такого события, когда моделируемый процесс (или показатель качества) находился на k-ом шаге в аварийном (катастрофичном) состоянии и останется в данном состоянии на следующем (k+1)-ом шаге функционирования моделируемого объекта.

Идентификация граничных и аварийных (катастрофичных) состояний моделируемых случайных процессов производится путем пошагового априорного оценивания и сравнения значений каждого i-го из m элементов множества N_m (7) с целью определения наличия или отсутствия возможного превышения этими значениями допустимого порога, определяемого выражением: где - допустимое значение вероятности перехода моделируемого процесса в аварийное (катастрофичное) состояние из любого другого состояния.

Превышение на одном из (k+1) шагов моделирования любым i-ым из значений m элементов множества N_m (7) данного порога характеризует начало плавного изменения параметров внешних условий и управляющих воздействий.

Верификация граничных и аварийных (катастрофичных) состояний моделируемых случайных процессов представляет собой независимый от идентификации процесс, характеризует превышение значения любого i-го из m элементов множества (7) на данном k-ом шаге моделирования над значением этого же элемента на следующем (k+1)-ом шаге и производится путем априорного оценивания значений каждого i-го из m элементов множества N_m на k-ом шаге моделирования и сравнения полученного значения с оценочным значением этого же элемента на следующем (k+1)-ом шаге в соответствии с выражением: Физический смысл процесса верификации заключается в выявлении тенденции повышения вероятности изменения параметров внешних условий и управляющих воздействий в сторону граничного и аварийного (катастрофичного) состояния моделируемого случайного процесса.

В обоих случаях априорного оценивания и сравнения значений элементов матрицы переходных вероятностей разностного стохастического уравнения (2), как при осуществлении процесса идентификации граничных и аварийных (катастрофичных) состояний моделируемых случайных процессов, когда идентифицировано событие , так и при осуществлении процесса верификации, когда подтверждена тенденция повышения вероятности изменения параметров внешних условий и управляющих воздействий в сторону граничного и аварийного (катастрофичного) состояния моделируемого случайного процесса a_im(k)<a_{(k+1) (11), пользователь (оператор), осуществляющий моделирование, должен быть оповещен (предупрежден) о возможном аварийном состоянии моделируемого процесса.}

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

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

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

Анализ выражений (1)-(11) позволяет сделать вывод о технической возможности реализации процесса моделирования управляемых полумарковских цепей и процессов идентификации и верификации граничных и аварийных (катастрофичных) состояний моделируемых случайных процессов при плавных изменениях параметров внешних условий и управляющих воздействий.

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

Заявленное устройство поясняется чертежами, на которых представлены: на фиг.1 - структурная схема управляемого вероятностного автомата; на фиг.2 - структурная схема блока анализа катастроф; на фиг.3 - структурная схема блока управления.

Вероятностный автомат, изображенный на фиг.1, состоит из датчика случайной последовательности 1, блока формирования нецелочисленных значений индикаторов 2, блока коррекции 3, блока формирования значений матрицы 4, блока управления 5, блока пороговых устройств 6, блока формирования значений индикаторов 7, генератора тактовых импульсов 8, элемента ЗАПРЕТ 9, блока элементов И 10, блока памяти 11, дешифратора 12, блока задания времени 13, элемента ИЛИ 14 и блока анализа катастроф 15. Выход элемента ИЛИ 14 соединен с инверсным входом элемента ЗАПРЕТ 9, прямой вход которого подключен к выходу генератора тактовых импульсов 8 и тактовому входу блока задания времени 13, m выходов которого, где m3, подключены к соответствующим m входам элемента ИЛИ 14 и являются m выходами "индикаторы состояния" вероятностного автомата. Второй вход 51 блока управления 5 является входом вероятностного автомата, m выходов блока формирования значений индикаторов 7 соединены с соответствующими m входами блока элементов И 10, m выходов которого подключены к соответствующим m входам блока памяти 11, m выходов которого соединены с соответствующими m входами блока задания времени 13 и m интерполяционными входами 22₁-22_m блока формирования нецелочисленных значений индикаторов 2, m выходов 23₁-23_m которого подключены к соответствующим m вспомогательным входам 72₁-72_m блока формирования значений индикаторов 7 и m информационным входам 31₁-31_m блока коррекции 3, стартовый вход 33 которого подключен к выходу датчика случайной последовательности 1, m-1 пороговых выходов 53₁-53_m-1 блока управления 5 соединены с соответствующими m-1 пороговыми входами 32₁-32_m-1 блока коррекции 3 и с соответствующими m-1 пороговыми входами 62₁-62_m-1 блока пороговых устройств 6. Вход блока пороговых устройств 6 подключен к выходу 34 блока коррекции 3, m выходов блока пороговых устройств 6 соединены с соответствующими m информационными входами блока формирования значений индикаторов 7. Управляющий вход блока задания времени 13 подключен к выходу дешифратора 12, вход которого соединен с входом блока формирования значений матрицы 4 и управляющим выходом 52 блока управления 5, тактовый вход 54 которого подключен к тактовому входу блока элементов И 10, выходу элемента ЗАПРЕТ 9 и тактовому входу 73 блока формирования значений индикаторов 7. Тактовый 150 и проверочный 153 входы блока анализа катастроф 15 соединены соответственно с тактовым входом 54 и проверочным выходом 55 блока управления 5. М выходов, где М=m², блока формирования значений матрицы 4 соединены с соответствующими М управляющими входами 151₁-151_m блока анализа катастроф 15, М управляющих входов 21₁-21_M блока формирования нецелочисленных значений индикаторов 2 подключены к соответствующим М управляющим выходам 152₁-152_M блока анализа катастроф 15. Предупредительный выход 154 блока анализа катастроф 15 является выходом "угроза катастрофы" вероятностного автомата.

Под количеством m (входов, выходов, сумматоров, умножителей, счетчиков, элементов сравнения и т.п.) понимается их установленное для конкретного вероятностного автомата количество. Максимальное количество m, где m3, определяется пользователем, осуществляющим моделирование, исходя из возможных m состояний моделируемого процесса и принципиально не ограничено. Однако максимальное значение m целесообразно выбирать не более 20, т.е. 3m20 и m={ 3,4,5,6,7,8,9,10, . . . ,18,19,20}. При m>20 существенно увеличивается время считывания значений М элементов матрицы переходных вероятностей (т.к. М=m²) из блока управления в блок формирования значений матрицы, а значит резко возрастает общее время моделирования.

Блок анализа катастроф 15 (фиг.2) предназначен для осуществления процедур идентификации и верификации граничных и аварийных (катастрофичных) состояний моделируемых случайных процессов при плавных изменениях параметров внешних условий и управляющих воздействий, а также для выработки сигналов логического нуля или логической единицы (сигнала предсказания и предупреждения), характеризующих соответственно отсутствие или наличие возможного катастрофического состояния моделируемого процесса. Блок анализа катастроф 15 состоит из центрального ОЗУ 1500, m исполнительных ОЗУ 1501₁-1501_m, ПЗУ 1502, элемента итерационного сравнения 1503, элемента сравнения 1504, промежуточного ОЗУ 1505, промежуточного элемента И 1506 и элемента И 1507, причем М управляющих входов 15.1₁-15.1_M центрального ОЗУ 1500 являются соответствующими М управляющими входами 151₁-151_M блока анализа катастроф 15, М управляющих выходов 15.2₁-15.2_M центрального ОЗУ 1500 являются соответствующими М управляющими выходами 152₁-152_M блока анализа катастроф 15. Тактовый вход 15.5 центрального ОЗУ 1500 подключен к входу ПЗУ 1502 и является тактовым входом 150 блока анализа катастроф 15, i-ый исполнительный выход 15.4_i центрального ОЗУ 1500, где i=1,2,...,m, подключен к входу i-го исполнительного ОЗУ 1501_i. Входы m исполнительных ОЗУ 1501₁-1501_m объединены и подключены к второму входу элемента итерационного сравнения 1503 и первому входу элемента сравнения 1504. Выходы m исполнительных ОЗУ 1501₁-1501_m объединены и подключены к первому входу элемента итерационного сравнения 1503. Выход ПЗУ 1502 соединен со вторым входом элемента сравнения 1504, выход элемента итерационного сравнения 1503 подключен к входу промежуточного ОЗУ 1505 и второму входу промежуточного элемента И 1506, первый вход которого соединен с выходом промежуточного ОЗУ 1505. Выход промежуточного элемента И 1506 подключен к выходу элемента сравнения 1504 и первому входу элемента И 1507, второй вход которого является проверочным входом 153 блока анализа катастроф 15. Выход элемента И 1507 соединен со считывающим входом 15.3 центрального ОЗУ 1500 и является предупредительным выходом 154 блока анализа катастроф 15. Центральное ОЗУ 1500 может быть технически реализовано на основе высокоскоростного ОЗУ серии 155 (например, К155РУ2), как показано в литературе [8, с.164-166, рис.1.121]. Исполнительные ОЗУ 1501₁-1501_m и промежуточное ОЗУ 1505 могут быть реализованы на базе типового полупроводникового динамического ОЗУ, описанного в литературе [9, с.194-196, рис.6.9 (а)]. Техническая реализация ПЗУ 1502 возможна по аналогии с репрограммируемым ПЗУ, описанным в [9, стр.199-205, рис.6.12]. Элемент итерационного сравнения 1503 и элемент сравнения 1504 представляют собой цифровые узлы сравнения, описанные в [9, стр.149-152, рис.5.19]. Промежуточный элемент И 1506 и элемент И 1507 могут быть технически реализованы на основе типового логического элемента И, описанного в [9, стр.13-14, рис.1.2].

Блок управления 5 (фиг.3) предназначен для формирования управляющей кодовой последовательности, последовательности пороговых значений состояний, а также для формирования сигнала логического нуля или логической единицы, характеризующих соответственно запрещение или разрешение пользователя (оператора) на выдачу сигнала оповещения о наличии возможного катастрофического состояния моделируемого процесса. Блок управления 5 состоит из управляющего ОЗУ 501, порогового ОЗУ 502, счетчика 503 и проверочного ОЗУ 504. Тактовый выход 5.1 счетчика 503 подключен к тактовым входам 5.6, 5.9 и 5.11 соответственно управляющего 501, порогового 502 и проверочного 504 ОЗУ. Сбрасывающие выходы 5.7, 5.10 и 5.12 соответственно управляющего 501, порогового 502 и проверочного 504 ОЗУ объединены и подключены к сбрасывающему входу 5.2 счетчика 503, тактовый вход 5.0 которого является тактовым входом 54 блока управления 5. Информационные входы 5.5, 5.8 и 5.3 соответственно управляющего 501, порогового 502 и проверочного 504 ОЗУ соединены между собой и являются вторым входом 51 блока управления 5. Выход управляющего ОЗУ 501 является управляющим выходом 52 блока управления 5, m-1 выходов порогового ОЗУ 502 являются соответствующими m-1 пороговыми выходами 53₁-53_m-1 блока управления 5. Выход 5.4 проверочного ОЗУ 504 является проверочным выходом 55 блока управления 5. Частный случай технической реализации управляющего ОЗУ 501 и проверочного ОЗУ 504 на базе типового полупроводникового динамического ОЗУ описан в литературе [9, с.194-196, рис.6.9 (а)]. Счетчик 503 может быть технически реализован в виде типового рекуррентного счетчика, как описано в литературе [10, с.96-100]. Техническая реализация порогового ОЗУ 502 возможна по аналогии с динамическим ОЗУ, описанным в [9, стр.194-196, рис.6.9 (б, в)].

Блок формирования значений матрицы 4, входящий в общую структурную схему, предназначен для записи, хранения поступающих значений М элементов матрицы переходных вероятностей и считывания управляющей информации ^T(k+1,k,u) реализуется в виде запоминающего устройства аналогично описанному в литературе [11, стр.291-292, рис.6.7].

Блок формирования нецелочисленных значений индикаторов 2, входящий в общую структурную схему, предназначен для формирования элементов вектора нецелочисленных значений индикаторов состояния. Его структурная схема и принцип действия известны и описаны, например, в прототипе (см. патент РФ 2139569, фиг.2) Датчик случайной последовательности 1, входящий в общую структурную схему, предназначен для генерации значений случайной вспомогательной последовательности с нормальной плотностью распределения и может быть реализован в виде, например, датчика, описанного в [12, стр.42, рис.25].

Блок коррекции 3, входящий в общую структурную схему, предназначен для динамической коррекции математического ожидания (МО) и дисперсии случайной последовательности в соответствии с условиями, определяемыми принятой математической моделью. Его структурная схема и принцип действия известны и описаны, например, в прототипе (см. патент РФ 2139569, фиг.3-7).

Блок пороговых устройств 6, входящий в общую структурную схему, предназначен для получения предварительных значений элементов вектора индикаторов состояния процесса. Его структурная схема и принцип действия известны и описаны, например, в прототипе (см. патент РФ 2139569, фиг.9).

Блок формирования значений индикаторов 7, входящий в общую структурную схему, предназначен для получения окончательных значений элементов вектора индикаторов состояния процесса. Его структурная схема и принцип действия известны и описаны, например, в прототипе (см. патент РФ 2139569, фиг.10).

Генератор тактовых импульсов 8, входящий в общую структурную схему, предназначен для определения моментов выхода вероятностного автомата из предыдущего состояния и реализуется в виде известного генератора пилообразного напряжения, описанного, например, в работе [11, стр.149-151, рис.3.14 (а)], Элемент ЗАПРЕТ 9 и элемент ИЛИ 14, входящие в общую структурную схему, предназначены для поддержки процедуры определения моментов выхода вероятностного автомата из предыдущего состояния и могут быть построены в соответствии с описанными, например, в [12, стр.20-24, рис.9, 11].

Блок элементов И 10, входящий в общую структурную схему, предназначен для осуществления записи полученных значений элементов вектора индикаторов состояния в блок памяти. Элементы И, входящие в блок элементов И 10, реализуются в виде известных и описанных, например, в [9, с. 13-14, рис.1.2].

Блок памяти 11, входящий в общую структурную схему, предназначен для хранения значений элементов вектора индикаторов состояния до момента истечения периода смены состояний и реализуется в виде регистра хранения в соответствии с описанием, представленным, например, в работе [9, стр.156-158, рис. 5.27].

Дешифратор 12, входящий в общую структурную схему, предназначен для преобразования управляющей кодовой последовательности в код, соответствующий временному интервалу периода смены состояний, и построен в виде известного и описанного, например, в книге [13, стр.432-436, рис.4.46].

Блок задания времени 13, вход