Utilizza questo identificativo per citare o creare un link a questo documento: http://elartu.tntu.edu.ua/handle/lib/33276
Titolo: Методи та засоби моделювання комп’ютерних систем на основі мереж Петрі
Titoli alternativi: Methods and tools of computer systems modelling based on Petri networks
Autori: Ващук, Максим Васильович
Vaschuk, Maksym Vasylyovych
Affiliation: Тернопільський національний технічний університет імені Івана Пулюя
Bibliographic description (Ukraine): Ващук І. Б. Методи та засоби моделювання комп’ютерних систем на основі мереж Петрі : дипломна робота магістра за спеціальністю „123 — комп’ютерна інженерія“ / І. Б. Ващук. — Тернопіль : ТНТУ, 2020. — 79 с.
Data: dic-2020
Submitted date: 15-dic-2020
Date of entry: 21-dic-2020
Editore: Тернопільський національний технічний університет імені Івана Пулюя
Country (code): UA
Place of the edition/event: Тернопільський національний технічний університет імені Івана Пулюя
Supervisor: Луцків, Андрій Мирославович
Lutskiv, Andriy Myroslavovych
Committee members: Бойко, Ігор Володимирович
UDC: 004.94
Parole chiave: 123
комп’ютерна інженерія
метод
засіб
моделювання
комп’ютерна система
мережа Петрі
method
tool
modelling
computer system
Petri network
Number of pages: 79
Abstract: У дипломній роботі магістра досліджено методи і засоби моделювання комп’ютерних систем із застосуванням апарату мереж Петрі з можливістю трансляції параметрів моделі, виражених природною мовою, у програмний код та візуалізацією архітектури системи. Для того, щоб врахувати особливості структури комп’ютерної системи, потенційні маршрути передачі даних, затримки маршрутизації і забезпечити можливість швидкого встановлення «вузьких» місць системи перед початком її впровадження обгрунтовано та побудовано модель на основі EN-мереж Петрі. У роботі запропоновано метод та процедури аналізу вхідного тексту параметрів мережевих моделей EN, спосіб перетворення одержаних лексем у код програми на мові С++. Розроблено програмний засіб підтримки запропонованих моделі і методу трансляції мережі Петрі у програмний код та візуалізації її структури.
In the master's thesis the methods and tools of modeling computer systems with the use of Petri nets with the possibility of translating the parameters of the model, expressed in natural language, into the program code and visualization of the system architecture are investigated. In order to take into account the structure of the computer system, potential routes of data transmission, routing delays and to ensure the possibility of rapid establishment of "bottlenecks" of the system before its implementation, a model based on EN-Petri nets is justified. The paper proposes a method and procedures for analyzing the input text of the parameters of network models EN, a method of converting the obtained tokens into program code in C ++. A software tool for supporting the proposed models and method of translating the Petri net into program code and visualization of its structure has been developed.
Content: Вступ. 1. Аналіз сучасного стану досліджень у сфері моделювання комп’ютерних систем. 2. Розробка методу трансляції мережі Петрі у програмний код мови С++ 3. Розробка програмного засобу для моделювання комп’ютерних систем на основі мереж Петрі. 4. Охорона праці та безпека в надзвичайних ситуаціях. Висновки
URI: http://elartu.tntu.edu.ua/handle/lib/33276
Copyright owner: © Ващук Максим Васильович, 2020
References (Ukraine): 1. Проститенко, О.В., Халимон В.И., Рогов А.Ю. Моделирование дискретных систем на основе сетей Петри: учебное пособие – СПб.: СПбГТИ(ТУ), 2017. 69 с. 2. Васильев В.В., Кузьмук В.В. Сети Петри, параллельные алгоритмы и модели, мультипроцессорных систем. Киев: Наук. думка, 1990. 216 с. 3. Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов. М.: Энергоатомиздат, 1989. 328 с. 4. Томашевський В. М. Моделювання систем / В. М. Томашевський. – Київ : Видавнича група BHV, 2005. – 352 с. 5. Лоу М., Кельтон В. Д. Имитационное моделирование. Классика CS : Пер. с англ. / Аверилл М. Лоу, В. Дэвид Кельтон. – 3-е изд. – Киев : Издательская группа BHV, 2004. 847 с. 6. 3. Акопов А. С. Имитационное моделирование: учебник и практикум для академического бакалавриата. Москва : Издательство Юрайт, 2014. 389 с. 7. Анищенко В. С. Знакомство с нелинейной динамикой: Лекции Соросовского профессора. Москва : Издательская группа URSS, 2008. 224 с. 8. Banks J., Carson J. S., Nelson B. L., Nicol D. M. Discrete-Event System Simulation. New Jersey : Prentice-Hall, 2005. 528 p. 9. Стеценко І. В. Проектування графічного модуля програмного забезпечення Петрі-об'єктного моделювання систем / І. В. Стеценко, О. В. Василевська // Вісник Черкаського державного технологічного університету. – Черкаси : ЧДТУ, 2013. No 2. с. 13-18. 10. Dehouck R. Craft AI. The maturity of visual programming [Електронний ресурс]. Режим доступу до ресурсу – http://www.craft.ai/blog/thematurity-of-visual- programming/ (дата звернення 20.11.2020 р) 11. Maloney J. The Scratch Programming Language and Environment / J. Maloney, M. Resnick, B. Silverman, E. Eastmond // ACM Transactions on Computing Education. 2010. Vol. 10, No. 4. 15 p.70 12. Beucher O. Introduction to MATLAB and SIMULINK: A Project Approach 3rd ed. Hingham : Infinity Science Press LLC, 2007. 386 p. 13. Colvin R., Hayes Ian J., Colvin R. A semantics for Behavior Trees. ACCS Technical Report ACCS-TR-07-01, ARC Centre for Complex Systems. 2007. 20 p. 14. Garrido J. M. Object-Oriented Discrete-Event Simulation with Java: A Practical Introduction. New York : Kluwer/Plenum, 2001. 255 p. 15. Строгалев В. П. Имитационное моделирование. Москва : Издательство МГТУ им. Н. Э. Баумана, 2015. 295 с. 16. Kelton W. D., Sadowski R. P., Sadowski D. A. Simulation with Arena. Boston : McGraw-Hill, 1998. 547 p. 17. Altiok T., Melamed B. Simulation Modeling and Analysis with ARENA. Burlington : Elsevier, 2007. 458 p. 18. Технології проектування програмного забезпечення URL: http://www.iasa.com.ua/studentam/study-materials-ua/testing/d456dkovska-m-v-lekc45 6ya-1-zhitt454v456-cikli-rozrobki-programnogo-zabezpechennya (дата звернення 10.10.2020 р.). 19. Ларман К. Применение UML и шаблонов проектирования. М.: Вильямс. 2001. 496 с. 20. НПАОП 0.00-7.15-18 «Вимоги щодо безпеки та захисту здоров’я працівників під час роботи з екранними пристроями». Київ. 2018. 21. Катренко Л.А., Катренко А.В. Охорона праці в галузі комп’ютинґу. Львів: Магнолія-2006. 2012. 544 с. 22. Желібо Е.Н. Безпека життєдіяльності: Навчальний посібникКиїв: «Каравела», Львів: «Новий світ - 2000», 2001. 320с.
Content type: Master Thesis
È visualizzato nelle collezioni:123 — комп’ютерна інженерія

File in questo documento:
File Descrizione DimensioniFormato 
Vaschuk_CIm_61.pdf2,91 MBAdobe PDFVisualizza/apri
Авторська_довідка_Ващук.docx18,96 kBMicrosoft Word XMLVisualizza/apri


Tutti i documenti archiviati in DSpace sono protetti da copyright. Tutti i diritti riservati.

Strumenti di amministrazione