Search NASA⌕ Search

SEARCH · Search NASA

Results for “coordination complexes”

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

Electromagnetic studies of redox systems for energy storage

Both chromium and iron couples were studied on various electrode surfaces in acidic perchlorate solution by using rotating ring-disk techniques. It was found that chloride which forms inner sphere coordination complexes with the redox species enhances the electrode kinetics dramatically. The effects of lead underpotential deposition and surface alloy formation on the kinetics of the chromium couple on gold were studied using both linear sweep voltammetry and potential step techniques. The lad underpotential deposition was found to slow down the kinetics of the reduction of the Cr species on gold surfaces although increase the hydrogen overvoltage. The effect on the chromium kinetics can be explained in terms of principally a double layer effect. The underpotential deposition lead species with its positive charge results in a decrease in the concentration of the Cr species at the electrode surface. Similar phenomena were also observed with bismuth underpotential deposition on gold for the iron couple.

Wu, C. D.↗

Sensitivity method for integrated structure/active control law design

The development is described of an integrated structure/active control law design methodology for aeroelastic aircraft applications. A short motivating introduction to aeroservoelasticity is given along with the need for integrated structures/controls design algorithms. Three alternative approaches to development of an integrated design method are briefly discussed with regards to complexity, coordination and tradeoff strategies, and the nature of the resulting solutions. This leads to the formulation of the proposed approach which is based on the concepts of sensitivity of optimum solutions and multi-level decompositions. The concept of sensitivity of optimum is explained in more detail and compared with traditional sensitivity concepts of classical control theory. The analytical sensitivity expressions for the solution of the linear, quadratic cost, Gaussian (LQG) control problem are summarized in terms of the linear regulator solution and the Kalman Filter solution. Numerical results for a state space aeroelastic model of the DAST ARW-II vehicle are given, showing the changes in aircraft responses to variations of a structural parameter, in this case first wing bending natural frequency.

Gilbert, Michael G.↗

Doubly excited 3P(e) resonant states in Ps(-)

Doubly excited 3P(e) resonant states in Ps(-) are calculated using a method of complex-coordinate rotation. Resonance parameters (both resonance positions and widths) for doubly excited states associated with the n = 2, 3, 4, 5, and 6 thresholds of positronium atoms are evaluated using elaborate Hylleraas-type functions. In addition to ten Feshbach-type resonances lying below various Ps thresholds, three shape resonances were identified, one each lying above the n = 2, 4, and 6 Ps thresholds. It is further noted that the energy levels for the present 3P(e) states are nearly degenerate with respect to the previously calculated 1P(0) states. Such a symmetric character suggests that the highly and doubly excited Ps(-), similar to its counterpart in H(-), would exhibit rovibrational behaviors analogous to those of XYX triatomic molecules.

Ho, Y. K.↗

Model-based Executive Control through Reactive Planning for Autonomous Rovers

This paper reports on the design and implementation of a real-time executive for a mobile rover that uses a model-based, declarative approach. The control system is based on the Intelligent Distributed Execution Architecture (IDEA), an approach to planning and execution that provides a unified representational and computational framework for an autonomous agent. The basic hypothesis of IDEA is that a large control system can be structured as a collection of interacting agents, each with the same fundamental structure. We show that planning and real-time response are compatible if the executive minimizes the size of the planning problem. We detail the implementation of this approach on an exploration rover (Gromit an RWI ATRV Junior at NASA Ames) presenting different IDEA controllers of the same domain and comparing them with more classical approaches. We demonstrate that the approach is scalable to complex coordination of functional modules needed for autonomous navigation and exploration.

Finzi, Alberto↗

Doubly Excited Resonances in the Positronium Negative Ion

The recent theoretical studies on the doubly excited states of the Ps' ion are described. The results obtained by using the method of complex coordinate rotation show that the three-lepton system behaves very much like an XYX tri-atomic molecule. Furthermore, the recent investigation on the positronium negative ion embedded in Debye plasma environments is discussed. The problem is modeled by the use of a screened Coulomb potential to represent the interaction between the charge particles.

Ho, Y.K.↗

Colorimetric and Label-Free Optical Detection of Pb 2+ Ions via Colloidal Gold Nanoparticles

The detection of Lead (Pb) heavy metal in water is crucial in many chemical processes as it is associated with serious health hazard. Here, we report the selective and precise colorimetric detection of Pb 2+ ions in water exploiting the mechanisms of aggregation and self-assembly of Glutathione (GSH) functionalized gold nanoparticles (GNPs). The carboxyl functional groups are available to create coordination complexes with Pb 2+ inducing aggregation amongst the GSH-GNPs in the presence of Pb 2+ due to the chelation of the GSH ligands. The resulting aggregation of amongst the GSHGNPs in the presence of Pb2+ increases the aggregate size depending on available Pb 2+ ions affecting the plasmonic coupling. This causes in a substantial shift in the plasmon wavelength to a longer wavelength side with increasing Pb 2+ concentration, resulting in a red-to-blue colorimetric or visual change, enabling instant determination of lead content in water.

calorimetric detection↗

Independent Validation of Specifications: A Coordination Headache

