Зображення обкладинки

Інгібіторна мережа Петрі, яка виконує довільну задану машину Тюрінга

The inhibitor Petri net with a fixed structure that executes an arbitrary given Turing machine was constructed. The tape of the Turing machine, its program and states are encoded by the marking of 10 dedicated places of the Petri net. The rules of Turing machine work are encoded by a single control...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2012
Автор:	Zaitsev, D. A.
Формат:	Стаття
Мова:	Російська
Опубліковано:	The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2012
Онлайн доступ:	http://journal.iasa.kpi.ua/article/view/71925
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	System research and information technologies

Репозитарії

System research and information technologies

Схожі ресурси

Моделювання Grid-вузла на основі мереж Петрі
за авторством: Shelestov, A. Yu.
Опубліковано: (2009)

Застосування мереж Петрі для аналізу КВ-граматик
за авторством: Spectorsky, I. Ya.
Опубліковано: (2011)

Модифікація мереж Петрі з антисипацією по позиції
за авторством: Statkevych, Vitalii
Опубліковано: (2023)

Зв’язок мереж Петрі з бездужковим польським записом
за авторством: Statkevich, Vitaly M.
Опубліковано: (2016)

Моделювання подій в відеопотоці за допомогою стохастичних мереж Петрі
за авторством: Антощук, С. Г., та інші
Опубліковано: (2014)

ПРИСТРІЙ ДЛЯ КОРИГУВАННЯ ФОРМИ НАПРУГИ МЕРЕЖІ, ЯКА ЖИВИТЬ ПОТУЖНИЙ КЕРОВАНИЙ ВИПРЯМЛЯЧ
за авторством: Чиженко, О.І., та інші
Опубліковано: (2022)

СПОСІБ ПОКРАЩЕННЯ ЯКОСТІ СТРУМУ СИСТЕМИ МЕРЕЖА - ТИРИСТОРНИЙ КОМПЕНСАТОР РЕАКТИВНОЇ ПОТУЖНОСТІ
за авторством: Чиженко, О.І., та інші
Опубліковано: (2017)

КЕРУВАННЯ ПЕРЕТВОРЮВАЧАМИ ВІДНОВЛЮВАНИХ ДЖЕРЕЛ ЕНЕРГІЇ В РЕЖИМІ «МЕРЕЖА-ВЕДУЧИЙ/ВЕДЕНИЙ»
за авторством: Агамалов, О.
Опубліковано: (2021)

Проблеми збереження різноманітності степової біоти Криму і національна екологічна мережа
за авторством: Korzhenevsky, V.V., та інші
Опубліковано: (2001)

Гібридна згорткова мережа для оброблення медичних зображень та виявлення раку молочної залози
за авторством: Zaychenko, Yuriy, та інші
Опубліковано: (2022)

Гібридна згорткова мережа для обробки зображень рентгенівських знімків для виявлення захворювання COVID-19
за авторством: Федорченко , Є. М., та інші
Опубліковано: (2022)

ПРИСТРОЇ КОРИГУВАННЯ ФОРМИ НАПРУГИ МЕРЕЖІ, ЯКА ЖИВИТЬ НАПІВПРОВІДНИКОВИЙ КЕРОВАНИЙ ВЕНТИЛЬНИЙ ВИПРЯМЛЯЧ ЗІСТАВНОЇ З МЕРЕЖЕЮ ПОТУЖНОСТІ
за авторством: Чиженко, O.І.
Опубліковано: (2024)

МОДЕЛЮВАННЯ АНІЗОТРОПІЇ ПИТОМОЇ ЕЛЕКТРОПРОВІДНОСТІ БІОЛОГІЧНОЇ ТКАНИНИ, ЯКА ВИНИКАЄ ЗА ЛОКАЛЬНОГО СТИСКАННЯ ЕЛЕКТРОДАМИ ДЛЯ БІПОЛЯРНОГО ЗВАРЮВАННЯ
за авторством: Ланкін, Ю.М., та інші
Опубліковано: (2021)

Регулярні вирази для деяких мов мереж Петрі в задачі про постачальника та споживача
за авторством: Statkevych, Vitalii M.
Опубліковано: (2020)

Вплив температури на кінетичні залежності утворення нанорозмірних частинок на поверхні сталі, яка контактує з водним дисперсійним середовищем
за авторством: Lavrynenko, O. M., та інші
Опубліковано: (2011)

Конструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій
за авторством: Statkevych, Vitalii
Опубліковано: (2024)

Операція різниці для регулярних мов мереж Петрі в задачі про постачальника та споживача з обмеженим буфером
за авторством: Statkevych, Vitalii
Опубліковано: (2021)

