Search NASA⌕ Search

SEARCH · Search NASA

Results for “Bounding Analysis”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS2017

Thermal Design and Analysis of the Optical Telescope Assembly for the Gondola for High Altitude Planetary Science

The NASA Gondola for High Altitude Planetary Science (GHAPS) project is an effort to design, build, and fly a balloon-borne platform for planetary science missions. GHAPS observations will be in the 300 nm to 5 micron wavelength region covering UV, visible, and near-mid IR. The primary element of the project is the Optical Telescope Assembly (OTA). It is a one meter aperture narrow-field-of-view telescope that contains the primary and secondary mirrors, the support system/metering structure, a secondary mirror focusing system, baffles, and insulation. This paper presents the thermal design and analysis that has been done to support the design of the OTA. A major part of the thermal analysis was bounding the flight environment for the six potential Columbia Scientific Balloon Facility launch sites. These analyses were used to give input into the Structural Thermal Optical Performance (STOP) analysis of the telescope. Also the analysis was used to select heater sizes for the few OTA associated electronic components. Currently the telescope is scheduled to have its first flight in 2019.

O'Connor, Brian↗
NASA NTRS2014

Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops

Symbolic execution is a program analysis technique that is used for many purposes, one of which is test-case generation. For loop-free programs, this generates a test-set that achieves path coverage. Program loops, however, imply exponential growth of the number of paths in the best case and non-termination in the worst case. In practice, the number of loop unwindings needs to be bounded for analysis. We consider symbolic execution in the context of the tool Symbolic Pathfinder. This tool extends the model-checker Java Pathfinder and relies on its bounded state-space exploration for termination. We present an implementation of k-bounded loop unwinding, which increases the amount of user-control over the symbolic execution of loops. Bounded unwinding can be viewed as a naive way to prune paths through loops. When using symbolic execution for test-case generation, naively pruning paths is likely at the cost of coverage. In order to improve coverage of branches within a loop body, we present a technique that semi-automatically concretizes variables used in a loop. The basic technique is limited and we therefore present annotations to manually steer symbolic execution towards certain branches, as well as ideas on how the technique can be extended to be more widely applicable.

Programs With Loops↗
NASA NTRS1991

ATAMM analysis tool

Diagnostics software for analyzing Algorithm to Architecture Mapping Model (ATAMM) based concurrent processing systems is presented. ATAMM is capable of modeling the execution of large grain algorithms on distributed data flow architectures. The tool graphically displays algorithm activities and processor activities for evaluation of the behavior and performance of an ATAMM based system. The tool's measurement capabilities indicate computing speed, throughput, concurrency, resource utilization, and overhead. Evaluations are performed on a simulated system using the software tool. The tool is used to estimate theoretical lower bound performance. Analysis results are shown to be comparable to the predictions.

Jones, Robert↗
NASA NTRS1981

Approach to forecasting daily maximum ozone levels in St. Louis

Measurements taken in 1976 from the St. Louis Regional Air Pollution Study (RAPS) data base, conducted by EPA, were analyzed to determine an optimum set of air-quality and meteorological variables for predicting maximum ozone levels for each day in 1976. A 'leaps and bounds' regression analysis was used to identify the best subset of variables. Three particular variables, the 9 a.m. ozone level, the forecasted maximum temperature, and the 6-9 a.m. averaged wind speed, have useful forecasting utility. The trajectory history of air masses entering St. Louis was studied, and it was concluded that transport-related variables contribute to the appearance of very high ozone levels. The final empirical forecast model predicts the daily maximum ozone over 341 days with a standard deviation of 11 ppb, which approaches the estimated error.

Prior, E. J.↗
NASA NTRS1987

Performance analysis of parallel branch and bound search with the hypercube architecture

With the availability of commercial parallel computers, researchers are examining new classes of problems which might benefit from parallel computing. This paper presents results of an investigation of the class of search intensive problems. The specific problem discussed is the Least-Cost Branch and Bound search method of deadline job scheduling. The object-oriented design methodology was used to map the problem into a parallel solution. While the initial design was good for a prototype, the best performance resulted from fine-tuning the algorithm for a specific computer. The experiments analyze the computation time, the speed up over a VAX 11/785, and the load balance of the problem when using loosely coupled multiprocessor system based on the hypercube architecture.

Mraz, Richard T.↗
NASA NTRS1991

Analysis of upper and lower bounds of the frame noise in linear detector arrays

This paper estimates the upper and lower bounds of the frame noise of a linear detector array that uses a one-dimensional scan pattern. Using chi-square distribution, it is analytically shown why it is necessary to use the average of the variances and not the average of the standard deviations to estimate these bounds. Also, a criteria for determining whether any excessively noisy lines exist among the detectors is derived from these bounds. Using a Gaussian standard random variable generator, these bounds are demonstrated to be accurate within the specified confidence interval. A silicon detector array is then used for actual dark current measurements. The criterion developed for determination of noisy detectors is checked on the experimentally obtained data.

Jaggi, S.↗
NASA NTRS1993

LUTE telescope structural design