Large, complex projects face significant barriers to coordination and communication due to continuous, rapid changes during a project's life cycle. Such changes must be tracked, analyzed, and reconciled to ensure high quality in the end product, otherwise problems may get lost or ignored in the overall complexity. We report on 'work-in-progress' in the study of coordination problems between two independent, separate groups: software development and software analysis. We have begun to construct a taxonomy of coordination problems, which we illustrate with two scenarios. We briefly describe current attempts to introduce incremental improvements to coordination problems in such projects via World Wide Web tools. Based on actual project experiences, we plan to deploy such tools in a non-intrusive fashion to improve coordination and communication between software development groups.

Easterbrook, Steve↗

Breakdowns in Coordination Between Air Traffic Controllers

This talk outlines the complexity of coordination in air traffic control, introduces the NextGen technologies, identifies common causes for coordination breakdowns in air traffic control and examines whether these causes are likely to be reduced with the introduction of NextGen technologies. While some of the common causes of breakdowns will be reduced in a NextGen environment this conclusion should be drawn carefully given the current stage of development of the technologies and the observation that new technologies often shift problems rather than reduce them.

Bearman, Chris↗

Review of Multi-Agent Algorithms for Collective Behavior: a Structural Taxonomy

In this paper, we review multi-agent collective behavior algorithms in the literature and classify them according to their underlying mathematical structure. For each mathematical technique, we identify the multi-agent coordination tasks it can be applied to, and we analyze its scalability, bandwidth use, and demonstrated maturity. We highlight how versatile techniques such as artificial potential functions can be used for applications ranging from low-level position control to high-level coordination and task allocation, we discuss possible reasons for the slow adoption of complex distributed coordination algorithms in the field, and we highlight areas for further research and development.

Pavone, Marco↗

Preliminary Application of Formal Verification to An Autonomy Architecture for Unmanned Aircraft

There is a desire to design autonomous systems in such a way that capabilities can be easily added or re- combined to produce new behaviors while preserving their safety properties. ICAROUS, a prototype software architecture for building safety-centric autonomous unmanned aircraft applications, is designed to support this type of extensibility and re-configurability. In ICAROUS, core capabilities are implemented as individual soft- ware services, so that enabling access to new capabilities simply requires adding new services. To make use of these capabilities, ICAROUS includes a specialized service that provides a general framework for config- uring the relative priorities, conditions, and rules that govern how different modules should be engaged and disengaged during flight. The inherent complexity of coordinating multiple modules under changing conditions makes it difficult to determine whether a particular configuration could have erroneous behaviors in certain circumstances. A robust set of integration tests can help discover errors, but testing can only realistically cover a relatively small proportion of total system behaviors. Developing good tests and interpreting the results to pinpoint the cause of errors when they arise can also be very time-consuming. To supplement testing, formal methods can be used to model and analyze complex systems, achieving better coverage and simplifying the process of finding, understanding, and fixing errors. To demonstrate these benefits, this paper explores the ap- plication of formal methods to ICAROUS. In particular, the Spin model checker is used to specify requirements for and model portions of the system, then verify whether the model satisfies the requirements and find and fix errors when it does not.

Formal Methods↗

Preliminary Application of Formal Verification to An Autonomy Architecture for Unmanned Aircraft

There is a desire to design autonomous systems in such a way that capabilities can be easily added or re-combined to produce new behaviors while preserving their safety properties. ICAROUS, a prototype software architecture for building safety-centric autonomous unmanned aircraft applications, is designed to support this type of extensibility and re-configurability. In ICAROUS, core capabilities are implemented as individual soft- ware services, so that enabling access to new capabilities simply requires adding new services. To make use of these capabilities, ICAROUS includes a specialized service that provides a general framework for config- uring the relative priorities, conditions, and rules that govern how different modules should be engaged and disengaged during flight. The inherent complexity of coordinating multiple modules under changing conditions makes it difficult to determine whether a particular configuration could have erroneous behaviors in certain circumstances. A robust set of integration tests can help discover errors, but testing can only realistically cover a relatively small proportion of total system behaviors. Developing good tests and interpreting the results to pinpoint the cause of errors when they arise can also be very time-consuming. To supplement testing, formal methods can be used to model and analyze complex systems, achieving better coverage and simplifying the process of finding, understanding, and fixing errors. To demonstrate these benefits, this paper explores the ap- plication of formal methods to ICAROUS. In particular, the Spin model checker is used to specify requirements for and model portions of the system, then verify whether the model satisfies the requirements and find and fix errors when it does not.

Formal Methods↗

Reflecting Solutions of High Order Elliptic Differential Equations in Two Independent Variables Across Analytic Arcs

Consideration is given specifically to sixth order elliptic partial differential equations in two independent real variables x, y such that the coefficients of the highest order terms are real constants. It is assumed that the differential operator has distinct characteristics and that it can be factored as a product of second order operators. By analytically continuing into the complex domain and using the complex characteristic coordinates of the differential equation, it is shown that its solutions, u, may be reflected across analytic arcs on which u satisfies certain analytic boundary conditions. Moreover, a method is given whereby one can determine a region into which the solution is extensible. It is seen that this region of reflection is dependent on the original domain of difinition of the solution, the arc and the coefficients of the highest order terms of the equation and not on any sufficiently small quantities; i.e., the reflection is global in nature. The method employed may be applied to similar differential equations of order 2n.

