Search NASA⌕ Search

SEARCH · Search NASA

Results for “state decomposition”

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 19 records

Decomposition and state variable feedback control of elastic robotic systems

Energy-efficient, lightweight robot arms for space applications have considerable structural flexibility. An approach to control of a class of flexible robotic systems is presented. A control law is derived which decouples the joint-angle motion from the flexible motion and, in addition, asymptotically decomposes the elastic dynamics into two subsystems. This allows the design of an elastic mode stabilizer independently based on lower order models representing structural flexibility. The closed-loop system is shown to be globally asymptotically stable and robust to uncertaintly in system parameters. Simulation results show that the combination of nonlinear decoupling and elastic stabilization permits rapid, accurate tracking of large joint angle commands with well damped elastic response, in spite of space vehicle motion and payload uncertainty.

Singh, S. N.↗

On the decomposition of synchronous state mechines using sequence invariant state machines

This paper presents a few techniques for the decomposition of Synchronous State Machines of medium to large sizes into smaller component machines. The methods are based on the nature of the transitions and sequences of states in the machine and on the number and variety of inputs to the machine. The results of the decomposition, and of using the Sequence Invariant State Machine (SISM) Design Technique for generating the component machines, include great ease and quickness in the design and implementation processes. Furthermore, there is increased flexibility in making modifications to the original design leading to negligible re-design time.

Hebbalalu, K.↗

Uncertainty Analysis of Decomposing Polyurethane Foam

Sensitivity/uncertainty analyses are necessary to determine where to allocate resources for improved predictions in support of our nation's nuclear safety mission. Yet, sensitivity/uncertainty analyses are not commonly performed on complex combustion models because the calculations are time consuming, CPU intensive, nontrivial exercises that can lead to deceptive results. To illustrate these ideas, a variety of sensitivity/uncertainty analyses were used to determine the uncertainty associated with thermal decomposition of polyurethane foam exposed to high radiative flux boundary conditions. The polyurethane used in this study is a rigid closed-cell foam used as an encapsulant. Related polyurethane binders such as Estane are used in many energetic materials of interest to the JANNAF community. The complex, finite element foam decomposition model used in this study has 25 input parameters that include chemistry, polymer structure, and thermophysical properties. The response variable was selected as the steady-state decomposition front velocity calculated as the derivative of the decomposition front location versus time. An analytical mean value sensitivity/uncertainty (MV) analysis was used to determine the standard deviation by taking numerical derivatives of the response variable with respect to each of the 25 input parameters. Since the response variable is also a derivative, the standard deviation was essentially determined from a second derivative that was extremely sensitive to numerical noise. To minimize the numerical noise, 50-micrometer element dimensions and approximately 1-msec time steps were required to obtain stable uncertainty results. As an alternative method to determine the uncertainty and sensitivity in the decomposition front velocity, surrogate response surfaces were generated for use with a constrained Latin Hypercube Sampling (LHS) technique. Two surrogate response surfaces were investigated: 1) a linear surrogate response surface (LIN) and 2) a quadratic response surface (QUAD). The LHS techniques do not require derivatives of the response variable and are subsequently relatively insensitive to numerical noise. To compare the LIN and QUAD methods to the MV method, a direct LHS analysis (DLHS) was performed using the full grid and timestep resolved finite element model. The surrogate response models (LIN and QUAD) are shown to give acceptable values of the mean and standard deviation when compared to the fully converged DLHS model.

Hobbs, Michael L.↗

An approach to solving large reliability models

This paper describes a unified approach to the problem of solving large realistic reliability models. The methodology integrates behavioral decomposition, state trunction, and efficient sparse matrix-based numerical methods. The use of fault trees, together with ancillary information regarding dependencies to automatically generate the underlying Markov model state space is proposed. The effectiveness of this approach is illustrated by modeling a state-of-the-art flight control system and a multiprocessor system. Nonexponential distributions for times to failure of components are assumed in the latter example. The modeling tool used for most of this analysis is HARP (the Hybrid Automated Reliability Predictor).

Boyd, Mark A.↗

The Relationship Between Volatile Element Abundances and Iron Carrying Capacity in Lunar Volcanic and Impact Vapors

