This book focuses on observing and understanding the urban planning and relevant development patterns applied to the creation of urban districts against the backdrop of the current rapid urbanization and transformation of Shanghai on its way to becoming a world city. Based on a review of the four stages of city evolution, a series of case studies on typical urban districts through the city's building history to date points out key issues in connection with current developments. Three rapidly developing districts in Shanghai are studied with regard to alternative urban planning and design solutions, and further opinions from other perspectives including city government, real estate development and professional education, reveal challenges in the practical implementation of changes. This book indeed provides an approach to in-depth observation and understanding of urban planning and current development patterns at the medium scale of Chinese urbanization for those from academic, professional, investment, public administration and related circles who would like to join the urban transformation process. Associate Professor Yongjie Sha and Professor Jiang Wu work at Tongji University. Yan Ji is an architect and urban designer in Shanghai. Sara Li Ting Chan and Wei Qi Lim work in Singapore as architect and planner in government service.
This book focuses on observing and understanding the urban planning and relevant development patterns applied to the creation of urban districts against the backdrop of the current rapid urbanization and transformation of Shanghai on its way to becoming a world city. Based on a review of the four stages of city evolution, a series of case studies on typical urban districts through the city's building history to date points out key issues in connection with current developments. Three rapidly developing districts in Shanghai are studied with regard to alternative urban planning and design solutions, and further opinions from other perspectives including city government, real estate development and professional education, reveal challenges in the practical implementation of changes. This book indeed provides an approach to in-depth observation and understanding of urban planning and current development patterns at the medium scale of Chinese urbanization for those from academic, professional, investment, public administration and related circles who would like to join the urban transformation process. Associate Professor Yongjie Sha and Professor Jiang Wu work at Tongji University. Yan Ji is an architect and urban designer in Shanghai. Sara Li Ting Chan and Wei Qi Lim work in Singapore as architect and planner in government service.
The first edition of this textbook was published in 2021. Over the past two years, we have invested in enhancing all aspects of deep learning methods to ensure the book is comprehensive and impeccable. Taking into account feedback from our readers and audience, the author has diligently updated this book. The second edition of this textbook presents control theory, transformer models, and graph neural networks (GNN) in deep learning. We have incorporated the latest algorithmic advances and large-scale deep learning models, such as GPTs, to align with the current research trends. Through the second edition, this book showcases how computational methods in deep learning serve as a dynamic driving force in this era of artificial intelligence (AI). This book is intended for research students, engineers, as well as computer scientists with interest in computational methods in deep learning. Furthermore, it is also well-suited for researchers exploring topics such as machine intelligence, robotic control, and related areas.
This book presents a class of novel, self-learning, optimal control schemes based on adaptive dynamic programming techniques, which quantitatively obtain the optimal control schemes of the systems. It analyzes the properties identified by the programming methods, including the convergence of the iterative value functions and the stability of the system under iterative control laws, helping to guarantee the effectiveness of the methods developed. When the system model is known, self-learning optimal control is designed on the basis of the system model; when the system model is not known, adaptive dynamic programming is implemented according to the system data, effectively making the performance of the system converge to the optimum. With various real-world examples to complement and substantiate the mathematical analysis, the book is a valuable guide for engineers, researchers, and students in control science and engineering.
The book provides an introduction of very recent results about the tensors and mainly focuses on the authors' work and perspective. A systematic description about how to extend the numerical linear algebra to the numerical multi-linear algebra is also delivered in this book. The authors design the neural network model for the computation of the rank-one approximation of real tensors, a normalization algorithm to convert some nonnegative tensors to plane stochastic tensors and a probabilistic algorithm for locating a positive diagonal in a nonnegative tensors, adaptive randomized algorithms for computing the approximate tensor decompositions, and the QR type method for computing U-eigenpairs of complex tensors. This book could be used for the Graduate course, such as Introduction to Tensor. Researchers may also find it helpful as a reference in tensor research.
Chinese Syntax in a Cross-linguistic Perspective is a collection of sixteen original papers by leading experts in Chinese syntax. The papers focus on a broad range of topics, demonstrating how the analysis of Chinese can inform our understanding of syntactic phenomena in other languages, and how insights gained in the study of other languages can in turn shed interesting new light on patterns in Chinese. Each chapter compares a specific major phenomenon in Chinese syntax with related patterns in at least one other language from Asia, Europe, North America or Africa, resulting in a series of fresh perspectives on Chinese and what the study of Chinese can offer linguists working on other, genetically unrelated languages. The volume is divided into three thematic sections, on the nominal domain, the predicate domain, and the C-domain. In addition to chapters on synchronic, adult syntax, the book includes chapters on Chinese diachronic syntax in a comparative perspective and the acquisition of syntax in Chinese, in comparison with that of other languages. The collection is a tribute to Professor C.-T. James Huang's lifelong work on the syntax of Chinese and his attempts to demonstrate how the comparative analysis of Chinese reveals important properties of Universal Grammar. With its broad, cross-linguistic focus and its detailed, new studies of Chinese, this book is essential reading for researchers of all language backgrounds in modern generative syntax.
Chinese grammar is characterized by its simple structure, lack of inflections, and wide use of monosyllabic morphemes. With the increased popularity of learning Chinese as a second language, there is a demand for a guide to Chinese grammar that's targeted at second language learners. This four-volume set is one of the earliest and most influential works of Chinese grammar, with a special focus on teaching and learning Chinese as a second language. Drawing on rich teaching experience, the authors analyze a myriad of real-world examples to describe Chinese grammatical phenomena and rules while introducing the general grammar system of Chinese. In addition, the use of notional words in modern Chinese grammar is demonstrated, including nouns, pronouns, numerals, quantifiers, verbs, adjectives, and adverbs. Since the first edition came out in 1983, this set has been revised twice and has remained one of the best sellers in the field. Practitioners and scholars of teaching Chinese as a second language, as well as students with a basic knowledge of Chinese, will find it to be a handy reference.
Multi-agent systems are special networked systems full of research interest and practical sense, which are abundant in real life, ranging from mobile robot networks, intelligent transportation management, to multiple spacecraft, surveillance and monitoring. Consensus control is one of the most typical and hot research issues for multi-agent systems. Distributed Adaptive Consensus Control of Uncertain Multi-agent Systems provides innovative technologies to design and analyze distributed adaptive consensus for multi-agent systems with model uncertainties. Based on the basic graph theory and adaptive backstepping control, this monograph: · Describes the state of the art on distributed adaptive control, finite-time consensus control and event-triggered consensus control · Studies distributed adaptive consensus under directed communication graph condition: the methods with linearly parametric reference, hierarchical decomposition, and design of auxiliary filers · Explores adaptive finite-time consensus for uncertain nonlinear systems · Considers distributed adaptive consensus with event-triggered communication via state feedback and output feedback · Investigates distributed adaptive formation control of nonholonomic mobile robots with experimental verification · Provides distributed adaptive attitude synchronization control schemes for multiple spacecraft with event-triggered communication Distributed Adaptive Consensus Control of Uncertain Multi-agent Systems can help engineering students and professionals to efficiently learn distributed adaptive control design tool for handling uncertain multi-agent systems with directed communication graph, guaranteeing finite-time convergence and saving communication resources.
This book covers the most recent developments in adaptive dynamic programming (ADP). The text begins with a thorough background review of ADP making sure that readers are sufficiently familiar with the fundamentals. In the core of the book, the authors address first discrete- and then continuous-time systems. Coverage of discrete-time systems starts with a more general form of value iteration to demonstrate its convergence, optimality, and stability with complete and thorough theoretical analysis. A more realistic form of value iteration is studied where value function approximations are assumed to have finite errors. Adaptive Dynamic Programming also details another avenue of the ADP approach: policy iteration. Both basic and generalized forms of policy-iteration-based ADP are studied with complete and thorough theoretical analysis in terms of convergence, optimality, stability, and error bounds. Among continuous-time systems, the control of affine and nonaffine nonlinear systems is studied using the ADP approach which is then extended to other branches of control theory including decentralized control, robust and guaranteed cost control, and game theory. In the last part of the book the real-world significance of ADP theory is presented, focusing on three application examples developed from the authors’ work: • renewable energy scheduling for smart power grids;• coal gasification processes; and• water–gas shift reactions. Researchers studying intelligent control methods and practitioners looking to apply them in the chemical-process and power-supply industries will find much to interest them in this thorough treatment of an advanced approach to control.
This concise textbook examines the fundamental aspects of intelligent computing for surveillance systems, from camera calibration and data capturing, to secure data transmission. The text covers digital surveillance from the level of an individual object or biometric feature, to the full lifecycle of an event. This is followed by a detailed discussion on how an intelligent system can independently monitor and learn from an event, and invite human input when necessary. The book concludes with a presentation on how the system can be enhanced through the use of supercomputing technology. Features: contains exercises at the end of every chapter, and a glossary; covers the key issues of computer network infrastructure, security, monitoring and forensics, and the essential aspects of object analysis; reviews algorithms for surveillance data analytics using biometric features; discusses the use of AI for surveillance events; reviews algorithms that trigger an alarm to alert a member of security staff.
Theory and Computation of Tensors: Multi-Dimensional Arrays investigates theories and computations of tensors to broaden perspectives on matrices. Data in the Big Data Era is not only growing larger but also becoming much more complicated. Tensors (multi-dimensional arrays) arise naturally from many engineering or scientific disciplines because they can represent multi-relational data or nonlinear relationships. Provides an introduction of recent results about tensors Investigates theories and computations of tensors to broaden perspectives on matrices Discusses how to extend numerical linear algebra to numerical multi-linear algebra Offers examples of how researchers and students can engage in research and the applications of tensors and multi-dimensional arrays
In practice, actuators often undergo failures and various factors influence its effectiveness. Also due to the increasing complexity of large-scale systems, subsystems are often interconnected, whereas the interactions between any two subsystems are difficult to deal with. This book details a series of new methodologies of designing and analyzing adaptive backstepping control systems involving treatment on actuator failures, subsystem interactions and nonsmooth nonlinearities. Moreover, it discusses some interesting open issues in adaptive failure accommodation, decentralized adaptive control and distributed adaptive coordinated control.
The development of international trade theory has created a wide array of different theories, concepts and results. Nevertheless, trade theory has been split between partial and conflicting representations of international e- nomic interactions. Diverse trade models have co-existed but not in a structured relationship with each other. Economic students are introduced to international economic interactions with severally incompatible theories in the same course. In order to overcome incoherence among multiple theories, we need a general theoretical framework in a unified manner to draw together all of the disparate branches of trade theory into a single - ganized system of knowledge. This book provides a powerful – but easy to operate - engine of analysis that sheds light not only on trade theory per se, but on many other dim- sions that interact with trade, including inequality, saving propensities, education, research policy, and knowledge. Building and analyzing various tractable and flexible models within a compact whole, the book helps the reader to visualize economic life as an endless succession of physical ca- tal accumulation, human capital accumulation, innovation wrought by competition, monopoly and government intervention. The book starts with the traditional static trade theories. Then, it develops dynamic models with capital and knowledge under perfect competition and/or monopolistic competition. The uniqueness of the book is about modeling trade dyn- ics.
A complete and comprehensive reference on modulation and signal processing for visible light communication This informative new book on state-of-the-art visible light communication (VLC) provides, for the first time, a systematical and advanced treatment of modulation and signal processing for VLC. Visible Light Communications: Modulation and Signal Processing offers a practical guide to designing VLC, linking academic research with commercial applications. In recent years, VLC has attracted attention from academia and industry since it has many advantages over the traditional radio frequency, including wide unregulated bandwidth, high security, and low cost. It is a promising complementary technique in 5G and beyond wireless communications, especially in indoor applications. However, lighting constraints have not been fully considered in the open literature when considering VLC system design, and its importance has been underestimated. That’s why this book—written by a team of experts with both academic research experience and industrial development experience in the field—is so welcome. To help readers understand the theory and design of VLC systems, the book: Details many modern techniques on both modulation and signal processing aspects Links academic research with commercial applications in visible light communications as well as other wireless communication systems Combines theoretical rigor with practical examples in presenting optical camera communication systems Visible Light Communications: Modulation and Signal Processing serves as a useful tool and reference book for visible light communication professionals, as well as wireless communication system professionals and project managers. It is also an important guide for undergraduates and graduates who want to conduct research in areas of wireless communications.
This book presents a systematic study of an emerging field in the development of multi-agent systems. In a wide spectrum of applications, it is now common to see that multiple agents work cooperatively to accomplish a complex task. The book assists the implementation of such applications by promoting the ability of multi-agent systems to track — using local communication only — the mean value of signals of interest, even when these change rapidly with time and when no individual agent has direct access to the average signal across the whole team; for example, when a better estimation/control performance of multi-robot systems has to be guaranteed, it is desirable for each robot to compute or track the averaged changing measurements of all the robots at any time by communicating with only local neighboring robots. The book covers three factors in successful distributed average tracking: algorithm design via nonsmooth and extended PI control; distributed average tracking for double-integrator, general-linear, Euler–Lagrange, and input-saturated dynamics; and applications in dynamic region-following formation control and distributed convex optimization. The book presents both the theory and applications in a general but self-contained manner, making it easy to follow for newcomers to the topic. The content presented fosters research advances in distributed average tracking and inspires future research directions in the field in academia and industry.
Offers a comprehensive introduction to the issues of control of power systems during cascading outages and restoration process Power System Control Under Cascading Failures offers comprehensive coverage of three major topics related to prevention of cascading power outages in a power transmission grid: modelling and analysis, system separation and power system restoration. The book examines modelling and analysis of cascading failures for reliable and efficient simulation and better understanding of important mechanisms, root causes and propagation patterns of failures and power outages. Second, it covers controlled system separation to mitigate cascading failures addressing key questions such as where, when and how to separate. Third, the text explores optimal system restoration from cascading power outages and blackouts by well-designed milestones, optimised procedures and emerging techniques. The authors — noted experts in the field — include state-of-the-art methods that are illustrated in detail as well as practical examples that show how to use them to address realistic problems and improve current practices. This important resource: Contains comprehensive coverage of a focused area of cascading power system outages, addressing modelling and analysis, system separation and power system restoration Offers a description of theoretical models to analyse outages, methods to identify control actions to prevent propagation of outages and restore the system Suggests state-of-the-art methods that are illustrated in detail with hands-on examples that address realistic problems to help improve current practices Includes companion website with samples, codes and examples to support the text Written for postgraduate students, researchers, specialists, planners and operation engineers from industry, Power System Control Under Cascading Failures contains a review of a focused area of cascading power system outages, addresses modelling and analysis, system separation, and power system restoration.
Focuses on sensor applications and smart meters in the newly developing interconnected smart grid • Focuses on sensor applications and smart meters in the newly developing interconnected smart grid • Presents the most updated technological developments in the measurement and testing of power systems within the smart grid environment • Reflects the modernization of electric utility power systems with the extensive use of computer, sensor, and data communications technologies, providing benefits to energy consumers and utility companies alike • The leading author heads a group of researchers focusing on the construction of smart grid and smart substation for Sichuan Power Grid, one of the largest in China’s power system
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage. The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging. This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students in relevant disciplines.
This book presents theoretical explorations of several fundamental problems in the dynamics and control of flexible beam systems. By integrating fresh concepts and results to form a systematic approach to control, it establishes a basic theoretical framework. It includes typical control design examples verified using MATLAB simulation, which in turn illustrate the successful practical applications of active vibration control theory for flexible beam systems. The book is primarily intended for researchers and engineers in the control system and mechanical engineering community, offering them a unique resource.
This book represents a significant advance in the field of evidence-based acupuncture, specifically in regard to neurological disorders. It is a testament to the promising future of acupuncture, integrating the complexities of the human brain with the healing art of acupuncture. Each chapter leads readers to an expanded perspective where past and future, tradition and technology, converge in the pursuit of healing and well-being. In recent decades, technologies like functional magnetic resonance imaging (fMRI) have revolutionized our understanding of the human brain, enabling scientists to observe the brain’s response to acupuncture in real-time. Tracing the pathways from acupoint to brain structure reveals fresh insights on the therapeutic function of acupoints and meridians. Participate in this journey to understand how acupuncture influences the brain, exploring new frontiers in the treatment and understanding of brain-related conditions. This book offers a rich blend of traditional healing wisdom and contemporary scientific insight.
The cost of drug development is increasing, and investment returns are decreasing. The number of drugs approved by FDA is in decline in terms of the number of new molecular entities (NMEs). Amongst the reasons noted for this are the adverse side effects and reduced efficiency of many of the potential compounds. This is a problem both for the pharmaceutical industry and for those suffering from diseases for which there are no or few available treatments. Advances in computational chemistry, computer science, structural biology and molecular biology have all contributed to improved drug design strategies and reduced the time taken for drug discovery. By interfacing cheminformatics and bioinformatics with systems biology we can create a powerful tool for understanding the mechanisms of patho-physiological systems and identifying lead molecules for various diseases. This integration of drug design approaches can also play a crucial role in the prediction and rationalization of drug effects and side effects, improving safety and efficacy and leading to better approval rates. Addressing the lack of knowledge on the fundamental aspects of the various computational tools for drug discovery, this book is a compilation of recent bioinformatics and cheminformatics approaches, and their integration with systems biology. Written primarily for researchers and academics in chem- and bioinformatics, it may also be a useful resource for advanced-level students.
Big Mechanisms in Systems Biology: Big Data Mining, Network Modeling, and Genome-Wide Data Identification explains big mechanisms of systems biology by system identification and big data mining methods using models of biological systems. Systems biology is currently undergoing revolutionary changes in response to the integration of powerful technologies. Faced with a large volume of available literature, complicated mechanisms, small prior knowledge, few classes on the topics, and causal and mechanistic language, this is an ideal resource. This book addresses system immunity, regulation, infection, aging, evolution, and carcinogenesis, which are complicated biological systems with inconsistent findings in existing resources. These inconsistencies may reflect the underlying biology time-varying systems and signal transduction events that are often context-dependent, which raises a significant problem for mechanistic modeling since it is not clear which genes/proteins to include in models or experimental measurements. The book is a valuable resource for bioinformaticians and members of several areas of the biomedical field who are interested in an in-depth understanding on how to process and apply great amounts of biological data to improve research. Written in a didactic manner in order to explain how to investigate Big Mechanisms by big data mining and system identification Provides more than 140 diagrams to illustrate Big Mechanism in systems biology Presents worked examples in each chapter
Nonlinear Stochastic Control and Filtering with Engineering-oriented Complexities presents a series of control and filtering approaches for stochastic systems with traditional and emerging engineering-oriented complexities. The book begins with an overview of the relevant background, motivation, and research problems, and then: Discusses the robust stability and stabilization problems for a class of stochastic time-delay interval systems with nonlinear disturbances Investigates the robust stabilization and H∞ control problems for a class of stochastic time-delay uncertain systems with Markovian switching and nonlinear disturbances Explores the H∞ state estimator and H∞ output feedback controller design issues for stochastic time-delay systems with nonlinear disturbances, sensor nonlinearities, and Markovian jumping parameters Analyzes the H∞ performance for a general class of nonlinear stochastic systems with time delays, where the addressed systems are described by general stochastic functional differential equations Studies the filtering problem for a class of discrete-time stochastic nonlinear time-delay systems with missing measurement and stochastic disturbances Uses gain-scheduling techniques to tackle the probability-dependent control and filtering problems for time-varying nonlinear systems with incomplete information Evaluates the filtering problem for a class of discrete-time stochastic nonlinear networked control systems with multiple random communication delays and random packet losses Examines the filtering problem for a class of nonlinear genetic regulatory networks with state-dependent stochastic disturbances and state delays Considers the H∞ state estimation problem for a class of discrete-time complex networks with probabilistic missing measurements and randomly occurring coupling delays Addresses the H∞ synchronization control problem for a class of dynamical networks with randomly varying nonlinearities Nonlinear Stochastic Control and Filtering with Engineering-oriented Complexities describes novel methodologies that can be applied extensively in lab simulations, field experiments, and real-world engineering practices. Thus, this text provides a valuable reference for researchers and professionals in the signal processing and control engineering communities.
This book establishes several weak limit laws for problems in geometric extreme value theory. We find the limit law of the maximum Euclidean distance of i.i.d. points, as the number of points tends to infinity, under certain assumptions on the underlying distribution. One of the methods is also applicable for some other functionals, such as the maximum area or the maximum perimeter of triangles formed by point triplets.
This atlas is designed to be a user-friendly bench-side reference for pathology trainees and general pathologists in handling and interpreting specimens of hepatocellular carcinoma. It provides over 550 high-quality gross and microscopic photos focusing on hepatocellular carcinoma and its mimickers, and demonstrating a full range of various histological variants of hepatocellular carcinoma. Introductory text in each chapter summarises salient clinical associations, pathological features, and molecular alterations of different variants of hepatocellular carcinoma. Differentiation between hepatocellular carcinoma and its mimickers is illustrated through various case studies. The authors are nationally and internationally recognized hepatopathologists in the Asian-Pacific regions (Hong Kong, Korea, the Philippines, and Singapore), in which the incidence of hepatocellular carcinoma is high.The authors are nationally and internationally recognized hepatopathologists in the Asian-Pacific regions (Hong Kong, Korea, the Philippines, and Singapore), in which the incidence of hepatocellular carcinoma is high.The authors are nationally and internationally recognized hepatopathologists in the Asian-Pacific regions (Hong Kong, Korea, the Philippines, and Singapore), in which the incidence of hepatocellular carcinoma is high.The authors are nationally and internationally recognized hepatopathologists in the Asian-Pacific regions (Hong Kong, Korea, the Philippines, and Singapore), in which the incidence of hepatocellular carcinoma is high.The authors are nationally and internationally recognized hepatopathologists in the Asian-Pacific regions (Hong Kong, Korea, the Philippines, and Singapore), in which the incidence of hepatocellular carcinoma is high./divThe authors are nationally and internationally recognized hepatopathologists in the Asian-Pacific regions (Hong Kong, Korea, the Philippines, and Singapore), in which the incidence of hepatocellular carcinoma is high./divThe authors are nationally and internationally recognized hepatopathologists in the Asian-Pacific regions (Hong Kong, Korea, the Philippines, and Singapore), in which the incidence of hepatocellular carcinoma is high./div
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.