The proceedings are compilation of selected papers from the 5th International Conference on Smart City and Green Energy (ICSCGE 2025). This collection of papers explores the latest advances in sustainable green energy, emphasizing innovative methods, technological breakthroughs, and practical applications. Topics include smart city, green energy, smart grid, power system, energy-efficient technologies, environmental impact assessment, and policy analysis, all of which are vital for address...

This book addresses the geohazard of ground subsidence by giving an overview of subsidence processes and their harmful consequences. It discusses newly developed methods of subsidence prediction, and describing techniques to monitor the subsidence and engineering measures in order to control and reduce subsidence impacts. Case studies from China are presented to explain the application of various methods and techniques to investigate, monitor, and mitigate this geohazard under different co...

This book shares insights on post-processing techniques adopted to achieve precision-grade surfaces of additive manufactured metals including material characterization techniques and the identified material properties.Post-processes are discussed from support structure removal and heat treatment to the material removal processes including hybrid manufacturing. Also discussed are case studies on unique applications of additive manufactured metals as an exemplary of the consideration...

Learn to effectively operate and maintain reciprocating and turbine aircraft enginesThis hands-on guide succinctly covers all aspects of reciprocating and turbine aircraft engines. The book serves as a study guide for candidates preparing for the FAA Airframe and Powerplant (A&P) certification exam and also is a valuable on-the-job reference for aircraft mechanics and aviation enthusiasts. Written by experienced professors from the highly-ranked aviation program at...

The on-the-job aircraft maintenance manual and gold standard for aviation students and professionals – now fully updatedFor over 60 years, the Standard Aircraft Handbook for Mechanics and Technicians has been the go-to manual for building, maintaining, overhauling, and repairing aircraft of all types. This illustrated manual provides clear, step-by-step procedures for all essential aircraft maintenance and repair tasks. Thoroughly revised to cover the late...

"Essentials of Diagnosis, Treatment, and Application of Cardio and Peripheral vascular Diseases" is intended to serve as a clinical resource for healthcare professionals who evaluate and manage patients with cardiovascular and related diseases in various forms and challenges. The author strives to provide short, focused chapters so that busy practitioners can quickly find the information they need when facing specific symptoms and manifestations of coronary heart disease, hypertension, oth...

This book summarizes the advances in mine hydrogeology in terms of the development of new technologies and sustainable mining to prevent water inrush disasters during coal-mine construction and production in China. It presents holistic topics that balance safe coal mining and the minimization of impacts on the environment and human beings. Systematically describing the methods and techniques used in China’s coal mines to predict, prevent and mitigate water inrushes, it includes nine case s...

This book examines the water resistance capacity of the Upper Ordovician limestone and its feasibility as a water barrier to achieve safe and green mining. Mine water inrush events often occur during coal mine construction and production; they account for a large proportion of the coal mine disasters and accidents in China, second only to gas explosions. As mining depths and mining intensity continue to increase, the hydrogeological conditions encountered are becoming more complex. This bo...

This book provides a systematic and comprehensive interdisciplinary overview of ductile mode cutting of brittle materials, covering a range of topics from the fundamental physics to engineering practices. Discussing the machining mechanics and material properties, it explains the fundamental mechanism of ductile-to-brittle transition in the cutting of brittle materials. It also presents theoretical modeling and molecular dynamic simulation to demonstrate that ductile mode cutting can be ac...

This book presents an in-depth study and elucidation on the mechanisms of the micro-cutting process, with particular emphasis and a novel viewpoint on materials characterization and its influences on ultra-precision machining. Ultra-precision single point diamond turning is a key technology in the manufacture of mechanical, optical and opto-electronics components with a surface roughness of a few nanometers and form accuracy in the sub-micrometric range.In the context of subtractiv...

A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory.Topics include the place of problems in the development...

First published in 1974. Despite the tendency of contemporary analytic philosophy to put logic and mathematics at a central position, the author argues it failed to appreciate or account for their rich content. Through discussions of such mathematical concepts as number, the continuum, set, proof and mechanical procedure, the author provides an introduction to the philosophy of mathematics and an internal criticism of the then current academic philosophy. The material presented is also an ...