Tizim darajasida simulyatsiya - System-level simulation

Tizim darajasida simulyatsiya (SLS) sohasida qo'llaniladigan amaliy uslublar to'plamidir tizim muhandisligi, simulyatsiya qilish uchun, bilan kompyuter, yirik kiber-fizik tizimlarning global harakati.

Kiber-fizik tizimlar (CPS) - bu hisoblash elementlari (masalan, elektron tekshirgichlar) tomonidan tartibga solinadigan jismoniy shaxslardan tashkil topgan tizimlar.

Tizim darajasidagi simulyatsiya asosan quyidagilar bilan tavsiflanadi:

  • katta va murakkab kiber-fizik tizimlarning (masalan, o'simliklar, samolyotlar, sanoat ob'ektlari) amaliy simulyatsiyasiga moslashtirilgan tafsilotlar darajasi.
  • tizim to'liq aniqlanmagan bo'lsa ham simulyatsiyadan foydalanish imkoniyati, ya'ni simulyatsiya tizimning har bir qismi haqida batafsil ma'lumot talab etmaydi. Bu simulyatsiyani kontseptsiya yoki o'rganish bosqichlarida, hatto ushbu jarayonning dastlabki bosqichida ham ishlatishga imkon beradi

Ushbu ikkita xususiyat modellashtirishni tanlash nuqtai nazaridan bir nechta ta'sirga ega (qarang) yanada ).

Tizim darajasida simulyatsiya boshqa ba'zi xususiyatlarga ega, ular umuman CPS simulyatsiyasi bilan bo'lishadi:

  • SLS ko'p fizikali modellarni (termo-suyuqlik, mexanik, elektr va boshqalar) o'z ichiga oladi.
  • SLS tez-tez intizomiy tartibda,[1] ya'ni bu ko'pincha turli xil tajribaga ega odamlar o'rtasidagi hamkorlikning natijasidir
  • SLS odatda modellar ierarxiyasi asosida quriladi; butun modelni tasavvur qilish uchun odatda uyushgan modellashtirish zarur; tizimning quyi tizimlarga kontseptual dekompozitsiyasi tushunchasi bilan bog'liq tizimlar tizimi

SLS asosan qiziqish tizimini tavsiflovchi fizik kattaliklarning vaqt o'tishi bilan evolyutsiyasini hisoblash bilan bog'liq, ammo boshqa jihatlarni ham qo'shish mumkin. muvaffaqiyatsizlikni modellashtirish yoki talabni tekshirish.

Motivatsiya va foyda

SLS uchun asosiy turtki bu yaxlit tamoyil umuman tizimni simulyatsiya qilish tizim qismlarini alohida simulyatsiya qilishdan ko'proq narsani anglatadi, deb aytadigan kompyuter simulyatsiyasiga, aslida murakkab tizimning turli qismlarini alohida simulyatsiya qilish ularning o'zaro ta'sirining barcha mumkin bo'lgan ta'sirlarini e'tiborsiz qoldirishni anglatadi. qismlar orasidagi kuchli bog'liqliklar tufayli bu o'zaro ta'sirlarni e'tiborsiz qoldirib bo'lmaydi. Masalan, ko'plab CPSlar o'z ichiga oladi mulohazalar tizim xatti-harakatlarini o'zgartirmasdan buzib bo'lmaydi. Qayta aloqa odatda bir yoki bir nechtasini o'z ichiga olgan zamonaviy sanoat tizimlarida uchraydi boshqaruv tizimlari. Tizim darajasidagi simulyatsiyalarning yana bir misoli, yuqori darajadagi aniqlikda (masalan, 6 oylik operatsiya davomida 1% dan kam bo'lgan yig'ma tasdiqlash xatosida) aks ettirilgan.[2].

