name: Формальное построение и валидация поведения торговых систем с акциями: подход на основе сетей Петри
keyword_list: торговые системы с акциями сети Петри программный инструментарий искусственные данные
abstract: Объект исследования: исследование по формальному моделированию процессов в торговых системах с использованием различных расширений сетей Петри. Также представлены новые методы проверки реального поведения торговых систем путем сравнения моделей расширений сети Петри с использованием данных о событиях из этих систем. Целью работы является определение соответствующих моделей, основанных на расширениях сетей Петри, которые могут описывать аспекты процессов, специфичные для приложений, в торговых системах. Вместо того, чтобы пытаться разработать универсальную модель, которую можно использовать для анализа всех аспектов процесса, мы рассмотрим, как различные модели, построенные с помощью различных расширений сети Петри, могут быть использованы для оценки отдельных аспектов торговой системы. Достигнутые результаты: модели, основанные на расширениях сети Петри, были определены для моделирования аспектов торговых систем с акциями. Научная новизна: для проверки соответствия торговых систем с акциями были разработаны методы проверки соответствия. Методы ищут конкретные отклонения в системе, На основе сравнения предлагаемых моделей с журналами событий из системы были разработаны прототипы реализации и методов соответствия, и в этой диссертации описано их использование для проверки реальной торговой платформы. Также описаны экспериментальные оценки моделированных данных. Внедрение: торговые системы – это программные платформы,используемые на финансовых рынках для поддержки обмена финансовыми инструментами. Эффективность: в качестве основного исследовательского вклада эта диссертация, в первую очередь, представляет собой исследование того, как расширения сетей Петри могут быть использованы для описания и анализа процессов в торговых системах. Область применения: финансовые рынки.
chairman_dissertation_council.name: Николай
chairman_dissertation_council.surname: Верещагин
chairman_dissertation_council.patronymic: Константинович
chairman_dissertation_council.position: Профессор
chairman_dissertation_council.degree: Доктор физико-математических наук
chairman_dissertation_council.rank: Профессор
chairman_dissertation_council.wos_research_id: L-9806-2016
chairman_dissertation_council.scopus_author_id: 7005187259
chairman_dissertation_council.rinc_id: 54
chairman_dissertation_council.url: https://www.hse.ru/staff/vereshchagin
chairman_dissertation_council.orcid: 0000-0002-7386-979X
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Вадим
organization_supervisor.surname: Радаев
organization_supervisor.patronymic: Валерьевич
organization_supervisor.position: Первый проректор
organization_supervisor.territory: РОССИЯ
rubrics.code: 28.17.31
rubrics.name: Моделирование процессов управления
rubrics.code: 28.25.19
rubrics.name: Абстрактные машины
rubrics.code: 20.23.25
rubrics.name: Информационные системы с базами знаний
oecds.code: 01.02.ET
oecds.name: COMPUTER SCIENCE, INFORMATION SYSTEMS
speciality_codes.name: Теоретическая информатика, кибернетика
speciality_codes.code: 1.2.3.
supervisors.fio: Ломазова И.А,
supervisors.scientific_degree: Доктор физико-математических наук
supervisors.speciality_code: Теоретические основы информатики
supervisors.responsible_type: Научный руководитель
protection_organization.short_name: НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ "ВЫСШАЯ ШКОЛА ЭКОНОМИКИ", НИУ "ВЫСШАЯ ШКОЛА ЭКОНОМИКИ", ВЫСШАЯ ШКОЛА ЭКОНОМИКИ, НИУ ВШЭ, ВШЭ
protection_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ "ВЫСШАЯ ШКОЛА ЭКОНОМИКИ"
protection_organization.ogrn: 1027739630401
protection_organization.supervisor_name: НИКИТА
protection_organization.supervisor_surname: АНИСИМОВ
protection_organization.supervisor_patronymic: ЮРЬЕВИЧ
protection_organization.organization_type: Организация
protection_organization.okogu: Правительство Российской Федерации
protection_organization.okopf: Федеральные государственные автономные учреждения
author_organization.short_name: НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ "ВЫСШАЯ ШКОЛА ЭКОНОМИКИ", НИУ "ВЫСШАЯ ШКОЛА ЭКОНОМИКИ", ВЫСШАЯ ШКОЛА ЭКОНОМИКИ, НИУ ВШЭ, ВШЭ
author_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ "ВЫСШАЯ ШКОЛА ЭКОНОМИКИ"
author_organization.ogrn: 1027739630401
author_organization.supervisor_name: НИКИТА
author_organization.supervisor_surname: АНИСИМОВ
author_organization.supervisor_patronymic: ЮРЬЕВИЧ
author_organization.organization_type: Организация
author_organization.okogu: Правительство Российской Федерации
author_organization.okopf: Федеральные государственные автономные учреждения