Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Graphs”

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 451 records · Page 25

Reducing False Positives in Runtime Analysis of Deadlocks

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

Bensalem, Saddek↗

Incremental Contingency Planning

There has been considerable work in AI on planning under uncertainty. However, this work generally assumes an extremely simple model of action that does not consider continuous time and resources. These assumptions are not reasonable for a Mars rover, which must cope with uncertainty about the duration of tasks, the energy required, the data storage necessary, and its current position and orientation. In this paper, we outline an approach to generating contingency plans when the sources of uncertainty involve continuous quantities such as time and resources. The approach involves first constructing a "seed" plan, and then incrementally adding contingent branches to this plan in order to improve utility. The challenge is to figure out the best places to insert contingency branches. This requires an estimate of how much utility could be gained by building a contingent branch at any given place in the seed plan. Computing this utility exactly is intractable, but we outline an approximation method that back propagates utility distributions through a graph structure similar to that of a plan graph.

Dearden, Richard↗

A Scalable Nonuniform Pointer Analysis for Embedded Program

In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and elements of arrays. The main contribution consists of an efficient yet precise algorithm that can handle multithreaded programs. We first perform an inexpensive flow-sensitive analysis of each function in the program that generates semantic equations describing the effect of the function on the memory graph. These equations bear numerical constraints that describe nonuniform points-to relationships. We then iteratively solve these equations in order to obtain an abstract storage graph that describes the shape of data structures at every point of the program for all possible thread interleavings. We bring experimental evidence that this approach is tractable and precise for real-size embedded applications.

Venet, Arnaud↗

Adaptive Bio-Inspired Wireless Network Routing for Planetary Surface Exploration

Wireless mobile networks suffer connectivity loss when used in a terrain that has hills, and valleys when line of sight is interrupted or range is exceeded. To resolve this problem and achieve acceptable network performance, we have designed an adaptive, configurable, hybrid system to automatically route network packets along the best path between multiple geographically dispersed modules. This is very useful in planetary surface exploration, especially for ad-hoc mobile networks, where computational devices take an active part in creating a network infrastructure, and can actually be used to route data dynamically and even store data for later transmission between networks. Using inspiration from biological systems, this research proposes to use ant trail algorithms with multi-layered information maps (topographic maps, RF coverage maps) to determine the best route through ad-hoc network at real time. The determination of best route is a complex one, and requires research into the appropriate metrics, best method to identify the best path, optimizing traffic capacity, network performance, reliability, processing capabilities and cost. Real ants are capable of finding the shortest path from their nest to a food source without visual sensing through the use of pheromones. They are also able to adapt to changes in the environment using subtle clues. To use ant trail algorithms, we need to define the probability function. The artificial ant is, in this case, a software agent that moves from node to node on a network graph. The function to calculate the fitness (evaluate the better path) includes: length of the network edge, the coverage index, topology graph index, and pheromone trail left behind by other ant agents. Each agent modifies the environment in two different ways: 1) Local trail updating: As the ant moves between nodes it updates the amount of pheromone on the edge; and 2) Global trail updating: When all ants have completed a tour the ant that found the shortest route updates the edges in its path.

Alena, Richard I.↗

Online Tools for Astronomy and Cosmochemistry

Over the past year, the Webnucleo Group at Clemson University has been developing a web site with a number of interactive online tools for astronomy and cosmochemistry applications. The site uses SHP (Simplified Hypertext Preprocessor), which, because of its flexibility, allows us to embed almost any computer language into our web pages. For a description of SHP, please see http://www.joeldenny.com/ At our web site, an internet user may mine large and complex data sets, such as our stellar evolution models, and make graphs or tables of the results. The user may also run some of our detailed nuclear physics and astrophysics codes, such as our nuclear statistical equilibrium code, which is written in fortran and C. Again, the user may make graphs and tables and download the results.

Meyer, B. S.↗

Oxidation Embrittlement Observed in SiC/SiC Composites