Boshqa tomondan, ularning har biri tizim qismlaridan birini simulyatsiya qilish uchun maxsus qurilgan mavjud simulyatsiya vositalarini bir-biriga bog'lab qo'yish katta tizimlar uchun mumkin emas, chunki bu hisoblashning qabul qilinmaydigan vaqtiga olib keladi.SLS yangi vositalarni ishlab chiqishga va tegishli soddalashtirishlarni tanlashga qaratilgan. butun kiber-jismoniy tizimni simulyatsiya qila olish.

SLS tizim sub-qismlarini batafsil ko-simulyatsiyasi bilan taqqoslaganda juda ko'p afzalliklarga ega, tizim darajasidagi simulyatsiya natijalari simulyatsiya natijalari kabi aniqroq darajada emas, lekin moslashtirilgan soddalashtirishlar bilan tizim hali to'liq aniqlanmagan bo'lsa ham, dastlabki bosqichda simulyatsiya qiling. Dastlabki xatolar yoki dizayndagi kamchiliklarni keyinchalik osonroq aniqlash mumkin.

SLS shuningdek, o'zaro faoliyat intizomli mutaxassislar, muhandislar va menejerlar uchun keng tarqalgan vosita sifatida foydalidir va natijada kooperativ harakatlar va aloqalarni kuchaytirishi mumkin. Birjalar sifatini yaxshilash muhandislar va menejerlar o'rtasida noto'g'ri aloqa yoki noto'g'ri tushunchalar xavfini kamaytiradi. murakkab tizim muhandisligidagi loyihalash xatolarining manbalari.[3]

Umuman olganda, SLS-ni barcha tizimlar uchun faqat simulyatsiya qilish mazmunli bo'lsa, hisoblash vaqtlari cheklangan bo'lsa, barcha dasturlar uchun o'ylash kerak. operatorlarni o'qitish simulyatsiya qilingan vaqt real vaqtdan tezroq ishlashi kerak bo'lsa, butun o'simlikning xatti-harakatiga taqlid qilishi kerak.

Modellashtirish tanlovi

Kiber-fizik tizimlar gibrid tizimlar, ya'ni ular diskret va uzluksiz dinamikaning aralashmasini namoyish etadi, diskret dinamikasi asosan raqamli sezgir yoki hisoblash sub-tizimlaridan kelib chiqadi (masalan, kontrollerlar, kompyuterlar, signal konvertorlari Natijada qabul qilingan modellar bunday gibrid xatti-harakatni modellashtirishga qodir bo'lishi kerak.

SLS-da foydalanish odatiy holdir 0D - ba'zida 1D - 2D yoki 3D tenglamalar o'rniga kosmik o'zgaruvchilar bilan fizik hodisalarni modellashtirish uchun tenglamalar. Bunday tanlovning sababi, simulyatsiya hisoblash uchun boshqarish uchun juda katta (ya'ni juda ko'p elementlar va / yoki juda katta bo'shliq kengaytmasi) bo'lgan simulyatsiya qilingan tizimlarning o'lchamidir. Yana bir sabab shundaki, 3D modellar modellashtirish uchun har bir qismning batafsil geometriyasini talab qiladi. Ushbu batafsil ma'lumot modelerga ma'lum bo'lmasligi mumkin, ayniqsa, u rivojlanish jarayonida dastlabki bosqichda ishlasa.

Katta CPSlarning murakkabligi ularni ta'riflash va tasavvur qilishni qiyinlashtiradi. Tuzilishi asl tizimning tuzilishiga o'xshab ko'rinadigan qilib joylashtirilishi mumkin bo'lgan vakillik, tushunarli va tushunarli bo'lishi jihatidan katta yordam beradi. Shuning uchun akuzal modellashtirish odatda sabab-blok-diagramma modellashtirishdan afzalroq.[4] Acausal modellashtirish har ikkala yo'naltirilgan, chunki blokli diagramma sifatida ishlab chiqilgan modellardan farqli o'laroq komponent modellari qayta ishlatilishi mumkin.[4]

Dastur domenlari

Tizim darajasidagi simulyatsiya quyidagi turli sohalarda qo'llaniladi:

