This book presents high-quality contributions in the subject area of Aerospace System Science and Engineering, including topics such as: Trans-space vehicle systems design and integration, Air vehicle systems, Space vehicle systems, Near-space vehicle systems, Opto-electronic system, Aerospace robotics and unmanned system, Aerospace robotics and unmanned system, Communication, navigation, and surveillance, Dynamics and control, Intelligent sensing and information fusion, Aerodynamics and aircraft design, Aerospace propulsion, Avionics system, Air traffic management, Earth observation, Deep space exploration, and Bionic micro-aircraft/spacecraft. The book collects selected papers presented at the 4th International Conference on Aerospace System Science and Engineering (ICASSE 2020), organized by Shanghai Jiao Tong University, China, held on 14-16 July 2020 as virtual event due to COVID-19. It provides a forum for experts in aeronautics and astronautics to share new ideas and findings. ICASSE conferences have been organized annually since 2017 and hosted in Shanghai, Moscow, and Toronto in turn, where the three regional editors of the journal Aerospace Systems are located.

Provides extensive and thoroughly exhaustive coverage of precision laser spectroscopy Presents chapters written by recognized experts in their individual fields Topics covered include cold atoms, cold molecules, methods and techniques for production of cold molecules, optical frequency standards based on trapped single ions, etc Applicable for researchers and graduate students of optical physics and precision laser spectroscopy

This book addresses development laws for axial strain and excess pore water pressure in silty clay around subway shield tunnels before and after freezing-thawing when subjected to subway loading, as well as the effect of freezing-thawing on the dynamic parameters of silty clay, including the dynamic modulus and damping ratio, introducing readers to the design and construction of bypasses in subway tunnels with the artificial freezing method. On this basis, it then studies the microstructures of silty clay before and after freezing-thawing cyclic loading by means of scanning electron microscope tests and mercury intrusion porosimetry tests. Lastly, the book presents a numerical simulation of the dynamics of silty clay around subway tunnels before and after thawing. Given its scope, it offers a valuable reference guide for construction researchers and designers alike, as well as senior undergraduate and graduate students at colleges and universities.

This book is an up-to-date text covering topics in utilizing hydrogen bonding for constructing functional architectures and supramolecular materials. The first chapter addresses the control of photo-induced electron and energy transfer. The second chapter summarizes the formation of nano-porous materials. The following two chapters introduce self-assembled gels, many of which exhibit unique functions. Other chapters cover the advances in supramolecular liquid crystals and the versatility of hydrogen bonding in tuning/improving the properties and performance of materials. This book is designed to bring together in a single volume the most important and active fields of hydrogen bonding strategy for designing supramolecular materials. The book will be a valuable resource for graduates and researchers working in the fields of supramolecular chemistry and materials sciences. Zhan-Ting Li, PhD, is a Professor of Organic Chemistry at the Department of Chemistry, Fudan University, China Li-Zhu Wu, PhD, is a Professor of Organic Chemistry at the Technical Institute of Physics and Chemistry, Chinese Academy of Sciences, China

Analysis and Control of Boolean Networks presents a systematic new approach to the investigation of Boolean control networks. The fundamental tool in this approach is a novel matrix product called the semi-tensor product (STP). Using the STP, a logical function can be expressed as a conventional discrete-time linear system. In the light of this linear expression, certain major issues concerning Boolean network topology - fixed points, cycles, transient times and basins of attractors - can be easily revealed by a set of formulae. This framework renders the state-space approach to dynamic control systems applicable to Boolean control networks. The bilinear-systemic representation of a Boolean control network makes it possible to investigate basic control problems including controllability, observability, stabilization, disturbance decoupling etc.

This bookintroduces a key issue in research on the climatic impact of land cover and land use changes via terrestrial biogeophysical processes. The parameterization of surface processes and a systematic approach to modeling the climatic impacts of land use change are discussed respectively, and can be used to improve parameterization schemes for climate numerical models and to provide a systematic method, thus offering more scientific and enhanced support for research on the climatic effects of land use/cover change. Further, based on predictions and scenario analyses of land use changes in typical zones, the climatic impact of various types of changes in different areas can be simulated through climatic numerical modeling, the simulation results are suitable for use in climate mitigation, land use planning, urban development planning, etc. Thus, the book is intended for researchers and professionals working in the area of meteorology systems, climatic numerical modeling, climate change, and land use/cover change, as well as decision makers in meteorology and land use planning.
Professor Xiangzheng Deng is a senior research fellow at the Institute of Geographical Sciences and Natural Resources Research, Chinese Academy of Sciences."

