Search results for: Ould Ouali Mohand
Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 40

Search results for: Ould Ouali Mohand

40 Filler Elastomers Abrasion at Steady State: Optimal Use Conditions

Authors: Djeridi Rachid, Ould Ouali Mohand

Abstract:

The search of a mechanism for the elastomer abrasive wear study is an open issue. The practice difficulties are complex due to the complexity of deformation mechanism, to the complex mechanism of the material tearing and to the marked interactions between the tribological parameters. In this work, we present an experimental technique to study the elastomers abrasive wear. The interaction 'elastomer/indenter' implicate dependant ant temporary of different tribological parameters. Consequently, the phenomenon that governs this interaction is not easy to explain. An optimal elastomers compounding and an adequate utilization conditions of these materials that define its resistance at the abrasion is discussed. The results are confronted to theoretical models: the weight loss variation in function of blade angle or in function of cycle number is in agreement with rupture models and with the mechanism of fissures propagation during the material tearing in abrasive wear of filler elastomers. The weight loss in function of the sliding velocity shows the existence of a critical velocity that corresponds to the maximal wear. The adding of silica or black carbon influences in a different manner on wear abrasive behavior of filler elastomers.

Keywords: abrasion wear, filler elastomer, tribology, hyperelastic

Procedia PDF Downloads 277
39 Implementation and Validation of a Damage-Friction Constitutive Model for Concrete

Authors: L. Madouni, M. Ould Ouali, N. E. Hannachi

Abstract:

Two constitutive models for concrete are available in ABAQUS/Explicit, the Brittle Cracking Model and the Concrete Damaged Plasticity Model, and their suitability and limitations are well known. The aim of the present paper is to implement a damage-friction concrete constitutive model and to evaluate the performance of this model by comparing the predicted response with experimental data. The constitutive formulation of this material model is reviewed. In order to have consistent results, the parameter identification and calibration for the model have been performed. Several numerical simulations are presented in this paper, whose results allow for validating the capability of the proposed model for reproducing the typical nonlinear performances of concrete structures under different monotonic and cyclic load conditions. The results of the evaluation will be used for recommendations concerning the application and further improvements of the investigated model.

Keywords: Abaqus, concrete, constitutive model, numerical simulation

Procedia PDF Downloads 328
38 Numerical Investigation for Ductile Fracture of an Aluminium Alloy 6061 T-6: Assessment of Critical J-Integral

Authors: R. Bensaada, M. Almansba, M. Ould Ouali, R. Ferhoum, N. E. Hannachi

Abstract:

The aim of this work is to simulate the ductile fracture of SEN specimens in aluminium alloy. The assessment of fracture toughness is performed with the calculation of Jc (the critical value of J-Integral) through the resistance curves. The study is done using finite element code calculation ABAQUSTM including an elastic plastic with damage model of material’s behaviour. The procedure involves specimens of four different thicknesses and four ligament sizes for every thickness. The material of study is an aluminium alloy 6061-T6 for which the necessary parameters to complete the study are given. We found the same results for the same specimen’s thickness and for different ligament sizes when the fracture criterion is evaluated.

Keywords: j-integral, critical-j, damage, fracture toughness

Procedia PDF Downloads 332
37 Modeling of Leaks Effects on Transient Dispersed Bubbly Flow

Authors: Mohand Kessal, Rachid Boucetta, Mourad Tikobaini, Mohammed Zamoum

Abstract:

Leakage problem of two-component fluids flow is modeled for a transient one-dimensional homogeneous bubbly flow and developed by taking into account the effect of a leak located at the middle point of the pipeline. The corresponding three conservation equations are numerically resolved by an improved characteristic method. The obtained results are explained and commented in terms of physical impact on the flow parameters.

Keywords: fluid transients, pipelines leaks, method of characteristics, leakage problem

Procedia PDF Downloads 443
36 Static Study of Piezoelectric Bimorph Beams with Delamination Zone

Authors: Zemirline Adel, Ouali Mohammed, Mahieddine Ali

Abstract:

