Formal methods is a field of computer science that emphasizes the use of rigorous mathematical techniques for verification and design of hardware and software systems. Analysis and design of nonlinear control design plays an important role across many disciplines of engineering and applied sciences, ranging from the control of an aircraft engine to the design of genetic circuits in synthetic biology. While linear control is a well-established subject, analysis and design of nonlinear control systems remains a challenging topic due to some of the fundamental difficulties caused by nonlinearity. Formal Methods for Control of Nonlinear Systems provides a unified computational approach to analysis and design of nonlinear systems. Features Constructive approach to nonlinear control. Rigorous specifications and validated computation. Suitable for graduate students and researchers who are interested in learning how formal methods and validated computation can be combined together to tackle nonlinear control problems with complex specifications from an algorithmic perspective. Combines mathematical rigor with practical applications.

This book offers a systematic presentation of persymmetric adaptive detection, including detector derivations and the definition of key concepts, followed by detailed discussion relating to theoretical underpinnings, design methodology, design considerations, and techniques enabling its practical implementation. The received data for modern radar systems are usually multichannel, namely, vector-valued, or even matrix-valued. Multichannel signal detection in Gaussian backgrounds is a fundamental problem for radar applications. With an overarching focus on persymmetric adaptive detectors, this book presents the mathematical models and design principles necessary for analyzing the behavior of each kind of persymmetric adaptive detector. Building upon that, it also introduces new design approaches and techniques that will guide engineering students as well as radar engineers toward efficient detector solutions, especially in challenging sample-starved environments where training data are limited. This book will be of interest to students, scholars, and engineers in the field of signal processing. It will be especially useful for those who have a solid background in statistical signal processing, multivariate statistical analysis, matrix theory, and mathematical analysis.

This book adopts a multi-method and multi-phase approach to investigate the washback effects of Test for English Majors (TEM) on program administrators, teachers and students, shedding new light on TEM reform and the reform of English teaching and learning in China. TEM, a nationwide test used to measure the language proficiency of undergraduate English majors in China, is a major standardized test taken by nearly 400,000 students every year. The book's key features include: an in-depth discussion of the nature of washback and a framework for investigating it; a multi-method and multi-phase approach, employing both the quantitative method of questionnaire surveys and the qualitative methods of interviews and classroom observations; large-scale questionnaire surveys conducted among experts, program administrators, teachers and students, and involving over 30,000 participants; detailed assessments of TEM's washback effects on stakeholders' perceptions, classroom teaching practice, students learning activities, etc.; and essential insights into testing and teaching reforms.

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.

This book is the eighth volume in a series entitled "Contemporary Logistics in China," authored by researchers from the Logistics Research Center at Nankai University. In the spirit of the seven preceding annual volumes, this book carries on the ideal of providing a systematic exposition on the logistics development in China for the English-speaking community at large. Specially, this volume captures China's logistics development at a crucial turning point. This present report consists of ten chapters, organized into three sections. The introductory section, consisting of three chapters, depicts the current development status of the logistics market, the logistics facilities and technology, and the regional logistics market. The second section addresses the logistics characteristics of four rapidly expanding industries in China-the third-party logistics, the highway logistics, the express logistics, and the multimodal transport. The final section, consisting of three chapters, discusses some hot logistics topics in China. Chapter 8 studies the capital operation in China's logistics industry. The next chapter deals with the development of intelligent logistics in China. The last chapter of this section presents the development of regional logistics along the Belt and Road routes. As with the previous volumes, the ultimate aim of this book is to present a timely portrait of the rapid growth of China's logistics market and the status quo of its logistics industry. In so doing, the book offers an in-depth analysis of critical issues involved in the ongoing dynamic and multi-faceted development, and provides a valuable reference resource for interested readers in the academic and professional fields.

This book adopts a multi-method and multi-phase approach to investigate the washback effects of Test for English Majors (TEM) on program administrators, teachers and students, shedding new light on TEM reform and the reform of English teaching and learning in China. TEM, a nationwide test used to measure the language proficiency of undergraduate English majors in China, is a major standardized test taken by nearly 400,000 students every year. The book's key features include: an in-depth discussion of the nature of washback and a framework for investigating it; a multi-method and multi-phase approach, employing both the quantitative method of questionnaire surveys and the qualitative methods of interviews and classroom observations; large-scale questionnaire surveys conducted among experts, program administrators, teachers and students, and involving over 30,000 participants; detailed assessments of TEM's washback effects on stakeholders' perceptions, classroom teaching practice, students learning activities, etc.; and essential insights into testing and teaching reforms.

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.

