25 (663467)

1 Детерминированные автоматы и индикаторы.

Обслуживаемая система включает совокупность источников требований и водящего потока требований. Требование -каждый отдельный запрос на выполнение какой-либо работы (на производство услуги). Источник требования - объект (человек, механизм и т.д.), который может послать в обслуживающую систему одновременно только одно требование Обслуживающая система состоит из накопителя и механизма обслуживания. Обслуживанием считается удовлетворение поступившего запроса на выполнение услуги. Механизм обслуживания состоит из нескольких обслуживаюших аппаратов. Обслуживающий аппарат - это часть механизма обслуживания. которая способна удовлетворить одновременно только одно требование (ремонтный рабочий или бригада, кран, экскаватор, пост мойки и т.д.). После окончания обслуживания требования покидают систему, образуя выходящей поток требований. Для моделирования СМОРС должны быть известны четыре ее параметра λ - плотность входящего потока, показывающая среднее число требований, поступающих в СМО в час (параметр загрузки).

В те такты времени, когда обслуживающий аппарат будет занят обслуживанием (b>1) и появится сигнал х=1, что означает появление новой заявки, система обслуживания такие заявки должна потерять.

Детерминированный автомат.

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

Для того чтобы построить систему обслуживания с ожиданием необходимо предусмотреть накопитель. В этом случае часть заявок, получивших отказ, могут ожидать обслуживание, оставаясь в накопителе. Пусть накопитель имеет емкость для М заявок.

Для моделирования накопителя как раз и служит детерминированный автомат D. Его внутреннее состояние можно записать в таком виде . Выходной сигнал этого автомата равен d, он совпадает с текущим внутренним состоянием .

Запишем блок-схему функционирования СМО с накопителем:

Блок 1

1.1 Если a>1, то а=а-1; х=0

1.2 Если а=1, то а=∆t; х=1

Б лок 2

Блок 3

В этой блок-схеме в Блоке 2 с помощью символов max и min записаны логические скобки изменения емкости накопителя «не менее» 0 и «не более» М.

Выходной сигнал х формирует накопление заявок, которые в обязательном порядке проходят через накопитель.

В операторе 3.2 проверка логического условия окончания обслуживания и наличия очередной заявки организована не с помощью выходного сигнала х, как в предыдущем примере, а с помощью выходного сигнала d, детерминированного автомата. Если в накопителе есть хотя бы одна заявка (d>0) и обслуживающий аппарат в следующем такте свободен (b≤1), то автомат В вырабатывает для поступающей из накопителя заявки интервал обслуживания ∆τ. Выдает сигнал у=1, и одновременно уменьшает емкость накопителя на одну единицу.

Автоматы индикаторы относятся к детерминированным автоматам, они предназначены для «внешнего» обслуживания системы. С помощью индикаторов формируются выходные характеристики системы. Эти числовые характеристики как правило имеют статистическую природу и получаются на основе использования вероятностных законов больших чисел. При эргодических Марковских процессах, протекающих в системах, когда число состояний системы конечно при достаточно больших интервалах автоматного времени G, формируются вероятностные распределения состояний, а также другие усредненные показатели, такие как среднее число занятых или свободных элементов системы. Пропускные способности, время задержек и т.д.

Имитационная модель одноканальной системы массового обслуживания с накопителем и индикатором закона распределения состояний.

2 Многопроцессорные вычислительные системы

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

Сам по себе процессорный блок не является законченным компьютером и поэтому не может выполнять программы без остальных блоков мультипроцессорного компьютера - памяти и периферийных устройств. Все периферийные устройства являются для всех процессоров мультипроцессорной системы общими. Территориальную распределенность мультипроцессор не поддерживает - все его блоки располагаются в одном или нескольких близко расположенных конструктивах, как и у обычного компьютера.

Основное достоинство мультипроцессора - его высокая производительность, которая достигается за счет параллельной работы нескольких процессоров. Так как при наличии общей памяти взаимодействие процессоров происходит очень быстро, мультипроцессоры могут эффективно выполнять даже приложения с высокой степенью связи по данным.

Структура таких компьютеров представлена на рис.

3 Аппарат поддержания целостности данных. Триггеры.

Для поддержания целостности данных объектно – ориентированный подход предлагает:

Автоматическое поддержание отношений наследования

Возможность объявить некоторые поля данных как скрытые , такие поля и методы используются только методами самого объекта

Создание процедур контроля целостности внутри объекта

Операции над данными. Динамические свойства модели выражаются множеством операций над данными. Реализация любой операции включает селекцию данных, т.е. выделение из всей совокупности именно данных, над которыми должна быть выполнена операция.

Условия селекции специфицируются в виде некоторого критерия отбора данных. Селекция выполняется любым способом с использованием логической позиции данного в значении и в связи между данными.

По характеру действия выделяют следующие виды операций:

идентификация данного и нахождение его позиции

Выборка данного

Запись данного

Удаление данного

Модификация данного

По характеру способа получения результата различают:

Навигационные операции

Спецификационные операции

Способ навигации – результат получения через прохождение по связям, реализованным в БД. Результат навигации – единичный объект БД. Пример: экземпляр записи.

Способ спецификации – применяется в том случае, если выдвигаются требования к результату, но не задаётся способ его получения.

Т.о. в начале осуществляется селекция требуемых данных, затем вид «операция».

Создание триггеров. Типы триггеров.

Триггер – специальный механизм для реализации ограничения целостности и позволяющий управлять изменениями в таблицах, имеющих связи.

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

Учёта изменений выполняемых с данными

Реализации механизма поддержания целостности данных.

Триггеры хранятся в хранимых процедурах. Триггеры, созданные через вкладку «таблицы», д.б. написаны разработчиком. Более удобный способ создания триггеров – использование построителя триггеров, к которому можно обратиться через системное меню или контекстное меню на связи между таблицами.

Виды триггеров

Для каждого отношения можно выбрать тип триггера: - cascade (предполагает изменение данных в дочерней таблице с изменением в родительской);

- restrict (запрет на изменение , если есть зависимые записи в дочерней таблице); - ignore (разрешает изменение и допускает появление несвязанных дочерних записей). Эти триггеры работают на update, delete, insert, но insert может работать только с restrict и ignore. Тело триггера при использовании построителя м.б. просмотрено и изменено. При создании отчётов, форм, где используются связанные таблицы , наличие триггеров обязательно. Это упрощает проверки , исключает написание дополнительных процедур и обеспечивает целостность и логику связи.