Разработка средств распределенного имитационного моделирования для многопроцессорных вычислительных систем
Диссертация
В результате модель представляется как совокупность взаимодействующих квазипараллельных процессов, что более адекватным образом (чем совокупность событий) отражает структуру и поведение реальной системы. Квазипараллельность заключается в том, что программа, соответствующая процессу, составляется из последовательности программ событий независимо от других процессов (если отсутствуют явные указания… Читать ещё >
Содержание
- 1. ПОСЛЕДОВАТЕЛЬНОЕ H РАСПРЕДЕЛЕННОЕ ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ
- 1. 1. Понятие модельного времени
- 1. 2. Последовательное имитационное моделирование
- 1. 3. Распределенное имитационное моделирование
- 1. 3. 1. Понятие распределенного имитационного моделирования
- 1. 3. 2. Выполнение модели при распределенном моделировании
- 1. 3. 3. Алгоритмы синхронизации модельного времени
- 1. 4. Имитационное моделирование высокого уровня
- 1. 4. 1. Введение в HLA
- 1. 4. 2. Правила HLA
- 1. 4. 3. Управление временем в HLA
- 1. 5. Направления развития
- 2. СИСТЕМА РАСПРЕДЕЛЕННОГО ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ МЕРА
- 2. 1. Цели разработки системы распределенного имитационного моделирования Мера
- 2. 2. Архитектура системы распределенного имитационного моделирования Мера
- 2. 2. 1. Ядро
- 2. 2. 2. Последовательная имитационная машина
- 2. 2. 3. Распределенная имитационная машина
- 2. 2. 4. Коммуникационная машина
- 2. 2. 5. Однопроцессорная реализация
- 2. 2. 6. Многопроцессорная реализация
- 2. 3. Язык описания моделей
- 2. 3. 1. Описание структуры модели
- 2. 3. 2. Передача сообщений
- 2. 3. 3. Задержка субъектов
- 2. 3. 4. Исполнение модели
- 2. 4. Алгоритмы последовательной имитационной машины
- 2. 5. Алгоритмы распределенной имитационной машины
- 2. 5. 1. Запуск распределенной имитационной модели
- 2. 5. 2. Передача сообщений между системами
- 2. 5. 3. Алгоритмы синхронизации модельного времени
- 2. 5. 4. Останов распределенной имитационной модели
- 2. 6. Алгоритмы коммуникационной машины
- 2. 7. Семейство реализаций системы распределенного имитационного моделирования Мера
- 2. 7. 1. Пакет имитационного моделирования
- 2. 7. 2. Специализированный пакет имитационного моделирования
- 2. 7. 3. Визуально-интерактивная система
- 2. 7. 4. Реализация для МВС-1000/М
- 2. 7. 5. Реализация для локальной сети рабочих станций
- 3. 1. Типовая структура АСУ ТП
- 3. 2. Задачи моделирования
- 3. 3. Имитационный стенд
- 3. 3. 1. Инструментальная среда разработки, отладки и тестирования
- 3. 3. 2. Тренажер
- 3. 3. 3. Подсистема АСУ ТП на этапах пусконаладки и опытной эксплуатации
- 3. 3. 4. Подсистема АСУ ТП на этапе эксплуатации
- 3. 3. 5. Интеллектуальный эксперт
- 3. 4. Краткое описание Северомуйского тоннеля
- 3. 5. Краткое описание АСУ ТП Северомуйского тоннеля
- 3. 6. Подсистема управления АСУ ТП Северомуйского тоннеля
- 3. 7. Имитационный стенд АСУ ТП СМТ
- 3. 7. 1. Модель технологического объекта управления
- 3. 7. 2. Модель для имитации внешних сигналов
- 3. 7. 3. Модель микроклимата тоннеля
- 3. 7. 4. Схема взаимодействия компонентов имитационного стенда АСУ ТП СМТ
- 3. 8. Реализация имитационного стенда АСУ ТП СМТ
Список литературы
- Абрамов Ф.А., Тян Р.Б., Потемкин В. Я. Расчет вентиляционных сетей шахт и рудников. — М.: Недра, 1978.
- Аврамчук Е.Ф., Вавилов A.A., Емельянов C.B. Теория системного моделирования. — М.: Машиностроение- Берлин: Техник, 1998. —520 с.
- Альтшуль А.Д. Гидравлические сопротивления. — М.: Недра, 1982. — 224 с.
- Андрианов А.Н., Бычков С. П., Хорошилов А. И. Программирование на языке Симула-67. — М.: Наука, 1985. — 288 с.
- Анисимов A.A., Привалов А. Г., Рудых Я.И. DEJaViev: Распределенная среда моделирования систем с дискретными событиями // Труды X конференции молодых ученых ИВМиМГ СО РАН. — Новосибирск, 2005. — С. 3−12.
- Антипина Г., Ярцев A. Arena — система имитационного моделирования. — 1997. — http://www.interface.ru
- Антонов A.C. Параллельное программирование с использованием технологии MPI. — M.: Изд-во МГУ, 2004.
- АСУ ТП Северомуйского тоннеля // Технический проект. — Новосибирск: Конструкторско-технологический институтвычислительной техники СО РАН, 2001.
- Ахламов А.Г., Бекетова Е. А., Окольнишников В. В. Программное обеспечение имитационного моделирования на ПЭВМ // Системное моделирование — 17. — Новосибирск: ВЦ СО АН СССР, 1991.1. С. 3−33.
- Бакаев A.A., Костина Н. И., Яровицкий Н. В. Имитационные модели в экономике. — Киев: Наук, думка, 1978. — 302 с.
- Баранов A.C., Грибов Д. И., Поляков В. Б., Смелянский P.JL, Чистолинов М. В. Комплексный стенд математического моделирования КБО JIA // Труды Первой Всероссийской научной конференции «Методы и средства обработки информации».
- М.: МГУ, 2003. — С. 282−295.
- Бигдан В.В., Гусев В. В., Марьянович Т. П., Сахнюк М. А. Становление и развитие имитационного моделирования в Украине // Пр. м1жнар. симп. «Комп'ютери у Сврош. Минуле, сучасне та майбутне». — Киев, 1998. —С. 182−193.
- Санкт-Петербург, 2003. — Т. 1. — С. 59−63.
- Бобров В.И. Принципы построения цифровой имитационной многофакторной модели процесса функционирования полиграфических автоматизированных систем машин // Проблемы полиграфии и издательского дела. — 2000. — № 1−2. — С. 36−49.
- Бусленко В.Н. Автоматизация имитационного моделирования сложных систем. — М.: Наука, 1977. — 240 с.
- Бусленко Н.П. Моделирование сложных систем. — М.: Наука, 1978.420 с.
- Вавилов А.А. Имитационное моделирование производственных систем. — М.: Машиностроение- Берлин: Техник, 1983. — 416 с.
- Варжапетян А.Г. Имитационное моделирование на ОРББ/Н. — М.: Вузовская книга, 2004.
- Вассерман А.Д. Проектные обоснования параметров вентиляции рудников и подземных сооружений. — Л.: Наука, Ленингр. отделение, 1988.
- Воеводин В.В. Суперкомпьютеры: вчера, сегодня, завтра // Сборник научно-популярных статей «Российская наука на заре нового века» / Под ред. акад. В. П. Скулачева. — М.: Научный мир. — 2001.1. С. 475−483.
- Воеводин В.В., Воеводин Вл.В. Параллельные вычисления. — Санкт-Петербург: БХВ-Петербург, 2002.
- Гендлер С.Г., Беспалов С. Е., Соколов В. А. Управление тепловым режимом тоннелей в суровых климатических условиях // Транспортное строительство. — 1990. — № 4. — С. 18−22.
- Гендлер С.Г. Выполнение имитационного моделирования воздействия климатических и эксплуатационных факторов на вентиляционный режим Северо-Муйского тоннеля и оценка эффективности различных средств управления его параметрами.
- Санкт-Петербург: Санкт-Петербург. Государственный горный институт, 2002. — Хоздоговор 20/2001.
- Гендлер С.Г., Соколов В. А., Пищик Б. Н. Обоснование режимов работы автоматизированной системы управления параметрами микроклимата в Северо-Муйском железнодорожном тоннеле // Горный информационно-аналитический бюллетень, МГТУ.2002. —№ 8 —С. 148−153.
- Глушков В.М., Гусев В. В., Марьянович Т. П., Сахнюк М. А. Программные средства моделирования непрерывно-дискретных систем. — Киев: Наукова думка, 1975.
- Голованов О.В., Дуванов С. Г., Смирнов В. Н. Моделирование сложных дискроетных систем. — М.: Энергия, 1978.
- Гололобов В.И., Окольнишников В. В., Чинин Г. Д. Макросистема моделирования МОДЕЛЬ-6 // Развитие программного обеспечения БЭСМ-6. — М.: ВЦ АН СССР, 1975. — С. 43−49.
- Гололобов В.И., Окольнишников В. В., Чинин Г. Д. Язык моделирования СИТРАН // Имитационное моделирование систем
- СМ-3). — Новосибирск: ВЦ СО АН СССР, 1975. — С. 35−65.
- Дал О.И., Нигард К. Симула — язык для программирования и описания систем с дискретными событиями // Алгоритмы и алгоритмические языки. — Вып. 2. — М.: ВЦ АН СССР, 1967.
- Дал У.-И., Мюрхауг Б., Ньюгорд К. Симула-67 универсальный язык программирования. — М.: Мир, 1969.
- Санкт-Петербург, 2003. — Т. 1. — С. 15−18.
- Емельянов A.A., Власова Е. А., Дума Р. В. Имитационное моделирование экономических процессов. — М.: Финансы и статистика, 2004.
- Ермаков С.М., Михайлов Г. А. Статистическое моделирование. — М.: Наука, 1982.
- Забродин A.B. СуперЭВМ МВС-100, МВС-1000 и опыт их использования при решении задач механики и физики // Математическое моделирование. — 2000. — Т. 12, № 5.1. С. 61−66.
- Зензин A.C., Окольнишников В. В., Рудометов C.B. Интегрированная с АСУ ТП система распределенного моделирования // Труды Шестого Международного семинара «Распределенная обработка информации». — Новосибирск, 1998. — С. 511−514.
- Золотухин Е.П., Окольнишников В. В. Моделирование системы химической очистки воды // Труды Шестого Международного семинара «Распределенная обработка информации». — Новосибирск, 1998. —С. 249−252.
- Иванова Л.И. Анализ и обоснование выбора численного метода для решения вентиляционных задач // Эффективность вентиляционных систем подземных рудников. — Апатиты, 1974. — С. 88−96.
- Казаков Ю.П., Смелянский P.JI. Об организации распределенного имитационного моделирования // Программирование. — 1994.1. N. 2. —С. 45−63.
- Калашников В.В., Немчинов Б. В., Симонов В. М. Нить Ариадны в лабиринте моделирования. — М.: Наука, 1993. — 192 с.
- Калашников В.В. Объектно-ориентированная среда для имитационных экспериментов // Вопросы экономики и организации информационных технологий. Ч. II. — Гомель, 1991. — С. 63−65.
- Карпов Ю.Г. Имитационное моделирование систем. Введение в моделирование с AnyLogic 5 (с CD-ROM). — Санкт-Петербург: Изд. «BHV», 2005. —400 с.
- Катков В.Л., Окольнишников В. В., Резниченко JI.JI., Фишелев В. И. Имитационное моделирование систем машинной графики. — М.: ИТМ и ВТ АН СССР, 1977. — 70 с.
- Киндлер Е. Языки моделирования. — М.: Энергоатом из дат, 1985.
- Конюх B.JI., Игнатьев Я. Б., Зиновьев В. В. Методы имитационного моделирования систем. Применение программных продуктов.
- Электронное издание, зарегистрированное в Федеральномдепозитарии электронных изданий, № 320 401 123. Регистрационное свидетельство. ФГУП НТЦ «Информрегистр» от 06.09.2004.4753.
- Корнеев В.Д. Параллельное программирование в MPI.
- Новосибирск: Изд-во СО РАН, 2000.
- Краснощекое П.С., Петров A.A. Принципы построения моделей. — М: Фазис, 2000. —400 с.
- Крюков В.А. Разработка параллельных программ для вычислительных кластеров и сетей // http://parallel.ru
- Левин Вл. К. Отечественные суперкомпьютеры семейства МВС // http://parallel.ru
- Литвинов В.В., Марьянович Т. П. Методы построения имитационных систем. — Киев: Наукова думка, 1991.
- Лоу A.M., Кельтон А. Д. Имитационное моделирование.1. Санкт-Петербург, 2004,
- Максимей И.В. Имитационное моделирование на ЭВМ. — М.: Радио и связь, 1988.
- Максимей И.В., Еськова О. И., Левчук В. Д. и др. Имитационное моделирование распределенной обработки в информационных сетях ЭВМ // Тр. Пятого междунар. семинара «Распределенная обработка информации» (РОИ-95). — Новосибирск, 1995. — С. 216−220.
- Мановицкий В.И., Сурков Е. М. Система имитационного моделирования дискретных процессов (ДИСМ). — Киев-Одесса: Вища школа, 1981.
- Математическое обеспечение автоматического проектирования (моделирование дискретных систем) / Под ред. В. П. Чистова.
- Свердловск: УНЦ АН СССР, 1981.
- Миков А.И. Моделирование вычислительных систем. — Учебное пособие по спецкурсу. — Пермь: ПГУ, 1982.
- Миков А.И., Замятина Е. Б., Фатыхов А. Система оперирования распределенными имитационными моделями сетей телекоммуникаций // Труды Первой Всероссийской научной конференции «Методы и средства обработки информации».
- М.: МГУ. — 2003. — С. 437−442.
- Миков А.И., Замятина Е. Б., Осмехин К. А. Метод динамической балансировки процессов имитационного моделирования // Труды Второй Всероссийской научной конференции «Методы и средства обработки информации». — М.: МГУ, 2005. — С. 47277.
- Нейлор Т. Машинные имитационные эксперименты с моделями экономических систем. — М.: Мир, 1975.
- Нечепуренко М.И. Модели имитации в неархимедовом времени: время, системные динамики // Эффективность и структурнаянадежность информационных систем (СМ-7). — Новосибирск: ВЦ СО АН СССР, 1982. — С. 63−71.
- Нечепуренко М.И., Окольнишников В. В., Родионов A.C. Вопросы интеллектуализации систем моделирования // Труды 2-го Североморского симпозиума «Имитация систем» — ЧСФР, Острава, 1989.
- Нечепуренко М.И., Окольнишников В. В., Якимович Д. А. Имитационное моделирование систем управления в энергетике // Тр. Пятого междунар. семинара «Распределенная обработка информации» (РОИ-95). — Новосибирск, 1995. — С. 221−226.
- Окольнишников В.В. Система моделирования Модель-6 // Имитационное моделирование систем (СМ-3). — Новосибирск: ВЦ СО АН СССР, 1975. — С. 74−88.
- Окольнишников В.В. Имитационное моделирование шахты как сети массового обслуживания // Системное моделирование-4. — Новосибирск: ВЦ СО АН СССР, 1976. — С. 91−104.
- Окольнишников В.В. Система моделирования Модель-6 и ее приложения: Дис. канд. физ.-мат. наук: 01.01.10. — Новосибирск, 1979. — 148 с.
- Окольнишников В.В. Черты реального времени в системе программирования АЛГОЛ-ЭЛЬБРУС // Управляющие системы и машины. —Киев, 1991. —N3.— С. 41−48.
- Окольнишников B.B. Введение в языки реального времени.
- Новосибирск: НГУ, 1993. — 63 с.
- Окольнишников В.В. Предложения по разработке специализированной системы моделирования АСУ ТП топливно -энергетических устройств и систем // Системное моделирование-20.
- Новосибирск: ВЦ СО РАН, 1994. —С. 125−138.
- Окольнишников В.В., Якимович Д. А. Входной язык специализированной системы моделирования АСУ ТП топливно-энергетических устройств и систем // Системное моделирование-20.
- Новосибирск: ВЦ СО РАН, 1994. —С. 139−151.
- Окольнишников В.В., Ротова A.B. Базовые концепции входного языка интеллектуальной системы моделирования // Системное моделирование-20. — Новосибирск: ВЦ СО РАН, 1994. — С. 59−74.
- Окольнишников В.В., Ротова A.B. Направления развития средств имитационного моделирования // Системное моделирование-20.
- Новосибирск: ВЦ СО РАН, 1994. — С. 3−20.
- Окольнишников В.В., Черкасов А. Г., Якимович Д. А. Визуальная модель АСУ ТП энергоблока ГРЭС // Микропроцессорные системы автоматики. Материалы III международной научно-технической конференции. — Новосибирск, 1996. — С. В27-В28.
- Окольнишников В.В. Разработка имитационного стенда АСУ ТП энергоблока ГРЭС // Труды третьей международной научно-технической конференции «Актуальные проблемы электронного приборостроения» (АПЭП-96), Том 11, Промышленная информатика.
- Новосибирск, 1996. — С. 43−44.
- Okornishnikov V.V., D.A. Iakimovitch. Visual Interactive Industrial Simulation Environment // Proc. of the 15-th IMACS World Congress on Scientific Computation Modelling and Applied mathematics (Berlin,
- August 1997). — V. 3. Systems Engineering. — P. 391−395.
- Окольнишников B.B. Система моделирования распределенных систем реального времени // Системное моделирование: Сб. науч. тр. / РАН. Сиб. отд-ние. ИВМиМГ. Т. 4 (22). — Новосибирск, 1998.1. С. 129−140.
- Окольнишников В.В., Рудометов С. В. Моделирование систем управления распределенных систем реального времени // Системное моделирование: Сб. науч. тр. / РАН. Сиб. отд-ние. ИВМиМГ. Т. 4(22).
- Новосибирск, 1998. —С. 141−150.
- Окольнишников В.В. Информационно-функциональная модель АСУ ТП // Системное моделирование: Сб. науч. тр. / РАН. Сиб. отд-ние. ИВМиМГ. Т. 5 (23). — Новосибирск, 1998. — С. 123−139.
- Okol’nishnikov V.V., Rudometov S.W. Distributed simulation system integrated into control system. // Proc. of 13th Europ. Simulation Multiconference. — Warsaw, 1999. — V. 2. — P. 510−512.
- Окольнишников B.B. Моделирование систем управления // Труды III Международной конференции «Проблемы управления и моделирования в сложных системах». — Самара, 2001. — С. 594— 599.
- Okol’nishnikov V.V. Development of Control Programs for Process Control System of North-Muisk Railway Tunnel // Proc. of the IASTED International Conference «Automation, Control, and Information Technology». — Novosibirsk, Russia, 2002. — P. 49−52.
- Okol’nishnikov V.V. Parallel Simulation System // Proc. of VIII International Workshop on Advanced Computing and Analysis Techniques in Physics Research. Book of abstracts. — Moscow, 2002.1. P.21.
- Окольнишников B.B. Система распределенного имитационного моделирования // Тр. Первой Всерос. научн. конференции «Методы и средства обработки информации». — М.: МГУ им. М. В. Ломоносова, 2003. —С. 468−473.
- Okol’nishnikov V.V. Simulation on parallel and distributed systems // Пятая международная конференция памяти академика А. П. Ершова «Перспективы систем информатики (PSI 03)». Рабочий семинар «Наукоемкое программное обеспечение». Доклады и тезисы.
- Новосибирск, 2003. — С. 30−32.
- Victor Okol’nishnikov, Sergey Rudometov. Development of distributed simulation system // Lecture Notes Comput. Sei. — V. 2763. — Berlin: Springer, 2003, —P. 524−527.
- Окольнишников В.В. Использование имитационного моделирования при разработке Автоматизированной системы управления технологическими процессами Северомуйского тоннеля // Вычисл. технологии. — 2004. — Т. 9,№ 5. —С. 82−101.
- Окольнишников B.B. Представление времени в имитационном моделировании // Вычисл. технологии. — 2005. — Т. 10, № 5.1. С. 57−80.
- Okol’nishnikov V.V., Rudometov S.V. Simulation of Complex Transportation Systems // Proc. of the Second LASTED International Multi-Conference SOFTWARE ENGINEERING (ACIT-SE) (June 20−24, 2005). — Novosibirsk, 2005. — P. 60−64.
- Павловский Ю.Н. Имитационные модели и системы. — М.: ВЦ РАН, 2000. — 134 с.
- Санкт-Петербург: Изд-во Политехи, ун-та, 2005. — С. 292−293.
- Прицкер А. Введение в имитационное моделирование и язык СЛАМ-2. — М.: Мир, 1987. —646 с.
- Пушкин A.C. Дубровский. Полное собрание сочинений. — Л.: Наука, Ленингр. отделение, 1978. — Т. 6. — С. 142−209.
- Рогов Е.И. Теория и методы математического моделирования производственных процессов в горном деле. — Алма-Ата: Наука, 1973.
- Родионов A.C. Объектная ориентация в интеллектуальных системах моделирования // Тр. ВЦ СО РАН. Сер. Системное моделирование.
- Новосибирск, 1994. — Вып. 2(20). — С. 21−42.
- Родионов A.C. Пакет моделирования систем с дискретными событиями в пакете СИДМ-2 // Тр. Шестого междунар. семинара «Распределенная обработка информации» (РОИ-98). — Новосибирск, 1998. —С. 269−272.
- Родионов A.C. Имитационное моделирование на ЭВМ. Избранные лекции. Учебное пособие. — Новосибирск: НГУ, 1999. — 84 с.
- Родионов А. С. Разработка систем дискретного имитационного моделирования информационных сетей: Дис. д-ра техн. наук: 05.13.18. — Новосибирск, 2002.
- Родионов А. С. Проблемы создания систем имитационного моделирования инфотелекоммуникационных сетей // Материалы 8-й Международной конференции «Связь 2004». — Новосибирск, 2004.1. Т.2. —с. 268−272.
- Рудометов C.B. Язык распределенного имитационного моделирования и его реализация // Труды Шестого Международного семинара «Распределенная обработка информации». — Новосибирск, 1998, —С. 147−151.
- Рыжиков Ю.И. Имитационное моделирование. Теория и технологии.
- Санкт-Петербург: КОРОНА принт. — 2004. — 384 с.
- Савин Г. И. Системное моделирование сложных процессов — М.: Фазис: ВЦ РАН, 2000. — 276 с.
- Саломатин H.A., Беляев Г. И., Петроченко В. Ф., Прошлякова Е. В. Имитационное моделирование в оперативном управлении производством. — М.: Машиностроение, 1984. — 208 с.
- Самарский A.A., Михайлов А. П. Математическое моделирование: Идеи. Методы. Примеры. — М.: Физматлит, 2002. — 320 с.
- Семишин Ю.А., Гурший В. П., Литвинов О. В. Моделирование дискретных систем на ДАСИМ. — М.: 1995.
- Смелянский P.JI. Проблемы разработки и анализа функционирования встроенных систем реального времени // Труды Первой Всероссийской научной конференции «Методы и средства обработки информации». — М.: МГУ. — 2003. — С. 57−73.
- Советов Б.Я., Яковлев С. А. Моделирование систем. Практикум. М.: Высш. шк., 1999. —224 с.
- Советов Б.Я., Яковлев С. А. Моделирование систем. 3-е изд. перераб. и доп. — М.: Высшая школа. — 2001. — 343 с.
- Советов Б.Я., Яковлев С. А. Моделирование систем. 4-е изд. перераб. и доп. — М.: Высшая школа. — 2005.
- Таненбаум Э., Стеен М. Распределенные системы. Принципы и парадигмы. — Санкт-Петербург: Питер, 2003.
- Санкт-Петербург, 2003. —Т. 1. —С. 23−27.
- Труб И.И. Объектно-ориентированное моделирование на С++ : Учебный курс. — Санкт-Петербург: Изд. дом «Питер», 2005. — 416 с.
- Томашевский В.Н., Жданова Е. Г. Имитационное моделирование в среде GPSS. — М.: Бестселлер, 2003. — 416 с.
- Филиппович А.Ю. Интеграция систем ситуационного, имитационного и экспертного моделирования. — М.: ООО Эликс+, 2003. —300 с.
- Фути К., Судзуки Н. Языки программирования и схемотехника СБИС. —М.: Мир, 1988.
- Хинчин А.Я. Работы по математической теории массового обслуживания. — М.: Физматгиз, 1963.
- Хорошевский В.Г. Архитектуры вычислительных систем. — М.: МГТУ им Баумана, 2005. — 511 с.
- Черненький В.М. Процессно-ориентированная концепция системного моделирования: Дис. д-ра техн. наук / МГТУ им. Н. Э. Баумана. —1. М., 2000.
- Шеннон Р. Имитационное моделирование систем — искусство и наука. — М.: Мир, 1978.
- Шмидт Б. Искусство моделирования и имитации. — М.: Франтэра, 2003. —550 с.
- Шрайбер Т.Дж. Моделирование на GPSS. — М.: Машиностроение, 1984.
- Яковлев Е.И. Машинная имитация. — М.: Наука, 1975.
- Allen R., Garlan D. A Formal Basis for architectural connection // ACM Transactions on software Engineering and Methodology. — 1997. — P. 213−249.
- Allen R., Garlan D., Ivers J. Formal modeling and analysis of the HLA component integration standard // Proc. of the 6th ACM SIGSOFT international symposium on Foundations of software engineering. — 1998. —P. 70−79.
- Altuntas В., Wysk R.A. A Framework for Adaptive Synchronization of Distributed Simulations // Proc. of the Winter Simulation Conference. —2004. —P. 371−377.
- Ayani R. A Parallel Simulation Scheme Based on the Distance Between Objects // Proc. of the SCS Multiconference on Distributed Simulation, Society for Computer Simulation. — 1989. — P. 113−118.
- BaldonyR., RaynalM. Fundamentals of Distributed Computing: A Practical Tour of Vector Clock Systems. — IEEE Distributed Systems Online. — 2002. http://csdl.computer.org/comp/mags/ds/2002/02/o20Q 1 .pdf
- Bakhmurov A., Kapitonova A., Smelinasky R. DYANA: An Environment for Embedded System Design and Analysis // Proc. of 32-nd Annual Simulation Symposium, San Diego, California, USA. — 1999.
- Beraldi R., Nigro L. Exploiting Temporal Uncertainty in Time Warp Simulations // Proc. of the 4th Workshop on Distributed Simulation and Real-Time Applications. — 2000. — P. 396.
- Bracha G., Toueg S. Distributed Deadlock Detection // Distributed Computing. — 1987. —V. 2. —P. 127−138.
- Bryant R.E. Simulation of packet communications architecture computer systems. — MIT-LCS-TR-188. — 1977.
- Cai W., Turner S.J. An Algorithm for Distributed Discrete-Event Simulation — «Carrier Null Message'» Approach // Proc. of the SCS Multiconference on Distributed Simulation, SCS Simulation Series.1990. —P. 3−8.
- Carothers C.D., Perumalla K. Efficient Optimistic Parallel Simulation Using Reverse Computation // ACM Transactions on Modeling and Computer Simulation. — 1999. — V. 9, N 3. — P. 224−253.
- Chandy K.M., Misra J. Distributed Simulation: A Case Study in Design and Verification of Distributed Programs // IEEE Transactions on Software Engineering. — 1978. — SE — 5 (5). — P. 440−452.
- Chandy K.M., Misra J. Asynchronous Distributed Simulation via a Sequence of Parallel Computations // Communications of the ACM.1981. — V. 24, N4. —P. 198−205.
- Chandy K., Lamport L. Distributed Snapshots: Determining Global States of Distributed Systems // ACM Trans. Comp. Syst. V. 3, N 1. — 1985.1. P. 63−75.
- Chen G., Szymanski B.K. Lookback: A New Way of Exploiting Parallelism in Discrete Event Simulation // Proc. of the 16th Workshop on Parallel and Distributed Simulation. — 2002. — P. 153−162.
- Chen G., Szymanski B.K. Four Types of Lookback // Proc. of the 17th Workshop on Parallel and Distributed Simulation. — 2003. — P. 3−10.
- Chernakov D.V., Okol’nishnikov V.V. Control Program Development System 11 Proc. of the Second LASTED International Multi-Conference AUTOMATION, CONTROL, AND APPLICATIONS (ACIT-ACA).
- Novosibirsk, 2005. — P. 142−145.
- Das S.R., Fujimoto R.M. Adaptive Memory Management and Optimism Control in Time Warp // ACM Transactions on Modeling and Computer Simulation. —1997. —V. 7, N2.— P. 239−271.
- Das S.R. Adaptive Protocols for Parallel Discrete Event Simulation // Journal of the Operational Research Society. — 2000. — V. 51. — P. 385−394.
- Dickens P.M., Reynolds J. SRADS With Local Rollback // Proc. of the SCS Multiconference on Distributed Simulation. — 1990. — P. 161−164.
- Ferscha A. Probabilistic Adaptive Direct Optimism Control in Time Warp // Proc. of the 9th Workshop on Parallel and Distributed Simulation.1995. —P. 120−129.
- Ferscha A. Parallel and Distributed Simulation of Discrete Event Systems. Parallel and Distributed Computing Handbook. — McGraw-Hill, 1996.1. P. 1003−1041.
- F&H Simulations. Inc. Taylor Enterprise Dynamics User Manual. — 1998.
- Fujimoto R.M. Time Warp on a Shared Memory Multiprocessor // Transactions of the Society for Computer Simulation. — 1989. — V. 6, N3. —P. 211−239.
- Fujimoto R.M. Time Management in the High Level Architecture // Simulation. — 1998. —V. 71, N6. —P. 38800.
- Fujimoto R.M. Exploiting Temporal Uncertainty in Parallel and Distributed Simulations // Proc. of the 13th Workshop on Parallel and Distributed Simulation. — 1999. — P. 46−53.159.160,161.162,163 164 165 166 167 177 112 703 163 533 623 296
- Fujimoto R.M. Parallel and Distributed Simulation Systems. — Wiley Interscience, 2000.
- Fujimoto R.M. Parallel and Distributed Simulation Systems // Proc. of the
- Winter Simulation Conference. — 2001. — P. 147−157.
- Fujimoto R.M. Distributed Simulation Systems // Proc. of the Winter
- Simulation Conference. — 2003. — P. 124−134.
- Helary J. Observing Global States of Asynchronous Distributed
- Applications // Proc. International Workshop on Distributed Algorithms.
- Berlin: Springer-Verlag, 1989. — P. 124−135. (Lecture Notes
- EE Std 1278.1−1995. IEEE Standard for Distributed Interactive Simulation. — Application Protocols. New York, NY, Institute of Electrical and Electronics Engineers, Inc. 1995.
- New York, NY, Institute of Electrical and Electronics Engineers, Inc.2000.
- IEEE Std P172. IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA). Federation Development and Execution Process. — New York, NY, Institute of Electrical and Electronics Engineers, Inc. — 2000.
- Jefferson D. Virtual Time // ACM Transactions on Programming Languages and Systems. — 1985. — V. 7, N 3. — P. 404−425.
- Jefferson D.R. Virtual Time II: Storage Management in distributed Simulation // Proc. of the Ninth Annual ACM Symposium on Principles of Distributed Computing. — 1990. — P. 75−89.
- Jha V, Bagrodia R. Simultaneous Events and Lookahead in Simulation Protocols // ACM Transactions on Modeling and Computer Simulation. — 2000. —V. 10, N3.— P. 241−267.
- Lanner Group, Inc. WITHNESS Version 9 User Manual. — 1998.
- Lamport L. Time, Clocks, and the Ordering of Events in a Distributed Systems // Commun. ACM. — 1978. — V. 21, N 7. — P. 558−565.
- Lamport L. Concurrent Reading and Writing of Clocks // ACM Trans. Comp. Syst. — 1990. — V. 8, N 4. — P. — 305−310.
- Lee B., Cai W. A Causality Based Time Management Mechanism for Federated Simulations // Proc. of the 15th Workshop on Parallel and Distributed Simulation. — 2001. — P. 83−90.
- Lin Y.B., Preiss B.R. Optimal Memory Management for Time Warp Parallel Simulation // ACM Transactions on Modeling and Computer Simulation. —1991. —V. 1, N4. — P. 283−307.
- Lin Y.B., Preiss B.R. Selecting the Checkpoint Interval in Time Warp Simulations // Proc. of the 7th Workshop on Parallel and Distributed Simulation. — 1993. — P. 3−10.
- Liskov B. Practical Uses of Synchronized Clocks in Distributed Systems // Distributed Computing. — 1993. — V. 6. — P. 211−219.
- Loper M., Fujimoto R.M. Exploiting Temporal Uncertainty in Process-Oriented Distributed Simulations // Proc. of the Winter Simulation Conference. — 2004. — P. 395100.
- Lorenz P.H., Dorwarth K.C. Towards a Web-Based Simulation Environment // Proc. of the Winter Simulation Conference. — 1997.1. P. 1338−1344.
- Lubachevsky B.D. Efficient Distributed Event-Driven Simulations of Multiple-Loop Networks // Communications of the ACM. — 1989.1. V. 32, N 1. — P. 111−123.
- Mattern F. Algorithms for Distributed Termination Detection // Distributed Computing. —1987. —V. 2. —P. 161−175.
- Mattern F. Efficient Algorithms for Distributed Snapshots and Global Virtual Time Approximation // Journal of Parallel and Distributed Computing. —1993. —V. 18, N4. —P. 423134.
- Merkurjeva G.V., Merkurjev Y.A. Knowledge Based Simulation // Simulation. —1994. —V. 62, N2.—P. 74−89.
- Meyer R.A., Bagrodia R.L. Path Lookahead: A Data Flow View of PDES Models // Proc. of the 13th Workshop on Parallel and Distributed Simulation (PADS99). — 1999. — P. 12−19.
- Miller D.C., Thorpe J.A. SIMNET: The Advent of Simulator Networking //Proc. of the IEEE. — 1995, — V. 83, N 8. — P. 1114−1123.
- Mikov A.I. Simulation and Design of Hardware and Software with Triad // Proc. of 2nd Intl. Conf. on Electronic Hardware Description Languages. — Las Vegas, 1995.—P. 15−20.
- Misra J. Distributed Discrete-Event Simulation // ACM Computing Surveys. — 1986. —V. 18, N 1. — P. 39−65.
- Moore R.E. Methods and Applications of Interval Analyses. — 1979.
- Palaniswamy A.C., Wilsey P.A. An Analytical Comparison of Periodic Checkpointing and Incremental State Saving // Proc. of the 7th Workshop on Parallel and Distributed Simulation. — 1993. — P. 127−134.
- Pishchik B.N., Khundoyev A.A., Shevchenko D.O. Signal transmission in SCADA system // Proc. of the IASTED International Conference «Automation, Control and Information Technology». — Novosibirsk, Russia, 2002. —P. 65−68.
- Pishchik B.N. Software structure of process control system for distant railway tunnel // Proc. of the IASTED International Conference «Automation, Control, and Information Technology». — Novosibirsk, Russia, 2002. — P. 83−85.
- Preiss B.R., Loucks W.M. Memory Management Techniques for Time Warp on a Distributed Memory Machine // Proc. of the 9th Workshop on Parallel and Distributed Simulation. — 1995. — P. 30−39.
- Ramanathan P., Shin K., Butler R. Fault-Tolerant Clock Synchronization in Distributed Systems // IEEE Computer. — 1990. — V. 23, N. 10. — P. 33−42.
- Rao D.M., Thondugulam N.V., Wilsey P.A. Unsynchronized Parallel Discrete Event Simulation // Proc. of the Winter Simulation Conference.1998, —P. 1563−1570.
- Rao D.M., Wilsey P.A. An ultra-large-scale simulation framework // Journal of Parallel Distrib. Comput. — 2002. — V. 62, N11.1. P. 1670−1693.
- Raynal M., Singhal M. Logical Time: Capturing Causality in Distributed Systems // IEEE Computer. — 1996. — V. 29, N 2. — P. 49−56.
- Raynal M. Simple Vector Clocks are Limited to Solve some Causality-Related Problems // Proc. of the 3rd Int. Symposium On Principles Of
- Distributed Systems (OPODIS-99). — 1999. — P. 195−203.
- Sokol L.M., Stucky B.K. MTW: Experimental Results for a Constrained Optimistic Scheduling Paradigm // Proc. of the SCS Multiconference on Distributed Simulation. — 1990. — P. 169−173.
- Steinman J.S. SPEEDES: A Multiple-Synchronization Environment for Parallel Discrete Event Simulation // International Journal on Computer Simulation. —1992. —P. 251−286.
- Wilson A.L., Weatherly R.M. The Aggregate Level Simulation Protocol: An Evolving System // Proc. of the Winter Simulation Conference.1994.— P. 781−787.
- Xiao Z., Unger B. Scheduling Critical Channels in Conservative Parallel Simulation // Proc. of the 13th Workshop on Parallel and Distributed Simulation (PADS99). — 1999.— P. 20−28.
- Zeigler B.P. Hierarchical discrete-event modeling in an object-oriented environment // Simulation. — 1987. — V. 49, N 5. — P. 219−230.
- Zeigler B.P., Hu J., Rozenblit J.W. Hierarchical Modular Modeling in DEVS-Scheme // Proc. of the Winter Simulation Conference. — 1989.1. P. 84−89.
- Zeigler B.P., Vahie S. DEVS Formalism and Methodology: Unity Conception/Diversity of Application // Proc. of the Winter Simulation Conference. — 1993.—P. 573−579.
- Zhang J.L., Tropper C. The Dependence List in Time Warp // Proc. of the 15th Workshop on Parallel and Distributed Simulation. — 2001. — P. 35−45.
- Zolotuchin Y.P., Okol’nishnikov V.V. Simulation of Control System for Water Treatment // Proc. of the Third International Congress of the Federation of European Simulation Societies. — Helsinki, 1998. — V. 3. — P. 526−529.