This book is the eighth volume in a series entitled "Contemporary Logistics in China," authored by researchers from the Logistics Research Center at Nankai University. In the spirit of the seven preceding annual volumes, this book carries on the ideal of providing a systematic exposition on the logistics development in China for the English-speaking community at large. Specially, this volume captures China's logistics development at a crucial turning point. This present report consists of ten chapters, organized into three sections. The introductory section, consisting of three chapters, depicts the current development status of the logistics market, the logistics facilities and technology, and the regional logistics market. The second section addresses the logistics characteristics of four rapidly expanding industries in China-the third-party logistics, the highway logistics, the express logistics, and the multimodal transport. The final section, consisting of three chapters, discusses some hot logistics topics in China. Chapter 8 studies the capital operation in China's logistics industry. The next chapter deals with the development of intelligent logistics in China. The last chapter of this section presents the development of regional logistics along the Belt and Road routes. As with the previous volumes, the ultimate aim of this book is to present a timely portrait of the rapid growth of China's logistics market and the status quo of its logistics industry. In so doing, the book offers an in-depth analysis of critical issues involved in the ongoing dynamic and multi-faceted development, and provides a valuable reference resource for interested readers in the academic and professional fields.

Parallel Kinematics- Type, Kinematics, and Optimal Design presents the results of 15 year's research on parallel mechanisms and parallel kinematics machines. This book covers the systematic classification of parallel mechanisms (PMs) as well as providing a large number of mechanical architectures of PMs available for use in practical applications. It focuses on the kinematic design of parallel robots. One successful application of parallel mechanisms in the field of machine tools, which is also called parallel kinematics machines, has been the emerging trend in advanced machine tools. The book describes not only the main aspects and important topics in parallel kinematics, but also references novel concepts and approaches, i.e. type synthesis based on evolution, performance evaluation and optimization based on screw theory, singularity model taking into account motion and force transmissibility, and others. This book is intended for researchers, scientists, engineers and postgraduates or above with interests in robotics and advanced machine tools technology such as parallel kinematics machines (PKMs). Xinjun Liu and Jinsong Wang, professors, work at The Institute of Manufacturing Engineering, Department of Precision Instruments and Mechanology, Tsinghua University.

This book carries on the ideal of providing a systematic exposition of the logistics development in China to the English-reading community at large in the spirit of the four predecessor volumes, published in previous years. This book is the fifth volume in a series entitled "Contemporary Logistics in China", authored by the researchers in Logistics Center at Nankai University. Specially, the opening chapter of this book presents a synopsis of the intent, the history, the framework, the topical coverage and the train of thought of the sequel in the latest five years. As the previous four volumes, our ultimate aim and desire is to present a timely portrayal of the rapid pace of growth of China's logistics market and the status of its logistics industry's evolution.

Stochastic Averaging and Extremum Seeking treats methods inspired by attempts to understand the seemingly non-mathematical question of bacterial chemotaxis and their application in other environments. The text presents significant generalizations on existing stochastic averaging theory developed from scratch and necessitated by the need to avoid violation of previous theoretical assumptions by algorithms which are otherwise effective in treating these systems. Coverage is given to four main topics. Stochastic averaging theorems are developed for the analysis of continuous-time nonlinear systems with random forcing, removing prior restrictions on nonlinearity growth and on the finiteness of the time interval. The new stochastic averaging theorems are usable not only as approximation tools but also for providing stability guarantees. Stochastic extremum-seeking algorithms are introduced for optimization of systems without available models. Both gradient- and Newton-based algorithms are presented, offering the user the choice between the simplicity of implementation (gradient) and the ability to achieve a known, arbitrary convergence rate (Newton). The design of algorithms for non-cooperative/adversarial games is described. The analysis of their convergence to Nash equilibria is provided. The algorithms are illustrated on models of economic competition and on problems of the deployment of teams of robotic vehicles. Bacterial locomotion, such as chemotaxis in E. coli, is explored with the aim of identifying two simple feedback laws for climbing nutrient gradients. Stochastic extremum seeking is shown to be a biologically-plausible interpretation for chemotaxis. For the same chemotaxis-inspired stochastic feedback laws, the book also provides a detailed analysis of convergence for models of nonholonomic robotic vehicles operating in GPS-denied environments. The book contains block diagrams and several simulation examples, including examples arising from bacterial locomotion, multi-agent robotic systems, and economic market models. Stochastic Averaging and Extremum Seeking will be informative for control engineers from backgrounds in electrical, mechanical, chemical and aerospace engineering and to applied mathematicians. Economics researchers, biologists, biophysicists and roboticists will find the applications examples instructive.

