Designing of a new seismic base isolation system

The design of a new base isolation system is proposed in this research with the objective that the system does not transmit any force to the structure under horizontal loading. The structure must remain operational and steady. Before investigating the dynamics problem of the base isolation system, the isolator components of the model can be solved analytically using different approaches. In order to calculate the deformation of any element of the isolator due to a compressive vertical load, the analysis focuses on the primary instability region to determine all deformations parameters which can lead to frictions coefficients. This region is located at the interaction contact point between the elements. The design is based on the contact point developed by different approaches. In the present study, the mathematical analysis methods by using formulations can calculate the different dimensions and deformations of the elements of the system and which are verified using ANSYS finite element analysis.  After ensuring the adequate dimensions of the different parts of the isolator system from the analysis, the system can be applied on the structure. This technique can reduce significantly the displacements and accelerations at the underground level with a new seismic isolation system, which it is an uncoupled system between the structure and the underground

Toward Smart Moving Target Defense for Linux Container Resiliency

This paper presents ESCAPE, an informed moving target defense mechanism for cloud containers. ESCAPE models the interaction between attackers and their target containers as a "predator searching for a prey" search game. Live migration of Linux-containers (prey) is used to avoid attacks (predator) and failures. The entire process is guided by a novel host-based behavior-monitoring system that seamlessly monitors containers for indications of intrusions and attacks. To evaluate ESCAPE effectiveness, we simulated the attack avoidance process based on a mathematical model mimicking the prey-vs-predator search game. Simulation results show high container survival probabilities with minimal added overhead.Comment: Published version is available on IEEE Xplore at http://ieeexplore.ieee.org/document/779685

Designing of a new seismic base isolation system

The design of a new base isolation system is proposed in this research with the objective that the system does not transmit any force to the structure under horizontal loading. The structure must remain operational and steady. Before investigating the dynamics problem of the base isolation system, the isolator components of the model can be solved analytically using different approaches. In order to calculate the deformation of any element of the isolator due to a compressive vertical load, the analysis focuses on the primary instability region to determine all deformations parameters which can lead to frictions coefficients. This region is located at the interaction contact point between the elements. The design is based on the contact point developed by different approaches. In the present study, the mathematical analysis methods by using formulations can calculate the different dimensions and deformations of the elements of the system and which are verified using ANSYS finite element analysis.  After ensuring the adequate dimensions of the different parts of the isolator system from the analysis, the system can be applied on the structure. This technique can reduce significantly the displacements and accelerations at the underground level with a new seismic isolation system, which it is an uncoupled system between the structure and the underground

Fast method to find conflicts in optical multistage interconnection networks

One undesirable problem introduced by the Optical Multistage Interconnection network is a crosstalk that is caused by coupling two signals within a switching element. To avoid a crosstalk, many approaches have been proposed such as time domain and space domain approaches. Because the messages should be partitioned into several groups to send to the network, some methods are used to find conflicts between the messages. Window Method is used to find out which messages have conflict and should not be in the same group. In this paper, fast window method based on bitwise operations (BWM) is represented. This algorithm applies Omega network. The comparison result shows the good performance of this algorithm. This algorithm reduces the execution time approximately more than ten times compared with previous algorithms

LCF-style Platform based on Multiway Decision Graphs

AbstractThe combination of state exploration approach (mainly model checking) and deductive reasoning approach (theorem proving) promises to overcome the limitation and to enhance the capabilities of each. In this paper, we are interested in defining a platform for Multiway Decision Graphs (MDGs) in LCF-style theorem prover. We define a platform to represent the MDG operations: conjunction, disjunction, relational product and prune-by-subsumption as a set of inference rules. Based on this platform, the reachability analysis is implemented as a conversion that uses the MDG theory within the HOL theorem prover. Finally, we present some experimental results to show the performance of the MDG operations of our platform

Electrochemical behaviour of dysprosium (III) in LiF–CaF2 on Mo, Ni and Cu electrodes

The electrochemical behaviour of dysprosium(III) was investigated in the LiF–CaF2 eutectic mixture on molybdenum, nickel and copper electrodes in the 840–930 °C temperature range using cyclic voltammetry, square wave voltammetry and chronopotentiometry. On Mo electrode, the study showed that Dy(III) ions were reduced into Dy metal in a one-step diffusion-controlled process exchanging three electrons: View the MathML source The diffusion coefficients verify the Arrhenius law, allowing the activation energy to be calculated. The study of the electrochemical reduction of Dy(III) ions on reactive electrodes (Ni, Cu) first by cyclic voltammetry showed that the reduction potential of Dy(III)/Dy on reactive electrodes was observed at more positive values than those on inert electrode and then open-circuit chronopotentiometry put into evidence the formation of intermetallic compounds at more anodic potentials than pure dysprosium. Preparation of alloys layers was finally carried out by intentiostatic electrolyses at underpotential compared to the pure metal deposition; SEM observations of the layer allowed the most stable compounds prepared by this way to be identified

SMART BUILDING ENERGY MODEL USING ARTIFICIAL INTELLIGENCE

This paper presents a Smart Building Energy Model of Residential Building using Artificial Neural Network model (ANN) to assist architects and engineers in selecting the optimum alternative design of building envelope parameters such that external wall and roof insulation material types and window types that minimizes the cost of energy consumption of a residential building to transform it to a green building. Up to 1540 Simulations using different material thickness and conductivity values of material insulation properties and windows types are carried out in eQuest software for simulation.. The simulations results are implemented to create an artificial neural network inverse model (ANN) with Matlab/Simulink and the performance is investigated. The results from the artificial neural network outputs and the corresponding eQuest simulation outputs were found very close. In addition, the Mean absolute percentage error (MAPE) is equal to 0.49% , demonstrating a best correlation between outputs and target value, the results show a great solution with good accuracy to predict the energy consumption of residential building for several other building envelope optimization parameters.