Патенты с меткой «петри»

Способ формования из стекла чашек петри и установка для осуществления способа

Загрузка...

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

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

Автор: Раев

МПК: C03B 23/02

Метки: петри, способа, стекла, формования, чашек

...нижнее положение. -а верхнем конце вла жест. ко смонтирована оправка 18 со слоем 19 ферродо илн иного материал для теплоизоляции формуемой заготовки 20, В промежутке между рабочим столом и кронштейном 14 на валу 13 кждой секции насажена зсдочка 21 с закрепленной ь ней шпонкой 22; звездочки всех секций соединены бесконечной цепью 23.Под оправкой 18 каждой формуюшей секции расположена кольцевая газовая горелка 24 для нагрева з- готовск. Газ подводится по трубопроводу 25 через впускной клаан 26, втулку 27 и далее через сверления ь опорной колонне 3. Для привода в действие клапана 26 и опорной колонне установлен сектор 28, несущий профильную направляющую 29, которая нажимает на ро;шк клапана для пропускания газа к горелке Воздухопровод по...

Устройство для подсчета колоний микроорганизмов в чашках петри

Загрузка...

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

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

Авторы: Подольский, Розенфельд

МПК: C12M 1/34

Метки: колоний, микроорганизмов, петри, подсчета, чашках

...датчик 1 (перо и контакты) и сигнальная лампочка 2, которые сзязаны соединителы 1 ым 11111,- ром с электрическим устройством. Последнее состоит из тра 11 сфс;в;а. тора 3, полупроводникового выпрямителя ДГЦ, электролнтичсского конденсатора 4 и импульсного счетчика, реле 5 которого имеет со. противление 100 ол.При соприкосновении датчика с местом выросшей колони 11 через стекло чашки Петри происходит, размыкание контактов датчика 1 прн этом ламгпочка гаснет, что свидетельстзует сб окончан 1 ги счета), и срабатывает реле импульсного счетчика. На,стенке остается след чернил (запас чернила находится в расположенной над пером трубочке)Предмет изобретения1. Устр 01,:стВО для подсчета колоний микоссргачизмсв В ча 1 нках Петри, имеющее импульсныЙ...

Аппарат для установки цилиндров в чашки петри

Загрузка...

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

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

Авторы: Кивман, Яковлев

МПК: C12M 1/22

Метки: аппарат, петри, установки, цилиндров, чашки

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

Способ формования из стекла чашек петри и установка для осуществления этого способа

Загрузка...

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

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

Авторы: Мешков, Петров, Соколов

МПК: C03B 23/02

Метки: петри, способа, стекла, формования, чашек, этого

...8 осуществляется через двухдисковый золотниковый распределитель. Верхний диск 15 распределителя совместно с горелками 8 вращается вокруг оси 1 б, являющейся в то же время и осью вращения формы - оправки 17. Комплект состоит из девяти горелок, расположенных равномерно по окружности верхнего диска 15 золотникового распределителя, нижний диск 18 которого связан посредством гибких резиновых шлангов с другим золотниковым распределителем аналогичной конструкции, обеспечивающей подачу горючей смеси лишь в течение времени, неооходимого для разогрева формуемого края заготовок.С вращающейся формой-оправкой 17 связано выталкивающее устройство 7. Устройство для снятия готового изделия выполнено в виде монтированных на карусели посредством стоек...

Приспособление к чашке петри для счета колоний микроорганизмов

Загрузка...

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

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

Автор: Ипт

МПК: C12M 1/34

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

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

Устройство для розлива плотных питательных сред в чашки петри

Загрузка...

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

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

Автор: Орлов

МПК: C12M 1/22

Метки: петри, питательных, плотных, розлива, сред, чашки

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

Устройство для моделирования графов петри

Загрузка...

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

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

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

МПК: G06F 15/173

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

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

Устройство для исследования сетей петри

Загрузка...

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

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

Авторы: Герасимов, Колесник, Переваров

МПК: G06F 17/16

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