"Parallel Kinematics- Type, Kinematics, and Optimal Design "presents the results of 15 year's research on parallel mechanisms and parallel kinematics machines. This book covers the systematic classification of parallel mechanisms (PMs) as well as providing a large number of mechanical architectures of PMs available for use in practical applications. It focuses on the kinematic design of parallel robots. One successful application of parallel mechanisms in the field of machine tools, which is also called parallel kinematics machines, has been the emerging trend in advanced machine tools. The book describes not only the main aspects and important topics in parallel kinematics, but also references novel concepts and approaches, i.e. type synthesis based on evolution, performance evaluation and optimization based on screw theory, singularity model taking into account motion and force transmissibility, and others.
This book is intended for researchers, scientists, engineers and postgraduates or above with interests in robotics and advanced machine tools technology such as parallel kinematics machines (PKMs).
Xinjun Liu and Jinsong Wang, professors, work at The Institute of Manufacturing Engineering, Department of Precision Instruments and Mechanology, Tsinghua University."

Nanostructures refer to materials that have relevant dimensions on the nanometer length scales and reside in the mesoscopic regime between isolated atoms and molecules in bulk matter. These materials have unique physical properties that are distinctly different from bulk materials. Self-Assembled Nanostructures provides systematic coverage of basic nanomaterials science including materials assembly and synthesis, characterization, and application. Suitable for both beginners and experts, it balances the chemistry aspects of nanomaterials with physical principles. It also highlights nanomaterial-based architectures including assembled or self-assembled systems. Filled with in-depth discussion of important applications of nano-architectures as well as potential applications ranging from physical to chemical and biological systems, Self-Assembled Nanostructures is the essential reference or text for scientists involved with nanostructures.

Stochastic Averaging and Extremum Seeking treats methods inspired by attempts to understand the seemingly non-mathematical question of bacterial chemotaxis and their application in other environments. The text presents significant generalizations on existing stochastic averaging theory developed from scratch and necessitated by the need to avoid violation of previous theoretical assumptions by algorithms which are otherwise effective in treating these systems. Coverage is given to four main topics. Stochastic averaging theorems are developed for the analysis of continuous-time nonlinear systems with random forcing, removing prior restrictions on nonlinearity growth and on the finiteness of the time interval. The new stochastic averaging theorems are usable not only as approximation tools but also for providing stability guarantees. Stochastic extremum-seeking algorithms are introduced for optimization of systems without available models. Both gradient- and Newton-based algorithms are presented, offering the user the choice between the simplicity of implementation (gradient) and the ability to achieve a known, arbitrary convergence rate (Newton). The design of algorithms for non-cooperative/adversarial games is described. The analysis of their convergence to Nash equilibria is provided. The algorithms are illustrated on models of economic competition and on problems of the deployment of teams of robotic vehicles. Bacterial locomotion, such as chemotaxis in E. coli, is explored with the aim of identifying two simple feedback laws for climbing nutrient gradients. Stochastic extremum seeking is shown to be a biologically-plausible interpretation for chemotaxis. For the same chemotaxis-inspired stochastic feedback laws, the book also provides a detailed analysis of convergence for models of nonholonomic robotic vehicles operating in GPS-denied environments. The book contains block diagrams and several simulation examples, including examples arising from bacterial locomotion, multi-agent robotic systems, and economic market models. Stochastic Averaging and Extremum Seeking will be informative for control engineers from backgrounds in electrical, mechanical, chemical and aerospace engineering and to applied mathematicians. Economics researchers, biologists, biophysicists and roboticists will find the applications examples instructive.

