Search NASA⌕ Search

SEARCH · Search NASA

Results for “Process settings”

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.

At least 469 records · Page 26

Presolar Grains as Tracers of Nebular Processes

This grant provided two years of funding to investigate the abundances of presolar diamond, SiC, and graphite in primitive chondritic meteorites. The original proposal was for a three-year study, but two years of funding were awarded. The proposed work plan for the first year included preparation of acid residues for two meteorites and noble-gas measurements on those residues and residues of two other meteorites that had been previously prepared. The meteorites to be measured were Acfer 003, Adrar 214, RC075, and Axtell. In the second year, the plan called for measuring Renazzo and Murchison, and beginning chemical processing on another set of meteorites, including Murray, which were to be measured in the third year. All of the meteorites listed above have been measured and the results were presented in three abstracts. The project is continuing under follow-on grants and one of two planned major papers is almost ready for submission.

Huss, Gary R.↗

An Overview of the Runtime Verification Tool Java PathExplorer

We present an overview of the Java PathExplorer runtime verification tool, in short referred to as JPAX. JPAX can monitor the execution of a Java program and check that it conforms with a set of user provided properties formulated in temporal logic. JPAX can in addition analyze the program for concurrency errors such as deadlocks and data races. The concurrency analysis requires no user provided specification. The tool facilitates automated instrumentation of a program's bytecode, which when executed will emit an event stream, the execution trace, to an observer. The observer dispatches the incoming event stream to a set of observer processes, each performing a specialized analysis, such as the temporal logic verification, the deadlock analysis and the data race analysis. Temporal logic specifications can be formulated by the user in the Maude rewriting logic, where Maude is a high-speed rewriting system for equational logic, but here extended with executable temporal logic. The Maude rewriting engine is then activated as an event driven monitoring process. Alternatively, temporal specifications can be translated into efficient automata, which check the event stream. JPAX can be used during program testing to gain increased information about program executions, and can potentially furthermore be applied during operation to survey safety critical systems.

Havelund, Klaus↗

Benchmarking Memory Performance with the Data Cube Operator

Data movement across a computer memory hierarchy and across computational grids is known to be a limiting factor for applications processing large data sets. We use the Data Cube Operator on an Arithmetic Data Set, called ADC, to benchmark capabilities of computers and of computational grids to handle large distributed data sets. We present a prototype implementation of a parallel algorithm for computation of the operatol: The algorithm follows a known approach for computing views from the smallest parent. The ADC stresses all levels of grid memory and storage by producing some of 2d views of an Arithmetic Data Set of d-tuples described by a small number of integers. We control data intensity of the ADC by selecting the tuple parameters, the sizes of the views, and the number of realized views. Benchmarking results of memory performance of a number of computer architectures and of a small computational grid are presented.

Frumkin, Michael A.↗

Carbon dioxide warming of the early Earth

Svante Arrhenius' research in atmospheric physics extended beyond the recent past and the near future states of the Earth, which today are at the center of sociopolitical attention. His plan encompassed all of the physical phenomena known at the time to relate to the formation and evolution of stars and planets. His two-volume textbook on cosmic physics is a comprehensive synopsis of the field. The inquiry into the possible cause of the ice ages and the theory of selective wavelength filter control led Arrhenius to consider the surface states of the other terrestrial planets, and of the ancient Earth before it had been modified by the emergence of life. The rapid escape of hydrogen and the equilibration with igneous rocks required that carbon in the early atmosphere prevailed mainly in oxidized form as carbon dioxide, together with other photoactive gases exerting a greenhouse effect orders of magnitude larger than in our present atmosphere. This effect, together with the ensuing chemical processes, would have set the conditions for life to evolve on our planet, seeded from spores spreading through an infinite Universe, and propelled, as Arrhenius thought, by stellar radiation pressure.

NASA Discipline Exobiology↗

INDUCTIVE SYSTEM HEALTH MONITORING WITH STATISTICAL METRICS

