Forthcoming Contributions

Table of Contents

Forthcoming Contributions     

A formal methods approach to medical device review

With software playing an increasingly important role in medical devices, regulatory agencies such as the US Food and Drug Administration need effective means for assuring that this software is safe and reliable. The FDA has been striving for a more rigorous engineering-based review strategy to provide this assurance. The use of mathematics-based techniques in the development of software might help accomplish this. However, the lack of standard architectures for medical device software and integrated engineering-tool support for software analysis make a science-based software review process more difficult. The research presented here applies formal modeling methods and static analysis techniques to improve the review process. Regulation of medical device software encompasses reviews of device designs (premarket review) and device performance (postmarket surveillance). The FDA's Center for Devices and Radiological Health performs the premarket review on a device to evaluate its safety and effectiveness. As part of this process, the agency reviews software development life-cycle artifacts for appropriate quality-assurance attributes, which tend to reveal little about the device software integrity.     

FIRE: a fault-independent combinational redundancy identificationalgorithm

FIRE is a novel Fault-Independent algorithm for combinational REdundancy identification. The algorithm is based on a simple concept that a fault which requires a conflict as a necessary condition for its detection is undetectable and hence redundant. FIRE does not use the backtracking-based exhaustive search performed by fault-oriented automatic test generation algorithms, and identifies redundant faults without any search. Our results on benchmark and real circuits indicate that we find a large number of redundancies (about 80% of the combinational redundancies in benchmark circuits), much faster than a test-generation-based approach for redundancy identification. However, FIRE is not guaranteed to identify all redundancies in a circuit     

Fabrication and Electromechanical Characterization of Silver-Clad BSCCO Tapes

The powder-in-tube technique consisting of industrial processes such as wire drawing and rolling has been widely used to fabricate superconducting tapes. In the present investigation a novel technique was adopted to fabricate BSCCO 2223 tapes. Instead of wire drawing, the silver billet was reduced in size by groove rolling. Stress conditions during groove rolling were analyzed and appropriate changes were incorporated to optimize the deformation process. Subsequent thermomechanical treatment resulted in tapes with average critical current densities of 18,000 A/cm². Phase development and microstructural evolution during the thermomechanical treatment were studied using XRD, SEM, and TEM. The electromechanical properties of monofilament and composite BSCCO tapes were evaluated by subjecting them to in situ tensile tests. The strain tolerance of the composite was found to be better than that of the monofilament BSCCO tape.     

Microstructural and magnetic studies on P/M processed (Nd14.9Dy1.9)(Fe65.0Co8.0Cu1.0Ga1.0Nb0.7) B7.5 alloy

Sintered samples of (Nd_14.9 Dy_1.9) (Fe₆₅ Co₈ Cu_1.0 Ga_1.0 Nb_0.7)B_7.5 were prepared and subjected to stepwise annealing in the temperature range 875 K–675 K. The XRD and metallographic (optical and electron microscopy) studies reveal a multi-phase microstructure with each phase showing different solubility of the alloying additions. This alloy has T _C of 705 K with an intrinsic coercivity of 1000 kA/m and energy product of 250 kJ/m³ at RT. Solubility of Co into the matrix phase and that of Ga and Cu into the Nd-rich grain boundary phase are considered to be the main contributing factors for the significant enhancement in T _C and H _ci respectively of the multi-component alloy when compared to those of ternary NdFeB, wherein H _ci = 720 kA/m and T _C = 585 K.     

Inner-Circle Consistency for Wireless Ad Hoc Networks

This paper proposes and evaluates strategies to build reliable and secure wireless ad hoc networks. Our contribution is based on the notion of inner-circle consistency, where local node interaction is used to neutralize errors/attacks at the source, both preventing errors/attacks from propagating in the network and improving the fidelity of the propagated information. We achieve this goal by combining statistical (a proposed fault-tolerant duster algorithm) and security (threshold cryptography) techniques with application-aware checks to exploit the data/computation that is partially and naturally replicated in wireless applications. We have prototyped an inner-circle framework and used it to demonstrate the idea of inner-circle consistency in two significant wireless scenarios: 1) the neutralization of black hole attacks in AODV networks and 2) the neutralization of sensor errors in a target detection/ localization application executed over a wireless sensor network     

A Multilayer Negative-Refractive-Index Transmission-Line (NRI-TL) Metamaterial Free-Space Lens at X-Band

A volumetric free-space negative-refractive-index (NRI) transmission-line (TL) metamaterial lens is described that employs fully printed interdigitated capacitors and meandered inductors designed to exhibit NRI properties at X-band (8-12 GHz). The volumetric topology is realized in a layer-by-layer fashion without any vias, which facilitates easy and rapid fabrication. The fabricated lens was tested for its transmission and dispersion properties using a free-space X-band measurement system consisting of an Agilent network analyzer, standard gain horn antennas, and Rexolite dielectric lenses fabricated in-house, and showed good correspondence with simulations. The focusing ability of the multilayer NRI-TL lens was also verified using a free-space field probing system based on small shielded-loop antennas affixed to a computer-controlled xyz-translator apparatus. Arguably, these results represent the first experimental evidence of coupling between TL-based metamaterials and sources in free space.     

Long-term trends and decadal solar variability in ozone near the tropopause over the Indian region

To investigate the long-term trends and effects of decadal solar variability in the upper tropospheric ozone, data obtained from the Stratospheric Aerosol and Gas Experiment II (SAGE II) aboard the Earth Radiation Budget Satellite (ERBS) during the period 1985–2005 were analysed using a multifunctional regression model over the Indian region (8–40° N; 65–100° E). Analysis of time series spanning these years shows statistically insignificant trends (at the two-sigma level (95% confidence level)) at upper tropospheric pressure levels (10?16 km). This period covers two solar cycles, one lasting from 1985 to 1995 and the other from 1996 to 2005; these are referred to as decade I and decade II, respectively. Since temporal variation in ozone number density indicates 11 year periodicity, trends are statistically significant when calculated separately during each solar cycle. Trend analysis indicates statistically significant positive trends (0.7 ± 1.7% to 3.9 ± 2.9% year^?1 during decade I, and 2.2 ± 1.6% to 4.5 ± 3.0% year^?1 during decade II). In general, higher ozone trends are observed during decade II. Seasonal variation in trends during decade II shows increasing trends during the pre-monsoon (0.8?3.8% year^?1), monsoon (0.8?7.1% year^?1), and post-monsoon (2.8?8.0% year^?1) seasons. The annually averaged solar signal in ozone is found to be of the order of around??5 ± 4.3% to??13.8 ± 6.7%/(100 sfu). Results obtained in the present study are also compared with those obtained by other researchers.     

Two-Color Capillary Electrophoresis with On-Column Excitation and Wave-Guide Based Fluorescent Detection

An optical wave-guide based two-color capillary electrophoresis laser induced fluorescence (CE-LIF) instrument is described. The wave-guide based approach allows for on column excitation and detection with two-color discrimination. The instrument is designed to allow either electrokinetic or hydrodynamic injections. In its present configuration, the attainable limit of detection (LOD, S/N = 3) was 50 X 10⁻²¹ moles of fluorescein with a 488-nm excitation source. This study was designed to test the instrument design for applications in protein analyses. Fluorescent dyes with two different wavelengths were simultaneously separated and detected as were complexes formed by labeled antibodies to NFκB p65 and cdc2p34. Quantification of both proteins in THP-1 cell lysates performed using this approach illustrates a rapid screening application of this instrument.