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 397 records · Page 22

Toward a Benchmark for Multi-Threaded Testing Tools

Looking for intermittent bugs is a problem that has been getting prominence in testing. Multi-threaded code is becoming very common, mostly on the server side. As there is no silver bullet solution, research focuses on a variety of partial solutions. We outline a road map for combining the research on the different disciplines of testing multi-threaded programs and on evaluating its quality. The project goals are to create a benchmark that can be used to evaluate different solutions, to create a framework with open API's that enables combining techniques in the multithreading domain, and to create a focus for the research in this area around which a community of people who try to solve similar problems with different techniques, could congregate. The benchmark, apart from containing programs with documented bugs, includes other artifacts, such as traces, that are used for evaluating some of the technologies. We have started creating such a bench mrk and detail the lesson learned in the process. The framework will enable technology developers, for example, race detectors, to concentrate on their components and use other ready made components, (e.g., instrumentor) to create a testing solution.

Eytani, Yaniv↗

A Survey of Formal Methods for Intelligent Swarms

Swarms of intelligent autonomous spacecraft, involving complex behaviors and interactions, are being proposed for future space exploration missions. Such missions provide greater flexibility and offer the possibility of gathering more science data than traditional single spacecraft missions. The emergent properties of swarms make these missions powerful, but simultaneously far more difficult to design, and to assure that the proper behaviors will emerge. These missions are also considerably more complex than previous types of missions, and NASA, like other organizations, has little experience in developing or in verifying and validating these types of missions. A significant challenge when verifying and validating swarms of intelligent interacting agents is how to determine that the possible exponential interactions and emergent behaviors are producing the desired results. Assuring correct behavior and interactions of swarms will be critical to mission success. The Autonomous Nano Technology Swarm (ANTS) mission is an example of one of the swarm types of missions NASA is considering. The ANTS mission will use a swarm of picospacecraft that will fly from Earth orbit to the Asteroid Belt. Using an insect colony analogy, ANTS will be composed of specialized workers for asteroid exploration. Exploration would consist of cataloguing the mass, density, morphology, and chemical composition of the asteroids, including any anomalous concentrations of specific minerals. To perform this task, ANTS would carry miniaturized instruments, such as imagers, spectrometers, and detectors. Since ANTS and other similar missions are going to consist of autonomous spacecraft that may be out of contact with the earth for extended periods of time, and have low bandwidths due to weight constraints, it will be difficult to observe improper behavior and to correct any errors after launch. Providing V&V (verification and validation) for this type of mission is new to NASA, and represents the cutting edge in system correctness, and requires higher levels of assurance than other (traditional) missions that use a single or small number of spacecraft that are deterministic in nature and have near continuous communication access. One of the highest possible levels of assurance comes from the application of formal methods. Formal methods are mathematics-based tools and techniques for specifying and verifying (software and hardware) systems. They are particularly useful for specifying complex parallel systems, such as exemplified by the ANTS mission, where the entire system is difficult for a single person to fully understand, a problem that is multiplied with multiple developers. Once written, a formal specification can be used to prove properties of a system (e.g., the underlying system will go from one state to another or not into a specific state) and check for particular types of errors (e.g., race or livelock conditions). A formal specification can also be used as input to a model checker for further validation. This report gives the results of a survey of formal methods techniques for verification and validation of space missions that use swarm technology. Multiple formal methods were evaluated to determine their effectiveness in modeling and assuring the behavior of swarms of spacecraft using the ANTS mission as an example system. This report is the first result of the project to determine formal approaches that are promising for formally specifying swarm-based systems. From this survey, the most promising approaches were selected and are discussed relative to their possible application to the ANTS mission. Future work will include the application of an integrated approach, based on the selected approaches identified in this report, to the formal specification of the ANTS mission.

Truszkowski, Walt↗

Molecular Dynamics Calculations

