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/