In this paper we discuss the application of a range of techniques to the
verification of mission-critical flight software at NASA’s Jet Propulsion Laboratory.
For this type of application we want to achieve a higher level of confidence than can
be achieved through standard software testing. Unfortunately, given the current...
Metallic glasses are attracting tremendous attention because of their fundamental significance and great potential to be used as structural or functional materials in engineering applications. Significant efforts have been devoted to studying their unique properties as well as their disordered nature. Metallic glasses possess much higher strength and elastic strain...
This thesis presents a Z-parameter based model to predict the substratenoise coupling between two contacts in a heavily doped substrate for frequenciesless than 2 GHz. The empirical model is scalable with contact size and spacingsbetween the contacts and model parameters can be readily extracted from simu-lated or measured data. The...
Reverse osmosis (RO) is being increasingly used in treatment of domestic
wastewater secondary effluent for potable and non-potable reuse. Among other
foulants, dissolved biopolymers, i.e., proteins and polysaccharides, can lead to
severe fouling of RO membranes. In this study, the roles of RO membrane surface
properties in membrane fouling by...
Increasingly congested surface transportation network in urban areas and grow-ing land values make underground transportation systems more attractive for high-ways (i.e., tunnels) and metro system compared to other options [1]. An underground transportation system can preserve the land above for recreational parks, commer-cial buildings, residential homes, or other purposes while...
Analysis of observations on sequential events over time is common in real life. Sequential measurements over time describing the behavior of systems are usually called time series data, which have been collected in a wide range of disciplines. Over the years there have been multiple research areas in studying stochastic...
Novel graphite intercalation compounds (GICs) and associated chemistry have been explored, specifically: (1) containing alkyl- substituted imidazolium cations; (2) a series containing alkaline earth metal (Mg, Ca, Sr, Ba) cations with ethylenediamine (en) co-intercalates; (3) showing reversible intragallery M-M bonding and (4) via electrochemical intercalation of Mg cations with potential...
This thesis examines substrate noise coupling for NMOS transistors in heavily doped substrates. The study begins with the analysis of an NMOS transistor switching noise in a digital inverter at the device level. A resistive substrate network for the NMOS transistor is proposed and verified. Coupling between N+- P+ contacts...
This thesis presents the contributions to substrate noise due to supply coupling and the effect of pin parasitics on the substrate noise generated by digital circuits. Various sources of substrate noise and their effect on analog circuits sharing the same substrate are discussed. A simulation approach to isolate the various...
A series of new ternary graphite intercalation compounds (GICs) containing alkaline earth metal cations (M = Mg, Ca, Sr, Ba) and ethylenediamine (en) are reported. These GICs are deep blue to green in color and can be prepared as phase-pure compounds by the direct reaction of graphite powder with the...