Tech Xplore

RRAM-based analog computing system rapidly solves matrix equations with high precision

Analog computers are systems that perform computations by manipulating physical quantities such as electrical current, that ...
C&EN

Liquid−Liquid Equilibria of UCON + (Sodium or Potassium) Phosphate Salt Aqueous Two-Phase Systems at 23 °C

LSRE-Laboratory of Separation and Reaction Engineering, Associate Laboratory LSRE/LCM, Department of Chemical Engineering, Faculty of Engineering, University of Porto, Rua Dr Roberto Frias s/n, ...
IEEE

Reliability Analysis of a Computer-Based Interlocking System with a Double 2-out-of-2 Redundancy Structure using Algebraic Binary Decision Diagrams

Abstract: The computer-based interlocking (CBI) system of urban rail is a safe-critical system. To keep the high reliability of the CBI system of urban rail, reliability analysis is very necessary and ...