Lattice-valued Logic aims at establishing the logical foundation for uncertain information processing routinely performed by humans and artificial intelligence systems. In this textbook for the first time a general introduction on lattice-valued logic is given. It systematically summarizes research from the basic notions up to recent results on lattice implication algebras, lattice-valued logic systems based on lattice implication algebras, as well as the corresponding reasoning theories and methods. The book provides the suitable theoretical logical background of lattice-valued logic systems and supports newly designed intelligent uncertain-information-processing systems and a wide spectrum of intelligent learning tasks.

Lattice-valued Logic aims at establishing the logical foundation for uncertain information processing routinely performed by humans and artificial intelligence systems. In this textbook for the first time a general introduction on lattice-valued logic is given. It systematically summarizes research from the basic notions up to recent results on lattice implication algebras, lattice-valued logic systems based on lattice implication algebras, as well as the corresponding reasoning theories and methods. The book provides the suitable theoretical logical background of lattice-valued logic systems and supports newly designed intelligent uncertain-information-processing systems and a wide spectrum of intelligent learning tasks.

This volume details generation of gene-edited cell lines and organisms as models for human diseases, pest control, and large animal welfare and production outcomes. Chapters guide readers through gene regulation, editing, screening of cell lines, genome editing, and an overview of the tools for efficient genome editing including; ZFNs, TALENs, and CRISPR. Written in the format of the highly successful Methods in Molecular Biology series, each chapter includes an introduction to the topic, lists necessary materials and reagents, includes tips on troubleshooting and known pitfalls, and step- by-step, readily reproducible protocols. Authoritative and cutting-edge, Applications of Genome Modulation and Editing aims to be a useful and practical guide for researchers to commence or advance their study in this field.

Phthalonitrile Resins and Composites: Properties and Applications summarizes the latest research on these polymers, providing information that enables materials scientists and engineers to deploy these polymers in the real world. The book gives details on synthesis and preparation techniques for key phthalonitrile monomers. All curing techniques are discussed, along with blends and copolymers of phthalonitrile with other polymeric materials, such as epoxy, benzoxazine and bismaleimide. Fiber and particle based phthalonitrile micro and nanocomposites are also discussed, along with their potential applications in lightweight automobiles, ships, oil rigs, aircraft, wind blades, high temperature bearings, valves, battery and electronic casings, fire resistant textiles, and more.

This book provides a comprehensive and systematic framework for the design of adaptive architectures, which take advantage of the available a priori information to enhance the detection performance. Moreover, this framework also provides guidelines to develop decision schemes capable of estimating the target position within the range bin. To this end, the readers are driven step-by-step towards those aspects that have to be accounted for at the design stage, starting from the exploitation of system and/or environment information up to the use of target energy leakage (energy spillover), which allows inferring on the target position within the range cell under test.In addition to design issues, this book presents an extensive number of illustrative examples based upon both simulated and real-recorded data. Moreover, the performance analysis is enriched by considerations about the trade-off between performances and computational requirements.Finally, this book could be a valuable resource for PhD students, researchers, professors, and, more generally, engineers working on statistical signal processing and its applications to radar systems.

This volume details generation of gene-edited cell lines and organisms as models for human diseases, pest control, and large animal welfare and production outcomes. Chapters guide readers through gene regulation, editing, screening of cell lines, genome editing, and an overview of the tools for efficient genome editing including; ZFNs, TALENs, and CRISPR. Written in the format of the highly successful Methods in Molecular Biology series, each chapter includes an introduction to the topic, lists necessary materials and reagents, includes tips on troubleshooting and known pitfalls, and step- by-step, readily reproducible protocols. Authoritative and cutting-edge, Applications of Genome Modulation and Editing aims to be a useful and practical guide for researchers to commence or advance their study in this field.

