Search NASA⌕ Search

SEARCH · Search NASA

Results for “Stefan problem”

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 37 records · Page 2

A system level testbed for a mid-infrared beam-combiner for Terrestrial Planet Finder

Direct optical detection of earth-like planets orbiting nearby stars is the goal of the Terrestrial Planet Finder project. One instrument which may have the capability to detect such small, faint objects in proximity to the parent star is the infra-red nulling interferometer. A four input beam combiner is being built to test apsects of the beam combination and planet detection problem. This paper describes the design developed for a ground testbed.

Martin, Stefan↗

Robust Cislunar Trajectory Optimization Via Midcourse Correction and Optical Navigation Scheduling

This paper presents a new approach to optimal trajectory design that considers uncertainties in the system, referred to herein as robust trajectory optimization. This approach assumes an existing reference trajectory and optimizes the locations of midcourse correction burns and utilization of onboard navigation sensors to minimize dispersions in ∆v or final position. Navigation errors, maneuver execution errors, orbit insertion errors, and environmental modeling errors are considered. The application in this paper is cislunar flight with the goal of injecting into a Near-Rectilinear Halo Orbit for rendezvous with a target vehicle. Two complementary optimization problems are proposed. One problem minimizes the total ∆v dispersion subject to a final position dispersion constraint. The other problem minimizes the final position dispersion subject to a total ∆v dispersion constraint. The results from each optimization problem are shown for a complete mission profile.

Linear Covariance Analysis↗

Quantifying Structural Relationships of Metal-Binding Sites Suggests Origins of Biological Electron Transfer

Biological redox reactions drive planetary biogeochemical cycles. Using a novel, structure-guided sequence analysis of proteins, we explored the patterns of evolution of enzymes responsible for these reactions. Our analysis reveals that the folds that bind transition metal–containing ligands have similar structural geometry and amino acid sequences across the full diversity of proteins. Similarity across folds reflects the availability of key transition metals over geological time and strongly suggests that transition metal–ligand binding had a small number of common peptide origins. We observe that structures central to our similarity network come primarily from oxidoreductases, suggesting that ancestral peptides may have also facilitated electron transfer reactions. Last, our results reveal that the earliest biologically functional peptides were likely available before the assembly of fully functional protein domains over 3.8 billion years ago. Thus, life is a special, very complex form of motion of matter, but this form did not always exist, and it is not separated from inorganic nature by an impassable abyss; rather, it arose from inorganic nature as a new property in the process of evolution of the world. We must study the history of this evolution if we want to solve the problem of the origin of life.

Yana Bromberg↗

A path-oriented knowledge representation system: Defusing the combinatorial system

LIMAP is a programming system oriented toward efficient information manipulation over fixed finite domains, and quantification over paths and predicates. A generalization of Warshall's Algorithm to precompute paths in a sparse matrix representation of semantic nets is employed to allow questions involving paths between components to be posed and answered easily. LIMAP's ability to cache all paths between two components in a matrix cell proved to be a computational obstacle, however, when the semantic net grew to realistic size. The present paper describes a means of mitigating this combinatorial explosion to an extent that makes the use of the LIMAP representation feasible for problems of significant size. The technique we describe radically reduces the size of the search space in which LIMAP must operate; semantic nets of more than 500 nodes have been attacked successfully. Furthermore, it appears that the procedure described is applicable not only to LIMAP, but to a number of other combinatorially explosive search space problems found in AI as well.

Karamouzis, Stamos T.↗

Fast Optimization for Aircraft Descent and Approach Trajectory

We address problem of on-line scheduling of the aircraft descent and approach trajectory. We formulate a general multiphase optimal control problem for optimization of the descent trajectory and review available methods of its solution. We develop a fast algorithm for solution of this problem using two key components: (i) fast inference of the dynamical and control variables of the descending trajectory from the low dimensional flight profile data and (ii) efficient local search for the resulting reduced dimensionality non-linear optimization problem. We compare the performance of the proposed algorithm with numerical solution obtained using optimal control toolbox General Pseudospectral Optimal Control Software. We present results of the solution of the scheduling problem for aircraft descent using novel fast algorithm and discuss its future applications.

Luchinsky, Dmitry G.↗

A Uniform Ontology for Software Interfaces

It is universally the case that computer users who are not also computer specialists prefer to deal with computers' in terms of a familiar ontology, namely that of their application domains. For example, the well-known Windows ontology assumes that the user is an office worker, and therefore should be presented with a "desktop environment" featuring entities such as (virtual) file folders, documents, appointment calendars, and the like, rather than a world of machine registers and machine language instructions, or even the DOS command level. The central theme of this research has been the proposition that the user interacting with a software system should have at his disposal both the ontology underlying the system, as well as a model of the system. This information is necessary for the understanding of the system in use, as well as for the automatic generation of assistance for the user, both in solving the problem for which the application is designed, and for providing guidance in the capabilities and use of the system.

