World over the explosive interest to medical robotic systems including mobile service medical robots (SMR) is observed. However there is a certain gap in scientific, engineering and technical theoretical foundations of creation of SMR and their functioning in clinics. Therefore, this article presents the formalized theoretical engineering approach to the task of engineering and technical description of SMR functioning in clinics.
The expert assessment of perspective purpose functions of SMR was received and on the basis of which the generalized concept of SMR functioning in clinics was formulated using engineering and technical language. It is shown that the modern SMR operates algorithmically i.e. in this sense it is a finite automaton of Turing. The thesis about the existence of a limited and exhaustive set of elementary behavior algorithms of the robot which is a basis of any situational behavior of the SMR at the performing of any task was formulated and justified. In the case, a generalized problem for the robot can be divided into a series of simple subtasks. Depth of \"embedding\" of subtasks to each other is determined by the existence of some set of elementary subtasks whish correspond to the sets of elementary algorithms and objective functions which further fragmentation into smaller algorithms is impossible or impractical.
Formal engineering and technical description as well as analysis of the objective functions for SMR were performed. Their hierarchy was defined and priorities in conditions of conflicting objectives were set. The thesis about the defining role of sensitive organs of the robot in formation of a set of habitat variables as well as a set of variables of the internal environment of the robot was formulated. The habitat and the internal environment of SMR in clinics must be described on the basis of object-oriented paradigm with assignment for all objects of environment only those of their unique individual properties (parameters, variables) which sensitive organs of the robot together with the built-in system of pattern recognition are capable to \"see\" and classify. The objective functions of SMR can to be then formally presented on the high level programming languages as conditions for the continuation/termination of execution of cyclic algorithmic procedures based on a comparison of these parameters in the form their current situational and set target values.
From the combination of solutions obtained, the scientific-proved and generalized block diagram of the considered SMR was developed. The first contours of approach to the methodology and to stages of formulation of specialized medical and technical requirements to this class of medical automated systems were formulated.
Taylor R. H. A perspective on medical robotics // Proc. IEEE, Special issue «Medical Robotics», Ed. By T. Kanade, B. Davis, andC.N.Riviere. 2006. V.94. № 9. P. 1652 – 1664.
Wang Y., Butner S.E., and Darzi The developing market for medical robotics // Proc. IEEE, Special issue «Medical Robotics», Ed. By T. Kanade, B. Davis, and C.N. Riviere. 2006. V. 94. № 9. P. 1763 – 1770.
Somby M. Software platforms for service robots // Servo. 2009. № 1. P. 50 – 60.
Butter M., Rensma A., Boxel J. et al. Robotics for Healthcare // Final report of the study withing framework of the eHealth activities of the EU Comission. Brussel: EUComission. DGInformationSociety. 2008. 179 p.
Nakano EH. Vvedenie v robototekhniku. / Per. s japonskogo pod red. A.M. Filatova. M.: Mir. 1988. 334 s.
Integralnye roboty: Sb. statejj / per. s angl. pod red. G.E. Pozdnjaka. M.: Mir. 1973. 624 s.
Fu K., Gonsales R., Li K. Robototekhnika / Per. s angl. M.: Mir. 1989. 624 s.
Kuafe F. Vzaimodejjstvie robota s vneshnejj sredojj /Per. s franc. M.: Mir. 1985. 285 s.
JAng Dzh. F. Robototekhnika / Per. s angl. L.: Mashinostroenie. 1979. 300 s.
JUrevich E.I. Osnovy robototekhniki. 2-e izd., pererab. i dop. SPb.: BKHV-Peterburg. 2005. 416 s.
IborraA., CaceresD.A., OrtizF. J. etal.Design of service robots // IEEE Robotics & Automation Magazine. 2009. №3. P. 24 – 33.
Vinjukov I.A., Popov V.JU., Pchelincev S.V.Linejjnaja algebra. CH. 4: Linejjnoe programmirovanie: Uchebnoe posobie dlja podgotovki bakalavrov / pod red. V.B. Gisina i S.V. Pchelinceva. M.: Finakademija. 2009. 112 s.
Kalabukhov S.JU. Diskretnaja matematika. SHakhty: JUrGUS. 2006. 150 s.
Church A. The calculi of lambda-conversion // Annals of Mathematics Studies. Princeton University Press. 1941. № 6.
Lapitan D.G., Rogatkin D.A., Kulikov D.A., Rogatkin A.D. Celevye funkcii servisnykh medicinskikh robotov v klinike // Sb. materialov KH Mezhdunar. nauch. konf. «Fizika i radioehlektronika v medicine i ehkologii» (FREHMEH\'2012). g. Vladimir: VGU. S. 228 – 230.
Gajjton A.K., KHoll Dzh. EH. Medicinskaja fiziologija / per. s angl. pod red. V.I. Korbina.M.: Logosfera. 2008. 1256 s.