Stress recovery in geometrically nonlinear membranes by a Hu-Washizu finite element formulation

A class of mixed finite elements based on the Hu-Washizu functional is introduced as a strategy to reduce the spurious stress phenomena encountered with standard or displacement-based formulations for geometrically exact membranes. Selected examples compare the performance of this class of elements with that of the standard formulation and demonstrate that reduction of spurious stresses is obtained and that the stresses are more accurate than those optimally sampled in the standard formulation.     

Simulation of pellet-cladding thermomechanical interaction and fission gas release

This paper summarizes the present status of a computer code that describes some of the main phenomena occurring in a nuclear fuel rod throughout its life. Temperature distribution, thermal expansion, elastic and plastic strains, creep, mechanical interaction between pellet and cladding, fission gas release, gas mixing, swelling, and densification are modeled. The modular structure of the code allows for the incorporation of models to simulate different phenomena and material properties. Collapsible rods can be also simulated.The code is bidimensional, assumes cylindrical symmetry for the rod and uses the finite element method to integrate the differential equations. The stress–strain and heat conduction problems are nonlinear due to plasticity and to the temperature dependence of the thermal conductivity. The fission gas inventory is calculated with a diffusion model, assuming spherical grains and using a one-dimensional finite element scheme. Pressure increase, swelling and densification are coupled with the stress field.Good results are obtained for the simulation of the irradiation tests of the first argentine prototypes of MOX fuels, where the bamboo effect is clearly observed, and of the FUMEX series for the fuel centerline temperature, the inside rod pressure and the fractional gas release.     

Modeling and formal verification of embedded systems based on a Petri net representation

In this paper we concentrate on aspects related to modeling and formal verification of embedded systems. First, we define a formal model of computation for embedded systems based on Petri nets that can capture important features of such systems and allows their representation at different levels of granularity. Our modeling formalism has a well-defined semantics so that it supports a precise representation of the system, the use of formal methods to verify its correctness, and the automation of different tasks along the design process. Second, we propose an approach to the problem of formal verification of embedded systems represented in our modeling formalism. We make use of model checking to prove whether certain properties, expressed as temporal logic formulas, hold with respect to the system model. We introduce a systematic procedure to translate our model into timed automata so that it is possible to use available model checking tools. We propose two strategies for improving the verification efficiency, the first by applying correctness-preserving transformations and the second by exploring the degree of parallelism characteristic to the system. Some examples, including a realistic industrial case, demonstrate the efficiency of our approach on practical applications.     

Towards Efficient Execution of MPI Applications on the Grid: Porting and Optimization Issues

The message passing interface (MPI) is a standard used by many parallel scientific applications. It offers the advantage of a smoother migration path for porting applications from high performance computing systems to the Grid. In this paper Grid-enabled tools and libraries for developing MPI applications are presented. The first is MARMOT, a tool that checks the adherence of an application to the MPI standard. The second is PACX-MPI, an implementation of the MPI standard optimized for Grid environments. Besides the efficient development of the program, an optimal execution is of paramount importance for most scientific applications. We therefore discuss not only performance on the level of the MPI library, but also several application specific optimizations, e.g., for a sparse, parallel equation solver and an RNA folding code, like latency hiding, prefetching, caching and topology-aware algorithms.     

Analysis of fluid flow and energy transport in Czochralski's process

In this paper the conjugate fluid flow and energy transport problem (involving conduction-convection-radiation heat transfer) resulting from the Czochralski crystal growth process is analysed. The solidifying material is treated as a pure and semitransparent substance with material properties depending neither on temperature nor on the wavelength. The solution of the problem is obtained iteratively using two computer codes: FLUENT, a commercial CFD package, and BEM-based in-house code capable of analysing the radiative heat transfer in the entire computational domain.Obtained results not only show velocity field and temperature distribution within the bodies under consideration but also demonstrate the influence of thermal radiation on these quantities.     

The effects of gravity on the features of the interfacial waves in annular two-phase flow

A physical model of interfacial waves in annular two-phase flow was studied in both microgravity and normal gravity. The wave structure was obtained for local film thickness and velocity measurements using a conductance probe technique. It was found that the wave height, and not its width, is strongly affected by changing the gravity level. In fact, the wave height in normal gravity is more than twice that in microgravity. Using an analogous approach to a turbulent, single-phase flow in a rough tube, a preliminary mathematical model was proposed to calculate the wave amplitude. The model fits well with the experimental data and shows that the wave height in normal gravity is approximately 1.7 times the combined thickness of the viscous sublayer and transition zones in the turbulent gas stream. The wave height in microgravity was estimated to be approximately 80% of the total thickness.     

Conversion of Full-Scale Wet Scrubbers to Biotrickling Filters for H2S Control at Publicly Owned Treatment Works

