Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Complexity theory”

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 127 records · Page 7

Preliminary Work for Examining the Scalability of Reinforcement Learning

Researchers began studying automated agents that learn to perform multiple-step tasks early in the history of artificial intelligence (Samuel, 1963; Samuel, 1967; Waterman, 1970; Fikes, Hart & Nilsonn, 1972). Multiple-step tasks are tasks that can only be solved via a sequence of decisions, such as control problems, robotics problems, classic problem-solving, and game-playing. The objective of agents attempting to learn such tasks is to use the resources they have available in order to become more proficient at the tasks. In particular, each agent attempts to develop a good policy, a mapping from states to actions, that allows it to select actions that optimize a measure of its performance on the task; for example, reducing the number of steps necessary to complete the task successfully. Our study focuses on reinforcement learning, a set of learning techniques where the learner performs trial-and-error experiments in the task and adapts its policy based on the outcome of those experiments. Much of the work in reinforcement learning has focused on a particular, simple representation, where every problem state is represented explicitly in a table, and associated with each state are the actions that can be chosen in that state. A major advantage of this table lookup representation is that one can prove that certain reinforcement learning techniques will develop an optimal policy for the current task. The drawback is that the representation limits the application of reinforcement learning to multiple-step tasks with relatively small state-spaces. There has been a little theoretical work that proves that convergence to optimal solutions can be obtained when using generalization structures, but the structures are quite simple. The theory says little about complex structures, such as multi-layer, feedforward artificial neural networks (Rumelhart & McClelland, 1986), but empirical results indicate that the use of reinforcement learning with such structures is promising. These empirical results make no theoretical claims, nor compare the policies produced to optimal policies. A goal of our work is to be able to make the comparison between an optimal policy and one stored in an artificial neural network. A difficulty of performing such a study is finding a multiple-step task that is small enough that one can find an optimal policy using table lookup, yet large enough that, for practical purposes, an artificial neural network is really required. We have identified a limited form of the game OTHELLO as satisfying these requirements. The work we report here is in the very preliminary stages of research, but this paper provides background for the problem being studied and a description of our initial approach to examining the problem. In the remainder of this paper, we first describe reinforcement learning in more detail. Next, we present the game OTHELLO. Finally we argue that a restricted form of the game meets the requirements of our study, and describe our preliminary approach to finding an optimal solution to the problem.

Clouse, Jeff↗

Applying Graph Theory to Problems in Air Traffic Management

Graph theory is used to investigate three different problems arising in air traffic management. First, using a polynomial reduction from a graph partitioning problem, it is shown that both the airspace sectorization problem and its incremental counterpart, the sector combination problem are NP-hard, in general, under several simple workload models. Second, using a polynomial time reduction from maximum independent set in graphs, it is shown that for any fixed e, the problem of finding a solution to the minimum delay scheduling problem in traffic flow management that is guaranteed to be within n1-e of the optimal, where n is the number of aircraft in the problem instance, is NP-hard. Finally, a problem arising in precision arrival scheduling is formulated and solved using graph reachability. These results demonstrate that graph theory provides a powerful framework for modeling, reasoning about, and devising algorithmic solutions to diverse problems arising in air traffic management.

precision arrival scheduling↗

Testing First-Order Logic Axioms in AutoCert

AutoCert [2] is a formal verification tool for machine generated code in safety critical domains, such as aerospace control code generated from MathWorks Real-Time Workshop. AutoCert uses Automated Theorem Provers (ATPs) [5] based on First-Order Logic (FOL) to formally verify safety and functional correctness properties of the code. These ATPs try to build proofs based on user provided domain-specific axioms, which can be arbitrary First-Order Formulas (FOFs). These axioms are the most crucial part of the trusted base, since proofs can be submitted to a proof checker removing the need to trust the prover and AutoCert itself plays the part of checking the code generator. However, formulating axioms correctly (i.e. precisely as the user had really intended) is non-trivial in practice. The challenge of axiomatization arise from several dimensions. First, the domain knowledge has its own complexity. AutoCert has been used to verify mathematical requirements on navigation software that carries out various geometric coordinate transformations involving matrices and quaternions. Axiomatic theories for such constructs are complex enough that mistakes are not uncommon. Second, adjusting axioms for ATPs can add even more complexity. The axioms frequently need to be modified in order to have them in a form suitable for use with ATPs. Such modifications tend to obscure the axioms further. Thirdly, speculating validity of the axioms from the output of existing ATPs is very hard since theorem provers typically do not give any examples or counterexamples.

Ahn, Ki Yung↗

Application of narrow band control to reduce vibrations in magnetic bearing systems

