Yong Wang

Quantum Process Algebra introduces readers to the algebraic properties and laws for quantum computing. The book provides readers with all aspects of algebraic theory for quantum computing, including the basis of semantics and axiomatization for quantum computing. With the assumption of a quantum system, readers will learn to solve the modelling of the three main components in a quantum system: unitary operator, quantum measurement, and quantum entanglement, with full support of quantum and classical computing in closed systems. Next, the book establishes the relationship between probabilistic quantum bisimilarity and classical probabilistic bisimilarity, including strong probabilistic bisimilarity and weak probabilistic bisimilarity, which makes an axiomatization of quantum processes possible. With this framework, quantum and classical computing mixed processes are unified with the same structured operational semantics. Finally, the book establishes a series of axiomatizations of quantum process algebras. These process algebras support nearly all main computation properties. Quantum and classical computing in closed quantum systems are unified with the same equational logic and the same structured operational semantics under the framework of ACP-like probabilistic process algebra. This unification means that the mathematics in the book can be used widely for verification of quantum and classical computing mixed systems, for example, most quantum communication protocols. ACP-like axiomatization also inherits the advantages of ACP, for example, and modularity means that it can be extended in an elegant way.

Under fire conditions, the strong interactions in structures result in different load-carrying mechanisms and drastic redistributions of internal forces in structural members, which are concentrated at and transferred via connections. Fire safety depends on the performance of these connections, including their temperature distribution and load-carrying mechanisms, and good performance ensures structural robustness in fire. Behaviour and Design of Steel and Composite Connections in Fire is the only dedicated book on fire performance of connections in steel and composite structures. Recent experimental and numerical studies, from individual elements to whole, real-scale structures, have indicated that connections are among the most vulnerable and critical parts of these structures. This book synthesises the research findings on this important subject and explains the essential features in an accessible way in one single source. The book is ideal for researchers, structural engineers and fire protection engineers in their applications of performance-based fire engineering.

Truly Concurrent Process Algebra with Localities introduces localities into truly concurrent process algebras. The book explores all aspects of localities in truly concurrent process algebras, such as Calculus for True Concurrency (CTC), which is a generalization of CCS for true concurrency, Algebra of Parallelism for True Concurrency (APTC), which is a generalization of ACP for true concurrency, and ? Calculus for True Concurrency (?). Together, these approaches capture the so-called true concurrency based on truly concurrent bisimilarities, such as pomset bisimilarity, step bisimilarity, history-preserving (hp-) bisimilarity and hereditary history-preserving (hhp-) bisimilarity. This book provides readers with all aspects of algebraic theory for localities, including the basis of semantics, calculi for static localities, axiomatization for static localities, as well as calculi for dynamic localities and axiomatization for dynamic localities.

This book provides a comprehensive and in-depth analysis of the mixed ownership reform, a timely and critical topic in the Chinese economy. Authors approach the subject matter with a unique blend of theoretical perspectives and practical examples, offering insights into the future trajectory of SOEs in China. The book's content spans from the historical evolution of SOEs, the role of state-owned capital, to the impact of mixed ownership on social capital, and the institutional measures required for successful reform. It is intended for academics, students, and practitioners interested in Chinese economy and business. The most important features and benefits of the book include its comprehensive analysis, blend of theory and practice, and forward-looking perspective.

Cemented Paste Backfill: Thickening, Transport and Mechanical Properties covers a wide range of topics, including a new definition of CPB, past participation and flow-induced corrosion of pipeline under the constant temperature condition, multiphysics processes in CPB and the associated consolidation process, the variation of rheological parameters and transport resistance, prediction model for rheological properties, mechanical behavior and properties of CPB and fiber-reinforced CPB, and control technology to reduce the adverse effect of temperature.

Theory of Structured Parallel Programming is a comprehensive guide to structured parallel programming corresponding to traditional structured sequential programming. The book provides readers with comprehensive coverage of theoretical foundations of structured parallel programming, including analyses of parallelism and concurrency, truly concurrent process algebras, building block-based structured parallel programming, modelling and verification of parallel programming language, modelling and verification of parallel programming patterns, as well as modeling and verification of distributed systems. There have been always two ways to approach parallel computing: one is the structured way, and the other is the graph-based (true concurrent) way. The structured way is often based on the interleaving semantics, such as process algebra CCS. Since the parallelism in interleaving semantics is not a fundamental computational pattern (the parallel operator can be replaced by alternative composition and sequential composition), the parallel operator often does not occur as an explicit operator, such as in the mainstream programming languages C, C++, Java, et al.

