39. Маркированная n-сеть

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

Определение.

Маркировка m сети Петри C = (P, T, I, O) есть функция, отображающая множество позиций P в множество неотрицательных целых чисел N:

Маркированная сеть Петри M = (C, m) есть совокупность структуры сети Петри C = (P, T, I, O) и маркировки m и может быть записана в виде M = (P, T, I, O, m).

40. Типовые математические схемы для дискретных имитационных моделей

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

41. Типовые математические схемы для непрерывных имитационных моделей

В непрерывной имитационной модели состояние системы представляется с помощью непрерывно изменяющихся зависи­мых переменных. Для того чтобы отличать непрерывно изме­няющиеся переменные от дискретно изменяющихся, будем первые называть переменными состояния [2]. Непрерывная имита­ционная модель создается путем задания уравнений для сово­купности переменных состояния, динамическое поведение ко­торых имитирует реальную систему.

42. Этапы моделирования систем

Этап 1. Постановка задачи.

Этап 2. Разработка модели.

Этап 3. Компьютерный эксперимент.

Этап 4. Анализ результатов моделирования.

43. Концептуальная модель

Концептуа́льная моде́ль (англ. conceptual model) — это модель, представленная множеством понятий и связей между ними, определяющих смысловую структуру рассматриваемойпредметной области или ее конкретного объекта.

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

44. Системное время

лол

45. Принцип Δt

В модели, построенной по "принципу Δt" (рис. 5.2, б), моменты системного времени будут последовательно принимать значения t ^'₁ = Δt , t ^'₂ = 2Δt , t ^'₃ = 3Δt, t ^'₄ = 4Δt, t ^'₅ = 5Δt. Эти моменты системного времени t ^'_j (Δt) никак не связаны с моментами появления событий s_i, которые имитируются в модели системы. Системное время при этом получает постоянное приращение, выбираемое в задаваемое перед началом имитационного эксперимента.

В модели, построенной по «принципу Δt», обработка событий происходит по группам, пакетам или множествам событий. При этом выбор Δt оказывает существенное влияние на ход процесса и резуль­таты моделирования, и если Δt задана неправильно, то результаты могут получиться недостоверными, так как все события появляются в точке, соответствующей верхней границе каждого интервала мо­делирования.

46. Принцип δz

В модели, построенной по "принципу δz" (рис. 5.2, в), изменение времени наступает в момент смены состояния системы, и последовательность моментов системного времени имеет вид t^''₁ = t_z1, t^''₂ = t_z2, t^''₃ = t_z3, t^''₄ = t_z4, t^''₅ = t_z5, т. е. моменты системного времени t^''_k (δz), непосредственно связаны с моментами появления событий в системе s_i.

При использовании «принципа δz» события обрабатываются последовательно и время смещается каждый раз вперед до начала следующего события.

47. Асинхронный моделирующий алгоритм

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