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 379 records · Page 21
All sourcesNASA NTRSDOE OSTI
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↗
NASA NTRS1986

Personal Cooling System

Cool Head, a personal cooling system for use in heat stress occupations, is a spinoff of a channeled cooling garment for space wear. It is portable and includes a heat exchanger, control display unit, liquid reservoir and temperature control unit. The user can eliminate 40 to 60 percent of his body's heat storage and lower heart rate by 50 to 80 beats a minute. The system is used by the Army, Navy, crop dusting pilots, heavy equipment operators and auto racing drivers and is marketed by Life Enhancement Technologies, LLC. Further applications are under consideration.

Source record↗
NASA NTRS2003

Experiments with Test Case Generation and Runtime Analysis

Software testing is typically an ad hoc process where human testers manually write many test inputs and expected test results, perhaps automating their execution in a regression suite. This process is cumbersome and costly. This paper reports preliminary results on an approach to further automate this process. The approach consists of combining automated test case generation based on systematically exploring the program's input domain, with runtime analysis, where execution traces are monitored and verified against temporal logic specifications, or analyzed using advanced algorithms for detecting concurrency errors such as data races and deadlocks. The approach suggests to generate specifications dynamically per input instance rather than statically once-and-for-all. The paper describes experiments with variants of this approach in the context of two examples, a planetary rover controller and a space craft fault protection system.

Artho, Cyrille↗
NASA NTRS2003

Passive Ball Capture Joint

A passive ball capture joint has a sleeve with a plurality of bores distributed about a circumference thereof and formed therethrough at an acute angle relative to the sleeve's longitudinal axis. A spring-loaded retainer is slidingly fitted in each bore and is biased such that, if allowed, will extend at least partially into the sleeve to retain a ball therein. A ring, rotatably mounted about the bores, has an interior wall defining a plurality of shaped races that bear against the spring-loaded retainers. A mechanized rotational force producer is coupled to the ring. The ring can be rotated from a first position (that presses the retainers into the sleeve to lock the ball in place) to a second position (that allows the retainers to springback out of the sleeve to release the ball).

Richard A Cloyd↗
NASA NTRS2003

Instrumentation of Java Bytecode for Runtime Analysis

This paper describes JSpy, a system for high-level instrumentation of Java bytecode and its use with JPaX, OUT system for runtime analysis of Java programs. JPaX monitors the execution of temporal logic formulas and performs predicative analysis of deadlocks and data races. JSpy s input is an instrumentation specification, which consists of a collection of rules, where a rule is a predicate/action pair The predicate is a conjunction of syntactic constraints on a Java statement, and the action is a description of logging information to be inserted in the bytecode corresponding to the statement. JSpy is built using JTrek an instrumentation package at a lower level of abstraction.

Goldberg, Allen↗
NASA NTRS2004

Applying Jlint to Space Exploration Software

Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly efficient static analyzer that checks a Java program for several common errors, such as null pointer exceptions, and overflow errors. It also includes checks for multi-threading problems, such as deadlocks and data races. The case study described here shows the effectiveness of Jlint in find-false positives in the multi-threading warnings gives an insight into design patterns commonly used in multi-threaded code. The results show that a few analysis techniques are sufficient to avoid almost all false positives. These techniques include investigating all possible callers and a few code idioms. Verifying the correct application of these patterns is still crucial, because their correct usage is not trivial.

Artho, Cyrille↗
NASA NTRS2004

Current Status of Hybrid Bearing Damage Detection

Advances in material development and processing have led to the introduction of ceramic hybrid bearings for many applications. The introduction of silicon nitride hybrid bearings into the high pressure oxidizer turbopump, on the space shuttle main engine, led NASA to solve a highly persistent and troublesome bearing problem. Hybrid bearings consist of ceramic balls and steel races. The majority of hybrid bearings utilize Si3N4 balls. The aerospace industry is currently studying the use of hybrid bearings and naturally the failure modes of these bearings become an issue in light of the limited data available. In today s turbine engines and helicopter transmissions, the health of the bearings is detected by the properties of the debris found in the lubrication line when damage begins to occur. Current oil debris sensor technology relies on the magnetic properties of the debris to detect damage. Since the ceramic rolling elements of hybrid bearings have no metallic properties, a new sensing system must be developed to indicate the system health if ceramic components are to be safely implemented in aerospace applications. The ceramic oil debris sensor must be capable of detecting ceramic and metallic component damage with sufficient reliability and forewarning to prevent a catastrophic failure. The objective of this research is to provide a background summary on what is currently known about hybrid bearing failure modes and to report preliminary results on the detection of silicon nitride debris, in oil, using a commercial particle counter.

Dempsey, Paula J.↗
NASA NTRS2002

The Radiata and the evolutionary origins of the bilaterian body plan

The apparent conservation of cellular and molecular developmental mechanisms observed in a handful of bilaterian metazoans has spawned a "race" to reconstruct the bilaterian ancestor. Knowledge of this ancestor would permit us to reconstruct the evolutionary changes that have occurred along specific bilaterian lineages. However, comparisons among extant bilaterians provide an unnecessarily limited view of the ancestral bilaterian. Since the original bilaterians are believed by many to be derived from a radially symmetrical ancestor, additional evidence might be obtained by examining present-day radially symmetrical animals. We briefly review pertinent features of the body plans of the extant radial eumetazoan phyla, the Cnidaria, and Ctenophora, in the context of revealing potential evolutionary links to the bilaterians.

