Розробка моделі верифікації інформаційно-вимірювальної системи з обмеженими ресурсами

Скорочена інформація про документ
dc.contributor.advisorПономаренко Т. В.uk_UA
dc.contributor.authorМихайлюк, М. В.
dc.contributor.authorMyhajluk, Myhajlo
dc.date.accessioned2021-03-22T11:51:12Z
dc.date.available2021-03-22T11:51:12Z
dc.date.issued2020
dc.descriptionМихайлюк, М. В. Розробка моделі верифікації інформаційно-вимірювальної системи з обмеженими ресурсами = Development of a model for verification of the information-measuring system with limited resources : магістерська робота ; спец. 152 “Метрологія та інформаційно-вимірювальна техніка“ / М. В. Михайлюк ; наук. кер. Т. В. Пономаренко. – Миколаїв : НУК, 2020. – 91 с.uk_UA
dc.description.abstractАктуальність теми роботи: необхідність створення моделі верифікації для різних конфігурацій апаратного забезпечення з обмеженими ресурсами. Мета та завдання дослідження. Метою є створення моделі верифікації, що описує адаптивну архітектуру вбудованих систем і дозволяє застосовувати дану модель для різних конфігурацій апаратного забезпечення. Завдання дослідження: проаналізувати існуючі моделі верифікації, інформаційно-вимірювальних систем з обмеженими ресурсами та створити модель верифікації, що описує адаптивну архітектуру вбудованих систем і містить період передачі результатів верифікації під зовнішнє сховище, що дозволяє застосовувати дану модель для різних конфігурацій апаратного забезпечення. Об'єктом дослідження інформаційно-вимірювальні системи. Предмет дослідження – модель верифікації інформаційно-вимірювальної системи з обмеженими ресурсами Методи дослідження. У вирішенні поставлених завдань використано методи теорії ймовірності, методи статистичного аналізу. Наукова новизна одержаних результатів. Розроблено модель верифікації інформаційно-вимірювальної системи з обмеженими ресурсами, яка, на відміну від моделі верифікації веб-орієнтованих систем, описує адаптивну архітектуру вбудованих систем і містить період передачі результатів верифікації під зовнішнє сховище, що дозволяє застосовувати дану модель для різних конфігурацій апаратного забезпечення. Практичне значення одержаних результатів. Розроблено програму для верифікації інформаційно-вимірювальної системи. Публікації. Результати роботи опубліковано у матеріалах Всеукраїнської науково-практичної інтернет-конференції матеріали ІІ Всеукр. наук.-практ. конф. здобувачів вищої освіти й молодих учених, м. Кропивницький, 25–27 листоп. 2020 р. / М-во освіти і науки України, Держ. наук. установа “Ін-т модернізації змісту освіти”, Центральноукр. нац. техн. ун-т. ― Кропивницький : ЦНТУ, 2020. – С. 10.uk_UA
dc.description.abstract2The qualification work in obtaining a master's degree in specialty 152 - "152 "Metrology and information-measuring equipment". Admiral Makarov National University of Shipbuilding. Mykolayiv, 2020. Relevance of the topic of the work: the need to create a verification model for different configurations of hardware with limited resources s. The goal and objectives of the study. The goal is to create a verification model that describes the adaptive architecture of embedded systems and allows you to apply this model to different hardware configurations. The objectives of the study: to analyze existing verification models, information and measurement systems with limited resources and create a verification model that describes the adaptive architecture of embedded systems and contains the period of transfer of verification results to external storage, which allows to apply this model to different hardware configurations. The object of the study is information and measurement systems. The subject of the study is a model of verification of information-measuring system with limited resources. The methods of the study. Methods of probability theory and mathematical statistics were used in solving the tasks. The scientific novelty of obtained results. A model of verification of information-measuring system with limited resources has been developed, which, unlike the model of verification of web-oriented systems, describes the adaptive architecture of embedded systems and contains the period of transfer of verification results to external storage, which allows applying this model to different hardware configurations. The practical significance of obtained results Developed a program for verification of information and measurement system. Approbation of study results. The research results were published at the All Ukrainian scientific-practical Internet conference Publications. The results of the work were published in the materials of the All-Ukrainian scientific-practical internet-conference materials of the II All Ukrainian. scientific-practical conf. applicants for higher education and young scientists, Kropyvnytskyi, November 25-27. 2020 / Ministry of Education and Science of Ukraine, Gos. Science. Institution "Institute for Modernization of Educational Content", Central Ukrainian nat. tech. un-t. - Kropyvnytskyi: CNTU, 2020. - P. 10.uk_UA
dc.description.provenanceSubmitted by Диндеренко Катерина (kateryna.dynderenko@nuos.edu.ua) on 2021-03-22T11:49:20Z No. of bitstreams: 1 Myhajluk -magister.pdf.pdf: 917604 bytes, checksum: 5945b40dcbecd4abd4041e2bd2684261 (MD5)en
dc.description.provenanceApproved for entry into archive by Диндеренко Катерина (kateryna.dynderenko@nuos.edu.ua) on 2021-03-22T11:50:03Z (GMT) No. of bitstreams: 1 Myhajluk -magister.pdf.pdf: 917604 bytes, checksum: 5945b40dcbecd4abd4041e2bd2684261 (MD5)en
dc.description.provenanceApproved for entry into archive by Диндеренко Катерина (kateryna.dynderenko@nuos.edu.ua) on 2021-03-22T11:50:36Z (GMT) No. of bitstreams: 1 Myhajluk -magister.pdf.pdf: 917604 bytes, checksum: 5945b40dcbecd4abd4041e2bd2684261 (MD5)en
dc.description.provenanceMade available in DSpace on 2021-03-22T11:51:12Z (GMT). No. of bitstreams: 1 Myhajluk -magister.pdf.pdf: 917604 bytes, checksum: 5945b40dcbecd4abd4041e2bd2684261 (MD5)en
dc.identifier.urihttps://eir.nuos.edu.ua/handle/123456789/3693
dc.language.isoukuk_UA
dc.subjectмодель верифікаціїuk_UA
dc.subjectінформаційно-вимірювальна системаuk_UA
dc.subjectсистеми з обмеженими ресурсамиuk_UA
dc.subject152 “Метрологія та інформаційно-вимірювальна техніка“uk_UA
dc.subjectverification modeluk_UA
dc.subjectinformation measurement systemuk_UA
dc.subjectsystems with limited resourcesuk_UA
dc.titleРозробка моделі верифікації інформаційно-вимірювальної системи з обмеженими ресурсамиuk_UA
dc.title1Development of a model for verification of the information-measuring system with limited resourcesuk_UA
dc.title22020
dc.typeOtheruk_UA

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Myhajluk -magister.pdf.pdf
Розмір:
896.1 KB
Формат:
Adobe Portable Document Format
Опис:
магістерська робота
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
7.05 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Магістерські роботи (ПЗАС)
152 "Метрологія та інформаційно-вимірювальна техніка"