As part of a comprehensive materials characterization program at the NASA Lewis Research Center, tensile creep-rupture tests were performed on a SiC-fiber-reinforced SiC-matrix composite. The results of these tests and subsequent analysis revealed an oxidation embrittlement phenomena that occurs readily at a discreet temperature range below the maximum use temperature. The graph shows rupture lives for a creep stress of 83 MPa as a function of temperature. Note that the rupture time is constant at an intermediate temperature range of 700 to 982 C. This graph also shows the failure location, as measured from the center of the specimen. Whereas for temperatures of 500 to 700 C, failure occurred in the specimen gage section; at higher temperatures, the failure location migrated toward the cooled grip ends. Although the results initially suggested that the test procedure was influencing the measured creep rupture lives and driving the failure location out of the gage section, subsequent experiments and thermal stress analyses verified the robustness of the test method employed.

Verrilli, Michael J.↗

Jet Noise Reduction

The Acoustics Branch is responsible for reducing noise levels for jet and fan components on aircraft engines. To do this, data must be measured and calibrated accurately to ensure validity of test results. This noise reduction is accomplished by modifications to hardware such as jet nozzles, and by the use of other experimental hardware such as fluidic chevrons, elliptic cores, and fluidic shields. To insure validity of data calibration, a variety of software is used. This software adjusts the sound amplitude and frequency to be consistent with data taken on another day. Both the software and the hardware help make noise reduction possible. work properly. These software programs were designed to make corrections for atmosphere, shear, attenuation, electronic, and background noise. All data can be converted to a one-foot lossless condition, using the proper software corrections, making a reading independent of weather and distance. Also, data can be transformed from model scale to full scale for noise predictions of a real flight. Other programs included calculations of Over All Sound Pressure Level (OASPL), Effective Perceived Noise Level (EPNL). OASPL is the integration of sound with respect to frequency, and EPNL is weighted for a human s response to different sound frequencies and integrated with respect to time. With the proper software correction, data taken in the NATR are useful in determining ways to reduce noise. display any difference between two or more data files. Using this program and graphs of the data, the actual and predicted data can be compared. This software was tested on data collected at the Aero Acoustic Propulsion Laboratory (AAPL) using a variety of window types and overlaps. Similarly, short scripts were written to test each individual program in the software suite for verification. Each graph displays both the original points and the adjusted points connected with lines. During this summer, data points were taken during a live experiment at the AAPL to measure Nozzle Acoustic Test Rig (NATR) background noise levels. Six condenser microphones were placed in strategic locations around the dome and the inlet tunnel to measure different noise sources. From the control room the jet was monitored with the help of video cameras and other sensors. The data points were recorded, reduced, and plotted, and will be used to plan future modifications to the NATR. The primary goal to create data reduction test programs and provide verification was completed. As a result of the internship, I learned C/C++, UNIX/LINUX, Excel, and acoustic data processing methods. I also recorded data at the AAPL, then processed and plotted it. These data would be useful to compare against existing data. In addition, I adjusted software to work on the Mac OSX platform. And I used the available training resources.

Kenny, Patrick↗

Depth-Penetrating Measurements Developed for Thermal Barrier Coatings Incorporating Thermographic Phosphors

