Проектирование семантических формальных моделей объектов исследуемой предметной области на основе категорий диалектики и теоретико-множественных методов

Аннотация

Рассматривается системно-лингвистический подход к проектированию формальных моделей исследуемой предметной области (ИПО) на основе категорий диалектики и теоретико - множественных методов. Показано, что данный подход позволяет обеспечить требуемый уровень формализации цифровых двойников (ЦД) реальных и виртуальных объектов с сохранением их причинно-следственных связей. Рассматривается логика представления ЦД ИПО в пространственно – временном базисе Минковского. Показано, что соответствие применяемых предметно – ориентированных формальных языков для построения ЦД ИПО осуществляется в базисе уровней иерархии, порождающих языков Н. Хомского. Приводятся примеры применения данного подхода для построения семантической мета структуры ЦД ГТД (ИПО) в кибернетическом аспекте