The major objective of the Lunar Ultraviolet Transit Experiment (LUTE) Telescope Structural Design Study was to investigate the feasibility of designing an ultralightweight 1-m aperture system within optical performance requirements and mass budget constraints. This study uses the results from our previous studies on LUTE as a basis for further developing the LUTE structural architecture. After summarizing our results in Section 2, Section 3 begins with the overall logic we used to determine which telescope 'structural form' should be adopted for further analysis and weight estimates. Specific telescope component analysis showing calculated fundamental frequencies and how they compare with our derived requirements are included. 'First-order' component stress analyses to ensure telescope optical and structural component (i.e. mirrors & main bulkhead) weights are realistic are presented. Layouts of both the primary and tertiary mirrors showing dimensions that are consistent with both our weight and frequency calculations also form part of Section 3. Section 4 presents our calculated values for the predicted thermally induced primary-to-secondary mirror despace motion due to the large temperature range over which LUTE must operate. Two different telescope design approaches (one which utilizes fused quartz metering rods and one which assumes the entire telescope is fabricated from beryllium) are considered in this analysis. We bound the secondary mirror focus mechanism range (in despace) based on these two telescope configurations. In Section 5 we show our overall design of the UVTA (Ultraviolet Telescope Assembly) via an 'exploded view' of the sub-system. The 'exploded view' is annotated to help aid in the understanding of each sub-assembly. We also include a two view layout of the UVTA from which telescope and telescope component dimensions can be measured. We conclude our study with a set of recommendations not only with respect to the LUTE structural architecture but also on other topics related to the overall feasibility of the LUTE telescope sub-system.

Ruthven, Gregory↗
NASA NTRS2005

Linking Archaeal Molecular Diversity and Lipid Biomarker Composition in a Hypersaline Microbial Mat Community

Lipid biomarkers for discrete microbial groups are a valuable tool for establishing links to ancient microbial ecosystems. Lipid biomarkers can establish organism source and function in contemporary microbial ecosystems (membrane lipids) and by analogy, potential relevance to the fossilized carbon skeletons (geolipids) extracted from ancient sedimentary rock. The Mars Exploration Rovers have provided clear evidence for an early wet Mars and the presence of hypersaline evaporitic basins. Ongoing work on an early Earth analog, the hypersaline benthic mats in Guerrero Negro, Baja California Sur, may provide clues to what may have evolved and flourished on an early wet Mars, if only for a short period. Cyanobacterial mats are a pertinent early Earth analog for consideration of evolutionary and microbial processes within the aerobic photosynthetic and adjacent anoxic layers. Fluctuations in physio-chemical parameters associated with spatial and temporal scales are expressed through vast microbial metabolic diversity. Our recent work hopes to establish the dynamic of archaeal diversity, particularly as it relates to methane production in this high sulfate environment, through the use of lipid biomarker and phylogenetic analyses. Archaeal 16s rRNA and mcrA gene assemblages, demonstrated distinct spatial separation over the 130 mm core of at least three distinct genera within the order Methanosarcinales, as well as an abundance of uncultured members of the Thermoplasmales and Crenarchaeota. Ether-bound lipid analysis identified abundant 0-alkyl and 0-isopranyl chains throughout the core, and the presence of sn-2 hydroxyarchaeol, a biomarker for methylotrophic methanogens. A unique ether isoprenoid chain, a C30:1 , possibly related to the geolipid squalane, a paleobiomarker associated with hypersaline environments, was most abundant within the oxic-anoxic transition zone.

Jahnke, Linda↗
NASA NTRS2014

Bifurcation Analysis Using Rigorous Branch and Bound Methods

For the study of nonlinear dynamic systems, it is important to locate the equilibria and bifurcations occurring within a specified computational domain. This paper proposes a new approach for solving these problems and compares it to the numerical continuation method. The new approach is based upon branch and bound and utilizes rigorous enclosure techniques to yield outer bounding sets of both the equilibrium and local bifurcation manifolds. These sets, which comprise the union of hyper-rectangles, can be made to be as tight as desired. Sufficient conditions for the existence of equilibrium and bifurcation points taking the form of algebraic inequality constraints in the state-parameter space are used to calculate their enclosures directly. The enclosures for the bifurcation sets can be computed independently of the equilibrium manifold, and are guaranteed to contain all solutions within the computational domain. A further advantage of this method is the ability to compute a near-maximally sized hyper-rectangle of high dimension centered at a fixed parameter-state point whose elements are guaranteed to exclude all bifurcation points. This hyper-rectangle, which requires a global description of the bifurcation manifold within the computational domain, cannot be obtained otherwise. A test case, based on the dynamics of a UAV subject to uncertain center of gravity location, is used to illustrate the efficacy of the method by comparing it with numerical continuation and to evaluate its computational complexity.

Smith, Andrew P.↗
NASA NTRS2010

Wavefront Controls for a Large Submillimeter-Wave Observatory