The insulating properties of thermal barrier coatings (TBCs) provide highly beneficial thermal protection to turbine engine components by reducing the temperature sustained by those components. Therefore, measuring the temperature beneath the TBC is critical for determining whether the TBC is performing its insulating function. Currently, noncontact temperature measurements are performed by infrared pyrometry, which unfortunately measures the TBC surface temperature rather than the temperature of the underlying component. To remedy this problem, the NASA Glenn Research Center, under the Information Rich Test Instrumentation Project, developed a technique to measure the temperature beneath the TBC by incorporating a thin phosphor layer beneath the TBC. By performing fluorescence decay-time measurements on light emission from this phosphor layer, Glenn successfully measured temperatures from the phosphor layer up to 1100 C. This is the first successful demonstration of temperature measurements that penetrate beneath the TBC. Thermographic phosphors have a history of providing noncontact surface temperature measurements. Conventionally, a thermographic phosphor is applied to the material surface and temperature measurements are performed by exciting the phosphor with ultraviolet light and then measuring the temperature-dependent decay time of the phosphor emission at a longer wavelength. The innovative feature of the new approach is to take advantage of the relative transparency of the TBC (composed of yttria-stabilized zirconia) in order to excite and measure the phosphor emission beneath the TBC. The primary obstacle to achieving depth-penetrating temperature measurements is that the TBCs are completely opaque to the ultraviolet light usually employed to excite the phosphor. The strategy that Glenn pursued was to select a thermographic phosphor that could be excited and emit at wavelengths that could be transmitted through the TBC. The phosphor that was selected was yttria doped with europia (Y2O3:Eu), which has a minor excitation peak at 532 nm (green) and an emission peak at 611 nm (red)--both are wavelengths that exhibit significant transmission through the TBC. The measurements were performed on specimens consisting of a 25- m-thick phosphor layer beneath a 100- m-thick TBC. The 532-nm (green) excitation light was provided by a frequency-doubled YAG:Nd (yttrium-aluminum-garnet:neodymium) laser, and the fluorescence decay time measurements were acquired with a modified Raman microscope. The preceding graph compares the intensity of the phosphor emission of the phosphor layer above the TBC versus that of the phosphor layer beneath the TBC. Although there was considerable attenuation of the phosphor signal (a factor of 30), the phosphor emission at the reduced intensity was more than sufficient to perform fluorescence decay time measurements. The following graph shows the fluorescence lifetime temperature dependency for the Y2O3:Eu phosphor layers both above and below the TBC. These curves show an excellent match and indicate that, despite the attenuation due to the overlying TBC, the phosphor layer beneath the TBC still functions as an effective temperature indicator.

Eldridge, Jeffrey I.↗

Optical Calibration Process Developed for Neural-Network-Based Optical Nondestructive Evaluation Method

A completely optical calibration process has been developed at Glenn for calibrating a neural-network-based nondestructive evaluation (NDE) method. The NDE method itself detects very small changes in the characteristic patterns or vibration mode shapes of vibrating structures as discussed in many references. The mode shapes or characteristic patterns are recorded using television or electronic holography and change when a structure experiences, for example, cracking, debonds, or variations in fastener properties. An artificial neural network can be trained to be very sensitive to changes in the mode shapes, but quantifying or calibrating that sensitivity in a consistent, meaningful, and deliverable manner has been challenging. The standard calibration approach has been difficult to implement, where the response to damage of the trained neural network is compared with the responses of vibration-measurement sensors. In particular, the vibration-measurement sensors are intrusive, insufficiently sensitive, and not numerous enough. In response to these difficulties, a completely optical alternative to the standard calibration approach was proposed and tested successfully. Specifically, the vibration mode to be monitored for structural damage was intentionally contaminated with known amounts of another mode, and the response of the trained neural network was measured as a function of the peak-to-peak amplitude of the contaminating mode. The neural network calibration technique essentially uses the vibration mode shapes of the undamaged structure as standards against which the changed mode shapes are compared. The published response of the network can be made nearly independent of the contaminating mode, if enough vibration modes are used to train the net. The sensitivity of the neural network can be adjusted for the environment in which the test is to be conducted. The response of a neural network trained with measured vibration patterns for use on a vibration isolation table in the presence of various sources of laboratory noise is shown. The output of the neural network is called the degradable classification index. The curve was generated by a simultaneous comparison of means, and it shows a peak-to-peak sensitivity of about 100 nm. The following graph uses model generated data from a compressor blade to show that much higher sensitivities are possible when the environment can be controlled better. The peak-to-peak sensitivity here is about 20 nm. The training procedure was modified for the second graph, and the data were subjected to an intensity-dependent transformation called folding. All the measurements for this approach to calibration were optical. The peak-to-peak amplitudes of the vibration modes were measured using heterodyne interferometry, and the modes themselves were recorded using television (electronic) holography.

Decker, Arthur J.↗

Turbofan Engine Simulated in a Graphical Simulation Environment