NASA Discipline Evolutionary Biology↗
NASA NTRS1986

Kinetic studies on the control of the bean rust fungus (Uromyces phaseoli L.) by an inhibitor of polyamine biosynthesis

alpha-Difluoromethylornithine (DFMO), a specific and irreversible inhibitor of the polyamine biosynthetic enzyme ornithine decarboxylase, effectively inhibits mycelial growth of several phytopathogenic fungi on defined media in vitro and provides systemic protection of bean plants against infection by Uromyces phaseoli L. race 0 (MV Rajam, AW Galston 1985 Plant Cell Physiol 26: 683-692; MV Rajam et al. 1985 Proc Natl Acad Sci USA 82: 6874-6878). We now find that application of 0.5 millimolar DFMO to unifoliolate leaves of Pinto beans up to 3 days after inoculation with uredospores of U. phaseoli completely inhibits the growth of the pathogen, while application 4 or 5 days after inoculation results in partial protection against the pathogen. Spores do not germinate on the surface of unifoliolate leaves treated with DFMO 1 day before infection, but addition of spermidine to the DFMO treatments partially reverses the inhibitory effect. The titer of polyamines in bean plants did not decline after DFMO treatment; rather, putrescine and spermidine contents actually rose, probably due to the known but paradoxical stimulation of arginine decarboxylase activity by DFMO.

Non-NASA Center↗
NASA NTRS1993

Space Station Freedom: a unique laboratory for gravitational biology research

The advent of Space Station Freedom (SSF) will provide a permanent laboratory in space with unparalleled opportunities to perform biological research. As with any spacecraft there will also be limitations. It is our intent to describe this space laboratory and present a picture of how scientists will conduct research in this unique environment we call space. SSF is an international venture which will continue to serve as a model for other peaceful international efforts. It is hoped that as the human race moves out from this planet back to the moon and then on to Mars that SSF can serve as a successful example of how things can and should be done.

NASA Program Life Sciences Management↗
NASA NTRS2004

Malaria Modeling using Remote Sensing and GIS Technologies

Malaria has been with the human race since the ancient time. In spite of the advances of biomedical research and the completion of genomic mapping of Plasmodium falciparum, the exact mechanisms of how the various strains of parasites evade the human immune system and how they have adapted and become resistant to multiple drugs remain elusive. Perhaps because of these reasons, effective vaccines against malaria are still not available. Worldwide, approximately one to three millions deaths are attributed to malaria annually. With the increased availability of remotely sensed data, researchers in medical entomology, epidemiology and ecology have started to associate environmental and ecological variables with malaria transmission. In several studies, it has been shown that transmission correlates well with certain environmental and ecological parameters, and that remote sensing can be used to measure these determinants. In a NASA project, we have taken a holistic approach to examine how remote sensing and GIs can contribute to vector and malaria controls. To gain a better understanding of the interactions among the possible promoting factors, we have been developing a habitat model, a transmission model, and a risk prediction model, all using remote sensing data as input. Our objectives are: 1) To identify the potential breeding sites of major vector species and the locations for larvicide and insecticide applications in order to reduce costs, lessen the chance of developing pesticide resistance, and minimize the damage to the environment; 2) To develop a malaria transmission model characterizing the interactions among hosts, vectors, parasites, landcover and environment in order to identify the key factors that sustain or intensify malaria transmission, and 3) To develop a risk model to predict the occurrence of malaria and its transmission intensity using epidemiological data and satellite-derived or ground-measured environmental and meteorological data.

Kiang, Richard↗
NASA NTRS1998

Distribution and observed associations of orthostatic blood pressure changes in elderly general medicine outpatients

Factors associated with orthostatic blood pressure change in elderly outpatients were determined by surveying 398 medical clinical outpatients aged 65 years and older. Blood pressure was measured with random-zero sphygmomanometers after patients were 5 minutes in a supine and 5 minutes in a standing position. Orthostatic blood pressure changes were at normally distributed levels with systolic and diastolic pressures dropping an average of 4 mm Hg (standard deviation [SD]=15 mm Hg) and 2 mm Hg (SD=11 mm Hg), respectively. Orthostatic blood pressure changes were unassociated with age, race, sex, body mass, time since eating, symptoms, or other factors. According to multiple linear regression analysis, supine systolic pressure, chronic obstructive pulmonary disease (COPD), and diabetes mellitus were associated with a decrease in systolic pressure on standing. Hypertension, antiarthritic drugs, and abnormal heartbeat were associated with an increase in systolic pressure on standing. For orthostatic diastolic pressure changes, supine diastolic pressure and COPD were associated with a decrease in diastolic pressure on standing. Congestive heart failure was associated with an increase in standing diastolic pressure. Using logistic regression analysis, only supine systolic pressure was associated with a greater than 20-mm Hg drop in systolic pressure (n=53, prevalence=13%). Supine diastolic pressure and COPD were the only variables associated with a greater than 20-mm Hg drop in diastolic pressure (n=16, prevalence=4%). These factors may help physicians in identifying older persons at risk for having orthostatic hypotension.

Non-NASA Center↗