This book comprehensively covers many aspects of green mine, including the basic situation of green mines, mine facilities, extraction management, ecological environment, scientific and technological innovation, standardized management, environmental protection inspectors, and special tools in response to the needs of green mine construction, assessment, and management. It is highly informative with valuable techniques and tools providing insights both for scholars and practitioners working in green mine field.

Handbook of Truly Concurrent Process Algebra provides readers with a detailed and in-depth explanation of the algebra used for concurrent computing. This complete handbook is divided into five Parts: Algebraic Theory for Reversible Computing, Probabilistic Process Algebra for True Concurrency, Actors – A Process Algebra-Based Approach, Secure Process Algebra, and Verification of Patterns. The author demonstrates actor models which are captured using the following characteristics: Concurrency, Asynchrony, Uniqueness, Concentration, Communication Dependency, Abstraction, and Persistence. Every pattern is detailed according to a regular format to be understood and utilized easily, which includes introduction to a pattern and its verifications. Patterns of the vertical domains are also provided, including the domains of networked objects and resource management. To help readers develop and implement the software patterns scientifically, the pattern languages are also presented.

This book comprehensively covers many aspects of green mine, including the basic situation of green mines, mine facilities, extraction management, ecological environment, scientific and technological innovation, standardized management, environmental protection inspectors, and special tools in response to the needs of green mine construction, assessment, and management. It is highly informative with valuable techniques and tools providing insights both for scholars and practitioners working in green mine field.

Under fire conditions, the strong interactions in structures result in different load-carrying mechanisms and drastic redistributions of internal forces in structural members, which are concentrated at and transferred via connections. Fire safety depends on the performance of these connections, including their temperature distribution and load-carrying mechanisms, and good performance ensures structural robustness in fire. Behaviour and Design of Steel and Composite Connections in Fire is the only dedicated book on fire performance of connections in steel and composite structures. Recent experimental and numerical studies, from individual elements to whole, real-scale structures, have indicated that connections are among the most vulnerable and critical parts of these structures. This book synthesises the research findings on this important subject and explains the essential features in an accessible way in one single source. The book is ideal for researchers, structural engineers and fire protection engineers in their applications of performance-based fire engineering.

Algebraic Theory for True Concurrency presents readers with the algebraic laws for true concurrency. Parallelism and concurrency are two of the core concepts within computer science. This book covers the different realms of concurrency, which enables programs, algorithms or problems to be broken out into order-independent or partially ordered components to improve computation and execution speed. There are two primary approaches for executing concurrency: interleaving concurrency and true concurrency. The main representative of interleaving concurrency is bisimulation/rooted branching bisimulation equivalences which is also readily explored. This work eventually founded the comprehensive axiomatization modulo bisimulation equivalence -- ACP (Algebra of Communicating Processes). The other approach to concurrency is true concurrency. Research on true concurrency is active and includes many emerging applications. First, there are several truly concurrent bisimulation equivalences, including: pomset bisimulation equivalence, step bisimulation equivalence, history-preserving (hp-) bisimulation equivalence, and hereditary history-preserving (hhp-) bisimulation equivalence, the most well-known truly concurrent bisimulation equivalence.

This book is an authoritative account of the latest developments in fire performance and fire resistant design of thin-walled steel structures. It provides a comprehensive review of recent research, including fire tests of thin-walled steel structural members and systems, numerical modelling of heat transfer and structural behaviour, elevated temperature material properties, methods of improving fire resistance of thin-walled steel structures, and performance based fire resistant design methods. Worked examples navigate the reader through some of the complexities of this specialist subject. This is the first book devoted to the fundamental principles of this emerging subject, as thin-walled steel structures are increasingly being used in building construction. It will be valuable to fire protection engineers who want to optimise fire resistant design of thin-walled steel structures, and specialist manufacturers needing to control fire resistance of thin-walled steel structural systems, as well as to the research community.

