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

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Системні дослідження та інформаційні технології
Дата:	2016
Автор:	Статкевич, В.М.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України 2016
Теми:	Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/134009
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Связь сетей Петри с бесскобочной польской записью / В.М. Статкевич // Системні дослідження та інформаційні технології. — 2016. — № 2. — С. 7-13. — Бібліогр.: 8 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Моделирование Grid-узла на основе сетей Петри
за авторством: Шелестов, А.Ю.
Опубліковано: (2009)

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

Оценка статистических свойств последовательностей на выходе комбинационного генератора с помощью графических тестов
за авторством: Лавданский, А.А., та інші
Опубліковано: (2015)

Использование аппарата идемпотентных алгебр для анализа процессов в сети с предоставлением интегрированных услуг
за авторством: Бессараб, В.И., та інші
Опубліковано: (2011)

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

Неасимптотические оценки еффективности случайного кодирования в системе передачи информации по двоичному симметричному каналу связи с отводом
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2011)

Принципи створення автоматизованої системи експертної оцінки тарифів на послуги водопостачання та водовідведення
за авторством: Анпілогов, П.І., та інші
Опубліковано: (2008)

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

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

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

Генетический алгоритм защиты SDN от сетевых атак
за авторством: Забелин, С.И.
Опубліковано: (2016)

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

Сучасні тенденції в автоматизації промислових комплексів
за авторством: Святний, В.А., та інші
Опубліковано: (2016)

Процессно-ориентированное проектирование программных комплексов как систем сервисов
за авторством: Петренко, А.И.
Опубліковано: (2016)

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

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

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

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

Використання інтелектуальних технологій для аналізу небезпечних ситуацій на залізничному транспорті
за авторством: Юхимчук, С.В., та інші
Опубліковано: (2009)

EMI Execution Service — the key to provide interoperability of Grid infrastructures
за авторством: Yurchenko, V.V., та інші
Опубліковано: (2014)

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

Формування узагальнених паралельних схем алгоритму Флойда-Уоршала
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2010)

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

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

Автоматизована система управління транспортними перевезеннями
за авторством: Забара, С.С., та інші
Опубліковано: (2014)

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

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

Обеспечение качества формирования концептуальной модели требований к программному обеспечению
за авторством: Баженов, Н.А., та інші
Опубліковано: (2012)

Про двокритеріальну оптимізацію портфеля акцій
за авторством: Гаращенко, Ф.Г., та інші
Опубліковано: (2017)

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

Ймовірнісне прогнозування процесів ціноутворення на фондових ринках
за авторством: Бідюк, П.І., та інші
Опубліковано: (2009)

Energy security cost as an externality—increased gas import price and economy of Ukraine
за авторством: Matsuki, Y., та інші
Опубліковано: (2012)

Blockchain as a service for medical records
за авторством: Petrenko, A., та інші
Опубліковано: (2017)

Рациональный компромисс целей субъектов дистанционного образования
за авторством: Панкратова, Н.Д., та інші
Опубліковано: (2003)

Повышение эффективности оценивания параметров распределения в условиях ограниченной экспериментальной информации
за авторством: Редько, Е.В., та інші
Опубліковано: (2011)

Оброблення наукових даних в умовах інформаційного «буму»
за авторством: Згуровський, М.З., та інші
Опубліковано: (2012)

Оценка качества функционирования интегрированных информационных систем
за авторством: Танянский, С.С., та інші
Опубліковано: (2006)

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

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

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