Abstract
The designed aesthetic and consumer parameters of the region (coefficients of representation of objects) depend on the type of settlement, individual characteristics of the population, its psychological and physiological characteristics, features of the combination of aesthetic resources and accessibility of areas of public environmental management. Based on the results of the assessment, the existing problems of organizing the structure of land in the settlements of the region are identified and a methodology for mapping the assessment of the consumer parameter of the region is developed.
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 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 callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