The FOSDT (First Order Shear Deformation Theory) is taking into consideration to study the static behavior of a bimorph beam, with a delamination zone between the upper and the lower layer. The effect of limit conditions and lengths of the delamination zone are presented in this paper, with a PVDF piezoelectric material application. A FEM “Finite Element Method” is used to discretize the beam. In the axial displacement, a displacement field appears in the debonded zone with inverse effect between the upper and the lower layer was observed.

Keywords: static, piezoelectricity, beam, delamination

Procedia PDF Downloads 388
35 Influence of Slenderness Ratio on the Ductility of Reinforced Concrete Portal Structures

Authors: Kahil Amar, Nekmouche Aghiles, Titouche Billal, Hamizi Mohand, Hannachi Naceur Eddine

Abstract:

The ductility is an important parameter in the nonlinear behavior of portal structures reinforced concrete. It may be explained by the ability of the structure to deform in the plastic range, or the geometric characteristics in the map may influence the overall ductility. Our study is based on the influence of geometric slenderness (Lx / Ly) on the overall ductility of these structures, a study is made on a structure has 05 floors with varying the column section of 900 cm², 1600 cm² and 1225 cm². A slight variation in global ductility is noticed as (Lx/Ly) varies; however, column sections can control satisfactorily the plastic behavior of buildings.

Keywords: ductility, nonlinear behavior, pushover analysis, geometric slenderness, structural behavior

Procedia PDF Downloads 358
34 Modeling of Silicon Window Layers for Solar Cells Based SIGE

Authors: Meriem Boukais, B. Dennai, A. Ould- Abbas

Abstract:

The efficiency of SiGe solar cells might be improved by a wide-band-gap window layer. In this work we were simulated using the one dimensional simulation program called analysis of microelectronic and photonic structures (AMPS-1D). In the modeling, the thickness of silicon window was varied from 80 to 150 nm. The rest of layer’s thicknesses were kept constant, by varying thickness of window layer the simulated device performance was demonstrate in the form of current-voltage (I-V) characteristics and quantum efficiency (QE).

Keywords: modeling, SiGe, AMPS-1D, quantum efficiency, conversion, efficiency

Procedia PDF Downloads 680
33 Simulation Of Silicon Window Layers For Solar Cells Based Sige

Authors: Boukais Meriem, B. Dennai, A. Ould-Abbas

Abstract:

The efficiency of SiGe solar cells might be improved by a wide-band-gap window layer. In this work we were simulated using the one dimensional simulation program called analysis of microelectronic and photonic structures (AMPS-1D). In the simulation, the thickness of silicon window was varied from 80 to 150 nm. The rest of layer’s thicknesses were kept constant, by varying thickness of window layer the simulated device performance was demonstrate in the form of current-voltage (I-V) characteristics and quantum efficiency (QE).

Keywords: SiGe, AMPS-1D, simulation, conversion, efficiency, quantum efficiency

Procedia PDF Downloads 751
32 Introduction of the Harmfulness of the Seismic Signal in the Assessment of the Performance of Reinforced Concrete Frame Structures

Authors: Kahil Amar, Boukais Said, Kezmane Ali, Hannachi Naceur Eddine, Hamizi Mohand

Abstract:

The principle of the seismic performance evaluation methods is to provide a measure of capability for a building or set of buildings to be damaged by an earthquake. The common objective of many of these methods is to supply classification criteria. The purpose of this study is to present a method for assessing the seismic performance of structures, based on Pushover method, we are particularly interested in reinforced concrete frame structures, which represent a significant percentage of damaged structures after a seismic event. The work is based on the characterization of seismic movement of the various earthquake zones in terms of PGA and PGD that is obtained by means of SIMQK_GR and PRISM software and the correlation between the points of performance and the scalar characterizing the earthquakes will be developed.

Keywords: seismic performance, pushover method, characterization of seismic motion, harmfulness of the seismic

Procedia PDF Downloads 351
31 A Novel Fuzzy Second-Order Sliding Mode Control of a Doubly Fed Induction Generator for Wind Energy Conversion

