High temperature transport kinetics in heteroepitaxial LaFeO3 thin films

Heteroepitaxial LaFeO₃(1 1 0) thin films with a thickness of 150 nm were grown on LaAlO₃(0 0 1) by reactive sputtering in an inverted cylindrical magnetron geometry. Equilibrium conductivity was measured as a function of partial pressure of oxygen at T=1000 °C, and logσ plotted vs. logP(O₂) showed a minimum in conductivity for P(O₂)=10⁻¹¹ atm and a linear response between 10⁻¹⁰ and 1 atm. This linear response makes thin films of LaFeO₃ a promising material for oxygen sensor applications. We have also measured the time response of the film conductivity upon an abrupt change in the partial pressure of ambient oxygen from 10⁻² to 10⁻³ atm, which was determined at 60 s for T=700 °C and <3.5 s at T=1000 °C.     

High-Temperature Creep Behavior of Mixed Conducting La0.5Sr0.5Fe1−xCoxO3-δ (0.5≤x≤1) Materials

Steady-state compressive creep rate of La_0.5Sr_0.5Fe_0.5Co_0.5O_3−δ (LSFC) and La_0.5Sr_0.5CoO_3−δ (LSC) is reported in the temperature region 900°–1050°C and stress range 5–28 MPa. The stress exponents for the two materials were 1.71±0.18 and 1.24±0.15, respectively. The activation energy for creep was considerably higher for LSC (619±56 kJ/mol) than for LSFC (392±28 kJ/mol). The grain size exponent for LSC was 1.28±0.14. Considerably higher creep rates were observed for both materials in N₂ compared with air. Relaxation by creep of chemical-induced stresses in oxygen-permeable membranes is addressed, especially at low partial pressure of oxygen.     

Contract-based verification of discrete-time multi-rate Simulink models

This paper presents an approach to modular contract-based verification of discrete-time multi-rate Simulink models. The verification approach uses a translation of Simulink models to sequential programs that can then be verified using traditional software verification techniques. Automatic generation of the proof obligations needed for verification of correctness with respect to contracts, and automatic proofs are also discussed. Furthermore, the paper provides detailed discussions about the correctness of each step in the verification process. The verification approach is demonstrated on a case study involving control software for prevention of pressure peaks in hydraulics systems.     

Reactions between Strontium-Substituted Lanthanum Manganite and Yttria-Stabilized Zirconia: II, Diffusion Couples

Formation of secondary phases and diffusion of cations in diffusion couples of yttria-stabilized zirconia and lanthanum manganite substituted with 0 to 60 mol% strontium have been studied by scanning electron microscopy and energy dispersive X-ray spectroscopy. Only the primary phases were observed after 120 h at 1200°C, while formation of secondary phases was identified already after 1 h heat treatment at 1350°C. The phase composition of the reaction layer altered from La₂Zr₂O₇ to SrZrO₃ at increasing Sr content in La _x Sr_{1- x} MnO₃. The thickness of the reaction layer was increasing with heat treatment time. In diffusion couples of La_0.4Sr_0.6MnO₃ formation of manganese oxide was observed in the perovskite layer after 1 h heat treatment at 1350°C, while isolated grains of SrZrO₃ relatively deep inside the zirconia were observed after longer heat treatment time. Diffusion of Mn into zirconia was observed preferenced along grain boundaries in the early stage of the interface reaction.     

Test beam results of Current Injected Detectors (CID) irradiated up to 5×10 1 MeV neq/cm

Two full size strip detectors were investigated in this study: one with p⁺ strips (p⁺/n⁻/n⁺) and another with n⁺ strips (n⁺/p⁻/p⁺). Both detectors, are made of magnetic Czochralski silicon (MCz-Si) and irradiated to S-LHC fluencies, were tested with 225 GeV muon beam in the CERN H2 area. The Current Injected Detector (CID) sensors were operated in a cooling box capable of providing a −53 °C temperature. Results indicate a relative charge collection efficiency (CCE) at 5×10¹⁵ n_eq/cm² above 30% in irradiated p⁺/n⁻/n⁺ CID detector at 600 V bias voltage. The signal to noise ratio of this CID module was about eight and a forward current of 30 μA was needed for detector biasing. In standard reverse bias, the same detector could not provide a sufficiently large signal for particle tracking purposes. A p-type (n⁺/p⁻/p⁺) sensor was irradiated to a fluence of 2×10¹⁵ n_eq/cm² and measured under the same test beam conditions. According to the theory of CIDs developed by the CERN RD39 Collaboration, this detector module could be biased up to only 230 V due to the low irradiation fluence. The CCE at 230 V was 35% in CID operation and 20% when reverse biased.     

Indoor productivity measured by common response patterns to physical and psychosocial stimuli

