Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99


Search Results: 1 - 10 of 392 matches for " Djamel Eddine Akretche "
All listed articles are free for downloading (OA Articles)
Page 1 /392
Display every page Item
Recovery of Heavy Metal Using Solvent Impregnated Resin (SIR) Coupled with Donnan Dialysis  [PDF]
Dalila Berdous, Djamel Eddine Akretche
Materials Sciences and Applications (MSA) , 2012, DOI: 10.4236/msa.2012.310103
Abstract: A membrane process for metal recovery from aqueous solutions was studied. Metal ions diffused from the feed compartment to the stripping compartment through an hybrid Donnan dialysis which consists to combine two ion exchange membranes with solvent impregnated resin (SIR). The aim of this work is to study the recovery of Pb(II), Ag(I) and Cu(II) from nitrate solutions by using SIR combined with classical Donnan dialysis. The resin has been prepared by impregnating the Amberlite XAD-4 using three different extractants namely: di-2-ethyl hexyl phosphine acide (D2EHPA), tris-octyl phosphine oxide (TOPO) and Diphenylthiourea (DPT). Experiments were performed as a function of nature of the extractant impregnated on the XAD-4 resin as well as the concentration in the resin phase, the stripping pH, the concentration ratio of metal ions in the feed compartment and the nature of the counter ions in strip compartment. The results show that the D2EHPA is the better extractant for the metal ions used in this work, and it’s shown a good selectivity for the separation between ions.
Squatter Housing in Annaba City-Algeria
Guessoum Djamel Eddine
The Social Sciences , 2013,
Abstract: Squatter housing problem being dispersed in Annaba city, situated in North-East of Algeria, is considered as the major constraint to the city spatial expansion. The disproportionality between population size and squatter houses expansion makes the situation very intricate, especiqlly on social, economic and environment aspects. After the country independence in 1962, the problem of housing was resolved by succession process by hoses left by frensh conquerors. However, by the industrialisation, housing need seems to be more and more serious. Annaba is a good example representing the housing issues in algerian cities. Among them we can introduce: Municipal land speculation, marginalisation, low standard housing, illicit constructions, etc. The abscence of well tought urban policy and inadequated urban legislations are the major causes for the no response to the housing needs in Annaba metropolitan area.
The P-version Finite Element Method Using Bezier-Bernstein Functions for Frames, Shells and Solids
Nadir Boumechra,Djamel Eddine Kerdal
Journal of Applied Sciences , 2006,
Abstract: In this study Bézier functions have used as displacement functions for frames, shells and solids. These polynomial shape functions have many mathematic and numerical advantages. The frame, shell and solid finite elements formed by Bézier functions are developed in p-version finite element method as non-discrete field. The Bézier parameterization properties treat more easily the geometrical boundary conditions or elements connection. The stiffness matrix, mass matrix, stability matrix and load vector of an isoparametric element can be related to the physical coordinates. The conditioning of the stiffness matrix for a frame element and the stiffness matrix forms of connected elements are presented. The numerical results converge to the exact solutions in a faster rate than the usual finite elements using the same number of degrees of liberty. A number of examples are given for demonstration.
TH*:Scalable Distributed Trie Hashing
Aridj Mohamed,Zegour Djamel Eddine
Computer Science , 2012,
Abstract: In today's world of computers, dealing with huge amounts of data is not unusual. The need to distribute this data in order to increase its availability and increase the performance of accessing it is more urgent than ever. For these reasons it is necessary to develop scalable distributed data structures. In this paper we propose a TH* distributed variant of the Trie Hashing data structure. First we propose Thsw new version of TH without node Nil in digital tree (trie), then this version will be adapted to multicomputer environment. The simulation results reveal that TH* is scalable in the sense that it grows gracefully, one bucket at a time, to a large number of servers, also TH* offers a good storage space utilization and high query efficiency special for ordering operations.
Distributed Maximality based CTL Model Checking
Djamel Eddine Saidouni,Zine EL Abidine Bouneb
International Journal of Computer Science Issues , 2010,
Abstract: In this paper we investigate an approach to perform a distributed CTL Model checker algorithm on a network of workstations using Kleen three value logic, the state spaces is partitioned among the network nodes, We represent the incomplete state spaces as a Maximality labeled Transition System MLTS which are able to express true concurrency. we execute in parallel the same algorithm in each node, for a certain property on an incomplete MLTS , this last compute the set of states which satisfy or which if they fail are assigned the value .The third value mean unknown whether true or false because the partial state space lacks sufficient information needed for a precise answer concerning the complete state space .To solve this problem each node exchange the information needed to conclude the result about the complete state space. The experimental version of the algorithm is currently being implemented using the functional programming language Erlang.
Higgs self coupling measurement
Djamel-Eddine Boumediene,Pascal Gay
Physics , 2008,
Abstract: A measurement of the Higgs self coupling from e+e- collisions in the International Linear Collider is presented. The impact of the detector performance in terms of $b$-tagging and particle flow is investigated.
wavelet de-noising technique applied to the PLL of a GPS receiver embedded in an observation satellite
Dib Djamel Eddine,Djebbouri Mohamed,Taleb Ahmed Abddelmalik
International Journal of Advanced Computer Sciences and Applications , 2012,
Abstract: In this paper, we study the Doppler effect on a GPS(Global Positioning System) on board of an observation satellite that receives information on a carrier wave L1 frequency 1575.42 MHz .We simulated GPS signal acquisition. This allowed us to see the behavior of this type of receiver in AWGN channel (AWGN) and we define a method to reduce the Doppler Effect in the tracking loop which is wavelet de-noising technique.
A Graphical Tool for Testing Timed Systems based on Meta-Modeling and Graph Grammars
Hiba Hachichi,Ilham Kitouni,Kenza Bouaroudj,Djamel-Eddine Saidouni
International Journal of Computer Science Issues , 2012,
Abstract: The test is one of the approaches commonly used for validating systems to ensure qualitative and quantitative implementation requirements. In this paper, we interest in formal testing using graph transformation, thus we propose an approach for translating a Durational Actions Timed Automata model (DATA*) with a high number of states into a timed refusals region graph (TRRG) for creating a canonical tester and generating test cases using graph transformation. Though, our approach allows to generate automatically a visual modeling tool for DATA*, TRRG and the canonical tester. The cost of building a visual modeling tool from scratch is prohibitive. Meta-modeling approach is useful to deal with this problem since it allows the modeling of the formalisms themselves, by means of graph grammars. The meta-modeling tool AToM3 is used.
Towards a Calculus for Distributed, Real-Time and Mobile Systems
Toufik Messaoud Maarouk,Djamel Eddine Saidouni,Mohamed Khergag
Journal of Software , 2012, DOI: 10.4304/jsw.7.3.564-574
Abstract: This paper introduces a model for modeling real-time and mobile systems, which extends the DD-LOTOS language by the mobility nature of processes. Our model allows processes to move between distributed sites or localities, i.e. mobility of processes. Two types of communication are present in our model, local communication, i.e. the exchange of information between two processes in the same location, and remote communication, i.e. the exchange of information between two different localities, the latter is ensured by message exchange. We propose a syntactic and structured operational semantics based on true-concurrency semantics, expressing parallel behaviors and supporting at the same time temporal constraints, explicit actions durations, structural and temporal non-atomicity of actions and urgency. We also propose a semantic model for automatic verication tools, this model expresses aspects of the language DD-LOTOS, and adds mobility of process.
Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems
Kenza Bouaroudj,Ilham Kitouni,Hiba Hachichi,Djamel-Eddine Saidouni
Computer Science , 2012,
Abstract: Testing is a validation activity used to check the system's correctness with respect to the specification. In this context,test based on refusals is studied in theory and tools are effectively constructed. This paper addresses,a formal testing based on stochastic refusals graphs (SRG) in order to test stochastic system represented by maximality-based labeled stochastic transition systems (MLSTS). First, we propose a framework to generate SRGs from MLSTSs. Second,we present a new technique to generate automatically a canonical tester from stochastic refusal graph and conformance relation confSRG. Finally, implementation is proposed and the application of our approach is shown by an example.
Page 1 /392
Display every page Item

Copyright © 2008-2017 Open Access Library. All rights reserved.