SEARCH · Search NASA

Results for “Complexity bounding”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 235 records · Page 13

All sources NASA NTRS DOE OSTI

NASA NTRS1994

Empirical study of parallel LRU simulation algorithms

This paper reports on the performance of five parallel algorithms for simulating a fully associative cache operating under the LRU (Least-Recently-Used) replacement policy. Three of the algorithms are SIMD, and are implemented on the MasPar MP-2 architecture. Two other algorithms are parallelizations of an efficient serial algorithm on the Intel Paragon. One SIMD algorithm is quite simple, but its cost is linear in the cache size. The two other SIMD algorithm are more complex, but have costs that are independent on the cache size. Both the second and third SIMD algorithms compute all stack distances; the second SIMD algorithm is completely general, whereas the third SIMD algorithm presumes and takes advantage of bounds on the range of reference tags. Both MIMD algorithm implemented on the Paragon are general and compute all stack distances; they differ in one step that may affect their respective scalability. We assess the strengths and weaknesses of these algorithms as a function of problem size and characteristics, and compare their performance on traces derived from execution of three SPEC benchmark programs.

Carr, Eric↗

NASA NTRS1987

Improvements in the perturbation simulations of the global reference atmospheric model

The Global Reference Atmospheric Model (GRAM) program includes the capability for simulating pseudo-random perturbations in density, temperature, pressure, or wind components along a simulated reentry trajectory or other path through the atmosphere. Some concerns were expressed by GRAM users, however, that the mean-square perturbation gradients may be too large for small values of the vertical separation Delta z. The present GRAM perturbation simulations, based on a one-step autoregressive model, yield a power spectrum versus wavenumber k which is proportional to k sup -2 at high wavenumbers. This feature also produces mean-square perturbation differences which are directly proportional to Delta z, and mean-square perturbation gradients which are inversely proportional to Delta z. Thus, root-mean-square gradients, (Delta f/Delta z) sub rms, increase with decreasing Delta a as Delta z sup -1/2. A simple modification to GRAM is suggested which overcomes this problem, i.e., which produce root-mean-square gradient that remain bound as Delta z approaches zero. Possible applications of more sophisticated simulation approaches, e.g., second order autoregressive models, or fractal model techniques, were also explored briefly but found to yield improvements which appear too small to justify their considerable added complexity for use in the GRAM programs.

Justus, C. G.↗

NASA NTRS1988

Linear quadratic regulators with eigenvalue placement in a specified region

A linear optimal quadratic regulator is developed for optimally placing the closed-loop poles of multivariable continuous-time systems within the common region of an open sector, bounded by lines inclined at + or - pi/2k (k = 2 or 3) from the negative real axis with a sector angle of pi/2 or less, and the left-hand side of a line parallel to the imaginary axis in the complex s-plane. The design method is mainly based on the solution of a linear matrix Liapunov equation, and the resultant closed-loop system with its eigenvalues in the desired region is optimal with respect to a quadratic performance index.

Shieh, Leang S.↗

NASA NTRS1995

The radiated noise from isotropic turbulence and heated jets