The 25-m aperture Cornell Caltech Atacama Telescope (CCAT) will have a primary mirror that is divided into 162 individual segments, each of which is equipped with 3 positioning actuators. This paper presents a mathematical description of the telescope, its actuators and sensors, and uses it to derive control laws for figure maintenance. A Kalman Filter-based Optical State Estimator is used to continuously estimate the aberrations of the telescope; these are used in a state-feedback controller to maintain image quality. This approach provides the means to correct for the optical effects of errors that occur in unactuated degrees of freedom, such as lateral translations of the segments. The control laws are exercised in Monte Carlo and covariance analysis, to bound the closed-loop performance of the telescope and to conduct control design trades.

edge sensors↗
NASA NTRS1985

Statistical analysis of astronomical data containing upper bounds - General methods and examples drawn from X-ray astronomy

Statistical procedures taken from the field of survival analysis have been adapted to astronomical usage and have been applied to a sample of stars in the B-V color range between 0.1 and 0.5 with measured soft X-ray luminosities and projected equatorial velocities. The two-sample problem and linear regression problem with arbitrarily censored data were studied. A new method for determining the linear regression between two random variables in the presence of arbitrary censoring has been developed which can also be used for a likelihood-ratio test for the independence of two random variables and for principal-component analysis in the presence of arbitrary censoring. The required numerical computations can be carried out straightforwardly and rapidly.

Schmitt, J. H. M. M.↗
NASA NTRS2011

On Time Delay Margin Estimation for Adaptive Control and Optimal Control Modification

This paper presents methods for estimating time delay margin for adaptive control of input delay systems with almost linear structured uncertainty. The bounded linear stability analysis method seeks to represent an adaptive law by a locally bounded linear approximation within a small time window. The time delay margin of this input delay system represents a local stability measure and is computed analytically by three methods: Pade approximation, Lyapunov-Krasovskii method, and the matrix measure method. These methods are applied to the standard model-reference adaptive control, s-modification adaptive law, and optimal control modification adaptive law. The windowing analysis results in non-unique estimates of the time delay margin since it is dependent on the length of a time window and parameters which vary from one time window to the next. The optimal control modification adaptive law overcomes this limitation in that, as the adaptive gain tends to infinity and if the matched uncertainty is linear, then the closed-loop input delay system tends to a LTI system. A lower bound of the time delay margin of this system can then be estimated uniquely without the need for the windowing analysis. Simulation results demonstrates the feasibility of the bounded linear stability method for time delay margin estimation.

Nguyen, Nhan T.↗
NASA NTRS2021

Analysis of Nonlinear Shrinkage for the Bound Metal Deposition Manufacturing using Multi-scale Approach

We consider problem of nonlinear shrinkage of the metal part during bound metal deposition manufacturing on the ground and in zero-G. To analyze this problem we developed multi-scale physics-based approach that spans atomistic dynamics at the scale of nanoseconds and the full part shrinkage at the time scale of hours. Using this approach we estimated the key parameters of the problem including grain boundary width, coefficient of surface diffusion, initial redistribution of particles during debinding stage, micro-structure evolution from round particles to densely packed grains and corresponding change of the total and chemical free energy, and sintering stress. The introduced method was used to predict shrinkage at the level of two particles, filament cross-section, sub-model, and the whole green, brown, and metal parts. To further improve accuracy and reliability of the shrinkage predictions we propose concept of intelligent additive manufacturing of metal powders in space that combines the strengths of both physics-based and data-driven methods of analysis of AM.

bound metal deposition↗
NASA NTRS2021

Safe Tracking Control of an Uncertain Euler-Lagrange System with Full-State Constraints using Barrier Functions

This paper presents a novel, safe tracking control design method that learns the parameters of an uncertain Euler-Lagrange (EL) system online using adaptive learning laws. A barrier function (BF) is first used to transform the full-state constrained EL-dynamics into an equivalent unconstrained dynamics. An adaptive tracking controller is then developed along with the parameter update law in the transformed state space such that the states remain bounded for all time within a prescribed bound. A stability analysis is developed that considers the EL-dynamics’ uncertainty, yielding a semi-globally uniformly ultimately bounded (SGUUB) tracking error and the parameter estimation error. The controller design is validated in simulations using a two-link planar manipulator. The results show the proposed method’s ability to track the reference trajectory while remaining inside each of the predefined state bounds.

Robots↗
NASA NTRS1983

Secondary instability of wall-bounded shear flows

The present analysis of a secondary instability in a wide class of wall-bounded parallel shear flows indicates that two-dimensional, finite amplitude waves are exponentially unstable to infinitessimal three-dimensional disturbances. The instability appears to be the prototype of transitional instability in such flows as Poiseuille flow, Couette flow, and flat plate boundary layers, in that it has the convective time scales observed in the typical transitions. The energetics and vorticity dynamics of the instability are discussed, and it is shown that the two-dimensional perturbation without directly providing energy to the disturbance. The three-dimensional instability requires that a threshold two-dimensional amplitude be achieved. It is found possible to identify experimental features of transitional spot structure with aspects of the nonlinear two-dimensional/linear three-dimensional instability.

Orszag, S. A.↗