ENSURING INFORMATION SECURITY USING ARTIFICIAL INTELLIGENCE TECHNOLOGIES IN MANAGING THE INTEGRATION OF DEVICES IN THE ROBOCONTEST SYSTEM
Keywords:
In the new stage of the development of the Robocontest system, intensive use of device integration is planned. It is aimed to educate the young generation who can perform large-scale projects in the developing Uzbekistan and to develop robotic systems that are convenient and safe for them.Abstract
In the new stage of the development of the Robocontest system, intensive use of device integration is planned. It is aimed to educate the young generation who can perform large-scale projects in the developing Uzbekistan and to develop robotic systems that are convenient and safe for them.
References
Oberkampf, W.L.; Roy, C.J. Verification and Validation in Scientific Computing; Cambridge University Press: New York, NY, USA, 2010. [Google Scholar]
Babuska, I.; Oden, J. Verification and validation in computational engineering and science: Basis concepts. Comput. Methods Appl. Mech. Eng. 2004, 193, 4057–4066. [Google Scholar] [CrossRef]
Keitel, H.; Karaki, G.; Lahmer, T.; Nikulla, S.; Zabel, V. Evaluation of coupled partial models in structural engineering using graph theory and sensitivity analysis. Eng. Struct. 2011, 33, 3726–3736. [Google Scholar] [CrossRef]
Dutailly, J.C. Hilbert Spaces in Modelling of Systems; 2014; 47p, Available online: https://hal.archives-ouvertes.fr/hal-00974251 (accessed on 1 August 2021).
Dutailly, J.C. Common Structures in Scientific Theories; 2014; 34p, Available online: https://hal.archives-ouvertes.fr/hal-01003869 (accessed on 1 August 2021).
Legatiuk, D.; Smarsly, K. An abstract approach towards modeling intelligent structural systems. In Proceedings of the 9th European Workshop on Structural Health Monitoring, Manchester, UK, 10–13 July 2018. [Google Scholar]
Nefzi, B.; Schott, R.; Song, Y.Q.; Staples, G.S.; Tsiontsiou, E. An operator calculus approach for multi-constrained routing in wireless sensor networks. In Proceedings of the 16th ACM International Symposium on Mobile Ad Hoc Networking and Computing, New York, NY, USA, 22–25 June 2015. [Google Scholar]
Vassilyev, S.N. Method of reduction and qualitative analysis of dynamic systems: I. J. Comput. Syst. Int. 2006, 45, 17–25. [Google Scholar] [CrossRef]
Vassilyev, S.N.; Davydov, A.V.; Zherlov, A.K. Intelligent control via new efficient logics. In Proceedings of the 17th World Congress The International Federation of Automatic Control, Seoul, Korea, 6–11 July 2008. [Google Scholar]
Gürlebeck, K.; Nilsson, H.; Legatiuk, D.; Smarsly, K. Conceptual modelling: Towards detecting modelling errors in engineering applications. Math. Methods Appl. Sci. 2020, 43, 1243–1252. [Google Scholar] [CrossRef]
Legatiuk, D.; Nilsson, H. Abstract modelling: Towards a typed declarative language for the conceptual modelling phase. In Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, Weßling, Germany, 1 December 2017. [Google Scholar]
Foley, J.D.; Breiner, S.; Subrahmanian, E.; Dusel, J.M. Operands for complex system design specification, analysis and synthesis. Proc. R. Soc. 2021, 477. [Google Scholar] [CrossRef]
Gürlebeck, K.; Hofmann, D.; Legatiuk, D. Categorical approach to modelling and to coupling of models. Math. Methods Appl. Sci. 2017, 40, 523–534. [Google Scholar] [CrossRef]
Behrisch, M.; Kerkhoff, S.; Pöschel, R.; Schneider, F.M.; Siegmund, S. Dynamical systems in categories. Appl. Categ. Struct. 2015, 25, 29–57. [Google Scholar] [CrossRef]
Spivak, D.; Kent, R. Ologs: A categorical framework for knowledge representation. PLoS ONE 2012, 7, e24274. [Google Scholar] [CrossRef] [PubMed]