Recently, there has been an increase in the development of intelligent engine technology with advanced active component control. The computer engine models used in these control studies are component-level models (CLM), models that link individual component models of state space and nonlinear algebraic equations, written in a computer language such as Fortran. The difficulty faced in performing control studies on Fortran-based models is that Fortran is not supported with control design and analysis tools, so there is no means for implementing real-time control. It is desirable to have a simulation environment that is straightforward, has modular graphical components, and allows easy access to health, control, and engine parameters through a graphical user interface. Such a tool should also provide the ability to convert a control design into real-time code, helping to make it an extremely powerful tool in control and diagnostic system development. Simulation time management is shown: Mach number versus time, power level angle versus time, altitude versus time, ambient temperature change versus time, afterburner fuel flow versus time, controller and actuator dynamics, collect initial conditions, CAD output, and component-level model: CLM sensor, CAD input, and model output. The Controls and Dynamics Technologies Branch at the NASA Glenn Research Center has developed and demonstrated a flexible, generic turbofan engine simulation platform that can meet these objectives, known as the Modular Aero-Propulsion System Simulation (MAPSS). MAPSS is a Simulink-based implementation of a Fortran-based, modern high pressure ratio, dual-spool, low-bypass, military-type variable-cycle engine with a digital controller. Simulink (The Mathworks, Natick, MA) is a computer-aided control design and simulation package allows the graphical representation of dynamic systems in a block diagram form. MAPSS is a nonlinear, non-real-time system composed of controller and actuator dynamics (CAD) and component-level model (CLM) modules. The controller in the CAD module emulates the functionality of a digital controller, which has a typical update rate of 50 Hz. The CLM module simulates the dynamics of the engine components and uses an update rate of 2500 Hz, which is needed to iterate to balance mass and energy among system components. The actuators in the CAD module use the same sampling rate as those in the CLM. Two graphs of normalized spool speed versus time in seconds and one graph of normalized average metal temperature versus time in seconds is shown. MAPSS was validated via open-loop and closed-loop comparisons with the Fortran simulation. The preceding plots show the normalized results of a closed-loop comparison looking at three states of the model: low-pressure spool speed, high-pressure spool speed, and the average metal temperature measured from the combustor to the high-pressure turbine. In steady state, the error between the simulations is less than 1 percent. During a transient, the difference between the simulations is due to a correction in MAPSS that prevents the gas flow in the bypass duct inlet from flowing forward instead of toward the aft end, which occurs in the Fortran simulation. A comparison between MAPSS and the Fortran model of the bypass duct inlet flow for power lever angles greater than 35 degrees is shown.

Parker, Khary I.↗

Power and Efficiency Optimized in Traveling-Wave Tubes Over a Broad Frequency Bandwidth

A traveling-wave tube (TWT) is an electron beam device that is used to amplify electromagnetic communication waves at radio and microwave frequencies. TWT's are critical components in deep space probes, communication satellites, and high-power radar systems. Power conversion efficiency is of paramount importance for TWT's employed in deep space probes and communication satellites. A previous effort was very successful in increasing efficiency and power at a single frequency (ref. 1). Such an algorithm is sufficient for narrow bandwidth designs, but for optimal designs in applications that require high radiofrequency power over a wide bandwidth, such as high-density communications or high-resolution radar, the variation of the circuit response with respect to frequency must be considered. This work at the NASA Glenn Research Center is the first to develop techniques for optimizing TWT efficiency and output power over a broad frequency bandwidth (ref. 2). The techniques are based on simulated annealing, which has the advantage over conventional optimization techniques in that it enables the best possible solution to be obtained (ref. 3). Two new broadband simulated annealing algorithms were developed that optimize (1) minimum saturated power efficiency over a frequency bandwidth and (2) simultaneous bandwidth and minimum power efficiency over the frequency band with constant input power. The algorithms were incorporated into the NASA coupled-cavity TWT computer model (ref. 4) and used to design optimal phase velocity tapers using the 59- to 64-GHz Hughes 961HA coupled-cavity TWT as a baseline model. In comparison to the baseline design, the computational results of the first broad-band design algorithm show an improvement of 73.9 percent in minimum saturated efficiency (see the top graph). The second broadband design algorithm (see the bottom graph) improves minimum radiofrequency efficiency with constant input power drive by a factor of 2.7 at the high band edge (64 GHz) and increases simultaneous bandwidth by 500 MHz.