The development of thermodynamics and statistical mechanics is very important in the history of physics, and it underlines the difficulty in dealing with systems involving many bodies, even if those bodies are identical. Macroscopic systems of atoms typically contain so many particles that it would be virtually impossible to follow the behavior of all of the particles involved. Therefore, the behavior of a complete system can only be described or predicted in statistical ways. Under a grant to the NASA Lewis Research Center, scientists at the Case Western Reserve University have been examining the use of modern computing techniques that may be able to investigate and find the behavior of complete systems that have a large number of particles by tracking each particle individually. This is the study of molecular dynamics. In contrast to Monte Carlo techniques, which incorporate uncertainty from the outset, molecular dynamics calculations are fully deterministic. Although it is still impossible to track, even on high-speed computers, each particle in a system of a trillion trillion particles, it has been found that such systems can be well simulated by calculating the trajectories of a few thousand particles. Modern computers and efficient computing strategies have been used to calculate the behavior of a few physical systems and are now being employed to study important problems such as supersonic flows in the laboratory and in space. In particular, an animated video (available in mpeg format--4.4 MB) was produced by Dr. M.J. Woo, now a National Research Council fellow at Lewis, and the G-VIS laboratory at Lewis. This video shows the behavior of supersonic shocks produced by pistons in enclosed cylinders by following exactly the behavior of thousands of particles. The major assumptions made were that the particles involved were hard spheres and that all collisions with the walls and with other particles were fully elastic. The animated video was voted one of two winning videos in a competition held at the meeting of the American Physical Society's Division of Fluid Dynamics, held in Atlanta, Georgia, in November 1994. Of great interest was the result that in every shock there were a few high-speed precursor particles racing ahead of the shock, carrying information about its impending arrival. Most recently, Dr. Woo has been applying molecular dynamics techniques to the problem of determining the drag produced by the space station truss structure as it flies through the thin residual atmosphere of low-Earth orbit. This problem is made difficult by the complex structure of the truss and by the extreme supersonic nature of the flow. A fully filled section of the truss has already been examined, and drag predictions have been made. Molecular dynamics techniques promise to make realistic drag calculations possible even for very complex partially filled truss segments flying at arbitrary angles.

Source record↗

Effect of Rolling Bearing Refurbishment and Restoration on Bearing Life and Reliability

For nearly four decades it has been a practice in commercial and military aircraft application that rolling-element bearings removed at maintenance or overhaul be reworked and returned to service. The work presented extends previously reported bearing life analysis to consider the depth (Z(45)) to maximum shear stress (45) on stressed volume removal and the effect of replacing the rolling elements with a new set. A simple algebraic relationship was established to determine the L(10) life of bearing races subject to bearing rework. Depending on the extent of rework and based upon theoretical analysis, representative life factors (LF) for bearings subject to rework ranged from 0.87 to 0.99 the lives of new bearings. Based on bearing endurance data, 92 percent of the bearing sets that would be subject to rework would result in L(10) lives equaling and/or exceeding that predicted for new bearings with the remaining 8 percent having the potential to achieve the analytically predicted life of new bearings when one of the rings is replaced at rework.. The potential savings from bearing rework varies from 53 to 82 percent that of new bearings depending on the cost, size and complexity of the bearing.

Zaretsky, Erwin V.↗

The Need for Fusion Propulsion

Fusion propulsion is inevitable if the human race remains dedicated to exploration of the solar system. There are fundamental reasons why fusion surpasses more traditional approaches to routine crewed missions to Mars, crewed missions to the outer planets, and deep space high speed robotic missions, assuming that reduced trip times, increased payloads, and higher available power are desired. A recent series of informal discussions were held among members from government, academia, and industry concerning fusion propulsion. We compiled a sufficient set of arguments for utilizing fusion in space. If the U.S. is to lead the effort and produce a working system in a reasonable amount of time, NASA must take the initiative, relying on, but not waiting for, DOE guidance. In this talk those arguments for fusion propulsion are presented, along with fusion enabled mission examples, fusion technology trade space, and a proposed outline for future efforts.

Cassibry, Jason↗

An Indispensable Ingredient: Flight Research and Aircraft Design

Flight research-the art of flying actual vehicles in the atmosphere in order to collect data about their behavior-has played a historic and decisive role in the design of aircraft. Naturally, wind tunnel experiments, computational fluid dynamics, and mathematical analyses all informed the judgments of the individuals who conceived of new aircraft. But flight research has offered moments of realization found in no other method. Engineer Dale Reed and research pilot Milt Thompson experienced one such epiphany on March 1, 1963, at the National Aeronautics and Space Administration s Dryden Flight Research Center in Edwards, California. On that date, Thompson sat in the cockpit of a small, simple, gumdrop-shaped aircraft known as the M2-F1, lashed by a long towline to a late-model Pontiac Catalina. As the Pontiac raced across Rogers Dry Lake, it eventually gained enough speed to make the M2-F1 airborne. Thompson braced himself for the world s first flight in a vehicle of its kind, called a lifting body because of its high lift-to-drag ratio. Reed later recounted what he saw:

