Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “stochastic 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 289 records · Page 16
All sourcesNASA NTRSDOE OSTI
NASA NTRS1989

Coverage modeling for dependability analysis of fault-tolerant systems

Several different models for predicting coverage in a fault-tolerant system, including models for permanent, intermittent, and transient errors, are discussed. Markov, semi-Markov, nonhomogeneous Markov, and extended stochastic Petri net models for computing coverage are developed. Two types of events that interfere with recovery are examined; and methods for modeling such events, whether they are deterministic or random, are given. The sensitivity of system reliability/availability to the coverage parameter and the sensitivity of the coverage parameter to various error-handling strategies are investigated. It is found that a policy of attempting transient recovery upon detection of an error can actually increase the unreliability of the system. This result is true if the error detectability is not nearly perfect, so that the risk of producing an undetectable error is greater than the benefit gained by not discarding the component.

Dugan, Joanne Bechta↗
NASA NTRS1974

Estimation for bilinear stochastic systems

Three techniques for the solution of bilinear estimation problems are presented. First, finite dimensional optimal nonlinear estimators are presented for certain bilinear systems evolving on solvable and nilpotent lie groups. Then the use of harmonic analysis for estimation problems evolving on spheres and other compact manifolds is investigated. Finally, an approximate estimation technique utilizing cumulants is discussed.

Willsky, A. S.↗
NASA NTRS1979

A multi-disciplinary approach to structural design for stochastic loads

The development of aircraft gust design techniques is reviewed with emphasis on those techniques applicable to large scale multidisciplinary closed-loop optimization methods. An overall view is presented of the optimization methodology utilized. An analysis is presented wherein the bivariate normal distribution function for a particular loading condition is considered. By use of maximization techniques, functions are derived for stress components along equal probability contours which allow for directionality and auto-correlation effects to be considered. These functions are then applied to the problem being considered and the effects on the structural sizing and weight penalties evaluated against more conventional methods.

Gross, D. W.↗
NASA NTRS1984

Data and results of a laboratory investigation of microprocessor upset caused by simulated lightning-induced analog transients

A methodology was developed a assess the upset susceptibility/reliability of a computer system onboard an aircraft flying through a lightning environment. Upset error modes in a general purpose microprocessor were studied. The upset tests involved the random input of analog transients which model lightning induced signals onto interface lines of an 8080 based microcomputer from which upset error data was recorded. The program code on the microprocessor during tests is designed to exercise all of the machine cycles and memory addressing techniques implemented in the 8080 central processing unit. A statistical analysis is presented in which possible correlations are established between the probability of upset occurrence and transient signal inputs during specific processing states and operations. A stochastic upset susceptibility model for the 8080 microprocessor is presented. The susceptibility of this microprocessor to upset, once analog transients have entered the system, is determined analytically by calculating the state probabilities of the stochastic model.

Belcastro, C. M.↗
NASA NTRS2011

A Simulation Based Approach to Optimize Berth Throughput Under Uncertainty at Marine Container Terminals

Berth scheduling is a critical function at marine container terminals and determining the best berth schedule depends on several factors including the type and function of the port, size of the port, location, nearby competition, and type of contractual agreement between the terminal and the carriers. In this paper we formulate the berth scheduling problem as a bi-objective mixed-integer problem with the objective to maximize customer satisfaction and reliability of the berth schedule under the assumption that vessel handling times are stochastic parameters following a discrete and known probability distribution. A combination of an exact algorithm, a Genetic Algorithms based heuristic and a simulation post-Pareto analysis is proposed as the solution approach to the resulting problem. Based on a number of experiments it is concluded that the proposed berth scheduling policy outperforms the berth scheduling policy where reliability is not considered.

Golias, Mihalis M.↗
NASA NTRS1979

Gravitational collapse in dust lanes and the appearance of spiral structure in galaxies

