science-review.ru
Изучаются средства специализации концептуальных моделей, ориентированных на построение имитационных симуляторов (ИС). Специализация необходима для введения в модель специфических средств для отображения особенностей предметной области (ПО). Предлагаются формализованные средства специализации на основе построения и исследования интенсиональных сущностей. В качестве основного средства специализации предлагаются пропозициональные концепты интенсионального вида. Концепты включаются в синтактико-семантическую систему, обеспечивающую выделение индивидов и их классификацию на возможные, действительные и виртуальные индивиды. Для уточнения статуса действительных индивидов используется формализм точек соотнесения, между которыми, в свою очередь, могут устанавливаться отношения более высокого порядка. Выполняется исследование различных конструкций, используемых при моделировании, в том числе экстенсиональных и интенсиональных предикатов. Вводятся и изучаются различные виды интенсиональных операторов.
212 KB
Библиографическая ссылка
Косиков С.В., Исмаилова Л.Ю. ИНТЕНСИОНАЛЬНЫЕ ОПЕРАТОРЫ ДЛЯ СПЕЦИАЛИЗАЦИИ МОДЕЛЕЙ ИМИТАЦИОННЫХ СИМУЛЯТОРОВ // Научное обозрение. Технические науки. 2014. № 1. С. 203-203;URL: https://science-engineering.ru/ru/article/view?id=309 (дата обращения: 19.05.2025).