Представление динамических взаимодействующих процессов в пространстве состояний нечеткой раскрашенной сети Петри для верификации программного продукта нечеткой логической системы классификации ; Представлення динамічних взаємодіючих процесів у просторі станів нечіткої розфарбованої мережі петрі для верифікації програмного продукту нечіткої логічної системи класифікації ; Presenting dynamic interaction processes in the space of the states of the fuzzy colored petri net for verifying the software of the fuzzy logical classification system

Συγγραφείς: А.А. Тимочко, О.О. Тімочко, O. Timochko

Πηγή: Наука і техніка Повітряних Сил Збройних Сил України. — 2018. — № 4(33). 83-89 ; Наука и техника Воздушных Сил Вооруженных Сил Украины. — 2018. — № 4(33). 83-89 ; Science and Technology of the Air Force of Ukraine. — 2018. — № 4(33). 83-89 ; 2223-456X

Θεματικοί όροι: Розвиток радіотехнічного забезпечення, асу та зв’язку повітряних сил, УДК 519.179.2 : 004.415.5 : 351.814.33, программное обеспечение, верификация, классификация, воздушный объект, взаимо-действующий процесс, нечеткая раскрашенная сеть Петри, програмне забезпечення, верифікація, класифікація, повітряний об’єкт, взаємодіючий процес, не-чітка розфарбована мережа Петрі, software, verification, classification, air object, interacting process, fuzzy colored Petri network

Περιγραφή αρχείου: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/19028/nitps_2018_4_13.pdf; http://www.hups.mil.gov.ua/periodic-app/article/19028

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/19028

Comparative Analysis of Stability to Induced Deadlocks for Computing Grids with Various Node Architectures ; Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам

Συγγραφείς: Tatiana R. Shmeleva, Татьяна Рудольфовна Шмелёва

Πηγή: Modeling and Analysis of Information Systems; Том 25, № 2 (2018); 193-206 ; Моделирование и анализ информационных систем; Том 25, № 2 (2018); 193-206 ; 2313-5417 ; 1818-1015

Θεματικοί όροι: тупик, cut-through switching, traffic attack defence, performance evaluation, colored Petri net, deadlock, сквозная коммутация, защита против атак трафика, оценка производительности, раскрашенная сеть Петри

Περιγραφή αρχείου: application/pdf

Relation: https://www.mais-journal.ru/jour/article/view/679/531; Preve N.P., Grid Computing: Towards a Global Interconnected Infrastructure, Springer, 2011, 312 pp.; Зайцев Д.А., Шмелёва Т.Р., Гуляев К.Д., Отчет о научно-исследовательской работе «Разработка новых систем адресации глобальных сетей», номер госрегистрации 0108U008900, ОНАС, Одесса, 2009, 124 pp., (на украинском языке).; Liberzon D., Switching in Systems and Control, Birkhauser, Boston, 2003, 230 pp.; Sakun A.L., Zaitsev D.A., “An Evaluation of MPLS Efficacy using Colored Petri Net Models”, Proceedings of International Middle Eastern Multiconference on Simulation and Modelling (MESM’2008), Amman (Jordan), August 26–28, 2008, 31–36.; Shmeleva T.R., Zaitsev D.A., “Switched Ethernet Response Time Evaluation via Colored Petri Net Model”, Proccedings of International Middle Eastern Multiconference on Simulation and Modelling, August 28–30, 2006, Alexandria (Egypt), 68–77.; Zaitsev D.A., Shmeleva T.R., “Parametric Petri Net Model for Ethernet Performance and Qos Evaluation”, Proceedings of 16th Workshop on Algorithms and Tools for Petri Nets, September 25–26, 2009, University of Karlsruhe, Germany, 15–28.; Zaitsev D.A., Shmeleva T.R., Retschitzegger W. and Proll B., “Blocking Communication Grid via Ill-Intentioned Traffic”, 14th Middle Eastern Simulation and Modelling Multiconference, February 3–5, 2014, Muscat, Oman, 63–71.; Jensen K., Kristensen L.M., Coloured Petri Nets: Modelling and Validation of Concurrent Systems, Springer, 2009, 384 pp.; Retschitzegger W., Proll B., Zaitsev D.A., Shmeleva T.R., “Security of grid structures under disguised traffic attacks”, Cluster Computing, 19:3 (2016), 1183–1200.; Shmeleva T.R., “Security of Grid Structures with Cut-through Switching Nodes”, System Informatics, 2017, №10, 23–32.

Διαθεσιμότητα: https://www.mais-journal.ru/jour/article/view/679
https://doi.org/10.18255/1818-1015-2018-2-193-206

MODEL OF EDUCATIONAL PROCESS AT UNIVERSITY WITH THE USE OF PETRI NETS

Συγγραφείς: Romashkova, O.N., Ponomareva, L.A.

Πηγή: Международный научный журнал "Современные информационные технологии и ИТ-образование". 13

Θεματικοί όροι: раскрашенная сеть Петри, 4. Education, colored Petri net, Учебный процесс вуза, the business processes, бизнес процессы, modeling, моделирование, The University educational process

РЕЕНТЕРАБЕЛЬНАЯ МОДЕЛЬ RIP ПРОТОКОЛА В ФОРМЕ РАСКРАШЕННЫХ СЕТЕЙ ПЕТРИ

