ПРИМЕНЕНИЕ МЕТОДА КАТЕГОРИАЛЬНО-ОНТОЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ ДЛЯ РАЗРАБОТКИ АЛГОРИТМИЧЕСКОГО ОБЕСПЕЧЕНИЯ ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНОЙ СИСТЕМЫ

Abstract

Разработан метод категориально-онтологического мо- делирования, реализующий построение онтологических моделей, верифицируемых на основе теории категорий и скетчей и позволяющий внести в процесс инженерии зна- ний математические основы и обоснование результатов. Разработана методика верификации онтологической мо- дели на основе теории категорий и выполнена ее реализа- ция на примере проектирования алгоритмического обес- печения информационно-измерительной системы кон- троля внешнего вида изделий. По результатам категори- ально-онтологического моделирования разработана опе- раторная модель преобразований сигнала в измеритель- ном канале такой системы, смоделировано влияние раз- личных возмущающих воздействий на измерительный сигнал и определены мероприятия, компенсирующие та- кие воздействия.

Authors and Affiliations

Павло Іванович Сагайда, Ірина Анатоліївна Гетьман

Keywords

Related Articles

ОЦІНКА ПРОЕКТІВ ДИВЕРСИФІКАЦІЇ СУДНОПЛАВНОЇ КОМПАНІЇ З ВИКОРИСТАННЯМ ТЕОРІЇ НЕЧІТКИХ МНОЖИН

У статті розглядається проблема багатокритеріальності оцінки інвестиційних проектів диверсифікації судноплавної компанії на етапі попереднього аналізу. Для вирішення цієї проблеми пропонується використання теорії нечітки...

ФІНАНСОВІ ПРАВИЛА ТА ІНСТИТУЦІЙНА АВТОНОМІЯ: ВИКЛИКИ НОВОГО УКРАЇНСЬКОГО УНІВЕРСИТЕТУ

В роботі обґрунтовано потребу встановлення правил фінансування освітньої сфери, що гарантують більшу передбачуваність наслідків дій урядів та конкретизують суб’єктів відповідальності. Наголошено, що формування фінансових...

ОРГАНІЗАЦІЙНО-МЕТОДИЧНІ РЕКОМЕНДАЦІЇ ЩОДО ПРОВЕДЕННЯ МОНІТОРИНГУ РЕАЛІЗАЦІЇ СТРАТЕГІЇ РОЗВИТКУ ОБ’ЄДНАНОЇ ТЕРИТОРІАЛЬНОЇ ГРОМАДИ

У статті доведено необхідність проведення моніторингу реалізації Стратегії розвитку об’єднаної територіальної громади за трьома методиками, в залежності від наявності показників, які мають бути проаналізовані (порівняні)...

РОЗВИТОК ІНФРАСТРУКТУРИ РЕГІОНУ: ІНВЕСТИЦІЙНИЙ АСПЕКТ

У статті виокремлено операційні цілі розвитку інфраструктури в контексті сталого розвитку країни та визначено джерела інвестування. Згруповано 17 цілей сталого розвитку у три складових: економічну, соціальну і екологічну...

АНАЛИЗ ВЛИЯНИЯ ТЕМПЕРАТУРЫ НАГРЕВА СКОЛЬЗЯЩЕГО КОНТАКТА «КОНТАКТНЫЙ ПРОВОД – ВСТАВКА ТОКОПРИЕМНИКА» НА ЕГО РЕСУРС

В статье рассматривается вопрос сохранения работоспособности и ресурса электрического скользящего контакта «контактный провод – вставка токоприемника». Приведенные результаты стендовых испытаний электрического скользящег...

Download PDF file
  • EP ID EP330506
  • DOI -
  • Views 106
  • Downloads 0

How To Cite

Павло Іванович Сагайда, Ірина Анатоліївна Гетьман (2017). ПРИМЕНЕНИЕ МЕТОДА КАТЕГОРИАЛЬНО-ОНТОЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ ДЛЯ РАЗРАБОТКИ АЛГОРИТМИЧЕСКОГО ОБЕСПЕЧЕНИЯ ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНОЙ СИСТЕМЫ. Вісник Східноукраїнського національного університету імені Володимира Даля, 1(9), 49-58. https://europub.co.uk./articles/-A-330506