The possibility is considered that there are two types of spiral for each spiral galaxy: an underlying spiral of relatively old stars seen in red and IR photographs and a spiral outlined by H II regions and young bright blue stars. The origin of the first spiral is attributed to large-scale spiral density waves, and the second spiral is identified as a stochastic spiral. It is suggested that there is a physical or causal connection between the two spirals and that dust lanes play the role of intermediary. An analysis is performed which shows that such a model can account for the formation and destruction of giant molecular cloud complexes and for observed spiral structure in one simple unified theory.

Elmegreen, B. G.↗
NASA NTRS1985

An Overview of Latest Model Reduction and Control Methods of Large Flexible Space Structures

The latest trends and theoretical developments involved with the modeling and control of Large Flexible Space Structures (LFSS) are described. The paper addresses first the basic problems, characteristics, and difficulties inherent in modeling and control of LFSS. Major sources of difficulties and errors are the stiffness and damping operators of the dynamic model. Extensions of Linear Quadratic Gaussian (LQG) theory as applied to LFSS are presented, including frequency-shaped cost functionals and perturbation methods. The minimum data/maximum entropy approach which uses a stochastic design model to overcome difficulties found in the LQG-based methods is described. Latest trends in system theory including balanced realization and singular-value analysis are used to determine reduced order controllers and models. Ad hoc methods such as component cost analysis and modal cost analysis are discussed in context with the closed-loop reduction problem of controller order versus performance. The minimum data/maximum entropy approach also addresses controller order versus performance. Those areas of control science and large scale systems that appear to have an important role in understanding and solving LFSS modeling and control are also identified.

Santiago, J. M.↗
NASA NTRS1990

Stochastic robustness of linear control systems

A simple numerical procedure for estimating the stochastic robustness of a linear, time-invariant system is described. Monte Carlo evaluation of the system's eigenvalues allows the probability of instability and the related stochastic root locus to be estimated. This definition of robustness is an alternative to existing deterministic definitions that address both structured and unstructured parameter variations directly. This analysis approach treats not only Gaussian parameter uncertainties but non-Gaussian cases, including uncertain-but-bounded variations. Trivial extensions of the procedure admit alternate discriminants to be considered. Thus, the probabilities that stipulated degrees of instability will be exceeded or that closed-loop roots will leave desirable regions also can be estimated. Results are particularly amenable to graphical presentation.

Stengel, Robert F.↗
NASA NTRS1991

Stochastic robustness of linear time-invariant control systems

A simple numerical procedure for estimating the stochastic robustness of a linear, time-invariant system is described. Monte Carlo evaluation of the system's eigenvalues allows the probability of instability and the related stochastic root locus to be estimated. This definition of robustness is an alternative to existing deterministic definitions that address both structured and unstructured parameter variations directly. This analysis approach treats not only Gaussian parameter uncertainties but also non-Gaussian cases, including uncertain-but-bounded variations. Trivial extensions of the procedure permit alternate discriminants to be considered. Thus the probabilities that stipulated degrees of instability will be exceeded or that closed-loop roots will leave desirable regions can also be estimated. Results are particularly amenable to graphical presentation.

Stengel, Robert F.↗
NASA NTRS1993

Clumpy Langmuir waves in type III radio sources - Comparison of stochastic-growth theory with observations

Detailed comparisons are made between the Langmuir-wave properties predicted by the recently developed stochastic-growth theory of type III sources and those observed by the plasma wave experiment on ISEE 3, after correcting for the main instrumental and selection effects. Analysis of the observed field-strength distribution confirms the theoretically predicted form and implies that wave growth fluctuates both spatially and temporally in sign and magnitude, leading to an extremely clumpy distribution of fields. A cutoff in the field-strength distribution is seen at a few mV/m, corresponding to saturation via nonlinear effects. Analysis of the size distribution of Langmuir clumps yields results in accord with those obtained in earlier work and with the size distribution of ambient density fluctuations in the solar wind. This confirms that the inhomogeneities in the Langmuir growth rate are determined by the density fluctuations and that these fluctuations persist during type III events.

