Details

Title: Синтаксическая и семантическая верификация сценариев вычислительных экспериментов: выпускная квалификационная работа магистра: 01.04.02 - Прикладная математика и информатика ; 01.04.02_01 - Математическое моделирование в науке и индустрии
Creators: Титов Сергей Сергеевич
Scientific adviser: Иванков Алексей Александрович
Other creators: Арефьева Людмила Анатольевна
Organization: Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики
Imprint: Санкт-Петербург, 2019
Collection: Выпускные квалификационные работы; Общая коллекция
Subjects: Вычисления на вычислительных машинах; Файлы; конвейерные вычисления; компонентное программирование; грамматика конфигурационных файлов; синтаксическая верификация; семантическая верификация
UDC: 004.4; 004.415.5
Document type: Master graduation qualification work
File type: PDF
Language: Russian
Level of education: Master
Speciality code (FGOS): 01.04.02
Speciality group (FGOS): 010000 - Математика и механика
Links: Отзыв руководителя; Рецензия; Отчет о проверке на объем и корректность внешних заимствований
DOI: 10.18720/SPBPU/3/2019/vr/vr19-1942
Rights: Доступ по паролю из сети Интернет (чтение, печать, копирование)
Record key: ru\spstu\vkr\2121

Allowed Actions:

Action 'Read' will be available if you login or access site from another network Action 'Download' will be available if you login or access site from another network

Group: Anonymous

Network: Internet

Annotation

Данная работа была посвящена разработке алгоритмов и программной реализации синтаксической и семантической верификации конфигурационных файлов. Эти конфигурационные файлы параметризуют компоненты конвейера, реализующего многошаговые алгоритмы оценивания параметров случайных процессов. На основе анализа конфигурационных файлов был разработан метаязык для программной реализации валидатора содержимого таких файлов, а также корректности отношения порядка отдельных компонент конвейерных вычислений.

This thesis project has been aimed at development of syntactic and semantic verification algorithms and their implementation. This verification is required in the context of pipeline computations which are performed to estimate parameters of stochastic processes. A new metalanguage has been developed as the basis for the software developed in this study.

Document access rights

Network User group Action
ILC SPbPU Local Network All Read Print Download
Internet Authorized users SPbPU Read Print Download
-> Internet Anonymous

Table of Contents

  • Введение
  • 1. Литературный обзор
    • 1.1. Историческая справка
    • 1.2. Основные примитивы FBP
    • 1.3 Иерархическая декомпозиция
    • 1.4 Группировка данных
    • 1.5 Расписание процессов
    • 1.6 Асинхронная передача информационных пакетов
      • 1.7 Программные реализации сценарных конвейеров
      • 1.7.1 Недостатки конвейерной архитектуры
      • 1.8 Стандартные определения и понятия грамматики формальных языков
      • 1.8.1. Классификация грамматик и языков по Хомскому
      • 1.8.2. Синтаксические анализаторы
      • 1.8.3. LL и LR анализаторы
      • 1.9. Архитектура фреймворка
      • 1.9.1. Информационный пакет
      • 1.9. 2. Программные компоненты.
      • 1.10 Ход работы фреймворка и проблема производителя-потребителя
      • 1.11. Типы сценариев.
      • 2.1. Постановка задачи работы.
      • 2.2. Оценка корректности сценариев
      • 2.2 Грамматика конфигурационных файлов
      • 2.3 Инвариантная часть грамматики
      • 2.4. Инвариантная часть грамматики, определяющая терминалы в правилах вывода директив конфигурационных файлов различных компонентов
      • 2.5. Грамматика сценария эксперимента
      • 2.6. Грамматика конфигурационных файлов эстиматоров
      • 2.7. Грамматика конфигурационных файлов моделей
      • 2.8 Грамматика метаязыка валидатора
      • 2.9. Функции верификации
    • Заключение.
    • Список источников
    • Приложение

Usage statistics

stat Access count: 45
Last 30 days: 0
Detailed usage statistics