Кваліфікаційні роботи магістрів (Маг_ЕОМ)

Постійний URI для цієї колекції

https://openarchive.nure.ua/handle/document/9328

Перегляд

Перегляд Кваліфікаційні роботи магістрів (Маг_ЕОМ) за темою "ANGULAR"

Зараз показано 1 - 2 з 2
  • Зображення мініатюри
    Публікація
    Методи управління каталогом нерухомості
    (2020) Касапов, В. О.
    Метою атестаційної роботи є аналіз сучасних методів і систем управління каталогом нерухомості та розробка веб-сервісу для доступу до каталогів нерухомості. У ході виконання атестаційної роботи було проаналізовано вимоги до методів і систем управління каталогом нерухомості, сучасні технології та засоби для реалазції веб-застосунку системи. Наукова новизна результатів роботи полягає в доповненнях методів проектування та автоматизації систем управління каталогом інфораційних об’єктів у вигляді веб-сервісу. Покращено методи розробки архітектури бази даних для більш швидкого розширення інформаційних об’єктів системи. Практичне значення одержаних результатів полягає в запропонованих технологічних рішеннях удосконалення процесів побудови інформаційних систем, які можут бути використані розробниками програмного забезпечення при розробці веб-застосунків та при моделюванні систем.
  • Зображення мініатюри
    Публікація
    Моделі та методи побудови програмних засобів автоматизації проектування мікропрограмних систем
    (2020) Шакура, О. Г.
    Об'єкт дослідження: графові моделі керуючих автоматів. Предмет дослідження: аналіз коректної побудови функції умов переходів у графових моделях керуючих автоматів для автоматизованого синтезу мікропрограмних систем і систем логічного управління. Мета дослідження: розробка формального методу аналізу коректності умов переходів у графових моделях кінцевих керуючих автоматів для автоматизованого синтезу мікропрограмних систем і систем логічного управління в системах автоматизованого проектування (САПР). Наукова новизна: розроблений формальний метод аналізу коректності умов переходів у графових моделях керуючих автоматів, який використовує терми ортогональної функції умов переходів з розглянутого стану для побудови таблиці аналізу повноти і несуперечності умов переходів, що дозволяє за формальними ознаками визначати стани автомата, які мають некоректно описані переходи. Практична значимість: розроблений метод дає можливість скорочувати час пошуку джерел проблем некоректного синтезу, якщо є помилки в опису умов переходів станів як на етапі формування мовної моделі автомата, так і на етапі формування графа переходів.