Abstract
Sports infrastructure in Tatarstan received a boost to improvement during the preparation of the capital of the region for the XXVII World Summer Universiade. Participation in such international sports events forms a certain experience and base, named as a heritage, raises the quality of life of the population, stimulates a healthy lifestyle. In order to improve the efficiency of the use of sports infrastructure facilities, an analysis of the actual capacity of the municipal sports facilities was conducted. A program is presented to improve the efficiency of the use of sports infrastructure facilities of the city of Kazan. The scope of the program includes measures to improve the regulatory framework, the need to develop a range of standards in the formation of a guaranteed social service package, including physical education and sports, etc.
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 
Free) 
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
