Science journal

“NEWS OF THE KABARDINO-BALKARIAN

SCIENTIFIC CENTER OF RAS”

Certificate of registration PI No. 77-14936 March 20, 2003 issued by the Ministry of Russian Federation of Press, Broadcasting and Mass Communications

The journal was founded in 1998, 6 issues per year
ISSN 1991-6639 (print), ISSN 2949-1940 (online)

Home

About the journal

Editor in Chief

Copyright

Archive

History of the journal

Current issue

Upgrade to the old version of the magazine

Indexing Databases

Search for theoretical approaches to the studyo of cyber-physical systems and environments with intelligent control

R.N. Abutalipov, A.U. Zammoev, G.V. Chernyshev

Upload the full text

PDF

Abstract. In the context of bionanorobotics research it is important to develop methodological approaches that integrate interdisciplinary knowledge. For this purpose an architectural model of a cognitive infocommunication system (CICS) based on the principles of domain modeling is proposed. The paper analyzes the possibilities of applying category theory and intuitionistic logic for formalized description and prediction of characteristics of biointegrated cyber-physical systems and environments with intelligent control. A method for representing the topological structure of CICS using the concept of a «presheaf» is proposed. To improve the accuracy and efficiency of modeling it is recommended to use modern tools such as homotopy type theory, theorem proving assistants, functional and logical programming languages, and discrete-event simulation models.

Keywords: bionanorobotics, soft robotics, multicells engeneering living systems, category theory, intuitionistic logic, presheaf, intelligent control, cognitive infocommunication system, cyber-physical systems and environments, design

For citation. Abutalipov R.N., Zammoev A.U., Chernyshev G.V. Search for theoretical approaches to the study of cyber-physical systems and environments with intelligent control. News of the Kabardino-Balkarian Scientific Center of RAS. 2024. Vol. 26. No. 6. Pp. 26–44. DOI: 10.35330/1991-6639-2024-26-6-26-44

