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 289 records · Page 16

A Self-Stabilizing Synchronization Protocol for Arbitrary Digraphs

This paper presents a self-stabilizing distributed clock synchronization protocol in the absence of faults in the system. 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, other than the presence of at least one node, 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. This protocol deterministically converges within a time bound that is a linear function of the self-stabilization period. We present an outline of a deductive proof of the correctness of the protocol. A bounded model of the protocol was mechanically verified for a variety of topologies. Results of the mechanical proof of the correctness of the protocol are provided. The model checking results have verified the correctness of the protocol as they apply to the networks with unidirectional and bidirectional links. In addition, the results confirm the claims of determinism and linear convergence. As a result, we conjecture that the protocol solves the general case of this problem. We also present several variations of the protocol and discuss that this synchronization protocol is indeed an emergent system.

Malekpour, Mahyar R.↗

NASA-Ames three-dimensional potential flow analysis system (POTFAN) equation solver code (SOLN) version 1

A computer program known as SOLN was developed as an independent segment of the NASA-Ames three-dimensional potential flow analysis systems of linear algebraic equations. Methods used include: LU decomposition, Householder's method, a partitioning scheme, and a block successive relaxation method. Due to the independent modular nature of the program, it may be used by itself and not necessarily in conjunction with other segments of the POTFAN system.

Davis, J. E.↗

Optimal partitioning of random programs across two processors

The optimal partitioning of random distributed programs is discussed. It is concluded that the optimal partitioning of a homogeneous random program over a homogeneous distributed system either assigns all modules to a single processor, or distributes the modules as evenly as possible among all processors. The analysis rests heavily on the approximation which equates the expected maximum of a set of independent random variables with the set's maximum expectation. The results are strengthened by providing an approximation-free proof of this result for two processors under general conditions on the module execution time distribution. It is also shown that use of this approximation causes two of the previous central results to be false.

Nicol, D. M.↗

Demixing kinetics of phase separated polymer solutions in microgravity

In preparation for performing cell partitioning in space the demixing behavior of aqueous two phase systems containing dextran and poly(ethylene glycol) in microgravity was modeled with an isopycnic system and studied on aircraft flights and on STS 51-D. In all types of experiments demixing occurs, eventually producing one phase localized around the wall of the container with the other internalized within it. The demixing kinetics were analyzed in each case.

Brooks, D. E.↗

Optimal partitioning of random programs across two processors

The optimal partitioning of random-distributed programs is discussed. It is concluded that the optimal partitioning of a homogeneous random program over a homogeneous distributed system either assigns all modules to a single processor, or distributes the modules as evenly as possible among all processors. The analysis rests heavily on the approximation which equates the expected maximum of a set of independent random variables with the set's maximum expectation. The results are strengthened by providing an approximation-free proof of this result for two processors under general conditions on the module execution time distribution. It is also shown that use of this approximation causes two of the previous central results to be false.

Nicol, David M.↗

A microeconomic scheduler for parallel computers

We describe a scheduler based on the microeconomic paradigm for scheduling on-line a set of parallel jobs in a multiprocessor system. In addition to the classical objectives of increasing the system throughput and reducing the response time, we consider fairness in allocating system resources among the users, and providing the user with control over the relative performances of his jobs. We associate with every user a savings account in which he receives money at a constant rate. When a user wants to run a job, he creates an expense account for that job to which he transfers money from his savings account. The job uses the funds in its expense account to obtain the system resources it needs for execution. The share of the system resources allocated to the user is directly related to the rate at which the user receives money; the rate at which the user transfers money into a job expense account controls the job's performance. We prove that starvation is not possible in our model. Simulation results show that our scheduler improves both system and user performances in comparison with two different variable partitioning policies. It is also shown to be effective in guaranteeing fairness and providing control over the performance of jobs.

Stoica, Ion↗

Mathematical model partitioning and packing for parallel computer calculation

