Математическое обеспечение для исследования динамических характеристик многомашинных систем сбора и обработки данных

• Автор: Хомутников, Вячеслав Павлович
• Шифр специальности: 01.01.10
• Научная степень: Кандидатская
• Год защиты: 1983
• Место защиты: Гатчина
• Количество страниц: 144 c. : ил

ГЛАВА I. АНАЛИЗ МЕТОДОВ ИССЛЕДОВАНИЯ СИСТЕМ АВТОМАТИЗАЦИИ

ЭКСПЕРИМЕНТОВ. ПОСТАНОВКА ЗАДАЧИ

1.1. Функциональная организация систем сбора и обраг-ботки данных в автоматизации экспериментальных исследований
1.1.1. Основные функции систем автоматизации экспериментов и технические средства их реализации

1.1.2. Задачи и структуры проблемноориентировэнного математического обеспечения

1.2. Анализ подходов к исследованию коллективных систем в автоматизации научных экспериментов

1.2.1. Цели и критерии анализа систем автоматизации экспериментов

1.2.2. Анализ возможностей аналитических методов исследования

1.2.3. Статистические методы исследования систем

1.3. Постановка задачи разработки математического обеспечения для анализа динамических характеристик

систем сбора и обработки данных

1.3.1. Требования к методу моделирования,определяемые особенностями функционирования и статистических характеристик систем рассматриваемого класса

1.3.2. Определение и анализ требований к программному комплексу для имитационного моделирования
1.4. Выводы
ГЛАВА II. РАЗРАБОТКА И ИССЛЕДОВАНИЕ МЕТОДА МОДЕЛИРОВАНИЯ
МНОГОМАШИННЫХ СИСТЕМ СБОРА И ОБРАБОТКИ ДАННЫХ
2.1. Программно-логическая структура систем сбора и обработки экспериментальных данных
2.1.1. Определение программно-логической структуры системы
2.1.2. Анализ отношений программно-логической структуры и технических средств системы
2.2. Способ представления системы в модели, предназначенной для исследования временных характеристик
2.2.1. Средства отображения в модели программнологических фаз
2.2.2. Представление маршрутов заявок
2.2.3. Отображение в модели аппаратной структуры системы
2.3. Анализ адекватности отображения системы в модели, базирующейся на описании программно-логической структуры
2.3.1. Вопросы адекватности в определении основных элементов и отношений в моделях
2.3.2. Исследование аппроксимационных свойств
моделей
2.4. Выводы

ГЛАВА III. РАЗРАБОТКА МЕТОДИКИ СОЗДАНИЯ МАТЕМАТИЧЕСКОГО
ОБЕСПЕЧЕНИЯ ДНЯ ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ
3.1. Принципы организации пакета моделирующих программ
3.1.1. Основные проблемы программирования на СР55 моделей систем рассматриваемого класса и методы их решения
3.1.2. Организационная структура пакета программ
3.2. Разработка метода представления программно-логической структуры на входном языке
3.2.1. Представление программно-логических фаз
3.2.2. Средства описания маршрутов заявок
3.3. Средства моделирования аппаратной структуры системы
3.3.1. Моделирование процессоров
3.3.2. Моделирование памяти
3.3.3. Подпрограммы моделирования устройств
3.4. Разработка средств управления динамикой функционирования моделей
3.4.1. Начальная генерация заявок
3.4.2. Организация и основные элементы диспетчера моделей
3.4.3. Программные средства управления очередями
3.5. Средства пакета для сбора статистических данных
3.5.1. Получение оценок загрузки элементов системы
и статистик, связанных с очередями
3.5.2. Средства для получения статистик потоков и времени прохождения участков маршрутов
3.6. Практические характеристики разработанного математического обеспечения

Доказательство. Отметим прежде всего, что, поскольку различные приборы независимы друг от друга, при доказательстве достаточно рассмотреть систему с одним обслуживающим прибором (в нашем случае - процессором).
Пусть каждая заявка класса / имеет алгоритм обслуживания
, с = Л/; А/< оо , согласно которому она должна раз захватить обслуживающий прибор с абсолютным приоритетом Ац и от-

носителъным (в рамках данного абсолютного) приоритетом К- , где ^ - порядковый номер фазы. Определим множество ^ следующим образом. Программно-логической фазой, исполняемой данным прибором, назовём этап обслуживания заявки согласно о^ в фазе с номером ^ . Обозначим такую ПЛФ - и припишем ей абсолютный приоритет Л4у и относительны!! - $ • •, объявив заявки бесприоритетными.
Поскольку приоритет заявки проявляется лишь на промежутке времени от момента готовности её к обслуживанию в фазе до завершения данной фазы, разница между присваиванием приоритетов заявке и ПИФ при так построенном множестве ^ становится чисто терминологической.
Каждый алгоритм Ы(- обслуживания заявок можно теперь представить в виде граф-схемы, вершины которой соответствуют программнологическим фазам ср.. . Полученные графы образуют множество марш-
. и
рутов М* , что и завершает доказательство.
Очевидна справедливость обратного по отношению к теореме 2.1 утверждения, доказательство которого можно провести совершенно аналогично.
Отметим ещё, что отношения групп (2.б) - (2.7) не требуют взаимного согласования, потому что каждое из Ай: характеризует

частичный строгий порядок обслуживания одной и той же заявки, в то время как отношения при каждом П. описывают порядок