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

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

Таким образом, в марковском случайном процессе " будущее" зависит от " прошлого" только через " настоящее".

Рассматривая марковские процессы с дискретными состояниями и непрерывным временем, удобно будет представлять, что все переходы системы из состояния в состояние происходят под действием каких-то потоков событий (поток вызовов, отказов, восстановлений и т. п.). Если все потоки событий, переводящие систему из состояния в состояние, - простейшие, то процесс, протекающий в системе, будет марковским. Это и естественно, так как простейший поток не обладает последействием: в нем " будущее" не зависит от " прошлого".

Если система S находится в каком-то состоянии , из которого есть непосредственный переход в другое состояние (стрелка, ведущая из в на графе состояний), то это можно представлять так, как будто на систему, пока она находится в состоянии , действует простейший поток событий, приводящий ее по стрелке . Как только появится первое событие этого потока, происходит " перескок" системы из в .

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

- оба узла исправны;

- первый узел ремонтируется, второй исправен;

- второй узел ремонтируется, первый исправен;

- оба узла ремонтируются.

Интенсивность потоков событий, переводящих систему из состояния в состояние, вычисляется при условии, что среднее время ремонта узла не зависит от того, ремонтируется ли один узел или оба сразу. Это будет именно так, если ремонтом каждого узла занят отдельный специалист. Найдем все интенсивности потоков событий, переводящих систему из состояния в состояние. Пусть система находится в состоянии . Какой поток событий переводит ее в состояние ? Очевидно, поток отказов первого узла. Его интенсивность равна единице, деленной на среднее время безотказной работы первого узла. Какой поток событий переводит систему обратно из в ? Очевидно, поток " окончаний ремонтов" первого узла. Его интенсивность равна единице, деленной на среднее время ремонта первого узла. Аналогично вычисляются интенсивности потоков событий, переводящих систему по всем стрелкам графа рис. 13.2.

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

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

Рис. 13.2. Размеченный граф

(13.6)

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

^ Математическое обеспечение САПР

Компоненты математического обеспечения. Требования к математическим моделям и численным методам в САПР Математические модели в процедурах анализа на макроуровне. Методы и алгоритмы анализа на макроуровне Методы решения систем нелинейных алгебраических уравнений Методы решения систем линейных алгебраических уравнений. Математическое обеспечение анализа на микроуровне. Математическое обеспечение анализа на функционально-логическом уровне. Математическое обеспечение анализа на системном уровне. Математическое обеспечение подсистем машинной графики и геометрического моделирования. Математическое обеспечение синтеза проектных решений. Обзор методов оптимизации. Классификация методов математического программирования. Методы структурного синтеза в системах автоматизированного проектирования.