Efficiency of Orthogonal Frequency-Division Multiplexing (OFDM) system is improved by reducing the power consumed by its transmitter and also by improving the spectral efficiency. Power usage is reduced by reducing the PAPR of OFDM system and spectral efficiency is improved by Adaptive modulation and coding schemes (AMC). In OFDM system, transmission signals can have high peak values in the tim...

Recent subcritical VENUS-F experiments showed that fission chambers with a threshold deposit like U-238 can essentially improve the on-line sub-criticality measurments beam interruption method, which is currently supposed to be main method for ADS MYRRHA. To suppress uncertainty caused by fissions in U-235 impurities, fraction of U should accurately known. Three PHOTONIS CFUL01 type were purcha...

Our system allows the formal verification of digital circuits using specifications expressed in English. Verification is carried out by the SMV model checker program [McM92]. SMV requires specifications to be written in the temporal logic CTL (computation tree logic). SMV’s model checking algorithm carries out inference over CTL formulas, with respect to a formal representation of a circuit. Th...