A Compositional Framework for Hardware/Software Co-Design

We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derivefrom a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.     

Iterative interference cancellation for high spectral efficiencysatellite communications

The problem of efficient utilization of the frequency spectrum for satellite systems is investigated; one which results as a consequence of highly crowding adjacent channels. An analytical characterization of the resulting interference channel is introduced and then exploited for interference cancellation. Two classes of cancelers are investigated. The first approach does not benefit from the forward error control (FEC) coding information which limits the performance gain. This motivates the second approach where a joint implementation of interference cancellation and decoding is developed using soft-input-soft-output (SISO) modules along with the iterative structure. It is shown that iterative interference cancellation techniques can achieve significant gains compared with the single-user matched filter receiver     

Application of Physical Methods for Reducing Plutonium Hexafluoride

The exploding-wire method, the photochemical method of irradiation with a light flux from a high-pressure mercury lamp, a high-intensity spark discharge, and irradiation by a CO₂ laser are used to reduce plutonium hexafluoride and to separate it from uranium hexafluoride. The dependence of the reduction of plutonium hexafluoride on the wire material, the mass of the reduced product, and the amount of input energy is investigated.It is shown that the methods presented for reducing plutonium hexafluoride and separating it from uranium hexafluoride can be used under static and dynamic conditions for preparative purposes and on a large scale.     

Transmit/receive modules

This paper begins with a discussion of the microwave functions performed by transmit/receive (T/R) modules for phased-array antenna applications. The paper then addresses performance and cost aspects of semiconductor, packaging, and assembly technologies associated with T/R modules     

Noise bandwidth suppression for low noise readout circuit

A new noise reduction circuit that suppresses noise bandwidth of the output stage is proposed for the readout circuit of an infrared detector operating at a high pixel rate. Using this circuit, it is found that the rms noise voltage of the output stage is effectively reduced from 87 to 52 μV at a pixel rate of 10 pixel/μs     

Iterative receivers for space-time block-coded OFDM systems indispersive fading channels

We consider the design of iterative receivers for space-time block-coded orthogonal frequency-division multiplexing (STBC-OFDM) systems in unknown wireless dispersive fading channels, with or without outer channel coding. First, we propose a maximum-likelihood (ML) receiver for STBC-OFDM systems based on the expectation-maximization (EM) algorithm. By assuming that the fading processes remain constant over the duration of one STBC code word and by exploiting the orthogonality property of the STBC as well as the OFDM modulation, we show that the EM-based receiver has a very low computational complexity and that the initialization of the EM receiver is based on the linear minimum mean square error (MMSE) channel estimate for both the pilot and the data transmission. Since the actual fading processes may vary within one STBC code word, we also analyze the effect of a modeling mismatch on the receiver performance and show both analytically and through simulations that the performance degradation due to such a mismatch is negligible for practical Doppler frequencies. We further propose a turbo receiver based on the maximum a posteriori-EM algorithm for STBC-OFDM systems with outer channel coding. Compared with the previous noniterative receiver employing a decision-directed linear channel estimator, the iterative receivers proposed here significantly improve the receiver performance and can approach the ML performance in typical wireless channels with very fast fading, at a reasonable computational complexity well suited for real-time implementations     

Effect of random distortions on the critical field in layered superconductors

Distortions of the layers in layered superconductors result in a decrease of the critical magnetic field. The distortions have the greatest influence when the field is applied at small angles to the layers. The critical field is calculated in the limits of large and small distortions. When the size of the distortion is less than the coherence length, superconductivity is destroyed by the usual second-order transition. In the opposite limiting case the possibility of superconducting current flow is determined by the percolation properties of the system. The dependence of the resistance on the value and on the angle of the magnetic field with respect to the layers is calculated in the percolation region.