Relevance of local parallel theory to the linear stability of laminar separation bubbles

Laminar separation bubbles are thought to be highly non-parallel, and hence global stability studies start from this premise. However, experimentalists have always realized that the flow is more parallel than is commonly believed, for pressure-gradient-induced bubbles, and this is why linear parallel stability theory has been successful in describing their early stages of transition. The present experimental/numerical study re-examines this important issue and finds that the base flow in such a separation bubble becomes nearly parallel due to a strong-interaction process between the separated boundary layer and the outer potential flow. The so-called dead-air region or the region of constant pressure is a simple consequence of this strong interaction. We use triple-deck theory to qualitatively explain these features. Next, the implications of global analysis for the linear stability of separation bubbles are considered. In particular we show that in the initial portion of the bubble, where the flow is nearly parallel, local stability analysis is sufficient to capture the essential physics. It appears that the real utility of the global analysis is perhaps in the rear portion of the bubble, where the flow is highly non-parallel, and where the secondary/nonlinear instability stages are likely to dominate the dynamics.

Proposal for generalised supersymmetry Les Houches Accord for see-saw models and PDG numbering scheme

The SUSY Les Houches Accord (SLHA) 2 extended the first SLHA to include various generalisations of the Minimal Supersymmetric Standard Model (MSSM) as well as its simplest next-to-minimal version. Here, we propose further extensions to it, to include the most general and well-established see-saw descriptions (types I/II/III, inverse, and linear) in both an effective and a simple gauged extension of the MSSM framework. In addition, we generalise the PDG numbering scheme to reflect the properties of the particles. (c) 2012 Elsevier B.V. All rights reserved.

Strain-controlled fatigue in B-modified Ti-6Al-4V alloys

The strain-controlled fatigue behaviour of Ti-6Al-4V alloy with up to 0.11 wt.% B addition was investigated. Results show significant softening when the strain amplitudes, Delta epsilon(T)/2, are >= 0.75%. B addition was found to improve the fatigue life for Delta epsilon(T)/2 <= 0.75% as it corresponds to the elastic regime and hence is strength dominated. At Delta epsilon(T)/2 = 1%, in contrast, the base alloy exhibits higher fatigue life as TiB particle cracking due to strain incompatibility causes easy crack nucleation in the B-modified alloys. (C) 2013 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.

A Constitutive Equation for Grain Boundary Sliding: An Experimental Approach

Although grain boundary sliding (GBS) has been recognized as an important process during high-temperature deformation in crystalline materials, there is paucity in experimental data for characterizing a constitutive equation for GBS. High-temperature tensile creep experiments were conducted, together with measurements of GBS at different strains, stresses, grain sizes, and temperatures. Experimental data obtained on a Mg AZ31 alloy demonstrate that, for the first time, dynamic recrystallization during creep does not alter the contribution of GBS to creep during high-temperature deformation. The experimentally observed invariance of the sliding contribution with strain was used together with the creep data for developing a constitutive equation for GBS in a manner similar to the standard creep equation. Using this new approach, it is demonstrated that the stress, grain size, and temperature dependence for creep and GBS are identical. This is rationalized by a model based on GBS controlled by dislocations, within grains or near-grain boundaries. (C) The Minerals, Metals & Materials Society and ASM International 2013

Non-deterministic transducer models of retransmission protocols over noisy channels

Retransmission protocols such as HDLC and TCP are designed to ensure reliable communication over noisy channels (i.e., channels that can corrupt messages). Thakkar et al. 15] have recently presented an algorithmic verification technique for deterministic streaming string transducer (DSST) models of such protocols. The verification problem is posed as equivalence checking between the specification and protocol DSSTs. In this paper, we argue that more general models need to be obtained using non-deterministic streaming string transducers (NSSTs). However, equivalence checking is undecidable for NSSTs. We present two classes where the models belong to a sub-class of NSSTs for which it is decidable. (C) 2015 Elsevier B.V. All rights reserved.