Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “RACEE”

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 523 records · Page 29
All sourcesNASA NTRSDOE OSTI
NASA NTRS1999

Altimeter Data for Operational Use in the Marine Environment

TOPEX/Poseidon has been collecting altimeter data continuously since October 1992. Altimeter data have been used to produce maps of sea surface height, geostrophic velocity, significant wave height, and wind speed. This information is of proven use to mariners as well as to the scientific community. Uses of the data include commercial and recreational vessel routing, ocean acoustics, input to geographic information systems developed for the fishing industry, identification of marine mammal habitats, fisheries management, and monitoring ocean debris. As with sea surface temperature data from the Advanced Very High Resolution Radiometer (AVHRR) in the late 1980s and early 1990s, altimeter data from TOPEX/Poseidon and ERS-1 and -2 are in the process of being introduced to the marine world for operational maritime use. It is anticipated that over the next few years companies that specialize in producing custom products for shipping agencies, fisheries and yacht race competitors will be incorporating altimeter data into their products. The data are also being incorporated into weather and climate forecasts by operational agencies both in the US and Europe. This paper will discuss these products, their uses, operational demonstrations and means of accessing the data.

Digby, Susan↗
NASA NTRS2000

Spacecraft Autonomy and Automation: A Comparative Analysis of Strategies for Cost Effective Mission Operations

The evolution of satellite operations over the last 40 years has drastically changed. October 4, 1957 (during the cold war) the Soviet Union launched the world's first spacecraft into orbit. The Sputnik satellite orbited Earth for three months and catapulted the United States into a race for dominance in space. A year after Sputnik, President Dwight Eisenhower formed the National Space and Aeronautics Administration (NASA). With a team of scientists and engineers, NASA successfully launched Explorer 1, the first US satellite to orbit Earth. During these early years, massive amounts of ground support equipment and operators were required to successfully operate spacecraft vehicles. Today, budget reductions and technological advances have forced new approaches to spacecraft operations. These approaches require increasingly complex, on board spacecraft systems, that enable autonomous operations, resulting in more cost-effective mission operations. NASA's Goddard Space Flight Center, considered world class in satellite development and operations, has developed and operated over 200 satellites during its 40 years of existence. NASA Goddard is adopting several new millennium initiatives that lower operational costs through the spacecraft autonomy and automation. This paper examines NASA's approach to spacecraft autonomy and ground system automation through a comparative analysis of satellite missions for Hubble Space Telescope-HST, Near Earth Asteroid Rendezvous-NEAR, and Solar Heliospheric Observatory-SoHO, with emphasis on cost reduction methods, risk analysis and anomalies and strategies employed for mitigating risk.

Wright, Nathaniel, Jr.↗
NASA NTRS2000

Estimating Forest Vertical Structure from Multialtitude, Fixed-Baseline Radar Interferometric and Polarimetric Data

Parameters describing the vertical structure of forests, for example tree height, height-to-base-of-live-crown, underlying topography, and leaf area density, bear on land-surface, biogeochemical, and climate modeling efforts. Single, fixed-baseline interferometric synthetic aperture radar (INSAR) normalized cross-correlations constitute two observations from which to estimate forest vertical structure parameters: Cross-correlation amplitude and phase. Multialtitude INSAR observations increase the effective number of baselines potentially enabling the estimation of a larger set of vertical-structure parameters. Polarimetry and polarimetric interferometry can further extend the observation set. This paper describes the first acquisition of multialtitude INSAR for the purpose of estimating the parameters describing a vegetated land surface. These data were collected over ponderosa pine in central Oregon near longitude and latitude -121 37 25 and 44 29 56. The JPL interferometric TOPSAR system was flown at the standard 8-km altitude, and also at 4-km and 2-km altitudes, in a race track. A reference line including the above coordinates was maintained at 35 deg for both the north-east heading and the return southwest heading, at all altitudes. In addition to the three altitudes for interferometry, one line was flown with full zero-baseline polarimetry at the 8-km altitude. A preliminary analysis of part of the data collected suggests that they are consistent with one of two physical models describing the vegetation: 1) a single-layer, randomly oriented forest volume with a very strong ground return or 2) a multilayered randomly oriented volume; a homogeneous, single-layer model with no ground return cannot account for the multialtitude correlation amplitudes. Below the inconsistency of the data with a single-layer model is followed by analysis scenarios which include either the ground or a layered structure. The ground returns suggested by this preliminary analysis seem too strong to be plausible, but parameters describing a two-layer compare reasonably well to a field-measured probability distribution of tree heights in the area.