Authors: Elhadj Bounadja, Mohand Oulhadj Mahmoudi, Abdelkader Djahbar, Zinelaabidine Boudjema

Abstract:

In this paper we present a novel fuzzy second-order sliding mode control (FSOSMC) for wind energy conversion system based on a doubly-fed induction generator (DFIG). The proposed control strategy combines a fuzzy logic and a second-order sliding mode for the DFIG control. This strategy presents attractive features such as chattering-free, compared to the conventional first and second order sliding mode techniques. The use of this method provides very satisfactory performance for the DFIG control. The overall strategy has been validated on a 1.5-MW wind turbine driven a DFIG using the Matlab/Simulink.

Keywords: doubly fed induction generator, fuzzy second-order sliding mode controller, wind energy

Procedia PDF Downloads 509
30 Implementation of a Preventive Maintenance Plan to Improve the Availability of the “DRUM” Line at SAMHA (Brandt) Setif, Algeria

Authors: Fahem Belkacemi, Lyes Ouali

Abstract:

Maintenance strategies and assessments continue to be a major concern for companies today. The socio-economic bets of their competitiveness are closely linked to the activities and quality of maintenance. This work deals with a study of a preventive maintenance plan to improve the availability of the production line within SAMSUNG HOME APPLIANCE “SAMHA”, Setif, Algeria. First, we applied the method of analysis of failure modes, their impact, and criticality to reduce downtime and identification of the most critical elements. Finally, to improve the availability of the production line, we carried out a study of the current preventive maintenance plan in the production line workshop at the company level and according to the history sheet of machine failures. We proposed a preventive maintenance plan to improve the availability of the production line.

Keywords: preventive maintenance, DRUM line, AMDEC, availability

Procedia PDF Downloads 28
29 Performance Prediction Methodology of Slow Aging Assets

Authors: M. Ben Slimene, M.-S. Ouali

Abstract:

Asset management of urban infrastructures faces a multitude of challenges that need to be overcome to obtain a reliable measurement of performances. Predicting the performance of slowly aging systems is one of those challenges, which helps the asset manager to investigate specific failure modes and to undertake the appropriate maintenance and rehabilitation interventions to avoid catastrophic failures as well as to optimize the maintenance costs. This article presents a methodology for modeling the deterioration of slowly degrading assets based on an operating history. It consists of extracting degradation profiles by grouping together assets that exhibit similar degradation sequences using an unsupervised classification technique derived from artificial intelligence. The obtained clusters are used to build the performance prediction models. This methodology is applied to a sample of a stormwater drainage culvert dataset.

Keywords: artificial Intelligence, clustering, culvert, regression model, slow degradation

Procedia PDF Downloads 74
28 Semi Empirical Equations for Peak Shear Strength of Rectangular Reinforced Concrete Walls

Authors: Ali Kezmane, Said Boukais, Mohand Hamizi

Abstract:

This paper presents an analytical study on the behavior of reinforced concrete walls with rectangular cross section. Several experiments on such walls have been selected to be studied. Database from various experiments were collected and nominal shear wall strengths have been calculated using formulas, such as those of the ACI (American), NZS (New Zealand), Mexican (NTCC), and Wood and Barda equations. Subsequently, nominal shear wall strengths from the formulas were compared with the ultimate shear wall strengths from the database. These formulas vary substantially in functional form and do not account for all variables that affect the response of walls. There is substantial scatter in the predicted values of ultimate shear strength. Two new semi empirical equations are developed using data from tests of 57 walls for transitions walls and 27 for slender walls with the objective of improving the prediction of peak strength of walls with the most possible accurate.

Keywords: shear strength, reinforced concrete walls, rectangular walls, shear walls, models

Procedia PDF Downloads 312
27 Ultimate Strength Prediction of Shear Walls with an Aspect Ratio between One and Two

Authors: Said Boukais, Ali Kezmane, Kahil Amar, Mohand Hamizi, Hannachi Neceur Eddine

Abstract:

