Space Shuttle separate-surface control-system study

A control system concept is presented that produces proportional control of yaw moment for the space shuttle from early entry to Mach 2 with only software modifications of the vehicle. It uses separate deflections of the inboard and outboard elevon surfaces and is evaluated, by determining the maximum static yawing moment available by considering the deflection limits of the elevon surfaces. A proportional moment slightly in excess of that produced by the most effective reaction control system (RCS) jet for yaw control can be obtained. In addition to the static moment study, a control law is designed which is intended to produce desired flying qualities

Chow's theorem and universal holonomic quantum computation

A theorem from control theory relating the Lie algebra generated by vector fields on a manifold to the controllability of the dynamical system is shown to apply to Holonomic Quantum Computation. Conditions for deriving the holonomy algebra are presented by taking covariant derivatives of the curvature associated to a non-Abelian gauge connection. When applied to the Optical Holonomic Computer, these conditions determine that the holonomy group of the two-qubit interaction model contains $SU(2) \times SU(2)$. In particular, a universal two-qubit logic gate is attainable for this model.Comment: 13 page

Hyperk\"ahler Arnold Conjecture and its Generalizations

We generalize and refine the hyperk\"ahler Arnold conjecture, which was originally established, in the non-degenerate case, for three-dimensional time by Hohloch, Noetzel and Salamon by means of hyperk\"ahler Floer theory. In particular, we prove the conjecture in the case where the time manifold is a multidimensional torus and also establish the degenerate version of the conjecture. Our method relies on Morse theory for generating functions and a finite-dimensional reduction along the lines of the Conley-Zehnder proof of the Arnold conjecture for the torus.Comment: 13 page

Exploiting the Autofluorescent Properties of Photosynthetic Pigments for Analysis of Pigmentation and Morphology in Live Fremyella diplosiphon Cells

Fremyella diplosiphon is a freshwater, filamentous cyanobacterium that exhibits light-dependent regulation of photosynthetic pigment accumulation and cellular and filament morphologies in a well-known process known as complementary chromatic adaptation (CCA). One of the techniques used to investigate the molecular bases of distinct aspects of CCA is confocal laser scanning microscopy (CLSM). CLSM capitalizes on the autofluorescent properties of cyanobacterial phycobiliproteins and chlorophyll a. We employed CLSM to perform spectral scanning analyses of F. diplosiphon strains grown under distinct light conditions. We report optimized utilization of CLSM to elucidate the molecular basis of the photoregulation of pigment accumulation and morphological responses in F. diplosiphon

Velocity field distributions due to ideal line vortices

We evaluate numerically the velocity field distributions produced by a bounded, two-dimensional fluid model consisting of a collection of parallel ideal line vortices. We sample at many spatial points inside a rigid circular boundary. We focus on ``nearest neighbor'' contributions that result from vortices that fall (randomly) very close to the spatial points where the velocity is being sampled. We confirm that these events lead to a non-Gaussian high-velocity ``tail'' on an otherwise Gaussian distribution function for the Eulerian velocity field. We also investigate the behavior of distributions that do not have equilibrium mean-field probability distributions that are uniform inside the circle, but instead correspond to both higher and lower mean-field energies than those associated with the uniform vorticity distribution. We find substantial differences between these and the uniform case.Comment: 21 pages, 9 figures. To be published in Physical Review E (http://pre.aps.org/) in May 200

An approach to verification and validation of a reliable multicasting protocol: Extended Abstract

This paper describes the process of implementing a complex communications protocol that provides reliable delivery of data in multicast-capable, packet-switching telecommunication networks. The protocol, called the Reliable Multicasting Protocol (RMP), was developed incrementally using a combination of formal and informal techniques in an attempt to ensure the correctness of its implementation. Our development process involved three concurrent activities: (1) the initial construction and incremental enhancement of a formal state model of the protocol machine; (2) the initial coding and incremental enhancement of the implementation; and (3) model-based testing of iterative implementations of the protocol. These activities were carried out by two separate teams: a design team and a V&V team. The design team built the first version of RMP with limited functionality to handle only nominal requirements of data delivery. This initial version did not handle off-nominal cases such as network partitions or site failures. Meanwhile, the V&V team concurrently developed a formal model of the requirements using a variant of SCR-based state tables. Based on these requirements tables, the V&V team developed test cases to exercise the implementation. In a series of iterative steps, the design team added new functionality to the implementation while the V&V team kept the state model in fidelity with the implementation. This was done by generating test cases based on suspected errant or off-nominal behaviors predicted by the current model. If the execution of a test in the model and implementation agreed, then the test either found a potential problem or verified a required behavior. However, if the execution of a test was different in the model and implementation, then the differences helped identify inconsistencies between the model and implementation. In either case, the dialogue between both teams drove the co-evolution of the model and implementation. We have found that this interactive, iterative approach to development allows software designers to focus on delivery of nominal functionality while the V&V team can focus on analysis of off nominal cases. Testing serves as the vehicle for keeping the model and implementation in fidelity with each other. This paper describes (1) our experiences in developing our process model; and (2) three example problems found during the development of RMP. Although RMP has provided our research effort with a rich set of test cases, it also has practical applications within NASA. For example, RMP is being considered for use in the NASA EOSDIS project due to its significant performance benefits in applications that need to replicate large amounts of data to many network sites

An Approach to Verification and Validation of a Reliable Multicasting Protocol

This paper describes the process of implementing a complex communications protocol that provides reliable delivery of data in multicast-capable, packet-switching telecommunication networks. The protocol, called the Reliable Multicasting Protocol (RMP), was developed incrementally using a combination of formal and informal techniques in an attempt to ensure the correctness of its implementation. Our development process involved three concurrent activities: (1) the initial construction and incremental enhancement of a formal state model of the protocol machine; (2) the initial coding and incremental enhancement of the implementation; and (3) model-based testing of iterative implementations of the protocol. These activities were carried out by two separate teams: a design team and a V&V team. The design team built the first version of RMP with limited functionality to handle only nominal requirements of data delivery. In a series of iterative steps, the design team added new functionality to the implementation while the V&V team kept the state model in fidelity with the implementation. This was done by generating test cases based on suspected errant or offnominal behaviors predicted by the current model. If the execution of a test was different between the model and implementation, then the differences helped identify inconsistencies between the model and implementation. The dialogue between both teams drove the co-evolution of the model and implementation. Testing served as the vehicle for keeping the model and implementation in fidelity with each other. This paper describes (1) our experiences in developing our process model; and (2) three example problems found during the development of RMP

Validity of the zero-thermodynamic law in off-equilibrium coupled harmonic oscillators

In order to describe the thermodynamics of the glassy systems it has been recently introduced an extra parameter also called effective temperature which generalizes the fluctuation-dissipation theorem (FDT) to systems off-equilibrium and supposedly describes thermal fluctuations around the aging state. Here we investigate the applicability of a zero-th law for non-equilibrium glassy systems based on these effective temperatures by studying two coupled subsystems of harmonic oscillators with Monte Carlo dynamics. We analyze in detail two types of dynamics: 1) sequential dynamics where the coupling between the subsystems comes only from the Hamiltonian and 2) parallel dynamics where there is a further coupling between the subsystems arising from the dynamics. We show that the coupling described in the first case is not enough to make asymptotically the effective temperatures of two interacting subsystems coincide, the reason being the too small thermal conductivity between them in the aging state. This explains why different interacting degrees of freedom in structural glasses may stay at different effective temperatures without never mutually thermalizing.Comment: 23 pages, REVTeX, 4 eps figure