Kinetics of small fatigue cracks in steel during cyclic loading

The kinetics of development of fatigue microcracks in a high-strength 08Kh14AN4MD steel is studied when a cantilever specimen with several notches is subjected to rotational bending tests. The specific feature of the tests consists in the fact that, when the specimen is loaded at a constant load, different stress amplitudes are realized in different notches. As a result, after the sample has failed across the section with the maximum stress, a longitudinal polished section of the specimen contains fatigue cracks having nucleated in the mouths of the other notches at lower stress amplitudes. A relation between inflection points in the fatigue curve and the conditions of local and developed yield in a notch has been established. Fatigue fracture mechanisms at a superhigh number of loading cycles are studied, and their relation to the structure near a crack is found. A rapid method for estimating the fatigue limit at a superhigh number of loading cycles is proposed.     

Inference of message sequence charts

Software designers draw message sequence charts for early modeling of the individual behaviors they expect from the concurrent system under design. Can they be sure that precisely the behaviors they have described are realizable by some implementation of the components of the concurrent system? If so, can we automatically synthesize concurrent state machines realizing the given MSCs? If, on the other hand, other unspecified and possibly unwanted scenarios are "implied" by their MSCs, can the software designer be automatically warned and provided the implied MSCs? In this paper, we provide a framework in which all these questions are answered positively. We first describe the formal framework within which one can derive implied MSCs and then provide polynomial-time algorithms for implication, realizability, and synthesis.     

Itemset trees for targeted association querying

Association mining techniques search for groups of frequently co-occurring items in a market-basket type of data and turn these groups into business-oriented rules. Previous research has focused predominantly on how to obtain exhaustive lists of such associations. However, users often prefer a quick response to targeted queries. For instance, they may want to learn about the buying habits of customers that frequently purchase cereals and fruits. To expedite the processing of such queries, we propose an approach that converts the market-basket database into an itemset tree. Experiments indicate that the targeted queries are answered in a time that is roughly linear in the number of market baskets, N. Also, the construction of the itemset tree has O(N) space and time requirements. Some useful theoretical properties are proven.     

Critical Infrastructure in the Face of a Predatory Future: Preparing for Untoward Surprise

The editors of this special issue asked Todd LaPorte to reflect on the issues that emerge from the discussions in this special issue and, more in general, from the discussions that have proliferated in the wake of recent crises and disasters. In his contribution, Professor LaPorte contemplates what political leaders can do to prepare for catastrophic surprises. A crucial initiative, he argues, would be the initiation of a public discussion about the level of distress that a society is willing to accept in the pursuit of efficient, reliable critical infrastructures.     

Characterization of strength properties of thin polycrystalline silicon films for MEMS applications

The aim of this work is to characterize the strength properties of polycrystalline silicon (polysilicon) with the use of tensile and bending test specimens. The strength of thin polysilicon films with different geometry, size and stress concentrations has been measured and correlated with the effective size of the specimen and its stress distribution. The test results are evaluated using a probabilistic strength approach based on the weakest link theory with the use of STAU software. The use of statistic methods of strength prediction of polysilicon test structures with a complex geometry and loading based on test values for standard material tests specimen has been evaluated.     

Elastoplastic modelling of subsurface crack growth in rail/wheel contact problems

Propagation of small subsurface cracks subjected to shear under repeated rolling contact load is studied. An analytical crack model (Dugdale) with plastic strips at the two crack tips is employed. Compressive stresses promoting crack closure and friction between crack faces are considered. The triaxial stress state is used in the yield criterion. A damage criterion is suggested based on experimental LCF data. In a numerical study, critical crack lengths are found below which propagation of an existing crack should be effectively suppressed.     

Brittle fracture of high-strength steels at very low temperatures

High-strength steels are used to increase the load carrying capacity of components. However, to guarantee a safe design, it is also necessary to combine high strength with adequate fracture toughness. In this paper, fracture toughness of three high-strength steels with yield strengths ranging from 460 to 890 MPa has been studied at very low temperatures. Taking into account experimental evidence, a new mechanism of cleavage at very low temperatures is proposed. This mechanism considers the possibility of reaching the ideal strength (the stress at which the lattice of a single crystal losses its stability) in the immediate vicinity of the fatigue crack tip. Moreover, a computational model able to calculate the external load needed to produce a catastrophic failure of these steels has been developed.     

Crack closure in fibre metal laminates

GLARE is a fibre metal laminate (FML) built up of alternating layers of S2-glass/FM94 prepreg and aluminium 2024-T3. The excellent fatigue behaviour of GLARE can be described with a recently published analytical prediction model. This model is based on linear elastic fracture mechanics and the assumption that a similar stress state in the aluminium layers of GLARE and monolithic aluminium result in the same crack growth behaviour. It therefore describes the crack growth with an effective stress intensity factor (SIF) range at the crack tip in the aluminium layers, including the effect of internal residual stress as result of curing and the stiffness differences between the individual layers. In that model, an empirical relation is used to calculate the effective SIF range, which had been determined without sufficiently investigating the effect of crack closure. This paper presents the research performed on crack closure in GLARE. It is assumed that crack closure in FMLs is determined by the actual stress cycles in the metal layers and that it can be described with the available relations for monolithic aluminium published in the literature. Fatigue crack growth experiments have been performed on GLARE specimens in which crack growth rates and crack opening stresses have been recorded. The prediction model incorporating the crack closure relation for aluminium 2024-T3 obtained from the literature has been validated with the test results. It is concluded that crack growth in GLARE can be correlated with the effective SIF range at the crack tip in the aluminium layers, if it is determined with the crack closure relation for aluminium 2024-T3 based on actual stresses in the aluminium layers.