Онтологические модели киберфизических систем

Ontological models of cyber physical systems

В данной статье предлагается вариант разработки онтологической модели высокоуровневой киберфизической системы. Приведено описание отдельных элементов, используемых в разработанной онтологической модели. Дано базовое описание реестра онтологии высокого уровня на основе логических выражений. Реализации частных случаев киберфизических систем продемонстрированы на трех примерах: конвейерная система для обработки деталей на базе Festo, "умные сети" и система сортировки деталей. Для каждой модели предоставляется полное описание внутренних блоков. Онтологические модели используют концепцию реализации функциональных блоков, поскольку в настоящее время этот метод является наиболее эффективным. В качестве промежуточной модели для добавления правил используется Prolog, передача которого в систему функциональных блоков будет происходить позднее.