Skip navigation
DSpace logo
  1. ELAKPI
  2. Наукова періодика
  3. Системні дослідження та інформаційні технології: міжнародний науково-технічний журнал
  4. 2016
  5. Системні дослідження та інформаційні технології: міжнародний науково-технічний журнал, № 2
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: https://ela.kpi.ua/handle/123456789/19177
Повний запис метаданих
Поле DCЗначенняМова
dc.contributor.authorСтаткевич, Виталий Михайлович-
dc.contributor.authorСтаткевич, Віталій Михайлович-
dc.contributor.authorStatkevich, Vitaly Mikhailovych-
dc.date.accessioned2017-03-03T11:20:15Z-
dc.date.available2017-03-03T11:20:15Z-
dc.date.issued2016-
dc.identifier.citationСтаткевич В. М. Связь сетей Петри с бесскобочной польской записью / В. М. Статкевич // Системні дослідження та інформаційні технології : міжнародний науково-технічний журнал. – 2016. – № 2. – С. 7–13. – Бібліогр.: 8 назв.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/19177-
dc.language.isoruuk
dc.subjectсеть Петриru
dc.subjectингибиторная сеть Петриru
dc.subjectцветная сеть Петриru
dc.subjectязык сети Петриru
dc.subjectбесскобочная польская записьru
dc.subjectобратная польская записьru
dc.subjectмережа Петріuk
dc.subjectінгібіторна мережа Петріuk
dc.subjectкольорова мережа Петріuk
dc.subjectмова мережі Петріuk
dc.subjectбездужковий польський записuk
dc.subjectобернений польський записuk
dc.subjectPetri neten
dc.subjectinhibitor Petri neten
dc.subjectcoloured Petri neten
dc.subjectPetri net languageen
dc.subjectPolish notationen
dc.subjectreverse Polish notationen
dc.titleСвязь сетей Петри с бесскобочной польской записьюuk
dc.title.alternativeЗв’язок мереж Петрі з бездужковим польським записомuk
dc.title.alternativeConnection between Petri nets and Polish notationuk
dc.typeArticleuk
thesis.degree.level-uk
dc.format.pagerangeС. 7-13uk
dc.status.pubpublisheduk
dc.publisher.placeКиївuk
dc.source.nameСистемні дослідження та інформаційні технології : міжнародний науково-технічний журналuk
dc.identifier.doihttps://doi.org/10.20535/SRIT.2308-8893.2016.2.01-
dc.subject.udc519.711.7+519.6uk
dc.description.abstractukРозглянуто мережі Петрі, які породжують мови бездужкового польського запису та оберненого польського запису для пропозиційних формул та арифметичних виразів. Пропозиційні формули можуть містити задану кількість змінних, а арифметичні вирази — змінних та констант. Запропоновано також інгібіторні мережі Петрі для вказаних мов, які дозволяють формувати дійсні числа у двійковому записі з фіксованою точкою у арифметичних виразах. Метод побудови мереж дозволяє використовувати довільні функції заданої арності. Запропоновано кольорову мережу Петрі для обчислення пропозиційних формул в оберненому польському записі. Метод побудови мережі дозволяє застосовувати довільні функції заданої арності з використанням таблиці правдивості відповідної функції.uk
dc.description.abstractenWe 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 variables and constants. We also propose inhibitor nets that produce the fixed-point binary numbers in mathematical expressions for above-mentioned languages. The technique of the nets construction allows to use arbitrary functions with a given arity. We also propose a coloured Petri net for calculating values of propositional formulas in reverse Polish notation. The technique of the net construction allows to use arbitrary functions with a given arity using a truth table of a corresponding function.uk
dc.description.abstractruРассмотрены сети Петри, которые порождают языки бесскобочной польской записи и обратной польской записи для пропозициональных формул и арифметических выражений. Пропозициональные формулы могут содержать заданное количество переменных, а арифметические выражения— переменных и констант. Предложены также ингибиторные сети Петри для указанных языков, позволяющие формировать вещественные числа в двоичной записи с фиксированной точкой в арифметических выражениях. Метод построения сетей позволяет использовать произвольные функции заданной арности. Предложена цветная сеть Петри для вычисления значений пропозициональных формул в обратной польской записи. Метод построения сети позволяет использовать произвольные функции заданной арности с применением таблицы истинности соответствующей функции.uk
dc.publisherНТУУ "КПІ"uk
Розташовується у зібраннях:Системні дослідження та інформаційні технології: міжнародний науково-технічний журнал, № 2

Файли цього матеріалу:
Файл Опис РозмірФормат 
GM_01Statkevich.pdf457.34 kBAdobe PDFЕскіз
Переглянути/відкрити
Показати базовий опис матеріалу Перегляд статистики


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.