Модель времени для изучения развивающихся систем
Автор: Скопин И.Н.
Журнал: Проблемы информатики @problem-info
Рубрика: Теоретическая и системная информатика
Статья в выпуске: 1 (58), 2023 года.
Бесплатный доступ
Обсуждаются подходы к определению модельного времени в исследованиях развивающихся систем. Показана возможность задания глобального времени системы с помощью локальных времен ее элементов, понимаемых как протоколы событий, в которых они участвуют. Объединение всех таких протоколов приводит к частичному порядку событий. Предлагается использовать этот порядок в качестве глобального времени системы. Показана корректность такого определения времени, а также то, что оно хорошо сочетается с использованием событийного механизма управления в имитационных моделях.
Локальное и глобальное время, отношение частичного порядка на множестве событий, события, реакция элементов на события, протоколы событий
Короткий адрес: https://sciup.org/143180994
IDR: 143180994 | УДК: 519.683 | DOI: 10.24412/2073-0667-2023-1-12-32
Time model for studying evolving systems
Approaches to the determination of model time in studies of developing systems are discussed. The possibility of setting the global time of the system using the local times of its elements, understood as protocols of events in which they participate, is shown. Combining all such protocols leads to a partial order of events. It is proposed to use this order as the global time of the system. The correctness of such a definition of time is shown, as well as the fact that it is well combined with the use of an event control mechanism in simulation models.
Список литературы Модель времени для изучения развивающихся систем
- Августин А. Исповедь. Серия Памятники религиозно-философской мысли. Пер. с лат. М. К. Сергеенко. 1991. М.: Издательство «Ренессанс», СП ИВО — СиД, 488 с. ISBN 5-7664-0472-7.
- Наместников А. М. Разработка имитационных моделей в среде MATLAB // Методические указания для студентов специальностей 01719, 351400. Ульяновск, УлГТУ, 2004.
- Шевченко А. А. Управление временем при проектировании имитационных моделей // Часть сб. Прикладная информатика. № 3. 2006. Лаборатория Математического и компьютерного моделирования. С. 113-119.
- Скопин И. Н. Локальное и глобальное время при моделировании развивающихся систем // В сб. трудов Седьмой международной конференции памяти академика А. П. Ершова «Перспективы систем информатики». Рабочий семинар «Наукоемкое программное обеспечение». Новосибирск: ООО «Сибирское Научное Издательство», 2009. С. 255-259.
- Система,. Большой Российский энциклопедический словарь. М.: БРЭ. 2003, с. 1437.
- Смирнов Г. А. Оккам, Уильям Новая философская энциклопедия // Ин-т философии РАН; Нац. обществ.-науч. фонд. 2-е изд., испр. и допол. М.: Мысль, 2010. ISBN 978-5-244-01115-9.
- Скопин И. Н. Иерархические отношения — методологическая основа изучения понятия иерархий // Вестник Российского университета дружбы народов. Серия «Информатизация образования» / М.: РУДН, 2014, № 1. С. 56-63.
- Скопин И. Н. Субординационные отношения в методике изучения понятия иерархичности // Вестник Российского университета дружбы народов. Серия «Информатизация образования» / М.: РУДН, 2014, № 2. С. 35 -49.
- Дейкстра Э. Взаимодействие последовательных процессов. В сб. «Языки программирования», под ред. Ф. Женюи. Пер. с англ. М.: «Мир», 1972.
- Lamport L. Time, clocks, and the ordering of events in a distributed systems ff Commun. ACM. 1978. Vol. 21(7). P. 558-565.
- Chandy К. M., Misra J. Distributed simulation: a case study in design and verification of distributed programs j j IEEE Transactions on Software Engineering. 1978. Vol. SE-5(5). P. 440-452.
- Fersclia A. Parallel and distributed simulation of discrete event systems // Parallel and Distributed Computing Handbook. McGraw-Hill. 1996. P. 1003-1041.
- Казаков Ю. П., Смелянский P. Л. Об организации распределенного имитационного моде-лирования // Программирование. 1994. № 2. С. 45-63.
- Fujimoto R. М. Parallel and Distributed Simulation Systems // Wiley Interscience, 2000.
- Fujimoto R. M. Parallel and Distributed Simulation Systems // Proc, of the Winter Simulation Conf. 2001. P. 147-157.
- Дал О. И., Нюгорд К. Симула, — язык для программирования и описания систем с дискретными событиями // Алгоритмы и алгоритмические языки. Вып. 2. М.: ВЦ АН СССР, 1967.
- Дал О. И., Мюрхауг Б., Нюгорд К. Симула, 67 универсальный язык программирования // Перевод с англ. К. С. Кузьмина и Е. И. Яковлева. М.: Мир, 1969. 99 с.
- Nygaard К., Dahl O.-J. The Development of the SIMULA Languages // History of programming languages. ACM New York, NY, USA @1981. P. 439-480.
- Непейвода H. H. Скопин И. H. Основания программирования.// Изд-во: Москва-Ижевск: Институт компьютерных исследований. 2003. 919 с. ISBN: 5-93972-299-7.
- 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.
- 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.
- Keene S. Object-Oriented Programming in Common Lisp: A Programmer’s Guide to CLOS, 1988, Addison-Wesley. ISBN 0-201-17589-4
- Haskell 98 Language and Libraries. The Revised Report. Dec. [Electron. Res.]: https: / / www.haskell.org/onlinereport /
- 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
- Ахмед-Заки Д. Ж., Лебедев Д. В., Малышкин В. Э., Перепелкин В. А. Автоматизация, конструирования распределенных программ численного моделирования в системе LuNA на примере модельной задачи // Журнал «Проблемы информатики», 2019. № 4. С. 53-64. DOI: 10.24411/2073-0667-2019-00017
- Окольнишников В. В. Представление времени в имитационном моделировании / В сб. Вычислительные технологии. 2005. Том 10, К5 5. С. 57-80.
- 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.
