Robust near-threshold QDI circuit analysis and design

The two most important digital-system design goals today are to reduce power consumption and to increase reliability. Reductions in power consumption improve battery life in the mobile space and reductions in energy lower operating costs in the datacenter. Increased robustness and reliability shorten down time, improve yield, and are invaluable in the context of safety-critical systems. While optimizing towards these two goals is important at all design levels, optimizations at the circuit level have the furthest reaching effects; they apply to all digital systems. This dissertation presents a study of robust minimum-energy digital circuit design and analysis. It introduces new device models, metrics, and methods of calculation—all necessary first steps towards building better systems—and demonstrates how to apply these techniques. It analyzes a fabricated chip (a full-custom QDI microcontroller designed at Caltech and taped-out in 40-nm silicon) by calculating the minimum energy operating point and quantifying the chip’s robustness in the face of both timing and functional failures.

Analysis-aware design of embedded systems software

In the past many different methodologies have been devised to support software development and different sets of methodologies have been developed to support the analysis of software artefacts. We have identified this mismatch as one of the causes of the poor reliability of embedded systems software. The issue with software development styles is that they are ``analysis-agnostic.'' They do not try to structure the code in a way that lends itself to analysis. The analysis is usually applied post-mortem after the software was developed and it requires a large amount of effort. The issue with software analysis methodologies is that they do not exploit available information about the system being analyzed.

In this thesis we address the above issues by developing a new methodology, called "analysis-aware" design, that links software development styles with the capabilities of analysis tools. This methodology forms the basis of a framework for interactive software development. The framework consists of an executable specification language and a set of analysis tools based on static analysis, testing, and model checking. The language enforces an analysis-friendly code structure and offers primitives that allow users to implement their own testers and model checkers directly in the language. We introduce a new approach to static analysis that takes advantage of the capabilities of a rule-based engine. We have applied the analysis-aware methodology to the development of a smart home application.

Phase unwrapping based on branch cut placing and reliability ordering

A new 2-D quality-guided phase-unwrapping algorithm, based on the placement of the branch cuts, is presented. Its framework consists of branch cut placing guided by an original quality map and reliability ordering performed on a final quality map. To improve the noise immunity of the new algorithm, a new quality map, which is used as the original quality map to guide the placement of the branch cuts, is proposed. After a complete description of the algorithm and the quality map, several wrapped images are used to examine the effectiveness of the algorithm. Computer simulation and experimental results make it clear that the proposed algorithm works effectively even when a wrapped phase map contains error sources, such as phase discontinuities, noise, and undersampling. (c) 2005 Society of Photo-Optical Instrumentation Engineers.

Phase unwrapping based on branch cut placing and reliability ordering

A new 2-D quality-guided phase-unwrapping algorithm, based on the placement of the branch cuts, is presented. Its framework consists of branch cut placing guided by an original quality map and reliability ordering performed on a final quality map. To improve the noise immunity of the new algorithm, a new quality map, which is used as the original quality map to guide the placement of the branch cuts, is proposed. After a complete description of the algorithm and the quality map, several wrapped images are used to examine the effectiveness of the algorithm. Computer simulation and experimental results make it clear that the proposed algorithm works effectively even when a wrapped phase map contains error sources, such as phase discontinuities, noise, and undersampling. (c) 2005 Society of Photo-Optical Instrumentation Engineers.

Saline-saturated DMSO-EDTA as a storage medium for microbial DNA analysis from coral mucus swab samples

