Методы оптимизации процессов программных вычислений и эффективно вычислимые алгоритмы для метаязыка описания сетей массового обслуживания

ВВЕДЕНИЕ
1 АНАЛИЗ АЛГОРИТМИЧЕСКОГО ОПИСАНИЯ СИСТЕМ И СЕТЕЙ МАССОВОГО ОБСЛУЖИВАНИЯ
1.1 Анализ специализированных языков имитационного моделирования
1.2 Анализ методов дискретнособытийного моделирования
1.3 Теоретическая база языков моделирования сетей массового обслуживания
1.3.1 Структура и параметры сети массового обслуживания
1.3.2 Использование марковских случайных процессов при исследовании сетей массового обслуживания
1.3.3 Вероятностный аппарат теории очередей
Выводы
2 ТЕОРЕТИЧЕСКИЙ АППАРАТ ЭФФЕКТИВНО ВЫЧИСЛИМЫХ АЛГОРИТМОВ
2.1 Классы сложности вычислимых функций
2.2 Реализуемость алгоритмов абстрактный подход
2.3 Использование теории рекурсивных функций для построения эффективно вычислителимых алгоритмов
2.4 Разрешимость и реализуемость функций
Выводы
3 РАЗРАБОТКА МЕТОДОВ И АЛГОРИТМОВ ОПТИМИЗАЦИИ ПРОЦЕССОВ ПРОГРАММНЫХ ВЫЧИСЛЕНИЙ
3.1 Формальное описание канала системы массового обслуживания и проектирование системы
3.2 Алгоритм работы системы имитационного моделирования
3.3 Описание объектов, входящих и имитационную модель
3.4 Синтаксис описания поведения узла системы массового обслуживания
3.5 Повышение эффективности программных операций с использованием техники частичные вычисления. Автоматическая генерация программ
3.6 Численные методы генерации потоков поступления и обработки заявок, реализованные в программном комплексе
3.7 Моделирование сети массового обслуживания в разработанном программном комплексе
Выводы
4 МЕТАЯЗЫК ОПИСАНИЯ СИСТЕМ И СЕТЕЙ МАССОВОГО ОБСЛУЖИВАНИЯ НА ОСНОВЕ АППАРАТА РЕКУРСИВНЫХ ФУНКЦИЙ
4.1 Неструктурированное описание систем массового обслуживания
4.2 Алгоритмы синтеза структурированного описания системы массового обслуживания на метаязыке
4.2.1 Алгоритм синтеза набора правил по заданной строке
4.2.2 Алгоритм синтеза набора правил по заданному набору строк
4.2.3 Алгоритм преобразования заданной структуры правил построенный по методу рекурсивного спуска
4.2.4 Алгоритм построения набора правил и модели на основе заданной входной строки
4.3 Язык описания систем массового обслуживания ХМЬЭД
4.3.1 Структура языка описания систем массового обслуживания
4.3.2 Алгоритм построения формального распознавателя цепочек языка
4.4 Методика уточнения структуры и параметров моделируемой системы на основе разработанного метаязыка
4.5 Алгоритм описания взаимосвязей систем массового обслуживания, входящих в сеть обслуживания
4.6 Асимптотические оценки разработанных алгоритмов
Выводы
5 РЕАЛИЗАЦИЯ И ПРАКТИЧЕСКОЕ ПРИМЕНЕНИЕ СИСТЕМЫ ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ ДЛЯ ИССЛЕДОВАНИЯ ОТРАСЛЕВЫХ ИНФОРМАЦИОННЫХ СИСТЕМ
5.1 Описание программного комплекса
Интерфейс пользователя
5.2 Совершенствование методов организации и хранения данных на серверах систем автоматизированного управления железнодорожного транспорта
5.2.1 Описание системы
5.2.2 Оптимизация структуры базы данных протокольного сервера комплексной системы автоматизированного управления сортировочным процессом
5.3 Разработка систем информационного обеспечения объектов скорой медицинской помощи и методов структурирования и обработки данных в них
Выводы
ЗАКЛЮЧЕНИЕ
ПРИЛОЖЕНИЕ 1 АКТЫ О ВНЕДРЕНИИ
ПРИЛОЖЕНИЕ 2 АЛГОРИТМ РАСПОЗНАВАНИЯ ЯЗЫКА ХМЬф 1
ЛИТЕРАТУРА