Foydalanish

Rivojlanish tsiklining dastlabki bosqichida SLS o'lchamlarni o'lchash yoki turli xil dizaynlarni sinash uchun ishlatilishi mumkin. "muhandislar jismoniy sinov vositasini ishlab chiqarishdan oldin spetsifikatsiyani yaxshilash uchun simulyatsiyadan foydalanadilar".[16]Muhandislar ishlashni talablarga muvofiqligini tekshirish va sozlanishi parametrlarni optimallashtirish uchun ushbu tizim darajasidagi model bilan simulyatsiya qilishadi.

Tizim darajasidagi simulyatsiya haqiqiy simulyatsiya o'rniga simulyatsiya qilingan tizimga ulangan tekshirgichlarni sinash uchun ishlatiladi. ECU, usuli deyiladi apparat-in-loop. Agar tekshirgich oddiy kompyuterda kompyuter dasturi sifatida ishlasa, bu usul loop-da dasturiy ta'minot deb nomlanadi. Dasturiy ta'minotni tezroq tarqatish va apparat tekshiruvi yordamida real vaqt cheklovlarini chiqarish.[17]

SLS operatorlarni o'qitish simulyatoriga yoki an-ga integratsiyalashadigan darajada tez simulyatsiya qilinishi mumkin bo'lgan o'simlik modellarini yaratish uchun ishlatiladi MPC boshqaruvchi.[18] Tezroq dinamikaga ega tizimlar, shuningdek, haydash simulyatoridagi transport vositasi kabi taqlid qilinishi mumkin.[19]

SLS-dan foydalanishning yana bir misoli - tizim darajasidagi simulyatsiyani a ga bog'lash CFD simulyatsiya.Tizim darajasidagi model CFD modelidagi suyuqlik sohasining chegara shartlarini ta'minlaydi.[20]

Usullari va vositalari

Maxsus tillar spetsifikatsiyani modellashtirish va shunga o'xshash talablarni modellashtirish uchun ishlatiladi SysML yoki FORM-L.[21] Ular tizim fizikasini modellashtirish uchun mo'ljallanmagan, lekin Modelica singari gibrid tizim modellashtirish tillarida yozilgan spetsifikatsiya modellari va ko'p fizikali modellarni birlashtiradigan vositalar mavjud.[22]

Agar model juda murakkab yoki juda katta bo'lsa, uni oqilona vaqt ichida taqlid qilish mumkin bo'lsa, modelni soddalashtirish uchun matematik usullardan foydalanish mumkin. Masalan; misol uchun, model buyurtmasini qisqartirish taxminiy modelni beradi, u aniqligi pastroq, ammo uni qisqa vaqt ichida hisoblash mumkin, qisqartirilgan buyurtma modellarini cheklangan element modellaridan olish mumkin,[23] va tizim darajasidagi simulyatsiya uchun muvaffaqiyatli ishlatilgan MEMS.[24]

SLS foyda ko'rishi mumkin parallel hisoblash Masalan, yuqori darajadagi modellashtirish tillaridan kod yaratish uchun mavjud algoritmlar ko'p yadroli protsessorlarga moslashtirilishi mumkin. Grafik protsessorlar.[25] Parallel ko-simulyatsiya - bu raqamli integratsiyani tezlashtirishga imkon beradigan yana bir yondashuv.[26] Ushbu yondashuvda global tizim kichik tizimlarga bo'linadi. Kichik tizimlar bir-biridan mustaqil ravishda birlashtirilgan va diskret sinxronlash nuqtalarida sinxronlashtiriladi. Kichik tizimlar o'rtasida ma'lumotlar almashinuvi faqat sinxronizatsiya nuqtalarida sodir bo'ladi. Bu quyi tizimlar orasidagi bo'shashmaslikka olib keladi.