Model-based reasoning is a powerful method for performing system monitoring and diagnosis. Building models for model-based reasoning is often a difficult and time consuming process. The Inductive Monitoring System (IMS) software was developed to provide a technique to automatically produce health monitoring knowledge bases for systems that are either difficult to model (simulate) with a computer or which require computer models that are too complex to use for real time monitoring. IMS processes nominal data sets collected either directly from the system or from simulations to build a knowledge base that can be used to detect anomalous behavior in the system. Machine learning and data mining techniques are used to characterize typical system behavior by extracting general classes of nominal data from archived data sets. In particular, a clustering algorithm forms groups of nominal values for sets of related parameters. This establishes constraints on those parameter values that should hold during nominal operation. During monitoring, IMS provides a statistically weighted measure of the deviation of current system behavior from the established normal baseline. If the deviation increases beyond the expected level, an anomaly is suspected, prompting further investigation by an operator or automated system. IMS has shown potential to be an effective, low cost technique to produce system monitoring capability for a variety of applications. We describe the training and system health monitoring techniques of IMS. We also present the application of IMS to a data set from the Space Shuttle Columbia STS-107 flight. IMS was able to detect an anomaly in the launch telemetry shortly after a foam impact damaged Columbia's thermal protection system.

Iverson, David L.↗

Planar laser-induced fluorescence (PLIF) investigation of hypersonic flowfields in a Mach 10 wind tunnel

Planar laser-induced fluorescence (PLIF) of nitric oxide (NO) was used to visualize four different hypersonic flowfields in the NASA Langley Research Center 31-Inch Mach 10 Air wind tunnel. The four configurations were: (1) the wake flowfield of a fuselage-only X-33 lifting body, (2) flow over a flat plate containing a rectangular cavity, (3) flow over a 70deg blunted cone with a cylindrical afterbody, formerly studied by an AGARD working group, and (4) an Apollo-geometry entry capsule - relevant to the Crew Exploration Vehicle currently being developed by NASA. In all cases, NO was seeded into the flowfield through tubes inside or attached to the model sting and strut. PLIF was used to visualize the NO in the flowfield. In some cases pure NO was seeded into the flow while in other cases a 5% NO, 95% N2 mix was injected. Several parameters were varied including seeding method and location, seeding mass flow rate, model angle of attack and tunnel stagnation pressure, which varies the unit Reynolds number. The location of the laser sheet was as also varied to provide three dimensional flow information. Virtual Diagnostics Interface (ViDI) technology developed at NASA Langley was used to visualize the data sets in post processing. The measurements demonstrate some of the capabilities of the PLIF method for studying hypersonic flows.

Danehy, Paul M.↗

Room and Low Temperature Performance of High-Speed Neural Network Circuits

We have described a challenging neural-network hardware implementation that would mate a 64x64-pixel infrared sensor directly on to a 3-dimensionally packaged set of neural processing chips with parallel input for high speed image processing. Non linearity effects and range compression are also discussed.

high-speed neural network circuits neural network ↗

Methodology for Physics and Engineering of Reliable Products

Physics of failure approaches have gained wide spread acceptance within the electronic reliability community. These methodologies involve identifying root cause failure mechanisms, developing associated models, and utilizing these models to inprove time to market, lower development and build costs and higher reliability. The methodology outlined herein sets forth a process, based on integration of both physics and engineering principles, for achieving the same goals.

