Reliability aspects of microsensors and micromechatronic actuators for automotive applications

In modern cars microsensors and micromechatronic actuators play an essential and still increasingly important role as the interface between the vehicle with its complex functions of motor management, chassis systems, safety as well as comfort and convenience on the one hand and the respective electronic control units on the other hand. They have to fulfill their task in a harsh environment over the entire lifetime of an automobile. Therefore reliability aspects have moved more and more into the focus of engineering and research activities in microsystem technology. A methodical procedure is described that allows reliability issues to be approached efficiently. The implementation of the methodology is illustrated with real-life examples of reliability aspects of hot film mass air flow sensors, inertial sensors as well as piezoelectric actuators.     

Laboratory simulated slipstream testing of novel sulfur removal processes for gasification application

The Wabash River Integrated Methanol and Power Production from Clean Coal Technologies (IMPPCCT) project is investigating an Early Entrance Coproduction Plant (EECP) concept to evaluate integrated electrical power generation and methanol production from coal and other carbonaceous feedstocks. Research, development and testing (RD&T) that is currently being conducted under the project is evaluating cost effective process systems for removing contaminants, particularly sulfur species, from the generated gas which contains mainly synthesis gas (syngas), CO₂ and steam at concentrations acceptable for the methanol synthesis catalyst. The RD&T includes laboratory testing followed by bench-scale and field testing at the SG Solutions Gasification Plant located in West Terre Haute, Indiana. Actual synthesis gas produced by the plant was utilized at system pressure and temperature for bench-scale field testing.     

A predicted three-dimensional structure of human cytochrome P450: implications for substrate specificity

A three-dimensional structure for human cytochrome P450IA1 waspredicted based on the crystal coordinates of cytochrome P450camfrom Pseudomonas putida. As there was only 15% residue identitybetween the two enzymes, additional information was used toestablish an accurate sequence alignment that is a prerequisitefor model building. Twelve representative eukaryotic sequenceswere aligned and a net prediction of secondary structure wasmatched against the known -helices and ß-sheets ofP450cam. The cam secondary structure provided a fixed main-chainframework onto which loops of appropriate length from the humanP450IA1 structure were added. The model-built structure of thehuman cytochrome conformed to the requirements for the segregationof polar and nonpolar residues between the core and the surface.The first 44 residues of human cytochrome P450 could not bebuilt into the model and sequence analysis suggested that residues1–26 formed a single membrane-spanning segment. Examinationof the sequences of cytochrome P450s from distinct gene familiessuggested specific residues that could account for the differencesin substrate specificity. A major substrate for P450IA1, 3-methyl-cholanthrene,was fitted into the proposed active site and this planar aromaticmolecule could be accommodated into the available cavity. Residuesthat are likely to interact with the haem were identified. Thesequence similarity between 59 eukaryotic enzymes was representedas a dendrogram that in general clustered according to genefamily. Until a crystallographic structure is available, thismodel-building study identifies potential residues in cytochromeP450s important in the function of these enzymes and these residuesare candidates for site-directed mutagenesis.     

TrajStat: GIS-based software that uses various trajectory statistical analysis methods to identify potential sources from long-term air pollution measurement data

Statistical analysis of air mass back trajectories combined with long-term ambient air pollution measurements are useful tools for source identification. Using these methods, the geographic information system (GIS) based software, TrajStat, was developed to view, query, and cluster the trajectories and compute the potential source contribution function (PSCF) and concentration weighted trajectory (CWT) analyses when measurement data are included.     

Distributed Symbolic Bounded Property Checking

In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifies larger models and returns results faster than the sequential version.The core algorithm distributes partitions of the state set to computation nodes after reaching a threshold size. The nodes proceed with image computation on the nodes asynchronously. The main scalability problem of this scheme is the overlap of state set partitions. We present static and dynamic overlap reduction techniques.