The highly volatile elements (e.g. H, C, S, Cl) released during lunar volcanism provide important insights into the bulk volatile composition of the Moon. Once erupted, some fraction of the species containing these elements may have migrated to the poles where they could have become sequestered in shadowed cold traps such as those found near the lunar South pole. The volatiles trapped in the lunar South pole are of great interest to the upcoming Artemis missions, which will be operating nearby and could sample some of those materials. Volcanic vapor deposits in the polar regions might also be supplemented by volatiles from other sources both exogenous (i.e. comets) and endogenous (i.e. remobilization of lunar volatiles by impact). Characterizing these endogenous sources is challenging because the highly volatile elements often leave little trace behind in the rocks themselves, which are inherently refractory by nature. Minerals are found on vug, vesicle, or fracture surfaces that have characteristics consistent with phases formed via direct deposition of a vapor, as opposed to crystallization from a liquid or via solid state decomposition. One common vapor-deposited species is metallic Fe, typically observed as subhedral to euhedral crystals found on vug or vesicle walls in mare basalts and on select breccia clast surfaces in regolith soil samples returned from the Moon. A particularly striking example is seen below in Fig. 1, where numerous Fe crystals are deposited onto the wall of a vug in Apollo 17 basalt sample 71036. Euhedral Fe crystals are not very common in Apollo breccia samples, though this may be from the limited number of systematic searches that have been performed. However, when Fe crystals are found, they can occur in extremely high abundance(e.g., sample 15402 which was specifically selected because of its numerous Fe crystals, was found to have a clast with 477 euhedral Fe crystals in a 570 x 570 μm area). What struck us as interesting about this was not only that it takes a large amount of Fe to make these crystal-rich deposits, but also that these crystal-rich deposits are not ubiquitous, and therefore they must be controlled by some aspect of their depositional conditions that varies. Since those conditions are inherently difficult to investigate and are critically interesting, we used thermochemical modeling as a tool to investigate the relationship between vapor-deposited Fe and various intensive and extensive parameters. We assumed that a high abundance of Fe in the vapor is required to form these crystals, thus the mass of Fe in the vapor was used to determine the plausibility of the vapor-deposited, euhedral Fe crystals observed in Apollo samples.

thermodynamics↗

A Study of Strong Stability of Distributed Systems

The strong stability of distributed systems is studied and the problem of characterizing strongly stable semigroups of operators associated with distributed systems is addressed. Main emphasis is on contractive systems. Three different approaches to characterization of strongly stable contractive semigroups are developed. The first one is an operator theoretical approach. Using the theory of dilations, it is shown that every strongly stable contractive semigroup is related to the left shift semigroup on an L(exp 2) space. Then, a decomposition for the state space which identifies strongly stable and unstable states is introduced. Based on this decomposition, conditions for a contractive semigroup to be strongly stable are obtained. Finally, extensions of Lyapunov's equation for distributed parameter systems are investigated. Sufficient conditions for weak and strong stabilities of uniformly bounded semigroups are obtained by relaxing the equivalent norm condition on the right hand side of the Lyanupov equation. These characterizations are then applied to the problem of feedback stabilization. First, it is shown via the state space decomposition that under certain conditions a contractive system (A,B) can be strongly stabilized by the feedback -B(*). Then, application of the extensions of the Lyapunov equation results in sufficient conditions for weak, strong, and exponential stabilizations of contractive systems by the feedback -B(*). Finally, it is shown that for a contractive system, the first derivative of x with respect to time = Ax + Bu (where B is any linear bounded operator), there is a related linear quadratic regulator problem and a corresponding steady state Riccati equation which always has a bounded nonnegative solution.

Cataltepe, Tayfun↗

Goal-Function Tree Modeling for Systems Engineering and Fault Management

This paper describes a new representation that enables rigorous definition and decomposition of both nominal and off-nominal system goals and functions: the Goal-Function Tree (GFT). GFTs extend the concept and process of functional decomposition, utilizing state variables as a key mechanism to ensure physical and logical consistency and completeness of the decomposition of goals (requirements) and functions, and enabling full and complete traceabilitiy to the design. The GFT also provides for means to define and represent off-nominal goals and functions that are activated when the system's nominal goals are not met. The physical accuracy of the GFT, and its ability to represent both nominal and off-nominal goals enable the GFT to be used for various analyses of the system, including assessments of the completeness and traceability of system goals and functions, the coverage of fault management failure detections, and definition of system failure scenarios.

Johnson, Stephen B.↗

Solid State Multinuclear Magnetic Resonance Investigation of Electrolyte Decomposition Products on Lithium Ion Electrodes

Solid electrolyte interphase (SEI) formation in lithium ion cells prepared with advanced electrolytes is investigated by solid state multinuclear (7Li, 19F, 31P) magnetic resonance (NMR) measurements of electrode materials harvested from cycled cells subjected to an accelerated aging protocol. The electrolyte composition is varied to include the addition of fluorinated carbonates and triphenyl phosphate (TPP, a flame retardant). In addition to species associated with LiPF6 decomposition, cathode NMR spectra are characterized by the presence of compounds originating from the TPP additive. Substantial amounts of LiF are observed in the anodes as well as compounds originating from the fluorinated carbonates.

