This book has following unique features that distinguish it from other works from the same area: 1) Investigates the influence of fissure geometry on strength failure and crack evolution behaviour of real rock material; 2) Analyzes the effect of pre-experiment high-temperature treatment on fracture mechanical behaviour of rock material with a single fissure or two parallel fissures; 3) Compares quantitatively simulated results using discrete element modelling and experimental results of fr...

This book presents mainly experimental studies on the mechanical behavior and damage fracture mechanism of deep rocks including sandstone, marble, mudstone and granite, combining with several advanced technologies of X-ray micro-CT and AE monitoring.It has several unique features: 1) Investigates the influence of loading path on triaxial strength and deformation behavior of sandstone and marble; 2) Analyzes the effect of borehole size on triaxial strength and deformation behavior o...

Involving several areas of geological engineering, geotechnical engineering and tunnel engineering, this book describes the soft soil deformation characteristics and dynamic responses induced by subway vibration load. Based on field monitoring and laboratory testing data, with both comprehensive micro-and macroanalysis, the authors present dynamic characteristics and deformation settlement of saturated soft clay surrounding subway tunnels using dynamic and static methodology. Mechanism of ...

Qi Yuan rebornHow can a low-key and simple Qizheng manage his new life?Let me take you all to see it

Qi Yuan rebornHow can a low-key and simple Qizheng manage his new life?Let me take you all to see it

Comprehensive reference detailing key aspects of SHE, enabling readers to formulate different kinds of SHE equations, effectively solve the nonlinear SHE equations, and grasp key aspects of SHE applications.Unified Selective Harmonic Elimination for Power Converters focuses on the three main challenges of selective harmonic elimination (SHE)—the mathematical modeling of fundamental and harmonic components using the pre-defined waveform, accurately solving ...

In accordance with the global needs of heavy metal-contaminated site remediation, this book systematically introduces the latest theories and technical achievements of microbial and chemical treatment for the chromium pollution in the chromium slag and chromium-contaminated soil, combined with the author's research achievements over the decades. The book focuses on the biological and chemical behavior of chromium in soil, microbial, and chemical remediation for the chromium-contaminated so...

This book offers a pioneering exploration of classification-based derivative-free optimization (DFO), providing researchers and professionals in artificial intelligence, machine learning, AutoML, and optimization with a robust framework for addressing complex, large-scale problems where gradients are unavailable. By bridging theoretical foundations with practical implementations, it fills critical gaps in the field, making it an indispensable resource for both academic and industrial audie...

Social policy reforms driven by profound social changes have been a popular and pressing topic worldwide in recent years in both policy and academic circles. In this book, prominent social policy scholars from Europe, North America, and Asia discuss the history of social policies, compare different social development models, and analyze the challenges facing these economies' social policy reforms. The book provides comprehensive and comparative perspectives and updated data on social devel...

Computer-aided full-wave electromagnetic (EM) analysis has been used in microwave engineering for the past decade. Initially, its main application area was design verification. Today, EM-simulation-driven optimization and design closure become increasingly important due to the complexity of microwave structures and increasing demands for accuracy. In many situations, theoretical models of microwave structures can only be used to yield the initial designs that need to be further fine-tuned ...

In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open Mapping Theorem or the Banach-Steinhaus Boundedness Principle. This volume brings the Baire category method to another level of sophistication via the internal version of the set-theoretic forcing technique. It is the first systematic account ...

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set-theoretic forcing, higher recursion theory, and applications of set theory to C*-algebra. This volume offers a wide spectrum of ideas and techniques introduced in contemporary research in the field of mathematical logic to students, researchers and mathematicians.