This paper deals with the development of multiprocessor simulations from a serial set of ordinary differential equations describing a physical system. The identification of computational parallelism within the model equations is discussed. A technique is presented for identifying this parallelism and for partitioning the equations for parallel solution on a multiprocessor. Next, an algorithm which packs the equations into a minimum number of processors is described. The results of applying the packing algorithm to a turboshaft engine model are presented.

Arpasi, Dale J.↗

Attribution of Flux Partitioning Variations Between Land Surface Models over the Continental U.S.

Accurate quantification of the terrestrial evapotranspiration (ET) components of plant transpiration (T), soil evaporation (E) and evaporation of the intercepted water (I) is necessary for improving our understanding of the links between the carbon and water cycles. Recent studies have noted that, among the modeled estimates, large disagreements exist in the relative contributions of T, E and I to the total ET. As these models are often used in data assimilation environments for incorporating and extending ET relevant remote sensing measurements, understanding the sources of inter-model differences in ET components is also necessary for improving the utilization of such remote sensing measurements. This study quantifies the contributions of two key factors explaining inter-model disagreements to the uncertainty in total ET: (1) contribution of the local partitioning and (2) regional distribution of ET. The analysis is conducted by using outputs from a suite of land surface models in the North American Land Data Assimilation System (NLDAS) configuration. For most of these models, transpiration is the dominant component of the ET partition. The results indicate that the uncertainty in local partitioning dominates the inter-model spread in modeled soil evaporation E. The inter-model differences in T are dominated by the uncertainty in the distribution of ET over the Eastern U.S. and the local partitioning uncertainty in the Western U.S. The results also indicate that uncertainty in the T estimates is the primary driver of total ET errors. Over the majority of the U.S., the contribution of the two factors of uncertainty to the overall uncertainty is non-trivial.

uncertainty↗

Attribution of Flux Partitioning Variations Between Land Surface Models Over the Continental U.S.

Accurate quantification of the terrestrial evapotranspiration (ET) components of plant transpiration (T), soil evaporation (E) and evaporation of the intercepted water (I) is necessary for improving our understanding of the links between the carbon and water cycles. Recent studies have noted that, among the modeled estimates, large disagreements exist in the relative contributions of T, E and I to the total ET. As these models are often used in data assimilation environments for incorporating and extending ET relevant remote sensing measurements, understanding the sources of inter-model differences in ET components is also necessary for improving the utilization of such remote sensing measurements. This study quantifies the contributions of two key factors explaining inter-model disagreements to the uncertainty in total ET: (1) contribution of the local partitioning and (2) regional distribution of ET. The analysis is conducted by using outputs from a suite of land surface models in the North American Land Data Assimilation System (NLDAS) configuration. For most of these models, transpiration is the dominant component of the ET partition. The results indicate that the uncertainty in local partitioning dominates the inter-model spread in modeled soil evaporation E. The inter-model differences in T are dominated by the uncertainty in the distribution of ET over the Eastern U.S. and the local partitioning uncertainty in the Western U.S. The results also indicate that uncertainty in the T estimates is the primary driver of total ET errors. Over the majority of the U.S., the contribution of the two factors of uncertainty to the overall uncertainty is non-trivial.

evapotranspiration partitioning; transpiration; so↗

Thermodynamic Modeling of Calcium and Magnesium Partitioning Between Sulfide and Silicate and Implications for Mercury’s Differentiation

Mercury is the least oxidized terrestrial planet of the solar system and is enriched in sulfur, which may be saturated in its mantle, possibly forming Ca- and Mg-rich sulfides. Using literature experimental data, we developed a thermodynamic model for calcium and magnesium partitioning between sulfide and silicate melts to enhance our understanding of the chemical equilibria involved in Mercury’s mantle-crust differentiation. Our models show that temperature and carbon abundance in sulfide have a positive effect on Ca partitioning into sulfides, while pressure decreases it. In addition, carbon abundance and sulfur concentration in the silicate melt are the primary controls on Mg partitioning, both favoring Mg partitioning into sulfides. Our results will be used to better understand the abundance as well as presence of calcium and magnesium sulfides within Mercury’s mantle and crust.