The benefits of narrowband control theory for simple, open-loop stable systems are illustrated, and how the approach changes for magnetic bearing systems, which are open-loop unstable, is discussed. Magnetic bearing systems are good applications for narrowband control theory. Two sources of synchronous forces, the measurement error and the magnetic unbalance, are discussed. Both the measurement error and the magnetic unbalance manifest themselves as synchronous disturbances. It is shown that narrowband control theory for simple, open-loop stable systems provides excellent performance and good stability robustness. Because magnetic bearing systems are open-loop stable, the narrowband control approach becomes more complex. Disturbance accommodating control (DAC) theory is introduced as an effective approach to reduce vibrations in magnetic bearing systems. It is used to develop a control/estimation scheme that enables the rotor to spin about its center of mass in the presence of the measurement error disturbances.

Gaffney, Monique S.↗

Theoretical Investigation of OCN(-) Charge Transfer Complexes in Condensed Phase Media: Spectroscopic Properties in Amorphous Ice

Density functional theory (DFT) calculations of cyanate (OCN(-)) charge-transfer complexes were performed to model the "XCN" feature observed in interstellar icy grain mantles. OCN(-) charge-transfer complexes were formed from precursor combinations of HNCO or HOCN with either NH3 or H2O. Three different solvation strategies for realistically modeling the ice matrix environment were explored, including (1) continuum solvation, (2) pure DFT cluster calculations, and (3) an ONIOM DFT/PM3 cluster calculation. The model complexes were evaluated by their ability to reproduce seven spectroscopic measurements associated with XCN: the band origin of the OCN(-) asymmetric stretching mode, shifts in that frequency due to isotopic substitutions of C, N, O, and H, plus two weak features. The continuum solvent field method produced results consistent with some of the experimental data but failed to account for other behavior due to its limited capacity to describe molecular interactions with solvent. DFT cluster calculations successfully reproduced the available spectroscopic measurements very well. In particular, the deuterium shift showed excellent agreement in complexes where OCN(-) was fully solvated. Detailed studies of representative complexes including from two to twelve water molecules allowed the exploration of various possible solvation structures and provided insights into solvation trends. Moreover, complexes arising from cyanic or isocyanic acid in pure water suggested an alternative mechanism for the formation of OCN(-) charge-transfer complexes without the need for a strong base such as NH3 to be present. An extended ONIOM (B3LYP/PM3) cluster calculation was also performed to assess the impact of a more realistic environment on HNCO dissociation in pure water.

Park, Jin-Young↗

The Development of the Ducted Fan Noise Propagation and Radiation Code CDUCT-LaRC

The development of the ducted fan noise propagation and radiation code CDUCT-LaRC at NASA Langley Research Center is described. This code calculates the propagation and radiation of given acoustic modes ahead of the fan face or aft of the exhaust guide vanes in the inlet or exhaust ducts, respectively. This paper gives a description of the modules comprising CDUCT-LaRC. The grid generation module provides automatic creation of numerical grids for complex (non-axisymmetric) geometries that include single or multiple pylons. Files for performing automatic inviscid mean flow calculations are also generated within this module. The duct propagation is based on the parabolic approximation theory of R. P. Dougherty. This theory allows the handling of complex internal geometries and the ability to study the effect of non-uniform (i.e. circumferentially and axially segmented) liners. Finally, the duct radiation module is based on the Ffowcs Williams-Hawkings (FW-H) equation with a penetrable data surface. Refraction of sound through the shear layer between the external flow and bypass duct flow is included. Results for benchmark annular ducts, as well as other geometries with pylons, are presented and compared with available analytical data.

Nark, Douglas M.↗

The critical complex in nucleation is not the nucleus

A theory of nucleation is presented which combines features of classical nucleation. In this theory, the nucleus is a cluster of finite size with a sharp interface and spinodal decomposition, in which a fluctuation in density or composition generates the critical complex and nucleus. Thus, the nucleus is a product of nucleation. Schematic models for the classical and the proposed routes to nucleation are compared, focusing on the relation between pressure and volume in the models. In the proposed model, the critical complex, or critical state, is between the parent state and the nucleus.

Rasmussen, Don H.↗

Measurement of cavity perturbation to determine the microwave absorption of a sphere in a single mode resonator

Experiments have been conducted on materials in a single mode microwave resonator to test predictions of a new theory of microwave absorption by a lossy dielectric sphere. An analysis of cavity perturbation for verifying the new absorption model revealed a limitation of a standard form of cavity perturbation theory and led to a modification which generalized its application. The cavity perturbations of a nylon sphere were used to calculate the complex permittivity using the standard perturbation theory and the modified form. These permittivity values were compared to that determined from cavity perturbation using a thin nylon rod where the standard and modified forms agree. The results show that the modification is necessary to correctly apply perturbation theory to spherical samples. A second experiment confirmed the theoretical prediction that under certain sample conditions the power absorbed by a sphere in a resonant cavity can be maximum at a location in the cavity where the empty cavity electric field intensity is a minimum.

