Yong Wang – författare

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.

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.

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.

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.

Investigates rheological properties and multiphysics processes in CPB materials around the worldLooks into systematic studies on pipe transport and mechanical properties of CPB under temperature effects Focuses mainly on the effect of temperature on paste transport and mechanical properties under the temperature effect, which provides a theoretical basis for safe and efficient filling operation and associated future research in this fieldOffer in-depth insights into the evolution of the rheological and mechanical properties of CPB under the effect of temperatures

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.

Introduces algebraic properties and laws for true concurrency, one of the foundational concepts of computer science Presents all aspects of algebraic true concurrency, including the basis of semantics, calculi for true concurrency and for axiomatization Integrates all aspects of algebraic theory for true concurrency, along with extensions and applications

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.

Presents all aspects of full algebraic reversible computing, including the basis of semantics, calculi for full reversible computing, and axiomatization for full reversible computingIntroduces algebraic properties and laws for probabilistic computing, one of the foundational concepts of Computer SciencePresents the calculi for probabilistic computing, including the basis of semantics and calculi for reversible computing

Deep Learning for Earth Observation and Climate Monitoring bridges the gap between deep learning and the Earth sciences, offering cutting-edge techniques and applications that are transforming our understanding of the environment. With a focus on practical scenarios, this book introduces readers to the fundamental concepts of deep learning, from classification and image segmentation to anomaly detection and domain adaptability. The book includes practical discussion on regression, parameter retrieval, forecasting, and interpolation, among other topics. With a solid foundational theory, real-world examples, and example codes, it provides a full understanding of how intelligent systems can be applied to enhance Earth observation and especially climate monitoring.This book allows readers to apply learning representations, unsupervised deep learning, and physics-aware models to Earth observation data, enabling them to leverage the power of deep learning to fully utilize the wealth of environmental data from satellite technologies.Introduces deep learning for classification, covering recent improvements in image segmentation and encoding priors, anomaly detection and target recognition, and domain adaptabilityIncludes both learning representations and unsupervised deep learning, covering deep learning picture fusion, regression, parameter retrieval, forecasting, and interpolation from a practical standpointProvides a number of physics-aware deep learning models, including the code and the parameterization of models on a companion website, as well as links to relevant data repositories, allowing readers to test techniques themselves

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.Introduces algebraic properties and laws for structured parallel programming, one of the foundational concepts of Computer ScienceDiscusses modeling and verification of parallel programming language, parallel programming patterns, and distributed systemsDemonstrates parallel programming language with its operational semantics, denotational semantics, axiomatic semantics, and their relations

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 modeling of the three main components in a quantum system: the 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 the 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.Provides readers with an introduction to the algebraic properties and laws relevant to quantum computingShows how quantum and classical computing mixed processes are unified with the same structured operational semantics through the framework of quantum process configurationEstablishes a series of axiomatizations of quantum process algebras

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.Introduces algebraic properties and laws for localities, one of the important concepts of software engineering for concurrent computing systemsDiscusses algebraic theory for static localities and dynamic localities, including the basis of semantics, calculi, and axiomatizationPresents all aspects of localities in truly concurrent process algebras, including Calculus for True Concurrency (CTC), Algebra of Parallelism for True Concurrency (APTC), and Process Calculus for True Concurrency (?)

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.

This book holds the proceedings of the Conference on Applications of Structural Fire Engineering (ASFE 2017), held on September 7-8, 2017, in Manchester, UK. The ASFE’17 conference will be the next in a series (2009, 2011, 2013, 2015) of successful conferences that aim to bring together experts and specialists in design against fire from all over the world to share ideas and to acquire knowledge in the field of structural fire engineering. Practice in structural engineering increasingly accepts the benefits of performancebased approaches to the design of structures for fire resistance. This conference will focus on the application of design methods, both manual and computational, for structures to resist fire. Particularly relevant themes will be fire modelling, simulation of the heat transfer between fire and structures, and modelling of structural behaviour at elevated temperatures using numerical methods or software implementations of design codes.

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 book comprises high-quality peer-reviewed research papers presented at the 4th International Symposium on Computer Science, Digital Economy and Intelligent Systems (CSDEIS2022), held in Wuhan, China, from November 11–13, 2022, organized jointly by the Wuhan University of Technology, Hubei University of Technology, Wuhan University of Science and Technology, the Polish Operational and Systems Society, and the International Center of Informatics and Computer Science (ICICS). The topics discussed in the book include state-of-the-art papers in computer science and their technological applications; intelligent systems and intellectual approaches; digital economics and educational approaches. It is an excellent source of references for researchers, graduate students, engineers, management practitioners, and undergraduate students interested in computer science and its applications in engineering and management.

Environmental science is an interdisciplinary academic field that integrates physical-, biological-, and information sciences to study and solve environmental problems. ESSE - The International Conference on Environmental Science and Sustainable Energy provides a platform for experts, professionals, and researchers to share updated information and stimulate the communication with each other. In 2017 it was held in Suzhou, China June 23-25, 2017.

This book constitutes the thoroughly refereed post-conference proceedings of the Third International ICST Conference on Forensic Applications and Techniques in Telecommunications, Information and Multimedia, E-Forensics 2010, held in Shanghai, China, in November 2010. The 32 revised full papers presented were carefully reviewed and selected from 42 submissions in total. These, along with 5 papers from a collocated workshop of E-Forensics Law, cover a wide range of topics including digital evidence handling, data carving, records tracing, device forensics, data tamper identification, and mobile device locating.

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 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.

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.

This book aims to discuss the core and underlying principles and analysis of the different constraint handling approaches. The main emphasis of the book is on providing an enriched literature on mathematical modelling of the test as well as real-world problems with constraints, and further development of generalized constraint handling techniques.

This book aims to discuss the core and underlying principles and analysis of the different constraint handling approaches. The main emphasis of the book is on providing an enriched literature on mathematical modelling of the test as well as real-world problems with constraints, and further development of generalized constraint handling techniques.

The two-volume set CCIS 2061 and 2062 constitutes the refereed post-conference proceedings of the 18th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2023, held in Changsha, China, during December 15–17, 2023.The 64 revised full papers presented in these proceedings were carefully reviewed and selected from 168 submissions. The papers are organized in the following topical sections: Volume I: Evolutionary Computation and Swarm Intelligence; and Membrane Computing and DNA ComputingVolume II: Machine Learning and Applications; and Intelligent Control and Application.

The two-volume set CCIS 2061 and 2062 constitutes the refereed post-conference proceedings of the 18th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2023, held in Changsha, China, during December 15–17, 2023.The 64 revised full papers presented in these proceedings were carefully reviewed and selected from 168 submissions. The papers are organized in the following topical sections: Volume I: Evolutionary Computation and Swarm Intelligence; and Membrane Computing and DNA ComputingVolume II: Machine Learning and Applications; and Intelligent Control and Application.

This book provides a comprehensive and in-depth analysis of the mixed ownership reform, a timely and critical topic in the Chinese economy.