This book offers new perspectives on the study of Chinese lexical semantics, as well as discourse analysis and cognitive pragmatics based on lexical semantics. The first part focuses on fundamental issues in lexical semantic research, while the second features articles highlighting various aspects of the lexical category systems in Chinese. The third part discusses application-oriented research on lexical semantics. Presenting the latest research in the field, the book is a valuable resource for specialists in Chinese lexical semantics, as well as for researchers and students interested in grammar, theory of lexical semantics, and word/meaning processing.

This book provides a general review of the literature on underground structures, combined with new specifications, engineering case studies, and numerical simulations based on the authors' research. It focuses on the basic concepts, theories, and methods of the design of underground structures. After an introduction, it covers various topics, such as elastic foundation beam theory and numerical analysis methods for underground structures, as well as the design of shallow underground structures, diaphragm wall structures, shield tunnel structures, caisson structures, immersed tube structures, and integral tunnel structures. It also includes tables for calculating elastic foundation beam. This book is intended for senior undergraduate and graduate students majoring in urban underground space engineering, building engineering, highway engineering, railway engineering, bridge and tunnel engineering, water conservancy and hydropower engineering.

This book gathers selected papers presented at the 8th International Congress on Environmental Geotechnics (ICEG), held on October 28 - November 1, 2018 in Hangzhou, China. The theme of the congress is "Towards a Sustainable Geoenvironment", which means meeting the needs of the present generation without compromising the ability of future generations to meet their own needs. Under this theme, the congress covers a broad range of topics and provides an excellent opportunity for academics, engineers, scientists, government officials, regulators, and planners to present, discuss and exchange notes on the latest advances and developments in the research and application of environmental geotechnics.

This book contains a selection of the best articles presented at the CUPUM (Computational Urban Planning and Urban Management) conference, held in the second week of July 2019 at the University of Wuhan, China. The chapters included were selected based on a double-blind review process involving external reviewers.

"Applications of Pulse-Coupled Neural Networks" explores the fields of image processing, including image filtering, image segmentation, image fusion, image coding, image retrieval, and biometric recognition, and the role of pulse-coupled neural networks in these fields. This book is intended for researchers and graduate students in artificial intelligence, pattern recognition, electronic engineering, and computer science. Prof. Yide Ma conducts research on intelligent information processing, biomedical image processing, and embedded system development at the School of Information Science and Engineering, Lanzhou University, China.

