Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “system partition”

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 541 records · Page 30

Correctness Proof of a Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs

This report presents a deductive proof of a self-stabilizing distributed clock synchronization protocol. It is focused on the distributed clock synchronization of an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes while allowing for differences in the network elements. This protocol does not rely on assumptions about the initial state of the system, and no central clock or a centrally generated signal, pulse, or message is used. Nodes are anonymous, i.e., they do not have unique identities. There is no theoretical limit on the maximum number of participating nodes. The only constraint on the behavior of the node is that the interactions with other nodes are restricted to defined links and interfaces. We present a deductive proof of the correctness of the protocol as it applies to the networks with unidirectional and bidirectional links. We also confirm the claims of determinism and linear convergence.

Malekpour, Mahyar R.↗

Aircraft control-display analysis and design using the optimal control model of the human pilot

The use of the optimal control model (OCM) of the human pilot as a design tool is discussed. A novel procedure for the assignment and selection of model parameters in the absence of experimental data is proposed. A technique for partitioning a weakly coupled, multiaxis task into approximate state-uncoupled, single-axis tasks is introduced. The resulting modeling technique is utilized in the design and analysis of an aircraft flight-director system. This flight-director design technique differs from previous related work using the OCM in that considerable effort is devoted to ensuring that the OCM-designed director exhibits the desirable frequency-domain characteristics associated with experimentally verified classical designs (e.g., K/s 'effective vehicle' characteristics, noninteracting controls). The implications of the technique in the design of automatic flight control systems which employ the human pilot as a performance assessor and failure detector are briefly discussed.

Hess, R. A.↗

Noise Abatement

SMART, Sound Modification and Regulated Temperature compound, is a liquid plastic mixture with exceptional energy and sound absorbing qualities. It is derived from a very elastic plastic which was an effective noise abatement material in the Apollo Guidance System. Discovered by a NASA employee, it is marketed by Environmental Health Systems, Inc. (EHS). The product has been successfully employed by a diaper company with noisy dryers and a sugar company with noisy blowers. The company also manufactures an audiometric test booth and acoustical office partitions.

Source record↗

The Effect of Metal Composition on Fe-Ni Partition Behavior between Olivine and FeNi-Metal, FeNi-Carbide, FeNi-Sulfide at Elevated Pressure

Metal-olivine Fe-Ni exchange distribution coefficients were determined at 1500 C over the pressure range of 1 to 9 GPa for solid and liquid alloy compositions. The metal alloy composition was varied with respect to the Fe/Ni ratio and the amount of dissolved carbon and sulfur. The Fe/Ni ratio of the metal phase exercises an important control on the abundance of Ni in the olivine. The Ni abundance in the olivine decreases as the Fe/Ni ratio of the coexisting metal increases. The presence of carbon (up to approx. 3.5 wt.%) and sulfur (up to approx. 7.5 wt.%) in solution in the liquid Fe-Ni-metal phase has a minor effect on the partitioning of Fe and Ni between metal and olivine phases. No pressure dependence of the Fe-Ni-metal-olivine exchange behavior in carbon- and sulfur-free and carbon- and sulfur-containing systems was found within the investigated pressure range. To match the Ni abundance in terrestrial mantle olivine, assuming an equilibrium metal-olivine distribution, a sub-chondritic Fe/Ni-metal ratio that is a factor of 17 to 27 lower than the Fe/Ni ratios in estimated Earth core compositions would be required, implying higher Fe concentrations in the core forming metal phase. A simple metal-olivine equilibrium distribution does not seem to be feasible to explain the Ni abundances in the Earth's mantle. An equilibrium between metal and olivine does not exercise a control on the problem of Ni overabundance in the Earth's mantle. The experimental results do not contradict the presence of a magma ocean at the time of terrestrial core formation, if olivine was present in only minor amounts at the time of metal segregation.

Holzheid, Astrid↗

Molybdenum Valence in Basaltic Silicate Melts: Effects of Temperature and Pressure

The metal-silicate partitioning behavior of molybdenum has been used as a test for equilibrium core formation hypotheses [for example, 1-6]. However, current models that apply experimental data to equilibrium core-mantle differentiation infer the oxidation state of molybdenum from solubility data or from multivariable coefficients from metal-silicate partitioning data [1,3,7]. Molybdenum, a multi-valent element with a valence transition near the fO2 of interest for core formation (approx.IW-2) will be sensitive to changes in fO2 of the system and silicate melt structure. In a silicate melt, Mo can occur in either 4+ or 6+ valence state, and Mo(6+) can be either octahedrally or tetrahedrally coordinated. Here we present X-ray absorption near edge structure (XANES) measurements of Mo valence in basaltic run products at a range of P, T, and fO2 and further quantify the valence transition of Mo.

Danielson, L. R.↗

Laboratory studies of actinide partitioning relevant to 244Pu chronometry