This paper presents an analytical study on the behavior of rectangular reinforced concrete walls with an aspect ratio between one and tow. Several experiments on such walls have been selected to be studied. Database from various experiments were collected and nominal wall strengths have been calculated using formulas, such as those of the ACI (American), NZS (New Zealand), Mexican (NTCC), and Wood equation for shear and strain compatibility analysis for flexure. Subsequently, nominal ultimate wall strengths from the formulas were compared with the ultimate wall strengths from the database. These formulas vary substantially in functional form and do not account for all variables that affect the response of walls. There is substantial scatter in the predicted values of ultimate strength. New semi empirical equation are developed using data from tests of 46 walls with the objective of improving the prediction of ultimate strength of walls with the most possible accuracy and for all failure modes.

Keywords: prediction, ultimate strength, reinforced concrete walls, walls, rectangular walls

Procedia PDF Downloads 310
26 Comparative Study between Classical P-Q Method and Modern Fuzzy Controller Method to Improve the Power Quality of an Electrical Network

Authors: A. Morsli, A. Tlemçani, N. Ould Cherchali, M. S. Boucherit

Abstract:

This article presents two methods for the compensation of harmonics generated by a nonlinear load. The first is the classic method P-Q. The second is the controller by modern method of artificial intelligence specifically fuzzy logic. Both methods are applied to an Active Power Filter shunt (APFs) based on a three-phase voltage converter at five levels NPC topology. In calculating the harmonic currents of reference, we use the algorithm P-Q and pulse generation, we use the intersective PWM. For flexibility and dynamics, we use fuzzy logic. The results give us clear that the rate of Harmonic Distortion issued by fuzzy logic is better than P-Q.

Keywords: fuzzy logic controller, P-Q method, pulse width modulation (PWM), shunt active power filter (sAPF), total harmonic distortion (THD)

Procedia PDF Downloads 515
25 The Consequences of Vibrations in Machining

Authors: Boughedaoui Rachid, Belaidi Idir, Ouali Mohamed

Abstract:

The formatting by removal of material remains an indispensable means for obtaining different forms of pieces. The objective of this work is to study the influence of parameters of the vibratory regime of the system PTM 'Piece-Tool-Machine, in the case of the machining of the thin pieces on the surface finish. As a first step, an analytical study of essential dynamic models 2D slice will be presented. The stability lobes will be thus obtained. In a second step, a characterization of PTM system will be realized. This system will be instrumented with accelerometric sensors but also a laser vibrometer so as to have the information closer to the cutting area. Dynamometers three components will be used for the analysis of cutting forces. Surface states will be measured and the condition of the cutting edge will be visualized thanks to a binocular microscope coupled to a data acquisition system. This information will allow quantifying the influence of chatter on the dimensional quality of the parts. From lobes stabilities previously determined experimental validation allow for the development a method for detecting of the phenomenon of chatter and so an approach will be proposed.

Keywords: chatter, dynamic, milling, lobe stability

Procedia PDF Downloads 336
24 Elimination of Low Order Harmonics in Multilevel Inverter Using Nature-Inspired Metaheuristic Algorithm

Authors: N. Ould Cherchali, A. Tlemçani, M. S. Boucherit, A. Morsli

Abstract:

Nature-inspired metaheuristic algorithms, particularly those founded on swarm intelligence, have attracted much attention over the past decade. Firefly algorithm has appeared in approximately seven years ago, its literature has enlarged considerably with different applications. It is inspired by the behavior of fireflies. The aim of this paper is the application of firefly algorithm for solving a nonlinear algebraic system. This resolution is needed to study the Selective Harmonic Eliminated Pulse Width Modulation strategy (SHEPWM) to eliminate the low order harmonics; results have been applied on multilevel inverters. The final results from simulations indicate the elimination of the low order harmonics as desired. Finally, experimental results are presented to confirm the simulation results and validate the efficaciousness of the proposed approach.

Keywords: firefly algorithm, metaheuristic algorithm, multilevel inverter, SHEPWM

Procedia PDF Downloads 119
23 Robust Diagnosability of PEMFC Based on Bond Graph LFT

