Fault-aware Communication Mapping for NoCs with Guaranteed Latency

As feature sizes shrink, transient failures of on-chip network links become a critical problem. At the same time, many applications require guarantees on both message arrival probability and response time. We address the problem of transient link failures by means of temporally and spatially redundant transmission of messages, such that designer-imposed message arrival probabilities are guaranteed. Response time minimisation is achieved by a heuristic that statically assigns multiple copies of each message to network links, intelligently combining temporal and spatial redundancy. Concerns regarding energy consumption are addressed in two ways. First, we reduce the total amount of transmitted messages, and, second, we minimise the application response time such that the resulted time slack can be exploited for energy savings through voltage reduction. The advantages of the proposed approach are guaranteed message arrival probability and guaranteed worst case application response time.     

Effect of deformation route on microstructural development in aluminum processed by equal channel angular extrusion

Aluminum has been deformed by equal channel angular extrusion (ECAE) to obtain submicron-grained structures under different deformation routes. The deformation routes were varied by rotating billets through 0, 90, and 180 deg between each extrusion pass, and were designated as route A, B_C, and C, respectively. Based on quantitative microstructural analysis, the effectiveness of the deformation route is shown to depend upon the different definition used. The order of effectiveness is (a) A > B_C > C for both 90 and 120 deg dies, in terms of the generation of high-angle grain boundaries (HAGBs); (b) B_C > C > A for both 90 and 120 deg dies, in terms of the formation of equiaxed shape of grains; and (c) B_C > A > C for 90 deg die and B_C ∼ A > C for 120 die, in terms of reducing grain size. It is suggested that the generation of HAGBs can be related to the accumulation of nonredundant strain, while the shape and orientation of grains may be linked to the shearing patterns of the deformation route.     

Copper-zirconium tungstate composites exhibiting low and negative thermal expansion influenced by reinforcement phase transformations

A fully-dense Cu-75 vol pct ZrW₂O₈ metal matrix composite was fabricated by hot isostatic pressing of Cu-coated ZrW₂O₈ particles. A small amount of the high-pressure γ-ZrW₂O₈ phase was created during the cooldown and depressurization following densification; near complete transformation to γ-ZrW₂O₈ was achieved by subsequent cold isostatic pressing. The thermal expansion behavior of the composite between 25°C and 325°C was altered by the cold isostatic pressing treatment, and also depended on the length of time that had passed between thermal cycles. The measured thermal expansion coefficients within specific temperature ranges varied from −6·10⁻⁶ K⁻¹ to far above the thermal expansion coefficient of the copper matrix. The complex temperature-dependent expansion/contraction behavior could be justified by considering the evolution of phase transformations taking place in the ZrW₂O₈ phase, which were observed by in-situ synchrotron X-ray diffraction measurements.     

Midplane-symmetry breaking in the flow between two counter-rotating disks

This paper considers the axisymmetric steady flow driven by exact counter rotation of two co-axial disks of finite radius. At the edges of the rotating disks one of three conditions is (typically) imposed: (i) zero velocity, corresponding to a stationary, impermeable, cylindrical shroud (ii) zero normal velocity and zero tangential fluid traction, corresponding to a (confined) free surface and (iii) an edge constraint that is consistent with a similarity solution of von Kármán form. The similarity solution is valid in an infinite geometry and possesses a pitchfork bifurcation that breaks the midplane symmetry at a critical Reynolds number. In this paper, similar bifurcations of the global (finite-domain) flow are sought and comparisons are made between the resulting bifurcation structure and that found for the similarity solution. The aim is to assess the validity of the nonlinear similarity solutions in finite domains and to explore the sensitivity of the solution structure to edge conditions that are implicitly neglected when assuming a self-similar flow. It is found that, whilst the symmetric similarity solution can be quantitatively useful for a range of boundary conditions, the bifurcated structure of the finite-domain flow is rather different for each boundary condition and bears little resemblance to the self-similar flow.     

The effect of solidification time and heat treatment on the fatigue properties of a cast 319 aluminum alloy

Solidification time and heat treatment are known to have a large effect on the microstructure of cast aluminum alloys. This study was conducted to quantify how the fatigue properties of a 319-type aluminum alloy are affected by solidification time and heat treatment. Both porosity-containing (non-hot isostatically pressed (HIP)) and porosity-free (HIP) samples in the T6 (“peak aged”) or T7 (“overaged”) heattreated conditions were tested. As the solidification time increased, the average initiating pore diameter increased and stress-controlled fatigue life decreased. Heat treatment was observed to have a large effect on fatigue properties of the HIP samples. However, in the non-HIP fatigue samples, heat treatment did not significantly change the fatigue life or fatigue strength of the cast 319-type alloy. The absence of an influence of heat treatment on fatigue response is attributed to the predominance of the microporosity in fatigue crack initiation in cast aluminum.     

Analytical results for the plectonemic response of supercoiled DNA

The DNA molecule is modeled as an elastic rod with bending and twisting rigidities, subjected to external tension and twist applied at one end, the other end being clamped. We study the plectonemic equilibrium of such a rod, taking into account the impenetrability constraint. Numerical solutions of this boundary value problem have previously shown that purely elastic models can reproduce the supercoiling response of the DNA molecule. Using a variational approach, we derive analytical formulae for the elastic response of the filament, and extend former numerical results.     

Algorithms in the W-Hierarchy

We show new upper bounds for problems in the W-hierarchy of fixed-parameter complexity. A crucial ingredient of our proofs is an extension to the W-RAM model, which permits more-powerful operations but remains equivalent to the original. We use the extended model to give new upper bounds for Subsetsum, Maximum Irredundant Set, and various problems concerning intersection of finite-state machines.     

Polynomial-Space Decidable Membership Problems for Recurrent Systems over Sets of Natural Numbers

A finite recurrent system over sets of natural numbers of dimension n is a pair composed of n n-ary functions over sets of natural numbers and an n-tuple of singleton sets of natural numbers. Every function is applied to the entries of the tuple and computes a set of natural numbers, that may also be empty. The results are composed into another tuple, and the process is started anew. Thus, a finite recurrent system defines an infinite sequence of n-tuples containing sets of natural numbers. The last entry of a generated n-tuple is called the output of a step, and the union of the output sets of all steps is the set defined by the finite recurrent system. Membership problems ask whether a given number is in a specified output set or in some output set. We study membership problems for special finite recurrent systems, whose functions are built from the set operations union, intersection and complementation and the arithmetical operations addition and multiplication. Sum and product of two sets of natural numbers are defined elementwise. We restrict the set of operations from which functions are built and determine the impact on the complexity of the membership problems. We focus on PSPACE-decidable membership problems and show completeness results for the complexity classes NL, NP and PSPACE.