Search NASA⌕ Search

SEARCH · Search NASA

Results for “Stochastic System”

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 235 records · Page 13

Stochastic availability analysis of operational data systems in the Deep Space Network

Existing availability models of standby redundant systems consider only an operator's performance and its interaction with the hardware performance. In the case of operational data systems in the Deep Space Network (DSN), in addition to an operator system interface, a controller reconfigures the system and links a standby unit into the network data path upon failure of the operating unit. A stochastic (Markovian) process technique is used to model and analyze the availability performance and occurrence of degradation due to partial failures are quantitatively incorporated into the model. Exact expressions of the steady state availability and proportion degraded performance measures are derived for the systems under study. The interaction among the hardware, operator, and controller performance parameters and that interaction's effect on data availability are evaluated and illustrated for an operational data processing system.

Issa, T. N.↗

Closed form evaluation of symmetric two-sided complex integrals

Evaluation of two-sided complex integrals is often required when analyzing linear systems to determine signal variances resulting from stochastic inputs and system noise bandwidths. Algebraic solutions of integrals in a closed matrix equation form, using coefficients of the numerator and denominator polynomials, are presented. The closed forms provide the possibility of obtaining some insight into parameter sensitivity in addition to greatly reducing the computational complexity required by the normal method of evaluation by residues.

Winkelstein, R.↗

Radiative transfer theory for inhomogeneous media with random extinction and scattering coefficients

The small-angle scattering approximation of the scalar radiative transfer equation (RTE) is examined for the case where the extinction and scattering coefficients have a component that is a deterministic function of position along the propagation path and a component that is a random function of position transverse to the propagation direction. It is found that the resulting stochastic RTE can be reduced to a system of two stochastic integrodifferential equations for the average and fluctuating components of the radiant intensity. Two transfer equations are obtained describing the average radiant intensity and the spatial correlation function of the intensity fluctuations. The average intensity equation is then solved and applied to a simple propagation scenario. An approximate solution is also derived for the equation giving the correlation function. The developed equations can be applied to problems involving short wavelength electromagnetic wave propagation through media possessing the variable characteristics of turbulence and turbidity, such as plasmas, the atmosphere, and the ocean.

Manning, Robert M.↗

Two examples of applications of Kalman filtering to integrated systems of navigation

Two applications of optimal stochastic filters to navigation systems are described. The first is an air navigation system consisting of an inertial device (INS) and a Loran, plus an altimeter. The second is an application to a system of submarine navigation consisting of an inertial device (SINS) and an Omega plus a depth sensor.

Ferraro, A.↗

Comparison of Wind-Tunnel and Flight Unsteady Pressure Stochastic Characteristics for the Space Launch System Artemis I Flight

Over the course of more than ten years, numerous wind-tunnel tests have been conducted to acquire data for characterizing the unsteady pressure environments expected to act on the Space Launch System Block 1 crew launch vehicle during ascent. These wind-tunnel tests of highly-instrumented rigid models are the current standard for the estimation of unsteady environments. Following the successful launch of the Artemis I mission, the extensive flight data acquired can be analyzed to evaluate the accuracy of unsteady pressure environments predicted in subscale wind-tunnel testing in comparison to the flight test data. In this paper, analyses focusing on data from several Space Launch System wind-tunnel tests and the Artemis I flight test are presented, including assessments of test-to-test, tunnel-to-tunnel, and tunnel-to-flight stochastic characteristics and preflight modeling validity based on wind-tunnel testing. In general, the fluctuating pressure environments measured during the several preflight subscale wind-tunnel tests compare favorably and provide relatively accurate estimates of the environments measured during flight. Discrepancies in fluctuating magnitudes, spatial extent of regions of unsteadiness, and narrowband frequency peaks are noted in the multibody region aft of the solid rocket booster forward attachment to the core stage.

wind-tunnel↗

Comparison of Wind-Tunnel and Flight Unsteady Pressure Stochastic Characteristics for the Space Launch System Artemis I Flight

