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