Abstract In this study, a mathematical model is proposed for CO2 separation from N2/CO2 mixtureusing a hollow fiber membrane contactor by various absorbents. The contactor assumed as non-wetted membrane; radial and axial diffusions were also considered in the model development. The governing equations of the model are solved via the finite...

In this paper the design problems encountered when designing heterogeneous systems are studied and solutions to these problems are proposed. It will be shown why a single heterogeneous specification method ranging from concept to architecture is required and why it should cover issues as modularity, design for reuse, reuse of designs and reuse of design environments. A heterogeneous system desi...

This work mainly focuses on Matlab Simulink model for electronic commutation of BLDC motor and co simulation of the model by using Xilinx System generator tool. The BLDC motors (AKM21E) are available in small size with good speed/torque characteristics. Since, the efficiency and dynamic response is high compared to brushed DC motor, they have widely used in various applications. We are using BL...

This work presents a fully three-dimensional methodology for the computational analysis of the interaction between catenary and pantographs. The finite element method is used to support the modeling of the catenary while a multibody dynamics methodology is applied to support the pantograph modeling. The contact between the two subsystems is described using a penalty contact formulation. An high...

We present a formal specification of a hemodialysis machine (HD machine) using Event-B. We model the HD machine using iUML-B state-machines and class diagrams and build a corresponding BMotion Studio visualisation. We focus on validation using (i) diagrams to aid the modelling of the sequential properties of the requirements, and (ii) ProB-based animation and visualisation tools to explore the ...

The transition from passive to active distribution systems is attractive for the integration of distributed energy resources, improved reliability, and increased efficiency. This paper shares different concerns and approaches to assess the impact of information and communication technologies (ICTs) on the reliability of active distribution systems, based on the shared experiences of CIGRE Worki...