Wilson, Jeffrey D.↗

Distribution of Inclusion-Initiated Fatigue Cracking in Powder Metallurgy Udimet 720 Characterized

In the absence of extrinsic surface damage, the fatigue life of metals is often dictated by the distribution of intrinsic defects. In powder metallurgy (PM) alloys, relatively large defects occur rarely enough that a typical characterization with a limited number of small volume fatigue test specimens will not adequately sample inclusion-initiated damage. Counterintuitively, inclusion-initiated failure has a greater impact on the distribution in PM alloy fatigue lives because they tend to have fewer defects than their cast and wrought counterparts. Although the relative paucity of defects in PM alloys leads to higher mean fatigue lives, the distribution in observed lives tends to be broader. In order to study this important failure initiation mechanism without expending an inordinate number of specimens, a study was undertaken at the NASA Glenn Research Center where known populations of artificial inclusions (seeds) were introduced to production powder. Fatigue specimens were machined from forgings produced from the seeded powder. Considerable effort has been expended in characterizing the crack growth rate from inclusion-initiated cracks in seeded PM alloys. A rotating and translating positioning system, with associated software, was devised to map the surface inclusions in low-cycle fatigue (LCF) test bars and to monitor the crack growth from these inclusions. The preceding graph illustrates the measured extension in fatigue cracks from inclusions on a seeded LCF test bar subjected to cyclic loading at a strain range of 0.8 percent and a strain ratio (max/min) of zero. Notice that the observed inclusions fall into three categories: some do not propagate at all (arrest), some propagate with a decreasing crack growth rate, and a few propagate at increasing rates that can be modeled by fracture mechanics. The following graph shows the measured inclusion-initiated crack growth rates from 10 interrupted LCF tests plotted against stress intensities calculated for semi-elliptical cracks with the observed surface lengths. The expected scatter in the crack growth rates for stress intensity ranges near threshold is observed. These data will be used to help determine the distribution in growth rates of cracks emanating from inclusions as well as the proportion of cracks that arrest under various loading conditions.

Bonacuse, Peter J.↗

Method Developed for Noninterference Measurement of Blade Damping

Although noninterference optical instrumentation has been previously used to monitor and measure rotor blade vibrations, it has not been used at the NASA Glenn Research Center for the determination of damping. This article describes such a measurement in Glenn's Spin Rig facility. The optical system was chosen because installation of the slip rig for this particular configuration was not feasible, ruling out strain gauge instrumentation. The shaft in this facility was suspended with two radial magnetic bearings, and the excitation was supplied to the bearings by a signal generator. For the first mode, the direction of excitation force was always perpendicular to the blade as described by Morrison. The preceding graph shows blade displacements, as measured by an optical probe during a frequency sweep designed to locate the first mode resonance. The resonance determines the frequency at which the shaft is excited. Because the sampling rate was fixed to only once per revolution with these transducers, and the first mode frequency was much larger than the rotational frequency, the data in this figure were undersampled with an apparent frequency that was only 1 Hz at the beginning of the sweep, about 14 Hz at the maximum amplitude, and about 20 Hz at the end of the sweep. The true excitation frequency varied during the sweep from 320 to 340 Hz, and the resonance occurred at 334 Hz. Damping is determined by applying a frequency burst to the shaft. Upon cessation of the burst, the blade undergoes free decay. The apparent damping is then obtained by a least squares fit of the theoretical cosine decay function through the experimental points. The following graph illustrates this procedure. Because of frequency aliasing, the apparent measured damping must be divided by the ratio of the true resonant frequency to the apparent measured frequency to obtain the true damping. Note that the contribution of the shaft vibration to the blade vibration could be neglected because it was shown that it is an order of magnitude smaller and that its decay is an order of magnitude faster.