This English edition monograph is developed and updated from China's best-selling, and award-winning, book on Artificial Intelligence (AI). It covers the foundations as well as the latest developments of AI in a comprehensive and systematic manner. It is a valuable guide for students and researchers on artificial intelligence. A wide range of topics in AI are covered in this book with four distinct features. First of all, the book comprises a comprehensive system, covering the core technology of AI, including the basic theories and techniques of 'traditional' artificial intelligence, and the basic principles and methods of computational intelligence. Secondly, the book focuses on innovation, covering advanced learning methods for machine learning and deep learning techniques and other artificial intelligence that have been widely used in recent years. Thirdly, the theory and practice of the book are highly integrated. There are theories, techniques and methods, as well as many application examples, which will help readers to understand the artificial intelligence theory and its application development. Fourthly, the content structure of the book is quite characteristic, consisting of three parts: (i) knowledge-based artificial intelligence, (ii) data-based artificial intelligence, and (iii) artificial intelligence applications. It is closely related to the core elements of artificial intelligence, namely knowledge, data, algorithms, and computing powers. This reflects the authors' deep understanding of the artificial intelligence discipline.

This book is an authoritative account of the latest developments in fire performance and fire resistant design of thin-walled steel structures. It provides a comprehensive review of recent research, including fire tests of thin-walled steel structural members and systems, numerical modelling of heat transfer and structural behaviour, elevated temperature material properties, methods of improving fire resistance of thin-walled steel structures, and performance based fire resistant design methods. Worked examples navigate the reader through some of the complexities of this specialist subject. This is the first book devoted to the fundamental principles of this emerging subject, as thin-walled steel structures are increasingly being used in building construction. It will be valuable to fire protection engineers who want to optimise fire resistant design of thin-walled steel structures, and specialist manufacturers needing to control fire resistance of thin-walled steel structural systems, as well as to the research community.

Major events—notably the Broadgate fire in London, New York’s World Trade Center collapse, and the Windsor Tower fire in Madrid—as well as the enlightening studies at the Cardington fire research project have given international prominence to performance-based structural fire engineering. As a result, structural fire engineering has increasingly attracted the interest not only of fire and structural engineers but also of researchers and students. And studies in recent years have generated a vast number of findings. Performance-Based Fire Engineering of Structures summarizes the latest knowledge on performance-based approaches to structural fire engineering, enabling readers to critically assess research in the field. Whereas most recent books have been mainly concerned with dissemination of principles encapsulated in established codes of practice such as the Eurocodes, this work addresses in depth: Global structural behaviour and modelling Progressive collapse of structures in fire and the importance of connection robustness The integrity of compartmentation in fire Structural fire engineering under realistic fire conditions and its implications for material properties The limitations of research results and design methods The unexploited potential for advanced fire engineering design This authoritative book draws on the work of internationally active researchers who were core members of the European Network project’s COST C26 working group on fire resistance. It helps readers develop a thorough understanding of how to use advanced fire engineering design to improve structural safety and reduce construction costs.

Major events—notably the Broadgate fire in London, New York’s World Trade Center collapse, and the Windsor Tower fire in Madrid—as well as the enlightening studies at the Cardington fire research project have given international prominence to performance-based structural fire engineering. As a result, structural fire engineering has increasingly attracted the interest not only of fire and structural engineers but also of researchers and students. And studies in recent years have generated a vast number of findings. Performance-Based Fire Engineering of Structures summarizes the latest knowledge on performance-based approaches to structural fire engineering, enabling readers to critically assess research in the field. Whereas most recent books have been mainly concerned with dissemination of principles encapsulated in established codes of practice such as the Eurocodes, this work addresses in depth: Global structural behaviour and modelling Progressive collapse of structures in fire and the importance of connection robustness The integrity of compartmentation in fire Structural fire engineering under realistic fire conditions and its implications for material properties The limitations of research results and design methods The unexploited potential for advanced fire engineering design This authoritative book draws on the work of internationally active researchers who were core members of the European Network project’s COST C26 working group on fire resistance. It helps readers develop a thorough understanding of how to use advanced fire engineering design to improve structural safety and reduce construction costs.