Jing Sun Book order

Focusing on the effectiveness and fairness of higher education admissions policies, this book reviews literature from the 1940s to the 2010s and presents a theoretical framework. It includes interviews with Chinese government policymakers and admissions officers from universities, offering insights into empirical data. The work aims to lay a theoretical foundation for future reforms in Chinese higher education admissions, making it valuable for policymakers, admissions practitioners, education policy researchers, and interested readers.

Focusing on three Internet subcultural artifacts, Jing Sun analyzes contemporary urban youth culture in China through a multiperspectival lens. Using critical theory and media literacy, the book examines themes of resistance, power relations, and consumerism. It highlights how alternative media allows youth to express frustrations and challenge social inequalities, while promoting cultural diversity. Sun advocates for critical media literacy as essential for youth to become change agents, urging further research to deepen understanding of their complex cultural dynamics in a multicultural world.

Focusing on the fundamentals of control systems, this book covers principles, structures, characteristics, and classifications in detail. It delves into the dynamic behavior of systems and presents comprehensive analyses of time, frequency, stability, and error response. Aimed at graduate students, scientists, and practitioners in mechanical and electrical engineering, it serves as an essential reference for those involved in research within these fields.

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.