Обрученков

Номер патента: 1809448

Опубликовано: 15.04.1993

Авторы: Бянкин, Дорошенко, Ларин, Обрученков, Падерин, Пантелеев, Янковский

МПК: G06F 15/347, G06F 15/419

Метки: исследования, петри, сетей

...вершины получены все возможные дочерние маркировки) и этот же сигнал подается на четвертый вход блока хранения маркировок предшествующего уровня, по которому из этого блока в регистры 25 и 24 заносится соответственно следующая (если такая же имеется в блоке хранения маркировок предшествующего уровня) маркировка предыдущего уровня и ее номер 1 на предыдущем уровне.После того как перебраны все вершины предшествующего уровня, для каждой из которых найдены дочерние вершины, которые в свою очередь образуют множество маркировок текущего уровня, необходимо искать дочерниевершины для вновь полученных вершин, т.е. осуществить построение дерева достижимости далее. Импульс со второго вь 1 хода.блока 18 поступает на второй 84 вход блока...

Номер патента: 1784998

Опубликовано: 30.12.1992

Авторы: Бянкин, Дорошенко, Ларин, Обрученков

МПК: G06F 15/347, G06F 15/419

Метки: исследования, петри, сетей

...на вторые входы элементов сравнения 51- 5 5 ь, где происходит ее сравнение со значением начальной маркировки, поступающей на первые входы всех элементов 51-5 ь Если результат сравнения больше или равен нулю по всем сравниваемым элементам стро ки матрицы Д, в соответствующий разряд регистра 6 записывается единица, иначе - нуль,Таким образом, при сравнении первоначальной маркировки (1, О, 1, 0) со строка ми мат"рицы Д, только третья строка удовлетворяет правилу сравнения. Это означает, что срабатывание третьего перехода по входной маркировке разрешено, В " регистре 6 записано (О, О, 1), 20Дальне работа устройства направлена на проверку условия (1), т.е, истинности предикатов, присвоенных каждому переходу сети. Значение кода с выхода...

Номер патента: 1774342

Опубликовано: 07.11.1992

Авторы: Дорошенко, Каленик, Ларин, Обрученков

МПК: G06F 13/00

Метки: абонентов, группы, каналом, связи, сопряжения

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

Номер патента: 1709350

Опубликовано: 30.01.1992

Авторы: Бянкин, Дорошенко, Ларин, Обрученков

МПК: G06F 15/173

Метки: исследования, петри, сетей

...Петри имеет четыре позиции и три перехода, Первоначальная маркировка находится в блоке 4 регистров и имеет вид:р(1,0 1,0),Маркировка,и", которой мы хотим достигнуть из начальной маркировки р, находится в блоке 16 регистров задаваемой маркировки и имеет вид: р" = (1,2,1,0),где,и" - некоторая маркировка из множества всех возможных маркировок данной сети Петри. Требуется определить, достижима лимаркировка р" из маркировки,и и является ли исследуемая сеть Петри безопасной й живой,Предполагают, что маркировка р" достижима из маркировки р. Тогда существует последовательность (возможно пустая) запусков переходов д которая приводит из,и к р", Это означает, чт т (о) . являе 1 ся,. " неотрицэтельнйм целым решением следую" .щего матричного...

Номер патента: 1674200

Опубликовано: 30.08.1991

Авторы: Каленик, Козырев, Обрученков

МПК: G08C 15/02

Метки: телеметрическое

...элементы 19 и 20, умиожители 21-24, интеграторы 25-28 вычитатели 29 и ЗО, делитель 31.Устройство работает следующим образом.На входы канальных частотных модуляторов 4 о - 4 к поступают сигналы 01(т) - Оф), соответственно. В общем виде характеристику тракта частотного преобразования от входов канальных частотных модуляторов 4 о - 4 к до выходов канальных детекторов 8 о - 8 к с учетом динамической составляющей суммарной погрешности: с достаточной степенью точности можно описать линейным дифференциальным уравнением первого порядка вида или(Ьн+ЬЬ( ф У(1) =:(ам++ а 1 Я)ЗФ)+ Ъгде аон, а 1 н, Ьн - коэффициенты, характеризующие номинальную характерисгику тракта частотного преобразования;Ьа,( Я - аддитивная погрешность тракта (дрейф...