Geodesic
Search for theoretical approaches to the study
News of the Kabardin-Balkar scientific center of RAS, Tome 26 (2024) no. 6, pp. 26-44.

Voir la notice de l'article provenant de la source Math-Net.Ru

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 
@article{IZKAB_2024_26_6_a2,
     author = {R. N. Abutalipov and A. U. Zammoev and G. V. Chernyshev},
     title = {Search for theoretical approaches to the study},
     journal = {News of the Kabardin-Balkar scientific center of RAS},
     pages = {26--44},
     publisher = {mathdoc},
     volume = {26},
     number = {6},
     year = {2024},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IZKAB_2024_26_6_a2/}
}
TY  - JOUR
AU  - R. N. Abutalipov
AU  - A. U. Zammoev
AU  - G. V. Chernyshev
TI  - Search for theoretical approaches to the study
JO  - News of the Kabardin-Balkar scientific center of RAS
PY  - 2024
SP  - 26
EP  - 44
VL  - 26
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IZKAB_2024_26_6_a2/
LA  - ru
ID  - IZKAB_2024_26_6_a2
ER  - 
%0 Journal Article
%A R. N. Abutalipov
%A A. U. Zammoev
%A G. V. Chernyshev
%T Search for theoretical approaches to the study
%J News of the Kabardin-Balkar scientific center of RAS
%D 2024
%P 26-44
%V 26
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IZKAB_2024_26_6_a2/
%G ru
%F IZKAB_2024_26_6_a2
R. N. Abutalipov; A. U. Zammoev; G. V. Chernyshev. Search for theoretical approaches to the study. News of the Kabardin-Balkar scientific center of RAS, Tome 26 (2024) no. 6, pp. 26-44. http://geodesic.mathdoc.fr/item/IZKAB_2024_26_6_a2/

[1] R. N. Abutalipov, A. U. Zammoev, Z. V. Nagoev, “Bionanorobotics: conceptualization, problems and research tasks”, News of the Kabardino-Balkarian Scientific Center of RAS, 2016, no. 6 (74), 11–17 (In Russian)

[2] R. N. Abutalipov, A. U. Zammoev, “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), 5–9 (In Russian)

[3] R. N. Abutalipov, A. U. Zammoev, “Domain model of a cognitive infocommunication system for an intelligent medical online service based on bionano-sensory devices”, Slavic Forum, 2018, no. 1 (19), 104–113 (In Russian)

[4] A. U. Zammoev, R. N. Abutalipov, “Search, research and development of bionanorobotics technologies for the sustainable development of mountain territories in the era of the sixth technological structure”, Sustainable development of mountain territories, 10:3 (37) (2018), 447–457 (In Russian) | DOI

[5] R. N. Abutalipov, A. U. Zammoev, “Actual methodological problems of interdisciplinary research in the field of bionanorobotics”, News of the Kabardino-Balkarian Scientific Center of RAS, 2019, no. 6 (92), 10–20 (In Russian) | DOI

[6] R. N. Abutalipov, A. U. Zammoev, “Current problems of bionanorobotics in the field of virtual prototyping of bionanodevices”, Materialy XV vserossiyskoy nauchno-prakticheskoy konferentsii i XI molodezhnoy shkoly-seminara “Upravlenie i obrabotka informatsii v tekhnicheskikh sistemakh”, Advanced systems and control problems (Nizhniy Arkhyz \date 5–9.10.2020), SFU, Rostov-on-Don, 2020, 193–200 pp. (In Russian)

[7] R. N. Abutalipov, A. U. Zammoev, “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), 7–13 (In Russian) | DOI

[8] A. U. Zammoev, R. N. Abutalipov, “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), 34–42 (In Russian) | DOI

[9] A. U. Zammoev, R. N. Abutalipov, “Domain model of a cognitive information and communication system as the basis for an environment for virtual prototyping of devices and bionanorobotics systems”, Sbornik nauchnykh trudov II mezhdunarodnoy nauchno-prakticheskoy konferentsii «Tsifrovaya transformatsiya nauki i obrazovaniya», Nal'chik \date 1–4.10.2021, 140–148 pp. (In Russian)

[10] R. N. Abutalipov, A. U. Zammoev, “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), 12–24 (In Russian) | DOI

[11] R. N. Abutalipov, A. U. Zammoev, “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), 28–38 (In Russian) | DOI

[12] A. U. Zammoev, R. N. Abutalipov, “Development of technology for virtual prototyping of soft polymer mechatronic structures”, 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), Lukomor'e, Taganrog, 2023, 302–313 pp. (In Russian)

[13] E. N. Knyazeva, “Transdisciplinary research strategies”, Tomsk State Pedagogical University Bulletin, 2011, no. 10 (112), 193–201 (In Russian)

[14] G. V. Chernyshev, “To create information tools to support knowledge representation \date 19.06.2014”, Materials of the XII All Russian Meeting on Management Problems, XII Vserossiyskoye soveshchaniye po problemam upravleniya VSPU-2014 (Moscow, 16–19.06.2014), Institut problem upravleniya im. V.A. Trapeznikova RAN, Moscow, 2014, 8762–8772 pp. (In Russian)

[15] G. V. Chernyshev, “About typing hierarchical data structures”, Mezhdunar. nauch. konf. «Diskretnaya matematika, algebra i ikh prilozheniya» \date 14–18 sentyabrya 2015, Institute matematiki NAN Belarusi, Minsk, 2015, 139–141 (In Russian)

[16] G. Chernyshev, “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, 48–50

