Communication-efficient and crash-quiescent Omega with unknown membership

The failure detector class Omega (Ω) provides an eventual leader election functionality, i.e., eventually all correct processes permanently trust the same correct process. An algorithm is communication-efficient if the number of links that carry messages forever is bounded by n, being n the number of processes in the system. It has been defined that an algorithm is crash-quiescent if it eventually stops sending messages to crashed processes. In this regard, it has been recently shown the impossibility of implementing Ω crash quiescently without a majority of correct processes. We say that the membership is unknown if each process pi only knows its own identity and the number of processes in the system (that is, i and n), but pi does not know the identity of the rest of processes of the system. There is a type of link (denoted by ADD link) in which a bounded (but unknown) number of consecutive messages can be delayed or lost. In this work we present the first implementation (to our knowledge) of Ω in partially synchronous systems with ADD links and with unknown membership. Furthermore, it is the first implementation of Ω that combines two very interesting properties: communication-efficiency and crash-quiescence when the majority of processes are correct. Finally, we also obtain with the same algorithm a failure detector () such that every correct process eventually and permanently outputs the set of all correct processes.

Development of corrosion of steel bars embedded in mortar made with slag from secondary metallurgy

The aim of this work is to study the evolution of the corrosion rate of reinforcements embedded in mortar specimens that have been partly or fully replaced by the sand ladle furnace white slag. Prisms are manufactured mortar 6cm x 8cm x 2cm in which are embedded reinforcing steel bars of 6mm diameter B500SD. At the time of mixing were added varying amounts of chloride ion content by weight of cement (0%, 0.4%, 0.8%, 1.2%, 2%). The specimens were made totally or partially replacing the white slag, getting four different mixes depending on the degree of substitution. After curing the specimens for 28 days in moist chambers proceeded to dry up naturally. Here are gradually dampened by its conservation in a moist chamber, periodically measuring the corrosion rate of the bars using the technique of polarization curve. The results, in terms of corrosion current and corrosion potential, were compared with those obtained on standard samples, without replacement by slag aggregate. The analysis of results allows us to know, depending on the type of mortar used, the chloride threshold with the depassivation produced steel and the corrosion rates achieved in steels in the active state in terms of mortar moisture, obtained from qualitatively using gravimetric techniques. The results achieved to date support the conclusion that no significant differences in the behavior against corrosion induced by chloride ions, between the steel bars embedded in standard samples and the steel bars embedded in samples including with aggregates from slag. Both the chloride threshold resulting in the depassivation steel as the corrosion rate reached through the bars in an active state are very similar in both types of mortars when they have the same moisture content.

Failure analysis of prestressed anchor bars

Three broken steel bars from a sewed crack in a dam are reported. The inspection of the fracture surfaces of the prestressed bars suggests that fractures were triggered by small cracks and by the inherent brittleness of the bars, as fracture toughness was about 40 MPa m1/2. The analysis of the failures shows that the usual design requirements for prestressing bars fail to warn against brittle failures if some damage exists. Some recommendations, based on the concept of damage tolerance, are suggested to avoid similar unfortunate incidents.

A fracture model for pearlitic steel bars using a cohesive model

The fracture of ductile materials, such as metals, is usually explained with the theory of nucleation, growth and coalescence of microvoids. Based on this theory, many numerical models have been developed, with a special mention to Gurson-type models. These models simulate mathematically the physical growth of microvoids, leading to a progressive development of the internal damage that takes place during a tensile test. In these models, the damage starts to develop in very early stages of the test. Tests carried out by the authors suggest that, in the case of some eutectoid steels such as those used for manufacturing prestressing steel wires, the internal damage that takes place as a result of the growth of microvoids is only noticeable in very late stages of the tensile test. In the authors’ opinion, using a cohesive model as a failure criterion may be interesting in this case; a cohesive model only requires two parameters to be defined, with the fracture energy being one of them, which can be obtained experimentally. In addition to this, given that it is known that the stress triaxiality has a strong influence on the fracture of ductile materials, a cohesive model whose parameters are affected by the value of the stress triaxiality can be considered. This work presents a fracture model for steel specimens in a tensile test, based on a cohesive behaviour and taking into account the effect of stress triaxiality, which is different at each point of the fracture plane.

