Формализация концептуальной модели Построение формальной схемы функционирования

Государственный комитет Российской Федерации по высшему образованию

Казанский Государственный Технический Университет имени А.Н. Туполева

-------------------------------------------------------------------------------------------------------

Кафедра Электронно - вычислительных машин

Пояснительная записка

Выполнил : студент группы 4301 Базуев Ю.А. Руководитель : доцент кафедры ЭВМ Захаров В.М.

Формализация концептуальной модели

Построение формальной схемы функционирования

Системы

Построим формальную схему (Q-схему) заданной вычислительной системы.

Определение параметров и переменных модели

tp - интервал между приходами пользователей tgz1 - время подготовки задания 1-ым пользователем

Определение единицы модельного времени

За единицу модельного времени (emb) принимается минимальный интервал реального времени, в течение которого система не меняет своего состояния. В данной задаче за emb целесообразно принять время равное

0.1 мин.

Определение закона функционирования системы

пользователь

Алгоритмизация модели и ее машинная реализация

Выбор программных средств моделирования

Для написания программы мы выбираем язык программирования Borland C++. Этот язык хорошо зарекомендовал себя эффективностью, лаконичностью,… Программа для детерминированной модели приведена в Приложении № 1.

Описание моделирующей программы для

Детерминированного варианта модели

Параметры и переменные данной программы описаны в пункте 2.2.

Так как в выбранном языке программирования нельзя создать параллельные процессы, то мы применим принцип псевдораспараллеливания.

В программе организуем очередь ocher[50] в ячейках которой мы запоминаем адрес заявки (номер сетевой машины). Также вводим ряд вспомогательных переменных ( ztgz1, ztgz2, ztgz3, ztm, zk ) необходимых для хранения значений исходных параметров системы.

Данная моделирующая программа работает следующим образом:

Вначале программа запрашивает значения параметров системы. Далее организуется основной цикл, который выполняется k раз. Первым действием в цикле является оператор прибавления единицы машинного времени t=t+emb. После проверяем не пришел ли пользователь, если пришел то определяем какой ( конструкция switch (cikl) ). Далее в программе идет конструкция switch (nz) устанавливающая соответствующие флажки подготовки задания. После идет группа условий выполняющая уменьшение времени подготовки задания. Если задание подготовлено то подается запрос на выполнение. В этом блоке программы определяется не пуста ли очередь, если не пуста то выполняем задание из очереди иначе выполняем заявку с сетевой машины. Перед выполнением заявки проверяем занята ли ЭВМ, если занята то ставим заявку в очередь. Далее если на ЭВМ выполняемся задача то уменьшаем время выполнения этой задачи. После чего цикл повторяется. После завершения цикла производим подсчет процента выполненных заданий, поступивших от второго пользователя.

Проверка достоверности программы

Протокол работы программы: Введите интервал между приходами пользователей 100

Моделирование случайных воздействий

Моделирование случайных воздействий имеющих

Равномерное распределение

Аппаратный способ

Поскольку проведение натуральных опытов с разными схемами ГПСЧ трудоемко, то мы будем использовать программное средство позволяющее строить и… Для получения ПСЧ будем пользоваться программой gener. Работая в диалоговом режиме с ПВМ мы определяем структуру генератора, т. е. некоторую исходную информацию: разрядность…

Программный способ

Суть метода: выбирается два n - разрядных числа X1 и X2. X1><0, X2><0. Затем X1 умножаем на X2 и получаем некоторое значение Y , у… Программа формирования ГСК на основе метода умножения приведена в Приложении №… Полученные числа записываются в файл vi_gpsc1.dat и анализируются с помощью программы analize.

Выбор генератора РРПСЧ

Выберем генератор РРПСЧ, который используется для генерации времени между поступлениями заявок от пользователей. Последовательность чисел, полученных аппаратным способом и хранящихся в файле… В пункте 3.4.1.2. мы делая вывод уже говорили о том, что генератор РРПСЧ сформированный программным способом (по…

Моделирование случайных воздействий,