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

ТРУДЫ Кольского научного центра РАН СОДЕРЖАНИЕ А.В. Маслобоев В.А. Путилов М.Б. Игнатьев Введение. ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ выпуск 9 Стр. 8 Лингво-комбинаторная модель региональной безопасностью......... управления 9 А.А. Зуенко О.В. Фридман С.Н. Малыгина В.В. Быстров Д.Н. Халиуллина В.В. Быстров Д.Н. Халиуллина Е.С.Давидюк М.Г.Шишаев В.В.Быстров А.В. Вицентий М.Г. Шишаев П.А. Ломов Г.Г. Гогоберидзе А.В. Вицентий М.Г. Шишаев Г.Г. Гогоберидзе А.В. Вицентий М.Г. Шишаев В.В. Диковицкий В.В. Диковицкий А.А. Менькова Л.М. Шишаева Применение методов программирования в ограничениях в задачах интеллектуального планирования................................................................ 21 Логистика кадрового обеспечения региона: формализация и структура полимодельного комплекса...................................................................... 36 Формализованная концептуальная модель обеспечения экологической безопасности арктических коммуникаций........................................ 48 Прогнозное моделирование для мониторинга и управления кадровым обеспечением программ регионального развития............................................. 61 Разработка онтологии предметной области для формального логического вывода и визуализации в системах информационной поддержки задач морского пространственного планирования................................................................ 77 Разработка технологии геовизуализации для систем информационной поддержки задач пространственного планирования с учетом интересов и противоречий различных групп природопользователей на основе концептуальной модели конфликта......................... 91 Опыт использования визуализации семантических моделей документов для экспресс контент-анализа (на примере нормативно­ правовых актов, регламентирующих развитие пространственно-распределенных систем)............................................................................ 99 Модальная логика как средство формализации нормативных документов........................................... 112 2