Until recently, biological treatment of odors in biofilters or biotrickling filters was thought to require a longer gas contact time than chemical scrubbing, hence bioreactors for air treatment required a larger footprint. This paper discusses the conversion of chemical scrubbers to biological trickling filters. Initially, research was conducted with a laboratory-scale biotrickling filter. An effective open-pore polyurethane packing material was identified and H2S biotreatment performance was quantified. Key technical issues in determining the general suitability of converting wet scrubbers to biotrickling filters were identified, and a generic ten-step conversion procedure was developed. Following the laboratory research, five full-scale chemical scrubbers treating odorous air at the Sanitation District of Orange County, Calif., were converted to biotrickling filters. The original airflow rate was maintained, resulting in a gas contact time as low as 1.6–3.1?s. The converted biotrickling filters demonstrated an excellent capability for treating high H2S concentrations to concentrations below regulatory limits. This study shows outstanding potential for converting chemical scrubbers to biotrickling filters at publicly owned treatment works.     

Processor Design in 3D Die-Stacking Technologies

Three-dimensional integration is an emerging fabrication technology that vertically stacks multiple integrated chips. The benefits include an increase in device density; much greater flexibility in routing signals, power, and clock; the ability to integrate disparate technologies; and the potential for new 3D circuit and microarchitecture organizations. This article provides a technical introduction to the technology and its impact on processor design. Although our discussions here primarily focus on high-performance processor design, most of the observations and conclusions apply to other microprocessor market segments.     

Postconditioning by Delayed Administration of Ciclosporin A: Implication for Donation after Circulatory Death (DCD)

Heart transplantation is facing a shortage of grafts. Donation after Circulatory Death (DCD) would constitute a new potential of available organs. In the present work, we aimed to evaluate whether Postconditioning (ischemic or with ciclosporin-A (CsA)) could reduce ischemia-reperfusion injury in a cardiac arrest model when applied at the start of reperfusion or after a delay. An isolated rat heart model was used as a model of DCD. Hearts were submitted to a cardiac arrest of 40 min of global warm ischemia (37 °C) followed by 3 h of 4 °C-cold preservation, then 60 min reperfusion. Hearts were randomly allocated into the following groups: control, ischemic postconditioning (POST, consisting of two episodes each of 30 s ischemia and 30 s reperfusion at the onset of reperfusion), and CsA group (CsA was perfused at 250 nM for 10 min at reperfusion). In respective subgroups, POST and CsA were applied after a delay of 3, 10, and 20 min. Necrosis was lower in CsA and POST versus controls (p < 0.01) whereas heart functions were improved (p < 0.01). However, while the POST lost its efficacy if delayed beyond 3 min of reperfusion, CsA treatment surprisingly showed a reduction of necrosis even if applied after a delay of 3 and 10 min of reperfusion (p < 0.01). This cardioprotection by delayed CsA application correlated with better functional recovery and higher mitochondrial respiratory index. Furthermore, calcium overload necessary to induce mitochondrial permeability transition pore (MPTP) opening was similar in all cardioprotection groups, suggesting a crucial role of MPTP in this delayed protection of DCD hearts.     

Alteration in the Synaptic and Extrasynaptic Organization of AMPA Receptors in the Hippocampus of P301S Tau Transgenic Mice

Tau pathology is a hallmark of Alzheimer’s disease (AD) and other tauopathies, but how pathological tau accumulation alters the glutamate receptor dynamics driving synaptic dysfunction is unclear. Here, we determined the impact of tau pathology on AMPAR expression, density, and subcellular distribution in the hippocampus of P301S mice using immunoblot, histoblot, and quantitative SDS-digested freeze-fracture replica labeling (SDS-FRL). Histoblot and immunoblot showed differential regulation of GluA1 and GluA2 in the hippocampus of P301S mice. The GluA2 subunit was downregulated in the hippocampus at 3 months while both GluA1 and GluA2 subunits were downregulated at 10 months. However, the total amount of GluA1-4 was similar in P301S mice and in age-matched wild-type mice. Using quantitative SDS-FRL, we unraveled the molecular organization of GluA1-4 in various synaptic connections at a high spatial resolution on pyramidal cell spines and interneuron dendrites in the CA1 field of the hippocampus in 10-month-old P301S mice. The labeling density for GluA1-4 in the excitatory synapses established on spines was significantly reduced in P301S mice, compared to age-matched wild-type mice, in the strata radiatum and lacunosum-moleculare but unaltered in the stratum oriens. The density of synaptic GluA1-4 established on interneuron dendrites was significantly reduced in P301S mice in the three strata. The labeling density for GluA1-4 at extrasynaptic sites was significantly reduced in several postsynaptic compartments of CA1 pyramidal cells and interneurons in the three dendritic layers in P301S mice. Our data demonstrate that the progressive accumulation of phospho-tau is associated with alteration of AMPARs on the surface of different neuron types, including synaptic and extrasynaptic membranes, leading to a decline in the trafficking and synaptic transmission, thereby likely contributing to the pathological events taking place in AD.