Our understanding of aerodynamic noise has its foundations in the work of Sir James Lighthill (1952), which was the first major advance in acoustics since the pioneering work of Lord Rayleigh in the last century. The combination of Lighthill's theory of aerodynamic noise as applied to turbulent flows and the experimental growing database from the early 1950's was quickly exploited by various jet propulsion engine designers in reducing the noise of jet engines at takeoff and landing to levels marginally acceptable to communities living in the neighborhoods of airports. The success in this noise containment led to the rapid growth of fast economical subsonic civil transport aircraft worldwide throughout the 1960's and has continued to the present day. One important factor in this success story has been the improvements in the engine cycle that have led to both reductions in specific fuel consumption and noise. The second is the introduction of Noise Certification, which specifies the maximum noise levels at takeoff and landing that all aircraft must meet before they can be entered on the Civil Aircraft Register. The growing interest in the development of a new supersonic civil transport to replace 'Concorde' in the early years of the next century has led to a resurgence of interest in the more challenging problem of predicting the noise of hot supersonic jets and developing means of aircraft noise reduction at takeoff and landing to meet the standards now accepted for subsonic Noise Certification. The prediction of aircraft noise to the accuracy required to meet Noise Certification requirements has necessitated reliance upon experimental measurements and empirically derived laws based on the available experimental data bases. These laws have their foundation in the results from Lighthill's theory, but in the case of jet noise, where the noise is generated in the turbulent mixing region with the external ambient fluid, the complexity of the turbulent motion has prevented the full deployment of Lighthill's theory from being achieved. However, the growth of the supercomputer and its applications in the study of the structure of turbulent shear flows in both unbounded and wall bounded flows, which complements and in certain cases extends the work of the few dedicated experimental groups working in this field for the past forty years, provides an opportunity and challenge to accurately predict the noise from jets. Moreover a combination of numerical and laboratory experiments offers the hope that in the not too distant future the physics of noise generation and flow interaction will be better understood and it will then be possible to not only improve the accuracy of noise prediction but also to explore and optimize schemes for noise reduction. The present challenge is to provide time and space accurate numerical databases for heated subsonic and supersonic jets to provide information on the fourth-order space-time covariance of Lighthill's equivalent stress tensor, T(ij), which governs the characteristics of the farfield radiated noise and the total acoustic power. Validation with available experimental databases will establish how close Lighthill's theory is to the accurate prediction of the directivity and spectrum of jet noise and the total acoustic power, and the need, in the applications of the theory, to include the effects of flow-acoustic interaction.

Lilley, G. M.↗

NASA NTRS2001

Resonances in Positronium Hydride

Recently, Ho and his colleagues have calculated the positions and widths of a series of resonances in the Ps+H scattering system, using the complex -rotation method and have compared them with estimates that I made many years ago using a quite different technique. I assumed that the resonance mechanism was the existence in the rearrangement channel [e+ + H-] of an infinite series of perturbed Coulomb bound states. Although these must be broadened and shifted by coupling with the open scattering channel, I expected them to lie very close to the actual resonance positions. To verify this, I did a model calculation for S-waves, including the coupling, and found that the first two resonances were not shifted very far from their unperturbed position. The new, detailed calculation agrees with this result, but when the P-wave was examined it was found, surprisingly, that the lowest resonance indeed moved up in energy by a large amount. With the help of Joseph DiRienzi of the College of Notre Dame of Maryland I am now extending the old calculation to P- and D-waves, in an attempt to understand this unexpected energy shift. Results will be presented at the Workshop.

Drachman, Richard J.↗

NASA NTRS2010

RCC Plug Repair Thermal Tools for Shuttle Mission Support

A thermal math model for the Space Shuttle Reinforced Carbon-Carbon (RCC) Plug Repair was developed to increase the confidence in the repair entry performance and provide a real-time mission support tool. The thermal response of the plug cover plate, local RCC, and metallic attach hardware can be assessed with this model for any location on the wing leading edge. The geometry and spatial location of the thermal mesh also matches the structural mesh which allows for the direct mapping of temperature loads and computation of the thermoelastic stresses. The thermal model was correlated to a full scale plug repair radiant test. To utilize the thermal model for flight analyses, accurate predictions of protuberance heating were required. Wind tunnel testing was performed at CUBRC to characterize the heat flux in both the radial and angular directions. Due to the complexity of the implementation of the protuberance heating, an intermediate program was developed to output the heating per nodal location for all OML surfaces in SINDA format. Three Design Reference Cases (DRC) were evaluated with the correlated plug thermal math model to bound the environments which the plug repair would potentially be used.

Rodriguez, Alvaro C.↗

NASA NTRS2014

A Space Data System Standard for Telerobotic Operations

The Telerobotics Working Group of the Mission Operations and Information Management Services Area of the Consultative Committee for Space Data Systems is drafting a document that will help bound the scope of an eventual international standard for telerobotic operations services. This paper will present the work in progress and provide background for how the international community is beginning to define standards in telerobotic operations that will help ensure the success of complex missions to explore beyond Earth orbit.

Mittman, David S.↗

NASA NTRSDate not supplied

Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif

