ROBOCONTEST TIZIMIDA QURILMALAR INTEGRATSIYASINI BOSHQARISHDA SUN’YIY INTELEKT TEXNOLOGIYALARIDAN FOYDALANISH HAMDA AXBOROT XAVFSIZLIGINI TA’MINLASH.
Keywords:
Algoritm; robot tanlovi; algo -ekspert nazariyasi; matematik modellashtirish; abstraktsiya; rasmiy yondashuvlar.Abstract
Robocontest tizimini rivojlantirishning yangi bosqichida qurilmalar integratsiyasidan intensiv foydalanish rejalashtirilgan. Rivojlanayotgan O‘zbekistonda keng ko‘lamli loyihalarni amalga oshira oladigan yosh avlodni tarbiyalash, ular uchun qulay va xavfsiz robot tizimlarini ishlab chiqishga qaratilgan.
References
Oberkampf , WL; Roy, CJ tekshirish va ilmiy hisoblashda tasdiqlash; Kembrij universiteti nashriyoti: Nyu-York, NY, AQSh, 2010. [Google Scholar]
Babuska , I.; Oden, J. Hisoblash texnikasi va fanida tekshirish va tekshirish: asosiy tushunchalar. Hisoblash . Qo'llash usullari. Mex. Eng. 2004, 193, 4057–4066. [Google Scholar] [ CrossRef ]
Keytel, X.; Karaki , G.; Lahmer , T.; Nikula , S.; Zabel , V. Grafik nazariyasi va sezuvchanlik tahlilidan foydalangan holda strukturaviy muhandislikda bog'langan qisman modellarni baholash. Eng. Tarkibi . 2011 , 33, 3726–3736. [Google Scholar] [ CrossRef ]
Dutailly , JC Hilbert Spaces in Systems modeling; 2014 yil; 47p, Onlaynda mavjud: https://hal.archives-ouvertes.fr/hal-00974251 (kirish 2021-yil 1-avgust).
Dutailly , JC Common Structures in Scientific Teories; 2014 yil; 34p, Onlaynda mavjud: https://hal.archives-ouvertes.fr/hal-01003869 (2021-yil 1-avgustda kirilgan).
Legatiuk , D.; Smarsly , K. Aqlli tizimli tizimlarni modellashtirishga mavhum yondashuv. Strukturaviy salomatlik monitoringi boʻyicha 9- Evropa seminari materiallarida , Manchester, Buyuk Britaniya, 2018-yil 10–13-iyul. [Google Scholar]
Nefzi , B.; Shott, R.; Song, YQ; Staples, GS; Tsiontsiou , E. Simsiz sensor tarmoqlarida ko'p cheklovli marshrutlash uchun operator hisobiga yondashuv. 2015-yil 22–25-iyun, Nyu-York, Nyu-York, AQSh, Mobil maxsus tarmoq va hisoblash bo‘yicha 16-ACM xalqaro simpoziumi materiallarida. [Google Scholar]
Vasilyev , SN Dinamik tizimlarni qisqartirish va sifatli tahlil qilish usuli: IJ Comput . Sist. Int. 2006, 45, 17–25. [Google Scholar] [ CrossRef ]
Vasilyev , S.N.; Davydov , AV; Zherlov , AK Yangi samarali mantiqlar orqali aqlli boshqaruv. Xalqaro avtomatik boshqaruv federatsiyasining 17-Jahon kongressi materiallarida, Seul, Koreya, 2008 yil 6-11 iyul. [Google Scholar ]
Gyurlebek , K.; Nilsson, H.; Legatiuk , D.; Smarsly , K. Kontseptual modellashtirish: Muhandislik ilovalarida modellashtirish xatolarini aniqlashga qaratilgan. Matematika. Qo'llash usullari. Sci. 2020, 43, 1243–1252. [Google Scholar] [ CrossRef ]
Legatiuk , D .; Nilsson, H. Mavhum modellashtirish: Kontseptual modellashtirish bosqichi uchun yozilgan deklarativ tilga. Tenglamaga asoslangan ob'ektga yo'naltirilgan modellashtirish tillari va vositalari bo'yicha 8-xalqaro seminar materiallarida, Wesling , Germaniya , 2017 yil 1 dekabr. [Google Scholar]
Foley, JD; Breyner , S.; Subrahmanian , E.; Murakkab tizim dizayni spetsifikatsiyasi , tahlili va sintezi uchun Dusel , JM operandlari. Proc. R. Soc. 2021, 477. [Google Scholar] [ CrossRef ]
Gyurlebek , K.; Xofman D.; Legatiuk , D. Modellashtirish va modellarni ulashga kategorik yondashuv. Matematika. Qo'llash usullari. Sci. 2017, 40, 523–534. [Google Scholar] [ CrossRef ]
Behrish , M.; Kerkhoff , S.; Pöschel , R.; Schneider, FM; Siegmund , S. Kategoriyalardagi dinamik tizimlar. Ilova. Categ . Tarkibi . 2015 , 25, 29–57. [Google Scholar] [ CrossRef ]
Spivak , D.; Kent, R. Ologs : Bilimlarni ifodalash uchun kategorik asos. PLoS ONE 2012, 7, e24274. [Google Scholar] [ CrossRef ] [PubMed]