This book provides a comprehensive and systematic framework for the design of adaptive architectures, which take advantage of the available a priori information to enhance the detection performance. Moreover, this framework also provides guidelines to develop decision schemes capable of estimating the target position within the range bin. To this end, the readers are driven step-by-step towards those aspects that have to be accounted for at the design stage, starting from the exploitation of system and/or environment information up to the use of target energy leakage (energy spillover), which allows inferring on the target position within the range cell under test.In addition to design issues, this book presents an extensive number of illustrative examples based upon both simulated and real-recorded data. Moreover, the performance analysis is enriched by considerations about the trade-off between performances and computational requirements.Finally, this book could be a valuable resource for PhD students, researchers, professors, and, more generally, engineers working on statistical signal processing and its applications to radar systems.

The 4-volume set LNAI 13013 - 13016 constitutes the proceedings of the 14th International Conference on Intelligent Robotics and Applications, ICIRA 2021, which took place in Yantai, China, during October 22-25, 2021.The 299 papers included in these proceedings were carefully reviewed and selected from 386 submissions. They were organized in topical sections as follows: Robotics dexterous manipulation; sensors, actuators, and controllers for soft and hybrid robots; cable-driven parallel robot; human-centered wearable robotics; hybrid system modeling and human-machine interface; robot manipulation skills learning; micro_nano materials, devices, and systems for biomedical applications; actuating, sensing, control, and instrumentation for ultra-precision engineering; human-robot collaboration; robotic machining; medical robot; machine intelligence for human motion analytics; human-robot interaction for service robots; novel mechanisms, robots and applications; space robot and on-orbit service; neural learning enhanced motion planning and control for human robot interaction; medical engineering.

The 4-volume set LNAI 13013 - 13016 constitutes the proceedings of the 14th International Conference on Intelligent Robotics and Applications, ICIRA 2021, which took place in Yantai, China, during October 22-25, 2021.The 299 papers included in these proceedings were carefully reviewed and selected from 386 submissions. They were organized in topical sections as follows: Robotics dexterous manipulation; sensors, actuators, and controllers for soft and hybrid robots; cable-driven parallel robot; human-centered wearable robotics; hybrid system modeling and human-machine interface; robot manipulation skills learning; micro_nano materials, devices, and systems for biomedical applications; actuating, sensing, control, and instrumentation for ultra-precision engineering; human-robot collaboration; robotic machining; medical robot; machine intelligence for human motion analytics; human-robot interaction for service robots; novel mechanisms, robots and applications; space robot and on-orbit service; neural learning enhanced motion planning and control for human robot interaction; medical engineering.

The 4-volume set LNAI 13013 - 13016 constitutes the proceedings of the 14th International Conference on Intelligent Robotics and Applications, ICIRA 2021, which took place in Yantai, China, during October 22-25, 2021.The 299 papers included in these proceedings were carefully reviewed and selected from 386 submissions. They were organized in topical sections as follows: Robotics dexterous manipulation; sensors, actuators, and controllers for soft and hybrid robots; cable-driven parallel robot; human-centered wearable robotics; hybrid system modeling and human-machine interface; robot manipulation skills learning; micro_nano materials, devices, and systems for biomedical applications; actuating, sensing, control, and instrumentation for ultra-precision engineering; human-robot collaboration; robotic machining; medical robot; machine intelligence for human motion analytics; human-robot interaction for service robots; novel mechanisms, robots and applications; space robot and on-orbit service; neural learning enhanced motion planning and control for human robot interaction; medical engineering.

The 4-volume set LNAI 13013 - 13016 constitutes the proceedings of the 14th International Conference on Intelligent Robotics and Applications, ICIRA 2021, which took place in Yantai, China, during October 22-25, 2021.The 299 papers included in these proceedings were carefully reviewed and selected from 386 submissions. They were organized in topical sections as follows: Robotics dexterous manipulation; sensors, actuators, and controllers for soft and hybrid robots; cable-driven parallel robot; human-centered wearable robotics; hybrid system modeling and human-machine interface; robot manipulation skills learning; micro_nano materials, devices, and systems for biomedical applications; actuating, sensing, control, and instrumentation for ultra-precision engineering; human-robot collaboration; robotic machining; medical robot; machine intelligence for human motion analytics; human-robot interaction for service robots; novel mechanisms, robots and applications; space robot and on-orbit service; neural learning enhanced motion planning and control for human robot interaction; medical engineering.