High Temperature Miniature Specimen Test Methods, for the first time in book format, focuses on a comprehensive and thorough introduction to a range of high temperature, miniaturized test methods at elevated temperatures which are used to obtain "bulk creep or fatigue properties from a small volume of material. Complicated mathematics and modelling are not involved. It is intended to be of use to a wide range of audience of engineers (e.g. designers, manufacturers, metallurgists, stress an...

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.

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in the last few years. It provides an overview of some fundamental ideas and techniques, and enough context to make it possible for students with at least a basic knowledge of computability theory and proof theory to appreciate the exciting advances currently happening in the area, and perhaps make c...

This book addresses anti-fatigue manufacturing, analysis and test verification technologies for typical aircraft structures, including fastening holes, shot peening plates, different types of joints and wing boxes. Offering concrete solutions to practical problems in aircraft engineering, it will benefit researchers and engineers in the fields of Aerospace Technology and Astronautics.

Computational Methods for Nonlinear Dynamical Systems: Theory and Applications in Aerospace Engineering proposes novel ideas and develops highly-efficient and accurate methods for solving nonlinear dynamic systems, drawing inspiration from the weighted residual method and the asymptotic method. Proposed methods can be used both for real-time simulation and the analysis of nonlinear dynamics in aerospace engineering. The book introduces global estimation methods and local computational meth...

China in the Era of Social Media discusses how social media is changing the world in an unprecedented way through speed, scope, and depth. In the last decade or so, social media in China has witnessed the most explosive growth in the world. Being the most populous nation in the world, it has the most social media users in the world as well. This book examines the current situation and unique characteristics of Chinese social media, the significance of social media in the country’s...

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools. The major topics covered set theory and recursion theory, with particular emphasis on forcing, inner model theory and Turing degrees, offering a wide overview of ideas and techniques introduced in contemporary research in the field of mathematical logic.

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 book mainly investigates the cooperative optimal control of hybrid energy system, it presents security control, multi-objective optimization, distributed optimization and distributed control approaches for tackling with security, economic and stability problem of the hybrid energy system.It aims to solve some challenging problems including security issue, economic cost or benefits from both power generation side and load demand side, and coordination among different power gene...

This book systematically presents 40 pests, 7 natural pest enemies, and 20 diseases and weeds commonly encountered in sugarcane production, combining clear colour photos with detailed scientific descriptions. It covers a range of related topics, including morphological identification, habits and frequency of occurrence, prevention and control measures, symptom identification, characteristics of infections and epidemics, parasitic (predator) characteristics, ways of utilising natural pest e...

This book systematically introduces physical characteristics and implementations of III-nitride wide bandgap semiconductor materials and electronic devices, with an emphasis on high-electron-mobility transistors (HEMTs). The properties of nitride semiconductors make the material very suitable for electronic devices used in microwave power amplification, high-voltage switches, and high-speed digital integrated circuits.

A collection of fixed width ink pen on paper illustrations by illustrator Yue Feng.