Search NASA⌕ Search

SEARCH · Search NASA

Results for “Java”

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 271 records · Page 15

Atmospheric Chemistry Insights from the SHADOZ Data: An IGAC Paradigm

The first climatological overview of total, stratospheric and tropospheric ozone in the southern hemisphere tropical and subtropics is based on ozone sounding data from ten sites comprising the Southern Hemisphere Additional Ozonesondes (SHADOZ) network. The period covered is 1998-2000. Observations were made over: Ascension Island; Nairobi, Kenya; Irene, South Africa; Reunion Island; Watukosek, Java; Fiji; Tahiti; American Samoa; San Cristobal, Galapagos; Natal, Brazil. Campaign data were collected on a Trans-Atlantic oceanographic cruise and during SAFARI-2000 in Zambia. The ozone data, with simultaneous temperature profiles to approx. 7 hPa and relative humidity to approx. 200 hPa, reside at: http://code9l6.gsfc.nasa.gov/ Data-services/shadoz. SHADOZ ozone time-series and profiles give a perspective on tropical total, stratospheric and tropospheric ozone in 1998-2000. Prominent features are highly variable tropospheric ozone, a zonal wave-one pattern in total (and tropospheric) column ozone, and signatures of the Quasi-Biennial Oscillation (QBO) in stratospheric ozone. Total, stratospheric and tropospheric column ozone amounts peak between August and November and are lowest between March and May. Tropospheric ozone variability over the Indian and Pacific Ocean displays influences of the Indian Ocean Dipole, and convective mixing. Pollution transport from Africa, South American and the Maritime Continent is a seasonal feature. Tropospheric ozone seasonality over the Atlantic Basin shows effects of regional subsidence and recirculation as well as biomass burning. Dynamical and chemical influences appear to be of comparable magnitude though model studies are needed to quantify this.

Thompson, Anne M.↗

DPADL: An Action Language for Data Processing Domains

This paper presents DPADL (Data Processing Action Description Language), a language for describing planning domains that involve data processing. DPADL is a declarative object-oriented language that supports constraints and embedded Java code, object creation and copying, explicit inputs and outputs for actions, and metadata descriptions of existing and desired data. DPADL is supported by the IMAGEbot system, which will provide automation for an ecosystem forecasting system called TOPS.

Golden, Keith↗

Monitoring the Microgravity Environment Quality On-board the International Space Station Using Soft Computing Techniques: Preliminary System Performance Results - Part 2

This paper presents the preliminary performance results of the artificial intelligence monitoring system in full operational mode using near real time acceleration data downlinked from the International Space Station. Preliminary microgravity environment characterization analysis result for the International Space Station (Increment-2), using the monitoring system is presented. Also, comparison between the system predicted performance based on ground test data for the US laboratory "Destiny" module and actual on-orbit performance, using measured acceleration data from the U.S. laboratory module of the International Space Station is presented. Finally, preliminary on-orbit disturbance magnitude levels are presented for the Experiment of Physics of Colloids in Space, which are compared with on ground test data. The ground test data for the Experiment of Physics of Colloids in Space were acquired from the Microgravity Emission Laboratory, located at the NASA Glenn Research Center, Cleveland, Ohio. The artificial intelligence was developed by the NASA Glenn Principal Investigator Microgravity Services Project to help the principal investigator teams identify the primary vibratory disturbance sources that are active, at any moment of time, on-board the International Space Station, which might impact the microgravity environment their experiments are exposed to. From the Principal Investigator Microgravity Services' web site, the principal investigator teams can monitor via a dynamic graphical display, implemented in Java, in near real time, which event(s) is/are on, such as crew activities, pumps, fans, centrifuges, compressor, crew exercise, structural modes, etc., and decide whether or not to run their experiments, whenever that is an option, based on the acceleration magnitude and frequency sensitivity associated with that experiment. This monitoring system detects primarily the vibratory disturbance sources. The system has built-in capability to detect both known and unknown vibratory disturbance sources. Several soft computing techniques such as Kohonen's Self-Organizing Feature Map, Learning Vector Quantization, Back-Propagation Neural Networks, and Fuzzy Logic were used to design the system.

Jules, Kenol↗

SHADOZ (Southern Hemisphere ADditional Ozonesondes}: What Have We Learned About Tropical Tropospheric Ozone from the First Three Years (1998-2000) Data