Actinide partitioning and light lanthanide fractionation have been studied to gain an understanding of Pu chemistry under meteoritic and lunar conditions. The goal of the study was to identify conditions and samples from which chronological information can be retrieved. The laboratory investigations involved particle track radiography of the crystal/liquid partitioning of Th, U and Pu among diopsidic clinopyroxene, whitlockite and liquid. It is found that trivalent Pu plays an important role in partitioning for lunar and most meteoritic conditions. The use of Pu/Nd for relative age assessments is supported to some extent by the investigations; samples with unfractionated U, Th and Nd abundances (relative to average solar system values) may be suitable for Pu chronometry.

Benjamin, T.↗

A molecular beam investigation of the oxidation of CO on Pt/9/111/x/100//

The CO oxidation on Pt/9(111)x(100)/ was studied by molecular beam relaxation spectroscopy (MBRS). The reaction proceeded via the reaction of adsorbed CO and adsorbed oxygen. No evidence for direct reactive collisions between gaseous CO and adsorbed atomic oxygen was seen. The second order rate constant was measured by linearizing the reaction system to be 10 to the -7th exp/-(9700 kcal/mole)RT/ per sq cm s. The relatively low pre-exponential factor was explained by transition state theory on the basis of a high partition function for adsorbed carbon monoxide obtained previously from studies of CO desorption on this surface.

Fair, J. A.↗

Direct finite element solution on an optical laboratory matrix-vector processor

The first optical laboratory system results employing a direct LU decomposition solution of a system of linear algebraic equations are presented for a finite element problem solution. This also represents the first laboratory demonstration of the use of sign-magnitude negative number representation as well as new bit partitioning techniques to increase the accuracy of an optical encoded processor beyond the number of bit channels available.

Casasent, David↗

Mission planning for autonomous systems

Planning is a necessary task for intelligent, adaptive systems operating independently of human controllers. A mission planning system that performs task planning by decomposing a high-level mission objective into subtasks and synthesizing a plan for those tasks at varying levels of abstraction is discussed. Researchers use a blackboard architecture to partition the search space and direct the focus of attention of the planner. Using advanced planning techniques, they can control plan synthesis for the complex planning tasks involved in mission planning.

Pearson, G.↗

Digital simulation of V/STOL aircraft for autopilot research

Simulations of V/STOL aircraft for autopilot research were introduced as examples of large scale systems. A hierarchy of simulations was assembled, and a modular organization was given to the simulations. The dynamics of the system were subdivided into translational and rotational degrees of freedom, based on the different frequencies at which significant variations in motion variables, control forces and moments occur in two subsystems. This is the basis of the autopilot partitioning into two smaller control problems.

Cicolani, L. S.↗

Evaluating the performance of multicomputer configurations

Steps to optimize the performance of a multicomputer system (MCS) are discussed. Three aspects are emphasized: (1) the interconnection scheme that ties all the processors together, (2) the scheduling and mapping of the algorithm on the architecture, and (3) the mechanism for detecting parallelism and partitioning the algorithm into modules which achieve computational speedup when run on an MCS. Mapping and scheduling issues are addressed, and an application example is given.

Agrawal, D. P.↗

Domain decomposition preconditioners for the spectral collocation method

Several block iteration preconditioners are proposed and analyzed for the solution of elliptic problems by spectral collocation methods in a region partitioned into several rectangles. It is shown that convergence is achieved with a rate which does not depend on the polynomial degree of the spectral solution. The iterative methods here presented can be effectively implemented on multiprocessor systems due to their high degree of parallelism.

Quarteroni, Alfio↗

Application of an integrated flight/propulsion control design methodology to a STOVL aircraft

Results are presented from the application of an emerging Integrated Flight/Propulsion Control (IFPC) design methodology to a Short Take Off and Vertical Landing (STOVL) aircraft in transition flight. The steps in the methodology consist of designing command shaping prefilters to provide the overall desired response to pilot command inputs. A previously designed centralized controller is first validated for the integrated airframe/engine plant used. This integrated plant is derived from a different model of the engine subsystem than the one used for the centralized controller design. The centralized controller is then partitioned in a decentralized, hierarchical structure comprising of airframe lateral and longitudinal subcontrollers and an engine subcontroller. Command shaping prefilters from the pilot control effector inputs are then designed and time histories of the closed loop IFPC system response to simulated pilot commands are compared to desired responses based on handling qualities requirements. Finally, the propulsion system safety and nonlinear limited protection logic is wrapped around the engine subcontroller and the response of the closed loop integrated system is evaluated for transients that encounter the propulsion surge margin limit.

Garg, Sanjay↗

Network design consideration of a satellite-based mobile communications system

Technical considerations for the Mobile Satellite Experiment (MSAT-X), the ground segment testbed for the low-cost spectral efficient satellite-based mobile communications technologies being developed for the 1990's, are discussed. The Network Management Center contains a flexible resource sharing algorithm, the Demand Assigned Multiple Access scheme, which partitions the satellite transponder bandwidth among voice, data, and request channels. Satellite use of multiple UHF beams permits frequency reuse. The backhaul communications and the Telemetry, Tracking and Control traffic are provided through a single full-coverage SHF beam. Mobile Terminals communicate with the satellite using UHF. All communications including SHF-SHF between Base Stations and/or Gateways, are routed through the satellite. Because MSAT-X is an experimental network, higher level network protocols (which are service-specific) will be developed only to test the operation of the lowest three levels, the physical, data link, and network layers.

