ПРИМЕНЕНИЕ МЕТОДА КАТЕГОРИАЛЬНО-ОНТОЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ ДЛЯ РАЗРАБОТКИ АЛГОРИТМИЧЕСКОГО ОБЕСПЕЧЕНИЯ ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНОЙ СИСТЕМЫ
Journal Title: Вісник Східноукраїнського національного університету імені Володимира Даля - Year 2017, Vol 1, Issue 9
Abstract
Разработан метод категориально-онтологического мо- делирования, реализующий построение онтологических моделей, верифицируемых на основе теории категорий и скетчей и позволяющий внести в процесс инженерии зна- ний математические основы и обоснование результатов. Разработана методика верификации онтологической мо- дели на основе теории категорий и выполнена ее реализа- ция на примере проектирования алгоритмического обес- печения информационно-измерительной системы кон- троля внешнего вида изделий. По результатам категори- ально-онтологического моделирования разработана опе- раторная модель преобразований сигнала в измеритель- ном канале такой системы, смоделировано влияние раз- личных возмущающих воздействий на измерительный сигнал и определены мероприятия, компенсирующие та- кие воздействия.
Authors and Affiliations
Павло Іванович Сагайда, Ірина Анатоліївна Гетьман
Keywords
Related Articles
- EP ID EP330506
- DOI -
- Views 116
- Downloads 0
УКРАЇНСЬКО-КАНАДСЬКЕ СПІВРОБІТНИЦТВО: ПРИОРІТЕТИ XXI СТОЛІТТЯ
У статті розглянута та проаналізована динаміка українсько- канадського партнерства у культурно-гуманітарній, медичній, військово-оборонній та деяких інших сферах міждержавних та міжнародних відносин України й Канади, що...
THE INFLUENCE OF CORPORATE PRINTED EDITIONS ON THE FORMATION AND DEVELOPMENT OF CORPORATE CULTURE
The article is devoted to the study of various aspects of the use of corporate printed editions for the formation and development of corporate culture in modern enterprises. The most used types of printed corporate publi...
МЕТОДИКА ОЦІНКИ НАДІЙНОСТІ ТА ЕФЕКТИВНОСТІ ЛОГІСТИЧНОЇ СИСТЕМИТРАНСПОРТНОГО ОБСЛУГОВУВАННЯ ПРОЦЕСУ ЗБИРАННЯ ЦУКРОВИХ БУРЯКІВ
У дослідженні розглянуто існуючі проблеми в забезпеченні транспортного обслуговування учасників аграрної галу- зі. На прикладі доставки цукрового буряку, запропоновано методику управління надійністю функціонування усіх у...
РОЗВИТОК ІНФРАСТРУКТУРИ РЕГІОНУ: ІНВЕСТИЦІЙНИЙ АСПЕКТ
У статті виокремлено операційні цілі розвитку інфраструктури в контексті сталого розвитку країни та визначено джерела інвестування. Згруповано 17 цілей сталого розвитку у три складових: економічну, соціальну і екологічну...
МЕХАНІЗМИ СОЦІАЛЬНОГО ВПЛИВУ В КОМУНІКАТИВНОМУ ПРОСТОРІ СУЧАСНОЇ РЕКЛАМИ
Стаття присвячена аналізу комунікативного простору реклами та основним механізмама соціального впливу, що активно використовуються в сучасній рекламній діяльності. Автором пропонується в якості головних механізмів соціал...