name: Модели, алгоритмы и программные средства определения визуальных языков на основе вычислительных моделей
keyword_list: ОЦЕНКА ТЕХНИЧЕСКОГО СОСТОЯНИЯ, ВЫЧИСЛИТЕЛЬНЫЕ МОДЕЛИ, ВИЗУАЛЬНЫЕ ЯЗЫКИ ПРОГРАММИРОВАНИЯ
abstract: Целью диссертационного исследования является сокращение сроков и трудоемкости проектирования программных средств наглядного отображения и оценивания технического состояния сложных технических объектов с использованием визуальных языковых моделей предметной области. Методы: методы искусственного интеллекта, элементы теории множеств, теории графов, теории категорий, теории алгебраических графовых трансформаций   и теории формальных языков, а также математической логики. Результаты: впервые предложена методика создания редакторов диаграмм, основанная на описании визуального языка пользователем, позволяющая описывать как функционирование объектов, так и их визуальные представления, и объединяющая описание предметной области и описание визуализации в единую модель, а также алгоритм расчета предложенной модели, алгоритм приведения ее к стационарному виду и алгоритм трансляции модели в программы на других языках; на основе предложенной модели и алгоритмов разработан программный комплекс - универсальный редактор диаграмм, обеспечивающий сокращение трудоемкости проектирования программных средств наглядного отображения и оценивания технического состояния сложных технических объектов в области дискретно-событийных систем. Внедрение: Основные результаты исследований внедрены в в АО “РКЦ Прогресс”, АО “СКБ Орион”, ФГАОУ ВО ГУАП. Область применения: системы оценки технического состояния.
chairman_dissertation_council.surname: Юсупов Р. М.
chairman_dissertation_council.position: научный руководитель
chairman_dissertation_council.degree: Доктор технических наук
organization_supervisor.surname: Ронжин А.Л.
organization_supervisor.position: директор
organization_supervisor.degree: Доктор технических наук
rubrics.code: 81.81.17
rubrics.name: Методы контроля качества
rubrics.code: 81.81.05
rubrics.name: Системы управления качеством
oecds.code: 01.02.ET
oecds.name: COMPUTER SCIENCE, INFORMATION SYSTEMS
speciality_codes.name: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
speciality_codes.code: 05.13.11
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: 1027810232680
author_organization.organization_type: Организация
author_organization.okogu: Министерство науки и высшего образования Российской Федерации
author_organization.okopf: Федеральные государственные автономные учреждения