Study on the Political Function of Rural Grassroots Party Organizations from the Perspective of Rural Revitalization

Huiling Yang

doi:10.47297/wspciWSP2516-252707.20220601

PDF
导出
分享
收藏
专辑

Study on the Political Function of Rural Grassroots Party Organizations from the Perspective of Rural Revitalization

6卷第1期

浏览量: 0 Downloads: 12

Study on the Political Function of Rural Grassroots Party Organizations from the Perspective of Rural Revitalization
Study on the Political Function of Rural Grassroots Party Organizations from the Perspective of Rural Revitalization
Chinese and Foreign political systems, Sichuan Academy of Social Sciences
2022年6卷第1期页码：47-51
纸质出版日期： 2022 ，
DOI：10.47297/wspciWSP2516-252707.20220601
Accepted：

Scan QR Code

Huiling Yang. (2022). Study on the Political Function of Rural Grassroots Party Organizations from the Perspective of Rural Revitalization. 创意与创新（英文版）, 6(1), 47-51.

HUILING YANG. (2022). Study on the Political Function of Rural Grassroots Party Organizations from the Perspective of Rural Revitalization. Creativity and Innovation, 6(1), 47-51..
Huiling Yang. (2022). Study on the Political Function of Rural Grassroots Party Organizations from the Perspective of Rural Revitalization. 创意与创新（英文版）, 6(1), 47-51. DOI： 10.47297/wspciWSP2516-252707.20220601.

HUILING YANG. (2022). Study on the Political Function of Rural Grassroots Party Organizations from the Perspective of Rural Revitalization. Creativity and Innovation, 6(1), 47-51.. DOI： 10.47297/wspciWSP2516-252707.20220601.

摘要

Abstract

In the implementation of the rural revitalization strategy

it is clearly required that primary-level Party organizations in rural areas should follow the theme of “publicizing the Party’s propositions

implementing the Party’s decisions

leading community-level governance

rallying the masses

and promoting reform and development.” With purity and lead local custom civilization construction advanced political culture

with good quality the party member troop construction to promote rural prosperity

the harmonious relationship between excitation system of rural development power

in an efficient and powerful execution improve rural governance efficiency

the construction of powerful fighting forts

provide powerful country revitalization of political and organizational guarantee.The report of the 19th CPC National Congress puts forward the important proposition of “prominent political function”

which provides a new heading for the construction of rural grass-roots Party organizations.

关键词

Keywords

Rural revitalizationRural grassroots Party organizationsPolitical function

references

E.M. Clarke, E.A. Emerson, Design and synthesis of synchronization skeletons using branching time temporal logic, in: D. Kozen (Eds.), Workshop on Logics of Programs, Lecture Notes in Computer Science, vol. 131, Springer, Berlin, Heidelberg, 1981, pp. 52–71. DOI: https://doi.org/10.1007/BFb0025774.[2] J.P. Queille, J. Sifakis, Specification and verification of concurrent systems in CESAR, in: M. Dezani-Ciancaglini and U. Montanari (Eds.), Proceedings of the 5th International Symposium on Programming, Lecture Notes in Computer Science, vol. 137, Springer, Berlin, Heidelberg, 1982, pp. 337–351. DOI: https://doi.org/10.1007/3-540-11494-7_22.[3] C. Baier, J-P. Katoen, Principles of Model Checking, MIT Press, 2008.[4] M. Kwiatkowska, G. Norman, D. Parker, Stochastic model checking, in: M. Bernardo, J. Hillston (Eds.), Proceedings of the Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM), Springer, Berlin, Heidelberg, 2007, pp. 220–270. DOI: https://doi.org/10.1007/978-3-540-72522-0_6.[5] V. Forejt, M. Kwiatkowska, G. Norman, D. Parker, Automated verification techniques for probabilistic systems, in: M. Bernardo, V. Issarny (Eds.), Proceedings of the Formal Methods for Eternal Networked Software Systems (SFM), Springer, Berlin, Heidelberg, 2011, pp. 53–113. DOI: https://doi.org/10.1007/978-3-642-21455-4_3.[6] G.D. Penna, B. Intrigila, I. Melatti, E. Tronci, M.V. Zilli, Bounded probabilistic model checking with the muralpha verifier, in: A.J. Hu, A.K. Martin (Eds.), Proceedings of the Formal Methods in Computer-Aided Design, Springer, Berlin, Heidelberg, 2004, pp. 214–229. DOI: https://doi.org/10.1007/978-3-540-30494-4_16.[7] E. Clarke, O. Grumberg, S. Jha, et al., Counterexample-guided abstraction refinement, in: E.A. Emerson, A.P. Sistla (Eds.), Computer Aided Verification, Springer, Berlin, Heidelberg, 2000, pp. 154–169. DOI: https://doi.org/10.1007/10722167_15.[8] H. Barringer, R. Kuiper, A. Pnueli, Now you may compose temporal logic specifications, in: Proceedings of the Sixteenth Annual ACM Symposium on the Theory of Computing (STOC), ACM, 1984, pp. 51–63. DOI: https://doi.org/10.1145/800057.808665. [9] A. Pnueli, In transition from global to modular temporal reasoning about programs, in: K.R. Apt (Ed.), Logics and Models of Concurrent Systems, Springer, Berlin, Heidelberg, 1984, pp. 123–144. DOI: https://doi.org/10.1007/978-3-642-82453-1_5[10]B. Meyer, Applying “Design by Contract”, Computer 25(10) (1992) 40–51. DOI: https://doi.org/10.1109/2.161279.[11]S. Bensalem, M. Bogza, A. Legay, T.H. Nguyen, J. Sifakis, R. Yan, Incremental component-based construction and verification using invariants, in: Proceedings of the Conference on Formal Methods in Computer Aided Design (FMCAD), IEEE Press, Piscataway, NJ, 2010, pp. 257–56.[12]H. Barringer, C.S. Pasareanu, D. Giannakopolou, Proof rules for automated compositional verification through learning, in Proc. of the 2nd International Workshop on Specification and Verification of Component Based Systems, 2003.