Міжнародна мережа AgroBioNet у реалізації наукової програми «Агробіорізноманіття для поліпшення харчування, здоров’я та якості життя»
за авторством: Klymenko, S. V., та інші
Опубліковано: (2021)

АНАЛІЗ ПЕРЕХІДНИХ ТА СТАЦІОНАРНИХ РЕЖИМІВ У СИСТЕМІ ЖИВЛЕННЯ ЕЛЕКТРОМОБІЛЬНИХ ТРАНСПОРТНИХ ЗАСОБІВ, ЯКА МІСТИТЬ АКУМУЛЯТОРНУ БАТАРЕЮ ТА СУПЕРКОНДЕНСАТОРИ, З'ЄДНАНІ ПАРАЛЕЛЬНО
за авторством: Щерба, А.А., та інші
Опубліковано: (2025)

Багатошарова МГУА-нейро-фаззі мережа на основі розширених нечітких нейронів та її використання для онлайн разпізнавання виразів обличчя
за авторством: Bodyanskiy, Yevgeniy V., та інші
Опубліковано: (2020)

Послідовна композиція кланів лінійних систем
за авторством: Zaitsev, D. A.
Опубліковано: (2019)

Вирішення лінійних систем за допомогою декомпозиції
за авторством: Zaitsev, D. A.
Опубліковано: (2019)

The heat transfer processes in the heat exchange unit of combined photoenergy system
за авторством: Zaitsev, R.
Опубліковано: (2017)

MODELING OF AN ADVANCED HEAT EXCHANGE UNIT WITH MICROCHANNELS FOR A COMBINED PHOTOENERGY SYSTEM
за авторством: Zaitsev, R. V.
Опубліковано: (2017)

Computational studies of electromagnetic field propagation and deforming of structural elements for a thin-walled curved workpiece and an inductor
за авторством: Lavinsky, D. V., та інші
Опубліковано: (2024)

Computational analysis method of the electromagnetic field propagation and deformation of conductive bodies
за авторством: Lavinsky, D. V., та інші
Опубліковано: (2023)

Influence of operating temperature on efficiency Chinese made silicon solar cells
за авторством: Zaitsev, R., та інші
Опубліковано: (2017)

ПІДХОДИ ДО ЗАБЕЗПЕЧЕННЯ ЕФЕКТИВНОЇ ОРГАНІЗАЦІЇ ПРАЦІ РОБІТНИКІВ-ВЕРСТАТНИКІВ НА МАШИНОБУДІВНОМУ ПІДПРИЄМСТВІ
за авторством: Vasylenko, V.M., та інші
Опубліковано: (2014)

HALF-DIFFERENTIAL CAPACITIVE AIR GAP SENSOR FOR HYDROGENERATORS
за авторством: Levytskyi , A., та інші
Опубліковано: (2024)

SYSTEM FOR MONITORING AND CONTROL OF OPERATING PARAMETERS OF ELECTROLYSIS UNITS FOR THE PRODUCTION OF PINK HYDROGEN AT NPPS OF UKRAINE
за авторством: Kromplyas, B., та інші
Опубліковано: (2025)

Formalization of the mathematical modeling process of adaptive change of code structure in wireless data transmission
за авторством: Horlynskyi, Borys V., та інші
Опубліковано: (2019)

Methodological scheme for ranking interval expert estimates of the territories hydrocarbon potential
за авторством: Popov, Mykhailo, та інші
Опубліковано: (2019)

Хімічне модифікування поверхні поруватого кремнію групами поліоксіетильованих спиртів
за авторством: Suvorova, A. O., та інші
Опубліковано: (2011)

High efficiency power take-off system for the photovoltaic energy station
за авторством: Zaitsev, R., та інші
Опубліковано: (2016)

Use of In-house Design Modules When Choosing Bearing Assemblies for Pumps Being Designed
за авторством: Rudenko, Andrii A., та інші
Опубліковано: (2020)

Use of In-house Design Modules When Choosing Bearing Assemblies for Pumps Being Designed
за авторством: Rudenko, Andrii A., та інші
Опубліковано: (2020)

Seismicity in the area of the electrical conductivity anomaly in the western part of the Priazovsky megablock
за авторством: Burakhovich, T. K., та інші
Опубліковано: (2010)

UX research methods and strategies in the development of interactive interfaces
за авторством: Kostiuk, Anton, та інші
Опубліковано: (2025)

Дослідження локального оточення амінодифосфонової кислоти на поверхні ковалентно модифікованого діоксиду кремнію методами РФЕC та 31Р ЯМР спектроскопії
за авторством: Kostenko, L. S., та інші
Опубліковано: (2016)

Сорбція гетерополікислот на целюлозних сорбентах
за авторством: Zui, O. V., та інші
Опубліковано: (2012)