Productivity is the essential organizational outcome. It is vaguely understood and difficult to quantify, especially at the individual level in office companies. Our objective was to quantify and describe the part of productivity, which is systematically influenced by the indoor environment. We, therefore, introduce the concept 'indoor productivity,' which is defined by measuring operations. We used the multivariate method Marker Object Projection to transform questionnaire data into an 'indoor productivity index' (IPI), which reflects the relative impact of the variables that systematically influence indoor productivity. The reasoning behind IPI is that indoor productivity cannot be separated from experienced indoor environment and wellness at work. IPI is calculated for each respondent based on own, colleagues', and two fictive respondents' answers. Conservatively, IPI was calculated to constitute about 25% of what determines the productivity of an individual. By using IPI as dependent variable in multiple regression analyses, the relative contribution of all indoor variables was identified. Physical indoor variables were as important as psychosocial ones. During the cold seasons, 'dry air' was the most important factor reducing IPI.     

Influence of processing on stability,microstructure and thermoelectric properties of Ca3Co4 − xO9 + δ

Due to high figure of merit, Ca₃Co_4 ? xO_9 + δ (CCO) has potential as p-type material for high-temperature thermoelectrics. Here, the influence of processing including solid state sintering, spark plasma sintering and post-calcination on stability, microstructure and thermoelectric properties is reported. By a new post-calcination approach, single-phase materials were obtained from precursors to final dense ceramics in one step. The highest zT of 0.11 was recorded at 800 °C for CCO with 98 and 72% relative densities. In situ high-temperature X-ray diffraction in air and oxygen revealed a higher stability of CCO in oxygen (～970 °C) than in air (～930 °C), with formation of Ca₃Co₂O₆ which also showed high stability in oxygen, even at 1125 °C. Since achievement of phase pure high density CCO by post-calcination method in air is challenging, the phase stability of CCO in oxygen is important for understanding and further improvement of the method.     

Specificities of anti-neutrophil autoantibodies in patients with rheumatoid arthritis (RA)

Phosphatidylcholine-phospholipase D has been proposed to play a key role in the transduction of the proliferative responses of a wide range of mitogens and growth factors. We now report that the antigen receptors on T lymphocytes derived from human tonsillar or murine splenic preparations are coupled to phosphatidylcholine (PtdCho)-phospholipase D (PLD) activation following stimulation of these T cells with anti-CD3 antibodies. However, since we also demonstrate that the antigen receptors on murine thymocytes are coupled to PtdCho-PLD activation, we propose that it is unlikely that this PLD pathway plays a central role in the transduction of T-cell proliferative responses, but rather, may be involved in either driving cells into cycle or maintaining cell cycle progression, processes required both for proliferation and activation-induced cell death. Whilst the molecular mechanisms underlying T-cell receptor (TCR)-coupling to PtdCho-PLD activation in these cells have not been fully defined, kinetics studies and experiments using pharmacological inhibitors of protein tyrosine phosphatases (PTPases) and reconstituting CD3-coupled PtdCho-PLD activity in streptolysin-O permeabilized cells, suggest that the TCR/CD3 complex, under optimal conditions of activation, may be predominantly coupled to PtdCho-PLD activation downstream of tyrosine phosphorylation of phospholipase C-gamma (PLC-gamma), phosphatidylinositol (PtdIns)P2 hydrolysis, calcium mobilization and protein kinase C (PKC) activation.     

Performance of a Thermoelectric Module Based on n-Type (La0.12Sr0.88)0.95TiO3−δ and p-Type Ca3Co4−xO9+δ

Here, we present the performance of a thermoelectric (TE) module consisting of n-type (La_0.12Sr_0.88)_0.95TiO₃ and p-type Ca₃Co_4?xO_9+δ materials. The main challenge in this investigation was operating the TE module in different atmospheric conditions, since n-type has optimum TE performance at reducing conditions, while p-type has optimum at oxidizing conditions. The TE module was exposed to two different atmospheres and demonstrated higher stability in N₂ atmosphere than in air. The maximum electrical power output decreased after 40 h when the hot side was exposed to N₂ at 600°C, while only 1 h at 400°C in ambient air was enough to oxidize (La_0.12Sr_0.88)_0.95TiO₃ followed by a reduced electrical power output. The module generated maximum electrical power of 0.9 mW (～?4.7 mW/cm²) at 600°C hot side and δT?～?570 K in N₂, and 0.15 mW (～?0.8 mW/cm²) at 400°C hot side and δT?～?370 K in air. A stability limit of Ca₃Co_3.93O_9+δ at ～?700°C in N₂ was determined by in situ high-temperature x-ray diffraction.

     

Contract-based verification of MATLAB-style matrix programs

MATLAB/Simulink is a popular toolset for developing embedded software. The main target of the toolset is numerical computing applications and the tools offer a rich language for manipulating matrices. This paper presents an approach to automatic, modular, contract-based verification of programs written in a subset of the MATLAB programming language. We focus on efficient handling of the built-in matrix manipulation functions commonly used in MATLAB. We restrict ourselves to the subset of MATLAB suitable for code generation, which means matrix types and shapes can be determined statically. We present an approach to static type and shape inference for matrices that is more strict than MATLAB, but aids verification. The type and shape information is then used in the verification. From the programs and contracts we generate verification conditions that are discharged with an off-the-shelf SMT solver. We discuss two approaches to encode matrix functions and evaluate them on a number of examples. We also investigate the use of k-induction to decrease the need for user annotations. We found our approach to be efficient for programs that manipulate relatively small matrices, which are common in embedded applications.