Инструментальная система распределенного имитационного моделирования (Объектно-событийный подход) - презентация

1 Инструментальная система распределенного имитационного моделирования (Объектно-событийный подход)

2 Иерархическая структура модели группа (головная) группа объект процесс (прибор) прибор (процесс)... элемент (метод)...

3 Данные Библиотека каталогизированных типов Данные, общие для всех экземпляров типа («константы») Данные, различающиеся по экземплярам («фазовые переменные»)

4 Структура процесса... Исходящие сигналыВходящие сигналы... Элементы

5 Модельное время Выбор шага модельного времени t. Классификация элементов по отношению к шагу модельного времени: А) Сосредоточенные (быстрые,

6 Планирование событий Сосредоточенный элемент Метод + планировщик событий Распределенный элемент Метод Планировщик событий (таймер) Планировщик событий (таймер) Условно-распределенный элемент

7 Ахиллес и черепаха

8 Группа test = GROUPE OBJECTS : man(2), bee(1); END; PHASETYPE = RECORD dist : REAL; back : BACKGRND; END;

9 Объект bee = OBJECT DEVICES : fly(1); END; PHASETYPE = RECORD LEFT : BOOLEAN; velocity, x : REAL; pict : ARRAY [0..1] OF PICTURE; END;

10 Прибор fly(FLY) = DEVICE FASTELS : endofrun; SLOWELS : motion; ROOTELM : motion; END; SWITCHES = endofrun : motion; motion : endofrun; END;

11 Сигналы Объект Исходящий сигнал Входящий сигнал Прибор Сообщение

12 Коммутация сигналов Исходящий сигнал Входящий сигнал Сообщение

13 Примеры описаний КОМАНДА = GROUPE OBJECTS : TPEHEP(1). ФУТБОЛИСТ (16), ВРАТАРЬ(2); GROUPES : МАССАЖИСТЫ (1); END; CONNECTIONS = [0] МАССАЖИСТЫ[0] = [0] ТРЕНЕР[0]; i=0..15 : [0] ФУТБОЛИСТ[i] = [i+2] ТРЕНЕР[0]; i=0..15 : [1] ФУТБОЛИСТ[i] = [i]; [ 16] = [1] ТРЕНЕР[0]; i=0..15 : [i] = [0] ФУТБОЛИСТ[i]; END; PHASETYPE = RECORD болельщики : LONGINT; END; CONSTTYPE = RECORD; ПризЗаПобеду : CARDINAL; END; ФУТБОЛИСТ = OBJECT DEVICES : Мозг(1), Голова(1), ПараНог(1); END; CONNECTIONS = i=0..1 : [i] Мозг[0] = [i]; [0] Голова[0] = [0] ПараНог[0]; i=0..1 : [i] ПараНог[0] = [[i] Мозг[0]; [0] = [1] ПараНог[0]; END; PHASETYPE = RECORD точка, скорость : ВЕКТОР; вес, рост : REAL; номер : CARDINAL; травмы : LIST OF ЧастьТела : (ЛеваяНога, ПраваяНога); тяжесть : (тяжелая, легкая); ВремяПолучения : REAL; END;

14 Описание прибора МОЗГ = DEVICE FASTELS : СменаПоведения; SLOWELS : Ожидание, Управление; CONVELS : ВыборПоведения; ROOTELM : Ожидание; END; CONNECTIONS = i=0..1 : [i] INT = [i]; [2] INT = [2] INT + ИНФОРМАЦИЯ; [0] = [0] INT + ПРИКАЗ; [1] = [1] INT; END; SWITCHES = Ожидание : СменаПоведения, 0 + 1, ВыборПоведения; СменаПоведения : Управление; ВыборПоведения : Управление; Управление : СменаПоведения, 1, Ожидание; END; PHASETYPE = RECORD Состояние : (ясный, усталый); END;

15 Синхронизация процессов

16 Структура распределенной модели... Исходящие сигналыВходящие сигналы Головные группы, реализованные на разных компьютерах

17 Сигналы в головных группах Транзитные сигналы: [1] = [3]; (* третий входной сигнал передается далее по кольцу, как первый выходной *) Выходные сигналы: i=0..5 : [i] = [0] ОБЪЕКТ[i]; Входные сигналы: i=0..2 : [i] ГРУППА[0] = [i];