...3. Она имеет вид:0001т.е. данная сеть Петри имеет четыреЗО позиции и три перехода. Первоначальная маркировка находится в блоке 4 и имеет вид:Требуется определить достижима ли маркировкаиз маркировкиПредполагают, что маркировка (и достижима из маркировки р , Тогла су40 ществует последовательность (возможно пустая) запусков переходов б , которая приводит изк. Это означает, что Г(б) является неотрицательным целым решением следующего матричного45 уравнения для Хр= ш+ х.д.Если р достижима из р, уравнение (1)50 имеет решение в неотрицательных целых, если уравнение (1) не имеет решения,не достижима изПод действием синхросигналов с блока 11 информация с выхода блока 1 поступает на вторые входы блоков5-15-Е схем сравнения группы, где...

Устройство для исследования сетей петри

Загрузка...

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

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

Авторы: Борисов, Ласточкин, Чуркин

МПК: G06F 15/173

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

...29, нопройти мажет только через элементИ 28 и далее - на второй вход элемента ИИ 11 и с его выхода - на входустановки в единицу триггера 12,устанавливая его па заднему фронту вединичное состояние и подготавливаяустройство к выработке нового псевдослучайного числа. Затем он наступает на вход 52 всех моделей 2 переходов. Па этомуимпульсу открываетсяэлемент И 43 одной из моделей 2 и наее выходе 50 появляется импульс, который поступает на входы 47 предшестср г,а 9) ЕРгС г;гтг. - , гРО,С СО,1,-,ротВ т р 1)9)ц г;го 3 ЛЕГвц 1 )/ "1;гг;агг-,ВУЮЩИХ таЦЕ Ой 01 ОСМР г 1. а 1 ) ,ВХОтЫ 4) ПОСЛЕДУЮЩИХ Мсггг:ЦЕ:. Мпульс поступив.сй га гхо,/ ц)ШЕСтВУЮЩЕй ОДОггт., тРГЗ:;Огг гт Г" Г;элемент ИПИ /9 1 псгс: туг 1 т .а ц т-)"тающтй вход тевеост;гцгзго...

Чашка петри для культур микроорганизмов

Загрузка...

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

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

Автор: Герхард

МПК: C12M 1/00

Метки: культур, микроорганизмов, петри, чашка

...располагают на внутренней сторонестенки фиг.6). Косая кромка поменьшей мере одного зубца на цилиндрической емкости может иметь марки 50р о в очную шк ал у,При использовании чашки Петри вуглубления 2 могут заходить соответствующие им по форме и величине выступы 3 так, что нижняя поверхностьдна крышки 4 прилегает к торцовойповерхности верхнего края стенки емкости 1 с уплотнением, При незначительном повороте выступы 3 частично выходят из углублений 2, опираютсяна верхнюю торцовую поверхность емкости 1. "ежду емкостью 1 и крышкой4 образуется зазор, улучшающий гаэообмен внутри чашки Петри, При выполнении выступов 3 в виде кнопок случайное разъединение емкости 1 икрышки 4 исключено,Если выступы 3 и углубления 2 вьгполнены в виде косых зубцов,...

Устройство для моделирования графов петри

Загрузка...

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

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

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

МПК: G06F 15/173

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

...Р (1 116) которо 5 го содержит метку. Входной разметочный вектор е 1 показывает что емуЭ соответствует наличие меток в местах Р и Р, при моделировании данной сети Петри, В первую группу 1 регистров 10 памяти записывается множество входных разметочных векторов е= е 1- ,е 2 р, ,ешь, а во вторую группу 2 регистров памяти - множество выходных разметочных векторов а- = а 1- Ц . )15 а 2 аш 1. В блок 4 памяти заноситФся начальная разметка ш сети Петри.оВ блок задания временных параметров записываются времена моделирования Ьт.; Е 6 для каждой вершины перехода. 2 пПри моделировании сетей Петри в момент начала работы системы в первой группе блоков 8 сравнения (фиг.1) одновременно опрашивается возможность срабатывания всех тп переходов Т , из...

Устройство для исследования сетей петри

Загрузка...

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

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

Авторы: Архаров, Герасимов, Переваров, Чернышев

МПК: G06F 15/173

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

...запись в блок9 памяти информации выходов с выхода44 блока 3 управления, Содержимоесчетчика 11 на каждом такте записи 45номера очередного разрешенного перехода поступает через дешифратор 7,в позиционном коде на блок 9 памяти,указывая адрес записи. Первый этапработы устройства заканчивается послепросмотра всех строк блока 4 памятии перезаписи всех разрешенных переходов с блока 4 памяти в блок 9 памяти. По окончании первого этапа сигнал с выхода 47 блока 3 управленияустанавливает 0 через элемент ИЛИ115512 счетчик 11. При этом номер последней позиции блока 9 памяти, по адресу которой был записан последний раз 242 4решенный переход, остается записанным в регистре 2,Работа устройства на втором этапезаключается в следующем. С...

Устройство для моделирования графов петри

Загрузка...

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

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

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

МПК: G06F 15/173

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