Authors: Ould Bouamama, M. Bressel, D. Hissel, M. Hilairet

Abstract:

Fuel cell (FC) is one of the best alternatives of fossil energy. Recently, the research community of fuel cell has shown a considerable interest for diagnosis in view to ensure safety, security, and availability when faults occur in the process. The problematic for model based FC diagnosis consists in that the model is complex because of coupling of several kind of energies and the numerical values of parameters are not always known or are uncertain. The present paper deals with use of one tool: the Linear Fractional Transformation bond graph tool not only for uncertain modelling but also for monitorability (ability to detect and isolate faults) analysis and formal generation of robust fault indicators with respect to parameter uncertainties.The developed theory applied to a nonlinear FC system has proved its efficiency.

Keywords: bond graph, fuel cell, fault detection and isolation (FDI), robust diagnosis, structural analysis

Procedia PDF Downloads 335
22 Isolation and Identification of the Dominant Flora of the Intestinal Microbiota of Rattus norvegicus an Algerian Firm West

Authors: Karima Ould Yerou, B. Meddah, A. Tir Touil

Abstract:

The intestinal flora also called the intestinal microbiota, consists of different bacteria and other microorganisms which occur naturally in the gastrointestinal tract organs components. These intestinal bacteria are present in their millions and help the functioning of the body in particular allowing aid to degradation of certain molecules into absorbable substrates. They also protect against invasion of the gut by other pathogenic bacteria, that is to say which may be responsible for disease. Factors like stress, antibiotics and diet can affect the balance of intestinal flora and in case of imbalance, digestive disorders type bloating, diarrhea or vomiting may occur. Rattus norvegicus of bad weight of 100 kg, an Algerian firm West are scarified and isolation of their ileum and colon respectively two Bactrian strains Escherichia coli and Lactobacillus are then purified and identified.

Keywords: intestinal flora, Rattus norvegicus, Escherichia coli, lactobacillus, West Algerian farm

Procedia PDF Downloads 307
21 Hybrid Approach for Controlling Inductive Load Fed by a Multicellular Converter by Using the Petri Nets

Authors: I. Bentchikou, A. Tlemcani, F. Boudjema, D. Boukhetala, N. Ould Cherchali

Abstract:

In this paper, hybrid approach is proposed to regulate the voltages of the floating capacitor multicell inverter and the current in the load. This structure makes it possible to ensure the distribution of the voltage stresses on the various low-voltage semiconductor components connected in series. And as the problem and to keep a constant voltage across the capacitors. Thus, it is necessary to ensure a distribution balanced voltages at the terminals of floating capacitors thanks to Algorithm develop for this, using the Petri nets. So we consider a three-cell converter represented as a hybrid system with eight modes of operation. The operating modes of the system are governed by the control reference voltage and a reference current. Finally, we present the results of the simulation with MATLAB/SIMULINK to illustrate the performances of this approach.

Keywords: hybrid control, floating condensers, multicellular converter, petri nets

Procedia PDF Downloads 92
20 Piezoelectric Actuator for Controlling Robotics Organs

Authors: Lemoussi Somia, Ouali Mohammed, Zemirline Adel

Abstract:

In precision engineering, including precision positioning, micro-manipulation, robotic systems... a majority of these applications actuated by piezo stack used the compliant amplifier mechanism to amplifying motion and guiding it as needed utilize the flexibility of their components, in this paper, we present a novel approach introducing a symmetric structure comprising three stages, featuring rectangular flexure hinges with a compact size of 77mm×42mm×10mm. This design provides the capability for rotation, translation or a combination of both movements in both directions. The system allows for a displacement of 2107.5 μm when the input displacement of PZT is 50 μm while considering the material constraints of the aluminum alloy (7075 T6) which has a maximum admissible stress of 500 MPa However, our proposed design imposes additional constraints to ensure the stress remains below 361 MPa for optimal performance. These findings were obtained through finite element simulations conducted using ANSYS Workbench. Furthermore, our module facilitates precise control of various components within robotic systems, allowing for adjustable speeds based on specific requirements or desired outcomes.

