Concrete Solutions 2014


Book Description

The Concrete Solutions series of International Conferences on Concrete Repair began in 2003 with a conference held in St. Malo, France in association with INSA Rennes. Subsequent conferences have seen us partnering with the University of Padua in 2009 and with TU Dresden in 2011. This conference is being held for the first time in the UK, in association with Queen’s University Belfast and brings together delegates from 36 countries to discuss the latest advances and technologies in concrete repair. Earlier conferences were dominated by electrochemical repair, but there has been an interesting shift to more unusual methods, such as bacterial repair of concrete plus an increased focus on service life design aspects and modelling, with debate and discussion on the best techniques and the validity of existing methods. Repair of heritage structures is also growing in importance and a number of the papers have focused on the importance of getting this right, so that we may preserve our rich cultural heritage of historic structures. This book is an essential reference work for those working in the concrete repair field, from Engineers to Architects and from Students to Clients.




Concrete Solutions


Book Description

Concrete Solutions contains the contributions from some 30 countries to Concrete Solutions, the 6th International Conference on Concrete Repair (Thessaloniki, Greece, 20-23 June 2016). Strengthening and retrofitting are major themes in this volume, with NDT and electrochemical repair following closely, discussing the latest advances and technologies in concrete repair. The book brings together some interesting and challenging theoretical approaches and questions if we really understand and approach such topics as corrosion monitoring correctly. Concrete Solutions is an essential reference work for those working in the concrete repair field, from engineers to architects and from students to clients. The Concrete Solutions Series of international conferences on concrete repair began in 2003 with a conference held in St. Malo, France in association with INSA Rennes. Subsequent conferences have seen the Series partnering with the University of Padua (Italy) in 2009, with TU Dresden (Germany) in 2011 and with Queen’s University Belfast (Northern Ireland) in 2014. In 2016 Thessaloniki (Greece) hosted the conference, partnering with both Aristotle University of Thessaloniki (AUTH) and Democritus University of Thrace (DUTH). The next conference in the series will be held in 2019 in Istanbul.




Sustainable Concrete Solutions


Book Description

The challenges facing humanity in the 21st century include climate change, population growth, overconsumption of resources, overproduction of waste and increasing energy demands. For construction practitioners, responding to these challenges means creating a built environment that provides accommodation and infrastructure with better whole-life performance using lower volumes of primary materials, less non-renewable energy, wasting less and causing fewer disturbances to the natural environment. Concrete is ubiquitous in the built environment. It is therefore essential that it is used in the most sustainable way so practitioners must become aware of the range of sustainable concrete solutions available for construction. While sustainable development has been embedded into engineering curricula, it can be difficult for students and academics to be fully aware of the innovations in sustainable construction that are developed by the industry. Sustainable Concrete Solutions serves as an introduction to and an overview of the latest developments in sustainable concrete construction. It provides useful guidance, with further references, to students, researchers, academics and practitioners of all construction disciplines who are faced with the challenge of designing, specifying and constructing with concrete.




Concrete Semantics


Book Description

Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on applications like compilers and program analysers. The distinguishing feature is that all the mathematics has been formalised in Isabelle and much of it is executable. Part I focusses on the details of proofs in Isabelle; Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally. The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts. In this sense it represents a formal approach to computer science, not just semantics. The Isabelle formalisation, including the proofs and accompanying slides, are freely available online, and the book is suitable for graduate students, advanced undergraduate students, and researchers in theoretical computer science and logic.




A Framework for Durability Design with Strain-Hardening Cement-Based Composites (SHCC)


Book Description

This book captures the state of the art of the durability of fibre-reinforced strain-hardening cement-based composites (SHCC) and the durability of structures or structural elements manufactured in full or in part with this class of modern construction materials. Highlights include: - Reflection on durability performance of existing applications in patch repair, a water reservoir and highway bridges. - Guidelines for tensile testing towards durability assessment of cracked SHCC. - New crack pattern related ingress rate indices for water and chloride into cracked SHCC. - The influence of low and high temperatures on SHCC durability performance. - The mechanism of crack control reducing ASR and corrosion rate, and results on chloride-induced corrosion of embedded steel reinforcement. - Self-healing of cracks in SHCC. - A conceptual durability design framework for SHCC and R/SHCC structures and members.




Nondestructive Testing in Composite Materials


Book Description