Συγγραφείς: Shmeleva, T. R.

Πηγή: Radio Electronics, Computer Science, Control; № 4 (2016): Radio Electronics, Computer Science, Control
Радиоэлектроника, информатика, управление; № 4 (2016): Радиоэлектроника, информатика, управление
Радіоелектроніка, iнформатика, управління; № 4 (2016): Радіоелектроніка, інформатика, управління

Θεματικοί όροι: dynamic routing protocol, RIP protocol, IP network, reenterable model, colored Petri net, average delivery time, протокол динамической маршрутизации, протокол RIP, сеть IP, реентерабельная модель, раскрашенная сеть Петри, среднее время доставки пакета

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://ric.zntu.edu.ua/article/view/90652

Реентерабельная модель RIP протокола в форме раскрашенных сетей Петри

Πηγή: Радіоелектроніка, інформатика, управління.

Θεματικοί όροι: протокол динамической маршрутизации, протокол RIP, сеть IP, реентерабельная модель, раскрашенная сеть Петри, среднее время доставки пакета

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/16998668.png
http://cyberleninka.ru/article/n/reenterabelnaya-model-rip-protokola-v-forme-raskrashennyh-setey-petri

ОПТИМИЗАЦИЯ ЗАГРУЗКИ ГИБКОГО ПРОИЗВОДСТВЕННОГО КОМПЛЕКСА НА ОСНОВЕ УПРАВЛЯЕМОЙ ГЕНЕТИЧЕСКИМ АЛГОРИТМОМ РАСКРАШЕННОЙ СЕТИ ПЕТРИ

Συγγραφείς: Сочнев, Алексей

Θεματικοί όροι: РАСКРАШЕННАЯ СЕТЬ ПЕТРИ, ЗАДАЧА О НАЗНАЧЕНИЯХ, ГЕНЕТИЧЕСКИЙ АЛГОРИТМ, ПОПУЛЯЦИЯ, ФУНКЦИЯ ПРИСПОСОБЛЕННОСТИ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/optimizatsiya-zagruzki-gibkogo-proizvodstvennogo-kompleksa-na-osnove-upravlyaemoy-geneticheskim-algoritmom-raskrashennoy-seti-petri
http://cyberleninka.ru/article_covers/14481276.png

Оптимизация загрузки гибкого производственного комплекса на основе управляемой генетическим алгоритмом раскрашенной сети Петри

Πηγή: Информационно-управляющие системы.

Θεματικοί όροι: 0502 economics and business, 05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, РАСКРАШЕННАЯ СЕТЬ ПЕТРИ, ЗАДАЧА О НАЗНАЧЕНИЯХ, ГЕНЕТИЧЕСКИЙ АЛГОРИТМ, ПОПУЛЯЦИЯ, ФУНКЦИЯ ПРИСПОСОБЛЕННОСТИ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/optimizatsiya-zagruzki-gibkogo-proizvodstvennogo-kompleksa-na-osnove-upravlyaemoy-geneticheskim-algoritmom-raskrashennoy-seti-petri
http://cyberleninka.ru/article_covers/14481276.png

Representability of generalised regular languages by stochastic Petri nets ; Представимость обобщенных регулярных языков стохастическими сетями Петри

Συγγραφείς: Пинаева Юлия Олеговна, Pinaeva Ulia Olegovna

Συνεισφορές: Кривулин Николай Кимович, Krivulin Nikolaj Kimovic, Пономарева Александра Юрьевна, Ponomareva Aleksandra Urevna

Θεματικοί όροι: Абстрактный автомат, стохастический автомат, R-автомат, R-обобщенный язык, регулярный язык, сеть Петри, стохастическая сеть Петри, раскрашенная сеть Петри, дискретно-временная сеть Петри, префиксный язык, метод сетевой подстановки, Abstract automaton, stochastic automaton, R-automaton, R-generalized language, regular language, Petri net, stochastic Petri net, colored Petri net, discrete-time Petri net, prefix language, network substitution method

Relation: 086916; http://hdl.handle.net/11701/46293

Διαθεσιμότητα: http://hdl.handle.net/11701/46293

Моделирование мандатной политики целостности информации с использованием аппарата раскрашенных сетей Петри

Συγγραφείς: Цибуля, А.Н., Хо, М.Н.

Θεματικοί όροι: защита информации, модель Биба, мандатная политика, раскрашенная сеть Петри

Relation: Dspace\SGAU\20170113\61175

Διαθεσιμότητα: http://repo.ssau.ru/handle/Perspektivnye-informacionnye-tehnologii/Modelirovanie-mandatnoi-politiki-celostnosti-informacii-s-ispolzovaniem-apparata-raskrashennyh-setei-Petri-61175

Моделирование мандатной политики целостности информации с использованием аппарата раскрашенных сетей Петри

Όροι ευρετηρίου: защита информации, модель Биба, мандатная политика, раскрашенная сеть Петри, Article

Σύνδεσμος: http://repo.ssau.ru/handle/Perspektivnye-informacionnye-tehnologii/Modelirovanie-mandatnoi-politiki-celostnosti-informacii-s-ispolzovaniem-apparata-raskrashennyh-setei-Petri-61175