Optimallashtirishdan noma'lum tizim parametrlarini aniqlash, ya'ni kalibrlash uchun foydalanish mumkin CPS modeli, ishlashni tizimning haqiqiy ishlashiga moslashtirish[27]. Jarayonlarni boshqaradigan aniq fizik tenglamalar noma'lum bo'lgan hollarda, taxminiy empirik tenglamalar olinishi mumkin, masalan. bir nechta chiziqli regressiya yordamida[28].

Mumkin kelajakdagi evolyutsiyalar

Agar simulyatsiya superkompyuter arxitekturasida qo'llanilishi mumkin bo'lsa, bugungi kunda odatda qabul qilingan ko'plab modellashtirish tanlovlari (qarang. yuqorida ) eskirishi mumkin, masalan, kelajak superkompyuterlar qodir bo'lishi mumkin "erkin bog'langan, oldinga simulyatsiya paradigmasidan tashqariga chiqing".[29] Jumladan, "exascale hisoblash murakkab muammolarni yanada kompleks hal qilishga imkon beradi".[29] Ammo ajoyib kompyuterlardan foydalanish uchun bugungi simulyatsiya algoritmlari dizaynini qayta ko'rib chiqish zarur bo'ladi.

Uchun o'rnatilgan tizim ilovalar, xavfsizlik nuqtai nazaridan SLS evolyutsiyasiga olib kelishi mumkin. Masalan, farqli o'laroq sinxron tillar, hozirda SLS uchun ishlatiladigan modellashtirish tillari (qarang yuqorida ) oldindan aytib bo'lmaydi va kutilmagan xatti-harakatlarni keltirib chiqarishi mumkin. So'ngra ularni xavfsizlik nuqtai nazaridan ishlatish mumkin emas, avval tillar qat'iy rasmiylashtirilishi kerak.[30] Ayrim so'nggi tillar diskret komponentlarni dasturlash uchun sinxron tillar sintaksisini yozish uchun tenglamaga asoslangan tillar sintaksisini birlashtiradi ODE.[31]