Yan, T.-Y.↗

Design and Analysis Tools for Concurrent Blackboard Systems

A blackboard system consists of a set of knowledge sources, a blackboard data structure, and a control strategy used to activate the knowledge sources. The blackboard model of problem solving is best described by Dr. H. Penny Nii of the Stanford University AI Laboratory: "A Blackboard System can be viewed as a collection of intelligent agents who are gathered around a blackboard, looking at pieces of information written on it, thinking about the current state of the solution, and writing their conclusions on the blackboard as they generate them. " The blackboard is a centralized global data structure, often partitioned in a hierarchical manner, used to represent the problem domain. The blackboard is also used to allow inter-knowledge source communication and acts as a shared memory visible to all of the knowledge sources. A knowledge source is a highly specialized, highly independent process that takes inputs from the blackboard data structure, performs a computation, and places the results of the computation in the blackboard data structure. This design allows for an opportunistic control strategy. The opportunistic problem-solving technique allows a knowledge source to contribute towards the solution of the current problem without knowing which of the other knowledge sources will use the information. The use of opportunistic problem-solving allows the data transfers on the blackboard to determine which processes are active at a given time. Designing and developing blackboard systems is a difficult process. The designer is trying to balance several conflicting goals and achieve a high degree of concurrent knowledge source execution while maintaining both knowledge and semantic consistency on the blackboard. Blackboard systems have not attained their apparent potential because there are no established tools or methods to guide in their construction or analyze their performance.

McManus, John W.↗

Avionics System Architecture for NASA Orion Vehicle

This viewgraph presentation reviews the Orion Crew Exploration Vehicle avionics architecture. The contents include: 1) What is Orion?; 2) Orion Concept of Operations; 3) Orion Subsystems; 4) Orion Avionics Architecture; 5) Orion Avionics-Network; 6) Orion Network Unification; 7) Orion Avionics-Integrity; 8) Orion Avionics-Partitioning; and 9) Orion Avionics-Redundancy.

Baggerman, Clint↗

Robust control of systems with real parameter uncertainty and unmodelled dynamics

During this research period we have made significant progress in the four proposed areas: (1) design of robust controllers via H infinity optimization; (2) design of robust controllers via mixed H2/H infinity optimization; (3) M-delta structure and robust stability analysis for structured uncertainties; and (4) a study on controllability and observability of perturbed plant. It is well known now that the two-Riccati-equation solution to the H infinity control problem can be used to characterize all possible stabilizing optimal or suboptimal H infinity controllers if the optimal H infinity norm or gamma, an upper bound of a suboptimal H infinity norm, is given. In this research, we discovered some useful properties of these H infinity Riccati solutions. Among them, the most prominent one is that the spectral radius of the product of these two Riccati solutions is a continuous, nonincreasing, convex function of gamma in the domain of interest. Based on these properties, quadratically convergent algorithms are developed to compute the optimal H infinity norm. We also set up a detailed procedure for applying the H infinity theory to robust control systems design. The desire to design controllers with H infinity robustness but H(exp 2) performance has recently resulted in mixed H(exp 2) and H infinity control problem formulation. The mixed H(exp 2)/H infinity problem have drawn the attention of many investigators. However, solution is only available for special cases of this problem. We formulated a relatively realistic control problem with H(exp 2) performance index and H infinity robustness constraint into a more general mixed H(exp 2)/H infinity problem. No optimal solution yet is available for this more general mixed H(exp 2)/H infinity problem. Although the optimal solution for this mixed H(exp 2)/H infinity control has not yet been found, we proposed a design approach which can be used through proper choice of the available design parameters to influence both robustness and performance. For a large class of linear time-invariant systems with real parametric perturbations, the coefficient vector of the characteristic polynomial is a multilinear function of the real parameter vector. Based on this multilinear mapping relationship together with the recent developments for polytopic polynomials and parameter domain partition technique, we proposed an iterative algorithm for coupling the real structured singular value.

Chang, Bor-Chin↗

Large constraint length high speed viterbi decoder based on a modular hierarchial decomposition of the deBruijn graph

A method of formulating and packaging decision-making elements into a long constraint length Viterbi decoder which involves formulating the decision-making processors as individual Viterbi butterfly processors that are interconnected in a deBruijn graph configuration. A fully distributed architecture, which achieves high decoding speeds, is made feasible by novel wiring and partitioning of the state diagram. This partitioning defines universal modules, which can be used to build any size decoder, such that a large number of wires is contained inside each module, and a small number of wires is needed to connect modules. The total system is modular and hierarchical, and it implements a large proportion of the required wiring internally within modules and may include some external wiring to fully complete the deBruijn graph. pg,14.

Collins, Oliver↗