Current Situation and Optimization Strategy of Power Enterprise Management
DOI:
https://doi.org/10.53469/jtpes.2023.03(09).06Keywords:
power management, strategyAbstract
With the development of social economy, the scope of the use of electricity is more and more broad, and the deepening reform process of the state to the electric power enterprises is accelerated, and the electric power enterprises began to respond to the call of the state to establish a modern enterprise system. Electricity is one of the major national energy, whether electric power enterprise benign development concerns our country's energy strategy security. However, at present, the internal and external management forms are complicated, which restricts the development of power enterprise management to a certain extent. Based on this, in order for electric power enterprises to better meet the national demand, it is necessary to analyze the problems in the management of electric power enterprises at the present stage, constantly optimize and innovate the management mode of enterprises, improve the resource allocation ability of enterprises, so as to promote the development of electric power enterprises in line with The Times.
References
LI Zhuo. On the Deficiencies and Improvement Measures in the Budget Management of Electric Power Enterprises [J]. Enterprise Reform and Management,2016(3):23-26.
HOU Wenbin, Yang Biao. Discussion on Management Innovation of Electric Power Enterprises: Problems and Countermeasures [J]. Modern Economic Information, 2018(23):45-46.
Na Lingling. Optimization of comprehensive budget management system of Electric power Company [J]. Modern Business Industry, 2018 (17) : 121-122.
Wu Hongfang. Current Situation of Financial Budget Management of Electric Power Enterprises and Research on Strengthening Strategies [J]. China Management Information Technology,2019,22(18):33-34
HUANG Jian. Problems and Countermeasures of Safety Production Management in Electric Power Enterprises [J]. Enterprise Reform and Management, 2018(23):33-34.
Wang H.T., 2014. Multi-robot Exploration and Mapping in Unknown Environment. ZhengZhou university.
Yan Y., 2010. Distributed map integration ofr muti-robot exploration. ShangHai JiaoTong university.
Tanenbaum, A. S., & Steen, M. V., 2002. Distributed Systems: Principles and Paradigms. Tsinghua University Press.
O’Neil, P., Cheng, E., Gawlick, D., & O’Neil, E., 1996. The log-structured merge-tree (LSM-tree). Acta Informatica, 33(4): 351-385.
Garcia-Molina, 1982. Elections in a Distributed Computing System. IEEE Transactions on Computers, C-31(1): 48-59.
On-the-fly LTL model checking with SPIN. http://spinroot.com/spin/whatispin.html
E. M. Clark and J. M. Wing, “Formal methods: State of the art and future directions,” ACM Computing Surveys, Vol. 28(4), pp. 1–18, 1996.
A. Cimatti, E. M. Clarke, E. Giunchiglia, et al. “NuSMV2: An OpenSource Tool for Symbolic Model Checking,” Proceeding of International Conference on Computer-Aided Verification (CAV2002), Copenhagen, Denmark, July 2002.
K. Havelund. “Java PathFinder: A Translator from Java to PROMELA,” Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking, Springer-Verlag, pp. 152, 1999.
M. Makela, “Maria: Modular Reachability Analyser for Algebraic System,” Application and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Vol. 2360, pp. 434–444, June 2002.
G. J. Holzmann, The SPIN Model Checker: Primer and Reference Manual, Addison Wesley, 2004.
H. Xu and Y-T. Cheng, “Model Checking Bidding Behaviors in Internet Concurrent Auctions,” International Journal of Computer Systems Science & Engineering (IJCSSE), Vol. 22, No. 4, pp. 179–191, July 2007.
Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification, Springer-Verlag, 1992.
E. M. Clarke, O. Grumberg, and K. Hamaguchi, “Another Look at LTL Model Checking,” Formal Methods in System Design, Vol. 10, pp. 47-71, February 1997.
R. Shaikh and S. Devane, “Formal verification of payment protocol using AVISPA,” International Journal for Infonomics, Vol.3, Issue 3, September 2010.
H.M. Deitel, P.J. Deitel and T.R. Nieto, e-Business & e-Commerce: How to Program, Prentice Hall, 2001.
P. Katsaros, “A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach,” Information and Software Technology, Elsevier, vol.51, pp. 235–257, 2009.
M. M. Gallardo, J. Martinez and P. Merino, “Model checking active networks with SPIN,” Computer Communications, Elsevier, vol.28, pp. 609–622, 2005.
E.M. Clarke, E.A. Emerson and A.P. Sistla, “Automatic verification of finite-state concurrent systems using temporal logic specifications,” ACM Trans. on Programming Languages and Systems, vol.8 (2), pp.244–263, Apr. 1986.
E. Clarke, O. Grumberg and D. Peled, Model Checking, MIT Press, Cambridge, 2000.
G.J. Holzmann, Design and Validation of Comp. Protocols,
Prentice-Hall, Englewood Cliffs, NJ, 1991
G.J. Holzmann, “The model checker SPIN,” IEEE Transactions on SE, vol.23 (5), pp. 279–295, 1997.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2023 Weicheng Zhang
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