Keywords: robotic, piezoelectric, compliant mechanism, flexure hinge

Procedia PDF Downloads 45
19 Effects of the Type of Soil on the Efficiency of a Bioremediation Dispositive by Using Bacterium Hydrocarbonoclastes

Authors: Amel Bouderhem, Aminata Ould El Hadj Khelil, Amina N. Djrarbaoui, Aroussi Aroussi

Abstract:

The present work aims to find the influence of the nature of the soil on the effectiveness of the biodegradation of hydrocarbons by a mixture of bacterial strains hydrocarbonoclastes. Processes of bioaugmentation and biostimulation trial are applied to samples of soils polluted voluntarily by the crude oil. For the evaluation of the biodegradation of hydrocarbons, the bacterial load, the pH and organic carbon total are followed in the different experimental batches. He bacterial load of the sandy soil varies among the witnesses of 45,2 .108 CFU/ml at the beginning of the experimentation to 214,07.108 CFU/ml at the end of the experiment. Of the soil silty-clay varies between 103,31 .108 CFU/ml and 614,86.108 CFU/ml . It was found a strong increase in the bacterial biomass during the processing of all samples. This increase is more important in the samples of sand bioaugmente or biomass increased from 63.16 .108 CFU/ml to 309.68 .108 CFU/ml than in soil samples silty clay- bioaugmente whose content in bacteria evolved of 73,01 .108 CFU/ml to 631.80 . 108CFU/ml

Keywords: pollution, hydrocarbons, bioremediation, bacteria hydrocarbonoclastes, ground, texture

Procedia PDF Downloads 444
18 Removal of Basic Dyes from Aqueous Solutions with a Treated Spent Bleaching Earth

Authors: M. Mana, M. S. Ouali, L. C. de Menorval

Abstract:

A spent bleaching earth from an edible oil refinery has been treated by impregnation with a normal sodium hydroxide solution followed by mild thermal treatment (100°C). The obtained material (TSBE) was washed, dried and characterized by X-ray diffraction, FTIR, SEM, BET, and thermal analysis. The clay structure was not apparently affected by the treatment and the impregnated organic matter was quantitatively removed. We have investigated the comparative sorption of safranine and methylene blue on this material, the spent bleaching earth (SBE) and the virgin bleaching earth (VBE). The kinetic results fit the pseudo second order kinetic model and the Weber & Morris, intra-particle diffusion model. The pH had no effect on the sorption efficiency. The sorption isotherms followed the Langmuir model for various sorbent concentrations with good values of determination coefficient. A linear relationship was found between the calculated maximum removal capacity and the solid/solution ratio. A comparison between the results obtained with this material and those of the literature highlighted the low cost and the good removal capacity of the treated spent bleaching earth.

Keywords: basic dyes, isotherms, sorption, spent bleaching earth

Procedia PDF Downloads 213
17 Robust Diagnosis of an Electro-Mechanical Actuators, Bond Graph LFT Approach

Authors: A. Boulanoir, B. Ould Bouamama, A. Debiane, N. Achour

Abstract:

The paper deals with robust Fault Detection and isolation with respect to parameter uncertainties based on linear fractional transformation form (LFT) Bond graph. The innovative interest of the proposed methodology is the use only one representation for systematic generation of robust analytical redundancy relations and adaptive residual thresholds for sensibility analysis. Furthermore, the parameter uncertainties are introduced graphically in the bond graph model. The methodology applied to the nonlinear industrial Electro-Mechanical Actuators (EMA) used in avionic systems, has determined first the structural monitorability analysis (which component can be monitored) with given instrumentation architecture with any need of complex calculation and secondly robust fault indicators for online supervision.

Keywords: bond graph (BG), electro mechanical actuators (EMA), fault detection and isolation (FDI), linear fractional transformation (LFT), mechatronic systems, parameter uncertainties, avionic system

Procedia PDF Downloads 322
16 Application of the Piloting Law Based on Adaptive Differentiators via Second Order Sliding Mode for a Fixed Wing Aircraft