Treuhaft, Robert N.↗
NASA NTRS2000

Transportation: The Key to Unlocking the Final Frontier

For this future generations in this new millennium, only two new frontiers remain to be explored and developed by humans: Under the oceans, seas and lakes (about 80 percent of the Earth) and The vast reaches of near and outer space. We are slowly running out of resources while this planet's population is exploding. We must establish new, highly reliable and low-cost ways to colonize under the seas and to get people permanently off "Spaceship Planet Earth". We must establish new colonies permanently in space because it is vital to the ultimate survival of the human race. Reliable and affordable space transportation for routine human travel into space and the planets is once again the key to developing this last great frontier. This talk will now focus on what NASA is now doing to initiate the process in earnest. Space transportation is the key, and once again will only meet the needs with new generations of competent, talented, and innovative mechanical engineers.

Sackheim, Robert L.↗
NASA NTRS2000

Nuclear Pulse Propulsion: Orion and Beyond

The race to the Moon dominated manned space Fight during the 1960's. and culminated in Project Apollo. which placed 12 humans on the Moon Unbeknownst to the public at that time, several U.S. Government agencies sponsored a project that could have conceivably, placed 150 people on the Moon and eventually sent crewed expeditions to Mars and the outer Planets. These feats could have possibly been accomplished during, the same period of time as Apollo. and for approximately the same cost. The project. code-named Orion. featured an extraordinary propulsion method known n as Nuclear Pulse The concept is probably as radical today as t was at the down of the space age. However its development appeared to he so promising that it was only by Political and non-technical considerations that it was not used to extend humanity reach throughout the solar system and quite possible to the stars. This paper discusses the rationale for nuclear pulse propulsion and presents a general history of the concept. focusing particularly on Project Orion. It describes some of the reexaminations being done in this area and discusses some of the new ideas that could mitigate many of the political and environmental issues associated with the concept.

Schmidt, George R.↗
NASA NTRS2001

Using Runtime Analysis to Guide Model Checking of Java Programs

This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java programs. Runtime analysis is based on the idea of executing the program once. and observing the generated run to extract various kinds of information. This information can then be used to predict whether other different runs may violate some properties of interest, in addition of course to demonstrate whether the generated run itself violates such properties. These runtime analyses can be performed stand-alone to generate a set of warnings. It is furthermore demonstrated how these warnings can be used to guide a model checker, thereby reducing the search space. The described techniques have been implemented in the b e grown Java model checker called PathFinder.

Havelund, Klaus↗
NASA NTRS2001

Water Ice and Life's Roots in Space

Nearly three decades ago as Voyager 2 spacecraft raced out of the Solar System. NASA engineers turned its camera arm around (at the request of the American astronomer Carl Sagan) to take a parting snapshot of Earth. Earth's image was a single pale blue pixel, its color caused by the Rayleigh scattering of sunlight in the water of our oceans. Earth is a water planet, and this is the color of life. No matter how far we travel on our planet, no matter how high or deep, if we find liquid water, we find some form of life that manages to survive there. And yet there is a cruel irony. Water in its solid crystalline form is hostile to life. Organisms can roost in geysers, wallow in brine and gulp down acid, but they cowered from ice. The rigid ordering of water molecules in ice crystals expels impurities and tears organic tissue beyond repair. In fact, about the only good thing you can say about ice is that it gets out of the way: Its low density ensures that it floats and leaves the water dwelling creatures in peace. Recent discoveries have caused us to rethink this basic premise. New lines of evidence both observational and experimental - suggest that prebiotic organic compounds are not only comfortable in, but in fact had their origin in a peculiar form of solid water ice that is ubiquitous in interstellar space, but completely absent from Earth. Only recently have we been able to create even submicroscopic quantities of this ice in terrestrial laboratories, yet it constitutes the most abundant form of water in the universe. Interstellar ice is a far cry from the ice we are so familiar with on Earth. This interstellar ice has no crystalline structure, and despite the fact that its temperature is a scant few degrees above absolute zero (where all molecular motion ceases), it is highly reactive and can flow like water when exposed to radiation. It is in fact this ice's similarity to liquid water that allows it to participate in the creation of the very first organic compounds.

Blake, David↗
NASA NTRS1994

Biomedical Use of Aerospace Personal Cooling Garments

