Устройство для контроля динамики управляемых процессов цифровых систем

СООЗ СОВЕТСКИХСОЦИАЛИСТИЧЕСКИХРЕСПУБЛИК 06 Р 15 4 ОПИСАНИЕ ИЗОБРЕТЕНН АВТОРСМОМУ СВИДЕТЕЛЬСТВУ й институт ьство СССР3/02, 1983тво СССР5/46, 1986 Саада СТВЕННЫЙ КОМИТЕТ СССРО ДЕЛАМ ИЗОБРЕТЕНИЙ И ОТКРЫТИЙ(54) УСТРОЙСТВО ДЛЯ КОНТРОЛЯ ДИНАМИКИ УПРАВЛЯЕМЫХ ПРОЦЕССОВ ЦИФРОВЫХ СИСТЕМ (57) Изобретение относится к области вычислительной техники а более конЭкретно к средствам автоматического контроля сложных технических систем Цель изобретения - повышение досто-. верности контроля за счет выявления недопустимых управляющих воздействий. Устройство содержит с первого по третий. регистры 1-3, с первого по третий27 рого подключены соответственно к выходу признака критической ситуации устройства и синхровходам первого и второго регистров, информационные входыи выходы первого регистра соединенысоответственно с первой группой информационных входов устройства дляподключения контролируемой системыи с информационными входами второгорегистра, которые подключены к первымвходам элементов СЛОЖЕНИЕ ПО МОДУЛЮ 2первой группы, вторые входы которыхсоединены с выходами второго регистра и с адресными входами первого блока памяти, выходы элементов СЛОЖЕНИЕПО МОДУЛЮ 2 первой группы подключенык первым входам элементов И первойгруппы, вторые входы которых соедине"ны с выходами первого блока памяти,входы и выход первого элемента ИЛИсоединены соответственно с выходамиэлементов И первой группы и выходомпризнака критической ситуации устройства, о т л и ч а ю щ е е с я тем,что, с целью повышения достоверностиконтроля за счет выявления недопустимых управляющих воздействий, устройство содержит третий регистр, второй итретий блоки памяти, вторые группыэлементов И и элементов СЛОЖЕНИЕ ПОМОДУЛЮ 2 третий элемент ИЛИ, информационные входы третьего регистра соединены с второй группой входов уст;ройства, выходы третьего регистраподключены к первым входам элементов,СЛОЖЕНИЕ ПО МОДУЛЮ 2 второй группы,адресные входы второго и третьегоблоков памяти соединены с выходамипервого регистра, выходы второго блока памяти соединены с вторыми входами элементов СЛОЖЕНИЕ ПО МОДУЛЮ 2второй группы, выходы третьего блокацамяти соединены с первыми входамиэлементов И второй группы, вторыевходы которых подключены к выходамэлементов СЛОЖЕНИЕ ПО МОДУЛЮ 2 второйгруппы, выходы элементов И второйгруппы соединены с входами третьегоэлемента ИЛИ, выход которого подключен к выходу признака ошибки управления устройства, выход второго элемента ИЛИ соединен с синхровходомтретьего регистра, третий вход второго элемента ИЛИ подключен к. выходупризнака ошибки управления устройства. Ф о р м у л а и э о б.р е т е н и яУстройство для контроля динамикиуправляемых процессов цифровых сис- :тем, содержащее первый и второй ре- . 60гистры, первый блок памяти, первуюгруппу элементов СЛОЖЕНИЕ ПО МОДУЛЮ 2,первую группу элементов И, первыйи второй элементы ИЛИ и генератортактовых импульсов, выход которогосоединен с первым входом второго эле-мента ИЛИ, второй вход й выход кото 5 14448 хода из данной ситуации, Если же условие (4) выполняется, то очередным тактовым импульсом в первый 1 и третий 3 регистры вновь заносятся код текущей ситуации Р(Я(с и код реалиБ зуемой команды управления П(ц(С, инициируя очередной шаг контроля, Код ситуации Р(Я(1-1, записанной на предшествующем шаге, переносится при этом во второй регистр 2 и поступает на вторую группу входов первого блока 7 элементов СЛОЖЕНИЕ ПО МОДУЗЮ 2 и на адресные входы первого блока памяти 4, где по соответствующему адре су выбирается переходный инвариант Я(Б(1-1 ситуации Я(С). В первой группе 7 элементов СЛОЖЕНИЕ ПО МОДУ" ЛЮ 2 и. первой группе 9 элементов И код текущей ситуации Р(8(С пораз рядно суммируется по модулю 2 с кодом предшествующей ситуации Р(Б(-1 и логически умножается на переходный инвариант Ц(8(й, поступающий из первого,блока памяти 4, т,е. вычисляется 25, правая часть условия (3). Еслй хотя бы на одном выходе элементов И первой группы 9 сигнал имеет единичный уровень (если нарушается необходимое ус. - ловие корректности ситуационной дина- ЭО мики (3, то первым элементом ИЛИ 11 формируется сигнал единичного уровня на выходе признака критической ситуации устройства, также блокируя прохождение тактовых импульсов на син- ЗБ хровходы регистров (анализ содержимого регистров может помочь в опреде,лении характера и причины возникновения критической ситуации), Появление сигнал на выходе признака критической 40 ситуации устройства свидетельствует о критической ситуации, связанной с неадекватной. реакцией объекта контроля на формируемые управляющие воздействия, 45