Adabiyotlar

  1. ^ "NASA - tizim darajasidagi simulyatsiya". www.nasa.gov. Olingan 2015-11-17.
  2. ^ Fontanella, Giuliano; Basciotti, Daniele; Dubish, Florian; Judex, Florian; Preisler, Anita; Xettfleysh, nasroniy; Vukovich, Vladimir; Selke, Tim (2012). "Modelikada quyosh issiqlik tizimi modelini kalibrlash va tasdiqlash". Qurilish simulyatsiyasi. 5 (3): 293–300. doi:10.1007 / s12273-012-0070-y.
  3. ^ Thuy, Nguyen (oktyabr 2015). "Murakkab va muhim kiber-fizikaviy va insoniy tizimlarni muhandislik qilishda massiv xatti-harakatlarni simulyatsiya qilishning afzalliklari va muammolari". Tizim darajasida simulyatsiya bo'yicha uchinchi xalqaro seminar (Sim @ SL). Olingan 17-noyabr, 2015.
  4. ^ a b Tiller, Maykl (2001-01-01). "Blok diagrammalari va sabablarga ko'ra modellashtirish". Modelica bilan jismoniy modellashtirishga kirish. Muhandislik va kompyuter fanlari bo'yicha Springer xalqaro seriyasi. Springer AQSh. 255-264 betlar. doi:10.1007/978-1-4615-1561-6_11. ISBN  978-1-4613-5615-8.
  5. ^ "HVAC tizimining tizim darajasidagi monitoringi va diagnostikasi". eScholarship. Olingan 2015-11-17.
  6. ^ Buvi, Klod; Baltzer, Sidney; Jek, Piter; Gissing, Yorg; Lichius, Tomas; Eckstein, Lutz (2012). Modelica-dan foydalangan holda avtomobilni yaxlit simulyatsiyasi - elektrlashtirilgan transport vositalarining issiqlik boshqaruvi va ishlash strategiyasiga oid dastur. 9-Xalqaro MODELICA konferentsiyasi materiallari, 2012 yil 3–5 sentyabr, Germaniya, Myunxen. 9-Xalqaro MODELICA konferentsiyasi materiallari, 2012 yil 3-5 sentyabr, Germaniya, Myunxen. 76. 264-270 betlar. doi:10.3384 / ecp12076263. ISBN  978-91-7519-826-2.
  7. ^ Butler, K.L .; Ehsani M.; Kamath, P. (1999-11-01). "Matlab asosida elektr va gibrid elektr transport vositalarini loyihalash uchun modellashtirish va simulyatsiya to'plami". IEEE transport texnologiyalari bo'yicha operatsiyalar. 48 (6): 1770–1778. CiteSeerX  10.1.1.476.2182. doi:10.1109/25.806769. ISSN  0018-9545.
  8. ^ Braig, Tomas; Ungethüm, Yorg (2009). Issiqlikdan foydalanishda termoelektrik chiqindilar bilan ishlaydigan ICE quvvatli vositani tizim darajasida modellashtirish. Komo, Italiya 7 Xalqaro Modelika Konferentsiyasi materiallari. 43. 708-715 betlar. doi:10.3384 / ecp09430044. ISBN  9789173935135.
  9. ^ Flukeckiger, Skott M.; Iverson, Brayan D.; Garimella, Suresh V.; Pacheco, Jeyms E. (2014-01-01). "Termoklin issiqlik energiyasini yig'adigan quyosh energiyasi minorasi zavodini tizim darajasida simulyatsiya qilish". Amaliy energiya. 113: 86–96. doi:10.1016 / j.apenergy.2013.07.004.
  10. ^ Kasella, Franchesko; Pretolani, Franchesko (2006 yil sentyabr). "Qo'shma tsiklli elektr stantsiyasini tezkor ishga tushirish: Modelica bilan simulyatsion tadqiqotlar" (PDF). Ish yuritish Modelica 2006. Olingan 17-noyabr, 2015.
  11. ^ Song, Zhaohui; Quyosh, Teng; Vu, Tszyan; Che, Lufeng (2014-09-16). "PD-ning teskari kompensatsiyasi bilan yuqori Q sig'imli akselerometr uchun tizim darajasida simulyatsiya va amalga oshirish". Microsystem Technologies. 21 (10): 2233–2240. doi:10.1007 / s00542-014-2315-4. ISSN  0946-7076.
  12. ^ Tish, Ruixian; Tszyan, Vey; Xon, J .; Dugal, R. (2009-04-01). Kelajakdagi barcha elektr kemalari uchun tizim darajasida termal modellashtirish va gibrid energiya tizimi bilan birgalikda simulyatsiya qilish. IEEE Electric Ship Technologies Simpoziumi, 2009. ESTS 2009. 547-553 betlar. doi:10.1109 / ESTS.2009.4906565. ISBN  978-1-4244-3438-1.
  13. ^ Tomas, Erik; Ravachol, Mishel; Kvinsi, Jan Batist; Malmheden, Martin (2012). Samolyot tizimiga tatbiq etilgan hamkorlikdagi kompleks tizim dizayni. 9-Xalqaro MODELICA konferentsiyasi materiallari, 2012 yil 3–5 sentyabr, Germaniya, Myunxen. 9-Xalqaro MODELICA konferentsiyasi materiallari, 2012 yil 3-5 sentyabr, Germaniya, Myunxen. 76. 855-866 betlar. doi:10.3384 / ecp12076855. ISBN  978-91-7519-826-2.
  14. ^ Kittilsen, Pal; Xauger, Sveyn Olav; Vasbo, Shteyn O. (2012). Modelica va FMI bilan onlayn foydalanish uchun modellarni loyihalash. 9-Xalqaro MODELICA konferentsiyasi materiallari, 2012 yil 3–5 sentyabr, Germaniya, Myunxen. 9-Xalqaro MODELICA konferentsiyasi materiallari, 2012 yil 3-5 sentyabr, Germaniya, Myunxen. 76. 197-204 betlar. doi:10.3384 / ecp12076197. ISBN  978-91-7519-826-2.
  15. ^ Kostalar, Joris; Gidagliy, Jan-Mishel; Mugerra, Filipp; Nilsen, Keld Lund; Riou, Xaver; Saut, Jan-Filipp; Vayatis, Nikolas (2014). Tizim darajasida dengizdagi neft inshootlarini simulyatsiya qilish to'g'risida. 10-Xalqaro Modelika Konferentsiyasi materiallari, 2014 yil 10–12 mart, Lund, Shvetsiya. 10-Xalqaro Modelika Konferentsiyasi materiallari, 2014 yil 10-12 mart, Lund, Shvetsiya. 96. 799-808 betlar. doi:10.3384 / ecp14096799. ISBN  978-91-7519-380-9.
  16. ^ "Tizim darajasida simulyatsiya orqali avtoulovlarni to'xtatib turishni loyihalashni optimallashtirish". www.mathworks.com. Olingan 2015-11-17.
  17. ^ "Dasturni simulyatsiya qilishda dasturiy ta'minot". QTronic.
  18. ^ Larsson, P.-O .; Casella, F.; Magnusson, F.; Andersson, J .; Diyeh M .; Akesson, J. (2013-08-01). Elektr stantsiyasini ishga tushirish holatini o'rganish bilan ob'ektga yo'naltirilgan modellashtirish yordamida chiziqli bo'lmagan modellarni bashorat qiluvchi boshqaruv tizimi (PDF). 2013 yil IEEE-ning kompyuter yordamida boshqarish tizimini loyihalash bo'yicha konferentsiyasi (CACSD). 346–351 betlar. doi:10.1109 / CACSD.2013.6663487. ISBN  978-1-4799-1565-1.
  19. ^ "MapleSim avtoulovni boshqarish simulyatori texnologiyasini yaratishda foydalanilgan - Foydalanuvchilar uchun amaliy tadqiqotlar - Maplesoft". www.maplesoft.com. Olingan 2015-11-17.
  20. ^ Viel, Antuan (2011 yil mart). "Modelica tizim darajasidagi modellarni gidravlik komponentlarni vaqtincha simulyatsiya qilish uchun batafsil CFD modellari bilan mustahkam bog'lanish" (PDF). 8-chi Modelika konferentsiyasi materiallari. doi:10.3384 / ecp11063256. Olingan 17-noyabr, 2015.
  21. ^ Otter, Martin; Thuy, Nguyen; Bouskela, Daniel; Buffoni, Lena; Elmqvist, Xilding; Fritsson, Piter; Garro, Alfredo; Jardin, Audri; Olsson, Xans; Tundis, Andrea (2015). Rasmiy talablarni simulyatsiya asosida tekshirish uchun modellashtirish. 11-Xalqaro Modelika konferentsiyasi materiallari, Versal, Frantsiya, 2015 yil 21-23 sentyabr. 11-Xalqaro Modelika konferentsiyasi materiallari, Versal, Frantsiya, 2015 yil 21-23 sentyabr. 118. 625-635-betlar. doi:10.3384 / ecp15118625. ISBN  978-91-7685-955-1.
  22. ^ Shamay, Vladimir; Fritsson, Piter; Paredis, Kris; Pop, Adrian (2009). Birlashgan tizimni modellashtirish va ModelicaML bilan simulyatsiya sari: Grafik yozuvlar yordamida bajariladigan xatti-harakatlarni modellashtirish.. Komo, Italiya 7 Xalqaro Modelika Konferentsiyasi materiallari. 43. 612-621 betlar. CiteSeerX  10.1.1.364.1268. doi:10.3384 / ecp09430081. ISBN  9789173935135.
  23. ^ Rudnyi, Evgenii B. (iyun 2009). "Sonli elementlardan tortib to modelni qisqartirish orqali tizim darajasini simulyatsiyalashgacha" (PDF). Avtomatlashtirish 2009, 6. Und 17. Iyun 2009, Kongresshaus Baden-Baden, VDI Bericht. Olingan 17-noyabr, 2015.
  24. ^ "Uili: MEMSni tizim darajasida modellashtirish, 10-jild - Gabriele Shrag, Oliver Brend, Gari K. Fedder va boshq.". eu.wiley.com. Olingan 2015-11-17.
  25. ^ Stavåker, Kristian (2011). "Grafik ishlov berish birliklarida tenglamaga asoslangan modellarni parallel ravishda simulyatsiya qilishga qo'shgan hissasi" (PDF). Litsenziyalash ishi № 1507, Linkoping universiteti, kompyuter va axborot fanlari bo'limi. Olingan 17-noyabr, 2015.
  26. ^ Ben Xolid, Abir; Ben Gayd, Mongi; Pernet, Nikolas; Simon, Daniel (2014-09-01). "Kiber-fizik tizimlarning tezkor ko'p yadroli ko-simulyatsiyasi: ichki yonish dvigatellariga tatbiq etish". Simulyatsiya modellashtirish amaliyoti va nazariyasi. 47: 79–91. CiteSeerX  10.1.1.635.1427. doi:10.1016 / j.simpat.2014.05.002.
  27. ^ Ali, Muzaffar; Vukovich, Vladimir; Sohir, Muxtor Husayn; Basciotti, Daniele (2013). "Vaqtinchalik ish sharoitida kalibrlangan qurituvchi g'ildirak modelini ishlab chiqish va tasdiqlash". Amaliy issiqlik muhandisligi. 61 (2): 469–480. doi:10.1016 / j.applthermaleng.2013.08.010.
  28. ^ Ali, Muzaffar; Vukovich, Vladimir; Shayx, Nadim Ahmed; Ali, Hofiz M.; Sahir, Muxtor Husayn (2015). "Vaqtinchalik ish sharoitida kalibrlangan va tasdiqlangan qurituvchi bug'lanadigan sovutish tizimining modelini takomillashtirish va birlashtirish". Amaliy issiqlik muhandisligi. 75: 1093–1105. doi:10.1016 / j.applthermaleng.2014.10.064.
  29. ^ a b Dongarra, J .; Xittinger, J .; Bell, J .; Chakon, L .; Falgout, R .; Heroux M.; Xovland, P .; Ng, E.; Vebster, C. (2014-02-07). "Exascale Computing uchun amaliy matematik tadqiqotlar". Livermor, Kaliforniya doi:10.2172/1149042. OSTI  1149042. Iqtibos jurnali talab qiladi | jurnal = (Yordam bering)
  30. ^ Satabin, Lukas; Kolako, Jan-Lui; Andrieu, Olivye; Pagano, Bruno (2015). Formalashtirilgan Modelica kichik to'plamiga qarab. 11-Xalqaro Modelika konferentsiyasi materiallari, Versal, Frantsiya, 2015 yil 21-23 sentyabr. 11-Xalqaro Modelika konferentsiyasi materiallari, Versal, Frantsiya, 2015 yil 21-23 sentyabr. 118. 637-64 betlar. doi:10.3384 / ecp15118637. ISBN  978-91-7685-955-1.
  31. ^ Bourke, Timo'tiy; Pouzet, Mark (2013 yil aprel). "Zélus: ODE bilan sinxron til". Gibrid tizimlar: hisoblash va boshqarish bo'yicha 16-xalqaro konferentsiya materiallari: 113–118. Olingan 17-noyabr, 2015.

Tashqi havolalar

  • Tizim darajasida simulyatsiya bo'yicha xalqaro seminar: Sim @ SL
  • Tenglama asosida ob'ektiv yo'naltirilgan modellashtirish tillari va vositalari bo'yicha xalqaro seminar: EOOLT
  • ACM / IEEE Xalqaro konferentsiyasi "Modelli boshqariladigan tillar va tizimlar". MODELLAR