In this era of technological progress and given the need for welfare and safety, everything that is manufactured and maintained must comply with such needs. We would all like to live in a safe house that will not collapse on us. We would all like to walk on a safe road and never see a chasm open in front of us. We would all like to cross a bridge and reach the other side safely. We all would like to feel safe and secure when taking a plane, ship, train, or using any equipment. All this may be possible with the adoption of adequate manufacturing processes, with non-destructive inspection of final parts and monitoring during the in-service life of components. Above all, maintenance should be imperative. This requires effective non-destructive testing techniques and procedures. This Special Issue is a collection of some of the latest research in these areas, aiming to highlight new ideas and ways to deal with challenging issues worldwide. Different types of materials and structures are considered, different non-destructive testing techniques are employed with new approaches for data treatment proposed as well as numerical simulations. This can serve as food for thought for the community involved in the inspection of materials and structures as well as condition monitoring.




Pursuit of Pattern Languages for Societal Change - PURPLSOC


Book Description

The international PURPLSOC (In Pursuit of Pattern Languages for Societal Change) platform aims to substantiate the relevance of Christopher Alexander’s pattern language approach in all major domains by showing its broad applicability and richness and bringing best practice examples from outside the scientific community into research. This anthology of 19 papers, proceedings of the PURPLSOC 2015 World Conference held at Danube University Krems in Austria, is the first outcome of this discussion and reflection. The papers bring a manifold and broad overview of the current state of the implementation of Alexander’s ideas in divergent fields. Additionally, PURPLSOC offers a platform for the research and discussion of Alexander’s most recent work: “The Nature of Order: An Essay on the Art of Building and the Nature of the Universe” (2004). The four volumes explore the “living process” with its “15 structure-preserving transformations” applied in the “unfolding of wholeness”.




CIGOS 2021, Emerging Technologies and Applications for Green Infrastructure


Book Description

This book highlights the key role of green infrastructure (GI) in providing natural and ecosystem solutions, helping alleviate many of the environmental, social, and economic problems caused by rapid urbanization. The book gathers the emerging technologies and applications in various disciplines involving geotechnics, civil engineering, and structures, which are presented in numerous high-quality papers by worldwide researchers, practitioners, policymakers, and entrepreneurs at the 6th CIGOS event, 2021. Moreover, by sharing knowledge and experiences around emerging GI technologies and policy issues, the book aims at encouraging adoption of GI technologies as well as building capacity for implementing GI practices at all scales. This book is useful for researchers and professionals in designing, building, and managing sustainable buildings and infrastructure.




Eco-efficient Repair and Rehabilitation of Concrete Infrastructures


Book Description

Eco-efficient Repair and Rehabilitation of Concrete Infrastructures provides an updated state-of-the-art review on eco-efficient repair and rehabilitation of concrete infrastructure. The first section focuses on deterioration assessment methods, and includes chapters on stress wave assessment, ground-penetrating radar, monitoring of corrosion, SHM using acoustic emission and optical fiber sensors. Other sections discuss the development and application of several new innovative repair and rehabilitation materials, including geopolymer concrete, sulfoaluminate cement-based concrete, engineered cementitious composites (ECC) based concrete, bacteria-based concrete, concrete with encapsulated polyurethane, and concrete with super absorbent polymer (SAPs), amongst other topics. Final sections focus on crucial design aspects, such as quality control, including lifecycle and cost analysis with several related case studies on repair and rehabilitation. The book will be an essential reference resource for materials scientists, civil and structural engineers, architects, structural designers and contractors working in the construction industry. - Delivers the latest research findings with contributions from leading international experts - Provides fully updated information on the European standard on materials for concrete repair (EN 1504) - Includes an entire sections on the state-of-the-art in NDT, innovative repair and rehabilitation materials, as well as LCC and LCA information




Response of Structures Under Extreme Loading


Book Description

Original research on performance of materials under a wide variety of blasts, impacts, severe loading and fireCritical information for protecting buildings and civil infrastructure against human attack, deterioration and natural disastersTest and design data for new types of concrete, steel and FRP materials This technical book is devoted to the empirical and theoretical analysis of how structures and the materials constituting them perform under the extreme conditions of explosions, fire, and impact. Each of the 119 fully refereed presentations is published here for the first time and was selected because of its original contribution to the science and engineering of how materials, bridges, buildings, tunnels and their components, such as beams and pre-stressed parts, respond to potentially destructive forces. Emphasis is placed on translating empirical data to design recommendations for strengthening structures, including strategies for fire and earthquake protection as well as blast mitigation. Technical details are provided on the development and behavior of new resistant materials, including reinforcements, especially for concrete, steel and their composites.