We present a scheme for robust multi-precision arithmetic over the positive integers, protected by a novel family of non-linear arithmetic residue codes. These codes have a very high probability of detecting arbitrary errors of any weight. Our scheme lends itself well for straightforward implementation of standard modular multiplication techniques, i.e. Montgomery or Barrett Multiplication, sec...

The injection and beam dumping systems of the LHC will need to be upgraded to comply with the requirements of operation with the HL-LHC beams. The elements of the injection system concerned are the fixed and movable absorbers which protect the LHC in case of an injection kicker error and the injection kickers themselves. The beam dumping system elements under study are the absorbers which prote...

This paper describes and compares three physical fault injection techniques—heavy-ion radiation, pin-level injection, and electromagnetic interference—and their use in the validation of MARS, a fault-tolerant distributed real-time system. The main features of the injection techniques are first summarised and analysed, and then the MARS error detection mechanisms are described. The distributed t...

⎯ In this paper, we present a comprehensive experimental assessment of fault coverage for a fault-tolerant VLIW processor, which consists of the error detection, error rollback recovery and reconfiguration mechanisms. We implement the proposed design of fault-tolerant VLIW in VHDL and employ the fault injection to investigate the effects of fault duration, workload variation and the number of r...

This paper describes a technique for digital error correction in pipelined analog-digital converters. It makes use of a slow, high resolution ADC in conjunction with an LMS algorithm to perform error correction in the background during normal conversion. The algorithm will be shown to correct for errors due to capacitor ratio mismatch, finite amplifier gain and charge injection within the same ...

Observer design for linear systems with aperiodic sampled-data measurements is addressed. To solve this problem, a novel hybrid observer designed. The main peculiarity of the proposed consists use two output injection terms, one acting at sampling instants and providing an intersample injection. error dynamics are augmented timer variable triggering arrival new measurement analyzed via system t...

Tedious calculations and simulations are needed to obtain an efficient production scenario and/orproper field development strategy. Capacitance-resistance model (CRM) is proved to be a fastreservoir simulation tool using just the field-available data of production and injection rates. Thisapproach sets a time-constant and a weighting factor (or well-pair connectivity parameter...