The mucus surface layer of corals plays a number of integral roles in their overall health and fitness. This mucopolysaccharide coating serves as vehicle to capture food, a protective barrier against physical invasions and trauma, and serves as a medium to host a community of microorganisms distinct from the surrounding seawater. In healthy corals the associated microbial communities are known to provide antibiotics that contribute to the coral’s innate immunity and function metabolic activities such as biogeochemical cycling. Culture-dependent (Ducklow and Mitchell, 1979; Ritchie, 2006) and culture-independent methods (Rohwer, et al., 2001; Rohwer et al., 2002; Sekar et al., 2006; Hansson et al., 2009; Kellogg et al., 2009) have shown that coral mucus-associated microbial communities can change with changes in the environment and health condition of the coral. These changes may suggest that changes in the microbial associates not only reflect health status but also may assist corals in acclimating to changing environmental conditions. With the increasing availability of molecular biology tools, culture-independent methods are being used more frequently for evaluating the health of the animal host. Although culture-independent methods are able to provide more in-depth insights into the constituents of the coral surface mucus layer’s microbial community, their reliability and reproducibility rely on the initial sample collection maintaining sample integrity. In general, a sample of mucus is collected from a coral colony, either by sterile syringe or swab method (Woodley, et al., 2008), and immediately placed in a cryovial. In the case of a syringe sample, the mucus is decanted into the cryovial and the sealed tube is immediately flash-frozen in a liquid nitrogen vapor shipper (a.k.a., dry shipper). Swabs with mucus are placed in a cryovial, and the end of the swab is broken off before sealing and placing the vial in the dry shipper. The samples are then sent to a laboratory for analysis. After the initial collection and preservation of the sample, the duration of the sample voyage to a recipient laboratory is often another critical part of the sampling process, as unanticipated delays may exceed the length of time a dry shipper can remain cold, or mishandling of the shipper can cause it to exhaust prematurely. In remote areas, service by international shipping companies may be non-existent, which requires the use of an alternative preservation medium. Other methods for preserving environmental samples for microbial DNA analysis include drying on various matrices (DNA cards, swabs), or placing samples in liquid preservatives (e.g., chloroform/phenol/isoamyl alcohol, TRIzol reagent, ethanol). These methodologies eliminate the need for cold storage, however, they add expense and permitting requirements for hazardous liquid components, and the retrieval of intact microbial DNA often can be inconsistent (Dawson, et al., 1998; Rissanen et al., 2010). A method to preserve coral mucus samples without cold storage or use of hazardous solvents, while maintaining microbial DNA integrity, would be an invaluable tool for coral biologists, especially those in remote areas. Saline-saturated dimethylsulfoxide-ethylenediaminetetraacetic acid (20% DMSO-0.25M EDTA, pH 8.0), or SSDE, is a solution that has been reported to be a means of storing tissue of marine invertebrates at ambient temperatures without significant loss of nucleic acid integrity (Dawson et al., 1998, Concepcion et al., 2007). While this methodology would be a facile and inexpensive way to transport coral tissue samples, it is unclear whether the coral microbiota DNA would be adversely affected by this storage medium either by degradation of the DNA, or a bias in the DNA recovered during the extraction process created by variations in extraction efficiencies among the various community members. Tests to determine the efficacy of SSDE as an ambient temperature storage medium for coral mucus samples are presented here.

Efficient parametric uncertainty analysis within the hybrid Finite Element/Statistical Energy Analysis method

This paper is concerned with the development of efficient algorithms for propagating parametric uncertainty within the context of the hybrid Finite Element/Statistical Energy Analysis (FE/SEA) approach to the analysis of complex vibro-acoustic systems. This approach models the system as a combination of SEA subsystems and FE components; it is assumed that the FE components have fully deterministic properties, while the SEA subsystems have a high degree of randomness. The method has been recently generalised by allowing the FE components to possess parametric uncertainty, leading to two ensembles of uncertainty: a non-parametric one (SEA subsystems) and a parametric one (FE components). The SEA subsystems ensemble is dealt with analytically, while the effect of the additional FE components ensemble can be dealt with by Monte Carlo Simulations. However, this approach can be computationally intensive when applied to complex engineering systems having many uncertain parameters. Two different strategies are proposed: (i) the combination of the hybrid FE/SEA method with the First Order Reliability Method which allows the probability of the non-parametric ensemble average of a response variable exceeding a barrier to be calculated and (ii) the combination of the hybrid FE/SEA method with Laplace's method which allows the evaluation of the probability of a response variable exceeding a limit value. The proposed approaches are illustrated using two built-up plate systems with uncertain properties and the results are validated against direct integration, Monte Carlo simulations of the FE and of the hybrid FE/SEA models. © 2013 Elsevier Ltd.

