The New Democratic Revolution in Music during the Play Experience of the Ideological and Political Education Function

Dan Cheng

doi:10.4028/www.scientific.net/AMM.556-562.6602

Paper Titles

On Quality Control of Settlement Audit and Outsourcing
p.6583

Study on Ecological Footprint of Campus Paper Consumption
p.6587

Application of Self-Efficacy for the Regulation of Coping Styles and Mental Healt in Disaster Education
p.6591

Study on Emergency Evacuation of Plant Area of a Chemical Enterprise in Liquid Chlorine Leakage Accident
p.6595

The New Democratic Revolution in Music during the Play Experience of the Ideological and Political Education Function
p.6602

The Research of Culture Similarity and Innovation in Virtual Enterprise Based on Structural Equation Model
p.6606

Analysis on Herter-Organizing of Airport Industry Cluster Based on the System Dynamics
p.6610

Consumer Electronics Enterprise Patent Strategy Based on University-Enterprise Cooperation with a Failure Rate
p.6616

Based on the Aviation Electronic Laboratory Construction and Practice of Engineering Education
p.6620

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 556-562The New Democratic Revolution in Music during the...

The New Democratic Revolution in Music during the Play Experience of the Ideological and Political Education Function

Abstract:

After a deep investigation on the maximum terms space of the clause set, the concept of the partial maximum terms space of the clause set, which the maximum terms of the clause set decomposed, is brought forward. By investigating the extension rule, this paper introduces the concept of the satisfiability and the unsatisfiability of the partial maximum terms space, and gives an algorithm determining the satisfiability of a partial space of the maximum terms - algorithm PSER (Partial Semi-Extension Rule). Then, the TP problem is decomposed into several sub-problems independent of each other, which can be solved by the given parallel computing method PPSER (Parallel Partial Semi-Extension Rule).

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 556-562)

Pages:

6602-6605

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.556-562.6602

Citation:

Cite this paper

Online since:

May 2014

Authors:

Dan Cheng*

Keywords:

Extension Rule, Parallel Algoritm, Theorem Proving

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] Massart Thierry, Meuter Cedric, V B Laurent. On the complexity of partial order trace model checking, Inform. Process. Lett. 106 (2008) 120-126.

DOI: 10.1016/j.ipl.2007.10.013

Google Scholar

[2] M. Davis, H. Putnam. A computing procedure for quantification theory. Journal of ACM, 7(3)(1960) 201-215.

Google Scholar

[3] Dechter R, Rish I. Directional resolution: the davis-putnam procedure. Proceeding of 4th International Conference on Principles of KR&R, Bonn, Germany: Morgan Kaufmann, (1994) 134-145.

Google Scholar

[4] M. Davis, G. Logemann, D. Loveland, A machine program for theorem proving. Communications of the ACM, 5 (1962) 394-397.

DOI: 10.1145/368273.368557

Google Scholar