G06F 15/173 — с использованием сети связи, например, соединение по схеме матрицы, смешанное соединение, соединение по схеме пирамиды, звезды или снежинки

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

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

Авторы: Баранов, Васильев

МПК: G06F 15/173

Метки: графов, моделирования

...1 Л, где и - количество разрядов представления весов ветвей, Из последовательности импульсов и-го разряда распределителя 34 импульсов распределитель 35 импульсов формирует а последовательностей импульсов длительно,стью иЛ, действующих с частотой 1/а и и сдвинутых одна относительно другой на время иВВ режиме ввода весов ветвей в регистры 1 и 22 сдвига коммутатором 39 (выполненным, например, в виде переключателя. на два положения) блока 21 управления под 1709346триггера 44 блока 21 управления к одномуиз входов элемента ИЛИ 15.Пуск устройства осуществляют комму 25 Я-триггера 44 и устанавливает его в единичное состояние. Триггер 44 единичным сигналом прямого выхода открывает элемент И 30 40 последовательность импульсов первогоразряда...

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

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

Авторы: Мирошниченко, Табунщик, Тонкаль, Федотов

МПК: G06F 15/173

Метки: анализа, параметров, сети

...сигналов с полюса 48 через элементы И 5 и 4 на полюс,49, а наоборот сполюса 49 через элементы И 6 и 3 - на полюс 48. Это происходит в момент появления импульса переполнения счетчика 27 блока 2 управления.Кроме того, счетчик 17 выполняет рольрегенерационного счетчика. Он начинает свой счет с "0" и его емкость равна й, а счетчики 17 моделей ветвей 1 начинают счет с Мц.Импульс переполнения счетчика 27 поступает на полюсы 56 всех моделей ветвей 1, В моделях, ветвей, в которых триггер 22 установлен в единичное состояние, этот импульс поступает через элемент И 13 на единичный вход триггера 21 и устанавливает его в единичное состояние.Единичное состояние триггера 21 черезэлемент. ИЛИ 15 выдает разрешение на входы элементов И 3 и. 4, Это...

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

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

Автор: Дорошенко

МПК: G06F 15/173

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

...устройства для подключения к входам запроса соответствующих датчиков случайных чисел (ДСЧ), входы 28 "Число" которого образуют группу входов устройства для подключения к выходам соответствующих ДСЧ.Схемы блоков предлагаемого устройства, кроме блока 22 выбора времени, известны,Блок 22 выбора времени содержит генератор 37 тактовых импульсов, три элемента ИЛИ 30,36 и 38, триггер 40, элемент 29 задержки, элемент И 39, группу й регистров 31 хранения моментов ближайших времен, где и - число временных переходов в сети, группу й 33 реверсивных счетчиков, группу Ь сумматоров 32, группу й ВЗ-триггеров 34, группу и элементов 35 задержки.Схемы элементы И, ИЛИ, ВЯ-триггеров, генератора тактовых импульсов, сумматоров, реверсивных счетчиков,...

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

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

Авторы: Глушан, Курейчик, Макеев

МПК: G06F 15/173

Метки: графах, задач, комбинаторнологических, решения

...ИЛИ 51, а все разряды с пятого по и-й содержат элемент И 66. Кроме того, разряды с третьего по п-й блока 4 содержат элементы И 64 и 65. Второй разряд содержит только элемент И 65. При этом один вход элемента ИЛИ 73 соединен с кнопкой 74 "Пуск", а второй вход через элемент задержки 72 - с выходом переключателя 71 и первыми входами элементов И 63. Один вход переключателя 71 подключен к входу 75 подачи тактовых импульсов, а второй вход через элемент 70 задержки - к кнопке 74 "Пуск", Выход элемента ИЛИ 73 связан с входами синхронизации триггеров 59 и входами установки исходного состояния регистра 71 сдвига. Каждый выход регистра сдвига (третий, четвертый, пятый, шестой) подключен к первому входу элемента И 58. Выходы элементов И 58 (с...

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

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

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

МПК: G06F 15/173

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

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

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

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

Авторы: Васильев, Зенкин, Кузьмук, Лисицин, Перепелица, Шумов

МПК: G06F 15/173

Метки: графов, моделирования, петри

...элемент НЕ 55.Блок 12 анализа (фиг.9) содержит дваэлемента ИЛИ 58 и 59 и элемент 60 задержки.Блок 13 фиксации (фиг,5) содержит набор из ВЯЗ-триггеров 13. кБлок 14 просмотра выходных векторов(фиг.10) содержит ГПИ.56 и узел 57 управления.Устройство работает следующим образом.Пусть необходимо смоделировать графПетри, который содержит два типа вершин;вершины переходов (в дальнейшем переходов) и вершины мест Р (а дальнейшеммест). Примером может служить граф, приведенный нв фиг,11.Метки располагаются в вершинах местРе и их появление или удаление моделируетсоответственно окончание. или начало реальных действий а 1, имитируемых переходами 1. Местонахождение меток в графеПетри отображается вектором текущей разметки аР=...