МОДЕЛЬ ВРЕМЕНИ ДЛЯ ИЗУЧЕНИЯ РАЗВИВАЮЩИХСЯ СИСТЕМ

Обсуждаются подходы к определению модельного времени в исследованиях развивающихся систем. Показана возможность задания глобального времени системы с помощью локальных времен ее элементов, понимаемых как протоколы событий, в которых они участвуют. Объединение всех таких протоколов приводит к частичному порядку событий. Предлагается использовать этот порядок в качестве глобального времени системы. Показана корректность такого определения времени, а также то, что оно хорошо сочетается с использованием событийного механизма управления в имитационных моделях.

Исследования выполнены в рамках государственного задания ИВМиМГ СО РАН 0251-2021-0005.

Список литературы
1.     Августин А. Исповедь. Серия Памятники религиозно-философской мысли. Пер. с лат. М. К. Сергеенко. 1991. М.: Издательство «Ренессанс», СП ИВО — СиД, 488 с. ISBN 5-7664-0472-7.
2.    Наместников А. М. Разработка имитационных моделей в среде MATLAB // Методические указания для студентов специальностей 01719, 351400. Ульяновск, УлГТУ, 2004.
3.    Шевченко А. А. Управление временем при проектировании имитационных моделей // Часть сб. Прикладная информатика. № 3. 2006. Лаборатория Математического и компьютерного моделирования. С. 113-119.
4.    Скопин И. Н. Локальное и глобальное время при моделировании развивающихся систем // В сб. трудов Седьмой международной конференции памяти академика А. П. Ершова «Перспективы систем информатики». Рабочий семинар «Наукоемкое программное обеспечение». Новосибирск: ООО «Сибирское Научное Издательство», 2009. С. 255-259.
5.    Система,. Большой Российский энциклопедический словарь. М.: БРЭ. 2003, с. 1437.
6.    Смирнов Г. А. Оккам, Уильям  Новая философская энциклопедия // Ин-т философии РАН; Нац. обществ.-науч. фонд. 2-е изд., испр. и допол. М.: Мысль, 2010. ISBN 978-5-244-01115-9.
7.    Скопин И. Н. Иерархические отношения — методологическая основа изучения понятия иерархий // Вестник Российского университета дружбы народов. Серия «Информатизация образования» / М.: РУДН, 2014, № 1. С. 56-63.
8.    Скопин И. Н. Субординационные отношения в методике изучения понятия иерархичности // Вестник Российского университета дружбы народов. Серия «Информатизация образования» / М.: РУДН, 2014, № 2. С. 35 -49.
9.    Дейкстра Э. Взаимодействие последовательных процессов. В сб. «Языки программирования», под ред. Ф. Женюи. Пер. с англ. М.: «Мир», 1972.
10.    Lamport L. Time, clocks, and the ordering of events in a distributed systems // Commun. ACM. 1978. Vol. 21(7). P. 558-565.
11.    Chandy К. M., Misra J. Distributed simulation: a case study in design and verification of distributed programs // IEEE Transactions on Software Engineering. 1978. Vol. SE-5(5). P. 440-452.
12.    Fersclia A. Parallel and distributed simulation of discrete event systems // Parallel and Distributed Computing Handbook. McGraw-Hill. 1996. P. 1003-1041.
13.    Казаков Ю. П., Смелянский P. Л. Об организации распределенного имитационного моделирования // Программирование. 1994. № 2. С. 45-63.
14.    Fujimoto R. М. Parallel and Distributed Simulation Systems // Wiley Interscience, 2000.
15.    Fujimoto R. M. Parallel and Distributed Simulation Systems // Proc, of the Winter Simulation Conf. 2001. P. 147-157.
16.    Дал О. И., Нюгорд К. Симула, — язык для программирования и описания систем с дискретными событиями // Алгоритмы и алгоритмические языки. Вып. 2. М.: ВЦ АН СССР, 1967.
17.    Дал О. И., Мюрхауг Б., Нюгорд К. Симула, 67 универсальный язык программирования // Перевод с англ. К. С. Кузьмина и Е. И. Яковлева. М.: Мир, 1969. 99 с.
18.    Nygaard К., Dahl O.-J. The Development of the SIMULA Languages // History of programming languages. ACM New York, NY, USA @1981. P. 439-480.
19.    Непейвода H. H. Скопин И. H. Основания программирования. Изд-во: Москва-Ижевск: Институт компьютерных исследований. 2003. 919 с. ISBN: 5-93972-299-7.
20.    Backus J. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. CACM, 21(8), August 1978. P. 613-641.
21.    Malyshkin V. Assembling of Parallel Programs for Large Scale Numerical Modeling //In the Handbook of Research on Scalable Computing Technologies. IGI Global, USA, 2010, 1021 pp., Chapter 13, P. 295-311. ISBN 978-1-60566-661-7.
22.    Keene S. Object-Oriented Programming in Common Lisp: A Programmer’s Guide to CLOS, 1988, Addison-Wesley. ISBN 0-201-17589-4
23.    Haskell 98 Language and Libraries. The Revised Report. Dec. [Electron. Res.]: https: // www.haskell.org/onlinereport 
24.    Akhmed-Zaki D., Lebedev D., Malyshkin V., Perepelkin V. Automated Construction of High Performance Distributed Programs in LuNA System // PaCT-2019 proceedings, LNCS 11657, Springer, 2019, P. 3-9. DOI: 10.1007/ 978-3-030-25636-4_l
25.    Ахмед-Заки Д. Ж., Лебедев Д. В., Малышкин В. Э., Перепелкин В. А. Автоматизация, конструирования распределенных программ численного моделирования в системе LuNA на примере модельной задачи // Журнал «Проблемы информатики», 2019. № 4. С. 53-64. DOI: 10.24411/2073-0667-2019-00017
26.    Окольнишников В. В. Представление времени в имитационном моделировании / В сб. Вычислительные технологии. 2005. Том 10, К5 5. С. 57-80.
27.    IEEE Std Р1516. IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) — Framework and Rules. N. Y.: Institute of Electrical and Electronics Engineers, Inc., 2000.