Watkins, J. L.↗

Implementation Challenges for Multivariable Control: What You Did Not Learn in School

Multivariable control allows controller designs that can provide decoupled command tracking and robust performance in the presence of modeling uncertainties. Although the last two decades have seen extensive development of multivariable control theory and example applications to complex systems in software/hardware simulations, there are no production flying systems aircraft or spacecraft, that use multivariable control. This is because of the tremendous challenges associated with implementation of such multivariable control designs. Unfortunately, the curriculum in schools does not provide sufficient time to be able to provide an exposure to the students in such implementation challenges. The objective of this paper is to share the lessons learned by a practitioner of multivariable control in the process of applying some of the modern control theory to the Integrated Flight Propulsion Control (IFPC) design for an advanced Short Take-Off Vertical Landing (STOVL) aircraft simulation.

Garg, Sanjay↗

Theories of radio emissions and plasma waves

The complex region of Jupiter's radio emissions at decameter wavelengths, the so-called DAM, is considered, taking into account the basic theoretical ideas which underly both the older and newer theories and models. Linear theories are examined, giving attention to direct emission mechanisms, parallel propagation, perpendicular propagation, and indirect emission mechanisms. An investigation of nonlinear theories is also conducted. Three-wave interactions are discussed along with decay instabilities, and three-wave up-conversio. Aspects of the Io and plasma torus interaction are studied, and a mechanism by which Io can accelerate electrons is reviewed.

Goldstein, M. L.↗

Semi-analytical theory for long-term rotational motion of uncontrolled satellites

Analytical solutions/integrals of the free rotational motion of uncontrolled satellites which contain spinning rotors are employed in conjunction with a suitable analytical/numerical averaging approach to predict long-term attitude motion. This semi-analytical method of averaging is basically similar to the one used in purely analytical 'general perturbation' theories. However, in view of the complexities involved in analytical treatment of the problem, its application is primarily numerical in character. An example is presented illustrating the use of the theory to predict the attitude motion of an axisymmetric satellite containing symmetrical constant-speed rotors under gravity-gradient torque. The use of the theory is considerably more efficient than straightforward numerical integration of the complete set of equations of motion.

Lahr, B. S.↗

Forcing function effects on unsteady aerodynamic gust response. II - Low solidity airfoil row response

The paper investigates the fundamental gust modeling assumption on the basis of a series of experiments performed in the Purdue Annular Cascade Research Facility. The unsteady period flow field is generated by rotating flows of perforated plates and airfoil cascades, with the resulting unsteady periodic chordwise pressure response of a downstream low solidity stator row determined by miniature pressure transducers embedded within selected airfoils. When the forcing function exhibited the characteristics of a linear-theory gust, the resulting response on the downstream stator airfoils was in excellent agreement with the linear-theory models. When the forcing function did not exhibit linear-theory gust characteristics, the resulting unsteady aerodynamic response of the downstream stators was much more complex and correlated poorly with the linear-theory gust predictions. It is shown that the forcing function generator significantly affects the resulting gust response, with the complexity of the response characteristics increasing from the perforated-plate to the airfoil-cascade forcing functions.

Henderson, Gregory H.↗

Perfect gas effects in compressible rapid distortion theory

The governing equations presented for small amplitude unsteady disturbances imposed on steady, compressible mean flows that are two-dimensional and nearly uniform have their basis in the perfect gas equations of state, and therefore generalize previous results based on tangent gas theory. While these equations are more complex, this complexity is required for adequate treatment of high frequency disturbances, especially when the base flow Mach number is large; under such circumstances, the simplifying assumptions of tangent gas theory are not applicable.

Kerschen, E. J.↗

Mathematical techniques for estimating operational readiness of complex systems

Development of methods for predicting operational readiness of complex systems based on probability theory is discussed. Operational readiness of systems is defined and mathematical relationships involved in determining readiness are presented. Example of reliability engineering and quality control is included.

Jacquier, I. D.↗

Borehole probes: Summary of previous work

Previous research explored the applicability of some devices to lunar borehold testing and, in particular, examined the use of such instruments to assess the strength of soils and rocks. Special attention was given to borehole jacks, which essentially conduct a plate bearing test across opposing wall areas. Analytical work employed finite element analysis, the theory of plasticity, and the theory of elasticity using the complex variable method. A number of solutions were reached for tractable subproblems in the set of problems posed when a jack is used to expand sectors of a borehole. In addition, an investigation with physical models was made to explore the modes of behavior for varying boundary conditions and materials, including both elastic and plastic media.

Goodman, R. E.↗