This book examines a ubiquitous, yet under-researched, area of language education, i.e., language teachers' use of curriculum materials. It particularly focuses on EFL teachers' use of prescribed curriculum materials in higher education in Mainland China and presents a qualitative, multi-case study involving four Chinese EFL teachersand eight students (two students from each teacher's class) at one university in Mainland China. Drawing on data from pre-lesson and post-lesson interviews with the teachers, lesson observations, and documents in three consecutive semesters at the target university, the book delineates the processes of materials useinclassroom settings. It also identifies four domains of factors that influenced the enactment of curriculum materials. Most importantly, by adopting Vygotsky's (1978) mediation theory and Remillard's (2005) participatory perspective, the book constructs a "curriculum enactment mediation model" to reveal the complex and mediated relations among teachers, learners, curriculum materials, and context. It also recommends practical implications for materials developers, teacher educators, administrators, and policymakers.

This book was written as a graduate student course--Shock Dynamics. Up to now, the first author has taught this course to the graduate students in the field of Fluid Mechanics, Department of Modern Mechanics, University of Science and Technology of China for seven times. In the spring semester 1989, during his visit to the United States, the first author taught this course to the graduate students of Department of Mathemat ics, University of Colorado at Denver. At the same time, he gave a series of four lectures on Shock Dynamics to the graduate students of Department of Aerospace Engineering Sciences, University of Colorado at Boulder. In 1991, during the first author's visit to Japan, he gave some lectures on Shock Dynamics in Tohoku University, University of Tokyo and Kyushu Uni versity. The dynamic phenomena of shock waves such as propagation, diffraction, reflection, refraction and interaction of shock waves may be studied by using experimental methods, numerical calculations and theoretical analyses. Although the detailed flow patterns of phenomena of shock motion can be obtained by using experimental methods and numerical calculations of solving Euler Equation or Navier-Stokes Equation, for example, the diffractions of shock waves by wedges form various phenomena of reflection--RR, SMR, CMR and DMR, we also need to analyse the process of the formation of shock waves in various phenomena of diffraction, reflection and interaction by using theoretical methods."

This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.

This book discusses recent advances in the estimation and control of networked systems with unacknowledged packet losses: systems usually known as user-datagram-protocol-like. It presents both the optimal and sub-optimal solutions in the form of algorithms, which are designed to be implemented easily by computer routines. It also provides MATLAB (R) routines for the key algorithms. It shows how these methods and algorithms can solve estimation and control problems effectively, and identifies potential research directions and ideas to help readers grasp the field more easily. The novel auxiliary estimator method, which is able to deal with estimators that consist of exponentially increasing terms, is developed to analyze the stability and convergence of the optimal estimator. The book also explores the structure and solvability of the optimal control, i.e. linear quadratic Gaussian control. It develops various sub-optimal but efficient solutions for estimation and control for industrial and practical applications, and analyzes their stability and performance. This is a valuable resource for researchers studying networked control systems, especially those related to non-TCP-like networks. The practicality of the ideas included makes it useful for engineers working with networked control.

This book describes the mineralization process of barite-fluorite deposits in southeastern Sichuan, Yangtze Block, China. Mainly through systematic field geological surveys and detailed indoor research work, the typical barite-fluorite deposits in this area were analyzed using a variety of analysis methods such as single fluid inclusion LA-ICP-MS composition analysis, trace rare earth element analysis, H-O-S-Sr isotope analysis, F element content analysis, and Sm-Nd geochronological analysis. By in-depth analysis of the ore-forming environment, mineralization process and geological characteristics of barite-fluorite deposits, the following were determined: (1) the source of ore-forming fluids of barite-fluorite deposits and (2) the migration, concentration, enrichment, and evolution of ore-forming sources, exploring the formation mechanism of barite-fluorite deposits. Summarizing the mineralization regularity of the deposit in this area of China provides a new insight and basis for the study of similar types of deposits in the world.

This book investigates how schools, enterprises and families in China have coped with the formal online education in the light of government policy throughout the COVID-19 epidemic outbreak, with special focus on the problems they have encountered and possible solutions. Using grounded theory, over 1000 posts retrieved from public online forums were analyzed under a 4*4 framework, referring to four special time nodes (proposal period, exploratory period, full deployed period, exiting period) and four major subjects (government, schools, enterprises, families). The book identifies four main issues faced by massive online education during the epidemic: platform selection in proposal period, teacher training in exploratory period, resource integration in full deployed period, and flexibility of returning to schools in exiting period. These findings enlighten us with a deeper understanding of the process of online learning in an educational emergency, helping to develop best countermeasures in similar situations, as well as to provide paths to follow for other countries. The book will appeal to teachers, researchers and school administrators of the online education and education emergency management, as well as those who are interested in Chinese education during the COVID-19 outbreak in general.

This book investigates how schools, enterprises and families in China have coped with the formal online education in the light of government policy throughout the COVID-19 epidemic outbreak, with special focus on the problems they have encountered and possible solutions. Using grounded theory, over 1000 posts retrieved from public online forums were analyzed under a 4*4 framework, referring to four special time nodes (proposal period, exploratory period, full deployed period, exiting period) and four major subjects (government, schools, enterprises, families). The book identifies four main issues faced by massive online education during the epidemic: platform selection in proposal period, teacher training in exploratory period, resource integration in full deployed period, and flexibility of returning to schools in exiting period. These findings enlighten us with a deeper understanding of the process of online learning in an educational emergency, helping to develop best countermeasures in similar situations, as well as to provide paths to follow for other countries. The book will appeal to teachers, researchers and school administrators of the online education and education emergency management, as well as those who are interested in Chinese education during the COVID-19 outbreak in general.

China's reform and opening-up have contributed to its long-term and rapid economic development, resulting in a much stronger economic strength and much better life for its people. Meanwhile, the deepening economic integration between China and the world has resulted in an increasingly complex environment, growing influencing factors and severe challenges to China's economic development. Under the "new normal" of the Chinese economy, accurate analysis of the economic situation is essential to scientific decision-making, sustainable and healthy economic development and to build a moderately prosperous society in all respects. By applying statistical and national economic accounting methods, and based on detailed statistics and national economic accounting data, this book presents an in-depth analysis of the key economic fields, such as real estate economy, automotive industry, high-tech industry, investment, opening-up, income distribution of residents, economic structure, balance of payments structure and financial operation, since the reform and opening-up, especially in recent years. It aims to depict the performance and characteristics of these key economic fields and their roles in the development of national economy, thus providing useful suggestions for economic decision-making, and facilitating the sustainable and healthy development of the economy and the realization of the goal of building a moderately prosperous society in all respects.