The first climatological overview of total, stratospheric and tropospheric ozone in the southern hemisphere tropical and subtropics is based on ozone sounding data from 10 sites comprising the Southern Hemisphere Additional OZonesondes (SHADOZ) network. The period covered is 1998-2000. Observations were made over: Ascension Island; Nairobi, Kenya; Irene, South Africa; Reunion Island; Watukosek, Java; Fiji; Tahiti; American Samoa; San Cristobal, Galapagos; Natal, Brazil. Campaign data were collected on an Trans-Atlantic oceanographic cruise and during SAFARI-2000 in Zambia. The ozone data, with simultaneous temperature profiles to approximately 7 hPa and relative humidity to approximately 200 hPa, reside at: . SHADOZ ozone time-series and profiles give a perspective on tropical total, stratospheric and tropospheric ozone in 1998-2000. Prominent features are highly variable tropospheric ozone, a zonal wave-one pattern in total (and tropospheric) column ozone, and signatures of the Quasi-Biennial Oscillation (QBO) in stratospheric ozone. Total, stratospheric and tropospheric column ozone amounts peak between August and November and are lowest between March and May. Tropospheric ozone variability over the Indian and Pacific Ocean displays influences of the Indian Ocean Dipole, and convective mixing. Pollution transport from Africa, South American and the Maritime Continent is a seasonal feature. Tropospheric ozone seasonality over the Atlantic Basin shows effects of regional subsidence and recirculation as well as biomass burning. Dynamical and chemical influences appear to be of comparable magnitude though model studies are needed to quantify this.

Thompson, Anne M.↗

The North Alabama Severe Thunderstorm Observations, Research, and Monitoring Network (STORMnet)

The Severe Thunderstorm Observations, Research, and Monitoring network (STORMnet) became operational in 2001 as a test bed to infuse new science and technologies into the severe and hazardous weather forecasting and warning process. STORMnet is collaboration among NASA scientists, National Weather Service (NWS) forecasters, emergency managers and other partners. STORMnet integrates total lightning observations from a ten-station 3-D VHF regional lightning mapping array, the National Lightning Detection Network (NLDN), real-time regional NEXRAD Doppler radar, satellite visible and infrared imagers, and a mobile atmospheric profiling system to characterize storms and their evolution. The storm characteristics and life-cycle trending are accomplished in real-time through the second generation Lightning Imaging Sensor Demonstration and Display (LISDAD II), a distributed processing system with a JAVA-based display application that allows anyone, anywhere to track individual storm histories within the Tennessee Valley region of north Alabama and Tennessee, a region of the southeastern U.S. well known for abundant severe weather.

Goodman, S. J.↗

Reducing False Positives in Runtime Analysis of Deadlocks

This paper presents an improvement of a standard algorithm for detecting dead-lock potentials in multi-threaded programs, in that it reduces the number of false positives. The standard algorithm works as follows. The multi-threaded program under observation is executed, while lock and unlock events are observed. A graph of locks is built, with edges between locks symbolizing locking orders. Any cycle in the graph signifies a potential for a deadlock. The typical standard example is the group of dining philosophers sharing forks. The algorithm is interesting because it can catch deadlock potentials even though no deadlocks occur in the examined trace, and at the same time it scales very well in contrast t o more formal approaches to deadlock detection. The algorithm, however, can yield false positives (as well as false negatives). The extension of the algorithm described in this paper reduces the amount of false positives for three particular cases: when a gate lock protects a cycle, when a single thread introduces a cycle, and when the code segments in different threads that cause the cycle can actually not execute in parallel. The paper formalizes a theory for dynamic deadlock detection and compares it to model checking and static analysis techniques. It furthermore describes an implementation for analyzing Java programs and its application to two case studies: a planetary rover and a space craft altitude control system.

Bensalem, Saddek↗

XML Based Scientific Data Management Facility

The World Wide Web consortium has developed an Extensible Markup Language (XML) to support the building of better information management infrastructures. The scientific computing community realizing the benefits of XML has designed markup languages for scientific data. In this paper, we propose a XML based scientific data management ,facility, XDMF. The project is motivated by the fact that even though a lot of scientific data is being generated, it is not being shared because of lack of standards and infrastructure support for discovering and transforming the data. The proposed data management facility can be used to discover the scientific data itself, the transformation functions, and also for applying the required transformations. We have built a prototype system of the proposed data management facility that can work on different platforms. We have implemented the system using Java, and Apache XSLT engine Xalan. To support remote data and transformation functions, we had to extend the XSLT specification and the Xalan package.