Gorn, Michael H.↗

Designing for the Edge of Space and Beyond

Despite the fanciful predictions of Eugen Sanger, Wernher von Braun, and a wealth of science fiction novelists, it was not until the mid-1950s that the first piloted spacecraft design was undertaken in earnest. It was the height of the Cold War, and the paranoia that swept the country and the military had resulted in the largest arms race the world had ever seen. In aviation the desire was to go higher, faster, and farther than ever before. In response to a need for basic research into the ever-increasing speeds and altitudes, the National Advisory Committee on Aeronautics (NACA) began preliminary research into a piloted vehicle that could exceed five times the speed of sound. The research was felt necessary to support both unmanned missile programs and the eventual development of hypersonic combat aircraft. Interestingly, the group of researchers that took the lead in developing the concept (led by John V. Becker) at the NACA s Langley Laboratory added a new wrinkle-they wanted to be able to leave the sensible atmosphere for a few minutes in order to gain a preliminary understanding of space flight2 At the time it was generally felt that piloted space flight would not take place until the turn of the century, although contemporary science fiction-a genre that enjoyed a resurgence of popularity in the mid-1 950s-usually showed it coming much earlier. In fact, many serious researchers believed that the group at Langley should remove the "space leap" from their concept for a hypersonic research air~lane.~ However, the basic designs for a very high speed airplane and for one capable of short excursions outside the atmosphere were not radically different, so the capability remained.

Jenkins, Dennis R.↗

Hybrid Bearing Prognostic Test Rig

The NASA Glenn Research Center has developed a new Hybrid Bearing Prognostic Test Rig to evaluate the performance of sensors and algorithms in predicting failures of rolling element bearings for aeronautics and space applications. The failure progression of both conventional and hybrid (ceramic rolling elements, metal races) bearings can be tested from fault initiation to total failure. The effects of different lubricants on bearing life can also be evaluated. Test conditions monitored and recorded during the test include load, oil temperature, vibration, and oil debris. New diagnostic research instrumentation will also be evaluated for hybrid bearing damage detection. This paper summarizes the capabilities of this new test rig.

Dempsey, Paula J.↗

Future Directions for Fusion Propulsion Research at NASA

Fusion propulsion is inevitable if the human race remains dedicated to exploration of the solar system. There are fundamental reasons why fusion surpasses more traditional approaches to routine crewed missions to Mars, crewed missions to the outer planets, and deep space high speed robotic missions, assuming that reduced trip times, increased payloads, and higher available power are desired. A recent series of informal discussions were held among members from government, academia, and industry concerning fusion propulsion. We compiled a sufficient set of arguments for utilizing fusion in space. .If the U.S. is to lead the effort and produce a working system in a reasonable amount of time, NASA must take the initiative, relying on, but not waiting for, DOE guidance. Arguments for fusion propulsion are presented, along with fusion enabled mission examples, fusion technology trade space, and a proposed outline for future efforts.

Adams, Robert B.↗

Satellite and Ground System Solutions at Your Fingertips

In the summer of 1998, the blockbuster action movie Armageddon captivated audiences with a thrilling doomsday plot about a meteor the size of Texas that was racing towards the Earth. Though the premise of the movie was purely fictional, the unfortunate reality is that near-Earth asteroids such as the one portrayed in the film do exist. On December 23, 2004, NASA announced that an asteroid it anticipated to pass near the Earth on April 13, 2029, had been assigned the highest score to date on the universally used Torino Impact Hazard Scale. At first, the flyby distance for the asteroid, dubbed MN4, was uncertain and an Earth impact could not be ruled out. The odds of impact were initially believed to be 1 in 300, high enough to merit special monitoring by astronomers around the world, but were then escalated to 1 in 37 on December 27. NASA officials noted, however, that these odds should not be of public concern, since they were likely to change on a day-to-day basis as new data were received. The officials were correct in their assertion, as any chances of an impact with Earth in 2029 were completely ruled out later that same day. Integral Systems, Inc., a leading provider of satellite ground systems and the first company to offer an integrated suite of commercial-off-the-shelf software products for satellite command and control, is helping NASA keep a careful watch for any close-encountering asteroids with its tracking technology. The company supported the first NASA Discovery mission, the Near Earth Asteroid Rendezvous (NEAR) program, back in 1996, and has expanded its business by building more ground systems for a greater variety of satellites than any other company in the world. (NASA has since launched seven more Discovery missions, with the eighth lifting off earlier this year.) The experience gained from the company s participation in developing satellite command and control ground systems for the NEAR program has bolstered its flagship product line, the EPOCH Integrated Product Suite (IPS), first featured in Spinoff 1997, and led to the creation of its latest product, the Skylight Direct Broadcast Ground Terminal.

