Incorporating thermal energy storage (TES) into a concentrating solar power (CSP) system extends the power production hours, eliminating intermittency and reducing the Levelized Cost of the Energy (LCOE). The designed TES system was integrated with a 3 kW free-piston Stirling convertor. A NaF–NaCl eutectic salt was chosen as the phase change material (PCM) with a melting temperature of 680 ◦C. ...

In this study, a multiscale monitoring method for nonlinear processes was developed. We introduced machine learning tool fault detection and isolation based on the kernel principal component analysis (PCA) discrete wavelet transform. The principle of our proposal involved decomposing multivariate data into coefficients by employing Then, PCA applied every matrix to detect defects. Only those sc...

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

Background/Objectives: The main objective was to design a CMOS Operational Transconductance Amplifier (OTA) for biomedical applications and high speed transmission with an operating voltage 0.4 V. Methods/Statistical Analysis: In this paper we have proposed an OTA using bulk driven technique. The transistors are working in weak-inversion. The design was simulated using conventional transistors....

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