Проблемы повышения эффективности и гибкости систем имитационного моделирования

Автор: Миков Александр Иванович, Замятина Елена Борисовна

Журнал: Проблемы информатики @problem-info

Рубрика: Математическое и имитационное моделирование сложных систем

Статья в выпуске: 4 (8), 2010 года.

Бесплатный доступ

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

Еще

Имитационное моделирование, распределенная имитационная модель, консервативный алгоритм синхронизации, оптимистический алгоритм синхронизации, верификация, валидация, мультиагентный подход, онтология

Короткий адрес: https://sciup.org/14320328

IDR: 14320328

Список литературы Проблемы повышения эффективности и гибкости систем имитационного моделирования

  • Krahl D. Extend: An interactive simulation tool//Proc. of the Winter simulation conf., New Orleans, 7-10 Dec. 2003/Ed. by S. Chick, P. J. S anchez, D. Ferrin, D. J. Morrice. Piscataway (New Jersey): Inst. of Electric. and Electron. Engrs, 2003. P. 188-196.
  • Nordgren W. B. Flexsim simulation environment//Proc. of the Winter simulation conf., New Orleans, 7-10 Dec. 2003/Ed. by S. Chick, P. J. S anchez, D. Ferrin, D. J. Morrice. Piscataway (New Jersey): Inst. of Electric. and Electron. Engrs, 2003. P. 197-200.
  • Bapat V., Sturrock D. T. The arena product family: Enterprise modeling solutions//Proc. of the Winter simulation conf., New Orleans, 7-10 Dec. 2003/Ed. by S. Chick, P. J. S anchez, D. Ferrin, D. J. Morrice. Piscataway (New Jersey): Inst. of Electric. and Electron. Engrs, 2003. P. 210-217.
  • Reindl S., M.onch M., M.onch L., Scheider A. Modeling and simulation of cataract surgery processes//Proc. of the Winter simulation conf., Austin, 13-16 Dec. 2009./Ed. by M. D. Rossetti, R. R. Hill, B. Johansson, A. Dunkin, R. G. Ingalls. Piscataway (New Jersey): Inst. of Electric. and Electron. Engrs, 2009. P. 1936-1945.
  • Brown J. E., Sturrock D. Identifying cost reduction and performance improvement opportunities through simulation//Proc. of the Winter simulation conf., Austin, 13-16 Dec. 2009./Ed. by M. D. Rossetti, R. R. Hill, B. Johansson, A. Dunkin, R. G. Ingalls. Piscataway (New Jersey): Inst. of Electric. and Electron. Engrs, 2009. P. 2145-2153.
  • Kontoyiannakis K., Serrano E., Tse K., et al. A simulation framework to evaluate airport gate allocation policies under extreme delay conditions//Proc. of the Winter simulation conf., Austin, 13-16 Dec. 2009/Ed. by M. D. Rossetti, R. R. Hill, B. Johansson, A. Dunkin, R. G. Ingalls. Piscataway (New Jersey): Inst. of Electric. and Electron. Engrs, 2009. P. 2332-2342.
  • Fujimoto R. M. Distributed simulation systems//Proc. of the Winter simulation conf., New Orleans, 7-10 Dec. 2003/Ed. by S. Chick, P. J. S anchez, D. Ferrin, D. J. Morrice. Piscataway (New Jersey): Inst. of Electric. and Electron. Engrs, 2003. P. 124-134.
  • Nance R. E. Distributed simulation with federated models: expectations, realizations and limitations//Proc. of the Winter simulation conf., Phoenix, 5-8 Dec. 1999/Ed. by P. A. Farrington, H. B.Nembhard, D. T. Sturrock, G.W.Evans. Piscataway (New Jersey): Inst. of Electric. and Electron. Engrs, 1999. P. 1026-1031.
  • Meyer R. A., Bagrodia R. Parsec user manual. Release 1.1. (Univ. of California, Los Angeles), 1998. [Electron. resource]. pcl.cs.ucla.edu/projects/parsec.
  • Premore B. J., Nicol D. M. Parallel simulation of TCP/IP using TeD//Proc. of the Winter simulation conf., Atlanta, 7-10 Dec. 1997/Ed. by S. Andrad ottir, K. J. Healy, D.H. Withers, B. L. Nelson. Atlanta, 1997. P. 436-447.
  • Ferenci S., Perumalla K., Fujimoto R. An approach to federating parallel simulators//Workshop on parallel and distributed simulation, 2000. [Electron. resource]. http://www.cc.gatech.edu/computing/pads/papers.html.
  • Yucesan E., Yah Chuyn Luo Y., Chen C-H., Lee I. Distributed Web-based experiments for optimization//Simulat. Practice Theory. 2001. V. 9, iss. 1/2. P. 73-90.
  • Вознесенская Т. В. Математическая модель алгоритмов синхронизации времени для распределенного имитационного моделирования//Программные системы и инструменты: Темат. сб. М.: Изд-во Моск. ун-та, 2002. № 1. C. 56-66.
  • Окольнишников В. В. Представление времени в имитационном моделировании//Вычисл. технологии. 2005. Т. 10, №5. C. 57-77.
  • Carothers C. D., Perumalla K. S., Fujimoto R. M. Efficient optimistic parallel simulations using reverse computation. [Electron. resource]. www.cc.gatech.edu.
  • Замятина Е. Б., Ермаков С. А. Реализация распределенных алгоритмов для системы имитационного моделирования Triad.Net//Математика программных систем: Межвуз. сб. науч. ст. Пермь: Перм. ун-т, 2008. C. 120-129.
  • Замятина Е. Б., Миков А. И. Мультиагентная система балансировки распределенной имитационной модели//Тр. Междунар. науч.-техн. конф. "Интеллектуальные системы" (AIS'08) и "Интеллектуальные САПР" (CAD-2008). М.: Физматлит, 2008. Т. 2. С. 285-292.
  • Миков А. И., Замятина Е. Б., Осмехин К. А. Динамическое распределение объектов имитационной модели, основанное на знании//Proc. of the 13th Intern. conf. "Knowledge-Dialogue Solution". Varna, June 18-24, 2007. Sofia, 2007. P. 618-624.
  • Mikov A., Zamyatina E., Kubrak E. Implementation of simulation process under incomplete knowledge using domain ontology//Proc. of the 6th EUROSIM congress on modeling and simulation, Ljubljana (Slovenia), 9-14 Sept. 2007. Ljubljana: Tiskarna Pleˇsko, 2007. V. 2.
  • Миков А. И., Замятина Е. Б. Интеллектуальные языковые и программные средства валидации имитационных моделей//Тр. конгресса по интеллектуальным системам и информационным технологиям AIS-IT'09, Дивноморское (Россия), 3-10 сент. 2009 г. М.: Физматлит, 2009. Т. 2. C. 54-61.
  • Миков А. И. Формализация процесса моделирования вычислительных систем//Системное моделирование. Новосибирск, 1985.
  • Миков А. И. Оценка сложности иерархического моделирования вычислительных систем//Системное моделирование. Новосибирск, 1985.
  • Миков А. И. Автоматизация синтеза микропроцессорных управляющих систем/Под ред. М. И. Нечепуренко. Иркутск: Иркут. гос. ун-т, 1987. 288 стр.
  • Миков А. И., Замятина Е. Б., Козлов А. А. Оптимизация параллельных вычислений с применением мультиагентной балансировки//Параллельные вычислительные технологии (ПаВТ'2009): Тр. Междунар. науч. конф., Нижний Новгород, 30 марта -3 апр. 2009 г. Челябинск: Изд-во Юж.-Урал. ун-та, 2009. С. 599-604.
  • Mikov A., Zamyatina E., Firsov A. Software for remote parallel simulation//Inform. Theories Appl. 2007. V. 14, N4. P. 389-395.
  • Миков А. И., Замятина Е. Б., Панов М. П. Мультиагентная система защиты распределенной имитационной модели с удаленным доступом//Advanced studies in software and knowledge engineering: Intern. Book Ser.; №4 (Suppl. Intern. J. Inform. Technol. Knowledge). Sofia: ITHEA, 2009. V. 2. P. 90-97.
  • Mikov A. I. Simulation and design of hardware and software with triad//Proc. of the 2nd Intern. conf. on electronic hardware description languages. Las Vegas, 1995. P. 15-20.
  • Mikov A. I. Formal method for design of dynamic objects and its implementation in CAD Systems//Advances in formal design methods for CAD: Prepr. of the IFIP WG 5.2 Workshop on formal design methods for computer-aided design/Ed. by J. S. Gero, F. Sudweeks. Mexico, 1995. P. 105-127.
  • Bryant R. E. Simulation of packet communications architecture computer systems. MIT-LCSTR-188. 1977. Technical Report TR-188, MIT Laboratory for Computer Science, November, 1977. [Electron. resource]. http://www.cs.cmu.edu/bryant/pubdir/MIT-LCS-TR-188.pdf.
  • Chandy K. M., Misra J. Distributed simulation: a case study in design and verification of distributed programs//IEEE Trans. Software Engin, 1978. V. SE-5(5). P. 440-452.
  • Jefferson D. R. Virtual time II: storage management in distributed simulation//Proc. of the 9th Annual ACM symp. on principles of distributed computing. Quebec City (Canada), Aug. 22-24, 1990. P. 75-89.
  • Wilson L. F., Shen W. Experiments in load migration and dynamic load balancing in speedes//Proc. of the Winter simulation conf./Ed. by D. J. Medeiros, E. F.Watson, J. S. Carson, M. S. Manivannan. Piscataway (New Jersey): Inst. of Electric. and Electron. Engrs, 1998. P. 487-490.
  • Wilson L. F., Nicol D. M. Automated load balancing in SPEEDES//Proc. of the Winter simulation conf. Piscataway (New Jersey): Inst. of Electric. and Electron. Engrs, 1995. P. 590-596.
  • Zheng G. Achieving high performance on extremely large parallel machines: Performance prediction and load balancing: Ph.D. Thesis. Department Comput. Sci., Univ. of Illinois at Urbana-Champaign, 2005. 165 p. [Electron. resource]. http://charm.cs.uiuc.edu/.
  • Миков А. И., Замятина Е. Б., Козлов А. А. Программные средства оптимизации распределенного имитационного эксперимента//Тр. Всерос. суперкомпьютер. конф. "Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность". 2009. С. 275-282.
  • Fishwick P., Miller J. A. Ontologies for modeling and simulation: Issues and approaches // Proc. of the Winter simulation conf. P. 259-264. 37. Liang V-C., Paredis C. J. J. A port ontology for automated model composition // Proc. of the Winter simulation conf. 2003. P. 613-622.
  • Benjamin P., Patki M., Mayer R. J. Using ontologies for simulation modeling//Proc. of the Winter simulation conf./Ed. by L. F.Perrone, F.P. Wieland, J. Liu, B. G. Lawson, D. M. Nicol, R. M. Fujimoto. P. 1161-1167.
Еще
Статья научная