Моделі та методи побудови програмних засобів автоматизації проектування мікропрограмних систем

Шакура, О. Г.

Публікація:
Моделі та методи побудови програмних засобів автоматизації проектування мікропрограмних систем

dc.contributor.author	Шакура, О. Г.
dc.date.accessioned	2021-02-10T19:07:26Z
dc.date.available	2021-02-10T19:07:26Z
dc.date.issued	2020
dc.description.abstract	Об'єкт дослідження: графові моделі керуючих автоматів. Предмет дослідження: аналіз коректної побудови функції умов переходів у графових моделях керуючих автоматів для автоматизованого синтезу мікропрограмних систем і систем логічного управління. Мета дослідження: розробка формального методу аналізу коректності умов переходів у графових моделях кінцевих керуючих автоматів для автоматизованого синтезу мікропрограмних систем і систем логічного управління в системах автоматизованого проектування (САПР). Наукова новизна: розроблений формальний метод аналізу коректності умов переходів у графових моделях керуючих автоматів, який використовує терми ортогональної функції умов переходів з розглянутого стану для побудови таблиці аналізу повноти і несуперечності умов переходів, що дозволяє за формальними ознаками визначати стани автомата, які мають некоректно описані переходи. Практична значимість: розроблений метод дає можливість скорочувати час пошуку джерел проблем некоректного синтезу, якщо є помилки в опису умов переходів станів як на етапі формування мовної моделі автомата, так і на етапі формування графа переходів.	uk_UA
dc.identifier.citation	Шакура О. Г. Моделі та методи побудови програмних засобів автоматизації проектування мікропрограмних систем : пояснювальна записка до атестаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123 Комп'ютерна інженерія / О. Г. Шакура ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2020. – 70 с.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/14460
dc.language.iso	uk	uk_UA
dc.subject	керуючий автомат	uk_UA
dc.subject	графова модель	uk_UA
dc.subject	умови переходів	uk_UA
dc.subject	ортогональні функції	uk_UA
dc.subject	кросплатформеність	uk_UA
dc.subject	ELECTRON	uk_UA
dc.subject	ANGULAR	uk_UA
dc.title	Моделі та методи побудови програмних засобів автоматизації проектування мікропрограмних систем	uk_UA
dc.title.alternative	Models and Methods for Building of Microprogram Systems Design Automation Software	uk_UA
dc.type	Other	uk_UA
dspace.entity.type	Publication