Robinson, P. A.↗
NASA NTRS2009

Proceedings of the First NASA Formal Methods Symposium

Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.

Denney, Ewen↗
NASA NTRS1987

Stochastic estimation of conditional eddies in turbulent channel flow

Several long-standing issues regarding linear estimation and coherent structures are addressed, and some questions that were addressed partially, but never with the benefit of full, three-dimensional information are answered. The objectives were to: determine how well linear estimates approximate the field obtained by true conditional averaging, using events such as those in quadrant analysis; determine the extent to which the three-dimensional linearly estimated fields correspond to coherent structures, and the degree and manner in which they differ; evaluate the type and nature of the structural information gained by employing several different types of events; and learn more about the 3-D structure of important coherent motions that occur in wall turbulence. The results indicate that linear stochastic estimation can be used effectively in the study of numerical data bases consisting of three-dimensional vector fields, both velocity and vorticity. Two-point stochastic estimation yields more structural information and more detail than single-point estimation. The structures observed occurred repeatedly within the flow, but much can not be said about their dominance or the probability of their occurrence without further systematic studies of their frequency.

Adrian, R. J.↗
NASA NTRS1984

Parametric and Nonparametric Analysis of LANDSAT TM and MSS Imagery for Detecting Submerged Plant Communities

The spatial, spectral and radiometric characteristics of LANDSAT TM and MSS imagery for detecting submerged aquatic vegetation are assessed. The problem is approached from two perspectives; purely stochastic or nonparametric in a radiative sense and theoretical in which radiative transfer equations are used to predict upwelling radiance at satellite altitude. The spectral and radiometric aspects of the theoretical approach are addressed with which a submerged plant canopy is distinguished from a surrounding bottom of sand or mud.

Ackleson, S. G.↗
NASA NTRSDate not supplied

Modeling the Stochastic Response of Fiber Reinforced Composites with Varied Representative Volume Element Sizes

Fiber reinforced composites are desirable in applications where low weight and high strength are needed, but are susceptible to variability and flaws during manufacturing, making failure predictions difficult. These flaws may occur at the microscale where mechanical properties vary locally due to regions of fiber clusters and matrix pockets. In this study, a multiscale approach was taken to model 3-point bend, 4-point bend, and tensile experiments of a unidirectional composite from only having microstructure scans of these samples and constituent properties from literature. These scans were sampled with different sized windows, and statistically equivalent microstructures were generated, then simulated for stiffness, strength, and fracture toughness using a reduced order micromechanical model and NASA’s Multiscale Analysis Tool (NASMAT). Mesoscale models were created with equivalent element sizes to microstructures and properties sampled from microscale simulation results. Results showed how microscale size affects certain mechanical properties. Also shown is how well mesoscale models agree to experiments when using stochastic element properties and varying element size.

microstructure↗
NASA NTRS2007

Effect of Head-Down Bed Rest and Artificial Gravity Countermeasure on Cardiac Autonomic and Advanced Electrocardiographic Function