Mehrotra, P.↗

Structural Weight Estimation for Launch Vehicles

This paper describes some of the work in progress to develop automated structural weight estimation procedures within the Vehicle Analysis Branch (VAB) of the NASA Langley Research Center. One task of the VAB is to perform system studies at the conceptual and early preliminary design stages on launch vehicles and in-space transportation systems. Some examples of these studies for Earth to Orbit (ETO) systems are the Future Space Transportation System [1], Orbit On Demand Vehicle [2], Venture Star [3], and the Personnel Rescue Vehicle[4]. Structural weight calculation for launch vehicle studies can exist on several levels of fidelity. Typically historically based weight equations are used in a vehicle sizing program. Many of the studies in the vehicle analysis branch have been enhanced in terms of structural weight fraction prediction by utilizing some level of off-line structural analysis to incorporate material property, load intensity, and configuration effects which may not be captured by the historical weight equations. Modification of Mass Estimating Relationships (MER's) to assess design and technology impacts on vehicle performance are necessary to prioritize design and technology development decisions. Modern CAD/CAE software, ever increasing computational power and platform independent computer programming languages such as JAVA provide new means to create greater depth of analysis tools which can be included into the conceptual design phase of launch vehicle development. Commercial framework computing environments provide easy to program techniques which coordinate and implement the flow of data in a distributed heterogeneous computing environment. It is the intent of this paper to present a process in development at NASA LaRC for enhanced structural weight estimation using this state of the art computational power.

Cerro, Jeff↗

Tropical Tropospheric Ozone from SHADOZ (Southern Hemisphere ADditional Ozonesondes) Network: A Project for Satellite Research, Process Studies, Education

The first climatological overview of total, stratospheric and tropospheric ozone in the southern hemisphere tropical and subtropics is based on ozone sounding data from 10 sites comprising the Southern Hemisphere Additional OZonesondes (SHADOZ) network. The period covered is 1998-2000. Observations were made over: Ascension Island; Nairobi, Kenya; Irene, South Africa; Reunion Island; Watukosek, Java; Fiji; Tahiti; American Samoa; San Cristobal, Galapagos; Natal, Brazil. Campaign data were collected on a trans-Atlantic oceanographic cruise and during SAFARI-2000 in Zambia. The ozone data, with simultaneous temperature profiles to approx. 7 hPa and relative humidity to approx. 200 hPa, reside at: . SHADOZ ozone time-series and profiles give a perspective on tropical total, stratospheric and tropospheric ozone. Prominent features are highly variable tropospheric ozone and a zonal wave-one pattern in total (and tropospheric) column ozone. Total, stratospheric and tropospheric column ozone amounts peak between August and November and are lowest between March and May. Tropospheric ozone variability over the Indian and Pacific Ocean displays influences of the Indian Ocean Dipole and convective mixing. Pollution transport from Africa and South America is a seasonal feature. Tropospheric ozone seasonality over the Atlantic Basin shows effects of regional subsidence and recirculation as well as biomass burning. Dynamical and chemical influences appear to be of comparable magnitude though model studies are needed to quantify this.

Thompson, Anne M.↗

Distributed Framework for Dynamic Telescope and Instrument Control

Traditionally, instrument command and control systems have been developed specifically for a single instrument. Such solutions are frequently expensive and are inflexible to support the next instrument development effort. NASA Goddard Space Flight Center is developing an extensible framework, known as Instrument Remote Control (IRC) that applies to any kind of instrument that can be controlled by a computer. IRC combines the platform independent processing capabilities of Java with the power of the Extensible Markup Language (XML). A key aspect of the architecture is software that is driven by an instrument description, written using the Instrument Markup Language (IML). IML is an XML dialect used to describe graphical user interfaces to control and monitor the instrument, command sets and command formats, data streams, communication mechanisms, and data processing algorithms. The IRC framework provides the ability to communicate to components anywhere on a network using the JXTA protocol for dynamic discovery of distributed components. JXTA (see httD://www.jxta.org,) is a generalized protocol that allows any devices connected by a network to communicate in a peer-to-peer manner. IRC uses JXTA to advertise a device's IML and discover devices of interest on the network. Devices can join or leave the network and thus join or leave the instrument control environment of IRC. Currently, several astronomical instruments are working with the IRC development team to develop custom components for IRC to control their instruments. These instruments include: High resolution Airborne Wideband Camera (HAWC), a first light instrument for the Stratospheric Observatory for Infrared Astronomy (SOFIA); Submillimeter And Far Infrared Experiment (SAFIRE), a Principal Investigator instrument for SOFIA; and Fabry-Perot Interferometer Bolometer Research Experiment (FIBRE), a prototype of the SAFIRE instrument, used at the Caltech Submillimeter Observatory (CSO). Most recently, we have been working with the Submillimetre High Angular Resolution Camera IInd Generation (SHARCII) at the CSO to investigate using IRC capabilities with the SHARC instrument.

Ames, Troy J.↗

Insights into Tropical Tropospheric Ozone from Satellite and Sonde Data

The first climatological overview of total, stratospheric and tropospheric ozone in the southern hemisphere tropical and subtropics is based on ozone sounding data from 10 sites comprising the Southern Hemisphere Additional OZonesondes (SHADOZ) network. Observations were made over: Ascension Island; Nairobi, Kenya; Irene, South Africa; Reunion Island; Watukosek, Java; Fiji; Tahiti; American Samoa; San Cristobal, Galapagos; Natal, Brazil. The data reside at: http://code916.gsfc.nasa.gov/Data_services/shadoz. SHADOZ ozone time-series and profiles give a perspective on tropical total, stratospheric and tropospheric ozone. Prominent features are highly variable tropospheric ozone and a zonal wave-one pattern in total (and tropospheric) column ozone. Dynamical and chemical influences appear to be of comparable magnitude though model studies are needed to quantify this. In addition to leading the SHADOZ network, we have been producing near-real tropical tropospheric ozone ('TTO') data from the Total Ozone Mapping Spectrometer (TOMS) since 1997 with Prof. Hudson and students at the University of Maryland: http://metosrv2.umd.edu/~tropo. Further perspective on the complexity of tropospheric ozone variability is shown using satellite observations.

Thompson, Anne M.↗

Discoveries about Tropical Tropospheric Ozone from Satellite and SHADOZ (Southern Hemisphere Additional Ozonesondes) and a Future Perspective on NASA's Ozone Sensors

We have been producing near-real tropical tropospheric ozone ('TTO') data from TOMS since 1997 with Prof. Hudson and students at the University of Maryland. Maps for 1996-2000 for the operational Earth-Probe instrument reside at: . We also have archived 'TTO' data from the Nimbus 7/TOMS satellite (1979-1992). The tropics is a region strongly influenced by natural variability and anthropogenic activity and the satellite data have been used to track biomass burning pollution and to detect interannual variability and climate signals in ozone. We look forward to future ozone sensors from NASA; four will be launched in 2004 as part of the EOS AURA Mission. The satellite view of chemical-dynamical interactions in tropospheric ozone is not adequate to capture vertical variability. Thus, in 1998, NASA's Goddard Space Flight Center, NOAA's Climate Monitoring and Diagnostics Laboratory (CMDL) and a team of international sponsors established the SHADOZ (Southern Hemisphere ADditional OZonesondes) project to address the gap in tropical ozone soundings. SHADOZ augments launches at selected sites and provides a public archive of ozonesonde data from twelve tropical and subtropical stations at http://croc.nsfc.nasa.gov/shadoz. The stations are: Ascension Island; Nairobi, Kenya; Irene, South Africa; R,union Island; Watukosek, Java; Fiji; Tahiti; American Samoa; San Cristobal, Galapagos; Natal, Brazil, Malindi, Kenya; Paramaribo, Surinam. From the first 3-4 years of data (presently greater than 1700 sondes), the following features emerge: (a) highly variable tropospheric ozone; (b) a zonal wave-one pattern in tropospheric column ozone; (c) tropospheric ozone variability over the Indian and Pacific Ocean displays strong convective signatures.

Thompson, Anne↗

The North Alabama Lightning Mapping Array: Recent Results and Future Prospects

The North Alabama Lightning Mapping Array became operational in November 2001 as a principal component of a severe weather test bed to infuse new science and technologies into the short-term forecasting of severe and hazardous weather and the warning decision-making process. The LMA project is a collaboration among NASA scientists, National Weather Service (NWS) weather forecast offices (WFOs), emergency managers, and other partners. The time rate-of-change of storm characteristics and life-cycle trending are accomplished in real-time through the second generation Lightning Imaging Sensor Data Applications Display (LISDAD II) system, initially developed in T997 through a collaboration among NASA/MSFC, MIT/Lincoln Lab and the Melbourne, FL WFO. LISDAD II is now a distributed decision support system with a JAVA-based display application that allows anyone, anywhere to track individual storm histories within the Tennessee Valley region of the southeastern U.S. Since the inauguration of the LMA there has been an abundance of severe weather. During 23-24 November 2001, a major tornado outbreak was monitored by LMA in its first data acquisition effort (36 tornadoes in Alabama). Since that time the LMA has collected a vast amount of data on hailstorms and damaging wind events, non-tornadic supercells, and ordinary non-severe thunderstorms. In this paper we provide an overview of LMA observations and discuss future prospects for improving the short-term forecasting of convective weather.

Goodman, S. J.↗

A Domain Description Language for Data Processing

We discuss an application of planning to data processing, a planning problem which poses unique challenges for domain description languages. We discuss these challenges and why the current PDDL standard does not meet them. We discuss DPADL (Data Processing Action Description Language), a language for describing planning domains that involve data processing. DPADL is a declarative, object-oriented language that supports constraints and embedded Java code, object creation and copying, explicit inputs and outputs for actions, and metadata descriptions of existing and desired data. DPADL is supported by the IMAGEbot system, which we are using to provide automation for an ecological forecasting application. We compare DPADL to PDDL and discuss changes that could be made to PDDL to make it more suitable for representing planning domains that involve data processing actions.

Golden, Keith↗

Scheduling Earth Observing Satellites with Evolutionary Algorithms

We hypothesize that evolutionary algorithms can effectively schedule coordinated fleets of Earth observing satellites. The constraints are complex and the bottlenecks are not well understood, a condition where evolutionary algorithms are often effective. This is, in part, because evolutionary algorithms require only that one can represent solutions, modify solutions, and evaluate solution fitness. To test the hypothesis we have developed a representative set of problems, produced optimization software (in Java) to solve them, and run experiments comparing techniques. This paper presents initial results of a comparison of several evolutionary and other optimization techniques; namely the genetic algorithm, simulated annealing, squeaky wheel optimization, and stochastic hill climbing. We also compare separate satellite vs. integrated scheduling of a two satellite constellation. While the results are not definitive, tests to date suggest that simulated annealing is the best search technique and integrated scheduling is superior.

Globus, Al↗

Runtime Analysis of Linear Temporal Logic Specifications

This report presents an approach to checking a running program against its Linear Temporal Logic (LTL) specifications. LTL is a widely used logic for expressing properties of programs viewed as sets of executions. Our approach consists of translating LTL formulae to finite-state automata, which are used as observers of the program behavior. The translation algorithm we propose modifies standard LTL to B chi automata conversion techniques to generate automata that check finite program traces. The algorithm has been implemented in a tool, which has been integrated with the generic JPaX framework for runtime analysis of Java programs.

Giannakopoulou, Dimitra↗

Efficient Translation of LTL Formulae into Buchi Automata

Model checking is a fully automated technique for checking that a system satisfies a set of required properties. With explicit-state model checkers, properties are typically defined in linear-time temporal logic (LTL), and are translated into B chi automata in order to be checked. This report presents how we have combined and improved existing techniques to obtain an efficient LTL to B chi automata translator. In particular, we optimize the core of existing tableau-based approaches to generate significantly smaller automata. Our approach has been implemented and is being released as part of the Java PathFinder software (JPF), an explicit state model checker under development at the NASA Ames Research Center.

Giannakopoulou, Dimitra↗

Development and Engineering Design in Support of "Rover Ranch": A K-12 Outreach Software Project

A continuation of the initial development started in the summer of 1999, the body of work performed in support of 'ROVer Ranch' Project during the present fellowship dealt with the concrete concept implementation and resolution of the related issues. The original work performed last summer focused on the initial examination and articulation of the concept treatment strategy, audience and market analysis for the learning technologies software. The presented work focused on finalizing the set of parts to be made available for building an AERCam Sprint type robot and on defining, testing and implementing process necessary to convert the design engineering files to VRML files. Through reverse engineering, an initial set of mission critical systems was designed for beta testing in schools. The files were created in ProEngineer, exported to VRML 1.0 and converted to VRML 97 (VRML 2.0) for final integration in the software. Attributes for each part were assigned using an in-house developed JAVA based program. The final set of attributes for each system, their mutual interaction and the identification of the relevant ones to be tracked, still remain to be decided.

Pascali, Raresh↗