Over the course of more than ten years, numerous wind-tunnel tests have been conducted to acquire data for characterizing the unsteady pressure environments expected to act on the Space Launch System Block 1 crew launch vehicle during ascent. These wind-tunnel tests of highly-instrumented rigid models are the current standard for the estimation of unsteady environments. Following the successful launch of the Artemis I mission, the extensive flight data acquired can be analyzed to evaluate the accuracy of unsteady pressure environments predicted in subscale wind-tunnel testing in comparison to the flight test data. In this paper, analyses focusing on data from several Space Launch System wind-tunnel tests and the Artemis I flight test are presented, including assessments of test-to-test, tunnel-to-tunnel, and tunnel-to-flight stochastic characteristics and preflight modeling validity based on wind-tunnel testing. In general, the fluctuating pressure environments measured during the several preflight subscale wind-tunnel tests compare favorably and provide relatively accurate estimates of the environments measured during flight. Discrepancies in fluctuating magnitudes, spatial extent of regions of unsteadiness, and narrowband frequency peaks are noted in the multibody region aft of the solid rocket booster forward attachment to the core stage.

wind-tunnel↗

Mathematical model of a flexible space shuttle vehicle

The development of a mathematical model of the lateral motion of a flexible space shuttle vehicle during ascent is described. The model was developed to perform control system synthesis using stochastic constrained optimization techniques. The goals of the control system synthesis are to demonstrate the applicability of the techniques and to discover any problems peculiar to the flexible nature of a shuttle vehicle. The equations of motion are derived. A brief description of the generation of numerical data is given. Explicit definitions and numerical values of trajectory data and coefficients appearing in the equations of motion are included.

Harvey, C. A.↗

Developing interpretable models with optimized set reduction for identifying high risk software components

Applying equal testing and verification effort to all parts of a software system is not very efficient, especially when resources are limited and scheduling is tight. Therefore, one needs to be able to differentiate low/high fault frequency components so that testing/verification effort can be concentrated where needed. Such a strategy is expected to detect more faults and thus improve the resulting reliability of the overall system. This paper presents the Optimized Set Reduction approach for constructing such models, intended to fulfill specific software engineering needs. Our approach to classification is to measure the software system and build multivariate stochastic models for predicting high risk system components. We present experimental results obtained by classifying Ada components into two classes: is or is not likely to generate faults during system and acceptance test. Also, we evaluate the accuracy of the model and the insights it provides into the error making process.

Briand, Lionel C.↗

Stochastic Verification by Analysis for Autonomous Systems Management Architecture (ASMA)

The Gateway Vehicle Systems Manager (VSM) is the top-level of a distributed, hierarchical software control system. VSM is data-driven and will make decisions related to mission, fault, resource management and vehicle control. These attributes combined with a high degree of autonomy make it susceptible to emergent behavior. In order to achieve the high level of confidence needed in this critical system, the VSM team has developed a multifaceted verification strategy employing traditional verification techniques, simulation, model checking, and runtime verification. Individual algorithms are verified using conventional testing and model checking using assume-guarantee contracts. A discrete event-based simulation approach is being developed to verify timelines. This presentation describes an enhancement to the verification approach using analysis to enhance system robustness by detecting and resolving the potential for emergent behavior. The verification by analysis employs a Software in the Loop (SITL) environment with real flight software executing on emulated processors, simulations of vehicle subsystems, flight dynamics, and human inputs. Since the possible input space and configuration data set are too large for exhaustive testing, a Monte Carlo approach is used to cover feasible scenarios, augmented with corner cases and known higher-risk scenarios. A key problem in using Monte Carlo-based system verification is evaluating test results to ensure that system behavior is correct. The presentation describes the approach the VSM team uses to monitor behavior for compliance with predetermined boundaries and to identify anomalous behavior for further analysis. This presentation describes the multi-level systems approach to verification, and the simulation-based layer that covers the feasible state space: 1. Overview of the Gateway VSM 2. Special challenges due to heterogeneous, hierarchical architecture 3. Modeling and simulation environment using flight software and system simulations 4. Developing input sets to ensure state-space coverage 5. Developing model and data configuration sets to ensure model coverage 6. Interpreting results without predetermined outcomes 7. Lessons learned and future work

Verification and Validation↗

