10,791 research outputs found
Selected bibliography of remote sensing
Bibliography of remote sensing techniques for analysis and assimilation of geographic dat
Canonical time-frequency, time-scale, and frequency-scale representations of time-varying channels
Mobile communication channels are often modeled as linear time-varying
filters or, equivalently, as time-frequency integral operators with finite
support in time and frequency. Such a characterization inherently assumes the
signals are narrowband and may not be appropriate for wideband signals. In this
paper time-scale characterizations are examined that are useful in wideband
time-varying channels, for which a time-scale integral operator is physically
justifiable. A review of these time-frequency and time-scale characterizations
is presented. Both the time-frequency and time-scale integral operators have a
two-dimensional discrete characterization which motivates the design of
time-frequency or time-scale rake receivers. These receivers have taps for both
time and frequency (or time and scale) shifts of the transmitted signal. A
general theory of these characterizations which generates, as specific cases,
the discrete time-frequency and time-scale models is presented here. The
interpretation of these models, namely, that they can be seen to arise from
processing assumptions on the transmit and receive waveforms is discussed. Out
of this discussion a third model arises: a frequency-scale continuous channel
model with an associated discrete frequency-scale characterization.Comment: To appear in Communications in Information and Systems - special
issue in honor of Thomas Kailath's seventieth birthda
Cross-layer system reliability assessment framework for hardware faults
System reliability estimation during early design phases facilitates informed decisions for the integration of effective protection mechanisms against different classes of hardware faults. When not all system abstraction layers (technology, circuit, microarchitecture, software) are factored in such an estimation model, the delivered reliability reports must be excessively pessimistic and thus lead to unacceptably expensive, over-designed systems. We propose a scalable, cross-layer methodology and supporting suite of tools for accurate but fast estimations of computing systems reliability. The backbone of the methodology is a component-based Bayesian model, which effectively calculates system reliability based on the masking probabilities of individual hardware and software components considering their complex interactions. Our detailed experimental evaluation for different technologies, microarchitectures, and benchmarks demonstrates that the proposed model delivers very accurate reliability estimations (FIT rates) compared to statistically significant but slow fault injection campaigns at the microarchitecture level.Peer ReviewedPostprint (author's final draft
Electronics and data acquisition demonstrator for a kinetic inductance camera
A prototype of digital frequency multiplexing electronics allowing the real
time monitoring of kinetic inductance detector (KIDs) arrays for mm-wave
astronomy has been developed. It requires only 2 coaxial cables for
instrumenting a large array. For that, an excitation comb of frequencies is
generated and fed through the detector. The direct frequency synthesis and the
data acquisition relies heavily on a large FPGA using parallelized and
pipelined processing. The prototype can instrument 128 resonators (pixels) over
a bandwidth of 125 MHz. This paper describes the technical solution chosen, the
algorithm used and the results obtained
A selected annotated bibliography for spaceborne multiprocessing study
Bibliography on application of multiprocessor systems to space mission
A model predictive control approach to the periodic implementation of the solutions of the optimal dynamic resource allocation problem
This paper proposes a model predictive control (MPC) approach to the periodic implementation of the optimal solutions of a class of resource allocation problems in which the allocation requirements and conditions repeat periodically over time. This special class of resource allocation problems includes many practical energy optimization problems such as load scheduling and generation dispatch. The convergence and robustness of the MPC algorithm is proved by invoking results from convex optimization. To illustrate the practical applications of the MPC algorithm, the energy optimization of a water pumping system is studied
- …