Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “sorting”

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 1,171 records · Page 65
All sourcesNASA NTRSDOE OSTI
NASA NTRS2005

JAVA PathFinder

JPF is an explicit state software model checker for Java bytecode. Today, JPF is a swiss army knife for all sort of runtime based verification purposes. This basically means JPF is a Java virtual machine that executes your program not just once (like a normal VM), but theoretically in all possible ways, checking for property violations like deadlocks or unhandled exceptions along all potential execution paths. If it finds an error, JPF reports the whole execution that leads to it. Unlike a normal debugger, JPF keeps track of every step how it got to the defect.

Mehhtz, Peter↗
NASA NTRS2005

Survey of Command Execution Systems for NASA Spacecraft and Robots

NASA spacecraft and robots operate at long distances from Earth Command sequences generated manually, or by automated planners on Earth, must eventually be executed autonomously onboard the spacecraft or robot. Software systems that execute commands onboard are known variously as execution systems, virtual machines, or sequence engines. Every robotic system requires some sort of execution system, but the level of autonomy and type of control they are designed for varies greatly. This paper presents a survey of execution systems with a focus on systems relevant to NASA missions.

Verma, Vandi↗
NASA NTRS2006

ROCK AND SOIL PHYSICAL PROPERTIES AT THE MER GUSEV CRATER AND MERIDIANI PLANUM LANDING SITES

Following the successful landings of both Mars Exploration Rover (MER) vehicles at Gusev Crater and Meridiani Planum, respectively, their Athena suite of instruments is being used to study the geologic history of these two very different landing sites on Mars that had been selected on the basis of showing different types of evidence for aqueous processes in the planet s past. Utilizing the on-board instruments as well as the rovers mobility system, a wide range of physical properties investigations is carried out as well - the subject of this abstract - that provide additional information on the geology and processes at the sites. Results of the mission in general as well as of the physical properties studies thus far greatly exceed expectations in that observations and measurements by both vehicles show a rich variety in materials and processes: the Gusev site in the vicinity of the lander is remarkably flat and generally devoid of large rocks along traverses up to the time of this writing (approx.Sol 50) and suggestive of a deflated surface with generally only thin veneers of bright dust while exhibiting evidence of a widespread occurrence of a crust from cemented fines that has been observed to fail in the form of blocky clods when disturbed by vehicle rolling action; numerous small and shallow depressions - presumably created by impacts - are observed at the site which are infilled with bright, fine-grained material that likewise appears indurated and which was studied by a trenching experiment; small ripple bedforms are scattered across the site and were characterized in terms of particle size distributions. At the Meridiani site, studies so far - up to approx.Sol 33 - have focussed on soils and the rock outcrop encountered within the approx.20 m diameter crater that the spacecraft came to rest in: from a physical properties point of view, a mantle of dark, well-sorted, apparently basaltic sand with small to moderate cohesion has been of interest - and has been studied by a trenching experiment - as well as a fine-grained unit underlying the mantle at least locally within the crater. Rock grindings were accomplished successfully at both sites at the time of this writing, suggesting different strengths of the two targets (the basaltic rock nicknamed Adirondack at Gusev and the Meridiani rock outcrop) in addition to enabling compositional measurements below the original rock surfaces.

Ming, Douglas W.↗
NASA NTRS2005

A Population Study of Wide-Separation Brown Dwarf Companions to Main Sequence Stars

Increased interest in infrared astronomy has opened the frontier to study cooler objects that shed significant light on the formation of planetary systems. Brown dwarf research provides a wealth of information useful for sorting through a myriad of proposed formation theories. Our study combines observational data from 2MASS with rigorous computer simulations to estimate the true population of long-range (greater than 1000 AU) brown dwarf companions in the solar neighborhood (less than 25 pc from Earth). Expanding on Gizis et al. (2001), we have found the margin of error in previous estimates to be significantly underestimated after we included orbit eccentricity, longitude of pericenter, angle of inclination, field star density, and primary and secondary luminosities as parameters influencing the companion systems in observational studies. We apply our simulation results to current L- and T-dwarf catalogs to provide updated estimates on the frequency of wide-separation brown dwarf companions to main sequence stars.