Fracture behaviour of notched round bars made of PMMA subjected to torsion at -60 °C

This paper presents seventy new experimental results from PMMA notched specimens tested under torsion at 60 C. The notch root radius ranges from 0.025 to 7.0 mm. At this temperature the non-linear effects previously observed on specimens of the same material tested at room temperature strongly reduce. The averaged value of the strain energy density over a control volume is used to assess the critical loads to failure. The radius of the control volume and the critical strain energy density are evaluated a priori by using in combination the mode III critical stress intensity factor from cracked-like specimens and the critical stress to failure detected from semicircular notches with a large notch root radius

Set agreement and the loneliness failure detector in crash-recovery systems

The set agreement problem states that from n proposed values at most n-1 can be decided. Traditionally, this problem is solved using a failure detector in asynchronous systems where processes may crash but not recover, where processes have different identities, and where all processes initially know the membership. In this paper we study the set agreement problem and the weakest failure detector L used to solve it in asynchronous message passing systems where processes may crash and recover, with homonyms (i.e., processes may have equal identities) and without a complete initial knowledge of the membership.

Experimental validation of a fracture model for pearlitic steel bars based on the cohesive zone model

Congreso internacional celebrado en Praga sobre modelos numéricos de fractura en el campo de la ciencia de materiales y estructuras.

Experimental validation of a fracture model for pearlitic steel bars based on the cohesive zone model

Steel is, together with concrete, the most widely used material in civil engineering works. Not only its high strength, but also its ductility is of special interest, since it allows for more energy to be stored before failure. A better understanding of the material behaviour before failure may lead to better structural safety strategies.

Experimental and numerical study of bond response in structural concrete with corroded steel bars

Corrosion can affect the bond between reinforcing bars and concrete and hence the transfer of longitudinal stresses. Although a number of experimental studies on bond failure have been conducted in recent years, the findings have diverged rather widely, due primarily to differing test conditions. The present paper reports on an experimental programme consisting of eccentric pull-out tests run on corroded steel bars in specimens subjected to accelerated or natural corrosion. An axisymmetric bi-dimensional FE model with finite deformations initially developed to study bond mechanics with sound steel bars, has been enhanced to consider bond effects in corroded steel bars. The model simulation is compared to some of the experimental results for corroded and sound bars and the findings are analysed.

Use of Headed Reinforcement Bars in Contruction. A Theoretical Approach to Determine the Dimensions of Anchorage Plates and Experimental Tests on Knee Joints Subjected to a Closing Moment

In order to reduce costs and time while improving quality, durability and sustainability in structural concrete constructions, a widely used material nowadays, special care must be taken in some crucial phases of the project and execution, including the structure design and calculation, the dosage, dumping and curing of concrete: another important aspect is the proper design and execution of assembly plans and construction details. The framework, a name designating the whole reinforcement bars cage already assembled as shown in the drawings, can be made up of several components and implies higher or lower industrialization degree. The framework costs constitute about one third of the price per cubic meter placed in concrete works. The best solutions from all points of view are clearly those involving an easier processing to achieve the same goal, and consequently carrying a high degree of industrialization, meaning quality and safety in the work. This thesis aims to provide an indepth analysis of a relatively new type of anchoring by plate known as headed reinforcement bars, which can potentially replace standard or L-shaped hooks, improving the cleaning of construction details and enabling a faster, more flexible, and therefore a more economical assembly. A literature review on the topic and an overview of typical applications is provided, followed by some examples of specific applications in real projects. Since a strict theoretical formulation used to provide the design plate dimensions has not yet been put forward, an equation is proposed for the side-face blowout strength of the anchorage, based on the capacity of concrete to carry concentrated loads in cases in which no transverse reinforcement is provided. The correlation of the calculated ultimate load with experimental results available in the literature is given. Besides, the proposed formulation can be expanded to cases in which a certain development length is available: using a software for nonlinear finite element analysis oriented to the study of reinforced concrete, numerical tests on the bond-bearing interaction are performed. The thesis ends with a testing of eight corner joints subjected to a closing moment, held in the Structures Laboratory of the Polytechnic University of Madrid, aiming to check whether the design of such plates as stated is adequate for these elements and whether an element with plate-anchored reinforcement is equivalent to one with a traditional construction detail.