Personal thermoregulatory systems are required during extravehicular activity (EVA) to remove the metabolic heat generated by the suited astronaut. The Extravehicular and Protective Systems (STE) Branch of NASA Ames Research Center has developed advanced concepts or liquid cooling garments for both industrial and biomedical applications for the past 25 years. Examples of this work include: (1) liquid cooled helmets for helicopter pilots and race car drivers; (2) vests for fire and mine rescue personnel; (3) bras to increase the definition of tumors during thermography; (4) lower body garments for young women with erythomelaigia; and (5) whole body garments used by patients with multiple sclerosis (MS). The benefits of the biomedical application of artificial thermoregulation received national attention through two recent events: (1) the liquid-cooled garment technology was inducted into the United States Space Foundation's Space Technology Hall of Fame (1993); and (2) NASA has signed a joint Memorandum of Understanding with the Multiple Sclerosis Association (1994) to share this technology for use with MS patient treatment. The STE Branch is currently pursuing a program to refine thermoregulatory design in light of recent technology developments that might be applicable for use by several medical patient populations. Projects have been initiated to apply thermoregulatory technology for the treatment and/or rehabilitation of patients with spinal cord injuries, multiple sclerosis, migraine headaches, and to help prevent the loss of hair during chemotherapy.

Webbon, Bruce W.↗
NASA NTRS1995

Building a Successful Security Infrastructure: What You Want vs. What You Need vs. What You Can Afford

With the fast growing popularity of the Internet, many organizations are racing to get onto the on-ramp to the Information Superhighway. However, with frequent headlines such as 'Hackers' break in at General Electric raises questions about the Net's Security', 'Internet Security Imperiled - Hackers steal data that could threaten computers world-wide' and 'Stanford Computer system infiltrated; Security fears grow', organizations find themselves rethinking their approach to the on-ramp. Is the Internet safe? What do I need to do to protect my organization? Will hackers try to break into my systems? These are questions many organizations are asking themselves today. In order to safely travel along the Information Superhighway, organizations need a strong security framework. Developing such a framework for a computer site, whether it be just a few dozen hosts or several thousand hosts is not an easy task. The security infrastructure for a site is often developed piece-by-piece in response to security incidents which have affected that site over time. Or worse yet, no coordinated effort has been dedicated toward security. The end result is that many sites are still poorly prepared to handle the security dangers of the Internet. This paper presents guidelines for building a successful security infrastructure. The problem is addressed in a cookbook style method. First is a discussion on how to identify your assets and evaluate the threats to those assets; next are suggestions and tips for identifying the weak areas in your security armor. Armed with this information we can begin to think about what you really need for your site and what you can afford. In this stage of the process we examine the different categories of security tools and products that are available and then present some tips for deciding what is best for your site.

Crabb, Michele D.↗
NASA NTRS2001

Effect of Roller Profile on Cylindrical Roller Bearing Life Prediction: Comparison of Bearing Life Theories - Part 1

Four rolling-element bearing life theories were chosen for analysis and compared for a simple roller-race geometry model. The life theories were those of Weibull; Lundberg and Palmgren; Ioannides and Harris; and Zaretsky. The analysis without a fatigue limit of Ioannides and Harris is identical to the Lundberg and Palmgren analysis, and the Weibull analysis is similar to that of Zaretsky if the exponents are chosen to be identical. The resultant predicted life a each stress condition not only depends on the life equation used but also on the Weibull slope assumed. The least variation in predicted life with Weibull slope comes with the Zaretsky equation. Except for a Weibull slope of 1.11, at which the Weibull equation predicts the highest lives, the highest lives are predicted for the Zaretsky equation. For Weibull slopes of 1.5 and 2, both the Lundherg-Palmgren and Ioannides-Harris (where tau(sub u) = 0) equations predict lower lives than the ANSI/ABMA/ISO standard. Based upon the Hertz stresses for line contact, the accepted load-life exponent of 10/3 results in a maximum Hertz stress-life exponent equal to 6.6. This value is inconsistent with that experienced in the field. The assumption of as shear stress fatigue limit tau(sub u) results in Hertz stress-life exponents greater than are experimentally verifiable.

Poplawski, Joseph V.↗
NASA NTRS2001

Java PathExplorer: A Runtime Verification Tool

We describe recent work on designing an environment called Java PathExplorer for monitoring the execution of Java programs. This environment facilitates the testing of execution traces against high level specifications, including temporal logic formulae. In addition, it contains algorithms for detecting classical error patterns in concurrent programs, such as deadlocks and data races. An initial prototype of the tool has been applied to the executive module of the planetary Rover K9, developed at NASA Ames. In this paper we describe the background and motivation for the development of this tool, including comments on how it relates to formal methods tools as well as to traditional testing, and we then present the tool itself.