Li-ion battery electrolytes↗

Automating CPM-GOMS

CPM-GOMS is a modeling method that combines the task decomposition of a GOMS analysis with a model of human resource usage at the level of cognitive, perceptual, and motor operations. CPM-GOMS models have made accurate predictions about skilled user behavior in routine tasks, but developing such models is tedious and error-prone. We describe a process for automatically generating CPM-GOMS models from a hierarchical task decomposition expressed in a cognitive modeling tool called Apex. Resource scheduling in Apex automates the difficult task of interleaving the cognitive, perceptual, and motor resources underlying common task operators (e.g. mouse move-and-click). Apex's UI automatically generates PERT charts, which allow modelers to visualize a model's complex parallel behavior. Because interleaving and visualization is now automated, it is feasible to construct arbitrarily long sequences of behavior. To demonstrate the process, we present a model of automated teller interactions in Apex and discuss implications for user modeling. available to model human users, the Goals, Operators, Methods, and Selection (GOMS) method [6, 21] has been the most widely used, providing accurate, often zero-parameter, predictions of the routine performance of skilled users in a wide range of procedural tasks [6, 13, 15, 27, 28]. GOMS is meant to model routine behavior. The user is assumed to have methods that apply sequences of operators and to achieve a goal. Selection rules are applied when there is more than one method to achieve a goal. Many routine tasks lend themselves well to such decomposition. Decomposition produces a representation of the task as a set of nested goal states that include an initial state and a final state. The iterative decomposition into goals and nested subgoals can terminate in primitives of any desired granularity, the choice of level of detail dependent on the predictions required. Although GOMS has proven useful in HCI, tools to support the construction of GOMS models have not yet come into general use.

GOMS↗

High-pressure liquid-monopropellant strand combustion.

Examination of the influence of dissolved gases on the state of the liquid surface during high-pressure liquid-monopropellant combustion through the use of a strand burning experiment. Liquid surface temperatures were measured, using fine-wire thermocouples, during the strand combustion of ethyl nitrate, normal propyl nitrate, and propylene glycol dinitrate at pressures up to 81 atm. These measurements were compared with the predictions of a variable-property gas-phase analysis assuming an infinite activation energy for the decomposition reaction. The state of the liquid surface was estimated using a conventional low-pressure phase equilibrium model, as well as a high-pressure version that considered the presence of dissolved combustion-product gases in the liquid phase. The high-pressure model was found to give a superior prediction of measured liquid surface temperatures. Computed total pressures required for the surface to reach its critical mixing point during strand combustion were found to be in the range from 2.15 to 4.62 times the critical pressure of the pure propellant. Computed dissolved gas concentrations at the liquid surface were in the range from 35 to 50% near the critical combustion condition.

Faeth, G. M.↗

Performability analysis using semi-Markov reward processes

Beaudry (1978) proposed a simple method of computing the distribution of performability in a Markov reward process. Two extensions of Beaudry's approach are presented. The method is generalized to a semi-Markov reward process by removing the restriction requiring the association of zero reward to absorbing states only. The algorithm proceeds by replacing zero-reward nonabsorbing states by a probabilistic switch; it is therefore related to the elimination of vanishing states from the reachability graph of a generalized stochastic Petri net and to the elimination of fast transient states in a decomposition approach to stiff Markov chains. The use of the approach is illustrated with three applications.

Ciardo, Gianfranco↗

Conductimetric determination of decomposition of silicate melts

A description of a procedure is given to detect decomposition of silicate systems in the liquid state by conductivity measurements. Onset of decomposition can be determined from the temperature curves of resistances measured on two pairs of electrodes, one above the other. Degree of decomposition can be estimated from temperature and concentration dependency of conductivity of phase boundaries. This procedure was tested with systems PbO-B2O3 and PbO-B2O3-SiO2.

Kroeger, C.↗

Efficient eigenvalue assignment for large space structures

A novel and efficient approach for the eigenvalue assignment of large first-order time-invariant systems is developed using full-state feedback and output feedback. First, a Schur decomposition is applied to triangularize the state matrix. Second, a series of coordinate rotations (Givens rotations) are used to move the eigenvalue to be reassigned to the end of the diagonal of its Schur form. Third, the eigenvalue is moved to the desired location by a full-state feedback, without affecting the remaining eigenvalues. The second and third step can be repeated until all the assignable eigenvalues are moved to the desired locations. Given the freedom of multiple inputs, the feedback gain matrix is calculated to minimize an objective function composed of a gain matrix norm and/or a robustness index of the closed-loop system. Numerical examples are given to demonstrate the feasibility of the proposed approach.

Maghami, Peiman G.↗