Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “System dependency”

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

Hierarchical modeling for reliability analysis using Markov models

Markov models represent an extremely attractive tool for the reliability analysis of many systems. However, Markov model state space grows exponentially with the number of components in a given system. Thus, for very large systems Markov modeling techniques alone become intractable in both memory and CPU time. Often a particular subsystem can be found within some larger system where the dependence of the larger system on the subsystem is of a particularly simple form. This simple dependence can be used to decompose such a system into one or more subsystems. A hierarchical technique is presented which can be used to evaluate these subsystems in such a way that their reliabilities can be combined to obtain the reliability for the full system. This hierarchical approach is unique in that it allows the subsystem model to pass multiple aggregate state information to the higher level model, allowing more general systems to be evaluated. Guidelines are developed to assist in the system decomposition. An appropriate method for determining subsystem reliability is also developed. This method gives rise to some interesting numerical issues. Numerical error due to roundoff and integration are discussed at length. Once a decomposition is chosen, the remaining analysis is straightforward but tedious. However, an approach is developed for simplifying the recombination of subsystem reliabilities. Finally, a real world system is used to illustrate the use of this technique in a more practical context.

Fagundo, Arturo↗

An Exploratory Study of the Butterfly Effect Using Agent-Based Modeling

This paper provides insights about the behavior of chaotic complex systems, and the sensitive dependence of the system on the initial starting conditions. How much does a small change in the initial conditions of a complex system affect it in the long term? Do complex systems exhibit what is called the "Butterfly Effect"? This paper uses an agent-based modeling approach to address these questions. An existing model from NetLogo library was extended in order to compare chaotic complex systems with near-identical initial conditions. Results show that small changes in initial starting conditions can have a huge impact on the behavior of chaotic complex systems. The term the "butterfly effect" is attributed to the work of Edward Lorenz [1]. It is used to describe the sensitive dependence of the behavior of chaotic complex systems on the initial conditions of these systems. The metaphor refers to the notion that a butterfly flapping its wings somewhere may cause extreme changes in the ecological system's behavior in the future, such as a hurricane.

Khasawneh, Mahmoud T.↗

Formal methods for dependable real-time systems

The motivation for using formal methods to specify and reason about real time properties is outlined and approaches that were proposed and used are sketched. The formal verifications of clock synchronization algorithms are concluded as showing that mechanically supported reasoning about complex real time behavior is feasible. However, there was significant increase in the effectiveness of verification systems since those verifications were performed, at it is to be expected that verifications of comparable difficulty will become fairly routine. The current challenge lies in developing perspicuous and economical approaches to the formalization and specification of real time properties.

Rushby, John↗

SPOT4 Management Centre

In the context of the CNES SPOT4 program CISI is particularly responsible for the development of the SPOT4 Management Centre, part of the SPOT4 ground control system located at CNES Toulouse (France) designed to provide simultaneous control over two satellites. The main operational activities are timed to synchronize with satellite visibilities (ten usable passes per day). The automatic capability of this system is achieved through agenda services (sequence of operations as defined and planned by operator). Therefore, the SPOT4 Management Centre offers limited, efficient and secure human interventions for supervision and decision making. This paper emphasizes the main system characteristics as degree of automation, level of dependability and system parameterization.

Labrune, Yves↗

Grid Sphere Electrodes used for Current Collection at the Positive Pole of Electrodynamic Tethers

The generation of either electrical power or propulsive thrust with an electrodynamic tether system necessarily depends on driving a return current through the system's ambient space plasma environment. An electrical connection is, therefore, required between the plasma and each end of the tether. The voltage required to drive current through the system is derived either from the orbital motion of the conducting tether through the magnetic field of the Earth, or from a high-voltage power supply that taps into an external energy source (e.g., the sun). In either case, one end of the tether will receive a positive bias. This positive bias, between the tether and the ambient plasma, allows electrons to be collected effectively with a simple, passive electrode. Passive electrode contactors offer several important advantages, including simplification of the upper end-body design and operations, minimization of system mass, and an increase of system reliability and robustness. A preliminary analysis of an inflatable Grid-Sphere end-body concept is presented that is interesting because of the potential for collecting arbitrarily large currents independent of tether length, while the device has the physical characteristics of a high area-to-mass ratio, a low drag coefficient, and simplicity. In particular, we will discuss the physics of current collection by a biased Grid-Sphere and the present state-of-the-art of materials, attainable area-to-mass ratios, and deployment techniques.

Stone, N. H.↗

First-Order Hyperbolic System Method for Time-Dependent Advection-Diffusion Problems

