The dogmatist, Moore's proof and transmission failure

Peer reviewed

Forensic analysis of buildings affected by mining subsidence based on Differential Interferometry (Part III)

This work presents a forensic analysis of buildings affected by mining subsidence, which is based on deformation data obtained by Differential Interferometry (DInSAR). The proposed test site is La Union village (Murcia, SE Spain) where subsidence was triggered in an industrial area due to the collapse of abandoned underground mining labours occurred in 1998. In the first part of this work the study area was introduced, describing the spatial and temporal evolution of ground subsidence, through the elaboration of a cracks map on the buildings located within the affected area. In the second part, the evolution of the most significant cracks found in the most damaged buildings was monitored using biaxial extensometric units and inclinometers. This article describes the work performed in the third part, where DInSAR processing of satellite radar data, available between 1998 and 2008, has permitted to determine the spatial and temporal evolution of the deformation of all the buildings of the study area in a period when no continuous in situ instrumental data is available. Additionally, the comparison of these results with the forensic data gathered in the 2005–2008 period, reveal that there is a coincidence between damaged buildings, buildings where extensometers register significant movements of cracks, and buildings deformation estimated from radar data. As a result, it has been demonstrated that the integration of DInSAR data into forensic analysis methodologies contributes to improve significantly the assessment of the damages of buildings affected by mining subsidence.

Partial collapse of a ventilated stone façade: Diagnosis and analysis of the anchorage system

The mechanical behaviour of transventilated façades performed by natural stone is necessarily based on the correct execution of both anchoring elements on the stone cladding as in the ones corresponding to the enclosure support, either with brick masonry walls or reinforced concrete walls. In the case studied in the present work, the origin of the damages suffered on the façade of a building located in Alcoy has been analyzed, where the detachment of part of the outer enclosure occurred. This enclosure is a transventilated façade formed by Bateig Blue stone tiles. To this end, “in situ” tests of the anchoring systems employed have been performed, as well as laboratory tests of mechanical characterization of the material and of different types of anchor, comparing these results with those obtained in both the simplified analytical models of continuum mechanics as developed by the Finite Element Method (FEM).

Formal analysis of human-computer interaction using model checking

Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in human reliability assessment (HRA). This paper investigates an approach to task failure analysis based on patterns of behaviour, by contrast to more traditional event-based approaches. It considers, as a case study, a formal model of an air traffic control (ATC) system which incorporates controller behaviour. The cognitive model is formalised in the CSP process algebra. Patterns of behaviour are expressed as temporal logic properties. Then a model-checking technique is used to verify whether the decomposition of the operator's behaviour into patterns is sound and complete with respect to the cognitive model. The decomposition is shown to be incomplete and a new behavioural pattern is identified, which appears to have been overlooked in the analysis of the data provided by the experiments with the simulator. This illustrates how formal analysis of operator models can yield fresh insights into how failures may arise in interactive systems.

Estimating interactive coefficients for analysing interactive failures

Engineering assets are often complex systems. In a complex system, components often have failure interactions which lead to interactive failures. A system with interactive failures may lead to an increased failure probability. Hence, one may have to take the interactive failures into account when designing and maintaining complex engineering systems. To address this issue, Sun et al have developed an analytical model for the interactive failures. In this model, the degree of interaction between two components is represented by interactive coefficients. To use this model for failure analysis, the related interactive coefficients must be estimated. However, methods for estimating the interactive coefficients have not been reported. To fill this gap, this paper presents five methods to estimate the interactive coefficients including probabilistic method; failure data based analysis method; laboratory experimental method; failure interaction mechanism based method; and expert estimation method. Examples are given to demonstrate the applications of the proposed methods. Comparisons among these methods are also presented.

Flammability and Sensitivity of Materials in Oxygen-Enriched Atmospheres : 13th Volume

"Seventeen peer-reviewed papers cover the latest research on the ignition and combustion of metals and non-metals, oxygen compatibility of components and systems, analysis of ignition and combustion, failure analysis and safety. It includes aerospace, military, scuba diving, and industrial oxygen applications. Topics cover: • Development of safe oxygen systems • Ignition mechanisms within oxygen systems and how to avoid them • Specific hazards that exist with the oxygen mixture breathed by divers in the scuba industry • Issues related to oxygen system level safety • Issues related to oxygen safety in breathing systems • Detailed investigations and discussions related to the burn curves that have been generated for metals that are burning in a standard test fixture This new publication is a valuable resource for professionals in the air separation industries, oxygen manufacturers, manufacturers of materials intended for oxygen service, and users of oxygen and oxygen-enriched atmospheres, including aerospace, medical, industrial gases, chemical processing, steel and metals refining, as well as to military, commercial or recreational diving."--- publisher website

Behaviour and design of crest-fixed profiled steel roof claddings under wind uplift

