Buchumschlag

Связь сетей Петри с бесскобочной польской записью

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Системні дослідження та інформаційні технології
Datum:	2016
1. Verfasser:	Статкевич, В.М.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України 2016
Schlagworte:	Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/134009
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Связь сетей Петри с бесскобочной польской записью / В.М. Статкевич // Системні дослідження та інформаційні технології. — 2016. — № 2. — С. 7-13. — Бібліогр.: 8 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Моделирование Grid-узла на основе сетей Петри
von: Шелестов, А.Ю.
Veröffentlicht: (2009)

Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга
von: Зайцев, Д.А.
Veröffentlicht: (2012)

Оценка статистических свойств последовательностей на выходе комбинационного генератора с помощью графических тестов
von: Лавданский, А.А., et al.
Veröffentlicht: (2015)

Использование аппарата идемпотентных алгебр для анализа процессов в сети с предоставлением интегрированных услуг
von: Бессараб, В.И., et al.
Veröffentlicht: (2011)

Метод динамічних характеристик в задачі автентифікації. Фрактальні структури в біометриці
von: Рифа, В.М.
Veröffentlicht: (2007)

Неасимптотические оценки еффективности случайного кодирования в системе передачи информации по двоичному симметричному каналу связи с отводом
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2011)

Принципи створення автоматизованої системи експертної оцінки тарифів на послуги водопостачання та водовідведення
von: Анпілогов, П.І., et al.
Veröffentlicht: (2008)

Алгоритм побудови оптимальних пар фільтрів кодування і відновлення, адаптивних до функції багатьох змінних
von: Лигун, А.О., et al.
Veröffentlicht: (2009)

Ситуаційно-індуктивне моделювання в задачах екстраполяційного прогнозування за даними моніторингу
von: Стефанишин, Д.В.
Veröffentlicht: (2016)

Аналіз особливостей моделювання електронних схем у програмному комплексі Simulink на прикладі транзисторного підсилювача
von: Мельник, І.В.
Veröffentlicht: (2016)

Генетический алгоритм защиты SDN от сетевых атак
von: Забелин, С.И.
Veröffentlicht: (2016)

Вероятностный подход к оценке перспективности покупки бизнеса конкретным инвестором
von: Зак, Ю.А.
Veröffentlicht: (2016)

Сучасні тенденції в автоматизації промислових комплексів
von: Святний, В.А., et al.
Veröffentlicht: (2016)

Процессно-ориентированное проектирование программных комплексов как систем сервисов
von: Петренко, А.И.
Veröffentlicht: (2016)

Індикатор могутності держави – важливий інструмент системного анализу та стратегічного планування у сфері національної безпеки
von: Качинський, А.Б., et al.
Veröffentlicht: (2016)

Комплексне детерміноване оцінювання складних ієрархічно-мережевих систем: IV. Інтерактивне оцінювання
von: Поліщук, Д.О., et al.
Veröffentlicht: (2016)

Моделювання та апроксимація залежності струму електронної гармати високовольтного тліючого разряду від напруги на обмотці електромагнітного натікача як елемента газодинамічної системи керування
von: Мельник, І.В., et al.
Veröffentlicht: (2016)

Перспективи реалізації вбудованих систем автоматичного розпізнавання мови на базі RISC-мікроконтролерів
von: Мартинюк, І.A.
Veröffentlicht: (2016)

Використання інтелектуальних технологій для аналізу небезпечних ситуацій на залізничному транспорті
von: Юхимчук, С.В., et al.
Veröffentlicht: (2009)

EMI Execution Service — the key to provide interoperability of Grid infrastructures
von: Yurchenko, V.V., et al.
Veröffentlicht: (2014)

Розробка нейромережевої інтелектуальної системи для прогнозування енергетичних центрів плямових зображень у процесах профілювання лазерного променя
von: Яровий, А.А., et al.
Veröffentlicht: (2012)

Формування узагальнених паралельних схем алгоритму Флойда-Уоршала
von: Погорілий, С.Д., et al.
Veröffentlicht: (2010)

Комплексне детерміноване оцінювання складних ієрархічно-мережевих систем. Частина ІІ. Локальне та прогностичне оцінювання
von: Поліщук, Д.О., et al.
Veröffentlicht: (2015)

Структурний аналіз системи забезпечення екологічної та природно-техногенної безпеки України
von: Качинський, А.Б., et al.
Veröffentlicht: (2013)

Автоматизована система управління транспортними перевезеннями
von: Забара, С.С., et al.
Veröffentlicht: (2014)

Основні напрями створення інформаційних систем та технологій на транспорті загального користування в світлі міжнародного досвіду
von: Лігум, Ю.С.
Veröffentlicht: (2002)

Оперативный контроль вычислений на основе информационной избыточности
von: Буценко, Ю.П., et al.
Veröffentlicht: (2010)

Обеспечение качества формирования концептуальной модели требований к программному обеспечению
von: Баженов, Н.А., et al.
Veröffentlicht: (2012)

Про двокритеріальну оптимізацію портфеля акцій
von: Гаращенко, Ф.Г., et al.
Veröffentlicht: (2017)

Нечеткое моделирование для оценивания и прогнозирования индекса устойчивости социальной среды
von: Абдуллаева, Н.А.
Veröffentlicht: (2012)

Ймовірнісне прогнозування процесів ціноутворення на фондових ринках
von: Бідюк, П.І., et al.
Veröffentlicht: (2009)

Energy security cost as an externality—increased gas import price and economy of Ukraine
von: Matsuki, Y., et al.
Veröffentlicht: (2012)

Blockchain as a service for medical records
von: Petrenko, A., et al.
Veröffentlicht: (2017)

Рациональный компромисс целей субъектов дистанционного образования
von: Панкратова, Н.Д., et al.
Veröffentlicht: (2003)

Повышение эффективности оценивания параметров распределения в условиях ограниченной экспериментальной информации
von: Редько, Е.В., et al.
Veröffentlicht: (2011)

Оброблення наукових даних в умовах інформаційного «буму»
von: Згуровський, М.З., et al.
Veröffentlicht: (2012)

Оценка качества функционирования интегрированных информационных систем
von: Танянский, С.С., et al.
Veröffentlicht: (2006)

Применения алгоритмов сглаживания для предварительной обработки статистических солнечных данных
von: Киян, М.А., et al.
Veröffentlicht: (2014)

Автоматизована система керування технологічними комплексами з дискретним режимом роботи виконавчих механізмів в умовах господарств АПК
von: Діордієв, В.Т., et al.
Veröffentlicht: (2013)

Использование информации о стоимости тестов и серьезности ошибок в процессе приоритезации тестов
von: Малышевский, А.Г.
Veröffentlicht: (2008)