Evaluating the reliability of NAND multiplexing with PRISM

Probabilistic-model checking is a formal verification technique for analyzing the reliability and performance of systems exhibiting stochastic behavior. In this paper, we demonstrate the applicability of this approach and, in particular, the probabilistic-model-checking tool PRISM to the evaluation of reliability and redundancy of defect-tolerant systems in the field of computer-aided design. We illustrate the technique with an example due to von Neumann, namely NAND multiplexing. We show how, having constructed a model of a defect-tolerant system incorporating probabilistic assumptions about its defects, it is straightforward to compute a range of reliability measures and investigate how they are affected by slight variations in the behavior of the system. This allows a designer to evaluate, for example, the tradeoff between redundancy and reliability in the design. We also highlight errors in analytically computed reliability bounds, recently published for the same case study

Evaluating the reliability of NAND multiplexing with PRISM

Probabilistic-model checking is a formal verification technique for analyzing the reliability and performance of systems exhibiting stochastic behavior. In this paper, we demonstrate the applicability of this approach and, in particular, the probabilistic-model-checking tool PRISM to the evaluation of reliability and redundancy of defect-tolerant systems in the field of computer-aided design. We illustrate the technique with an example due to von Neumann, namely NAND multiplexing. We show how, having constructed a model of a defect-tolerant system incorporating probabilistic assumptions about its defects, it is straightforward to compute a range of reliability measures and investigate how they are affected by slight variations in the behavior of the system. This allows a designer to evaluate, for example, the tradeoff between redundancy and reliability in the design. We also highlight errors in analytically computed reliability bounds, recently published for the same case study

First Demonstration of a Pixelated Charge Readout for Single-Phase Liquid Argon Time Projection Chambers

Liquid Argon Time Projection Chambers (LArTPCs) have been selected for the future long-baseline Deep Underground Neutrino Experiment (DUNE). To allow LArTPCs to operate in the high-multiplicity near detector environment of DUNE, a new charge readout technology is required. Traditional charge readout technologies introduce intrinsic ambiguities, combined with a slow detector response, these ambiguities have limited the performance of LArTPCs, until now. Here, we present a novel pixelated charge readout that enables the full 3D tracking capabilities of LArTPCs. We characterise the signal to noise ratio of charge readout chain, to be about 14, and demonstrate track reconstruction on 3D space points produced by the pixel readout. This pixelated charge readout makes LArTPCs a viable option for the DUNE near detector complex.Comment: 13 pages, 9 figure

CMOS transceiver with baud rate clock recovery for optical interconnects

An efficient baud rate clock and data recovery architecture is applied to a double sampling/integrating front-end receiver for optical interconnects. Receiver performance is analyzed and projected for future technologies. This front-end allows use of a 1:5 demux architecture to achieve 5Gb/s in a 0.25 μm CMOS process. A 5:1 multiplexing transmitter is used to drive VCSELs for optical transmission. The transceiver chip consumes 145mW per link at 5Gb/s with a 2.5V supply

Peak to average power ratio reduction in NC–OFDM systems

Non contiguous orthogonal frequency division multiplexing (NC-OFDM) is an efficient and adaptable multicarrier modulation scheme to be used in cognitive radio communications. However like OFDM, NC-OFDM also suffers from the main drawback of high peak to average power ratio (PAPR). In this paper PAPR has been reduced by employing three different trigonometric transforms. Discrete cosine transform (DCT), discrete sine transform (DST) and fractional fourier transform (FRFT) has been combined with conventional selected level mapping (SLM) technique to reduce the PAPR of both OFDM and NC-OFDM based systems. The method combines all the transforms with SLM in different ways. Transforms DCT, DST and FRFT have been applied before the SLM block or inside the SLM block before IFFT. Simulation results show the comparative analysis of all the transforms using SLM in case of both OFDM and NC-OFDM based systems

Development of a dc-ac power conditioner for wind generator by using neural network

This project present of development single phase DC-AC converter for wind generator application. The mathematical model of the wind generator and Artificial Neural Network control for DC-AC converter is derived. The controller is designed to stabilize the output voltage of DC-AC converter. To verify the effectiveness of the proposal controller, both simulation and experimental are developed. The simulation and experimental result show that the amplitude of output voltage of the DC-AC converter can be controlled

Two novel nonlinear companding schemes with iterative receiver to reduce PAPR in multi-carrier modulation systems

Companding transform is an efficient and simple method to reduce the Peak-to-Average Power Ratio (PAPR) for Multi-Carrier Modulation (MCM) systems. But if the MCM signal is only simply operated by inverse companding transform at the receiver, the resultant spectrum may exhibit severe in-band and out-of-band radiation of the distortion components, and considerable peak regrowth by excessive channel noises etc. In order to prevent these problems from occurring, in this paper, two novel nonlinear companding schemes with a iterative receiver are proposed to reduce the PAPR. By transforming the amplitude or power of the original MCM signals into uniform distributed signals, the novel schemes can effectively reduce PAPR for different modulation formats and sub-carrier sizes. Despite moderate complexity increasing at the receiver, but it is especially suitable to be combined with iterative channel estimation. Computer simulation results show that the proposed schemes can offer good system performances without any bandwidth expansion