To study the effects of 21 days of head-down bed rest (HDBR), with versus without an artificial gravity (AG) countermeasure, on cardiac autonomic and advanced electrocardiographic function. Fourteen healthy men participated in the study: seven experienced 21 days of HDBR alone ("HDBR controls") and seven the same degree and duration of HDBR but with approximately 1hr daily short-arm centrifugation as an AG countermeasure ("AG-treated"). Five minute supine high-fidelity 12-lead ECGs were obtained in all subjects: 1) 4 days before HDBR; 2) on the last day of HDBR; and 3) 7 days after HDBR. Besides conventional 12-lead ECG intervals and voltages, all of the following advanced ECG parameters were studied: 1) both stochastic (time and frequency domain) and deterministic heart rate variability (HRV); 2) beat-to-beat QT interval variability (QTV); 3) T-wave morphology, including signal-averaged T-wave residua (TWR) and principal component analysis ratios; 4) other SAECG-related parameters including high frequency QRS ECG and late potentials; and 5) several advanced ECG estimates of left ventricular (LV) mass. The most important results by repeated measures ANOVA were that: 1) Heart rates, Bazett-corrected QTc intervals, TWR, LF/HF power and the alpha 1 of HRV were significantly increased in both groups (i.e., by HDBR), but with no relevant HDBR*group differences; 2) All purely "vagally-mediated" parameters of HRV (e.g., RMSSD, HF power, Poincare SD1, etc.), PR intervals, and also several parameters of LV mass (Cornell and Sokolow-Lyon voltages, spatial ventricular activation times, ventricular gradients) were all significantly decreased in both groups (i.e., by HDBR), but again with no relevant HDBR*group differences); 3) All "generalized" or "vagal plus sympathetic" parameters of stochastic HRV (i.e., SDNN, total power, LF power) were significantly more decreased in the AG-treated group than in the HDBR-only group (i.e., here there was a relevant HDBR*group difference); and 4) QTV index was also significantly more changed (increased) in the AG-treated group than in the HDBR-only group, although this was clearly due to a greater decrease in generalized HRV and not to a greater increase in QTV proper because there was no relevant HDBR*group effect for either the SDNN or the RMSSD of QTV. Brief daily AG treatment by short-arm centrifuge during each of 21 days of HDBR does not appear to protect against HDBR-related losses of cardiac autonomic function or of LV mass as estimated by ECG.

Schlegel, T. T.↗
NASA NTRS1987

Fault-tolerant clock synchronization validation methodology

A validation method for the synchronization subsystem of a fault-tolerant computer system is presented. The high reliability requirement of flight-crucial systems precludes the use of most traditional validation methods. The method presented utilizes formal design proof to uncover design and coding errors and experimentation to validate the assumptions of the design proof. The experimental method is described and illustrated by validating the clock synchronization system of the Software Implemented Fault Tolerance computer. The design proof of the algorithm includes a theorem that defines the maximum skew between any two nonfaulty clocks in the system in terms of specific system parameters. Most of these parameters are deterministic. One crucial parameter is the upper bound on the clock read error, which is stochastic. The probability that this upper bound is exceeded is calculated from data obtained by the measurement of system parameters. This probability is then included in a detailed reliability analysis of the system.

Computer systems↗
NASA NTRS2003

Barometric Tides from ECMWF Operational Analyses

The solar diurnal and semidiurnal tidal oscillations in surface pressure are extracted from the the operational analysis product of the European Centre for Medium Range Weather Forecasting (ECMWF). For the semidiurnal tide this involves a special temporal interpolation, following Van den Dool and colleagues. The resulting tides are compared with a ground truth tide dataset, a compilation of well-determined tide estimates deduced from long time series of station barometer measurements. These comparisons show that the ECMWF tides are significantly more accurate than the tides deduced from two other widely available reanalysis products. Spectral analysis of ECMWF pressure series shows that the tides consist of sharp central peaks with modulating sidelines at integer multiples of 1 cycle/year, superimposed on a broad cusp of stochastic energy. The integrated energy in the cusp dominates that of the sidelines. This complicates development of a simple model that can characterize the full temporal variability of the tides.

Ray, R. D.↗
NASA NTRSDate not supplied

Applications and Development Work for Digital Image Correlation Using High Speed Cameras

NASA, Army, and industry partners are working to advance optical measurement techniques used in highly dynamic rocket engine and missile test environments. This allows for direct component data collection during test and flight environments, significantly reduced analysis time, and associated cost savings. Digital Image Correlation (DIC) uses calibrated stereo cameras to collect three-dimensional (3-D) displacements, strains, and acceleration data by referencing a stochastic speckle pattern applied to the test object. These optical measurement techniques provide significantly improved data resulting in better performance predictions, model validation, and information about components during hot-fire tests and test flights.

Rachel Paden↗