Smith, Jeffrey J.↗
NASA NTRS2006

Aerosol-Water Cycle Interaction: A New Challenge in Monsoon Climate Research

Long recognized as a major environmental hazard, aerosol is now known to have strong impacts on both regional and global climate. It has been estimated that aerosol may reduce by up to 10% of the seasonal mean solar radiation reaching the earth surface, producing a global cooling effect that opposes global warming (Climate Change 2001). This means that the potential perils that humans have committed to global warming may be far greater than what we can detect at the present. As a key component of the Earth climate system, the water cycle is profoundly affected by the presence of aerosols in the atmosphere. Through the so-called direct effect , aerosol scatters and/or absorbs solar radiation, thus cooling the earth surface and changing the horizontal and vertical radiational heating contrast in the atmosphere. The heating contrast drives anomalous atmospheric circulation, resulting in changes in convection, clouds, and rainfall. Another way aerosol can affect the water cycle is through the so-called indirect effects, whereby aerosol increases the number of cloud condensation nuclei, prolongs life time of clouds, and inhibits the growth of cloud drops to raindrops. This leads to more clouds, and increased reflection of solar radiation, and further cooling at the earth surface. In monsoon regions, the response of the water cycle to aerosol forcing is especially complex, not only because of presence of diverse mix of aerosol species with vastly different radiative properties, but also because the monsoon is strongly influenced by ocean and land surface processes, land use, land change, as well as regional and global greenhouse warming effects. Thus, sorting out the impacts of aerosol forcing, and interaction with the monsoon water cycle is a very challenging problem. In this talk, I will offer some insights into how aerosols may impact the Asian monsoon based on preliminary results from satellite observations and climate model experiments. Specifically, I will discuss the elevated heat pump hypothesis, involving atmospheric heating by absorbing aerosols (dust and black carbon) over the southern slopes of the Himalayas, and feedback with the deep convection, in modifying monsoon water cycle over South .and East Asia. The role of aerosol forcing relative to those due to sea surface temperature and land surface processes, as well as observation requirements to verify such a hypothesis will also be discussed.

Lau, William K. M.↗
NASA NTRS2005

Ice photochemistry as a source of amino acids and other organic molecules in meteorites, and implications for the origin of life and the search for life in the Solar System