Profiled steel roof claddings in Australia are commonly made of very thin high tensile steel and are crest-fixed with screw fasteners. At present the design of these claddings is entirely based on testing. In order to improve the understanding of the behaviour of these claddings under wind uplift, and thus the design methods, a detailed investigation consisting of a finite element analysis and laboratory experiments was carried out on two-span roofing assemblies of three common roofing profiles. It was found that the failure of the roof cladding system was due to a local failure (dimpling of crests/pull-through) at the fasteners. This paper presents the details of the investigation, the results and then proposes a design method based on the strength of the screwed connections, for which testing of small-scale roofing models and/or using a simple design formula is recommended.

Large-scale testing of steel frame structures comprising non-compact sections

Application of 'advanced analysis' methods suitable for non-linear analysis and design of steel frame structures permits direct and accurate determination of ultimate system strengths, without resort to simplified elastic methods of analysis and semi-empirical specification equations. However, the application of advanced analysis methods has previously been restricted to steel frames comprising only compact sections that are not influenced by the effects of local buckling. A research project has been conducted with the aim of developing concentrated plasticity methods suitable for practical advanced analysis of steel frame structures comprising non-compact sections. A series of large-scale tests were performed in order to provide experimental results for verification of the new analytical models. Each of the test frames comprised non-compact sections, and exhibited significant local buckling behaviour prior to failure. This paper presents details of the test program including the test specimens, set-up and instrumentation, procedure, and results.

Pull-through failures of crest-fixed steel claddings initiated by transverse splitting

Crest-fixed steel claddings made of thin, high strength steel often suffer from local pull-through failures at their screw connections during high wind events such as storms and hurricanes. Currently there aren't any adequate design provisions for these cladding systems except for the expensive testing provisions. Since the local pull-through failures in the less ductile steel claddings are initiated by transverse splitting at the fastener hole, analytical studies have not been able to determine the pull-through failure loads. Analytical studies could be used if a reliable splitting criterion is available. Therefore a series of two-span cladding tests was conducted on a range of crest-fixed steel cladding systems under simulated wind uplift loads. The strains in the sheeting around the critical fastener holes were measured until the pull-through failure. This paper presents the details of the experimental investigation and the results including a strain criterion for the local pull-through failure.

Cyclic pull-out strength of steel roof and wall cladding systems

When crest-fixed thin steel roof cladding systems are subjected to wind uplift, local pull-through or pull-out failures occur prematurely at their screwed connections. During high wind events such as storms and cyclones these localised failures then lead to severe damage to buildings and their contents. In recent times, the use of thin steel battens/purlins has increased considerably. This has made the pull-out failures more critical in the design of steel cladding systems. Recent research has developed a design formula for the static pull-out strength of steel cladding systems. However, the effects of fluctuating wind uplift loading that occurs during high wind events are not known. Therefore a series of constant amplitude cyclic tests has been undertaken on connections between steel battens made of different thicknesses and steel grades, and screw fasteners with varying diameter and pitch. This paper presents the details of these cyclic tests and the results.

Dynamic effects of electrical pitting in steam-turbine tilting-pad thrust-bearings

This paper merges the analysis of a case history and the simplified theoretical model related to a rather singular phenomenon that may happen in rotating machinery. Starting from the first, a small industrial steam turbine experienced a very strange behavior during megawatt load. When the unit was approaching the maximum allowed power, the temperature of the babbitt metal of the pads of the thrust bearing showed constant increase with an unrecoverable drift. Bearing inspection showed that pad trailing edge had the typical aspect of electrical pitting. This kind of damage was not reparable and bearing pads had to replaced. This problem occurred several times in sequence and was solved only by adding further ground brushes to the shaft-line. Failure analysis indicated electrodischarge machining as the root fault. A specific model, able to take into consideration the effect of electrical pitting and loading capacity decreasing as a consequence of the damage of the babbitt metal, is proposed in the paper and shows that the phenomenon causes the irretrievable failure of the thrust bearing.

Field-effect transistors based on self-organized molecular nanostripes

Charge transport properties in organic semiconductors depend strongly on molecular order. Here we demonstrate field-effect transistors where drain current flows through a precisely defined array of nanostripes made of crystalline and highly ordered molecules. The molecular stripes are fabricated across the channel of the transistor by a stamp-assisted deposition of the molecular semiconductors from a solution. As the solvent evaporates, the capillary forces drive the solution to form menisci under the stamp protrusions. The solute precipitates only in the regions where the solution is confined by the menisci once the critical concentration is reached and self-organizes into molecularly ordered stripes 100-200 nm wide and a few monolayers high. The charge mobility measured along the stripes is 2 orders of magnitude larger than the values measured for spin-coated thin films.

A high mobility P-type DPP-thieno[3,2-b]thiophene copolymer for organic thin-film transistors

A copolymer comprising 1,4-diketopyrrolo[3,4-c]pyrrole (DPP) and thieno[3,2-b]thiophene moieties, PDBT-co-TT, shows high hole mobility of up to 0.94 cm2 V-1 s-1 in organic thin-film transistors. The strong intermolecular interactions originated from π-π stacking and donor-acceptor interaction lead to the formation of interconnected polymer networks having an ordered lamellar structure, which have established highly efficient pathways for charge carrier transport.