CC BY
13ОБ ОДНОМ СПОСОБЕ ФОРМАЛИЗАЦИИ И ПРЕДСТАВЛЕНИЯ ИМИТАЦИОННЫХ МОДЕЛЕЙ БОЛЬШИХ И СЛОЖНЫХ ДИСКРЕТНЫХ СИСТЕМ
А. Ф. Ярославцев
Сибирский государственный университет телекоммуникаций и информатики,
630102, Новосибирск, Россия
УДК 519.876.5, 519.766.26
Предложен теоретико-множественный подход к описанию больших и сложных дискретных динамических систем, используемый при построении их имитационных моделей. Данный подход, основанный на классификации компонентов имитационной модели по типам поведения, позволяет формализовать описание имитационных моделей таких систем, а также осуществлять развитие изобразительных средств имитационного моделирования с учетом решаемых задач моделирования и с использованием объектно-ориентированных технологий. Приведен пример такого развития изобразительных средств, ориентированного на моделирование телекоммуникационных и информационных систем и сетей различного назначения.
Ключевые слова: имитационная модель, динамический процесс, большая и сложная дискретная система, телекоммуникационные и информационные системы и сети.
The set-theoretic approach to description of large and complex discrete dynamical systems simulation models. It is based on the classification of the components of a simulation model by type. This classification is based on the similarity of behaviour of components of type. The above approach allows us to formalize the description of simulation models of such systems, as well as to the development of effective means of simulation models taking into account the tasks of modelling and using object-oriented technology. An example of such of object-oriented tools for simulation of telecommunication networks is developed.
Key words: simulation, dynamic process, discrete complex system, communication network.
Введение. Телекоммуникационные системы и сети (TKC) являются большими и сложными дискретными динамическими системами (ДДС). Программные средства имитационного моделирования ДДС развиваются в течение более 50 лет, тем не менее их развитие по-прежнему является актуальной задачей [1-4]. Постоянно появляются новые программные средства, в основе которых лежат различные подходы к описанию и представлению динамики поведения ДДС [5-12]. При разработке формального представления моделируемых систем необходимо учитывать различные противоречащие друг другу факторы, основными из которых являются следующие: 1) класс моделируемых систем; 2) задачи моделирования и анализа; 3) естественность и удобство изобразительных средств; 4) эффективность программной реализации; 5) возможность формального анализа модели с целью анализа ее вычислительной сложности и адекватности.
Понятие ДДС также изменялось. Предлагались подходы, когда под ДДС понимается динамическая система, поведение которой определено или в дискретном времени, или в дискретном пространстве состояний. Четкого определения большой и сложной системы не существует. Считается, что ДДС является большой и сложной, если в ее составе определено большое количество разнотипных структурных компонентов, взаимодействующих за счет большого числа разнотипных связей.
1. Теоретико-множественный подход к описанию динамических систем. Для
построения математических и программных моделей больших и сложных ДДС, для развития теории их анализа и верификации разработана система понятий и терминов, представленная в данной работе. Эта система, основанная на общей теории систем и теории их моделирования [13-16], разработана в виде последовательности взаимосвязанных определений, адаптирует терминологию общей теории систем к теории гибридного моделирования больших и сложных ДДС и обеспечивает унифицированное описание различных компонентов концептуальных, математических и программных моделей таких ДДС, как информационные и телекоммуникационные системы и сети.
Сначала рассмотрим общее определение динамической системы (ДС), приведенное в [13, 16]. В качестве основного структурного элемента ДС выбран компонент.
Определение 1. Компонент ст — топологическая динамическая система, определяемая кортежем
ст = {тст, Бст, Нст) ,
где тст, Бст, Нст — его время, алфавит и поведение.
Определение 2. Время тст компонента ст — упорядоченное множество моментов времени тст — модель реального времени, в котором происходит эволюция компонента ст.
Время тст компонента ст может быть определено как пространство с непрерывной или решетчатой топологией, между элементами которого определяются отношения порядка. В зависимости от топологии времени тст (непрерывной или решетчатой) ст является потоком или каскадом [17].
Определение 3. Состояние вст € Бст компонента ст — вектор вст = {рст} параметров компонента ст, определяющий точку фазового пространства состояний, в котором происходит эволюция этого компонента.
Состояние вст компонента ст, образованное его параметрами, может быть определено в пространстве произвольной размерности.
Определение 4. Параметр рст компонента ст — координата рст состояния вст, определяющая некоторое свойство компонента ст. Различаются следующие состояния процесса: функциональное, событийное и состояние интерфейса.
Любой параметр рсст € вст компонента ст может быть элементом некоторого пространства произвольной размерности и топологии.
Определение 5. Алфавит Рст параметра рст компонента ст — множество Рст допустимых значений параметра рст компонента ст.
Определение 6. Алфавит Бст компонента ст — множество Бст = {5^}, Sст С Рс™
г
всех возможных состояний компонента ст, определяющее его фазовое пространство состояний.
Определение 7. Траектория Нст(£) компонента ст — отображение Нст : £ст ^ тст алфавита Бст компонента ст на его время тст.
Любая траектория Нст описывается соответствующим вектором функций И,ст(1) = {Щт(1)}, где Кст(г) — траектория параметра рст во времени тст.
Определение 8. Поведение Нст компонента ст — множество Нст = {Щ™} Нст С тст х Нст всех траекторий компонента ст, которые согласуются с его внутренними законами функционирования.
Определение 9. Эксперимент ест(т) с компонентом ст на интервале т его времени тст — воспроизведение в программной модели фрагмента Нст(£), £ € т некоторой траекто-
рии Нст поведения Нст, который соответствует интервалу т С тст его времени. Воспроизведение этого фрагмента обеспечивает достижение поставленной цели моделирования.
В составе ДС различаются примитивные и структурированные компоненты. Поведение структурированного компонента, в отличие от примитивного, определяется поведением системы компонентов, образованной его подкомпонентами (как примитивными, так и структурированными). Функционирование этих подкомпонентов определено на общей оси времени.
Определение 10. Структурированный компонент ст — компонент ст с рядом выделенных в нем подсистем, каждая из которых описывается как компонент ДС.
Определение 11. Подкомпонент стст компонента ст — компонент стст, определяющий подсистему структурированного компонента ст.
Определение 12. Состав Сст компонента ст — множество Сст = {стг} всех подкомпонентов структурированного компонента ст.
Определение 13. Суперкомпонент ст компонента ст — структурированный компонент ст, в составе которого определен подкомпонент ст.
Предполагается, что компонент ст, определенный в составе структурированного компонента ст, не принадлежит составу Сст его суперкомпонента.
Алфавит и траектории поведения структурированного компонента ст определяются соответствующими композициями алфавитов и траекторий всех подкомпонентов его состава Сст.
С целью повышения эффективности разработки программных моделей реальных больших и сложных ДС, обеспечения возможности развития изобразительных средств описания их процессов функционирования, использования объектно-ориентированной технологии моделирования множество всех компонентов математической модели разбивается на типы.
Определение 14. Тип компонентов Т — множество компонентов Т = {стг}, стг = ст^ для всех стг ,ст^ Е Т, имеющих однотипное поведение. Тип компонентов Т определяется кортежем
т = {тт, ёт, Нт),
где тт — время компонентов типа Т (тт = тст Уст Е Т); £>т — характерный алфавит компонентов типа Т; Нт — характерное поведение компонентов типа Т.
Для определения характерных алфавита и поведения компонента рассмотрим их структуры. Пусть на алфавите Бст определена эквивалентность пст состояний компонента ст, которой соответствуют агрегированные состояния в' , траектории п' (ъ) и поведение Л' .
Определение 15. Агрегированное состояние ёп°т компонента ст по эквивалентности пст — некоторый класс
= {8 | ( 8, г) Е пст Ув, Г Е ёжст , в, Г Е Бст}
Определение 16. Агрегированный алфавит ¡¿¿^^ компонента ст, соответствующий эквивалентности пст, — разбиение &пСт = {¿П™} его алфавита Бст по эквивалентности пст (фактор/множество Бст/пст).
Определение 17. Агрегированная траектория Нп°т (Ъ) компонента ст, соответствующая эквивалентности пст, — отображение кпСт (Ъ) : £пСт — тст его агрегированного алфавита &пСт на его время тст, траектория кпСт(Ъ) = пст (Нст(Ъ)) по классам эквивалентности пст, представляющая соответствующее семейство траекторий И,ст(Ъ) его поведения Нст.
эквивалентности п состояний компонента ст.
Определение 18. Агрегированное поведение Нп°т компонента ст, соответствующее эквивалентности пст, — множество Н™ст = {Ь^™ (¿)} всех его агрегированных траекторий, соответствующих эквивалентности пст.
На множестве С всех компонентов ДС эквивалентность ф определяется следующим образом:
(стг,ст^) € ф, если <
'1) тг = т = т — стг и cmj функционируют на общем времени т;
2) стг = ст3 = ст - стг и cmj определены как подкомпоненты одного суперкомпонента ст; (1)
3) для стг и cmj существуют эквивалентности пг и Пj, такие что имеется морфизм между соответствующими агрегированными поведениями Иг и Hj.
Здесь стг = {т; Бг, Н); т = Т, Бг, Hj); Бг = Бг/пг; Sj = Бг/п; Нг С Тг х Бг; Hj С т х Sj.
Таким образом, класс Т эквивалентности ф (тип компонентов Т) определяет множество компонентов ст € Т, для которых существуют эквивалентности пст их состояний, такие что соответствующие им агрегированные алфавиты изоморфны характерному алфавиту
БТ, а их агрегированные поведения Низоморфны характерному поведению НТ.
Определение 19. Характерное состояние £ Т компонентов типа Т — вектор ёТ = (рг) параметров характерного состояния, описывающих эквивалентные по эквивалентностям пст агрегированные состояния £ жСт всех компонентов ст € Т, входящих в состав типа Т.
Определение 20. Характерный алфавит БТ компонентов типа Т — множество БТ = гТ всех характерных состояний компонентов типа Т.
Определение 21. Характерная траектория ЬТ(г) компонентов типа Т — отображение нпСГП (г) : БТ тТ их агрегированного алфавита БТ на их время тТ, соответствующее эквивалентным по эквивалентностям пст агрегированным траекториям Нпт (г) всех компонентов ст € Т.
Определение 22. Характерное поведение НТ компонентов типа Т — множество НТ = {Н1Т(г)} характерных траекторий компонентов типа Т.
Далее через £ ст, Бст, Нст, Нст будем обозначать соответственно характерное состояние £ Т, характерный алфавит БТ, характерную траекторию НТ и характерное поведение НТ типа Т, в составе которого определен компонент ст.
Определение 23. Тип Тст компонентов структурированного компонента ст — тип Тст = {сг} (см. определение 14) подкомпонентов (см. определение 11) структурированного компонента ст (см. определение 10), т. е. для каждого компонента с € Тст, = ст.
Фактор-множество Тст = Сст/ф = {Тст} состава Сст (см. определение 12) по эквивалентности ф (1) образует множество типов структурированного компонента ст, а фактормножество Т = С/ф = {Тг} состава С ДС по той же эквивалентности образует множество типов ДС.
На базе данного определения типа компонентов разработан набор Т = С/ф = {Тг} типов компонентов, обеспечивающий: 1) определение состава и структуры моделируемой ДДС; 2) описание ее алгоритмов функционирования в целом и ее компонентов в отдельности; 3) построение гибридной модели, состоящей из множества разнотипных математических моделей; 4) описание широкого класса исследуемых параметров моделируемых ДДС; 5) построение оценок этих параметров и анализ их точности.
2. Дискретные динамические системы. Большая и сложная ДДС является общепризнанной концептуальной моделью метода имитационного моделирования телекоммуникационных и информационных систем. Под ДДС понимается динамическая система (см. определение 1) с дискретным либо непрерывным временем (см. определение 2) и алфавитом (см. определение 5), поведение которой (см. определение 8) в ее времени описывается ступенчатыми функциями произвольного вида. Пусть ДДС описывается имитационной моделью ml, которая рассматривается как структурированный компонент (см. определение 10). Ее состав (см. определение 12) определяется множеством Cml подкомпонентов, являющихся элементарными ДДС, в составе которых не выделяются структурные элементы. Функционирование компонентов этой ДДС определяется на некотором общем интервале модельного времени тml С R [0, то].
Состояние sml ДДС ml образуется как соответствующая композиция состояний scmi всех подкомпонентов cm^, определенных в ее составе Cml = {cmi | cm^ = ml}. Аналогично исследуемая (воспроизводимая) траектория hml поведения Hml структуры Cml подкомпонентов модели ml образуется как композиция соответствующих траекторий всех ее подкомпонентов.
Рассмотрим состояния и поведения подкомпонентов, образующих ДДС ml. Любая траектория hcm поведения Hcm ее компонента cm Е Cml описывается последовательностью событий { ehcm | i = 1, 2,...} этого компонента.
Определение 24. Событие ehcm траектории hcm компонента cm модели ml — мгновенное скачкообразное изменение состояния scm компонента cm, соответствующее его траектории hcm(t) в некоторый момент модельного времени t Е тml.
Соответственно любая траектория hml Е Hml структуры компонентов Cml также определяется соответствующей последовательностью событий hml = {ehm | i = 1, 2,...}. Так как состояние и траектория поведения структурированного компонента определяются композицией соответствующих состояний и траекторий его подкомпонентов, любая траектория hml ДДС ml будет образована только теми событиями, которые имеют место на соответствующих траекториях ее подкомпонентов и упорядочены в порядке их наступления. В то же время можно утверждать, что траектория hcm компонента cm определяется предварительно заданным начальным состоянием hml (t0), t0 = min t ее воспроизводимой траектории.
t€T
Введем следующие обозначения:
1) hml — траектория, которая воспроизводится в эксперименте eml(T) (см. определение 9) с ДДС ml;
2) hcm — траектория компонента cm, образующая траекторию hml;
3) e"ml — событие с номером i на траектории hml, i = 1, 2,...;
4) ecpa — событие с номером jcm на траектории hcm, jcm = 1, 2,....
Среди событий, которые имеют место на траектории hml, различаются локальные и глобальные события.
Любое локальное событие erjal ДДС ml с номером i на траектории hml является событием ejln с номером jcm некоторого подкомпонента cm на его траектории hcm. Любое локальное событие e^Sn траектории hcm определяется парой ее параметров
jcm - ^^jcm
cm cm cm
e j cm - \e j cm , C j cm
где ¿"т = е — образ события; 'е^т = ё — его таймер.
Определение 25. Образ е события ¿^т на траектории Нст — отображение е : Бст — Бст алфавита Бст (см. определение 6) на само себя, определяющее значение Нст(1^ст) траектории компонента ст в момент модельного времени Ь^ст Е тт1 наступления события е^Ст.
Определение 26. Таймер ё события ejm на траектории hcm — отображение ё : Scm ^ R [ti-i,tM] алфавита Scm (см. определение 6) на интервал R [tjcm-l}tM] С тml модельного времени (см. определение 2), определяющее момент модельного времени tjcm Е тml наступления события eJSn в зависимости от состояния hcm(tjcm-l) в момент tjcm-l наступления события e(cmCm-l с номером jcm — 1, где tM = max; t.
ьет m
Агрегирование траекторий кст, ст € Ст1 в траекторию кт1 осуществляется в соответствии с приведенными ниже отношениями параметров событий этих траекторий.
Таймер ёт1 события ет1 траектории кт1 (см. определение 26) определяется следующим образом:
eml (kmi(tm\)) =
min ё^т
cmeCr
l jcm(i
/ к cm/icm \ ) + l lh \tjcm(i))
(2)
Здесь ]ст(г) — номер события на траектории кст, которое является ближайшим к событию ет1 на траектории кт1. Номер ]ст(г) определяется выражением
jcm(i) = max, jc
(3)
где tml, tm — времена наступления событий er-al и ejm на траекториях кml и кcm ДДС ml и
ij
компонента cm соответственно.
ml „„(Гт,т,,г, ^ml „„ к ml
Образ ёт события ¿т траектории кт1 (см. определение 25) определяется следующим образом:
eml ( кml (ttmll)
epn{€}[kcm(tm\))) c , cm = 0,
кml (tmll)
cm = 0.
(4)
f
Здесь ст — компонент ДДС т1, который модифицировал ее параметр pf € вт1 при реализации события на своей траектории, соответствующего событию е"т1. Этот компонент определяется выражением
cm
cm,
0
ml
к ml(tmll)
ёcm ejcm(i)
к cm(j-ml \\ „ „е
к (ti-d) , Pf Е s
в противном случае,
(5)
где ]ст(г) определяется выражением (3). Индекс ¡ст определяет номер параметраpfcfn € вст, соответствующий параметру pf € вт1 модели т1.
В некоторый момент г € тт1 на воспроизводимой траектории к,т1 могут иметь место несколько одновременных событий. Два одновременных локальных события ет1 = ег, Зк и
ml cmjl
el = eit l являются независимыми, если:
^ tk = tl =
2) em em кml (t — 0)))= em em brl (t — 0)
Здесь tk = Cjk \кcmjk (tik-l)); tl = tmn [кcmji (til-l)); ik, il — номера событий на тра^
екториях кcmjк и kcmjl компонентов cmjk и cmjl, соответствующих событиям em1 и e"ml на траектории кml.
cm
j
f
На траектории hml могут быть определены ординарные и структурированные события. Структурированное событие, в отличие от ординарного, определяется как последовательность зависимых ординарных и структурированных подсобытий.
Компоненты ДДС могут взаимодействовать с другими ее компонентами двумя способами:
1) посредством обмена (передачи друг другу) сообщениями различного типа;
2) посредством изменения и использования значений своих параметров состояния, которые являются общими со взаимодействующими компонентами.
Каждый обмен сообщениями между компонентами определяется как глобальное событие, которое всегда является подсобытием некоторого локального события, инициировавшего данный обмен. Все одновременные глобальные события являются независимыми.
Передача сообщения между компонентами осуществляется по идеальным связям, множество которых образует сеть связей компонентов. Идеальная связь предполагает бесконечную пропускную способность и абсолютную надежность передачи сообщений. Связи подсоединяются к компонентам через их клеммы. Различаются входные, выходные и неориентированные клеммы компонентов, через которые осуществляются прием и передача сообщений. Сообщения, которыми обмениваются компоненты, могут быть бесконечного размера, а их время жизни равно нулю. Сформированное компонентом сообщение направляется на его выходную клемму, после чего оно мгновенно передается по связям на соответствующие входные клеммы других компонентов. Сообщение, принятое на входной клемме, мгновенно обрабатывается компонентом и уничтожается.
Клемма acm компонента cm ДДС mi определяется как вектор, составленный из координат его состояния scm, acm = {p^™}, pkm €= scm. Множество acm = {aCm} всех клемм образует интерфейс компонента cm, множество a+cm С acm входных и неориентированных клемм образует его входной интерфейс, а множество a-cm С acm выходных и неориентированных клемм образует его выходной интерфейс. Множества a+ml = (J a+cm и
cmECml
a-ml = U a-cm образуют интерфейсы входов и выходов компонентов ДДС mi соответ-
cmECml
ственно.
Состояние sa°m образуется из соответствующих координат состояний компонента cm, а состояния sam , sa+m и sa m интерфейсов aml, a+ml и a-ml ДДС mi определяются как композиция состояний соответствующих клемм. Алфавиты Sa , Sa и Sa тех же интерфейсов определяются как прямые произведения алфавитов координат состояний их клемм. Содержание сообщений, передаваемых от выходного интерфейса к входному, определяется текущими состояниями выходных клемм.
Сеть связей nml входов и выходов компонентов имитационной модели mi определяется отображением n :
, которое осуществляет мгновенную передачу сообщений, сформированных на выходных и неориентированных клеммах, на соответствующие входные и неориентированные клеммы в каждый момент модельного времени, в который имело место событие на траектории hml.
Таким образом, поведение Hml ДДС mi определяется поведениями всех ее подкомпонентов, а также отображением nml, описывающим сеть связей ее подкомпонентов. Воспроизводимая траектория hml определяется начальными точками hcm{t0) воспроизводимых траекторий hcm всех подкомпонентов ДДС mi. В ходе модельного эксперимента траектория hml рекуррентно вычисляется в соответствии с приведенными ниже выражениями.
Для описания ДДС разработано следующее множество стандартных типов компонентов имитационных моделей:
Tsm = {Pr, Dd, Cl, Qu, Rn, Rs, Td, Mn} .
Типы компонентов Tsm определяют в ДДС соответственно множества процессов, требований, классов требований, очередей требований, случайных величин, ресурсов, датчиков и мониторов. Состав Tsm определен практическим опытом моделирования ТКС и при необходимости может быть расширен в соответствии с возникающими задачами моделирования.
3. Процесс имитационной модели. Процесс pr Е Pr является подкомпонентом ДДС ml с наиболее общим алгоритмом функционирования, описываемым в виде последовательности дискретных событий. Предполагается, что процессы ДДС могут иметь пространство состояний произвольной размерности, при этом каждая координата его состояния может принадлежать либо непрерывному, либо дискретному пространству. Кроме того, траектории поведений процессов обладают свойством марковости, т. е. следующее событие на его траектории в некоторый момент модельного времени определяется только текущим состоянием этого процесса и не зависит от предшествующей траектории развития как самого процесса, так и всей ДДС ml. Данное ограничение не является существенным, так как путем введения дополнительных параметров состояния процесса его можно легко преодолеть.
3.1. Состояние процесса. Состояние spr процесса pr (см. определение 3) определяется вектором его параметров (см. определение 4)
spr = {sp;, spr, sapr},
где s1pr — его функциональное состояние; spPr — его событийное состояние; saPr — состояние его интерфейса apr.
Функциональное состояние sp = ), j = 1, 2,... процесса pr, где pf — его функциональный параметр с номером j, описывает внутренние законы функционирования этого процесса. Предполагается, что существенные аспекты функционирования процесса pr отображаются его функциональным состоянием. При этом события на траекториях его поведения отражают допустимые изменения его функциональных параметров. Состав параметров функционального состояния каждого процесса pr является индивидуальным и определяется отображаемыми этим процессом свойствами моделируемой системы. Событийное состояние sP = {ер? ,epr ,epJ} описывает множество последовательностей событий (изменений функционального состояния spr), которые могут иметь место на траекториях поведения Hpr.
Состояние интерфейса sa процесса pr формируется множеством его параметров, которые образуют его клеммы, составляющие сеть связей между процессами. Его состав параметров и соответствующее ему состояние saPr интерфейса apr процесса pr определяются структурой связей данного процесса с другими компонентами моделируемой дискретной системы.
3.2. Алфавит процесса. Алфавит Spr процесса pr (см. определение 6) определяется как произведение алфавитов его функционального и событийного состояний, а также алфавита состояния его интерфейса: Spr = Spr х Spr х SaVr.
Алфавит функционального состояния Spr процесса pr определяется пользователем при описании алгоритма его функционирования и является пространством произвольного типа.
Событийный алфавит Spr процесса pr определяется следующим прямым произведением трех множеств: Sjpr = Spr х Spr х Spr. Множество Sjpr = {e j}, j = 1, 2,... отображений
ej : Spr х SaVr — Spr x SaVr описывает образы всех событий, которые могут иметь место на траекториях поведения Hpr процесса pr. Множество Sfr = {tj}, j = 1, 2,... отображений tj : Spr x SaVr — R [0, то] описывает образы таймеров моментов времени всех событий процесса pr, которые определяют длительности интервалов времени между последовательными событиями на его траекториях. Множество Sp = {tj}, j = 1, 2,... отображений Cj : f x SaVr — {false, true} описывает образы таймеров условий всех событий процесса pr, которые определяют условия наступления последующих событий на его траекториях.
3.3. Типы событий на траекториях процессов. Среди множества Sfr событий процесса pr траекторий его поведения Hpr выделяются функциональные и управляющие события.
Образ epr функционального события epr определяется на функциональном алфавите Sf процесса при описании его поведения.
Реализация управляющего события, которое всегда является зависимым подсобытием некоторого функционального события другого процесса, обеспечивает изменение запланированной траектории развития процесса pr на его функциональном алфавите. Образ epr управляющего события процесса pr определен на его событийном алфавите Sfr. На траектории процесса pr могут быть определены управляющие события следующих трех типов:
1) возобновление в момент реализации данного события развития прерванной воспроизводимой траектории указанного процесса начиная с указанного функционального события;
2) прерывание развития воспроизводимой траектории указанного процесса;
3) изменение воспроизводимой траектории указанного процесса посредством выполнения не запланированного ранее функционального события.
3.4. Поведение процесса. Поведение Hpr процесса pr (см. определение 8) задается отображением ypr : Sfr х Sp/ х SaVr — Sp, которое в зависимости от его состояния hpr(tj) в момент времени ti наступления события efr описывает образы события ef++ 1; таймера момента времени события eP++_ 1; таймера условия события ef++ 1.
Любая траектория hpr Е Hpr поведения процесса pr:
hpr(t) = {hp;(t), hpr(t), hapr(t)}, hp;(t) = (hf (t)), hp(t) = (hpr(t),hpr(t)hpr(t)), hapr(t) = j(t))
определяется следующим образом:
hpr(t) = ypr h(ti-i), hpfr(ti-i), hapr(ti-i)) Wt Е R (ti-i,ti],
hpr(t),hapr(t))т = hpr(ti) (hp;(ti),hapr(ti)) wt е r(ti,ti+i],
ti+i = min(tu, tv) .
Здесь
tu = ti + hpr(ti) (hpr(t), haPr(t)); tv = min t.
J teR.(ti,<x>],
К рг (и)(нрг (г),наРГ (г))=1гие
3.5. Характерное состояние процесса. Характерное состояние ёрг Е процесса рг
(см. определение 19) определяется следующим образом:
Spr = {spy, spr)
(Spy — синхросостояние процесса pr; sfr — его временная отметка).
Синхросостояние spy Е Ssy обеспечивает синхронизацию событий процессов в модельном времени и организацию их управления другими процессами (останов и возобновление развития, изменение воспроизводимой траектории). Синхросостояние обеспечивает импе-рогативную, интеррогативную и смешанную схемы планирования событий на траекториях процессов. Алфавит Ssy синхросостояния spy процесса pr определяется функциями синхронизации и состоит из следующих элементов:
sav — активное синхросостояние: на траектории hpr в текущий момент t должно произойти очередное функциональное событие, определяемое отображением hpr (t);
~av;ht — активное предостановочное синхросостояние: на траектории hpr имело место управляющее событие efn и должно произойти функциональное подсобытие, определяемое отображением hp (t), после наступления которого развитие hpr должно быть остановлено;
~pv;tm — временное пассивное синхросостояние: очередное функциональное событие на траектории hpr должно произойти в момент, определяемый отображением hpr(t);
~pv;ce — условное пассивное синхросостояние: очередное функциональное событие на траектории hpr должно произойти в момент, когда условие, определяемое отображением hpJ(t), будет истинным;
spv;dy — комбинированное пассивное синхросостояние: очередное функциональное событие на траектории hpr должно произойти в ближайший из моментов, определяемый отображением hp(t), когда условие, определяемое отображением hpJ(t), будет истинным;
spv;qu-ce — qu-условное пассивное синхросостояние: процесс пребывает в условном пассивном состоянии, а отображение hpr (t) = vqu, где
vqu(t) = f trUe lqU(t) > 0 (6)
V (t) = \ false, iqu(t) = 0, (6)
lqu(t) — число требований, находящихся в очереди qu в момент t;
spv;qu-dy — qu-комбинированное пассивное синхросостояние: процесс пребывает в комби-
нированном пассивном состоянии и отображение hpr (t) = Vqu, где Vqu(t) определяется выра-
жением (6);
Spv;i-ce — i-специальное условное пассивное синхросостояние: процесс пребывает в условном пассивном состоянии и отображение vpr = vz, где v%(t) = true тогда и только тогда, когда структура компонентов Cpr модели pr пребывает в некотором специфицированном агрегированном состоянии i-го типа;
Spv',i-dy — i-специальное комбинированное пассивное синхросостояние: процесс пребывает в комбинированном пассивном состоянии и отображение vpr = vz, где v% определяется аналогично;
sau;ht — предостановочное синхросостояние: на траектории hpr имели место управляющее событие efn и функциональное подсобытие, определяемое отображением wpr(t), после совершения которого развитие процесса будет прервано;
sau;ceht — условное предостановочное синхросостояние: на траектории hpr имело место управляющее подсобытие efn, и при выполнении условия, определяемого отображением vpr(t), будет реализовано функциональное подсобытие, определяемое отображением wpr(t), после совершения которого развитие процесса будет прервано;
sau;st — предпусковое синхросостояние: имело место управляющее подсобытие est, развитие траектории hpr будет возобновлено начиная с прерванного функционального события; sau;av — предактивное синхросостояние: на траектории hpr имело место управляющее
подсобытие е^ и будет реализовано функциональное подсобытие, определяемое отображением ■т'Рг (Ь);
~аи;/п — финальное синхросостояние: характерная траектория процесса Ърг, соответствующая Нрг, не принадлежит его характерному поведению НРг;
~ы — остановочное синхросостояние: развитие траектории Нрг было прервано при совершении управляющего подсобытия е^п.
Временная отметка процесса рг Нрг (Ь) Е К [Ь, то] определяет момент времени, на который запланировано очередное событие, определяемое отображением wpr (Ь). Если в момент Ь время наступления очередного события неизвестно, то Ър(Ь) = -то.
3.6. Характерное поведение процесса. Характерное поведение НРг процессов (см. определение 22) образовано множеством всех возможных отображений Ърг (Ь) = |Ърг (Ь), ЪЪру (Ь)| ,
Ърг . §рг х к [о, то] ^ К [0, то], удовлетворяющим следующим условиям:
1) в любой момент Ь модельного времени на любой характерной траектории Ъ Е НРг процессов множества Рг могут иметь место характерные события множества Е, определяемого в составе
E
{spv;ce,t}, \sa
sau;ceht
',hpr(t)} — {sav'ht,t}
{spv;dy ,t}
sau;ceht
{sau;dy,t} ,
{sav;ht, t} — {sau;ht, t} , {sau;st, t} — {sav, }} , {sau;av,t} — {sav,t} , {sht, то} — {sau;st,t} , {sav,t} — {spv;x,t} , x £ {tm, ce, dy, q-ce, i-ce, q-dy, i-dy} , {spv;x,t} — {sav,t} , x £ {tm, dy, q-dy, i-dy} ,
spv;x,hpr(tU — {sau]av,t} , x £ {tm,, ce, dy, q-ce, i-ce, q-dy, i-dy} ,
{.spv;x, hpr{t)} — {sau;ht,t} , x £ {tm, ce, q-ce, q-dy} , {spv;x, то} — {§au;ceht,t} , x £ {ce, dy, q-ce, i-ce, q-dy, i-dy}
{spv;x, то} — {sav,t} , x £ {ce, dy, q-ce, i-ce, q-dy, i-dy} , {spv;x, то} — {sau;av ,t} , x £ {ce, dy, q-ce, i-ce, q-dy, i-dy} ,
{spv;x, то}
%pv\x
t
x £ {tm, dy, q-dy, i-dy}
для всех Ь Е К [0, то] и всех Ърг(Ь) Е К [Ь, то];
2) для любой характерной траектории Ъ Е НРг
[ дЬ = 0,
где
~au;st ~au;av}
£ R [0, то]; hpr (t) £ Ssy С Ssy ; hptr (t) £ h; S.
'sy
j^av ~av;ht ~au;ht ~au;ceht
подмножество синхросостояний.
4. Компоненты, описывающие информационные процессы в телекоммуникационных сетях. Одним из важнейших подклассов больших и сложных ДДС, для исследования которых широко применяется метод имитационного моделирования, являются ТКС различного назначения. Данные ТКС характеризуются тем, что в них имеют место разнообразные процессы обслуживания информационных потоков, а также всевозможные процессы распределения различных информационных, телекоммуникационных и вычислительных ресурсов [18, 19]. В качестве примеров таких процессов можно указать процессы передачи
av
t
t
—>
информационных пакетов по каналам передачи данных или процессы распределения оперативной памяти между задачами, выполняющимися на компьютерах ТКС. Поэтому для описания этих процессов целесообразно использовать в составе имитационных моделей ТКС ряд специализированных компонентов. К числу таких компонентов относятся частные виды процессов (классы требований, очереди требований, а также ресурсы). Вследствие ограниченности объема данной работы ниже приводится краткое описание функционального назначения компонентов указанных выше типов.
4.1. Требования. Требование йй Е Одт1 является компонентом ДДС, представляющим в ней элемент некоторого информационного потока. Передача элементов потока между компонентами может быть организована либо через сеть связей, либо с помощью компонентов специального типа — очередей требований. Информационные параметры рм = , требования йй определяют содержание информации, представляемой этим элементом, и являются координатами его состояния вм. Число информационных параметров требования, а также их содержание произвольны. Они определяются моделируемым информационным элементом и могут динамически изменяться при обработке требования компонентами ДДС. Значения информационных параметров рм принадлежат их алфавиту Рм С Sм.
Требование является компонентом, который в любой точке траектории 1грг любого процесса рг Е Ртт1 может быть:
1) сформирован процессом рг;
2) обработан процессом рг в течение некоторого интервала модельного времени в соответствии с его приоритетом и информационными параметрами;
3) передан процессом рг после завершения обработки через свои выходные клеммы для последующей обработки другими компонентами ДДС;
4) уничтожен процессом рг по завершении обработки требования.
Кроме того, требование может быть порождено другим требованием. Множество требований, порожденных одним требованием-родителем, образует его семейство требований. Информационные параметры требования родителя распространяются на информационные параметры требований его семейства. Данный механизм позволяет эффективно отображать процессы инкапсуляции, широко распространенные в современных ТКС.
Функциональные события на траекториях поведения требования обеспечивают модификацию значений его информационных параметров, передачу их значений другим компонентам, включение или исключение требований в его семейство, начало и завершение обработки требования другими компонентами.
4.2. Классы требований. Класс требований с1 Е СЬт1 является компонентом ДДС т1, который представляет в ней множество однородных информационных потоков, обрабатываемых ее процессами. Фактически этот класс определяет в ДДС множество требований, информационные параметры которых принадлежат одному алфавиту:
с1 = | йй Е Одт1, Рм = Рс1} .
Здесь РсС — алфавит информационных параметров требований класса с1; Рм — алфавит информационных параметров требования йй. Алфавит Рс определяется вектором рсС = (рС1) дескрипторов информационных параметров требований класса, который является элементом состояния вс1 класса с1 и определяет состав информационных параметров требований класса. Дескриптор рс = (гй^, РС1 ,у ^ параметра р^ требований класса с1 определяется следующими элементами: гй^ — идентификатор р^, РС1 — алфавит р^, у Е РС1 — значение р^ в момент формирования требования класса.
Функциональные события на траекториях поведения класса требований обеспечивают формирование требования класса, уничтожение требования класса, формирование и модификацию состава информационных параметров его требований, передачу требования другому классу.
4.3. Очередь требований. Очередь требований дп Е Quml является компонентом ДДС т1, представляющим в ней множество требований, упорядоченных в соответствии с некоторым установленным порядком их обработки ее процессами. Очередь дп обеспечивает прием любого требования с заданными свойствами от любого процесса, хранение его в течение необходимого интервала времени и передачу для обработки в соответствии с ее порядком при получении запроса от любого процесса.
Порядок обработки требований определяется дисциплиной обслуживания очереди. Дисциплина обслуживания указывает место вновь поступающего требования в списке требований очереди. Это место может определяться в зависимости от приоритетов и классов, значений информационных параметров поступающего требования и требований очереди. Среди возможных дисциплин обслуживания выделяется ряд стандартных, которые размещают требование в начале списка требований очереди, в конце списка требований, перед первым требованием списка, уровень приоритета которого не выше (не ниже), чем у устанавливаемого.
В составе ДДС могут быть определены ординарные и агрегированные очереди. Агрегированная очередь, в отличие от ординарной, объединяет множество ординарных и агрегированных очередей. Она обеспечивает разбиение потока поступающих в нее требований по очередям ее состава и (или) для объединения потоков требований, поступающих в очереди ее состава. Критерием для разбиения потока требований может быть класс или приоритет его требований, а также насыщенности очередей требованиями, образующими агрегированную очередь.
Функциональное состояние ординарной очереди является списком Оди Е 2пат пребывающих в ней требований. Порядок требований в этом списке определяет последовательность их выбора из очереди. Размещение требований в списке осуществляется в соответствии с ее дисциплиной обслуживания.
Функциональное состояние агрегированной очереди образуется списком Qqu Е 2(Яит1/ди) образующих ее очередей. Очереди в списке упорядочены в соответствии с процедурой объединения и (или) разбиения потока требований. Список требований агрегированной очереди определяется как последовательное объединение списков требований очередей, составляющих ее.
На траектории ординарной очереди дп могут иметь место следующие функциональные события: формирование процессом или передача процессу параметров очереди; установка в очередь требования; выбор из очереди требования; установка в очередь требования ее надочередью; выбор из очереди требования ее надочередью.
На траектории агрегированной очереди дп могут быть дополнительно определены следующие функциональные события: формирование состава Qqu агрегированной очереди; установка надочередью в очередь требования; выбор надочередью из очереди требования; завершение установки в очередь состава требования; завершение выбора из очереди состава требования.
4.4. Ресурс. Ресурс гв Е Нвт1 является компонентом ДДС т1, который представляет в ней некоторый ресурс, динамически распределяемый между процессами ДДС. Ресурс отображает такие процессы ТКС, как распределение оперативной памяти, распределение произ-
водительности каналов передачи данных и процессоров и др. Выделение и освобождение ресурса производится по запросам от процессов, которые передаются по соответствующей сети связей. Распределяемый ресурс может быть идентифицируемым или неидентифицируемым.
Минимальные распределяемые единицы идентифицируемого ресурса гв всегда отличаются друг от друга. Каждой из них присваивается свой идентификатор, а алфавит V13 Е в13 идентификаторов ресурса является дискретным конечным множеством, состав которого определяется типом распределяемого ресурса. Объем выделяемого идентифицируемого ресурса измеряется в числе его минимальных единиц. Функциональным состоянием идентифицируемого ресурса является множество Р13 Е , которое определяет множество единиц ресурса, не распределенных между компонентами дискретной системы. В качестве примеров идентифицируемых ресурсов можно указать следующие: 1) символьная строка, идентифицирующая пользователя при доступе к информационному сервису; 2) целое число, идентифицирующее выполняемый процесс операционной системы; 3) сегмент реальной (физической) оперативной памяти, выделяемой некоторому системному процессу, и др.
Неидентифицируемый ресурс измеряется в произвольных единицах измерения и характеризуется только его объемом V13 Е К [0,УГ3]; алфавитом его объема может быть произвольное множество значений. Функциональным состоянием идентифицируемого ресурса является число f13 Е К [0^Г3], которое определяет объем нераспределенного ресурса. В качестве примеров неидентифицируемых ресурсов можно указать следующие: 1) объем виртуальной памяти, выделяемой некоторому прикладному процессу; 2) пропускная производительность выделяемого канала передачи данных; 3) число элементарных процессоров, выделяемых для решения прикладной задачи, и др.
На любой траектории поведения ресурса могут быть определены следующие функциональные события: выделение компоненту дискретной системы ресурса заданного объема; освобождение компонентом дискретной системы ресурса заданного объема; отказ в выделении компоненту дискретной системы ресурса заданного объема; постановка запроса на выделение ресурса в очередь; выбор запроса из очереди для выделения или отказа ресурса.
5. Компоненты, описывающие статистическое оценивание случайных процессов. Существенной составляющей поведения таких больших и сложных ДДС, как ТКС, является его стохастический характер. Поэтому в современных системах имитационного моделирования, в частности в ТКС, большое значение имеют средства моделирования управляющих случайных процессов и средства оценивания производных случайных процессов. Спектр таких процессов чрезвычайно широк. В их основе лежат различные вероятностные предположения. Зависимость между наблюдаемыми выборочными значениями измеряемых случайных процессов является вероятностной. Поэтому использовать только традиционные методы статистического оценивания невозможно. Необходимо применение более широкого спектра статистических методов оценивания, использование экспертных оценок их применимости [18, 20].
Предположим, что в имитационном эксперименте функции измерения и оценивания параметров воспроизводимых траекторий являются элементом алгоритма функционирования моделируемой ДДС. Данное предположение основано на том, что содержание оцениваемых параметров, их вероятностная структура полностью определяются составом, структурой и алгоритмами функционирования моделируемой ДДС.
Для моделирования стохастических процессов, измерения модельных траекторий и статистической обработки результатов моделирования в составе ДДС определяются компоненты следующих типов: случайные величины, датчики и мониторы.
5.1. Случайная величина. Случайная величина вд Е Sqml является компонентом ДДС т1, который представляет в ней некоторую реализацию маркированного точечного случайного процесса. Реализация потока ТДI, на котором определяется реализация случайного процесса, задается моментами времени {¿¿}, в которые процессы ДДС передают случайной величине соответствующие сообщения. Кратность Nщслучайного процесса определяется числом сообщений, которые переданы случайной величине вд в момент модельного времени . Метки Xщ= {хг} случайного процесса образуют последовательность случайных элементов, определенных на произвольном вероятностном пространстве. Размерность метки случайного процесса определяется его кратностью.
Функциональное состояние случайной величины вд определяется вектором в^1 = (йЬ331, Тщ, дищ, к^), в котором йЬ331 — распределение, Т^ — тип, дп331 — генератор, к^ — ядро данной случайной величины.
Распределение йЬ^ = (П331, А^, Р^) определяет вероятностное пространство метки X^ моделируемого случайного процесса, где П31 — пространство элементарных событий; А^ — алгебра событий на множестве П^; Рщ — вероятностная мера на измеримом пространстве (П331, А331). В соответствии с наиболее распространенными видами случайных процессов, которые имеют место в ТКС, определяются следующие типы распределений: непрерывное, дискретное или натуральное распределение, заданное в виде таблицы; вырожденное, нормальное, логнормальное, экспоненциальное, биномиальное, геометрическое, гипергеометрическое и 7-распределения; распределения х2, Фишера, Стьюдента, Бернулли, Паскаля, Пуассона и Вейбулла; распределение общего вида, определяемое произвольным числом начальных и центральных моментов. Тип Т^ определяет один из перечисленных выше типов распределения йЬ331 случайной величины вд.
Генератор дп331 является отображением дп331 (йЬ331 ,шщ ) (дпщ : К [0,1]1ш'" 1 ^ П^), которое по заданному распределению йЬ^ и базовой последовательности определяет реализацию очередного случайного элемента метки Xщ случайной величины вд.
Ядро кщ = {Мщ, а331, Ь31, х31} задает базовую последовательность равномерных псевдослучайных чисел = {шг}, Е К [0,1], используемую для формирования очередной реализации случайной величины вд. Ядро к^ определяет следующие параметры конгруэнтного метода формирования псевдослучайных чисел: Мsq — модуль, а331 — множитель, Ь^ — смещение, хщ — начальное значение. Это ядро обеспечивает управление корреляционными зависимостями как между элементами данной случайной величины, так и между элементами различных случайных величин.
На траектории к3311 случайной величины вд могут быть определены следующие функциональные события: формирование процессом или передача ему распределения параметров йЬ331; формирование процессом или передача ему параметров генератора дп331; формирование процессом или передача ему параметров ядра к331; формирование и передача процессу или другой случайной величине очередной реализации метки X31.
5.2. Датчик. Датчик Ьй Е Тдт1 является процессом ДДС т1, который осуществляет измерение траектории г° некоторой системы компонентов-адресантов Оы С Ст1 и передачу результатов этих измерений системе компонентов-адресатов Сы С Ргт1у Мпт1[] Тдт1, образованной процессами, мониторами и датчиками ДДС. Компоненты-адресаты осуществляют построение оценок требуемых параметров измеряемой траектории г° .
Измерение, проводимое датчиком Ьй, включает следующие операции:
1) прием от его компонента-адресанта ст Е Оы сообщения хе — метки события е, которое имело место на траектории гст в момент времени Ье. Метка хе Е Пы однозначно иденти-
фицирует событие е множества Еы = {ег} — измеряемого поля датчика td. Пространство состояний 0,ы метки хе определяется типом датчика и типом измеряемого компонента;
2) идентификация некоторого агрегированного события е С Еы, е Е Еы, где Еы — поле измерений компонентов-адресатов датчика td. Поле Еы определяется алфавитами 0,ст меток хст производных случайных процессов, образованных траекториями компонентов-адресантов и предназначенных для компонентов-адресатов сш Е Сы;
3) передача результатов измерений (меток измеряемых процессов хст, сш Е Сы) компонентам-адресатам (процессам, мониторам, датчикам).
Результаты измерений датчика td определяются его функцией измерения f ы(е), е Е Еы, которое является отображением fы : Еы — П &ст его измеряемого поля Еы на прост-
—>
стесы
ранства состояний меток компонентов его поля адресатов Сы. Функция измерений fы = {1сгп}, сш Е Си образуется композицией частных функций измерения ¡т или операторов датчика. Каждый оператор ¡^т(в) является отображением ¡т : Еы — 0,ст измеряемого поля на пространство состояний соответствующей метки хст, измеряемого компонентом сш случайного процесса. Оператор ор = Цт датчика td определяется набором параметров
ор = {Еор, Ир, ¡0P}, в к°т°р°м:
— Ер = {еор}, еор С Еы, Ер С Еы — множество непересекающихся агрегированных событий, определяющих поле измерений компонента-адресата сшор, связанного с оператором ор;
- ¡'Е(в), ¡'Е : Еы — Еср У {0} — индикатор измеряемого поля компонента-адресата. Данное отображение устанавливает соответствие между элементами измеряемого поля Еы датчика и измеряемого поля Е^ компонента оператора;
- ¡рр(е), е Е Е^, ¡рр : Ер — 0,ст°р — построитель метки хст°р измеряемого компонентом сш^ случайного процесса. Данное отображение определяет (в зависимости от имевшего место агрегированного события е измеряемого поля Еор оператора ор) метку измеряемого компонентом сшр процесса, определяемого воспроизводимой траекторией 1г^ системы и компонентов-адресантов датчика td.
Множество датчиков ДДС ш1 в соответствии с типами их измеряемых полей разбивается на подмножества датчиков, регистрирующих: 1) события формирования требований; 2) события поступления требований в классы требований; 3) события поступления требований в очереди требований; 4) события уничтожения требований; 5) события выхода требований из классов требований; 6) события выбора требований из очередей; 7) события завершения процессами фазы обработки требования; 8) события формирования процессом, случайной величиной, монитором метки измеряемого процесса; 9) события формирования значения параметра требования и др.
5.3. Монитор. Монитор шп Е Мпт1 является компонентом ДДС ш1, который представляет в ней вектор статистик отп = {ог[1п} измеряемого маркированного точечного случайного процесса. Этот процесс является производным от композиции траекторий компонентов измеряемой системы компонентов Атп. Вероятностная мера метки хтп этого процесса определяется на пространстве элементарных событий 0,тп, определяемого композицией траекторий компонентов системы Атп.
Метка хтп случайного процесса, измеряемого монитором шп, определяется на дискретном множестве моментов времени {¥тп}, которые являются моментами наступления событий, обусловленных изменением значений координат его измеряемого поля ттп = {штп}, штп = рт, сшг Е Атп С Ат1.
1 1 Л ! —
Измеряемая функция /тп (штп(г),г), /тп : Мтп х тт1 — 0.тп определяет значение метки хтп(г) в момент времени г, соответствующий событию на траектории НА™п. Данная траектория определяется как композиция отображений множества /тп';Ы|, в которой ее элемент /тп;Ы является оператором датчика Е Тё,тп. Датчики Т$пп осуществляют регистрацию изменения значений координат его измеряемого поля штп и передачу ему наблюдаемых значений координат метки хтп измеряемого процесса. Оператор /тп;Ы датчика td является отображением /тп;Ы (штп;Ы (г) , /тп;Ы : Мтп;Ы х гт1 — Птп'м алфавита Мтп'№ с Мтп поля штщЫ С штп датчика td на алфавит 0,тп';Ы координат метки хтп(г), соответствующих этому датчику.
Композиция отображений /тп определяется типом монитора тп, в ходе которой вычисляются операторы /тп;Ы датчиков, зарегистрировавшие свои события. Результатом данной композиции будет очередная реализация метки процесса хтп(г), измеряемого монитором, в момент г.
Множество мониторов Мп разбивается на множество типов в соответствии с их пространствами вероятностных мер. Это разбиение определяет мониторы со следующими пространствами элементарных событий меток измеряемых процессов: 1) насыщенность семейства маршрутов требованиями; 2) длительность времен прохождения требованиями семейства маршрутов; 3) длительность интервалов времени между последовательными пересечениями требованиями семейства точек их траекторий; 4) длительность пребывания требования в классе; 5) насыщенность класса требованиями; 6) случайная величина с вещественным или дискретным пространством элементарных событий; 7) временной ряд с вещественным или дискретным пространством элементарных событий; 8) маркированный точечный процесс с вещественным или дискретным пространством элементарных событий; 9) маркированный точечный процесс, пространство элементарных событий которого является произведением пространств элементарных событий заданного множества мониторов.
Статистика отп Е отп определяет некоторую характеристику распределения метки процесса хтп (например, центральные и начальные моменты различных порядков, коэффициенты асимметрии и эксцесса и др.). Статистика строится на базе выборочных значений метки х , полученных на непрерывном интервале времени т° .
Множество всех статистик в соответствии с их оцениваемыми характеристиками распределений измеряемых процессов разбивается на следующие типы: 1) начальный момент произвольного порядка; 2) центральный момент произвольного порядка; 3) коэффициент эксцесса; 4) коэффициент асимметрии; 5) мода; 6) медиана; 7) размах; 8) гистограмма; 9) выборочное распределение; 10) коэффициент корреляции; 11) доверительная вероятность; 12) доверительный интервал и др.
Статистика отп Е отп типа Ох строится исходя из предположения о том, что вероятностная мера Ртп метки хтп процесса, измеряемого монитором тп, принадлежит некоторому классу Р вероятностных мер. Ее пространство элементарных событий 0,°тп является множеством которое определяет алфавиты каждой статистики о Е ОуС Ог каждого монитора типа Мпу. На множестве статистик отп монитора тп определяется разбиение отп = {отп}, отп = {отп} на множество метастатистик. Две статистики отп,отп Е отп,если:
1 ч т»отп т>°тп т>°тп
1) для них определена одна вероятностная мера Р0 = Р° = Р з ;
ч отп отп 0гпп ,
2) они определены на одном интервале т0 = т04 = т з времени т' ;
3) они являются однородными.
Две статистики однородны, если на интервале их определения используется общий алгоритм накопления результатов измерений и их построения. Множество всех метастатистик
с одинаковым набором однородных статистик образует их тип. Выделяются следующие типы метастатистик: 1) оценки моментов распределений независимых случайных величин методом их усреднения; 2) оценки моментов распределений независимых случайных величин методом их стратификации; 3) оценки моментов распределений зависимых случайных величин спектральным методом; 4) оценки моментов распределений зависимых случайных величин регенеративным методом; 5) оценки моментов распределений зависимых случайных величин методом вычисления автоковариаций; 6) оценки средних значений и автоковариационной функции стационарных маркированных точечных процессов методом аппроксимации марковским процессом; 7) оценки средних значений и автоковариационной функции стационарных маркированных точечных процессов методами аппроксимации диффузионными процессами или построения выборочной автоковариационной функции; 8) оценки распределений случайных величин методом построения гистограмм с одинаковыми или неодинаковыми границами ее разрядов; 9) оценки распределений случайных величин методом построения ее выборочной функции распределения; 10) траектория требований и др.
Функциональное состояние монитора mn определяется вектором smn = {Tmn, xmn,tmn, vmn,РГ, zr, smn}, в котором Tmn — тип (определяет пространство Qmn метки измеряемого процесса), xmn — наблюдение (последняя реализация метки измеряемого процесса), tmn — время наблюдения (момент времени, в который имела место последняя регистрация метки xmn), vmn — объем наблюдений (число зарегистрированных наблюдений), pmn — доверительные вероятности (доверительные вероятности статистик монитора), zmn — доверительные интервалы (относительные доверительные интервалы статистик монитора).
Координата smn состояния монитора mn зависит от числа метастатистик, определенных к моменту t модельного времени, а также от их типов.
Таким образом, алгоритм функционирования монитора mn включает следующие операции:
1) прием от связанных с монитором датчиков измерительной информации о воспроизводимой траектории mmn(t) его измеряемого поля mmn;
2) накопление принятой информации в метастатистиках omn поля монитора omn, соответствующих текущему моменту t модельного времени;
3) вычисление на основе накопленной информации статистик поля omn данного монитора.
На любой траектории монитора mn могут иметь место следующие события: наблюдение монитором очередной реализации метки измеряемого им процесса; формирование процессом новой траектории метастатистик; формирование процессом метастатистики в составе траектории метастатистики; формирование процессом или передача монитором процессу требуемого или полученного значения доверительной вероятности его статистик; формирование процессом или передача монитором процессу требуемого или полученного значения доверительного интервала его статистик; передача процессу объема накопленной выборки; передача процессу значения его статистики.
Заключение. Предложенные методология построения имитационных моделей и их формальное представление реализованы в инструментальной среде MONAD [21]. Данная реализация показала возможность построения эффективных имитационных моделей таких больших и сложных систем, как информационные и телекоммуникационные системы. Данная методология позволяет эффективно расширять изобразительные средства имитационного моделирования, в полной мере использовать преимущества объектно-ориентированной технологии программирования, а также повысить эффективность имитационных моделей за
счет использования технологий параллельного программирования и учета естественного параллелизма, который следует из изложенного выше представления.
Необходимо отметить, что предложенное представление ДДС использовалось при описании гибридных моделей и сложных структурированных экспериментов с ними [22, 23].
До настоящего времени не получено универсальных конструктивных результатов исследования методов анализа имитационных моделей на адекватность и вычислительную реализуемость. Это утверждение можно отнести не только к предложенному выше представлению, но и к таким описаниям имитационных моделей, как DEVS-схемы и HLA-архитектура. Трудности анализа обусловлены большой размерностью пространства состояний имитационных моделей, невозможностью построения аналитических выражений, описывающих элементарные события на траектории моделируемой системы, сложностью суперпозиции выражений, описывающих ее элементарные события. Представляется возможным в дальнейшем на основе разработанного определения типа компонентов выработать подходы к решению данной проблемы.
Список литературы
1. Radiya A., Fishwick P. A., Nance R. E., et AL. Discrete event simulation modeling: directions for the 1990s // Proc. of the Winter simulations conf., 1992. S. l.: IEEE, 1992. P. 773-782.
2. Goldsman D., Nance R. E., Wilson J. R. A brief history of simulation // Proc. of the Winter simulation conf. (WSC), 13-16 Dec. 2009. Austin (USA). P. 310-313.
3. Henriksen J. O. The integrated simulation environment: Simulation software of the 1990s // Oper. Res. (USA). 1993. V.31, N6. P. 1053-1073.
4. Yucesan E., Jacobson S. H. Building correct simulation models is difficult // Proc. of the Winter simulations conf. (WSC), 13-16 Dec. 1992. Arlington (USA): IEEE, 1992. P. 783-790.
5. Cai W., Turner S. J. An algorithm for distributed discrete event simulation — the "carrier null message" approach // Distributed simulation: Proc. of the SCS multiconf., June 1990. Illinois (USA): SCS, 1990. P. 3-8.
6. Draft standard for modeling, simulation. High level architecture (HLA) — framework, rules // IEEE Unapproved Draft Std P1516/D4, 2008.
7. Houben G.-J., Dietz J. L. G., Van Hee K. M. The SMARTIE framework for modelling discrete dynamic systems // Proc. of the 2nd ASA conf. "Discrete event systems. Models, applications". S. l.: Springer-Verlang, 1988. P. 179-196.
8. Нечепуренко М. И. Модели имитации в неархимедовом времени: время, системные динамики // Эффективность и структурная надежность информационных систем. Новосибирск: ВЦ СО АН СССР, 1982. С. 43-68.
9. Kindler E. Dynamic systems, theory of simulation // Kybernetika. 1979. V. 15, N2. P. 77-87.
10. Li Y., Wonham W. M. A state-variable approach to the modeling, control of discrete-event systems // Proc. of the 26th Annual allerton conf. on communication, control, computing, Sept. 30 - Oct. 2, 1998. Allerton (USA): IEEE, 1988. V. 2. P. 1140-1149.
11. Nance R. E. Model representation in discrete event simulaton: Prospect for developing documentation standarts // Current issues in computer simulation. N. Y.: Academic, 1979. P. 83-97.
12. Zeigler B. P. DEVS representation of dynamical systems: event-based intelligent control // Proc. IEEE. 1989. V. 77, N1. P. 72-80.
13. ВиллЕмс Я. От временного ряда к линейной системе // Теория систем. Математические методы и моделирование. М.: Мир, 1989. С. 8-190.
14. Бусленко Н. П. Моделирование сложных систем. М.: Наука, 1968.
15. Бусленко Н. П. Лекции по теории сложных систем / Н. П. Бусленко, В.В.Калашников, И.Н.Коваленко. М.: Сов. радио, 1973.
16. Месарович М. Д. Общая теория систем: Математические основы / М. Д. Месарович, Я. Такахара. М.: Мир, 1978.
17. Вунш Г. Теория систем. М.: Сов. радио, 1978. 288 c.
18. Беляков В. Г., КондрлтовА Н. А., Митрофанов Ю. И., Ярославцев А. Ф. Математическое моделирование территориально распределенной вычислительной сети с коммутацией пакетов: методы, средства, опыт использования // Тр. Междунар. науч.-техн. конф. "Проблемы функционирования информационных сетей", Новосибирск, окт. 1991 г. Новосибирск: ВЦ СО АН СССР, 1991. Т. 1. С. 32-40.
19. Величко В. В., Суввотин Е. А., Шувалов В. П., Ярославцев А. Ф. Телекоммуникационные системы и сети. Т. 3. Мультисервисные сети. М.: Горячая линия - Телеком, 2005. 592 с.
20. Yi J. J., Lilja D. J., Hawkins D. M. A statistically rigorous approach for improving simulation methodology // Proc. of the 9th Intern. symp. on high-performance computer architecture (HPCA-9-03), 8-12 Febr. 2003. S. l.: IEEE CS, 2003. P. 281-291.
21. Yaroslavtsev A. F. Set-theoretic submission of simulation models in program tool MONAD // Proc. of the Intern. conf. "Distributed computer communication networks. Theory, applications", Nov. 1999. Tel-Aviv; Moscow: Inst. for inform. transmission problems RAS, 1999. P. 209-215.
22. Yaroslavtsev A. F. Set base methodology for hybrid modeling on communication systems // Proc. of the 2nd IASTED Intern. multi-conf. on automation, control, information technology "Communication systems", Novosibirsk, June 20-24, 2005. Novosibirsk: S. n., 2005. P. 1-7.
23. Ярославцев А. Ф. Гибридное моделирование в МОНАД // Тр. ИВМиМГ СО РАН. Сер. Системное моделирование. Новосибирск: ИВМиМГ СО РАН, 1997. Т. 4. С. 12-28.
Ярославцев Александр Федорович — д-р техн. наук, проф.
Сибирского государственного университета телекоммуникаций
и информатики; e-mail: afyar@list.ru
Дата поступления — 16.12.2010