The tons of extraterrestrial organic material that come to the Earth every day probably helped to made the Earth habitable, and possibly played a role in the origin of life. At the astrochemistry lab (http://www.astrochem.orq) we investigate the formation and distribution of organic molecules in space and consider the impact such molecules may have on the habitability of planets and the search for life in the Solar System. The organic compounds in meteorites include amino acids, aromatics of various sorts including purine and pyrimidine bases, and fatty acids that form bi-layer vesicles. The origin of many of these species remains mysterious, but in recent years we and others have performed experiments that suggest low temperature radiation chemistry could account for the presence and deuterium enrichment of many of these molecules. . I will present our laboratory experiments that show the viability of low temperature radiation chemistry as a source of organic molecules such as;amino acids (Nature, 2002, 416, 401-403), amphiphiles (Astrobiology, 2003, 2, 371, Proc. Nat. Acad. Sci. 2001, 98, 815), quinones (Science, 1999, 283, 1135) and other functionalized aromatic compounds (Meteoritics, 2001, 36, 351 ; Astrophysical Journal., 2003, 582, L25), some of which were invoked as potential biomarkers in the Alan Hills 84001 Martian meteorite. Understanding how components of proteins and DNA could form in sterile space environments is also of relevance to our search for life elsewhere in the Solar System, the great task now ahead of NASA. If we find evidence of Life elsewhere in the Solar System it will probably be in form of chemical biomarkers, quintessentially biological molecules that indicate the presence of micro-organisms. While most people think of molecules such as amino acids, and nucleo-bases as good candidate biomarkers, these molecules are produced non-biotically in space and are expected to be present on the surface of other planets even in the absence of Life. Understanding the range of non-biological organic molecules which could act as false biomarkers in space is a prerequisite for any reasonable search for Life on other worlds.

Bernstein, Max↗
NASA NTRS2005

The Ethics of Human Spaceflight

This chapter intends to lay out some essential ethics questions that might frame the next step of space exploration. In this, I undertake two sorts of tasks. The first is to respond to the core ethic question: Is it ethical to travel in space? The second, assuming for the moment that I can convince you that the first premise can be justified, is to comment on what ethical challenges will face us there. It is appropriate to have a philosopher comment on this at the fortieth anniversary celebration, since it was also in 1962 that the National Academy of Science first convened a panel of philosophers to comment on space travel. They asked at that time whether it was indeed a worthwhile pursuit to travel in space and what might be expected of such an effort. What is at stake in any such boundary crossing is how the changing of essential human perimeters changes our own moral status. Will such boundary crossing worsen our human condition, or will it enhance it? In this way, the geopolitical quest is then linked to the quest for ontology, Pisarro hunting for the fountain of youth, for gold, and for territory. What follows are a series of ethical claims that link the problem of discovery in the larger world and the attendant ethical dilemmas of our explorations, as well as how this exploration alters our concepts of life on Earth. In this, the role of the ethicist is to function as both a skeptic and a stranger, aware of the optimism of science and the pessimism of philosophy.

Zoloth, Laurie↗
NASA NTRS2004

Microfabrication and Test of a Three-Dimensional Polymer Hydro-Focusing Unit for Flow Cytometry Applications

This paper details a novel three-dimensional (3D) hydro-focusing micro cell sorter for micro flow cytometry applications. The unit was micro-fabricated by means of SU-8 3D lithography. The 3D microstructure for coaxial sheathing was designed, micro-fabricated, and tested. Three-dimensional hydrofocusing capability was demonstrated with an experiment to sort labeled tanned sheep erythrocytes (red blood cells). This polymer hydro-focusing microstructure is easily micro-fabricated and integrated with other polymer microfluidic structures.

Yang, Ren↗
NASA NTRS2005

Apollo and Beyond

The orbiter medium has a pod that can be ejected from the pad or from anywhere in flight. The essence of that ejectable pod and its capacity and its systems could also be used as a lifeboat, similar to the X-38. The orbiter medium, when boosted by one booster, goes into low-Earth orbit. With two boosters and a tank, it can then rendezvous with things at the L-1 port. The L-1 port really comes from the habitable volumes that are put up. We would envision looking at a prototype during this period and actually launching one before the end of the year 2008 into the space station orbit of the International Space Station, where it could supplement what we think is a desirable thing . . . an orbiter on station. Owen Garriott, who flew on Skylab, has been pioneering the activity of long-duration orbiters that could be left at the Station and relieved on Station by another orbiter, thereby relieving the burden of having to rely on the lifeboat Soyuz and a half module, both of which have been sort of postponed now by NASA because of cost overruns. The booster large now is a fly-back booster for the Shuttle, and two of those go with the Shuttle system as it proceeds toward phase out. One large booster launches an orbiter large into low-Earth orbit for Space Shuttle transportation two into the future. With two boosters and a tank, it can then go to high orbits, which means it can intercept cycling space ships. Cycling space ships are a derivative of what we first put at the 51.6-degree inclination and then work close to the International Space Station, perhaps take the nose section of the tank and put it actually on the ISS as a larger half module than we plan to do right now.

Aldrin, Buzz↗
NASA NTRS2004

Microfabrication and Test of a Three-Dimensional Polymer Hydro-focusing Unit for Flow Cytometry Applications

This paper details a novel three-dimensional (3D) hydro-focusing micro cell sorter for micro flow cytometry applications. The unit was microfabricated by means of SU-8 3D lithography. The 3D microstructure for coaxial sheathing was designed, microfabricated, and tested. Three-dimensional hydro-focusing capability was demonstrated with an experiment to sort labeled tanned sheep erythrocytes (red blood cells). This polymer hydro-focusing microstructure is easily microfabricated and integrated with other polymer microfluidic structures.

Yang, Ren↗
NASA NTRS1996

Jet Propulsion Laboratories in Space: The Production of Astrophysical Jets by Magnetic Accretion Disks, and a Super-Eddington Wind Model for the Early Stages of GROJ1455-40

Measurements of the properties of gravitational lenses have the power to tell us what sort of universe we live in. The brightest known radio Einstein ring/gravitational lens PKS 1830-211, whilst obscured by our galaxy at optical wavelengths, has recently provided a lensing galaxy redshift of 0.89 through the detection of a new absorption feature, most likely due to neutral hydrogen in a second redshift system at z=0.19.

PKS 1830-211↗
NASA NTRS1996

PKS 1830-211: A Possible Compound Gravitational Lens

Measurements of the properties of gravitational lenses have the power to tell us what sort of universe we live in. The brightest known radio Einstein ring/gravitational lens PKS 1830-211, whilst obscured by our Galaxy at optical wavelengths, has recently provided a lensing galaxy redshift of 0.89 through the detection of molecular absorption in the millimetre waveband.

new absorption feature lensing galaxy redshift sec↗
NASA NTRS1996

Statistical Mechanics and Dynamics of the Outer Solar System.I. The Jupiter/Saturn Zone

We report on numerical simulations designed to understand how the solar system evolved through a winnowing of planetesimals accreeted from the early solar nebula. This sorting process is driven by the energy and angular momentum and continues to the present day. We reconsider the existence and importance of stable niches in the Jupiter/Saturn Zone using greatly improved numerical techniques based on high-order optimized multi-step integration schemes coupled to roundoff error minimizing methods.

numerical simulations planetesimals planet formati↗
NASA NTRS1993

(abstract) Formal Inspection Technology Transfer Program

A Formal Inspection Technology Transfer Program, based on the inspection process developed by Michael Fagan at IBM, has been developed at JPL. The goal of this program is to support organizations wishing to use Formal Inspections to improve the quality of software and system level engineering products. The Technology Transfer Program provides start-up materials and assistance to help organizations establish their own Formal Inspection program. The course materials and certified instructors associated with the Technology Transfer Program have proven to be effective in classes taught at other NASA centers as well as at JPL. Formal Inspections (NASA tailored Fagan Inspections) are a set of technical reviews whose objective is to increase quality and reduce the cost of software development by detecting and correcting errors early. A primary feature of inspections is the removal of engineering errors before they amplify into larger and more costly problems downstream in the development process. Note that the word 'inspection' is used differently in software than in a manufacturing context. A Formal Inspection is a front-end quality enhancement technique, rather than a task conducted just prior to product shipment for the purpose of sorting defective systems (manufacturing usage). Formal Inspections are supporting and in agreement with the 'total quality' approach being adopted by many NASA centers.

certified instructors Formal Inspections↗
NASA NTRS1994

(abstract) Follow-on Missions for the Pluto Spacecraft

The Pluto Fast Flyby mission development baseline consists of 2 identical spacecraft (120 - 165 kg) to be launched to Pluto/Charon in the late 1990s. These spacecraft are intended to fly by Pluto and Charon in order to perform various remote-sensing scientific investigations and have a mission development cost less than $400M (FY92$) through launch plus 30 days. The long-life (6 - 10 years) mission duration and lightweight design make the Pluto spacecraft a good candidate for a number of other flyby missions to objects in the outer Solar System, and some of these were investigated by JPL in cooperation with NASA Code SL's (Solar System Exploration) Outer Planets Science Working Group (OPSWG) in 1993. The JPL team looked at what it would mean to fly one of these missions (if a third spacecraft were available) in terms of flight time, spacecraft modifications, and science payload resources; the OPSWG recommended science investigation modifications for the different targets based on the available resources. The missions could, in many cases, utilize less capable launch vehicles, thereby reducing life-cycle cost of the mission. Examples of the sort of targets which were investigated and looked attractive in terms of flight time are: Uranus, Neptune, Uranus/Neptune dual-mission, Trojan asteroids (624 Hektor, 617 Patroclus, others), 5145 Pholus (the reddest object known in the solar system), and Kuiper Belt objects (i.e., 1992 QB1) . This paper will present the results of this investigation in terms of potential science return, performance, and the potential for life-cycle cost reductions through inheritance from Pluto Fast Flyby .

Pluto Charon flyby follow-on missions↗
NASA NTRS2006

Geology of the Gusec cratered plains from the Spirit rover transverse

The cratered plains of Gusev traversed by Spirit are generally low-relief rocky plains dominated by impact and eolian processes. Ubiquitous shallow, soil-filled, circular depressions, called hollows, are modified impact craters. Rocks are dark, fine-grained basalts, and the upper 10 m of the cratered plains appears to be an impact-generated regolith developed over intact basalt flows. Systematic field observations across the cratered plains identified vesicular clasts and rare scoria similar to original lava flow tops, consistent with an upper inflated surface of lava flows with adjacent collapse depressions. Crater and hollow morphometry are consistent with most being secondaries. The size frequency distribution of rocks >0.1 m diameter generally follows exponential functions similar to other landing sites for total rock abundances of 5-35%. Systematic clast counts show that areas with higher rock abundance and more large rocks have higher thermal inertia. Plains with lower thermal inertia have fewer rocks and substantially more pebbles that are well sorted and evenly spaced, similar to a desert pavement or lag. Eolian bed forms (ripples and wind tails) have coarse surface lags, and many are dust covered and thus likely inactive. Deflation of the surface _5-25 cm likely exposed two-toned rocks and elevated ventifacts and transported fines into craters creating the hollows. This observed redistribution yields extremely slow average erosion rates of _0.03 nm/yr and argues for very little long-term net change of the surface and a dry and desiccating environment similar to today's since the Hesperian (or _3 Ga).

Spirit↗
NASA NTRS2006

Nondestructive Evaluation of Foam Insulation on the Space Shuttle External Tank

Foam loss on the External Tank (ET) during launch can be caused by a number of factors. Voids are the best understood mechanism of foam loss, although it is known that delaminations, cracks and crushed foam can also lead to liberation of foam. Shortly after the Columbia accident, work began on non-destructive evaluation of foam targeted at finding voids and delaminations. After several months of searching for candidate methods capable of inspecting ET foam, the five most promising techniques were taken through a blind test and narrowed down to two methods to develop and use for inspection of the ET. These methods were backscatter radiography and terahertz imaging. The backscatter radiography system measures a test part by detecting Compton backscattered x-ray energy generated by a collimated beam of x-rays directed at the test subject. This collimated beam is scanned across the subject, recording scatter intensity data one pixel at a time until the area of interest is covered. The resulting data can be used to generate an image similar to a radiograph. Some depth information can be gathered utilizing apertures or collimation on the detectors. The detectors are located around the collimated source, making this a single sided inspection. The void detection limit with the currently utilized system is around 0.5 inches in diameter by 0.2 inches high. The terahertz imaging system inspects a test part by utilizing a transceiver to emit a pulse focused at the aluminum skin of the ET, which reflects it back to the transceiver where it is analyzed. The transceiver is scanned across the area of interest until a measurement has been taken at every location. Amplitude, time delay and frequency content are examined to note any discontinuities which may be the result of a void or other type of defect. The pulse currently utilized is in the millimeter wave regime. The void detection limit with this system is around 0.5 inches in diameter by 0.2 inches high. With increased interest in other causes of foam loss following the flight of Discovery in July 2005, laser shearography was added to the techniques used for inspecting ET foam. The shearography method records a sheared image of a laser speckle pattern projected on a test part before And after some sort of excitation. The resultant fringe pattern allows the slope of the out of plane displacement to be measured. For crushed and delaminated foam applications, a non-contact air coupled acoustic force is used to excite the surface of the foam. Regions without defects tend to respond differently to the sound energy than do regions with defects, generating a map of the foam integrity. Foam crushed to a depth of about 0.1 inches is detectable with shearography even after it has relaxed to its original shape.

Richter, Joel↗