Source record↗

Big Results From a Smaller Gearbox

Many people will be sad to see the Hubble Space Telescope go, as it was the first instrument of its kind to provide us with such a wealth of imagery and information about the galaxy. The telescope has served us well since its launch in spring of 1990, but it is nearly time for its retirement. The science, however, will continue, as NASA plans the launch of a new, more modern orbiting telescope, the James Webb Space Telescope. Named after the man who ran NASA from 1961 to 1968, years fraught with the anxiety and uncertainty of the Space Race, the scope is scheduled for launch in fall of 2011. It is designed to study the earliest galaxies and some of the first stars formed after the Big Bang. NASA scientists at the Goddard Space Flight Center are busy developing the technologies to build this new machine. Many of the new technologies are available for commercial licensing and development. For example, the NASA Planetary Gear System technology developed to give precise nanometer positioning capabilities for the James Webb Space Telescope is now being employed by Turnkey Design Services, LLC (TDS), of Blue Island, Illinois, to improve electric motors. This revolutionary piece of technology allows more efficient operation of the motors, and is more cost- effective than traditional gearbox designs.

Source record↗

Developing Formal Correctness Properties from Natural Language Requirements

This viewgraph presentation reviews the rationale of the program to transform natural language specifications into formal notation.Specifically, automate generation of Linear Temporal Logic (LTL)correctness properties from natural language temporal specifications. There are several reasons for this approach (1) Model-based techniques becoming more widely accepted, (2) Analytical verification techniques (e.g., model checking, theorem proving) significantly more effective at detecting types of specification design errors (e.g., race conditions, deadlock) than manual inspection, (3) Many requirements still written in natural language, which results in a high learning curve for specification languages, associated tools and increased schedule and budget pressure on projects reduce training opportunities for engineers, and (4) Formulation of correctness properties for system models can be a difficult problem. This has relevance to NASA in that it would simplify development of formal correctness properties, lead to more widespread use of model-based specification, design techniques, assist in earlier identification of defects and reduce residual defect content for space mission software systems. The presentation also discusses: potential applications, accomplishments and/or technological transfer potential and the next steps.

requirements engineering↗

Working Group Reports and Presentations: Cis-lunar

Space agencies are committed to the "safe, sustained, affordable human and robotic exploration of the Moon, Mars, and beyond." However, we recommend that they explicitly define our ultimate goal and motivation in order to portray a sense of purpose to the public. Our goal is sustainable human settlement of the Moon and Mars and our motivation is to preserve the human race. All secondary exploration and science objectives flow from this main goal and are still imperative to our success. As an economic guiding principle, governments should be limited to those areas where only government can perform the activity and should recognize and coordinate with the larger private and military sectors. Also, space agencies must continue to fund the interdisciplinary science necessary to characterize environmental hazards associated with dust, radiation, surface charging, topology, and meteorites in order to make our first attempts at extraterrestrial living viable.

Laubscher, Bryan↗

From H.G. Wells to Unmanned Planetary Exploration

The possibility of planetary exploration has been a dream of the human race since Galileo discovered the moons of Jupiter in 1610. Visual sightings of bodies entering Earth s atmosphere have been made by Earth s inhabitants over the centuries. Over time, the many meteor showers (Leonid, Perseid) have provided dramatic evidence of the intense heat generated by a body entering Earth s atmosphere at hypervelocity speeds. More recently (in 1908), few viewed the Tunguska meteor that impacted in Siberia, but the destructive power on the countryside was awesome.

Boyd, John W.↗

Heat Resistant Paint

The racing car shown is one of many coated with an inorganic paint that protects "hot parts" of automotive vehicles. Developed and manufactured by Sperex Corporation, Gardena, California, the durable, heat-resistant paint is used on car and truck exhaust systems, firewalls, brake drums and engine manifolds. NASA technology contributed to development of the paint. Sperex was provided a technical support packa'ge detailing the research of Goddard Space Flight Center on long-life inorganic coatings. The information helped Sperex perfect its own formulations.

Source record↗

