name: Алгоритмы и онтологические модели информационно-аналитической поддержки процессов создания и применения космических средств
keyword_list: ИНФОРМАЦИОННО-АНАЛИТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ, КОСМИЧЕСКИЕ СРЕДСТВА, CALS, ИНФОРМАЦИОННАЯ ПОДДЕРЖКА ИЗДЕЛИЙ, ИНТЕЛЛЕКТУАЛЬНЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ, ОНТОЛОГИИ, ДЕСКРИПЦИОННАЯ ЛОГИКА, МОДЕЛИ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ, КОНЦЕПТУАЛЬНОЕ МОДЕЛИРОВАНИЕ, ИНЖЕНЕРИЯ ТРЕБОВАНИЙ, ПРОГРАММНАЯ ИНЖЕНЕРИЯ, АВТОМАТИЗИРОВАННЫЙ АНАЛИЗ, ТЕХНИЧЕСКОЕ СОСТОЯНИЕ
abstract: Цель исследования - повышение функциональной эффективности обеспечения заинтересованных организаций актуальной и достоверной информацией о техническом состоянии космических средств на основе разработки модельно-алгоритмического комплекса автоматизированной информационно-аналитической поддержки их жизненного цикла. Разработана онтологическая система, позволяющая на конструктивной основе специфицировать и совместно учитывать информационные, поведенческие и функциональные требования, предъявляемые к облику систем информационно-аналитической поддержки жизненного цикла космических средств. Разработана онтологическая модель представления знаний о бизнес-процессах информационно-аналитической поддержки жизненного цикла космических средств, позволяющая формализовать разноаспектные знания аналитиков и экспертов предметной области об особенностях реализации этапов жизненного цикла космических средств. Разработана онтологическая модель представления знаний о согласовании вычислительных задач, позволяющая уточнять спецификации бизнес-процессов в виде сценариев интеграции данных на основе семантических онтологических отображений и порядка их обработки и анализа с использованием принципов OLAP-систем, ETL-процессов (обработки и приведения данных к единому виду), OBDA-систем (онтолого-управляемого доступа к данным). Разработан алгоритм структурно-параметрического синтеза вычислительных моделей в виде G-моделей, обеспечивающий в автоматизированном режиме переход от специфицирования требований к конструктивизму задания отношений вычислимости и получению схем программ, управляющая и информационная структуры которых позволяют организовать параллельные потоковые и асинхронные вычисления по ним. Разработаны алгоритмический комплекс верификации предложенных моделей и связанная с ним методика, позволяющие оценить согласованность онтологических моделей, реализуемость единого информационного пространства, корректность программ системы информационно-аналитической поддержки жизненного цикла космических средств и её функциональную эффективность на основе предложенной структуры частных показателей квалиметрических показателей качества. Практический эффект от результатов исследования заключается в повышении функциональной эффективности информационно-аналитической поддержки процессов создания и применения космических средств на основе конструктивизации процессов извлечения, формализации, согласования экспертных знаний и их использования при формировании совокупности моделей взаимосвязанных программ информационно-аналитической поддержки на их основе. Основные результаты исследования внедрены в СПИИРАН, СПбГУАП, АО «РКЦ «Прогресс», АО «НИО ЦИТ «Петрокомета». Область применения: информационно-аналитические системы, системы информационно-аналитической поддержки жизненного цикла космических средств.
chairman_dissertation_council.surname: Юсупов Р. М.
chairman_dissertation_council.position: научный руководитель
chairman_dissertation_council.degree: Доктор технических наук
organization_supervisor.surname: Ронжин А.Л.
organization_supervisor.position: директор
organization_supervisor.degree: Доктор технических наук
rubrics.code: 89.25.35
rubrics.name: Технические средства обеспечения космических полетов
rubrics.code: 28.23.35
rubrics.name: Экспертные системы
oecds.code: 01.02.EP
oecds.name: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
speciality_codes.name: Системный анализ, управление и обработка информации (по отраслям)
speciality_codes.code: 05.13.01
supervisors.fio: Соколов Б.В.
supervisors.scientific_degree: Доктор технических наук
supervisors.speciality_code: Системный анализ, управление и обработка информации (по отраслям)
supervisors.responsible_type: Научный руководитель
opponents.fio: Ефимов В.В.
opponents.scientific_degree: Доктор технических наук
opponents.speciality_code: Вооружение и военная техника. Кибернетика, анализ систем, исследование операций
opponents.responsible_type: Оппонент
opponents.fio: Мосин Д.А.
opponents.scientific_degree: Кандидат технических наук
opponents.speciality_code: Вооружение и военная техника. Комплексы и системы военного назначения
opponents.responsible_type: Оппонент
protection_organization.short_name: СПБ ФИЦ РАН; ФГБУН СПБ ФИЦ РАН
protection_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ "САНКТ-ПЕТЕРБУРГСКИЙ ФЕДЕРАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ ЦЕНТР РОССИЙСКОЙ АКАДЕМИИ НАУК"
protection_organization.ogrn: 1027800514411
protection_organization.organization_type: Организация
protection_organization.okogu: Министерство науки и высшего образования Российской Федерации
protection_organization.okopf: Федеральные государственные бюджетные учреждения
author_organization.short_name: СПБ ФИЦ РАН; ФГБУН СПБ ФИЦ РАН
author_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ "САНКТ-ПЕТЕРБУРГСКИЙ ФЕДЕРАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ ЦЕНТР РОССИЙСКОЙ АКАДЕМИИ НАУК"
author_organization.ogrn: 1027800514411
author_organization.organization_type: Организация
author_organization.okogu: Министерство науки и высшего образования Российской Федерации
author_organization.okopf: Федеральные государственные бюджетные учреждения