Authors: Zaouche Mohammed, Amini Mohammed, Foughali Khaled, Hamissi Aicha, Aktouf Mohand Arezki, Boureghda Ilyes

Abstract:

In this paper, we present a piloting law based on the adaptive differentiators via high order sliding mode controller, by using an aircraft in virtual simulated environment. To deal with the design of an autopilot controller, we propose a framework based on Software in the Loop (SIL) methodology and we use MicrosoftTM Flight Simulator (FS-2004) as the environment for plane simulation. The aircraft dynamic model is nonlinear, Multi-Input Multi-Output (MIMO) and tightly coupled. The nonlinearity resides in the dynamic equations and also in the aerodynamic coefficients' variability. In our case, two (02) aircrafts are used in the flight tests, the Zlin-142 and MQ-1 Predator. For both aircrafts and in a very low altitude flight, we send the piloting control inputs to the aircraft which has stalled due to a command disconnection. Then, we present the aircraft’s dynamic behavior analysis while reestablishing the command transmission. Finally, a comparative study between the two aircraft’s dynamic behaviors is presented.

Keywords: adaptive differentiators, second order sliding modes, dynamic adaptation of the gains, microsoft flight simulator, Zlin-142, MQ-1 predator

Procedia PDF Downloads 391
15 A Formal Property Verification for Aspect-Oriented Programs in Software Development

Authors: Moustapha Bande, Hakima Ould-Slimane, Hanifa Boucheneb

Abstract:

Software development for complex systems requires efficient and automatic tools that can be used to verify the satisfiability of some critical properties such as security ones. With the emergence of Aspect-Oriented Programming (AOP), considerable work has been done in order to better modularize the separation of concerns in the software design and implementation. The goal is to prevent the cross-cutting concerns to be scattered across the multiple modules of the program and tangled with other modules. One of the key challenges in the aspect-oriented programs is to be sure that all the pieces put together at the weaving time ensure the satisfiability of the overall system requirements. Our paper focuses on this problem and proposes a formal property verification approach for a given property from the woven program. The approach is based on the control flow graph (CFG) of the woven program, and the use of a satisfiability modulo theories (SMT) solver to check whether each property (represented par one aspect) is satisfied or not once the weaving is done.

Keywords: aspect-oriented programming, control flow graph, property verification, satisfiability modulo theories

Procedia PDF Downloads 142
14 Effect of Cistanche tinctoria Methanolic Extract on the Maternal-Fetal Outcome and Oxidative Stress Biomarkers of Streptozotocin-Induced Diabetic Rats

Authors: Amina Bouzitouna, Kheireddine Ouali, Sandra Amri, Houria Rahmoun, Mourad Bensouilah

Abstract:

Aim of this study: To evaluate the effect of Cisthanche tinctoria treatment on maternal-fetal outcome and antioxidant systems of streptozotocin-induced diabetic rats. Materials and methods: Virgin female Wistar rats were injected with 50 mg/kg streptozotocin before mating. Oral administration of an methanolic extract of Cistanche tinctoria was given to non-diabetic and diabetic pregnant rats at doses of 200 mg/kg from 0 to 19th day of pregnancy. At day 20 of pregnancy the rats were killed and a maternal blood sample was collected for the determination Vitamin C (Vit C) and malonaldehyde (MDA). The gravid uterus was weighed with its contents and fetuses were analyzed. Results and conclusion: The data showed that the diabetic dams presented an increased glycemic level, resorption, placental weight, placental index, and fetal anomalies, and reduced VIT C and MDA determinations, live fetuses, maternal weight gain, gravid uterine weight, and fetal weight. It was also verified that Cisthanche tictoria treatment had no hypoglycemic effect, did not improve maternal outcomes in diabetic rats, but it contributed to maintain GSH concentration similarly to non-diabetic groups, suggesting relation with the decreased incidence of visceral anomalies.

Keywords: cistanche tinctoria, diabetes, pregnancy, reproductive outcome, anomaly, orobanchacées