Verification of Programmable Logic Controller (PLC) programs requires reasoning about propositions qualified in terms of time. CERN’s PLCverif, an open-source tool for the analysis of safety-critical PLC systems, uses Linear Temporal Logic (LTL) for the specification of properties. Until now, PLCverif depended on third-party tools that accept LTL specifications to perform verification. However, our experience with industrial PLC programs shows that, to overcome analysis limitations, a wide range of techniques are needed to successfully verify complex properties. In this paper, we extend PLCverif to enable PLC program verification of pure-past LTL (PLTL) safety properties with assertion-based verification tools. To this end, we take an algorithm from the runtime-monitoring domain, apply it to bounded model checking of PLC programs, and implement it in PLCverif. We extend the integration of NASA’s Formal Requirements Elicitation Tool (FRET) into PLCverif to use PLTL properties generated with FRET. In addition, we leverage the program structure induced by the PLC scan-cycle for a state-space reduction. Finally, we expose the algorithm to a real-world case study of critical systems at CERN.

Formal verification↗

NASA NTRS1977

A solution to the surface intersection problem

An application-independent geometric model within a data base framework should support the use of Boolean operators which allow the user to construct a complex model by appropriately combining a series of simple models. The use of these operators leads to the concept of implicitly and explicitly defined surfaces. With an explicitly defined model, the surface area may be computed by simply summing the surface areas of the bounding surfaces. For an implicitly defined model, the surface area computation must deal with active and inactive regions. Because the surface intersection problem involves four unknowns and its solution is a space curve, the parametric coordinates of each surface must be determined as a function of the arc length. Various subproblems involved in the general intersection problem are discussed, and the mathematical basis for their solution is presented along with a program written in FORTRAN IV for implementation on the IBM 370 TSO system.

Timer, H. G.↗

NASA NTRS1986

The Wisconsin magmatic terrane: An Early Proterozoic greenstone-granite terrane formed by plate tectonic processes

The Wisconsin magmatic terrane (WMT) is an east trending belt of dominantly volcanic-plutonic complexes of Early Proterozoic age (approx. 1850 m.y.) that lies to the south of the Archean rocks and Early Proterozoic epicratonic sequence (Marquette Range Supergroup) in Michigan. It is separated from the epicratonic Marquette Range Supergroup by the high-angle Niagara fault, is bounded on the south, in central Wisconsin, by Archean gneisses, is truncated on the west by rocks of the Midcontinent rift system, and is intruded on the east by the post-orogenic Wolf river batholith. The overall lithologic, geochemical, metallogenic, metamorphic, and deformational characteristics of the WMT are similar to those observed in recent volcanic arc terranes formed at sites of plate convergence. It is concluded that the WMT represents an evolved oceanic island-arc terrane accreated to the Superior craton in the Early Proterozoic. This conclusion is strengthened by the apparent absence of Archean basement from most of the WMT, and the recent recognition of the passive margin character of the epicratonic Marquette Range Supergroup.

Schulz, K. J.↗

NASA NTRS2000

Over-Expression, Purification and Crystallization of Human Dihydrolipoamide Dehydrogenase

Dehydrolipoamide dehydrogenase (E3; dihydrolipoan-tide:NAD+ oxidoreductase, EC 1.8.1.4) is a common catalytic component found in pyruvate dehydrogenase complex, alpha-ketoglutarate dehydrogenase complex, and branched-chain cc-keto acid dehydrogenase complex. E3 is also a component (referred to as L protein) of the glycine cleavage system in bacterial metabolism (2). Active E3 forms a homodimer with four distinctive subdomain structures (FAD binding, NAD+ binding, central and interface domains) with non-covalently but tightly bound FAD in the holoenzyme. Deduced amino acids from cloned full-length human E3 gene showed a total of 509 amino acids with a leader sequence (N-terminal 35 amino acids) that is excised (mature form) during transportation of expressed E3 into mitochondria membrane. So far, three-dimensional structure of human E3 has not been reported. Our effort to achieve the elucidation of the X-ray crystal structure of human E3 will be presented. Recombinant pPROEX-1 expression vector (from GIBCO BRL Life Technologies) having the human E3 gene without leader sequence was constructed by Polymerase Chain Reaction (PCR) and subsequent ligation, and cloned in E.coli XL1-Blue by transformation. Since pPROEX-1 vector has an internal His-tag (six histidine peptide) located at the upstream region of a multicloning site, one-step affinity purification of E3 using nickelnitriloacetic acid (Ni-NTA) agarose resin, which has a strong affinity to His-tag, was feasible. Also a seven-amino-acid spacer peptide and a recombinant tobacco etch virus protease recognition site (seven amino acids peptide) found between His-tag and first amino acid of expressed E3 facilitated the cleavage of His-tag from E3 after the affinity purification. By IPTG induction, ca. 15 mg of human E3 (mature form) was obtained from 1L LB culture with overnight incubation at 25C. Over 98% of purity of E3 from one-step Ni-NTA agarose affinity purification was confirmed by SDS-PAGE analysis. For crystallization, E3 samples were prepared with and without His-tag. To minimize the aggregation of E3, apo- and holo- forms of E3s were tested, as well as a mutated E3. Dynamic light scattering measurements revealed that the E3 preparations without His-tag and substrate are highly monodispersive with regard to homodimers. Consequent crystallization trials of this E3 preparation led to single crystals of E3 grown by the vapor diffusion method. Crystals were obtained within a few days from solution containing poly (ethylene glycol) monomethyl ether 5000 as a precipitant. Autoindexing and integration of the X-ray diffraction data showed that E3 crystals belong to an orthorhombic system with unit cell parameters a-- 123. 1, b= 165.3 and c=214.3A. Further optimization of protein preparation and crystallization experiments for the structural determination will be discussed.