A solid-phase microextraction fiber coated with diglycidyloxycalix[4]arene yields very high extraction selectivity and sensitivity during the analysis of chlorobenzenes in soil

A novel fiber coated with novel sol-gel (5,11,17,23-tetra-tert-butyl-25,27-dihydroxy-26,28-diglycidyloxycalix[4]arene/hydroxy-terminated silicone oil; diglycidyloxy-C[4]/OH-TSO) was prepared for use with headspace solid-phase microextraction (HS-SPME) combined with gas chromatography (GC) and electron capture detection (ECD), which was applied in order to determine nine chlorobenzenes in soil matrices. Due to the improved fiber preparation, which increases the percentage of calixarene in the coating, the new calixarene fiber exhibits very high extraction selectivity and sensitivity to chlorine-substituted compounds. Various parameters affecting the extraction efficiency were optimized in order to maximize the sensitivity during the chlorobenzene analysis. Interferences from different soil matrices with different characteristics were investigated, and the amount extracted was strongly influenced by the matrix. Therefore, a standard addition protocol was performed on the real soil samples. The linear ranges of detection for the chlorobenzenes tested covered three orders of magnitude, and correlation coefficients > 0.9976 and relative standard deviations (RSD) < 8% were observed. The detection limits were found at sub-ng/g of soil levels, which were about an order of magnitude lower than those given by the commercial poly(dimethylsiloxane) (PDMS) coating for most of the compounds. The recoveries ranged from 64 to 109.6% for each analyte in the real kaleyard soil matrix when different concentration levels were determined over the linear range, which confirmed the reliability and feasibility of the HS-SPME/GC-ECD approach using the fiber coated with diglycidyloxy-C[4]/OH-TSO for the ultratrace analysis of chlorobenzenes in complex matrices.

An extension of slow feature analysis for nonlinear blind source separation

We present and test an extension of slow feature analysis as a novel approach to nonlinear blind source separation. The algorithm relies on temporal correlations and iteratively reconstructs a set of statistically independent sources from arbitrary nonlinear instantaneous mixtures. Simulations show that it is able to invert a complicated nonlinear mixture of two audio signals with a high reliability. The algorithm is based on a mathematical analysis of slow feature analysis for the case of input data that are generated from statistically independent sources. © 2014 Henning Sprekeler, Tiziano Zito and Laurenz Wiskott.

Pressurized electrochromatography coupled with electrospray ionization mass spectrometry for analysis of peptides and proteins

Pressurized capillary electrochromatography (pCEC) was coupled with electrospray ionization mass spectrometry (ESI-MS) using a coaxial sheath liquid interface. It was used for separation and analysis of peptides and proteins. The effects of organic modifier and applied voltage on separation were investigated, and the effects of pH value of the mobile phase and the concentration of the electrolyte on ESI-MS signal were investigated. The resolution and detection sensitivity with different separation methods (pCEC, capillary high-performance liquid chromatography) coupled on-line with mass spectrometry were compared for the separation of a peptide mixture. To evaluate the feasibility and reliability of the experimental setup of the system, tryptic digests of cytochrome c and modified protein as real samples were analyzed by using pCEC-ESI-MS.

an analysis for understanding software security requirement methodologies

IEEE Reliabil Soc, Shanghai Jiao Tong Univ

EVALUATION OF THE RELIABILITY OF KALMAN FILTERING RESULTS IN INDUCTIVELY COUPLED PLASMA ATOMIC EMISSION-SPECTROMETRY