Kurkov, Anatole P.↗

A Constraint-Based Planner for Data Production

This paper presents a graph-based backtracking algorithm designed to support constrain-tbased planning in data production domains. This algorithm performs backtracking at two nested levels: the outer- backtracking following the structure of the planning graph to select planner subgoals and actions to achieve them and the inner-backtracking inside a subproblem associated with a selected action to find action parameter values. We show this algorithm works well in a planner applied to automating data production in an ecological forecasting system. We also discuss how the idea of multi-level backtracking may improve efficiency of solving semi-structured constraint problems.

Pang, Wanlin↗

Preliminary Results from the QuietSpike Flight Test

This viewgraph presentation reviews the QuietSpike flight test results. It shows the previous tests from Nearfield probes. The presentation then reviews the approach to test the QuietSpike, and shows graphics of the positions of the test vehicles. It also shows the components of the Sonic Boom Probing Noseboom. A graph of the Pressure Over- Under-shoot (Shaped Sonic Boom Demonstration (SSBD)Data) is presented. It reviews the Shock Probing Orientations, explaining that the probing plane is always behind the tail of the QuietSpike jet. Graphs of the Shock Position Geometry (SSBD Data) and the QuietSpike signature as of the test on 12/13/06, Near-Field Probing Directly Under the QuietSpike jet, and Near-Field Probing to Side, Near-Field Probing Above and to Side. Several slides review the Computational Fluid Dynamic models, and results compared to the probe tests.

Haering, Edward A., Jr.↗

A High Power Frequency Doubled Fiber Laser

This viewgraph presentation reports on the development of a high power 780 nm laser suitable for space applications of laser cooling. A possible solution is to use frequency doubling of high power 1560 nm telecom lasers. The presentation shows a diagram of the frequency conversion, and a graph of the second harmonic generation in one crystal, and the use of the cascading crystals. Graphs show the second harmonic power as a function of distance between crystals, second harmonic power vs. pump power, tunability of laser systems.

laser cooling↗

Protograph LDPC Codes for the Erasure Channel

This viewgraph presentation reviews the use of protograph Low Density Parity Check (LDPC) codes for erasure channels. A protograph is a Tanner graph with a relatively small number of nodes. A "copy-and-permute" operation can be applied to the protograph to obtain larger derived graphs of various sizes. For very high code rates and short block sizes, a low asymptotic threshold criterion is not the best approach to designing LDPC codes. Simple protographs with much regularity and low maximum node degrees appear to be the best choices Quantized-rateless protograph LDPC codes can be built by careful design of the protograph such that multiple puncturing patterns will still permit message passing decoding to proceed

long erasure codes↗

Population Simulation, AKA: Grahz, Rahbitz and Fawkzes

In an effort to give students a more visceral experience of science and instill a deeper working knowledge of concepts, activities that utilize hands-on, laboratory and simulated experiences are recommended because these activities have a greater impact on student learning, especially for Native American students. Because it is not usually feasible to take large and/or multiple classes of high school science students into the field to count numbers of organisms of a particular species, especially over a long period of time and covering a large area of an environment, the population simulation presented in this paper was created to aid students in understanding population dynamics by working with a simulated environment, which can be done in the classroom. Students create an environment and populate the environment with imaginary species. Then, using a sequence of "rules" that allow organisms to eat, reproduce, move and age, students see how the population of a species changes over time. In particular, students practice collecting data, summarizing information, plotting graphs, and interpreting graphs for such information as carrying capacity, predator prey relationships, and how specific species factors impact population and the environment. Students draw conclusions from their results and suggest further research, which may involve changes in simulation parameters, prediction of outcomes, and testing predictions. The population Simulation has demonstrated success in the above student activities using a "board game" version of the population simulation. A computer version of the population simulation needs more testing, but preliminary runs are promising. A second - and more complicated - computer simulation will simulate the same things and will add simulated population genetics.

Bangert, Tyler R.↗