Feyock, Stefan↗

On the size and composition of particles in polar stratospheric clouds

Attenuation measurements of the solar radiation between 1.5 and 15 micron wavelengths were performed with the airborne (DC-8) JPL MARK 4 interferometer during the 1987 Antarctic Expedition. The opacities not only provide information about the abundance of stratospheric gases but also about the optical depths of polar stratospheric clouds (PSCs) at wavelengths of negligible gas absorption (windows). The optical depth of PSCs can be determined for each window once the background attenuation, due to air-molecules and aerosol has been filtered out with a simple extinction law. The ratio of optical thicknesses at different wavelengths reveals information about particle size and particle composition. Among the almost 700 measured spectra only a few PSC cases exist. PSC events are identified by sudden reductions in the spectrally integrated intensity value and are also verified with backscattering data from an upward directed lidar instrument, that was mounted on the DC-8. For the selected case on September 21st at 14.40 GMT, lidar data indicate an optically thin cloud at 18k and later an additional optically thick cloud at 15 km altitude. All results still suffer from: (1) often arbitrary definitions of a clear case, that often already may have contained PSC particles and (2) noise problems that restrict the calculations of optical depths to values larger than 0.001. Once these problems are handled, this instrument may become a valuable tool towards a better understanding of the role PSCs play in the Antarctic stratosphere.

Kinne, Stefan↗

Neural nets on the MPP

The Massively Parallel Processor (MPP) is an ideal machine for computer experiments with simulated neural nets as well as more general cellular automata. Experiments using the MPP with a formal model neural network are described. The results on problem mapping and computational efficiency apply equally well to the neural nets of Hopfield, Hinton et al., and Geman and Geman.

Hastings, Harold M.↗

Adaptive Multi-Agent Systems for Constrained Optimization

Product Distribution (PD) theory is a new framework for analyzing and controlling distributed systems. Here we demonstrate its use for distributed stochastic optimization. First we review one motivation of PD theory, as the information-theoretic extension of conventional full-rationality game theory to the case of bounded rational agents. In this extension the equilibrium of the game is the optimizer of a Lagrangian of the (probability distribution of) the joint state of the agents. When the game in question is a team game with constraints, that equilibrium optimizes the expected value of the team game utility, subject to those constraints. The updating of the Lagrange parameters in the Lagrangian can be viewed as a form of automated annealing, that focuses the MAS more and more on the optimal pure strategy. This provides a simple way to map the solution of any constrained optimization problem onto the equilibrium of a Multi-Agent System (MAS). We present computer experiments involving both the Queen s problem and K-SAT validating the predictions of PD theory and its use for off-the-shelf distributed adaptive optimization.

Macready, William↗

Adaptive, Distributed Control of Constrained Multi-Agent Systems

