name: Многоуровневый синтез автоматных моделей объектов мониторинга
keyword_list: МНОГОУРОВНЕВЫЙ СИНТЕЗ, ОТНОСИТЕЛЬНО КОНЕЧНЫЕ ОПЕРАЦИОННЫЕ АВТОМАТЫ, ТРАНСФОРМАЦИЯ ДАННЫХ МОНИТОРИНГА, ПРОБЛЕМНО- И ПРЕДМЕТНО- ОРИЕНТИРОВАННЫЕ СИСТЕМЫ
abstract: Цель: Развитие теории многоуровневого автоматического синтеза моделей объектов мониторинга, кратно снижающей вычислительную сложность этого синтеза. Методы и модели: синтеза моделей объектов, процессов и программ, построения сложных систем, системного анализа, математического моделирования, искусственного интеллекта, адаптивной обработки данных, математической статистики, инженерии знаний, проектирования, разработки и сопровождения информационных систем. Результаты: Разработаны основы новой теории многоуровневого автоматического синтеза автоматных моделей объектов мониторинга, отличающейся оригинальными: концептуальной моделью синтеза многоуровневых перестраиваемых автоматных моделей, системой показателей и критериев эффективности, предусматривающей оценку полноты моделей и сложности их построения, формализмами математического описания иерархических относительно-конечных автоматов, математическими формулировками задач многоуровневого синтеза. Разработаны новые методы многоуровневого автоматического синтеза автоматных моделей объектов мониторинга, которые, в отличие от существующих, являются индуктивно - дедуктивными, базируются на новых постановках задач и методах их решения, включающих метод многоуровневого индуктивного синтеза, позволяющего строить модели объектов по поступающим от них данным, и метод многоуровневого дедуктивного синтеза, позволяющий доказывать существование новых, ранее не рассматривавшихся моделей, в пространстве, построенном в результате индуктивного синтеза. Для построения моделей объектов предложены новые методы многоуровневого автоматического синтеза автоматных моделей процессов и программ мониторинга, отличающиеся низкой вычислительной сложностью, обеспеченной за счет разработки оригинальных методов, позволяющих строить процессы мониторинга, основанные на доказательстве их существования с применением прямого нисходящего многоуровневого вывода, и программы мониторинга на основе обратного многоуровневого вывода. Разработаны новые методы и модели многоуровневой трансформации данных, обеспечивающие возможность контентно адаптивной обработки результатов мониторинга за счет описания процессов обработки в общем виде и их поэтапной детализации до уровня программно-реализуемых с учетом содержания данных и условий синтеза моделей объектов. Предложены оригинальные методы и модели разработки проблемно- и предметно- ориентированных систем, описываемых в виде иерархии согласованных архитектурных и онтологических моделей, что позволяет применять гибкие методологии при их проектировании, создании и сопровождении. Разработана новая система программно реализуемых методик построения моделей объектов мониторинга, отличающаяся от существующих тем, что обеспечивает полноту синтезируемых прикладных моделей и низкую сложность их синтеза, позволяющая решать практические задачи с учетом их классов, показателей и критериев эффективности, используемых для оценки формируемых результатов, а также типов данных, обрабатываемых в предметных областях. Внедрение: Основные результаты исследований внедрены в российско-американской компании Zodiac Systems Inc, Научно-инженерном центре Санкт-Петербургского электротехнического университета (АО «НИЦ СПб ЭТУ»), Национальный медицинский исследовательский центр им. В. А. Алмазова (ФГБУ «НМИЦ им. В. А. Алмазова»), Санкт-Петербургский институт информатики и автоматизации РАН (СПИИРАН), Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В.И. Ульянова (Ленина), Университет ИТМО. Область применения: технические системы мониторинга сложных объектов.
chairman_dissertation_council.surname: Юсупов Р. М.
chairman_dissertation_council.position: научный руководитель
chairman_dissertation_council.degree: Доктор технических наук
organization_supervisor.surname: Ронжин А.Л.
organization_supervisor.position: директор
organization_supervisor.degree: Доктор технических наук
rubrics.code: 50.01.85
rubrics.name: Автоматизация и автоматизированные системы на предприятиях отрасли
rubrics.code: 50.03.05
rubrics.name: Теория управления организационными системами
rubrics.code: 50.03.03
rubrics.name: Теория управления техническими объектами и технологическими процессами
oecds.code: 01.02.ER
oecds.name: COMPUTER SCIENCE, CYBERNETICS
oecds.code: 01.02.EX
oecds.name: COMPUTER SCIENCE, THEORY & METHODS
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: Федеральные государственные бюджетные учреждения