ПРИМЕНЕНИЕ МЕТОДА КАТЕГОРИАЛЬНО-ОНТОЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ ДЛЯ РАЗРАБОТКИ АЛГОРИТМИЧЕСКОГО ОБЕСПЕЧЕНИЯ ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНОЙ СИСТЕМЫ
Journal Title: Вісник Східноукраїнського національного університету імені Володимира Даля - Year 2017, Vol 1, Issue 9
Abstract
Разработан метод категориально-онтологического мо- делирования, реализующий построение онтологических моделей, верифицируемых на основе теории категорий и скетчей и позволяющий внести в процесс инженерии зна- ний математические основы и обоснование результатов. Разработана методика верификации онтологической мо- дели на основе теории категорий и выполнена ее реализа- ция на примере проектирования алгоритмического обес- печения информационно-измерительной системы кон- троля внешнего вида изделий. По результатам категори- ально-онтологического моделирования разработана опе- раторная модель преобразований сигнала в измеритель- ном канале такой системы, смоделировано влияние раз- личных возмущающих воздействий на измерительный сигнал и определены мероприятия, компенсирующие та- кие воздействия.
Authors and Affiliations
Павло Іванович Сагайда, Ірина Анатоліївна Гетьман
Keywords
Related Articles
- EP ID EP330506
- DOI -
- Views 105
- Downloads 0
ЗНИЖЕННЯ ЯКОСТІ АКТИВІВ БАНКУ
У статті досліджено сучасний стан активів банківської системи України, визначено основні чинники погіршення якості активів банків та низку заходів щодо її поліпшення. Розглянуто альтернативні шляхи позбавлення банків від...
РОЗРОБКА МАТЕМАТИЧНОЇ МОДЕЛІ ДЛЯ ДОСЛІДЖЕННЯ РОБОТИ ПРИВОДУ ДОПОМІЖНИХ МАШИН ЕЛЕКТРОВОЗІВ СЕРІЙ ВЛ-80Т,К, ЩО ПРАЦЮЮТЬ В НЕСИНУСОЇДАЛЬНОМУ ТА НЕСИМЕТРИЧНОМУ РЕЖИМАХ
В статті розглянуто питання щодо побудови математичної моделі системи приводу допоміжних машин електровозів серій ВЛ-80Т,К, в якій мотор – вентилятори, мотор – компресори та мотор – насоси є асинхронними двигунами з коро...
Sensor fusion in wearable IoT health monitoring system
Wearable IoT-based systems are used for health state monitoring. Monitoring includes several parameters of the health state received from the device. Many simultaneous measurements of the health status obtained from s...
ЭКСПЕРИМЕНТАЛЬНОЕ ОПРЕДЕЛЕНИЕ КОЭФФИЦИЕНТА ГИДРАВЛИЧЕСКОГО СОПРОТИВЛЕНИЯ КОРОТКОГО ДИФФУЗОРА. ПОДГОТОВКА К ЭКСПЕРИМЕНТУ
Предложены новый способ и конструкция устройства равномерного распределения потока по поперечному сечению аппарата, основанные на самоорганизации. Разработана установка для экспериментального определения коэффициента гид...
ОСОБЕННОСТИ РЕАЛИЗАЦИИ УЗЛОВ ЦИФРО-АНАЛОГОВОЙ АППАРАТУРЫ УПРАВЛЕНИЯ И ОБРАБОТКИ СИГНАЛОВ НА ПРИМЕРЕ ППКП
В статье представлены схемотехнические решения отдельных узлов цифро-аналоговой аппаратуры управления и обработки сигналов датчиков на примере прибора приёмно-контрольного пожарного (ППКП) в контексте реализации экономич...