Труды КНЦ вып.9 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 10/2018(9))

ВВЕДЕНИЕ Развитие теории и технологий моделирования обеспечило возможность их все более широкого применения для исследования систем и процессов, которые относятся к категории слабо формализованных. Выявление и глубокое понимание свойств систем, определяющих эти свойства взаимосвязей и закономерностей, дает возможность вырабатывать обоснованные решения по управлению их развитием и прогнозировать возможные реакции систем на различные воздействия. При этом важная роль отводится технологиям преобразования качественных описаний исследуемых систем в формальные структуры, пригодные для компьютерной обработки. Именно таким технологиям посвящен ряд работ, вошедших в девятый выпуск серии «Информационные технологии» Трудов Кольского научного центра РАН. В частности, рассматриваются вопросы лингво-комбинаторного моделирования, интеллектуальное планирование с применением методов программирования в ограничениях, применение логистического подхода к управлению сложными системами. Прикладной аспект применения разрабатываемых методов и технологий моделирования определяется особенностями Арктической зоны Российской Федерации (АЗРФ). В качестве предметов исследования фигурируют региональная безопасность в широком смысле, кадровое обеспечение развития АЗРФ, морехозяйственные комплексы. Основным источником информации о слабо формализованных системах являются тексты на естественном языке. Это определяет актуальность разработки и развития методов автоматизированного извлечения, формализации и систематизации знаний, получаемых из текстов. В сборник включены несколько работ по этому направлению. Представлены разработка технологий семантического анализа и визуализации семантических моделей текстовых документов, а также использование модальной логики в задачах анализа утверждений в нормативных документах для выявления возможных противоречий и неполноты правового поля. Для генерации, расширения и наполнения онтологий на основе анализа тематических естественно-языковых текстов предлагается технология использования онтологических паттернов проектирования. Интеграция технологий онтологического моделирования и методов решения задач удовлетворения ограничений позволяет сократить время отклика информационных систем на запрос к базе данных за счет оптимизации выполнения запросов доступа к данным на основе онтологий. В настоящий выпуск включен обзор особенностей развития АЗРФ, выполненный на основе материалов конференции Offshore Marintec Russia 2018 и конкурса научных, научно-технических и инновационных разработок, направленных на развитие и освоение Арктики и континентального шельфа (Арктика 2018) Сборник адресован специалистам в области создания и практического использования информационных систем и технологий в различных сферах управленческой и производственной деятельности, преподавателям и студентам вузов соответствующих специальностей. 8