...нового значения вектора текущей разметки с выхода блока 4 через муль 1 памяти текущейимпульса Ф всериводятся в состояВ результате поазы первого циклав реверсивном счет 0" - нет свободв блоке 1 - новоеекущей разметки0 0)Рдля случая, когдасенное число свободи. Если. число два,сигналов разрешемер, переходов 1четчик 7 устанавливыходе элемента"1", которая заифратора 24, В рете ИЛИ-НЕ 25.3 разпуска перехода 1 змитация изъятия места перехода 1 Зблоке 1 по спадуя содержимое вектки ш=(0,0,1,0,запуска моделимируется.о в условиях задачи введены следующие продолжительности срабатывания переходов Д 1 - 10, д 1 - 25, д 1- 20 моментов модельного времени, Тогда в течение девяти циклов работы устройства какихлибо изменений не происходит за...

Устройство для моделирования графов петри

Загрузка...

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

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

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

МПК: G06F 15/173

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

...типов дуг представляет соббй группу К регистров.Блок 14 инвертирования содержит группу элементов ИСКЛЮЧАЮЩЕЕ ИЛИ 55 и ,группу элементов НЕ 56.Устройство работает следующим образом,50После включения питания переключателем 22 триггер 23 устанавливается в состояние "1", обеспечивая режим ввода исходньк данных для решения задачи по мод ированию составленного графа Петри, бранные (входные разметочные векто 1,1, выходные разметочные векторы, в торы типов дуг, начальная разметкя графа Пет- . ри, длительности срабатывания переходов), набираемые на тумблерах группы21, заносятся в соответствующие блоки (4,. 12, 13, 2, 6) устройства, определяемые положением переключателейгруппы 17 переключателей, , Регистродного из этих блоков, в...

Устройство для исследования сетей петри

Загрузка...

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

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

Авторы: Борисов, Ласточкин, Сысоев, Федотенков, Чуркин

МПК: G06F 15/173

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

...так как на первом входе элемента И 22 установлен уровень логической единицы с выхода элемента НЕ 21, а на втором действуют импульсы с генератора 19, которые, проходя через элемент И 22, поступают на суммирующий вход счетчика 26Импульс единичного уровня с выхода элемента И 16 инвертируется элементом НЕ 21 и в виде импульса нулевого уровня запрещает прохождение импульсов с ге", нератора 19 на счетчик 26. Счет останавливается, и в счетчике 26 хранится какое-то псевдослучайное число, которое за исключением младшего разряда, поступаез на вход дешифратора 27, на выходе которого появляется единица в одно из М+Е разрядов, К этому моменту времени на выходе элемента 18 задержки появляется импульс с выхода элемента И 16, задержанный на время...

Устройство для моделирования графов петри

Загрузка...

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

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

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

МПК: G06F 15/173

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

...группу элементов ИСКЛЮЧАЮЩЕЕ ИЛИ.Блок 10 инициации вершин мест(фиг. 6) содержит группу элементов 2 ОИ 34 и группу элементов ИЛИ 35.Блок 11 имитации зарезервированных меток состоит из группы узловимитации, каждый из которых содержитэлемент И 36, регистр 37 и счетчик 38,5содержащий группу элементов И-НЕ 39,группу триггеров 40, группу элементов И-ИЛИ 41, триггер 42 и элементИ 43.Устройство работает следующим образом.После включения питания переключателем 20 триггер 21 устанавливаетсяв состояние "1", и тем самым обеспечивается режим ввода исходных данныхдпя решения задачи по моделированиюсоставленного графа Петри. Данные(входные разметочные векторы, выходные разметочные векторы, начальнаяразметка графа Петри, длительности...

Устройство для моделирования графов петри

Загрузка...

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

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

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

МПК: G06F 15/173

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

...блоке элементов ИСКЛЮЧАЮЩЕЕИЛИ 18 вычисляется новое значениевектора текущей разметки: ш 0 = (О,О,О, О, О, О, О, О), которое подается напервый информационный вход коммутатора. Одновременно сигнал с выходаблока 5 поступает на счетный входсоответствующего счетчика 10 и увеличивает его содержимое на 1, что чри водит к подключению к выходу соответствующего блока 13, первого из наборов значений переменных выходных разметочных векторов. Этот же сигнал,проходя через элементы ИЛИ 20, И 24, З 5 ИЛИ 22 (по приходу импульса Ф 1 сблока 1 синхронизации)подключает первый информационный вход коммутатора27 к его выходу и формирует сигналразрешения изменения содержимого,ре гистра 26Счетчики 9 работают следующим образом. После перевода врежим счет они...

Устройство для моделирования графов петри

Загрузка...

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

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

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

МПК: G06F 15/173

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

...определить пропускную способность транспортной сети,частоту возникновения конфликтов,длительности простоя и т.д,Для загрузки графа Петри в устройствоесоставляется таблица топологии графа Петри (см. фиг, 3), позволяющая отразить входные ь и выходок -ь20ные р разметочные вектора переходовприоритеты переходов Р, началькную разметку и длительности срабатывания переходовВ процессе загрузки:,исходных данных в устройстве значения" р заносятся в К-е регистры 1 первой группызначения" р в К-е регистры 2 второйгруппы, Значения 6 й к заносятся вК-е регистры 3 третьей группы, значе- ЗОние шр заносится в регистр 17.Режим моделирования графа Петриначинается по заднему фронту импульса на входе 32 пуска устройства.Разрешение на запуск К-го...

Устройство для моделирования сетей петри

Загрузка...

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

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

Авторы: Будкин, Костюшкин, Лисица, Спичкин, Холоденко

МПК: G06F 15/419

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

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

Устройство для моделирования сетей петри

Загрузка...

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

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

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

МПК: G06F 15/173

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

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

Устройство для исследования сетей петри

Загрузка...

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

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

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

МПК: G06F 15/173

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

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

Устройство для моделирования сетей петри

Загрузка...

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

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

Авторы: Костюшкин, Лисица

МПК: G06F 15/419

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

...самым задается количество фишек в каждой соответствующей номеру канала вершине- месте). По входам 12 устройства задают значения вероятностей существования вершин-переходов. При этом каналы генератора 4 настраиваются на заданный закон распределения вероятности случайных событий (т.е. закон распределения вероятности передачи меток из выполняемых вершин-переходов). На вход 7 пуска устройства подают сигнал уровня логической единицы. При этом блок 1 синхронизации формирует на своих выходах последовательность сигналов, предусмотренную временной диаграммой его работы.Блок 1 синхронизации формирует импульс уровня логической единицы на своем первом выходе. При этом блок 3 сравнения формирует потенциалы уровня логической 5 10 15 20 25 30 единицы...