Taylor McCombs↗

Planning and scheduling for robotic assembly

A system for reasoning about robotic assembly tasks is described. The first element of this system is a facility for itemizing the constraints which determine the admissible orderings over the activities to be sequenced. The second element is a facility which partitions the activities into independent subtasks and produces a set of admissible strategies for each. Finally, the system has facilities for constructing an admissible sequence of activities which is consistent with the given constraints. This can be done off-line, in advance of task execution, or it can be done incrementally, at execution time, according to conditions in the execution environment. The language of temporal constraints and the methods of inference presented in related papers are presented. It is shown how functional and spatial relationships between components impose temporal constraints on the order of assembly and how temporal constraints then imply admissible strategies and feasible sequences.

Fox, Barry R.↗

Recovery of precious metals from space

The overall objective is to develop efficient and economical separation and recovery methods for the platinum group and other precious metals. The separation of Pd(II) from Pt(II), Ir(III), and Rh(III) with trioctylphosphine oxide (TOPO) in heptane using centrifugal partition chromatography (CPC) was investigated. Activities to achieve this objective focussed on selection and evaluation of extraction systems for the PGM and modification of selected systems for multistage operation with a view to scaling up to desired macro levels. On the basis of preliminary evaluation of a series of simple metal complexing agents and chelating agents, the TOPO in heptane was selected as a likely system for isolating of Pd(II) and Pt(II) from the other PGM. A multistage apparatus capable of configuration as a simple rugged device, a centrifugal partition chromatograph (CPC), was shown to be effective. The extraction of Pd(II) was studied by CPC and batch solvent extraction. The distribution ratios for Pd(II) determined by both methods agree well. In low HCl concentrations (less than 0.1 M), the extracted species was PdCl2.(TOPO)2, irrespective of the chloride concentration, while at acid concentrations above 0.1 M, the Pd was extracted as the ion pair, 2(TOPO.H+).(PdCl4)2-. Base line separation of Pd(II) and Pt(II) in CPC was obtained under a variety of chloride and HCl concentration. It was demonstrated that the efficiency of CPC for metal separation was limited by chemical kinetic factors rather than instrumental factors, strongly suggesting that dramatic improvements can be achieved by studying reaction kinetics of formation and dissociation of the extractable metal complex.

Freiser, Henry↗

Calculating Free Energies Using Scaled-Force Molecular Dynamics Algorithm

One common objective of molecular simulations in chemistry and biology is to calculate the free energy difference between different states of the system of interest. Examples of problems that have such an objective are calculations of receptor-ligand or protein-drug interactions, associations of molecules in response to hydrophobic, and electrostatic interactions or partition of molecules between immiscible liquids. Another common objective is to describe evolution of the system towards a low energy (possibly the global minimum energy), 'native' state. Perhaps the best example of such a problem is folding of proteins or short RNA molecules. Both types of problems share the same difficulty. Often, different states of the system are separated by high energy barriers, which implies that transitions between these states are rare events. This, in turn, can greatly impede exploration of phase space. In some instances this can lead to 'quasi non-ergodicity', whereby a part of phase space is inaccessible on timescales of the simulation. A host of strategies has been developed to improve efficiency of sampling the phase space. For example, some Monte Carlo techniques involve large steps which move the system between low-energy regions in phase space without the need for sampling the configurations corresponding to energy barriers (J-walking). Most strategies, however, rely on modifying probabilities of sampling low and high-energy regions in phase space such that transitions between states of interest are encouraged. Perhaps the simplest implementation of this strategy is to increase the temperature of the system. This approach was successfully used to identify denaturation pathways in several proteins, but it is clearly not applicable to protein folding. It is also not a successful method for determining free energy differences. Finally, the approach is likely to fail for systems with co-existing phases, such as water-membrane systems, because it may lead to spontaneous mixing. A similar difficulty may be encountered in any method relying on global modifications of phase space.

Darve, Eric↗

