Yong Wang – författare

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.

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.

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.

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.

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