16. Аналитические модели систем массового обслуживания.

Аналитические модели СМО удается получить только при довольно серьезных допущениях, что обусловливает ограниченные возможности аналитических исследований сложных систем. К числу типичных допущений относятся следующие.

Во-первых, как правило, считают, что в СМО используются бесприоритетные дисциплины обслуживания типа FIFO.

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

( ) = λexp(-λ ),

λ — параметр экспоненциального закона распределения.

Название потока - пуассоновский - происходит от того, что для этого потока вероятность появления k заявок за интервал t определяется законом Пуассона.

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

17.Имитационные модели систем массового обслуживания.

Имитационная модель СМО представляет собой алгоритм, отражающий поведение СМО, т.е. отражающий изменения состояния СМО во времени при заданных потоках заявок, поступающих на входы системы. Параметры входных потоков заявок - внешние параметры СМО. Выходными параметрами являются величины, характеризующие свойства системы - качество ее функционирования. Примеры выходных параметров: производительность СМО - среднее число заявок, обслуживаемых в единицу времени; коэффициенты загрузки оборудования - отношение времен обслуживания к общему времени в каждом ОА; среднее время обслуживания одной заявки. Основное свойство ОА, учитываемое в модели СМО, - это затраты времени на обслуживание, поэтому внутренними параметрами в модели СМО являются величины, характеризующие это свойство ОА. Обычно время обслуживания рассматривается как случайная величина и в качестве внутренних параметров фигурируют параметры законов распределения этой величины.

Для описания имитационных моделей СМО обычно используют языки, ориентированные на события или процессы. Примерами первых могут служить языки Симскрипт, SMPL и ряд других. К числу вторых относятся языки Симула, SOL, а также популярный язык GPSS.

18.Особенности автоматизации функционально-логического проектирования. На функционально-логическом уровне проектируются функциональные и принципиальные схемы устройств. Здесь выделяют подуровни - регистровый и логический. На регистровом подуровне проектируются устройства из блоков (блоки типа регистров, счетчиков, дешифраторов и логических преобразователей, составляющих цепи межрегистровых пересылок). На логическом подуровне проектируются устройства или составляющие их блоки из отдельных логических элементов, (например, вентилей и триггеров). В ТЗ на разработку отдельных устройств САПР входят: перечисление функций, выполняемых устройством; условия работоспособности устройства, требования к его выходным параметрам, данные о содержании и форме информации, которой данное устройство обменивается с другими устройствами системы. Кроме того, на этапе функционального проектирования устройств уже известно принятое на этапе предварительного проектирования решение относительно характера элементной базы.

Поэтому в задачи микропрограммного уровня алгоритмического проектирования и регистрового подуровня функционально-логического уровня проектирования входят:

• детализация выполняемых устройством функций, их алгоритмическая реализация и представление алгоритмов в одной из принятых форм;

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

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

• синтез конечных автоматов (блоков), реализующих заданные функции, с определением типа и емкости памяти автоматов, функций выхода и возбуждения элементов памяти.

На логическом подуровне функционально-логического уровня проектирования решаются следующие задачи:

• синтез функциональных и принципиальных схем выделенных блоков;

• проверка работоспособности синтезируемых блоков с учетом задержек сигналов и ограничений выбранной элементной базы или выработка требований к элементам в составе САПР;

• синтез контролирующих и диагностических тестов;

• формулировка ТЗ для схемотехнического уровня проектирования.

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