Distributed state-space generation of discrete-state stochastic models

High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models of ten requires the generation and storage of the entire underlying state space. This imposes practical limitations on the types of systems which can be modeled. Because of the vast amount of memory consumed, we investigate distributed algorithms for the generation of state space graphs. The distributed construction allows us to take advantage of the combined memory readily available on a network of workstations. The key technical problem is to find effective methods for on-the-fly partitioning, so that the state space is evenly distributed among processors. In this paper we report on the implementation of a distributed state-space generator that may be linked to a number of existing system modeling tools. We discuss partitioning strategies in the context of Petri net models, and report on performance observed on a network of workstations, as well as on a distributed memory multi-computer.

Ciardo, Gianfranco↗

Three-dimensional, conservative, Euler computations using patched grid systems and explicit methods

The method of 'zonal approach' (in which the flow field is partitioned into regions with independent grids) for computation of flow over complex geometries, such as aircraft configuration, requires application of a grid-interfacing procedure. A three-dimensional conservative, boundary scheme for patched grids, applicable in generalized coordinates for arbitrary point distributions on a planar zonal surface is presented. The computation technique is derived within the framework of the Osher (1983) upwind scheme, using Euler equations. The three-dimensional interfacing method is applied to the computation of flow about a wing-canard combination using a two-zone, patched grid.

Hessenius, K. A.↗

Global Influence of Organic Aerosol Volatility on Aerosol Microphysical Processes: Composition and Number

We present MATRIX-VBS, a new aerosol scheme that simulates organic partitioning in an aerosol microphysics model, as part of the NASA GISS ModelE Earth System Model. MATRIX-VBS builds on its predecessor aerosol microphysics model MATRIX (Bauer et al., 2008, https://doi.org/10.5194/acp-8-6003-2008) and was developed in the box model framework (Gao et al., 2017, https://doi.org/10.5194/gmd-10-751-2017). The scheme features the inclusion of organic partitioning between the gas and particle phases and the photochemical aging process using the volatility-basis set (Donahue et al., 2006, https://doi.org/10.1021/es052297c). To assess the performance of the new model, we compared its mass concentration, number concentration, and activated number concentration to the original scheme MATRIX, and evaluated its mass concentrations in four seasons against data from the NASA Atmospheric Tomography Mission (ATom) aircraft campaign. Results from MATRIX-VBS show that organics are transported further away from their source, and their mass concentration increases aloft and decreases at the surface compared to those in MATRIX. The mass concentration of organics at the surface agrees well with measurements, and there are discrepancies for vertical profiles aloft. In the new scheme, the global mass load of organic aerosols increased by 50%, there is also an increased number of particles at the surface and fewer activated ones in most regions. The new scheme presents advanced and more comprehensive capability in simulating aerosol processes.

aerosol modeling↗

Tunable-diode laser absorption spectrometry

Tunable-diode laser absorption spectrometry (TDLAS) affords a number of advantages for atmospheric measurements. It is a universal method, applicable, in principle, to all gases of atmospheric interest. Because of its extremely high spectral resolution it provides unequivocal identification of the target species, with no interferences from other gases. It provides real-time, in situ measurements with time resolutions better than 1 minute. The sensitivity of the current TDLAS system is marginally capable of measuring HO2. This species exists in the troposphere at concentrations which are up to 2 orders of magnitude higher than those of HO and, in addition, is much less susceptible to removal by the surfaces of the instrument and its sampling system. HO2 is an important HO sub x species in its own right but can also give direct information on the HO concentration by virtue of the rapid partitioning between these two species. The addition of the high-frequency modulation technique to the TDLAS system would ensure its ability to measure HO2 under most atmospheric conditions. The ability of the TDLAS to measure hydrogen peroxide (H2O2) in the ambient atmosphere was also demonstrated. H2O2 measurements give a clear indication of HO sub x mixing ratios and are also important as a photolytic source of HO and as an important oxidant for other atmospheric consitituents such as SO2.

Schiff, H. I.↗