Havelund, Klaus↗
NASA NTRS2001

Monitoring Java Programs with Java PathExplorer

We present recent work on the development Java PathExplorer (JPAX), a tool for monitoring the execution of Java programs. 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. The tool facilitates automated instrumentation of a program's late code which will then omit events to an observer during its execution. The observer checks the events against user provided high level requirement specifications, for example temporal logic formulae, and against lower level error detection procedures, for example concurrency related such as deadlock and data race algorithms. High level requirement specifications together with their underlying logics are defined in the Maude rewriting logic, and then can either be directly checked using the Maude rewriting engine, or be first translated to efficient data structures and then checked in Java.

Havelund, Klaus↗
NASA NTRS2001

[ ] or SUCCESS is Not Enough: Current Technology and Future Directions in Proof Presentation

Automated theorem provers for first order logic are now around for several decades. Over the last few years, their deductive power to solve hard problems has increased tremendously. The annual CASC system competitions [Se97] give a clear picture of this situation. However, today's automated theorem provers are restricted "more by general usability than by raw deductive power." As a result of this, there are only very few serious applications of automated theorem provers. There are numerous features which a theorem prover lacks for real-world applicability. An automated theorem prover (as it is currently seen) is nothing more than a fast and elaborate search procedure. In that sense, an ATP can compared to a formulated race car, cool and fast, but virtually unusable for shopping groceries around the corner. Many important features are missing, or are optimized for speed rather than for applicability. [Schol] identifies important features which are needed for practical usability like detection of non-theorems, handling of modal/inductive proof tasks, control of the prover, and proof output. In this paper, we will focus solely on the last point, the presentation of the ATP's result to the user. In the rest of this paper, we will first discuss the general importance of providing feedback to the user, then we will describe the system ExplainIt!, a part of the deductive synthesis system AMPHION/NAV. In the conclusions we will relate proof presentation to other ways of post-processing a proof found by an ATP and stress their role in the future of automated deduction.

Schumann, Johann↗
NASA NTRS1995

Strain Gage

HITEC Corporation developed a strain gage application for DanteII, a mobile robot developed for NASA. The gage measured bending forces on the robot's legs and warned human controllers when acceptable forces were exceeded. HITEC further developed the technology for strain gage services in creating transducers out of "Indy" racing car suspension pushrods, NASCAR suspension components and components used in motion control.

Source record↗
NASA NTRS1991

Bicycle Wheel

An aerodynamic bicycle wheel developed by two DuPont engineers and a California company incorporates research into NASA airfoils. Computer modeling was accomplished with MSC/NASTRAN. Each of the three spokes in the wheel is, in effect, an airfoil, maximizing aerodynamic efficiency for racing.

Source record↗
NASA NTRS1988

Fishing Forecasts

ROFFS stands for Roffer's Ocean Fishing Forecasting Service, Inc. Roffer combines satellite and computer technology with oceanographic information from several sources to produce frequently updated charts sometimes as often as 30 times a day showing clues to the location of marlin, sailfish, tuna, swordfish and a variety of other types. Also provides customized forecasts for racing boats and the shipping industry along with seasonal forecasts that allow the marine industry to formulate fishing strategies based on foreknowledge of the arrival and departure times of different fish. Roffs service exemplifies the potential for benefits to marine industries from satellite observations. Most notable results are reduced search time and substantial fuel savings.

Source record↗
NASA NTRS1987

Riblets for Stars and Stripes

Stars and Stripes racing yacht brought the American's Cup back to the United States. Originating from NASA's drag reduction technology, the boats "secret weapon" was that the hull's underside was coated with riblets. Riblets are small, barely visible grooves on the surface of an airplane intended to reduce skin friction by smoothing the turbulent airflow next to the skin. Grooves are V-shaped with the angle pointing in the direction of the airflow. No deeper than a scratch, they have a pronounced beneficial influence on air turbulence. *No longer commercially available.

Source record↗
NASA NTRS1986

Fireblocking Fibers

PBI was originally developed for space suits. In 1980, the need for an alternative to asbestos and stricter government anti-pollution standards led to commercialization of the fire blocking fiber. PBI is used for auto racing driver suits and aircraft seat covers. The fiber does not burn in air, is durable and easily maintained. It has been specified by a number of airliners and is manufactured by Hoechst-Celanese Corporation.

Source record↗