1. | Наименование проекта | Модели и методы информационно-аналитической поддержки планов формирования и развития промышленно-природных кластеров в Арктической зоне Российской Федерации (АЗРФ) в условиях ограничений и неполной определенности воздействия гетерогенных факторов. |
---|---|---|
2. | Регистрационный номер ЦИТИС: | АААА-А18-118051490133-4 |
3. | Исполнитель | Институт информатики и математического моделирования технологических процессов ФИЦ КНЦ РАН |
4. | Ведомственная принадлежность | Минобрнауки России - наука |
5. | Заказчик | ФАНО России |
6. | Вид финансирования | ГЗ |
7. | Вид НИОКТР | Фундаментальная НИР |
8. | Приоритетное направление (основное) | Информационно-телекоммуникационные системы |
9. | Приоритетное направление (дополнительное) | Нет данных |
10. | Критическая технология (основная) | Технологии информационных, управляющих, навигационных систем |
11. | Критическая технология (дополнительная) | Нет данных |
12. | Приоритет Стратегии НТР России | |
13. | Общее тематическое направление | |
14. | Приоритетное арктическое направление (основное) | |
15. | Приоритетное арктическое направление (дополнительное) | |
16. | Аннотация | Целью исследований является разработка моделей и методов информационно-аналитической поддержки планов формирования и развития промышленно-природных кластеров в Арктической зоне Российской Федерации (АЗРФ), основанных на таком представлении нечисловой информации, которое бы позволило унифицировать обработку детерминированных подмодели и подмоделей с неопределенностями, а также обеспечило бы высокую эффективность вычислительных процедур. Особенностью исследований является: 1) ориентация на использование средств онтологического моделирования для представления информации о промышленно-природном кластере; 2) применение наработок из области ситуационного концептуального моделирования для решения задач формального анализа целостности онтологии и когнитивной классификации; 3) использование парадигмы программирования в ограничениях и разработанной ранее авторами алгебры кортежей для создания методов вывода на онтологии с учетом специфики рассуждений о слабо формализованных динамических системах. Целью исследований является разработка моделей и методов информационно-аналитической поддержки планов формирования и развития промышленно-природных кластеров в Арктической зоне Российской Федерации (АЗРФ), основанных на таком представлении нечисловой информации, которое бы позволило унифицировать обработку детерминированных подмодели и подмоделей с неопределенностями, а также обеспечило бы высокую эффективность вычислительных процедур. Особенностью исследований является: 1) ориентация на использование средств онтологического моделирования для представления информации о промышленно-природном кластере; 2) применение наработок из области ситуационного концептуального моделирования для решения задач формального анализа целостности онтологии и когнитивной классификации; 3) использование парадигмы программирования в ограничениях и разработанной ранее авторами алгебры кортежей для создания методов вывода на онтологии с учетом специфики рассуждений о слабо формализованных динамических системах. Актуальность исследований определяется важностью моделирования слабо формализованных предметных областей, знания о которых разнородны, носят как количественный, так и качественный характер. При исследовании динамических систем применение моделей и методов качественного моделирования менее распространено, несмотря на острую необходимость совместно обрабатывать количественные и качественные зависимости в случае слабо формализованных предметных областей, к которым относятся промышленно-природные кластеры. В рамках исследований по теме предполагается получить следующие результаты: 1. Обобщенная концептуальная модель развития промышленно-природного кластера АЗРФ в виде специализированной онтологии, позволяющая учесть изменчивость ограничений и неполную определенность факторов, воздействующих на объект исследования. 2. Формальный аппарат анализа целостности онтологии промышленно-природного кластера на основе модифицированных методов решения задач удовлетворения ограничений. 3. Формальный аппарат совместного анализа атрибутов различной природы (детерминированных, вероятностных, нечетких): 4. Процедуры вывода на онтологии и реализующие их алгоритмы, обеспечивающие анализ адаптивности промышленно-природных кластеров к динамическому воздействию гетерогенных факторов и отсечение в процессе вывода фиктивных с точки зрения качественной модели вариантов развития объектов исследования. 5. Специализированная программная библиотека алгоритмов вывода на онтологической модели предметной области, интегрируемая с существующими инструментальными средствами качественного моделирования динамических систем. 6. Варианты спецификаций сценариев формирования промышленно-природных кластеров, создание которых предусматривается планами стратегического развития АЗРФ. |
17. | Начало проекта | 01.01.2018 |
18. | Завершение проекта | 31.12.2020 |