[17] Coq 8.20.0 documentation (data obrascheniya: 25.09.2024) https://coq.inria.fr/doc/V8.20.0/ refman/index.html

[18] U. Norell, “Towards a practical programming language based on dependent type theory”, Chalmers University of Technology, 2007, 166 pp. https://ncatlab.org/nlab/files/Norell PracticalDTT.pdf

[19] S. Eilenberg, S. MacLane, “General theory of natural equivalences”, Transactions of the American Mathematical Society, 58:2 (1945), 231–294 | DOI | MR | Zbl

[20] S. MacLane, Categories for the working mathematician

[21] FIZMATLIT, Moscow, 2004, 351 pp. (In Russian)

[22] Category Theory (Stanford Encyclopedia of Philosophy) (data obrascheniya: 25.09.2024) https://plato.stanford.edu/entries/category-theory/

[23] B. Fong, D. I. Spivak, Seven sketches in compositionality: An invitation to applied category theory, arXiv. Preprint arXiv:1803.05316.2018 | MR

[24] V. L. Vasyukov, “Logical pluralism and non-classical category theory”, Logical Investigations, 2012, no. 18, 60–76 (In Russian) | Zbl

[25] A. V. Rodin, “The theory of categories and searches of the new mathematical bases of physics”, Russian Studies in Philosophy, 2010, no. 7, 67–81 (In Russian)

[26] A. K. Gutz, L. A. Pautova, “Category theory in sociology: societies as objects of the Grothendieck topos”, Mathematical structures and modeling, 2015, no. 3 (35), 61–71 (In Russian) | Zbl

[27] N. A. Sergienko, “Category theory in domestic and foreign science: classical approach”, Philology. Theory practice, 2017, no. 7-1(73), 150–153 (In Russian)

[28] A. V. Zhozhikashvili, “Category technology for creating and developing intelligent systems based on knowledge”, Information processes, 16:4 (2016), 312–332 (In Russian)

[29] A. U. Igamberdiev, Logic of organization of living systems, Izdatel'stvo Voronezhskogo universiteta, Voronezh, 1995, 152 pp. (In Russian)

[30] S. P. Kovalyov, “Category theory as a mathematical pragmatics of model-based systems engineering”, Informatics and Applications, 12:1 (2018), 95–104 (In Russian) | DOI | MR

[31] S. P. Kovalyov, “Algebraic means of heterogeneous cyber-physical systems design”, Mathematical Methods in Technologies and Technics, 2021, no. 2, 144–147 (In Russian) | DOI

[32] S. P. Kovalyov, “Methods of the category theory in digital design of heterogeneous cyber physical systems”, Informatics and Applications, 15:1 (2021), 23–29 (In Russian) | DOI | MR

[33] S. P. Kovalyov, “Design of heterogeneous cyber-physical systems employing category theory”, Mechatronics, Automation, Control, 23:2 (2022), 59–67 (In Russian) | DOI | MR

[34] MacLane, S., L. Moerdijk, Sheaves in geometry and logic: a first introduction to topos theory (universitext), Springer, New York, 1994, 640 pp. ; eds. pod red. A. L. Onischika, Izd-vo inostr. lit., M., 1961, 175 pp. | MR

[35] A. Grotendic, On some questions of homological algebra

[36] Izd-vo inostr. lit., Moscow, 1961, 175 pp. (In Russian)

[37] A. Grotendic, Harvests and crops, NITs «Regularnaya i khaoticheskaya dinamika», Izhevsk, 2001, 288 pp. (In Russian)

[38] Goldblatt R. Toposes, Categorical analysis of logic, Mir, Moscow, 1983, 487 pp. (In Russian) | MR

[39] S. M. Natanzon, Introduction to sheaves, bundles, and Chern classes, MTsNMO, Moscow, 2010, 48 pp. (In Russian)

[40] I. Bukur, A. Delyanu, Introduction to the theory of categories and functors, Mir, Moscow, 1972, 260 pp. (In Russian) | MR

[41] Category Theory (Lectures Summary of N. A. Vavilov and A.Y. Luzgarev) (In Russian) http://cadadr.org/notes/categories.pdf

[42] A. N. L. E.Ya. Nepeyvoda, “Brouwer «The unreliability of the principles of logic»”, Logical Research, 22:1 (2016), 171–176 (In Russian) ; (1965), Mir, M., 200 pp. | MR

[43] A. Geyting, Intuitionism. Introduction

[44] eds. eds. by and with comments. A. A. Markov, Mir, Moscow, 1965, 200 pp. (In Russian)

[45] A. N. Kolmogorov, “On the principle of tertium non datur”, Mathematical Collection, 32:4 (1925), 646–667 (In Russian)

[46] A. N. Kolmogorov, “Modern disputes about the nature of mathematics”, Nauchnoe slovo, 1929, no. 6, 41–54 (In Russian)

[47] A. A. Selected works. Vol. II. Markov, Theory of algorithms and constructive mathematics, mathematical logic, computer science and related issues, MTsNMO, Moscow, 2003, 626 pp. (In Russian)

[48] M. M. Novoselov, “On the history of discussions about intuitionistic logic”, Philosophy of Science, 4:1 (1998), 223–232 (In Russian) | MR

[49] N. A. Shanin, “On the constructive understanding of mathematical judgments”, Proceedings of the Steklov Mathematical Institute, 52 (1958), 226–311 (In Russian) | Zbl

[50] M. Kraus, E. Kuchbach, O. G. Voshni, Data collection in control computing systems

[51] Mir, Moscow, 1987, 294 pp. (In Russian)