49,457 research outputs found
Low-authority control synthesis for large space structures
The control of vibrations of large space structures by distributed sensors and actuators is studied. A procedure is developed for calculating the feedback loop gains required to achieve specified amounts of damping. For moderate damping (Low Authority Control) the procedure is purely algebraic, but it can be applied iteratively when larger amounts of damping are required and is generalized for arbitrary time invariant systems
Adaptive Resonance: An Emerging Neural Theory of Cognition
Adaptive resonance is a theory of cognitive information processing which has been realized as a family of neural network models. In recent years, these models have evolved to incorporate new capabilities in the cognitive, neural, computational, and technological domains. Minimal models provide a conceptual framework, for formulating questions about the nature of cognition; an architectural framework, for mapping cognitive functions to cortical regions; a semantic framework, for precisely defining terms; and a computational framework, for testing hypotheses. These systems are here exemplified by the distributed ART (dART) model, which generalizes localist ART systems to allow arbitrarily distributed code representations, while retaining basic capabilities such as stable fast learning and scalability. Since each component is placed in the context of a unified real-time system, analysis can move from the level of neural processes, including learning laws and rules of synaptic transmission, to cognitive processes, including attention and consciousness. Local design is driven by global functional constraints, with each network synthesizing a dynamic balance of opposing tendencies. The self-contained working ART and dART models can also be transferred to technology, in areas that include remote sensing, sensor fusion, and content-addressable information retrieval from large databases.Office of Naval Research and the defense Advanced Research Projects Agency (N00014-95-1-0409, N00014-1-95-0657); National Institutes of Health (20-316-4304-5
A Refinement Calculus for Logic Programs
Existing refinement calculi provide frameworks for the stepwise development
of imperative programs from specifications. This paper presents a refinement
calculus for deriving logic programs. The calculus contains a wide-spectrum
logic programming language, including executable constructs such as sequential
conjunction, disjunction, and existential quantification, as well as
specification constructs such as general predicates, assumptions and universal
quantification. A declarative semantics is defined for this wide-spectrum
language based on executions. Executions are partial functions from states to
states, where a state is represented as a set of bindings. The semantics is
used to define the meaning of programs and specifications, including parameters
and recursion. To complete the calculus, a notion of correctness-preserving
refinement over programs in the wide-spectrum language is defined and
refinement laws for developing programs are introduced. The refinement calculus
is illustrated using example derivations and prototype tool support is
discussed.Comment: 36 pages, 3 figures. To be published in Theory and Practice of Logic
Programming (TPLP
Signal and System Design for Wireless Power Transfer : Prototype, Experiment and Validation
A new line of research on communications and signals design for Wireless
Power Transfer (WPT) has recently emerged in the communication literature.
Promising signal strategies to maximize the power transfer efficiency of WPT
rely on (energy) beamforming, waveform, modulation and transmit diversity, and
a combination thereof. To a great extent, the study of those strategies has so
far been limited to theoretical performance analysis. In this paper, we study
the real over-the-air performance of all the aforementioned signal strategies
for WPT. To that end, we have designed, prototyped and experimented an
innovative radiative WPT architecture based on Software-Defined Radio (SDR)
that can operate in open-loop and closed-loop (with channel acquisition at the
transmitter) modes. The prototype consists of three important blocks, namely
the channel estimator, the signal generator, and the energy harvester. The
experiments have been conducted in a variety of deployments, including
frequency flat and frequency selective channels, under static and mobility
conditions. Experiments highlight that a channeladaptive WPT architecture based
on joint beamforming and waveform design offers significant performance
improvements in harvested DC power over conventional
single-antenna/multiantenna continuous wave systems. The experimental results
fully validate the observations predicted from the theoretical signal designs
and confirm the crucial and beneficial role played by the energy harvester
nonlinearity.Comment: Accepted to IEEE Transactions on Wireless Communication
A unified smith predictor approach for power system damping control design using remote signals
Published versio
- …