References
  1. Abutalipov R.N., Zammoev A.U., Nagoev Z.V. Bionanorobotics: conceptualization, problems and research tasks. News of the Kabardino-Balkarian Scientific Center of RAS. 2016. No. 6(74). Pp. 11–17. EDN: XRUYRN. (In Russian)
  2. Abutalipov R.N., Zammoev A.U. Interrepresentational networks (IN) and representativeness of VR visualization of nanostructures and processes in the nanoenvironment. News of the Kabardino-Balkarian Scientific Center of RAS. 2016. No. 4(72). Pp. 5–9. EDN: WKDXXD. (In Russian)
  3. Abutalipov R.N., Zammoev A.U. Domain model of a cognitive infocommunication system for an intelligent medical online service based on bionano-sensory devices. Slavyanskiy forum [Slavic Forum]. 2018. No. 1(19). Pp. 104–113. EDN: YWXRMT. (In Russian)
  4. Zammoev A.U., Abutalipov R.N. Search, research and development of bionanorobotics technologies for the sustainable development of mountain territories in the era of the sixth technological structure. Ustoychivoe razvitie gornykh territoriy [Sustainable development of mountain territories]. 2018. Vol. 10. No. 3(37). Pp. 447–457. DOI: 10.21177/1998-4502-2018-3-447-457. (In Russian)
  5. Abutalipov R.N., Zammoev A.U. Actual methodological problems of interdisciplinary research in the field of bionanorobotics. News of the Kabardino-Balkarian Scientific Center of RAS. 2019. No. 6(92). Pp. 10–20. DOI: 10.35330/1991-6639-2019-6-92-10-20. (In Russian)
  6. Abutalipov R.N., Zammoev A.U. Current problems of bionanorobotics in the field of virtual prototyping of bionanodevices. Perspektivnye sistemy i zadachi upravleniya [Advanced systems and control problems]: Materialy XV vserossiyskoy nauchno-prakticheskoy konferentsii i XI molodezhnoy shkoly-seminara “Upravlenie i obrabotka informatsii v tekhnicheskikh sistemakh”, Nizhniy Arkhyz, 5–9.10.2020. Rostov-on-Don: SFU, 2020. Pp. 193–200. EDN: HDQFSF. (In Russian)
  7. Abutalipov R.N., Zammoev A.U. Progress and prospects of bionanorobotics at present stage of development of science and technology. Necessity and opportunity of modernization of bionanorobotics for molecular biomanufacturing. News of the Kabardino-Balkarian Scientific Center of RAS. 2020. No. 6(98). Pp. 7–13. DOI: 10.35330/1991-6639-2020-6-98-7-13. (In Russian)
  8. Zammoev A.U., Abutalipov R.N. Search for methods and study of the possibilities of using modern technologies of virtual prototyping and design of bioengineering systems in the design of bionanodevices and systems of bionanorobotics. News of the Kabardino-Balkarian Scientific Center of RAS. 2020. No. 6(98). Pp. 34–42. DOI: 10.35330/1991-6639-2020-6-98-34-42. (In Russian)
  9. Zammoev A.U., Abutalipov R.N. Domain model of a cognitive information and communication system as the basis for an environment for virtual prototyping of devices and bionanorobotics systems. Tsifrovaya transformatsiya nauki i obrazovaniya: Sbornik nauchnykh trudov II mezhdunarodnoy nauchno-prakticheskoy konferentsii, Nal’chik, 1–4.10.2021. Pp. 140–148. EDN: DTKSPA. (In Russian)
  10. Abutalipov R.N., Zammoev A.U. Development of elements of technology for experimental prototyping of soft polymer mechatronic structures. News of the Kabardino-Balkarian Scientific Center of RAS. 2022. No. 1(105). Pp. 12–24. DOI: 10.35330/1991-6639-2022-1-105-12-24. (In Russian)
  11. Abutalipov R.N., Zammoev A.U. The problem of developing theoretical foundations for the design and prototyping of bionanorobotics devices and systems in cyberphysical systems and environments. News of the Kabardino-Balkarian Scientific Center of RAS. 2022. No. 6(110). Pp. 28–38. DOI: 10.35330/1991-6639-2022-6-110-28-38. (In Russian)
  12. Zammoev A.U., Abutalipov R.N. Development of technology for virtual prototyping of soft polymer mechatronic structures. Materialy XVIII vserossiyskoy nauchno-prakticheskoy konferencii i XIV molodezhnoy shkoly-seminara «Perspektivnye sistemy i zadachi upravleniya» [Materials of the XVIII All-Russian scientific and practical conference and the XIV youth school-seminar “Advanced systems and management problems”]. Dombay, 3–7.04.2023. Taganrog: Lukomor’e, 2023. Pp. 302–313. (In Russian)
  13. Knyazeva E.N. Transdisciplinary research strategies. Vestnik Tomskogo gosudarstvennogo pedagogicheskogo universiteta [Tomsk State Pedagogical University Bulletin]. 2011. No. 10(112). Pp. 193–201. EDN: OJQDNT. (In Russian)
  14. Chernyshev G.V. To create information tools to support knowledge representation. XII Vserossiyskoye soveshchaniye po problemam upravleniya VSPU-2014. [Materials of the XII All- Russian Meeting on Management Problems] Moscow, 16–19.06.2014. Moscow: Institut problem upravleniya im. V.A. Trapeznikova RAN, 2014. Pp. 8762–8772. (In Russian)
  15. Chernyshev G.V. About typing hierarchical data structures. Mezhdunar. nauch. konf. «Diskretnaya matematika, algebra i ikh prilozheniya». Minsk, 14–18 sentyabrya 2015 g. Minsk: Institut matematiki NAN Belarusi, 2015. Pp. 139–141. (In Russian)
  16. Chernyshev G. Theoretical Aspects of Definition for Hierarchical Structures Types. Proceedings of International Russian-Chinese Conference “Actual Problems of Applied Mathematics and Physics”. Tegenekly village, Boarding House “Elbrus”, 14–18, December 2015. Pp. 48–50.
  17. Coq 8.20.0 documentation. URL: https://coq.inria.fr/doc/V8.20.0/refman/index.html (date of request: 25.09.2024).
  18. Norell U. Towards a practical programming language based on dependent type theory. Chalmers University of Technology, 2007. 166 p. URL: https://ncatlab.org/nlab/files/Norell-PracticalDTT.pdf
  19. Eilenberg S., MacLane S. General theory of natural equivalences. Transactions of the American Mathematical Society. 1945. Vol. 58. No. 2. Pp. 231–294.
  20. MacLane S. Categories for the working mathematician. Translated by B.A. Artamonova. Moscow: FIZMATLIT, 2004. 351 p. ISBN: 5-9221-0400-4. (In Russian)
  21. Category Theory (Stanford Encyclopedia of Philosophy). URL: https://plato.stanford.edu/entries/category-theory/ (date of request: 25.09.2024).
  22. Fong B., Spivak D.I. Seven sketches in compositionality: An invitation to applied category theory. arXiv. Preprint arXiv:1803.05316. 2018.
  23. Vasyukov V.L. Logical pluralism and non-classical category theory. Logicheskie issledovaniya [Logical Investigations]. 2012. No. 18. Pp. 60–76. EDN: PFOEPV. (In Russian)
  24. Rodin A.V. The theory of categories and searches of the new mathematical bases of physics. Voprosy filosofii [Russian Studies in Philosophy]. 2010. No. 7. Pp. 67–81. EDN: MSXDKX. (In Russian)
  25. Gutz A.K., Pautova L.A. Category theory in sociology: societies as objects of the Grothendieck topos. Matematicheskie struktury i modelirovanie [Mathematical structures and modeling]. 2015. No. 3(35). Pp. 61–71. EDN: VCYIOF. (In Russian)
  26. Sergienko N.A. Category theory in domestic and foreign science: classical approach. Filologicheskie nauki. Voprosy teorii i praktiki [Philology. Theory & practice]. 2017. No. 7-1(73). Pp. 150–153. EDN: YQEEKV. (In Russian)
  27. Zhozhikashvili A.V. Category technology for creating and developing intelligent systems based on knowledge. Informatcionnye processy [Information processes]. 2016. Vol. 16. No. 4. Pp. 312–332. EDN: XEIENR. (In Russian)
  28. Igamberdiev A.U. Logika organizatsii zhivykh sistem [Logic of organization of living systems]. Voronezh: Izdatel’stvo Voronezhskogo universiteta, 1995. 152 p. (In Russian)
  29. Kovalyov S.P. Category theory as a mathematical pragmatics of model-based systems engineering. Informatika i ee primeneniya [Informatics and Applications]. 2018. Vol. 12. No. 1. Pp. 95–104. DOI: 10.14357/19922264180112. (In Russian)
  30. Kovalyov S.P. Algebraic means of heterogeneous cyber-physical systems design. Matematicheskie metody v tekhnologiyakh i tekhnike [Mathematical Methods in Technologies and Technics]. 2021. No. 2. Pp. 144–147. DOI: 10.52348/2712-8873_MMTT_2021_2_144. (In Russian)
  31. Kovalyov S.P. Methods of the category theory in digital design of heterogeneous cyber-physical systems. Informatika i ee primeneniya [Informatics and Applications]. 2021. Vol. 15. No. 1. Pp. 23–29. DOI 10.14357/19922264210104. (In Russian)
  32. Kovalyov S.P. Design of heterogeneous cyber-physical systems employing category theory. Mekhatronika, avtomatizatsiya, upravleniye [Мechatronics, Automation, Control]. 2022. Vol. 23. No. 2. Pp. 59–67. DOI: 10.17587/mau.23.59-67. (In Russian)
  33. MacLane, S., Moerdijk L. Sheaves in geometry and logic: a first introduction to topos theory (universitext). New York: Springer, 1994. 640 p.
  34. Grotendic A. O nekotorykh voprosakh gomologicheskoy algebry [On some questions of homological algebra]. Translated from the French by B.B. Venkov; Edited by A.L. Onishchika. Moscow: Izd-vo inostr. lit., 1961. 175 p. (In Russian)
  35. Grotendic A. Urozhai i posevy [Harvests and crops]. Izhevsk: NITs “Regularnaya i khaoticheskaya dinamika”, 2001. 288 p. (In Russian)
  36. Goldblatt R. Toposes. Kategornyy analiz logiki [Categorical analysis of logic]. Moscow: Mir, 1983. 487 p. (In Russian)
  37. Natanzon S.M. Vvedeniye v puchki, rassloyeniya i klassy Cherna [Introduction to sheaves, bundles, and Chern classes]. Moscow: MTsNMO, 2010. 48 p. ISBN: 978-5-94057-647-1. (In Russian)
  38. Bukur I., Delyanu A. Vvedeniye v teoriyu kategoriy i funktorov [Introduction to the theory of categories and functors]. Moscow: Mir, 1972. 260 p. (In Russian)
  39. Category Theory (Lectures Summary of N.A. Vavilov and A.Y. Luzgarev). URL: http://cadadr.org/notes/categories.pdf (date of request: 25.09.2024). (In Russian)
  40. Nepeyvoda A.N. L.E.Ya. Brouwer “the unreliability of the principles of logic”. Logicheskie issledovaniya [Logical Research]. 2016. Vol. 22. No. 1. Pp. 171–176. EDN: WHTPCT. (In Russian)
  41. Geyting A. Intuitsionizm. Vvedeniye [Intuitionism. Introduction]. Transl. from Engl. In A. Yankov; Ed. by. and with comments. A. A. Markov. Moscow: Mir, 1965. 200 p. (In Russian)
  42. Kolmogorov A.N. On the principle of tertium non datur. Matematicheskiy sbornik [Mathematical Collection]. 1925. Vol. 32. No. 4. Pp. 646–667. (In Russian)
  43. Kolmogorov A.N. Modern disputes about the nature of mathematics. Nauchnoe slovo. 1929. No. 6. Pp. 41–54. (In Russian)
  44. Markov A.A. Selected works. Vol. II. Teoriya algoritmov i konstruktivnaya matematika, matematicheskaya logika, informatika i smezhnye voprosy [Theory of algorithms and constructive mathematics, mathematical logic, computer science and related issues]. Moscow: MTsNMO, 2003. 626 p. ISBN: 5-94057-113-1. (In Russian)
  45. Novoselov M.M. On the history of discussions about intuitionistic logic. Filosofiya nauki [Philosophy of Science]. 1998. Vol. 4. No. 1. Pp. 223–232. EDN: UMMKVJ. (In Russian)
  46. Shanin N.A. On the constructive understanding of mathematical judgments. Problemy konstruktivnogo napravleniya v matematike [Proceedings of the Steklov Mathematical Institute]. Vol. 52. Pp. 226–311. (In Russian)
  47. Kraus M., Kuchbach E., Voshni O.-G. Sbor dannykh v upravlyayushchikh vychislitel’nykh sistemakh [Data collection in control computing systems. Trans. from German]. Moscow: Mir, 1987. 294 p. (In Russian)
