SEARCH · Engineering Papers
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
This study focuses on improving the SMT assembly process in a low-volume, high-reliability environment with emphasis on fine pitch and BGA packages. Before a process improvement is carried out, it is important to evaluate where the process stands in terms of process capability.
Technique measures performance of plated-wire memories. Strobe-margin test (SMT) utilizes worst-case testing and automatically gives exact strobe margin. Test is automatic; thus, memory system-level test is superior to tests at component level that use artificial test conditions. Test is significant tool in design and test of plated-wire memory systems. It can rapidly quantify memory-system margin on each production unit and impact of any design changes.
In a hybrid (terrestrial + satellite) mobile personal communications networks environment, a large size satellite footprint (supercell) overlays on a large number of smaller size, contiguous terrestrial cells. We assume that the users have either a terrestrial only single mode terminal (SMT) or a terrestrial/satellite dual mode terminal (DMT) and the ratio of DMT to the total terminals is defined gamma. It is assumed that the call assignments to and handovers between terrestrial cells and satellite supercells take place in a dynamic fashion when necessary. The objectives of this paper are twofold, (1) to propose and define a class of traffic sharing algorithms to manage terrestrial and satellite network resources efficiently by handling call handovers dynamically, and (2) to analyze and evaluate the algorithms by maximizing the traffic load handling capability (defined in erl/cell) over a wide range of terminal ratios (gamma) given an acceptable range of blocking probabilities. Two of the algorithms (G & S) in the proposed class perform extremely well for a wide range of gamma.
A Raman microscope has been coupled to a computer-controlled, two-dimensional linear translator attached to a custom-designed, sealed optical chamber to allow in situ acquisition of space-, and time-resolved spectra of an operating thin graphite/LiCoO2 Li-ion battery. This unique arrangement made it possible to collect continuously series of Raman spectra from a sharply defined edge of the battery exposing the anode (A), separator (S), and cathode (C), during charge and discharge, while the device was moved back and forth under the fixed focused laser beam along an axis normal to the layered A/S/C plane. Clear spectral evidence was obtained for changes in the amount of Li(+) within particles of graphite in the anode, and, to a lesser extent, of LiCoO2 in the cathode, during battery discharge both as a function of position and time. Analysis of time-resolved Raman spectro-micro-topography (SMT) measurements of the type described in this work are expected to open new prospects for assessing the validity of theoretical models aimed at simulating the flow of Li(+) within Li-ion batteries under operating conditions.
Spacecraft in low Earth orbit (LEO) are subjected to many components of the environment, which can cause them to degrade much more rapidly than intended and greatly shorten their functional life. The atomic oxygen, ultraviolet radiation, and cross contamination present in LEO can affect sensitive surfaces such as thermal control paints, multilayer insulation, solar array surfaces, and optical surfaces. The LEO Spacecraft Materials Test (LEO-SMT) program is being conducted to assess the effects of simulated LEO exposure on current spacecraft materials to increase understanding of LEO degradation processes as well as to enable the prediction of in-space performance and durability. Using ground-based simulation facilities to test the durability of materials currently flying in LEO will allow researchers to compare the degradation evidenced in the ground-based facilities with that evidenced on orbit. This will allow refinement of ground laboratory test systems and the development of algorithms to predict the durability and performance of new materials in LEO from ground test results. Accurate predictions based on ground tests could reduce development costs and increase reliability. The wide variety of national and international materials being tested represent materials being functionally used on spacecraft in LEO. The more varied the types of materials tested, the greater the probability that researchers will develop and validate predictive models for spacecraft long-term performance and durability. Organizations that are currently participating in the program are ITT Research Institute (USA), Lockheed Martin (USA), MAP (France), SOREQ Nuclear Research Center (Israel), TNO Institute of Applied Physics (The Netherlands), and UBE Industries, Ltd. (Japan). These represent some of the major suppliers of thermal control and sensor materials currently flying in LEO. The participants provide materials that are exposed to selected levels of atomic oxygen, vacuum ultraviolet radiation, contamination, or synergistic combined environments at the NASA Lewis Research Center. Changes in characteristics that could affect mission performance or lifetime are then measured. These characteristics include changes in mass, solar absorptance, and thermal emittance. The durability of spacecraft materials from U.S. suppliers is then compared with those of materials from other participating countries. Lewis will develop and validate performance and durability prediction models using this ground data and available space data. NASA welcomes the opportunity to consider additional international participants in this program, which should greatly aid future spacecraft designers as they select materials for LEO missions.
The introduction of polythylene -2, 6-Naphthalate (PEN) semicrystalline film with thicknesses of 0.9mu, 1.5mu, 4.0Mu and community. Its unique chemical and high temparterure stability, as well as superior thermo-mechanical properties allow ultra thin ( 2mu) PEN film to be processed into miniature multilayer chip capacitors for surface mount technology (SMT) application that can be used with standard soldering techniques.
The intent of this presentation is to give a brief look into the future of electronic packaging for microspacecraft applications. Advancements in electronic packaging technology areas have developed to the point where a system engineer's visions, concepts, and requirements for a microspacecraft can now be a reality. These new developments are ideal candidates for microspacecraft applications. These technologies are capable of bringing about major changes in how we design future spacecraft while taking advantage of the benefits due to size, weight, power, performance, reliability , and cost. This presentation will also cover some advantages and limitations of surface mount technology (SMT), multichip modules (MCM), and wafer scale integration (WSI), and what is needed to implement these technologies into microspacecraft.
In 2007, International Rectifier (IR) introduced a new version of its DirectFET metal oxide semiconductor field effect transistor (MOSFET) packaging. The new version (referred to as 'Version 2') enhances device moisture resistance, makes surface mount (SMT) assembly of these devices to printed wiring boards (PWBs) more repeatable, and subsequent assembly inspection simpler. In the present study, the National Aeronautics Space Administration (NASA) Jet Propulsion Laboratory (JPL), in collaboration with Stellar Microelectronics (Stellar), continued an evaluation of the DirectFET that they started together in 2006. The present study focused on comparing the two versions of the DirectFET and examining the suitability of the DirectFET devices for space applications. This study evaluated both versions of two DirectFET packaged devices that had both been shown in the 2006 study to have the best electrical and thermal properties: the IRF6635 and IRF6644. The present study evaluated (1) the relative electrical and thermal performance of both versions of each device, (2) the performance through high reliability testing, and (3) the performance of these devices in combination with a range of alternate solder alloys in the extreme thermal environments of deep space....
We used the Kitt Peak 12m (KP12M) and the Submillimeter Telescope (SMT) of the Arizona Radio Observatory to observe comet C/2007 N3 (Lulin). Several molecules (e.g. H2CO, HCN and CS) were clearly detected throughout the observing run. Searches were made for new molecules and cyclopropenylidene (c-C3H2) emission was detected for the first time in a comet.
Since the 1990s, Intel has invested heavily in formal methods, which are now deployed in several domains: hardware, software, firmware, protocols etc. Many different formal methods tools and techniques are in active use, including symbolic trajectory evaluation, temporal logic model checking, SMT-style combined decision procedures, and interactive higher-order logic theorem proving. I will try to give a broad overview of some of the formal methods activities taking place at Intel, and describe the challenges of extending formal verification to new areas and of effectively using multiple formal techniques in combination
MATLAB Simulink is a member of a class of visual languages that are used for modeling and simulating physical and cyber-physical systems. A Simulink model consists of blocks with input and output ports connected using links that carry signals. We extend the type system of Simulink with annotations and dimensions/units associated with ports and links. These types can capture invariants on signals as well as relations between signals. We define a type-checker that checks the wellformedness of Simulink blocks with respect to these type annotations. The type checker generates proof obligations that are solved by SRI's Yices solver for satisfiability modulo theories (SMT). This translation can be used to detect type errors, demonstrate counterexamples, generate test cases, or prove the absence of type errors. Our work is an initial step toward the symbolic analysis of MATLAB Simulink models.
The close approach (0.12 AU) of Comet 103P/Hartley 2 to the Earth only S days prior to perihelion provides a unique opportunity to probe the chemical composition of this object. We will employ the Arizona Radio Observatory's Kitt Peak 12m (KPH12M) and the Submillimeter Telescope (SMT) for observations of multiple molecular species and their isotopologs towards the comet. There will also be an attempt to monitor this object during the EPOXI (Extrasolar Planet Observation. and Deep Impact Extended Investigation) flyby mission, which will obtain high resolution infrared spectra, for a comparison of the molecular inventory and a more accurate assessment of the abundances, sources (e.g. jets or cometismals), and chemistry.
Recently, there have been complimentary observations from multiple facilities to try to unravel the chemical complexity of comets. Incorporating results from various techniques, including: single-dish millimeter wavelength observations, interferometers, and/or IR spectroscopy, one can gain further insight into the abundances, production rates, distributions, and formation mechanisms of molecules in these objects [I]. Such studies have provided great detail towards molecules with a-typical chemistries, such as H2CO [2]. We report spectral observations of C/2006 M4 (SWAN), C/2007 N3 (Lulin), and C/2009 RI (McNaught) with the Arizona Radio Observatory's SMT and 12-m telescopes, as well as the NRAO Greenbank telescope and IRTFCSHELL. Multiple parent volatiles (HCN, CH3OH, CO, CH4, C2H6, and H2O) plus two photodissociation products (CS and OH) have been detected in these objects. We will present a comparison of molecular abundances in these comets to those observed in others, supporting a long-term effort of building a comet taxonomy based on composition. Previous work has revealed a range of abundances of parent species (from "organics-poor" to "organics-rich") with respect to water among comets [3,4,5], however the statistics are stiII poorly constrained and interpretations of the observed compositional diversity are uncertain.
A major observational challenge in cometary science is to quantify the extent to which chemical compounds can be linked to either interstellar or nebular chemistry. Recently, there have been complimentary observations from multiple facilities to try to unravel the chemical complexity of comets and their origins. Incorporating results from various techniques can gain further insight into the abundances, production rates, distributions, and formation mechanisms of molecules in these objects [I]. Such studies have provided great detail towards molecules with a-typical chemistries, such as H2CO [2]. We report multiwavelength spectral observations of comets from two dynamical families including the JFC 103P/Hartley 2 and a long period comet C/2009 PI (Garradd) with the Arizona Radio Observatory's SMT and 12-m telescopes, as well as the NRAO Greenbank telescope, and the James Clerk Maxwell Telescope. Multiple parent volatiles (e.g. HCN, CH30H, CO) as well as daughter products (e.g, CS and 01-1) have been detected in these objects. We will present a comparison of molecular abundances in these comets to those observed in others, supporting a long-term effort of building a comet taxonomy based on composition. Previous work has revealed a range of abundances of parent species (from "organics-poor" to "organics-rich") with respect to water among comets [3,4,5], however the statistics are not well constrained.
Recently, there have been complimentary observations from multiple facilities to try to unravel the chemical complexity of comets. Incorporating results from various techniques, including: single-dish millimeter wavelength observations, interferometers, and/or IR spectroscopy, one can gain further insight into the abundances, production rates, distributions, and formation mechanisms of molecules in these objects [I]. Such studies have provided great detail towards molecules with a-typical chemistries, such as H2CO [2]. We report spectral observations of C/2007 N3 (Lulin), C/2009 R1 (McNaught), 103P/Hartley 2, and C/2009 P1 (Garradd) with the Arizona Radio Observatory's SMT and 12-m telescopes, as well as the NRAO Greenbank telescope and IRTF-CSHELL. Multiple parent volatiles (HCN, CH3OH, CO, CH4, C2H6, and H2O) as well as a number of daughter products (CS and OH) have been detected in these objects. We will present a comparison of molecular abundances in these comets to those observed in others, supporting a long-term effort of building a comet taxonomy based on composition. Previous work has revealed a range of abundances of parent species (from "organics-poor" to "organics-rich") with respect to water among comets [3,4,5], however the statistics are still poorly constrained and interpretations of the observed compositional diversity are uncertain. We gratefully acknowledge support from the NSF Astronomy and Astrophysics Program, the NASA Planetary Astronomy Program, NASA Planetary Atmospheres Program, and the NASA Astrobiology Program.
Regression verification techniques are used to prove equivalence of syntactically similar programs. Checking equivalence of large programs, however, can be computationally expensive. Existing regression verification techniques rely on abstraction and decomposition techniques to reduce the computational effort of checking equivalence of the entire program. These techniques are sound but not complete. In this work, we propose a novel approach to improve scalability of regression verification by classifying the program behaviors generated during symbolic execution as either impacted or unimpacted. Our technique uses a combination of static analysis and symbolic execution to generate summaries of impacted program behaviors. The impact summaries are then checked for equivalence using an o-the-shelf decision procedure. We prove that our approach is both sound and complete for sequential programs, with respect to the depth bound of symbolic execution. Our evaluation on a set of sequential C artifacts shows that reducing the size of the summaries can help reduce the cost of software equivalence checking. Various reduction, abstraction, and compositional techniques have been developed to help scale software verification techniques to industrial-sized systems. Although such techniques have greatly increased the size and complexity of systems that can be checked, analysis of large software systems remains costly. Regression analysis techniques, e.g., regression testing [16], regression model checking [22], and regression verification [19], restrict the scope of the analysis by leveraging the differences between program versions. These techniques are based on the idea that if code is checked early in development, then subsequent versions can be checked against a prior (checked) version, leveraging the results of the previous analysis to reduce analysis cost of the current version. Regression verification addresses the problem of proving equivalence of closely related program versions [19]. These techniques compare two programs with a large degree of syntactic similarity to prove that portions of one program version are equivalent to the other. Regression verification can be used for guaranteeing backward compatibility, and for showing behavioral equivalence in programs with syntactic differences, e.g., when a program is refactored to improve its performance, maintainability, or readability. Existing regression verification techniques leverage similarities between program versions by using abstraction and decomposition techniques to improve scalability of the analysis [10, 12, 19]. The abstractions and decomposition in the these techniques, e.g., summaries of unchanged code [12] or semantically equivalent methods [19], compute an over-approximation of the program behaviors. The equivalence checking results of these techniques are sound but not complete-they may characterize programs as not functionally equivalent when, in fact, they are equivalent. In this work we describe a novel approach that leverages the impact of the differences between two programs for scaling regression verification. We partition program behaviors of each version into (a) behaviors impacted by the changes and (b) behaviors not impacted (unimpacted) by the changes. Only the impacted program behaviors are used during equivalence checking. We then prove that checking equivalence of the impacted program behaviors is equivalent to checking equivalence of all program behaviors for a given depth bound. In this work we use symbolic execution to generate the program behaviors and leverage control- and data-dependence information to facilitate the partitioning of program behaviors. The impacted program behaviors are termed as impact summaries. The dependence analyses that facilitate the generation of the impact summaries, we believe, could be used in conjunction with other abstraction and decomposition based approaches, [10, 12], as a complementary reduction technique. An evaluation of our regression verification technique shows that our approach is capable of leveraging similarities between program versions to reduce the size of the queries and the time required to check for logical equivalence. The main contributions of this work are: - A regression verification technique to generate impact summaries that can be checked for functional equivalence using an off-the-shelf decision procedure. - A proof that our approach is sound and complete with respect to the depth bound of symbolic execution. - An implementation of our technique using the LLVMcompiler infrastructure, the klee Symbolic Virtual Machine [4], and a variety of Satisfiability Modulo Theory (SMT) solvers, e.g., STP [7] and Z3 [6]. - An empirical evaluation on a set of C artifacts which shows that the use of impact summaries can reduce the cost of regression verification.
Submillimeter spectroscopic observations of comets provide an important tool for understanding their chemical composition and enable a taxonomic classification. Aims. We aim to determine the production rates of several parent- and product volatiles and the C-12/C-13 isotopic carbon ratio in the long-period comet C/2004 Q2 (Machholz), which is likely to originate from the Oort Cloud. Methods. The line emission from several molecules in the coma was measured with high signal-to-noise ratio in January 2005 at heliocentric distance of 1.2 AU by means of high-resolution spectroscopic observations using the Submillimeter Telescope (SMT) at the Arizona Radio Observatory (ARO). Results. We have obtained production rates of several volatiles (CH3OH, HCN, H(sup 13)CN, HNC, H2CO, CO, and CS) by comparing the observed and simulated line-integrated intensities. We calculated the synthetic profiles using a radiative transfer code that includes collisions between neutrals and electrons, and the effects of radiative pumping of the fundamental vibrational levels by solar infrared radiation. Furthermore, multiline observations of the CH3OH J = 7-6 series allow us to estimate the rotational temperature using the rotation diagram technique. We find that the CH3OH population distribution of the levels sampled by these lines can be described by a rotational temperature of 40 +/- 3 K. Derived mixing ratios relative to hydrogen cyanide are CO/CH3OH/H2CO/CS/HNC/HC-13N/HCN= 30.9/24.6/4.8/0.57/0.031/0.013/1 assuming a pointing offset of 8" due to the uncertain ephemeris at the time of the observations and the telescope pointing error. Conclusions. The measured relative molecular abundances in C/2004 Q2 (Machholz) are between low- to typical values of those obtained in Oort Cloud comets, suggesting that it has visited the inner solar system previously and undergone thermal processing. The HNC/HCN abundance ratio of approx 3.1% is comparable to that found in other comets, accounting for the dependence on the heliocentric distance, and could possibly be explained by ion-molecule chemical processes in the low-temperature atmosphere. From a tentative HC-13N detection, the measured value of 97 +/- 30 for the HC-12N/HC-13N isotopologue pair is consistent with a telluric value. The outgassing variability observed in the HCN production rates over a period of two hours is consistent with the rotation of the nucleus derived using different observational techniques.
Special processes require special skills, knowledge and experienced application. For over 15 years, the NASA Johnson Space Center's Receiving, Inspection and Test Facility (RITF) has provided Agency-wide NASA Workmanship Standards compliance training, issuing more than 500 to 800 training completion certificates annually. It is critical that technicians and inspectors are trained and that they maintain their proficiency to implement the applicable standards and specifications. Training services include "hands-on" training to engineers, technicians, and inspectors in the areas of electrostatic discharge (ESD), soldering, surface mount technology (SMT), crimping, conformal coating, and fiber-optic terminations.