Hong, Y. S.↗

NASA NTRS1994

(abstract) A Low-Cost Mission to 2060 Chiron Based on the Pluto Fast Flyby

The Pluto Fast Flyby-based mission to Chiron described in this paper is a low cost, scientifically rewarding, focused mission in the outer solar system. The proposed mission will make a flyby of 2060 Chiron, an active 'comet' with over 10(sup 4) times the mass of Halley, and an eccentric, Saturn-crossing orbit which ranges from 8.5 to 19 AU. This mission concept achieves the flyby 4.2 years after launch on a direct trajectory from Earth, is independent of Jupiter launch windows, and fits within Discovery cost guidelines. This mission offers the scientific opportunity to examine a class of object left unsampled by the trail-blazing Mariners, Pioneers, Voyagers, and missions to Halley. Spacecraft reconnaissance of Chiron addresses unique objectives relating to cometary science, other small bodies, the structure of quasi-bound atmospheres on modest-sized bodies, and the origin of primitive bodies and the giant planets. Owing to Chiron's large size (180<D<370 km), unique nature, and unusual orbit, this mission is likely to draw significant public interest. As described by COMPLEX, the SSEC, and later the SSES, flybys are the appropriate scale missions for initial reconnaissance missions. Carrying three sophisticated instruments, the proposed flyby will return critical data about Chiron's size, shape, polar obliquity, atmosphere, surface morphology, surface composition, internal structure, surface activity (including the nature of Chiron's outbursts), and origin. Engineering analysis indicates that the spacecraft is capable of navigating to and encountering Chiron at close approach distances of less than 5 000 km, well inside the 50 000 to 150 000 km coma, and perhaps within the collisional chemistry zone of the coma. The low cost of the proposed Chiron mission is based on the opportunity to use the planned Pluto Flyby spare spacecraft and a Proton Expendable Launch Vehicle (ELV) (the pluto spacecraft is being designed to be compatible with a Proton launch). Backup launch opportunities on Delta II and Atlas ELVs are available. The Pluto Fast Flyby mission plans to develop a low cost ($150M), lightweight (<150 kg) outer planet spacecraft which is well suited to flyby reconnaissance in the outer solar system. This Chiron flyby mission is designed to leverage SSED's Pluto spacecraft investment into a scientifically valuable successor mission within the Discovery cost cap. Taking advantage of the spare spacecraft, we estimate the Discovery Chiron intercept mission can be launched for less than $100 M. We believe this makes a highly attractive proposal, which maintains US presence and leadership in the study of the outer solar system, and enables the first-time exploration of a wholly new class of planetary target, an outer solar system planetesimal.

2060 Chiron planetesimal flyby Pluto Fast Flyby sp↗

NASA NTRS1993

On streak spacing in wall-bounded turbulent flows

The present study is a continuation of the examination by Hamilton et al. of the regeneration mechanisms of near-wall turbulence and an attempt to investigate the conjecture of Waleffe et al. The basis of this study is an extension of the 'minimal channel' approach of Jimenez and Moin that emphasizes the near-wall region and reduces the complexity of the turbulent flow by considering a plane Couette flow of near minimum Reynolds number and stream-wise and span-wise extent. Reduction of the flow Reynolds number to the minimum value which will allow turbulence to be sustained has the effect of reducing the ratio of the largest scales to the smallest scales or, equivalently, of causing the near-wall region to fill more of the area between the channel walls. A plane Couette flow was chosen for study since this type of flow has a mean shear of a single sign, and at low Reynolds numbers, the two wall regions are found to share a single set of structures.

Hamilton, James M.↗

NASA NTRS1972

Interpretation of dispersion relations for bounded systems.

Treatment of the problem of constructing normal modes for an arbitrarily bounded system from roots of the linear dispersion relation D(omega, k) = 0 for the corresponding infinite or periodically bounded system. For a system described by continuous macroscopic variables, and of general cylindrical form, each transverse eigenmode gives rise to a set of axial normal modes constructed from a pair of dominant roots of D = 0 satisfying the boundary conditions which are characterized by complex reflection coefficients for the dominant waves. The implications of the results for the interpretation of experiments on plasma waves and instabilities on finite cylinders are discussed, with particular reference to the effects of end-plate damping and axial current on Q-machines.

Rognlien, T. D.↗

NASA NTRS1990

Optimal parallel evaluation of AND trees

A quantitative analysis based on both preemptive and nonpreemptive critical-path scheduling algorithms is presently conducted for the optimal degree of parallelism required in evaluating a given AND tree. The optimal degree of parallelism is found to depend on problem complexity, precedence-graph shape, and task-time distribution along each path. In addition to demonstrating the optimality of the preemptive critical-path scheduling algorithm for evaluating an arbitrary AND tree on a fixed number of processors, the possibility of efficiently ascertaining tight bounds on the number of processors for optimal processor-time efficiency is illustrated.

Wah, Benjamin W.↗

NASA NTRS1992

Formal verification of a set of memory management units

This document describes the verification of a set of memory management units (MMU). The verification effort demonstrates the use of hierarchical decomposition and abstract theories. The MMUs can be organized into a complexity hierarchy. Each new level in the hierarchy adds a few significant features or modifications to the lower level MMU. The units described include: (1) a page check translation look-aside module (TLM); (2) a page check TLM with supervisor line; (3) a base bounds MMU; (4) a virtual address translation MMU; and (5) a virtual address translation MMU with memory resident segment table.

Schubert, E. Thomas↗

NASA NTRS2008

Estimating Shock Spectra: Extensions beyond GEVS

Shock response spectra (SRS) are the standard description of some vibration environments on spacecraft for equipment qualification. For shock events produced by pyrotechnic devices, SRS can have significant frequency content as high as 10 kHz. It is difficult to construct and analyze finite element models that can resolve dynamic behavior at such high frequencies. GEVS provides simple, empirically based methods for approximating the SRS for a wide variety of shock events. It begins with a base SRS according to the type of pyrotechnic device, and then provides attenuation relations to adjust this SRS according to distance from the shock source, the type of structural frame and the properties of any structural joints between the source and equipment. In our paper we extend GEVS to include more detailed information about the spacecraft structure. To retain the general framework of GEVS, we begin with a base SRS and adjust this SRS using attenuation relations. We use modal and traveling wave concepts to derive the attenuation relations for simple canonical structures. Then we show how these concepts can be used to analyze more complex structures using finite element mode shapes to explicitly calculate the attenuation factors. Since the low- to mid-frequency finite element modal information is extrapolated to obtain the low- to high-frequency attenuation relations, the resulting attenuated SRS is formulated as an upper bound rather than as mean predicted values. We illustrate the extended GEVS approach by analyzing the impact response of composite tubes and the shock response of the STEREO spacecraft.

Igusa, Takeru↗

NASA NTRS1993

The complex structured singular value

A tutorial introduction to the complex structured singular value (mu) is presented, with an emphasis on the mathematical aspects of mu. The mu-based methods discussed here have been useful for analyzing the performance and robustness properties of linear feedback systems. Several tests for robust stability and performance with computable bounds for transfer functions and their state space realizations are compared, and a simple synthesis problem is studied. Uncertain systems are represented using linear fractional transformations which naturally unify the frequency-domain and state space methods.

Packard, A.↗