Procedia PDF Downloads 420
13 Trophic Ecology of Sarotherodon Melanotheron Heudelotii and Tilapia Guineensis from the Banc D'Arguin National Park, Mauritania

Authors: Néné Gallé Kide, Mamadou Dia, Lemhaba Ould Yarba, Youssouf Kone, Fatimetou Mint Khalil, Hajar Bouksir, Ghislane Salhi, Younès Saoud

Abstract:

The diet of Sarotherodon melanotheron and Tilapia guineensis were investigated in the National Park of Banc d'Arguin (PNBA) from September 2012 to October 2013. A total of 499 individuals ranging in size between 219 and 400 mm total length of S. melanotheron (253 males and 246 females), and 280 individuals of T.guineensis (229 males and 51 females) ranged between 180 and 424mm total length. We used for studying the feeding habits of both two species the frequency of occurrence method. The coefficient of emptiness was 40.88% for S. melanotheron and 38.57% for T. guineensis. Both two species were herbivorous and very close feedings. Their diet consists of Seagrass, green, red, blue, and brown algae, diatoms, gastropods, bivalves, Crustaceans, and mud. The Seagrass and green algae were prey preference of these two species. The diet feeding showed that the composition varies slightly depending on the season and size of individuals.

Keywords: Cichlidae, trophic ecology, National park, Banc d'Arguin, Mauritania

Procedia PDF Downloads 756
12 Analysing Techniques for Fusing Multimodal Data in Predictive Scenarios Using Convolutional Neural Networks

Authors: Philipp Ruf, Massiwa Chabbi, Christoph Reich, Djaffar Ould-Abdeslam

Abstract:

In recent years, convolutional neural networks (CNN) have demonstrated high performance in image analysis, but oftentimes, there is only structured data available regarding a specific problem. By interpreting structured data as images, CNNs can effectively learn and extract valuable insights from tabular data, leading to improved predictive accuracy and uncovering hidden patterns that may not be apparent in traditional structured data analysis. In applying a single neural network for analyzing multimodal data, e.g., both structured and unstructured information, significant advantages in terms of time complexity and energy efficiency can be achieved. Converting structured data into images and merging them with existing visual material offers a promising solution for applying CNN in multimodal datasets, as they often occur in a medical context. By employing suitable preprocessing techniques, structured data is transformed into image representations, where the respective features are expressed as different formations of colors and shapes. In an additional step, these representations are fused with existing images to incorporate both types of information. This final image is finally analyzed using a CNN.

Keywords: CNN, image processing, tabular data, mixed dataset, data transformation, multimodal fusion

Procedia PDF Downloads 81
11 Study of Two MPPTs for Photovoltaic Systems Using Controllers Based in Fuzzy Logic and Sliding Mode

Authors: N. Ould cherchali, M. S. Boucherit, L. Barazane, A. Morsli

Abstract:

Photovoltaic power is widely used to supply isolated or unpopulated areas (lighting, pumping, etc.). Great advantage is that this source is inexhaustible, it offers great safety in use and it is clean. But the dynamic models used to describe a photovoltaic system are complicated and nonlinear and due to nonlinear I-V and P–V characteristics of photovoltaic generators, a maximum power point tracking technique (MPPT) is required to maximize the output power. In this paper, two online techniques of maximum power point tracking using robust controller for photovoltaic systems are proposed, the first technique use fuzzy logic controller (FLC) and the second use sliding mode controller (SMC) for photovoltaic systems. The two maximum power point tracking controllers receive the partial derivative of power as inputs, and the output is the duty cycle corresponding to maximum power. A Photovoltaic generator with Boost converter is developed using MATLAB/Simulink to verify the preferences of the proposed techniques. SMC technique provides a good tracking speed in fast changing irradiation and when the irradiation changes slowly or is constant the panel power of FLC technique presents a much smoother signal with less fluctuations.

Keywords: fuzzy logic controller, maximum power point, photovoltaic system, tracker, sliding mode controller

Procedia PDF Downloads 509