Модель времени для изучения развивающихся систем
Автор: Скопин И.Н.
Журнал: Проблемы информатики @problem-info
Рубрика: Теоретическая и системная информатика
Статья в выпуске: 1 (58), 2023 года.
Бесплатный доступ
Обсуждаются подходы к определению модельного времени в исследованиях развивающихся систем. Показана возможность задания глобального времени системы с помощью локальных времен ее элементов, понимаемых как протоколы событий, в которых они участвуют. Объединение всех таких протоколов приводит к частичному порядку событий. Предлагается использовать этот порядок в качестве глобального времени системы. Показана корректность такого определения времени, а также то, что оно хорошо сочетается с использованием событийного механизма управления в имитационных моделях.
Локальное и глобальное время, отношение частичного порядка на множестве событий, события, реакция элементов на события, протоколы событий
Короткий адрес: https://sciup.org/143180994
IDR: 143180994 | DOI: 10.24412/2073-0667-2023-1-12-32
Список литературы Модель времени для изучения развивающихся систем
- Августин А. Исповедь. Серия Памятники религиозно-философской мысли. Пер. с лат. М. К. Сергеенко. 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.
Статья научная