A stochastic regulator for integrated communication and control systems. I - Formulation of control law. II - Numerical analysis and simulation

A state feedback control law for integrated communication and control systems (ICCS) is formulated by using the dynamic programming and optimality principle on a finite-time horizon. The control law is derived on the basis of a stochastic model of the plant which is augmented in state space to allow for the effects of randomly varying delays in the feedback loop. A numerical procedure for synthesizing the control parameters is then presented, and the performance of the control law is evaluated by simulating the flight dynamics model of an advanced aircraft. Finally, recommendations for future work are made.

Liou, Luen-Woei↗

Computing Nonequilibrium Responses with Score-Shifted Stochastic Differential Equations

Using equilibrium fluctuations to understand the response of a physical system to an externally imposed perturbation is the basis for linear response theory, which is widely used to interpret experiments and shed light on microscopic dynamics. For nonequilibrium systems, perturbations cannot be interpreted simply by monitoring fluctuations in a conjugate observable and general response results rely on path ensemble averaging. Furthermore, these techniques do not apply to perturbations that affect the diffusion tensor in a stochastic system. Here, we introduce an “effective” physical process that represents the diffusion perturbed dynamics and enables accurate calculations of responses to a change in the diffusion. Interestingly, the effective dynamics contain an additional drift involving the instantaneous “score” of the system, and we leverage score matching algorithms to carry out nonequilibrium response calculations on systems for which the exact stationary distribution is unknown.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Supportability Concepts for Crewed Deep Space Exploration

Supportability—defined as the set of system characteristics that influence the logistics and support required to enable safe and effective operations—will be a much larger driver of mass, risk, and crew time for future human space exploration due to the more challenging mission context. For Mars, systems must operate in a logistically isolated environment for much longer durations than previous missions, which results in a higher probability of system failure and therefore an increased need for maintenance or contingency options. Mars missions also lack access to quick aborts, which increases the consequences of an unrecoverable system failure. Together, this higher likelihood and consequence of failure results in an increase in supportability-related risk. Supportability analysis is an important part of systems development that helps designers better understand the impacts of system and mission decisions on risk, mass, and crew time. The real-world processes that drive maintenance requirements and other supportability-related characteristics are probabilistic, and therefore they require different conceptual approaches and models than are used for more deterministic aspects of space systems. This paper provides an overview of supportability analysis, addresses key concepts, and provides examples of how supportability analysis can be incorporated into system development. Specifically, system supportability involves stochastic processes, and therefore must be evaluated using probabilistic models. These models can be used to perform sensitivity analysis even if system characteristics are not yet fully defined. Failure rates cannot be measured directly, but tests provide valuable data that can help refine those estimates. Human spaceflight architectures are complex, and exhibit coupled behavior that should be examined with integrated systems analysis that includes an assessment of supportability.

Supportability↗

Supportability Concepts for Crewed Deep Space Exploration

Supportability—defined as the set of system characteristics that influence the logistics and support required to enable safe and effective operations—will be a much larger driver of mass, risk, and crew time for future human space exploration due to the more challenging mission context. For Mars, systems must operate in a logistically isolated environment for much longer durations than previous missions, which results in a higher probability of system failure and therefore an increased need for maintenance or contingency options. Mars missions also lack access to quick aborts, which increases the consequences of an unrecoverable system failure. Together, this higher likelihood and consequence of failure results in an increase in supportability-related risk. Supportability analysis is an important part of systems development that helps designers better understand the impacts of system and mission decisions on risk, mass, and crew time. The real-world processes that drive maintenance requirements and other supportability-related characteristics are probabilistic, and therefore they require different conceptual approaches and models than are used for more deterministic aspects of space systems. This paper provides an overview of supportability analysis, addresses key concepts, and provides examples of how supportability analysis can be incorporated into system development. Specifically, system supportability involves stochastic processes, and therefore must be evaluated using probabilistic models. These models can be used to perform sensitivity analysis even if system characteristics are not yet fully defined. Failure rates cannot be measured directly, but tests provide valuable data that can help refine those estimates. Human spaceflight architectures are complex, and exhibit coupled behavior that should be examined with integrated systems analysis that includes an assessment of supportability.

Supportability↗