Зв’язок мереж Петрі з бездужковим польським записом
We propose Petri nets that produce languages of Polish notation and reverse Polish notation for propositional formulas and mathematical expressions. Propositional formulas can contain a given number of variables and mathematical expressions. Arithmetic expressions can contain a given number of varia...
Збережено в:
| Дата: | 2016 |
|---|---|
| Автор: | Statkevich, Vitaly M. |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute"
2016
|
| Теми: | |
| Онлайн доступ: | http://journal.iasa.kpi.ua/article/view/59334 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | System research and information technologies |
Репозитарії
System research and information technologiesСхожі ресурси
Операція різниці для регулярних мов мереж Петрі в задачі про постачальника та споживача з обмеженим буфером
за авторством: Statkevych, Vitalii
Опубліковано: (2021)
за авторством: Statkevych, Vitalii
Опубліковано: (2021)
Регулярні вирази для деяких мов мереж Петрі в задачі про постачальника та споживача
за авторством: Statkevych, Vitalii M.
Опубліковано: (2020)
за авторством: Statkevych, Vitalii M.
Опубліковано: (2020)
Розширення математичного апарату дискретно-неперервних мереж для автоматизації процедур їх синтезу
за авторством: Gurskiy, Alexander, та інші
Опубліковано: (2024)
за авторством: Gurskiy, Alexander, та інші
Опубліковано: (2024)
Модифікація мереж Петрі з антисипацією по позиції
за авторством: Statkevych, Vitalii
Опубліковано: (2023)
за авторством: Statkevych, Vitalii
Опубліковано: (2023)
Моделювання подій в відеопотоці за допомогою стохастичних мереж Петрі
за авторством: Антощук, С. Г., та інші
Опубліковано: (2014)
за авторством: Антощук, С. Г., та інші
Опубліковано: (2014)
Метод семантичної верифікації застосувань у технології GPGPU
за авторством: Kryvyi, Serhii L., та інші
Опубліковано: (2020)
за авторством: Kryvyi, Serhii L., та інші
Опубліковано: (2020)
Конструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій
за авторством: Statkevych, Vitalii
Опубліковано: (2024)
за авторством: Statkevych, Vitalii
Опубліковано: (2024)
Інформаційні технології візуалізації технологічних процесів для дослідження режимів функціонування складних технологічних систем
за авторством: Denisenko, Andrei, та інші
Опубліковано: (2021)
за авторством: Denisenko, Andrei, та інші
Опубліковано: (2021)
ОДНОФАКТОРНЕ КОРОТКОСТРОКОВЕ ПРОГНОЗУВАННЯ ВУЗЛОВИХ ЕЛЕКТРИЧНИХ НАВАНТАЖЕНЬ ЕНЕРГОСИСТЕМИ
за авторством: Черненко, П.О., та інші
Опубліковано: (2020)
за авторством: Черненко, П.О., та інші
Опубліковано: (2020)
СИСТЕМА КОМПЛЕКСНОЇ ОЦІНКИ І МЕТОД ВИЗНАЧЕННЯ РОБОЧОГО СТАНУ РОЗПОДІЛЬНОЇ МЕРЕЖІ
за авторством: Su, Shiwei, та інші
Опубліковано: (2020)
за авторством: Su, Shiwei, та інші
Опубліковано: (2020)
Апаратна реалізація персептрона як базового вузла нейромереж
за авторством: Кожем'яко, В. П., та інші
Опубліковано: (2015)
за авторством: Кожем'яко, В. П., та інші
Опубліковано: (2015)
ЙМОВІРНІСНЕ МОДЕЛЮВАННЯ ГІБРИДНОЇ ЕЛЕКТРОСТАНЦІЇ З ВІДНОВЛЮВАНИМИ ДЖЕРЕЛАМИ ЕНЕРГІЇ
за авторством: Варецький , Ю., та інші
Опубліковано: (2016)
за авторством: Варецький , Ю., та інші
Опубліковано: (2016)
ДИНАМІЧНА МАРШРУТИЗАЦІЯ НА ОСНОВІ НЕЙРОННИХ МЕРЕЖ
за авторством: Ямненко, Ю.С., та інші
Опубліковано: (2016)
за авторством: Ямненко, Ю.С., та інші
Опубліковано: (2016)
ПРИКЛАДНІ АСПЕКТИ ЗАСТОСУВАННЯ ІНТЕЛЕКТУАЛЬНИХ ТЕХНОЛОГІЙ В СИСТЕМАХ ПІДТРИМКИ ЕКСПЛУАТАЦІЇ ТРАНСПОРТНОЇ МЕРЕЖІ ЗВ'ЯЗКУ
за авторством: Яровий, А. А., та інші
Опубліковано: (2014)
за авторством: Яровий, А. А., та інші
Опубліковано: (2014)
ЕКСПЕРИМЕНТАЛЬНІ ДОСЛІДЖЕННЯ СИСТЕМИ МЕДИЧНОГО ДІАГНОСТУВАННЯ ПАЦІЄНТІВ ЗА АНАЛІЗОМ КРОВІ НА ОСНОВІ НЕЙРОННОЇ МЕРЕЖІ КОХОНЕНА
за авторством: Колесницький, О. К., та інші
Опубліковано: (2014)
за авторством: Колесницький, О. К., та інші
Опубліковано: (2014)
Проблеми і перспективи використання штучних нейронних мереж в енергетиці. Частина 2. Управління
за авторством: Voronovskiy, та інші
Опубліковано: (2007)
за авторством: Voronovskiy, та інші
Опубліковано: (2007)
СУЧАСНИЙ СТАН, ЕЛЕМЕНТНА БАЗА ТА ПОРІВНЯЛЬНИЙ АНАЛІЗ ХАРАКТЕРИСТИК НЕЙРООБЧИСЛЮВАЧІВ
за авторством: Кожем'яко, В. П., та інші
Опубліковано: (2017)
за авторством: Кожем'яко, В. П., та інші
Опубліковано: (2017)
Виявлення озброєних людей у відеопотоці з використанням згорткових нейронних мереж
за авторством: Колесницький, О. К., та інші
Опубліковано: (2023)
за авторством: Колесницький, О. К., та інші
Опубліковано: (2023)
Якість управління інформаційними потоками в умовах стохастичного енергоспоживання
за авторством: Kovtun, Svitlana, та інші
Опубліковано: (2023)
за авторством: Kovtun, Svitlana, та інші
Опубліковано: (2023)
МОДЕЛЮВАННЯ РЕЖИМІВ РОБОТИ ЕЛЕКТРИЧНОЇ МЕРЕЖІ СЕРЕДНЬОЇ НАПРУГИ ПРИ ПІДКЛЮЧЕННІ ДО НЕЇ СОНЯЧНИХ ЕЛЕКТРОСТАНЦІЙ
за авторством: Жаркін , А.Ф., та інші
Опубліковано: (2016)
за авторством: Жаркін , А.Ф., та інші
Опубліковано: (2016)
Порівняльний аналіз методів автоматичної класифікації цифрових модуляцій на основі глибинних нейронних мереж
за авторством: Horbatyi, Ivan, та інші
Опубліковано: (2025)
за авторством: Horbatyi, Ivan, та інші
Опубліковано: (2025)
ДОСЛІДЖЕННЯ ПЕРЕХІДНИХ ПРОЦЕСІВ У КОЛІ УМОВНО ДВАНАДЦЯТИФАЗНОГО ТИРИСТОРНОГО КОМПЕНСАТОРА ДЛЯ КОРЕКЦІЇ ПЕРЕХІДНИХ ПУСКОВИХ РЕЖИМІВ В ЕЛЕКТРИЧНІЙ МЕРЕЖІ
за авторством: Чиженко, О.I., та інші
Опубліковано: (2022)
за авторством: Чиженко, О.I., та інші
Опубліковано: (2022)
МАТЕМАТИЧНІ МОДЕЛІ МИТТЄВИХ СТРУМІВ КОРОТКОГО ЗАМИКАННЯ ТРИФАЗНИХ ВИСОКОВОЛЬТНИХ МЕРЕЖ
за авторством: Паньків, В. І., та інші
Опубліковано: (2019)
за авторством: Паньків, В. І., та інші
Опубліковано: (2019)
ПРИНЦИПИ ПОБУДОВИ ШТУЧНОЇ НЕЙРОННОЇ МЕРЕЖІ СИСТЕМИ АВТОМАТИЗОВАНОГО ДІАГНОСТУВАННЯ І ПРОГНОЗУВАННЯ РОЗВИТКУ ДЕФЕКТІВ ГІДРОАГРЕГАТІВ
за авторством: Кухарчук, В. В., та інші
Опубліковано: (2013)
за авторством: Кухарчук, В. В., та інші
Опубліковано: (2013)
ЕНЕРГОЕФЕКТИВНЕ КЕРУВАННЯ НАСОСНИМИ УСТАНОВКАМИ НА ОСНОВІ НЕЙРОМЕРЕЖЕВОГО ОЦІНЮВАЧА КООРДИНАТ
за авторством: Бур’ян, С.О., та інші
Опубліковано: (2020)
за авторством: Бур’ян, С.О., та інші
Опубліковано: (2020)
Переваги та недоліки навчання багатошарової нейронної мережі за допомогою генетичного алгоритму
за авторством: Ковальчук, М.Л., та інші
Опубліковано: (2022)
за авторством: Ковальчук, М.Л., та інші
Опубліковано: (2022)
ВПЛИВ FACTS НА РЕЖИМ ЕЛЕКТРИЧНОЇ МЕРЕЖІ ЗА ПРЯМОГО ПУСКУ ПОТУЖНОЇ АСИНХРОННОЇ МАШИНИ У СКЛАДІ КОМПЛЕКСНОГО НАВАНТАЖЕННЯ
за авторством: Буткевич, О.Ф., та інші
Опубліковано: (2018)
за авторством: Буткевич, О.Ф., та інші
Опубліковано: (2018)
ВРАХУВАННЯ МЕРЕЖЕВИХ ОБМЕЖЕНЬ ТА МІНІМІЗАЦІЯ РІЗНИЦІ ЦІН МІЖ РИНКАМИ ЕЛЕКТРОЕНЕРГІЇ
за авторством: Блінов , І.В., та інші
Опубліковано: (2015)
за авторством: Блінов , І.В., та інші
Опубліковано: (2015)
ОСОБЛИВОСТІ ВИКОРИСТАННЯ ФУНКЦІЙ ЧИСТОГО ЕКСПОРТУ ПРИ ВРАХУВАННІ МЕРЕЖЕВИХ ОБМЕЖЕНЬ НА РИНКУ «НА ДОБУ НАПЕРЕД»
за авторством: Блінов, І.В., та інші
Опубліковано: (2015)
за авторством: Блінов, І.В., та інші
Опубліковано: (2015)
Оптимізація планування розподілу завдань і транспортування пакетів даних у розподіленій обчислювальній мережі
за авторством: Krasniuk, Roman P., та інші
Опубліковано: (2016)
за авторством: Krasniuk, Roman P., та інші
Опубліковано: (2016)
Оцінювання ймовірності банкрутства підприємств за допомогою дискримінантного аналізу та нейронних мереж
за авторством: Tymoshchuk, Oksana L., та інші
Опубліковано: (2018)
за авторством: Tymoshchuk, Oksana L., та інші
Опубліковано: (2018)
ПЕРЕНАПРУГИ ПІД ЧАС ДУГОВИХ ОДНОФАЗНИХ ЗАМИКАНЬ НА ЗЕМЛЮ В ЕЛЕКТРИЧНИХ МЕРЕЖАХ 35 КВ
за авторством: Сегеда, М.С., та інші
Опубліковано: (2021)
за авторством: Сегеда, М.С., та інші
Опубліковано: (2021)
Прогнозування механізмів токсичної дії фенолів за допомогою ймовірнісної нейронної мережі в поєднанні з тестом Краскела–Уолліса
за авторством: Pushkarova, Yaroslava, та інші
Опубліковано: (2025)
за авторством: Pushkarova, Yaroslava, та інші
Опубліковано: (2025)
ОСОБЛИВОСТІ ЗАСТОСУВАННЯ ЗАРЯДНИХ СТАНЦІЙ ЕЛЕКТРОМОБІЛІВ У МІСЬКИХ ЕЛЕКТРИЧНИХ МЕРЕЖАХ
за авторством: Павлов, В.Б., та інші
Опубліковано: (2018)
за авторством: Павлов, В.Б., та інші
Опубліковано: (2018)
Моделювання конкурентної рівноваги на енергоринку з урахуванням втрат електроенергії в електричних мережах
за авторством: Saukh S.Ye., та інші
Опубліковано: (2016)
за авторством: Saukh S.Ye., та інші
Опубліковано: (2016)
Особливості використання теорії паралельно-ієрархічного перетворення для обробки інформації
за авторством: Тимченко, Л., та інші
Опубліковано: (2023)
за авторством: Тимченко, Л., та інші
Опубліковано: (2023)
Використання морфінгу зображень у медицині
за авторством: Павлов, Сергій Володимирович, та інші
Опубліковано: (2020)
за авторством: Павлов, Сергій Володимирович, та інші
Опубліковано: (2020)
Класифікація електрокардіограм як динамічного процесу на основі спайкінгової нейронної мережі
за авторством: Милосердов, Д.А., та інші
Опубліковано: (2024)
за авторством: Милосердов, Д.А., та інші
Опубліковано: (2024)
СТАБІЛІЗАЦІЯ НАПРУГИ КОНТАКТНОЇ МЕРЕЖІ ДЛЯ ПІДВИЩЕННЯ ЕНЕРГОЕФЕКТИВНОСТІ СИСТЕМИ ЕЛЕКТРИЧНОЇ ТЯГИ ПОСТІЙНОГО СТРУМУ
за авторством: Тугай , Д.В., та інші
Опубліковано: (2018)
за авторством: Тугай , Д.В., та інші
Опубліковано: (2018)
Протокорм орхідних: зв’язок форми та функції, значення в онтогенезі
за авторством: Ivannikov, R.V.
Опубліковано: (2008)
за авторством: Ivannikov, R.V.
Опубліковано: (2008)
Схожі ресурси
-
Операція різниці для регулярних мов мереж Петрі в задачі про постачальника та споживача з обмеженим буфером
за авторством: Statkevych, Vitalii
Опубліковано: (2021) -
Регулярні вирази для деяких мов мереж Петрі в задачі про постачальника та споживача
за авторством: Statkevych, Vitalii M.
Опубліковано: (2020) -
Розширення математичного апарату дискретно-неперервних мереж для автоматизації процедур їх синтезу
за авторством: Gurskiy, Alexander, та інші
Опубліковано: (2024) -
Модифікація мереж Петрі з антисипацією по позиції
за авторством: Statkevych, Vitalii
Опубліковано: (2023) -
Моделювання подій в відеопотоці за допомогою стохастичних мереж Петрі
за авторством: Антощук, С. Г., та інші
Опубліковано: (2014)