Детальная информация

Название: Синтаксическая и семантическая верификация сценариев вычислительных экспериментов: выпускная квалификационная работа магистра: 01.04.02 - Прикладная математика и информатика ; 01.04.02_01 - Математическое моделирование в науке и индустрии
Авторы: Титов Сергей Сергеевич
Научный руководитель: Иванков Алексей Александрович
Другие авторы: Арефьева Людмила Анатольевна
Организация: Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики
Выходные сведения: Санкт-Петербург, 2019
Коллекция: Выпускные квалификационные работы; Общая коллекция
Тематика: Вычисления на вычислительных машинах; Файлы; конвейерные вычисления; компонентное программирование; грамматика конфигурационных файлов; синтаксическая верификация; семантическая верификация
УДК: 004.4; 004.415.5
Тип документа: Выпускная квалификационная работа магистра
Тип файла: PDF
Язык: Русский
Уровень высшего образования: Магистратура
Код специальности ФГОС: 01.04.02
Группа специальностей ФГОС: 010000 - Математика и механика
Ссылки: Отзыв руководителя; Рецензия; Отчет о проверке на объем и корректность внешних заимствований
DOI: 10.18720/SPBPU/3/2019/vr/vr19-1942
Права доступа: Доступ по паролю из сети Интернет (чтение, печать, копирование)
Ключ записи: ru\spstu\vkr\2121

Разрешенные действия:

Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

Группа: Анонимные пользователи

Сеть: Интернет

Аннотация

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

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.

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
Интернет Авторизованные пользователи СПбПУ Прочитать Печать Загрузить
-> Интернет Анонимные пользователи

Оглавление

  • Введение
  • 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. Функции верификации
    • Заключение.
    • Список источников
    • Приложение

Статистика использования

stat Количество обращений: 45
За последние 30 дней: 0
Подробная статистика