A time-dependent extension of the first-order hyperbolic system method for advection-diffusion problems is introduced. Diffusive/viscous terms are written and discretized as a hyperbolic system, which recovers the original equation in the steady state. The resulting scheme offers advantages over traditional schemes: a dramatic simplification in the discretization, high-order accuracy in the solution gradients, and orders-of-magnitude convergence acceleration. The hyperbolic advection-diffusion system is discretized by the second-order upwind residual-distribution scheme in a unified manner, and the system of implicit-residual-equations is solved by Newton's method over every physical time step. The numerical results are presented for linear and nonlinear advection-diffusion problems, demonstrating solutions and gradients produced to the same order of accuracy, with rapid convergence over each physical time step, typically less than five Newton iterations.

Mazaheri, Alireza↗

Development of Intent Information Changes to Revised Minimum Aviation System Performance Standards for Automatic Dependent Surveillance Broadcast (RTCA/DO-242A)

RTCA Special Committee 186 has recently adopted a series of changes to the original Minimum Aviation System Performance Standards (MASPS) for Automatic Dependent Surveillance Broadcast (ADS-B). The new document will be published as DO-242A. Major changes to the MASPS include a significant restructuring and expansion of the intent parameters for future ADS-B systems. ADS-B provides a means for aircraft to exchange information about their intended trajectories with each other and with ground systems. NASA and Boeing have played significant roles in recommending these changes and providing supporting analysis. The intent changes are anticipated to provide substantial benefits to several programs and operational concepts under development by the two organizations. Major changes include the addition of Target State reports and the replacement of Trajectory Change Point reports with Trajectory Change reports. These changes have been designed to better reflect the capabilities of existing and future aircraft avionics, while providing benefits to current and proposed applications. DO-242A implements intent information elements that can be supported by current avionics systems and data buses. Provisions are made for future incorporation of other intent elements, as needed to meet operational requirements. This document summarizes the reasons for the DO-242A intent changes and provides a detailed overview of current and future intended ADS-B MASPS changes related to aircraft intent.

Barhydt, Richard↗

An expert system to analyze high frequency dependent data for the space shuttle main engine turbopumps

The prototype expert system ADDAMX identifies selected sinusoid frequencies from spectral data graphs as speed frequencies and harmonics from each turbopump, frequency feed through from one turbopump to another, frequencies generated by turbopump bearings, pseudo 3N for the phase 2 high pressure fuel turbopump, and electrical noise. ADDAMX does the analysis in an interactive or batch mode and the results can be displayed on the screen or hardcopy.

Garcia, Raul C., Jr.↗

Automated Firearms Identification System (AFIDS), phase 1

Items critical to the future development of an automated firearms identification system (AFIDS) have been examined, with the following specific results: (1) Types of objective data, that can be utilized to help establish a more factual basis for determining identity and nonidentity between pairs of fired bullets, have been identified. (2) A simulation study has indicated that randomly produced lines, similar in nature to the individual striations on a fired bullet, can be modeled and that random sequences, when compared to each other, have predictable relationships. (3) A schematic diagram of the general concept for AFIDS has been developed and individual elements of this system have been briefly tested for feasibility. Future implementation of such a proposed system will depend on such factors as speed, utility, projected total cost and user requirements for growth. The success of the proposed system, when operational, would depend heavily on existing firearms examiners.

Blackwell, R. J.↗

VIP: A knowledge-based design aid for the engineering of space systems

The Vehicles Implementation Project (VIP), a knowledge-based design aid for the engineering of space systems is described. VIP combines qualitative knowledge in the form of rules, quantitative knowledge in the form of equations, and other mathematical modeling tools. The system allows users rapidly to develop and experiment with models of spacecraft system designs. As information becomes available to the system, appropriate equations are solved symbolically and the results are displayed. Users may browse through the system, observing dependencies and the effects of altering specific parameters. The system can also suggest approaches to the derivation of specific parameter values. In addition to providing a tool for the development of specific designs, VIP aims at increasing the user's understanding of the design process. Users may rapidly examine the sensitivity of a given parameter to others in the system and perform tradeoffs or optimizations of specific parameters. A second major goal of VIP is to integrate the existing corporate knowledge base of models and rules into a central, symbolic form.

Lewis, Steven M.↗

Eigenvalue assignment strategies in rotor systems

The work done to establish the control and direction of effective eigenvalue excursions of lightly damped, speed dependent rotor systems using passive control is discussed. Both second order and sixth order bi-axis, quasi-linear, speed dependent generic models were investigated. In every case a single, bi-directional control bearing was used in a passive feedback stabilization loop to resist modal destabilization above the rotor critical speed. Assuming incomplete state measurement, sub-optimal control strategies were used to define the preferred location of the control bearing, the most effective measurement locations, and the best set of control gains to extend the speed range of stable operation. Speed dependent control gains were found by Powell's method to maximize the minimum modal damping ratio for the speed dependent linear model. An increase of 300 percent in stable speed operation was obtained for the sixth order linear system using passive control. Simulations were run to examine the effectiveness of the linear control law on nonlinear rotor models with bearing deadband. The maximum level of control effort (force) required by the control bearing to stabilize the rotor at speeds above the critical was determined for the models with bearing deadband.

Youngblood, J. N.↗