13,289 research outputs found
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 . In particular, a
universal two-qubit logic gate is attainable for this model.Comment: 13 page
Wandering the Web--Sociocultural Hobby Sites: Acquisitions and Decoration of Dollhouses and Minature Displays as a Fun Educational Tool
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
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
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
- …