failure analysis electronics reliability PACT (pre↗

Fluorescence Visualization of Hypersonic Flow over Rapid Prototype Wind-Tunnel Models

Reentry models for use in hypersonic wind tunnel tests were fabricated using a stereolithography apparatus. These models were produced in one day or less, which is a significant time savings compared to the manufacture of ceramic or metal models. The models were tested in the NASA Langley Research Center 31-Inch Mach 10 Air Tunnel. Most of the models did not survive repeated tests in the tunnel, and several failure modes of the models were identified. Planar laser-induced fluorescence (PLIF) of nitric oxide (NO) was used to visualize the flowfields in the wakes of these models. Pure NO was either seeded through tubes plumbed into the model or via a tube attached to the strut holding the model, which provided localized addition of NO into the model s wake through a porous metal cylinder attached to the end of the tube. Models included several 2-inch diameter Inflatable Reentry Vehicle Experiment (IRVE) models and 5-inch diameter Crew Exploration Vehicle (CEV) models. Various configurations were studied including different sting placements relative to the models, different model orientations and attachment angles, and different NO seeding methods. The angle of attack of the models was also varied and the location of the laser sheet was scanned to provide three-dimensional flowfield information. Virtual Diagnostics Interface technology, developed at NASA Langley, was used to visualize the data sets in post processing. The use of calibration "dotcards" was investigated to correct for camera perspective and lens distortions in the PLIF images. Lessons learned and recommendations for future experiments are discussed.

Alderfer, D. W.↗

Method and system for data clustering for very large databases

Multi-dimensional data contained in very large databases is efficiently and accurately clustered to determine patterns therein and extract useful information from such patterns. Conventional computer processors may be used which have limited memory capacity and conventional operating speed, allowing massive data sets to be processed in a reasonable time and with reasonable computer resources. The clustering process is organized using a clustering feature tree structure wherein each clustering feature comprises the number of data points in the cluster, the linear sum of the data points in the cluster, and the square sum of the data points in the cluster. A dense region of data points is treated collectively as a single cluster, and points in sparsely occupied regions can be treated as outliers and removed from the clustering feature tree. The clustering can be carried out continuously with new data points being received and processed, and with the clustering feature tree being restructured as necessary to accommodate the information from the newly received data points.

Zhang, Tian↗

Fluorescence Imaging and Streamline Visualization of Hypersonic Flow over Rapid Prototype Wind-Tunnel Models

Reentry models for use in hypersonic wind tunnel tests were fabricated using a stereolithography apparatus. These models were produced in one day or less, which is a significant time savings compared to the manufacture of ceramic or metal models. The models were tested in the NASA Langley Research Center 31-Inch Mach 10 Air Tunnel. Only a few of the models survived repeated tests in the tunnel, and several failure modes of the models were identified. Planar laser-induced fluorescence (PLIF) of nitric oxide (NO) was used to visualize the flowfields in the wakes of these models. Pure NO was either seeded through tubes plumbed into the model or via a tube attached to the strut holding the model, which provided localized addition of NO into the model s wake through a porous metal cylinder attached to the end of the tube. Models included several 2- inch diameter Inflatable Reentry Vehicle Experiment (IRVE) models and 5-inch diameter Crew Exploration Vehicle (CEV) models. Various model configurations and NO seeding methods were used, including a new streamwise visualization method based on PLIF. Virtual Diagnostics Interface (ViDI) technology, developed at NASA Langley Research Center, was used to visualize the data sets in post processing. The use of calibration "dotcards" was investigated to correct for camera perspective and lens distortions in the PLIF images.

Danehy, Paul M.↗

Policy-Based Management Natural Language Parser

The Policy-Based Management Natural Language Parser (PBEM) is a rules-based approach to enterprise management that can be used to automate certain management tasks. This parser simplifies the management of a given endeavor by establishing policies to deal with situations that are likely to occur. Policies are operating rules that can be referred to as a means of maintaining order, security, consistency, or other ways of successfully furthering a goal or mission. PBEM provides a way of managing configuration of network elements, applications, and processes via a set of high-level rules or business policies rather than managing individual elements, thus switching the control to a higher level. This software allows unique management rules (or commands) to be specified and applied to a cross-section of the Global Information Grid (GIG). This software embodies a parser that is capable of recognizing and understanding conversational English. Because all possible dialect variants cannot be anticipated, a unique capability was developed that parses passed on conversation intent rather than the exact way the words are used. This software can increase productivity by enabling a user to converse with the system in conversational English to define network policies. PBEM can be used in both manned and unmanned science-gathering programs. Because policy statements can be domain-independent, this software can be applied equally to a wide variety of applications.

James, Mark↗

Numerical Optimization of the Thermal Field in Bridgman Detached Growth

The global modeling of the thermal field in two vertical Bridgman-like crystal growth configurations, has been performed to get optimal thermal conditions for a successful detached growth of Ge and CdTe crystals. These computations are performed using the CrysMAS code and expand upon our previous analysis [1] that propose a new mechanism involving the thermal field and meniscus position to explain stable conditions for dewetted Bridgman growth. The analysis of the vertical Bridgman configuration with two heaters, used by Palosz et al. for the detached growth of Ge, shows, consistent with their results, that the large wetting angle of germanium on boron nitride surfaces was an important factor to promote a successful detached growth. Our computations predict that by initiating growth much higher into the hot zone of the furnace, the thermal conditions will be favorable for continued detachment even for systems that did not exhibit high contact angles. The computations performed for a vertical gradient freeze configuration with three heaters representative of that used for the detached growth of CdTe, show favorable thermal conditions for dewetting during the entirely growth run described. Improved thermal conditions are also predicted for coated silica crucibles when the solid-liquid interface advances higher into the hot zone during the solidification process. The second set of experiments on CdTe growth described elsewhere has shown the reattachment of the crystal to the crucible after few centimeters of dewetted growth. The thermal modeling of this configuration shows a second solidification front appearing at the top of the sample and approaching the middle line across the third heater. In these conditions, the crystal grows detached from the bottom, but will be attached to the crucible in the upper part because of the solidification without gap in this region. The solidification with two interfaces can be avoided when the top of the sample is positioned below the middle position of the third furnace.

Stelian, C.↗

The Primordial Inflation Explorer (PIXIE) Mission

The Primordial Inflation Explorer (PIXIE) is an Explorer-class mission to map the absolute intensity and linear polarization of the cosmic microwave background and diffuse astrophysical foregrounds over the full sky from frequencies 30 GHz to 6 THz (I cm to 50 I-tm wavelength). PIXIE uses a polarizing Michelson interferometer with 2.7 K optics to measure the difference spectrum between two orthogonal linear polarizations from two co-aligned beams. Either input can view either the sky or a temperature-controlled absolute reference blackbody calibrator. The multimoded optics and high etendu provide sensitivity comparable to kilo-pixel focal plane arrays, but with greatly expanded frequency coverage while using only 4 detectors total. PIXIE builds on the highly successful COBEIFIRAS design by adding large-area polarization-sensitive detectors whose fully symmetric optics are maintained in thermal equilibrium with the CMB. The highly symmetric nulled design provides redundant rejection of major sources of systematic uncertainty. The principal science goal is the detection and characterization of linear polarization from an inflationary epoch in the early universe, with tensor-to-scalar ratio r much less than 10(exp -3). PIXIE will also return a rich data set constraining physical processes ranging from Big Bang cosmology, reionization, and large-scale structure to the local interstellar medium. Keywords: cosmic microwave background, polarization, FTS, bolometer

Kogut, Alan J.↗

The Halite-Bearing Zag and Monahans (1998) Meteorite Breccias: Shock Metamorphism, Thermal Metamorphism and Aqueous Alteration on the H-Chondrite Parent Body

Zag and Monahans (1998) are H-chondrite regolith breccias comprised mainly of lightcolored metamorphosed clasts, dark clasts that exhibit extensive silicate darkening, and a halite-bearing clastic matrix. These meteorites reflect a complex set of modification processes that occurred on the H-chondrite parent body. The light-colored clasts are thermally metamorphosed H5 and H6 rocks that were fragmented and deposited in the regolith. The dark clasts formed from light-colored clasts during shock events that melted and mobilized a significant fraction of their metallic Fe-Ni and troilite grains. The clastic matrices of these meteorites are rich in solar-wind gases. Parent-body water was required to cause leaching of chondri tic minerals and chondrule glass; the fluids became enriched in Na, K, CI, Br, AI, Ca, Mg and Fe. Evaporation of the fluids caused them to become brines as halides and alkalies became supersaturated; grains of halite (and, in the case of Monahans (1998), halite with sylvite inclusions) precipitated at low temperatures (less than or equal to 100 C) in the porous regolith. In both meteorites fluid inclusions were trapped inside the halite crystals. Primary fluid inclusions were trapped in the growing crystals; secondary inclusions formed subsequently from fluid trapped within healed fractures.

Rubin, Alan E.↗

Dynamic Server-Based KML Code Generator Method for Level-of-Detail Traversal of Geospatial Data

Web-based geospatial client applications such as Google Earth and NASA World Wind must listen to data requests, access appropriate stored data, and compile a data response to the requesting client application. This process occurs repeatedly to support multiple client requests and application instances. Newer Web-based geospatial clients also provide user-interactive functionality that is dependent on fast and efficient server responses. With massively large datasets, server-client interaction can become severely impeded because the server must determine the best way to assemble data to meet the client applications request. In client applications such as Google Earth, the user interactively wanders through the data using visually guided panning and zooming actions. With these actions, the client application is continually issuing data requests to the server without knowledge of the server s data structure or extraction/assembly paradigm. A method for efficiently controlling the networked access of a Web-based geospatial browser to server-based datasets in particular, massively sized datasets has been developed. The method specifically uses the Keyhole Markup Language (KML), an Open Geospatial Consortium (OGS) standard used by Google Earth and other KML-compliant geospatial client applications. The innovation is based on establishing a dynamic cascading KML strategy that is initiated by a KML launch file provided by a data server host to a Google Earth or similar KMLcompliant geospatial client application user. Upon execution, the launch KML code issues a request for image data covering an initial geographic region. The server responds with the requested data along with subsequent dynamically generated KML code that directs the client application to make follow-on requests for higher level of detail (LOD) imagery to replace the initial imagery as the user navigates into the dataset. The approach provides an efficient data traversal path and mechanism that can be flexibly established for any dataset regardless of size or other characteristics. The method yields significant improvements in userinteractive geospatial client and data server interaction and associated network bandwidth requirements. The innovation uses a C- or PHP-code-like grammar that provides a high degree of processing flexibility. A set of language lexer and parser elements is provided that offers a complete language grammar for writing and executing language directives. A script is wrapped and passed to the geospatial data server by a client application as a component of a standard KML-compliant statement. The approach provides an efficient means for a geospatial client application to request server preprocessing of data prior to client delivery. Data is structured in a quadtree format. As the user zooms into the dataset, geographic regions are subdivided into four child regions. Conversely, as the user zooms out, four child regions collapse into a single, lower-LOD region. The approach provides an efficient data traversal path and mechanism that can be flexibly established for any dataset regardless of size or other characteristics.

Baxes, Gregory↗

VARED: Verification and Analysis of Requirements and Early Designs

Requirements are a part of every project life cycle; everything going forward in a project depends on them. Good requirements are hard to write, there are few useful tools to test, verify, or check them, and it is difficult to properly marry them to the subsequent design, especially if the requirements are written in natural language. In fact, the inconsistencies and errors in the requirements along with the difficulty in finding these errors contribute greatly to the cost of the testing and verification stage of flight software projects [1]. Large projects tend to have several thousand requirements written at various levels by different groups of people. The design process is distributed and a lack of widely accepted standards for requirements often results in a product that varies widely in style and quality. A simple way to improve this would be to standardize the design process using a set of tools and widely accepted requirements design constraints. The difficulty with this approach is finding the appropriate constraints and tools. Common complaints against the tools available include ease of use, functionality, and available features. Also, although preferable, it is rare that these tools are capable of testing the quality of the requirements.

Badger, Julia↗

Systematic Satellite Observations of the Impact of Aerosols from Passive Volcanic Degassing on Local Cloud Properties

The impact of volcanic emissions is a significant source of uncertainty in estimations of aerosol indirect radiative forcing, especially with respect to emissions from passive de-gassing and minor explosions. Understanding the impact of volcanic emissions on indirect radiative forcing is important assessing present day atmospheric properties and also to define the pre-industrial baseline to assess anthropogenic perturbations. We present observations of the time-averaged indirect aerosol effect within 200 km downwind of isolated island volcanoes in regions of low present-day aerosol burden using MODIS and AATSR data. Retrievals of aerosol and cloud properties at Kilauea (Hawaii), Yasur (Vanuatu) and Piton de la Fournaise (Reunion) are rotated about the volcanic vent according to wind direction, so that retrievals downwind of the volcano can be averaged to improve signal to noise ratio. The emissions from all three volcanoes, including those from passive degassing, strombolian activity and minor explosions lead to measurably increased aerosol optical depth downwind of the active vent. Average cloud droplet effective radius is lower downwind of the volcano in all cases, with the peak difference in effective radius ranging from 48 microns at the different volcanoes. A comparison of these observations with cloud properties at isolated islands with no significant source of aerosol suggests that these patterns are not purely orographic in origin. This approach sets out a first step for the systematic measurement of the effects of present day low altitude volcanic emissions on cloud properties, and our observations of unpolluted, isolated marine settings may capture processes similar to those in the preindustrial marine atmosphere.

cloud properties↗