Verification of State Programs of Geographically-Distributed Economic Systems

被引:0
|
作者
Kovazhenkov, Mikhail A. [1 ]
Fedotova, Gilyan V. [1 ]
Kurbanov, Timur K. [2 ]
Uchurova, Elena O. [3 ]
Zerenova, Baira I. [1 ]
机构
[1] Volgograd State Tech Univ, Volgograd, Russia
[2] Mil Acad Logist Gen AV Khrulev, St Petersburg, Russia
[3] Kalmyk State Univ, Elista, Russia
关键词
D O I
10.1007/978-3-030-00102-5_111
中图分类号
F8 [财政、金融];
学科分类号
0202 ;
摘要
Topic. A new phenomenon - global hyper-competition - has appeared; fighting it requires consolidation of all resources of the national economic system. As a result, the role of the state and public authorities in regulation of economy and managing the development of economic processes grows, which requires reconsideration of the tools of state economic policy and inclusion of project and program-targeted approaches, oriented at guarantees of goals of development. Solving the development tasks requires from public authorities bodies conducting the justified, rational, and effective managerial activities aimed at adaptive overcoming of emerging complications and operative adaptation of management mechanisms to the changing situation. Thus, traditional methods of forecasting, planning, and monitoring of economy's functioning go to the background, giving way to more adaptable and thus more efficient methods of management -program-targeted planning and project management - which are built with the usage of the indicative approach. Purpose/Tasks. The purpose of the research is theoretical and practical application and improvement of the tools of planning and management of economic processes in Russia. According to the set goal, the following tasks are solved in the article: evaluation of the modern state planning of socio-economic development of territories, creation of a vertical of state programs by the example of a subject of the federation, and verification of the working programs of planning. Methodology. The authors use the method of statistical analysis, financial analysis, horizontal and vertical analysis, and graphical analysis for evaluating the developed state programs and their coordination. Results. The system of program-targeted planning of socio-economic development and strategic management in the conditions of the growing role of regions requires from public authorities larger attention to systematization of the used strategic plans and target programs, evaluation of their influence on the level of socio-economic development, monitoring, and further correction of target indicators. Conclusions/Implications. The value of the work is that evaluation of applicability and coordination of state programs of socio-economic development allows correcting future directions of development of geographically-distributed economic systems.
引用
收藏
页码:1043 / 1053
页数:11
相关论文
共 50 条
  • [41] Heterogeneous analysis and verification for distributed systems
    Steffen, B
    Margaria, T
    Classen, A
    [J]. SOFTWARE-CONCEPTS AND TOOLS, 1996, 17 (01): : 13 - 25
  • [42] Deductive verification of distributed groupware systems
    Imine, A
    Molli, P
    Oster, G
    Rusinowitch, M
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, 2004, 3116 : 226 - 240
  • [43] Verification of Liveness Properties in Distributed Systems
    Yadav, Divakar
    Butler, Michael
    [J]. CONTEMPORARY COMPUTING, PROCEEDINGS, 2009, 40 : 625 - +
  • [44] Impact of request dispatching granularity in geographically distributed Web systems
    Andreolini, Mauro
    Canali, Claudia
    Lancellotti, Riccardo
    [J]. SIXTH IEEE INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS, PROCEEDINGS, 2007, : 45 - +
  • [45] TRADEOFFS BETWEEN CENTRALIZED AND GEOGRAPHICALLY DISTRIBUTED TRANSACTION PROCESSING SYSTEMS
    DIAS, DM
    YU, PS
    BENNETT, BT
    [J]. COMPUTING SYSTEMS, 1991, 6 (01): : 45 - 53
  • [46] Model Checking Geographically Distributed Interlocking Systems using UMC
    Fantechi, Alessandro
    Haxthausen, Anne E.
    Nielsen, Michel Boje Randahl
    [J]. 2017 25TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING (PDP 2017), 2017, : 278 - 286
  • [47] IMPROVING THE SECURITY OF ELECTRICITY SUPPLY SYSTEMS AT GEOGRAPHICALLY DISTRIBUTED LOADS
    Avkrivenko, A. V.
    [J]. JOURNAL OF MINING INSTITUTE, 2006, 167 (01): : 175 - 177
  • [48] Verification of the Mode Decomposition Technique for Closely Distributed Modal Systems in the State Space Domain
    Noh, Jungtae
    Hwang, Jae-Seung
    [J]. SENSORS, 2023, 23 (16)
  • [49] Verification of distributed programs of the SPMD-type on the basis of the L-programs formalism
    Pankov, SV
    Kritskii, SP
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1999, 25 (04) : 233 - 242
  • [50] Distributed Verification of Multi-threaded C++ Programs
    Edelkamp, Stefan
    Jabbar, Shahid
    Sulewski, Damian
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 198 (01) : 33 - 46