A case study in the mechanical verification of fault tolerance

To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. This question is studied using a prominent example from the fault tolerance literature: the problem of reliable broadcast in point-to-point networks subject to crash failures of processes. The experiences from this case study show how modular specification techniques and rigorous proof re-use can indeed help in such undertakings.     

20.1%‐efficient crystalline silicon solar cell with amorphous silicon rear‐surface passivation

We have developed a crystalline silicon solar cell with amorphous silicon (a‐Si:H) rear‐surface passivation based on a simple process. The a‐Si:H layer is deposited at 225°C by plasma‐enhanced chemical vapor deposition. An aluminum grid is evaporated onto the a‐Si:H‐passivated rear. The base contacts are formed by COSIMA (contact formation to a‐Si:H passivated wafers by means of annealing) when subsequently depositing the front silicon nitride layer at 325°C. The a‐Si:H underneath the aluminum fingers dissolves completely within the aluminum and an ohmic contact to the base is formed. This contacting scheme results in a very low contact resistance of 3.5 ±0.2 mΩ cm² on low‐resistivity (0.5 Ω cm) p‐type silicon, which is below that obtained for conventional Al/Si contacts. We achieve an independently confirmed energy conversion efficiency of 20.1% under one‐sun standard testing conditions for a 4 cm² large cell. Measurements of the internal quantum efficiency show an improved rear surface passivation compared with reference cells with a silicon nitride rear passivation. Copyright © 2005 John Wiley & Sons, Ltd.     

Modification of physicochemical properties of actin filaments suppresses cell fragmentation in the execution phase of staurosporine-induced apoptotic processes

Effects of jasplakinolide (JSP), a stabilizer of F-actin, and latrunculin A (LTA), a destabilizer of F-actin, on a series of events occurring in the execution phase of staurosporine (STS)-induced apoptotic processes were studied using human osteosarcoma 143B cells. Time-dependent apparent increases of the population of cells with collapsed membrane potential of mitochondria (Delta Psi(m)) caused by STS treatment were not due to actual decreases in the Delta Psi(m) per cell, but due to the fragmentation of cells resulting in decreases in the number of active mitochondria per cell. Decreases in the Delta Psi(m) in fragmented cells occurred late in the execution phase. Both JSP and LAT failed to prevent STS-induced release of cytochrome c from mitochondria followed by the activation of caspases 3 and 9, the cleavage of poly (ADP-ribose) polymerase (PARP) and apoptotic nuclear fragmentation. However, both drugs prevented STS-induced apoptotic cell fragmentation and decreases in the Delta Psi(m). These results indicate that physicochemical states of actin filaments play a certain role in the execution phase of STS-induced apoptotic processes.     

Localized Collection of Airborne Analytes: A Transport Driven Approach to Improve the Response Time of Existing Gas Sensor Designs

The detection of single binding has been a recent trend in sensor research introducing various sensor designs where the active sensing elements are nanoscopic in size. Currently, transport and collection of airborne analytes for gas sensors is either diffusion based or non‐localized and it becomes increasingly unlikely for analytes to interact with sensing structures where the active area is shrunk, trading an increased sensitivity with a slow response time. This report introduces a corona discharge based analyte charging method and an electrodynamic nanolens based analyte concentration concept to effectively transport airborne analytes to sensing points to improve the response time of existing gas sensor designs. Localized collection of analytes over a wide range, including microscopic particles, nanoparticles, and small molecules, is demonstrated. In all cases, the collection rate is several orders of magnitudes higher than in the case where the collection is driven by diffusion. The collection scheme is integrated on an existing SERS (surface‐enhanced Raman spectroscopy) based sensor. In terms of response time, the process is able to detect analytes at 9 ppm (parts per million) within 1 s. As a comparison, 1 h is required to reach the same signal level when diffusion‐only‐transport is used.     

Electrical and stability properties and ultrasonic microscope characterisation of low temperature co-fired ceramics resistors

This paper presents systematic investigations of electrical and stability properties of various low temperature co-fired ceramics (LTCC) resistors. One of the goals of this work was to check the compatibility of LTCC materials (tapes, resistive and conductive inks) from various manufacturers. Three commercially available green tapes and three LTCC resistor/conductor systems were examined. The resistive inks with 1 kΩ/sq. nominal sheet resistance were used. Buried (inside) and surface resistors were laminated and fired according to the tape manufacturers’ recommendations. The influence of dimensional effect on sheet resistance and hot temperature coefficient of resistance, the temperature dependence of resistance in a wide temperature range (from −180°C to +130°C), long-term stability of thermally aged as-fired resistors (150°C, 500 h) and durability to high-voltage micro- or nanosecond pulses (50 ns pulses with 4000 V/mm maximum electric field or 10 μs ones with 700–1000 V/mm electrical field) were carried out for electrical and stability characterisation of LTCC resistors. Non-destructive scanning acoustic microscope diagnostics was applied for structure investigation and estimation of lamination and cofiring process quality of buried LTCC resistors.