Sequential Decoding of Convolutional Codes for Rayleigh Fading Channels

The performance of sequential decoding of long constraint length convolutional codes is evaluated for Rayleigh fading channels. Sequential decoding is not practical below a certain theoretical signal-to-noise ratio, and these theoretical limits are calculated for a number of modulation methods and code rates. As an example, with BPSK modulation, soft decisions and code rate 1/2, the theoretical signal-to-noise ratio per information bit is 5.7 dB. Above this limit the bit error rate can be made arbitrarily small by increasing the constraint length at no significant complexity cost. Furthermore, it is shown that with carefully chosen quantization steps, 8 level uniform quantization gives a negligible loss also for sequential decoding on a Rayleigh fading channel. Simulation results using 8 level quantization correspond well with the theoretical performance bounds. Also, the performance on a correlated channel with finite interleaving has been obtained. With an interleaver depth of 50×50 and a normalized doppler frequency equal to 0.01 we are only 0.5 dB away from the performance with perfect interleaving. Finally, bit error rate results show this scheme to compete well with Turbo codes.     

A new method for manufacturing nanostructured electrodes on glass substrates

The present paper describes a new method for manufacturing a nanostructured porous layer of TiO₂ on a conducting glass substrate for use in a dye-sensitized photoelectrochemical cell. The method involves deposition of a layer of semiconductor particles onto a conducting substrate and compression of the particle layer to form a mechanically stable, electrically conducting, and porous nanostructured film at room temperature. Photoelectrochemical characteristics and morphology of the resulting nanostructured films are presented. The potential use of the new manufacturing method in the future applications of nanostructured systems is discussed.     

Crystallographic electron microscopy

We present a family of techniques for the transmission electron microscope that generate surface zone-axis patterns. These patterns display the variation of the diffracted-beam intensity as a function of the angle of the incident electrons. The conditions of the experiments are those of reflection high-energy electron diffraction at near grazing incidence. The techniques are: surface convergent-beam diffraction, a surface analogue of the Tanaka method and a modified double-rocking scheme. Experimental results are presented for diffraction from surfaces of MgO and MoS₂. We anticipate that surface zone-axis patterns (surface ZAPs) will become established as an important tool for surface characterization, especially when used in conjunction with high-resolution surface imaging and surface energy loss spectroscopy; surface ZAPs may be expected to play, in surface analysis, a role analogous to that played by convergent-beam diffraction in normal transmission electron microscopy.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.