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...

we solve the coupled mode equations governing the chalcogenide nonlinear fiber bragg gratings (fbgs) numerically, and obtain the bistability characteristics. the characteristics of the chalcogenide nonlinear fbgs such as: switching threshold intensity, bistability interval, on-off switching ratio are studied. the effects of fbg length and its third order nonlinear refractive index on fbg charac...

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...

In this paper an efficient high step-up converter with a coupled- inductor with soft- switching operation is presented. The proposed topology includes a coupled-inductor boost converter for raising the voltage gain. Moreover, a simple auxiliary resonant circuit composed of an auxiliary switch, a clamping diode and a resonant tank (inductor, capacitor), is adopted in this paper. The coupled-indu...

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...