Product Distribution (PO) theory was recently developed as a broad framework for analyzing and optimizing distributed systems. Here we demonstrate its use for adaptive distributed control of Multi-Agent Systems (MASS), i.e., for distributed stochastic optimization using MAS s. First we review one motivation of PD theory, as the information-theoretic extension of conventional full-rationality game theory to the case of bounded rational agents. In this extension the equilibrium of the game is the optimizer of a Lagrangian of the (Probability dist&&on on the joint state of the agents. When the game in question is a team game with constraints, that equilibrium optimizes the expected value of the team game utility, subject to those constraints. One common way to find that equilibrium is to have each agent run a Reinforcement Learning (E) algorithm. PD theory reveals this to be a particular type of search algorithm for minimizing the Lagrangian. Typically that algorithm i s quite inefficient. A more principled alternative is to use a variant of Newton's method to minimize the Lagrangian. Here we compare this alternative to RL-based search in three sets of computer experiments. These are the N Queen s problem and bin-packing problem from the optimization literature, and the Bar problem from the distributed RL literature. Our results confirm that the PD-theory-based approach outperforms the RL-based scheme in all three domains.

Bieniawski, Stefan↗

Solution of elastic-plastic stress analysis problems by the p-version of the finite element method

The solution of small strain elastic-plastic stress analysis problems by the p-version of the finite element method is discussed. The formulation is based on the deformation theory of plasticity and the displacement method. Practical realization of controlling discretization errors for elastic-plastic problems is the main focus. Numerical examples which include comparisons between the deformation and incremental theories of plasticity under tight control of discretization errors are presented.

Szabo, Barna A.↗

Vortex breakdown in an axisymmetric flow

The breakdown for both an isolated vortex and a vortex flow in a tube is studied by means of a numerical solution of the axisymmetric Navier-Stokes equations for an unsteady, incompressible, and laminar flow. Results are compared to those of other authors and to experiments. Various numerical solution methods and various physical boundary conditions are used in order to explain the existence of different solutions. The computational results reveal that the existence of different solutions is due to slightly different inflow conditions. The numerical problem for the isolated vortex becomes ill-posed at a certain time for the inflow condition of zero axial gradient of the radial velocity component. Different inflow conditions yield breakdown flowfields containing different features of the experimentally observed breakdown structure.

Menne, Stefan↗

Reachability Subspace Exploration Using Continuation Methods

Reachability manifold computation suffers from the curse of dimensionality and for large state spaces is computationally intractable. This paper examines the use of continuation methods to address this issue by formulating the reachability sub-space manifold calculation into a number of initial valued problems. As a result of computing the reachability manifold for a subspace of interest, an exponential improvement in computational cost occurs. This concept is applied to a position subspace reachability problem of a spacecraft in a Keplerian orbit under maximum thrust constraints. Future work includes a comparison of the proposed method with computing reachability manifolds using viscosity solutions of the Hamilton Jacobi Bellman partial differential equation.

orbital mechanics↗

Product Distributions for Distributed Optimization

With connections to bounded rational game theory, information theory and statistical mechanics, Product Distribution (PD) theory provides a new framework for performing distributed optimization. Furthermore, PD theory extends and formalizes Collective Intelligence, thus connecting distributed optimization to distributed Reinforcement Learning (FU). This paper provides an overview of PD theory and details an algorithm for performing optimization derived from it. The approach is demonstrated on two unconstrained optimization problems, one with discrete variables and one with continuous variables. To highlight the connections between PD theory and distributed FU, the results are compared with those obtained using distributed reinforcement learning inspired optimization approaches. The inter-relationship of the techniques is discussed.

Bieniawski, Stefan R.↗

An Approach to Reasoning Service Migration in Data and Reasoning Fabric (DRF) Implementation

In this paper we consider service placement problem for Data and Reasoning Fabric (DRF) enabled airspace operations assuming a fixed cloud/edge infrastructure with allocated computing, storage and power resources, where cloud/edge servers, and communication stations are in a wired connected network, while vehicles use a wireless network for communication. The objective is to automatically select the best location for the requested service execution, which achieves minimum cost while satisfying the user quality of service (QoS) and available resources constraints. To this end, we estimate for each potential location the response time, consumed energy and total cost; formulate an optimization problem for cost minimization given the users QoS constraints and network infrastructure limitations; and solve it using nonlinear programming tools. The approach is applied to trajectory re-planning use case to handle a no-fly zone contingency in real time.

Vahram Stepanyan↗

Use of piezoelectric multicomponent force measuring devices in fluid mechanics

The characterisitics of piezoelectric multicomponent transducers are discussed, giving attention to the advantages of quartz over other materials. The main advantage of piezoelectric devices in aerodynamic studies is their ability to indicate rapid changes in the values of physical parameters. Problems in the accuracy of measurments by piezoelectric devices can be overcome by suitable design approaches. A practical example is given of how such can be utilized to measure rapid fluctuations of fluid forces exerted on a circular cylinder mounted in a water channel.

Richter, A.↗

Cirrus microphysics and radiative transfer: Cloud field study on October 28, 1986

The radiative properties of cirrus clouds present one of the unresolved problems in weather and climate research. Uncertainties in ice particle amount and size and, also, the general inability to model the single scattering properties of their usually complex particle shapes, prevent accurate model predictions. For an improved understanding of cirrus radiative effects, field experiments, as those of the Cirrus IFO of FIRE, are necessary. Simultaneous measurements of radiative fluxes and cirrus microphysics at multiple cirrus cloud altitudes allows the pitting of calculated versus measured vertical flux profiles; with the potential to judge current cirrus cloud modeling. Most of the problems in this study are linked to the inhomogeneity of the cloud field. Thus, only studies on more homogeneous cirrus cloud cases promises a possibility to improve current cirrus parameterizations. Still, the current inability to detect small ice particles will remain as a considerable handicap.

Kinne, Stefan↗

LAT Perspectives in Detection of High Energy Cosmic Ray Electrons

The GLAST Large Area Telescope (LAT) science objectives and capabilities in the detection of high energy electrons in the energy range from 20 GeV to approx. 1 TeV are presented. LAT simulations are used to establish the event selections. It is found that maintaining the efficiency of electron detection at the level of 30% the residual hadron contamination does not exceed 2-3% of the electron flux. LAT should collect approx. ten million of electrons with the energy above 20 GeV for each year of observation. Precise spectral reconstruction with high statistics presents us with a unique opportunity to investigate several important problems such as studying galactic models of IC radiation, revealing the signatures of nearby sources such as high energy cutoff in the electron spectrum, testing the propagation model, and searching for KKDM particles decay through their contribution to the electron spectrum.

Moiseev, Alexander↗