Устройство для моделирования сетей петри

Загрузка...

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

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

Авторы: Костюшкин, Лисица

МПК: G06F 15/419

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

...работает следующим образом.Пусть необходимо смоделировать сетьПетри с задержкой фишек в вершинах-переходах,Перед началом работы на входы 8,9 устройства подают значения элементов матрицы входной и выходной разметкивершин-переходов. На вход 10 устройстваподают значения начальной разметки сетиПетри. При этом каналы многоканальногонакапливающего сумматора 2 устанавливаются в исходное состояние (тем самым задается количество фишек в каждойсоответствующей номеру канала вершинеместе), По входам 12 устройства задают значения времени задержки фишек ввершинах-переходах. При этом каналы блока 4 устанавгивают заданное время задержки. На вход 7 пуска устройства подаютсигнал уровня логической единицы, Приэтом блок 1 синхронизации...

Устройство для моделирования графов петри

Загрузка...

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

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

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

МПК: G06F 15/173

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

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

Устройство для моделирования сетей петри

Загрузка...

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

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

Авторы: Березин, Петрыкин

МПК: G06F 15/419

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

...работает следующим образом,Ка вход 6 пуска устройства подают импульс уровня логической единицы, Под действием. синхросигналов с первого выхода блока 1 синхронизации информация о текущей разметке с информационного выхода блока 2 вычисления текущей разметки поступает на входы задания текущей разметки блока 3 определения возбужденных переходов и блока 5 определения запрещенных переходов. В первом цикле работы устройства такой информацией является информация о начальной разметке, поступающая со входа 8 задания разметки на вход установки начальной разметки блока 2, В блоке 3 определения возбужденных переходов по значению текущей разметки (в первом цикле - начальной) и информации об элементах матрицы входной разметки...

Устройство для исследования сетей петри

Загрузка...

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

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

Авторы: Дорошенко, Падерин, Янковский

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

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

...выход которого подключенк входу первого сомножителя блока 8умножения матриц к информационномувходу блока 1 О сравнения с нулем,выход признака равенства нулю которого подключен к входу останкова блока 2 О 11 синхронизации и является информационнь.м выходом 12 устройства, Выход,второго блока 2 памяти подключен квходу уменьшаемого блока 7 вычитанияматриц, выход которого подключен к 25 информационному входу третьего блока 3 памяти. Выход блока 3 памятиподключен к входу второго сомножите"ля блока 8 умножения матриц, выходкоторого подключен к входу второго 30слагаемого блока 9 сумматоров. Выход блока 9 подключен к информационному входу блока 4 регистров. Входначальной установки блока 11 синхронизации подключен к входам начальной...

Устройство для исследования сетей петри

Загрузка...

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

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

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

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

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

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

Устройство для исследования сетей петри

Загрузка...

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

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

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

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

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

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

Устройство для моделирования графов петри

Загрузка...

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

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

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

МПК: G06F 15/20

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

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

Пуансон для изготовления стеклоизделий, преимущественно чашек петри

Загрузка...

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

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

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

МПК: C03B 11/06

Метки: петри, преимущественно, пуансон, стеклоизделий, чашек

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