Information about the author

Renat N. Abutalipov, Candidate of Engineering Sciences, Senior Researcher of the Joint Laboratory
Android Technology and Bionanorobotics, Institute of Computer Science and Problems of Regional
Management – branch of Kabardino-Balkarian Scientific Center of the Russian Academy of Sciences;
360000, Russia, Nalchik, 37-a I. Armand street;
bnt_nat_2016@mail.ru, ORCID: https://orcid.org/0000-0002-0187-563X, SPIN-code: 6219-9432
Aslan U. Zammoev, Candidate of Engineering Sciences, Head of the Joint Laboratory Android
Technology and Bionanorobotics, Institute of Computer Science and Problems of Regional Management –
branch of Kabardino-Balkarian Scientific Center of the Russian Academy of Sciences;
360000, Russia, Nalchik, 37-a I. Armand street;
zammoev@mail.ru, ORCID: https://orcid.org/0000-0002-7966-3557, SPIN-code: 6317-3115
Gennady V. Chernyshev, Candidate of Physical and Mathematical Sciences, Senior researcher of the
Department of Automation and Informatization of Regional Management Systems, Institute of Computer
Science and Problems of Regional Management – branch of Kabardino-Balkarian Scientific Center of
the Russian Academy of Sciences;
360000, Russia, Nalchik, 37-a I. Armand street;
henrychern@yandex.com, ORCID: https://orcid.org/0000-0003-0870-6318, SPIN-code: 4103-0163

Rules for authors

Editorial Board

Reviewing

Publication Ethics

Media Registration Certificate

News

Contacts