Launching to the Moon, Mars, and Beyond

America is returning to the Moon in preparation for the first human footprint on Mars, guided by the U.S. Vision for Space Exploration. This presentation will discuss NASA's mission today, the reasons for returning to the Moon and going to Mars, and how NASA will accomplish that mission. The primary goals of the Vision for Space Exploration are to finish the International Space Station, retire the Space Shuttle, and build the new spacecraft needed to return people to the Moon and go to Mars. Unlike the Apollo program of the 1960s, this phase of exploration will be a journey, not a race. In 1966, the NASA's budget was 4 percent of federal spending. Today, with 6/10 of 1 percent of the budget, NASA must incrementally develop the vehicles, infrastructure, technology, and organization to accomplish this goal. Fortunately, our knowledge and experience are greater than they were 40 years ago. NASA's goal is a return to the Moon by 2020. The Moon is the first step to America's exploration of Mars. Many questions about the Moon's history and how its history is linked to that of Earth remain even after the brief Apollo explorations of the 1960s and 1970s. This new venture will carry more explorers to more diverse landing sites with more capable tools and equipment. The Moon also will serve as a training ground in several respects before embarking on the longer, more perilous trip to Mars. The journeys to the Moon and Mars will require a variety of vehicles, including the Ares I Crew Launch Vehicle, the Ares V Cargo Launch Vehicle, the Orion Crew Exploration Vehicle, and the Lunar Surface Access Module. The architecture for the lunar missions will use one launch to ferry the crew into orbit on the Ares I and a second launch to orbit the lunar lander and the Earth Departure Stage to send the lander and crew vehicle to the Moon. In order to reach the Moon and Mars within a lifetime and within budget, NASA is building on proven hardware and decades of experience derived from the Apollo Saturn, Space Shuttle, and contemporary commercial launch vehicle programs. Less than one year after the Exploration Launch Projects Office was formed at NASA's Marshall Space Flight Center, engineers are testing engine components, firing test rocket motors, refining vehicle designs in wind tunnel tests, and building hardware for the first flight test of Ares I, scheduled for spring 2009. The Vision for Exploration will require this nation to develop tools, machines, materials, and processes never before invented, technologies and capabilities that can be turned over to the private sector to benefit nearly all aspects of life on Earth. This new pioneering venture, as did the Apollo Program before it, will contribute to America's economic leadership, national security, and technological global competitiveness and serve as an inspiration for all its citizens.

Sumrall, John P.↗

Mechanical spin bearings

A spin bearing assembly including, a pair of mutually opposing complementary bearing support members having mutually spaced apart bearing support surfaces which may be, for example, bearing races and a set of spin bearings located therebetween. Each spin bearing includes a pair of end faces, a central rotational axis passing through the end faces, a waist region substantially mid-way between the end faces and having a first thickness dimension, and discrete side surface regions located between the waist region and the end faces and having a second thickness dimension different from the first thickness dimension of the waist region and wherein the side surface regions further have respective curvilinear contact surfaces adapted to provide a plurality of bearing contact points on the bearing support members.

Vranish, John M.↗

Fat-Soluble Vitamin Status in Self-Neglecting Elderly

Elder self-neglect is a form of elder mistreatment. The systematic characterization of self-neglecting individuals is the goal of the CREST project. Reported here is the evaluation of fat-soluble vitamin status. Self-neglect (SN) subjects were recruited and consented following referral from Adult Protective Services. Control (CN) subjects were matched for age, gender, race, and socioeconomic status, as possible. We report here on 47 SN subjects (age 77 plus or minus 7, mean plus or minus SD; body weight 76 kg plus or minus 26) and 40 CN subjects (77 y plus or minus 7, 79 kg plus or minus 20). Blood samples were analyzed for indices of fat-soluble vitamin status. Plasma retinol (p less than 0.01) was lower in SN subjects. Plasma tocopherol tended (p less than 0.06) to be lower in SN subjects, while gamma-tocopherol was unchanged. SN subjects tended to have lower serum 25-OH vitamin D (p less than 0.11), and to be vitamin D deficient (26% below 23 mmol/L). Hypercalcemia occurred more often in SN subjects (23% had values above 2.56 mmol/L), as did elevated parathyroid hormone concentrations (p less than 0.05). These data demonstrate that many nutrients are affected in the self-neglecting elderly, and that long-term deficits are evident by the nature of changes in fat soluble vitamins.

Kala, G.↗