This paper deals with the evaluation of the reliability of the analytical results obtained by Kalman filtering. Two criteria for evaluation were compared: one is based on the autocorrelation analysis of the innovation sequence, the so-called NAC criterion; the other is the innovations number, which actually is the autocorrelation coefficient of the innovation sequence at the initial wavelength. Both criteria allow compensation for the wavelength positioning errors in spectral scans, but there exists a difference in the way they work. The NAC criterion can provide information about the reliability of an individual result, which is very useful for the indication of unmodelled emissions, while the innovations number should be incorporated with the normalization of the innovations or seek the help of the sequence itself for the same purpose. The major limitation of the NAC criterion is that it does not allow the theoretical modelling of continuous backgrounds, which, however, is convenient in practical analysis and can be taken with the innovations number criterion.

Column switching-back flushing technique for the analysis of aromatic compounds in gasoline

A simple method, based on the technique of capillary column switching-back flushing, has been developed for the detailed analysis of aromatic compounds in gasoline. The sample was first separated on a 30-m long OV-2330 polar precolumn and then backflushed onto a nonpolar analytical column. The early eluting components from the precolumn and the components of interest (aromatic compounds plus heavier compounds) eluting from the analytical column are all directed to the same flame ionization detection system through a T piece, which permits the quantitative analysis of aromatic hydrocarbons in gasoline by a normalization method using correcting factors. The switching time window of the method is +/-5 s, resulting in easier operation and higher reliability. The reproducibility of the quantitative analysis was less than or equal to3% RSD for real gasoline samples. (C) 2002 Elsevier Science B.V. All rights reserved.

Combining Functional and Structural Reasoning for Safety Analysis of Electrical Designs

C.J.Price, D.R.Pugh, N.A.Snooke, J.E.Hunt, M.S.Wilson, Combining Functional and Structural Reasoning for Safety Analysis of Electrical Designs, Knowledge Engineering Review, vol 12:3, pp.271-287, 1997.

Cost-effectiveness analysis of the diagnosis of meniscus tears.

BACKGROUND: Diagnostic imaging represents the fastest growing segment of costs in the US health system. This study investigated the cost-effectiveness of alternative diagnostic approaches to meniscus tears of the knee, a highly prevalent disease that traditionally relies on MRI as part of the diagnostic strategy. PURPOSE: To identify the most efficient strategy for the diagnosis of meniscus tears. STUDY DESIGN: Economic and decision analysis; Level of evidence, 1. METHODS: A simple-decision model run as a cost-utility analysis was constructed to assess the value added by MRI in various combinations with patient history and physical examination (H&P). The model examined traumatic and degenerative tears in 2 distinct settings: primary care and orthopaedic sports medicine clinic. Strategies were compared using the incremental cost-effectiveness ratio (ICER). RESULTS: In both practice settings, H&P alone was widely preferred for degenerative meniscus tears. Performing MRI to confirm a positive H&P was preferred for traumatic tears in both practice settings, with a willingness to pay of less than US$50,000 per quality-adjusted life-year. Performing an MRI for all patients was not preferred in any reasonable clinical scenario. The prevalence of a meniscus tear in a clinician's patient population was influential. For traumatic tears, MRI to confirm a positive H&P was preferred when prevalence was less than 46.7%, with H&P preferred above that. For degenerative tears, H&P was preferred until the prevalence reaches 74.2%, and then MRI to confirm a negative was the preferred strategy. In both settings, MRI to confirm positive physical examination led to more than a 10-fold lower rate of unnecessary surgeries than did any other strategy, while MRI to confirm negative physical examination led to a 2.08 and 2.26 higher rate than H&P alone in primary care and orthopaedic clinics, respectively. CONCLUSION: For all practitioners, H&P is the preferred strategy for the suspected degenerative meniscus tear. An MRI to confirm a positive H&P is preferred for traumatic tears for all practitioners. Consideration should be given to implementing alternative diagnostic strategies as well as enhancing provider education in physical examination skills to improve the reliability of H&P as a diagnostic test. CLINICAL RELEVANCE: Alternative diagnostic strategies that do not include the use of MRI may result in decreased health care costs without harm to the patient and could possibly reduce unnecessary procedures.