Abstract
This paper deals with the results of the analysis of the dynamics of changes in the investment structure of the Belgorod region, conducted on the basis of private and integral indicators characterizing the dynamics of structural changes. The structural changes in the Belgorod region concerning investment capital are different from the corresponding figures calculated in the Central Federal District. The revealed differences characterize features of the development of investment processes and indicate a change in the priorities of those investing in the economy of the region.
Highlights
At present, the methods of program-targeted management by the development of various socio-economic systems of a complex structure, such as territories, regions, regional systems, as well as various separate socio-economic objects, and in particular, education objects, such as universities, which can be seen as systems
To solve the problem of "correct" development programs, we apply the modification of the method Model Checking (Giunchiglia and Traverso, 1999), used to verify computer programs
In Model Checking, the model M of a particular system is represented by the constructions of finite machine type or Kripke models, and the requirements for the correct functioning of the system are described in the form of the formula φ of some language of L. specifications
Summary
The methods of program-targeted management by the development of various socio-economic systems of a complex structure, such as territories, regions, regional systems (education, health, tourism), as well as various separate socio-economic objects, and in particular, education objects, such as universities, which can be seen as systems. We will consider the problem of "correct" programs for the development of various systems using the example of university development programs. To solve the problem of "correct" development programs, we apply the modification of the method Model Checking (Giunchiglia and Traverso, 1999), used to verify computer programs. In Model Checking, the model M of a particular system is represented by the constructions of finite machine type or Kripke models, and the requirements for the correct functioning of the system are described in the form of the formula φ of some language of L. specifications. During the study of a particular system operation, the constructing of its model in the form of an adequate finite machine or Kripke model is very laborious and cumbersome
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