Carleton, O.↗

A systematic method for computer design of supercritical airfoils in cascade

A computer code has been developed for the direct calculation of shockless transonic airfoils whose pressure distributions can be assigned within reasonable limits. The partial differential equations of two-dimensional inviscid gas dynamics are solved by analytic continuation into the domain of two independent complex characteristic coordinates. The domain of integration is mapped conformally onto the unit circle in the hodograph plane of one of these coordinates. It is possible to formulate a boundary value problem on this circle for the stream function that is well posed in the case of transonic flow. This enables the formulation of a procedure for the calculation of an airfoil on which the speed is prescribed as a function of the arc length

Garabedian, P.↗

CFD spinoff - Computational electromagnetics for radar cross section (RCS) studies

A finite-volume discretization procedure derived from proven CFD methods is used to solve the conservation form of the time-domain Maxwell's equations, in order to compute EM scattering from layered objects. This time-domain approach handles both single-frequency/continuous wave and broadband-frequency/pulse incident excitation. Arbitrarily shaped objects are modeled by means of a body-fitted coordinate transformation; complex internal/external structures with many material layers are treated through the implementation of a multizone framework capable of handling any type of zonal boundary condition. Results are presented for various two- and three-dimensional problems.

Shankar, Vijaya↗

An analysis of Space Shuttle countdown activities: Preliminaries to a computational model of the NASA Test Director

Before all systems are go just prior to the launch of a space shuttle, thousands of operations and tests have been performed to ensure that all shuttle and support subsystems are operational and ready for launch. These steps, which range from activating the orbiter's flight computers to removing the launch pad from the itinerary of the NASA tour buses, are carried out by launch team members at various locations and with highly specialized fields of expertise. The liability for coordinating these diverse activities rests with the NASA Test Director (NTD) at NASA-Kennedy. The behavior is being studied of the NTD with the goal of building a detailed computational model of that behavior; the results of that analysis to date are given. The NTD's performance is described in detail, as a team member who must coordinate a complex task through efficient audio communication, as well as an individual taking notes and consulting manuals. A model of the routine cognitive skill used by the NTD to follow the launch countdown procedure manual was implemented using the Soar cognitive architecture. Several examples are given of how such a model could aid in evaluating proposed computer support systems.

John, Bonnie E.↗

Markov Tracking for Agent Coordination

Partially observable Markov decision processes (POMDPs) axe an attractive representation for representing agent behavior, since they capture uncertainty in both the agent's state and its actions. However, finding an optimal policy for POMDPs in general is computationally difficult. In this paper we present Markov Tracking, a restricted problem of coordinating actions with an agent or process represented as a POMDP Because the actions coordinate with the agent rather than influence its behavior, the optimal solution to this problem can be computed locally and quickly. We also demonstrate the use of the technique on sequential POMDPs, which can be used to model a behavior that follows a linear, acyclic trajectory through a series of states. By imposing a "windowing" restriction that restricts the number of possible alternatives considered at any moment to a fixed size, a coordinating action can be calculated in constant time, making this amenable to coordination with complex agents.

Washington, Richard↗

Cooperation of German Airports in Europe: Comparison of Different Types by Means of an Interdependence-Profile-Model

The limited growth possibilities in the home markets - not the least of which, based on capacity and expansion problems - force the large airport operators to enter into, via partnerships, cooperations and alliances. The German airports already cooperate among one another in different forms. The purpose of the paper is to examine the structures and possibilities of cooperation among airports in Europe (e.g. Airport Systems, Airport Networks). The experience of German airports with different cooperations and alliances will be also considered. Finally the forms of cooperations among airports are analysed by means of interdependence-profile-models with different features (mutual dependence, coordination volume, complexity, cooperation profit, value, degree of formalization and temporal frame), in order to find out how high the cooperative attachment of cooperation is to be evaluated.

Meincke, Peter A.↗

Planetary Gravity Fields and Their Impact on a Spacecraft Trajectory

The present work touches an interdisciplinary aspect of space exploration: the improvement of spacecraft navigation by means of enhanced planetary interior model derivation. The better the bodies in our solar system are known and modelled, the more accurately (and safely) a spacecraft can be navigated. In addition, the information about the internal structure of a planet, moon or any other planetary body can be used in arguments for different theories of solar system evolution. The focus of the work lies in a new approach for modelling the gravity field of small planetary bodies: the implementation of complex ellipsoidal coordinates (figure 1, [4]) for irregularly shaped bodies that cannot be represented well by a straightforward spheroidal approach. In order to carry out the required calculations the computer programme GRASP (Gravity Field of a Planetary Body and its Influence on a Spacecraft Trajectory) has been developed [5]. The programme furthermore allows deriving the impact of the body s gravity field on a spacecraft trajectory and thus permits predictions for future space mission flybys.

Weinwurm, G.↗