Search results for: Moustapha Bande
12 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 17411 Electrical Dault Detection of Photovoltaic System: A Short-Circuit Fault Case
Authors: Moustapha H. Ibrahim, Dahir Abdourahman
Abstract:
This document presents a short-circuit fault detection process in a photovoltaic (PV) system. The proposed method is developed in MATLAB/Simulink. It determines whatever the size of the installation number of the short circuit module. The proposed algorithm indicates the presence or absence of an abnormality on the power of the PV system through measures of hourly global irradiation, power output, and ambient temperature. In case a fault is detected, it displays the number of modules in a short circuit. This fault detection method has been successfully tested on two different PV installations.Keywords: PV system, short-circuit, fault detection, modelling, MATLAB-Simulink
Procedia PDF Downloads 23110 Influence of Optimization Method on Parameters Identification of Hyperelastic Models
Authors: Bale Baidi Blaise, Gilles Marckmann, Liman Kaoye, Talaka Dya, Moustapha Bachirou, Gambo Betchewe, Tibi Beda
Abstract:
This work highlights the capabilities of particles swarm optimization (PSO) method to identify parameters of hyperelastic models. The study compares this method with Genetic Algorithm (GA) method, Least Squares (LS) method, Pattern Search Algorithm (PSA) method, Beda-Chevalier (BC) method and the Levenberg-Marquardt (LM) method. Four classic hyperelastic models are used to test the different methods through parameters identification. Then, the study compares the ability of these models to reproduce experimental Treloar data in simple tension, biaxial tension and pure shear.Keywords: particle swarm optimization, identification, hyperelastic, model
Procedia PDF Downloads 1709 Application of an Artificial Neural Network to Determine the Risk of Malignant Tumors from the Images Resulting from the Asymmetry of Internal and External Thermograms of the Mammary Glands
Authors: Amdy Moustapha Drame, Ilya V. Germashev, E. A. Markushevskaya
Abstract:
Among the main problems of medicine is breast cancer, from which a significant number of women around the world are constantly dying. Therefore, the detection of malignant breast tumors is an urgent task. For many years, various technologies for detecting these tumors have been used, in particular, in thermal imaging in order to determine different levels of breast cancer development. These periodic screening methods are a diagnostic tool for women and may have become an alternative to older methods such as mammography. This article proposes a model for the identification of malignant neoplasms of the mammary glands by the asymmetry of internal and external thermal imaging fields.Keywords: asymmetry, breast cancer, tumors, deep learning, thermogram, convolutional transformation, classification
Procedia PDF Downloads 598 Ground Water Monitoring Using High-Resolution Fiber Optics Cable Sensors (FOCS)
Authors: Sayed Isahaq Hossain, K. T. Chang, Moustapha Ndour
Abstract:
Inference of the phreatic line through earth dams is of paramount importance because it could be directly associated with piping phenomena which may lead to the dam failure. Normally in the field, the instrumentations such as ‘diver’ and ‘standpipe’ are to be used to identify the seepage conditions which only provide point data with a fair amount of interpolation or assumption. Here in this paper, we employed high-resolution fiber optic cable sensors (FOCS) based on Raman Scattering in order to obtain a very accurate phreatic line and seepage profile. Unlike the above-mention devices which pinpoint the water level location, this kind of Distributed Fiber Optics Sensing gives us more reliable information due to its inherent characteristics of continuous measurement.Keywords: standpipe, diver, FOCS, monitoring, Raman scattering
Procedia PDF Downloads 3557 Innovation and Performance of Very Small Agri-Food Enterprises in Cameroon
Authors: Ahmed Moustapha Mfokeu
Abstract:
Agri-food VSEs in Cameroon are facing a succession of crises, lack of security, particularly in the Far North, South West, and North West regions, the consequences of the Covid 19 crisis, and the war in Ukraine . These multiple crises have benefited the reception of the prices of the raw materials. Moreover, the exacerbation of competitive pressures is driven by the technological acceleration of productive systems in emerging countries which increase the demands imposed on the markets. The Cameroonian VSE must therefore be able to meet the new challenges of international competition, especially through innovation. The objective of this research is to contribute to the knowledge of the effects of innovation on the performance of very small agribusinesses in Cameroon. On the methodological level, the data were provided from a sample of 153 companies in the cities of Douala and Yaoundé. This research uses structural equation models with latent variables. The main results show that there is a positive and significant link between innovation and the performance of very small agri-food companies, so if it is important for entrepreneurs to encourage and practice innovation, it is also necessary to make them understand and make them like this aspect in their strategic function.Keywords: innovation, performance, very small enterprise, agrifood
Procedia PDF Downloads 1106 Dynamic Interaction between Renwable Energy Consumption and Sustainable Development: Evidence from Ecowas Region
Authors: Maman Ali M. Moustapha, Qian Yu, Benjamin Adjei Danquah
Abstract:
This paper investigates the dynamic interaction between renewable energy consumption (REC) and economic growth using dataset from the Economic Community of West African States (ECOWAS) from 2002 to 2016. For this study the Autoregressive Distributed Lag- Bounds test approach (ARDL) was used to examine the long run relationship between real gross domestic product and REC, while VECM based on Granger causality has been used to examine the direction of Granger causality. Our empirical findings indicate that REC has significant and positive impact on real gross domestic product. In addition, we found that REC and the percentage of access to electricity had unidirectional Granger causality to economic growth while carbon dioxide emission has bidirectional Granger causality to economic growth. Our findings indicate also that 1 per cent increase in the REC leads to an increase in Real GDP by 0.009 in long run. Thus, REC can be a means to ensure sustainable economic growth in the ECOWAS sub-region. However, it is necessary to increase further support and investments on renewable energy production in order to speed up sustainable economic development throughout the regionKeywords: Economic Growth, Renewable Energy, Sustainable Development, Sustainable Energy
Procedia PDF Downloads 2085 Management of Urban Wastewater in the City of Maradi (Niger): The Case of Domestic Wastewater
Authors: Saidou Hassidou, Laminou Ary Mahaman Moustapha
Abstract:
Uncontrolled urbanization of African cities, plus the lack of municipal waste management services in these cities, generate landscapes become places of multiple and varied interactions between health and environment. In this sense, under strong urban growth in a context of sub-equipment sanitation, the city of Maradi doesn’t escape to this situation which results in the spread of pollution (release of unpleasant odors, proliferation of mosquitoes) and many diseases posing multiple health problems. Our study focuses only on liquid waste especially domestic wastewater. To study the different domestic wastewater management options in the town of Maradi, a survey was conducted among 340 households in 17 districts. We note in most cases a crucial of waste management infrastructure (drainage and wastewater treatment) at the city. Thus, only the individual sanitation facilities are used. In the town of Maradi, in addition to the storm drains, there are, in old districts, ditches that discharge wastewater and unfortunately end up in rivers without treatment. Domestic wastewater total production is estimated at 86,761.28 m3 per day. This water is mostly from laundry activities, bathing, dishes, and is discharged in large part through the streets, by more than 60% of households. Also, pit emptying is performed at 39.11% by the vehicle Peugeot tank. The quality of service rendered by an actor is very important to encourage households to join. Existing autonomous sanitation facilities are poorly designed and poorly maintained. Fecal sludge is dumped in a hole near saturated latrines; this work is mainly done by manual scavengers or dumped in fields or on nearby vacant land concessions.Keywords: management, urban wastewater, domestic wastewater, Maradi, Niger
Procedia PDF Downloads 2674 Biodistribution of Fluorescence-Labelled Epidermal Growth Factor Protein from Slow Release Nanozolid Depots in Mouse
Authors: Stefan Gruden, Charlott Brunmark, Bo Holmqvist, Erwin D. Brenndorfer, Martin Johansson, Jian Liu, Ying Zhao, Niklas Axen, Moustapha Hassan
Abstract:
Aim: The study was designed to evaluate the ability of the calcium sulfate-based NanoZolid® drug delivery technology to locally release the epidermal growth factor (EGF) protein while maintaining its biological activity. Methods: NanoZolid-formulated EGF protein labelled with a near-infrared dye (EGF-NIR) depots or EGF-NIR dissolved in PBS were injected subcutaneously into mice bearing EGF receptor (EGFR) positive human A549 lung cancer tumors inoculated subcutaneously. The release and biodistribution of the EGF-NIR were investigated in vivo longitudinally up to 96 hours post-administration, utilizing whole-body fluorescence imaging. In order to confirm the in vivo findings, histological analysis of tumor cryosections was performed to investigate EGF-NIR fluorescent signal and EGFR expression level by immunofluorescence labelling. Results: The in vivo fluorescence imaging showed a controlled release profile of the EGF-NIR loaded in the NanoZolid depots compared to free EGF-NIR. Histological analysis of the tumors further demonstrated a prevailing distribution of EGF-NIR in regions with high levels of EGFR expression. Conclusion: Calcium sulfate based depots can be used to formulate EGF while maintaining its biological activity, e.g., receptor binding capability. This may have good clinical potential for local delivery of biomolecules to enhance treatment efficacy and minimize systemic adverse effects.Keywords: bioresorbable, calcium sulfate, controlled release, NanoZolid
Procedia PDF Downloads 1633 Psychopathic Disorders and Judges Sentencing: Can Neurosciences Change this Aggravating Factor in a Mitigating Factor?
Authors: Kevin Moustapha
Abstract:
Psychopathy is perceived today as being «the most important concept in the criminal justice system» and as «the most important legal notion of the early 21 th century». The explosion of research related to psychopathy seems to perfectly illustrate this trend. Traditionally, many studies tend to focus on links between insanity defense and psychopathy. That is why our purpose in this article is to analyze psychopathic disorders in the scope of judges sentencing in Canada. Indeed, in every Canadian case related to dangerous offenders, judges must balance between fairness and protection of the individuals rights of the accused and protection of society from dangerous predators who may commit future acts of physical or sexual violence. Increasingly, psychopathic disorders are taking an important part in judge sentencing, especially in Canada. This phenomenon can be illustrated by the high proportion of psychopath offenders incarcerated in North American prisons. Many decisions in Canadians courtrooms seem to point out that psychopathy is often used as a strong argument by the judges to preserve public safety. The fact that psychopathy is often associated with violence, recklessness and recidivism, it could explain why many judges consider psychopathic disorders as an aggravating factor. Generally, the judge reasoning is based on article 753 of Canadian Criminal Code related to dangerous offenders, which is used for individuals who show a pattern of repetitive and persistent aggressive behaviour. However, with cognitive neurosciences, the psychopath’s situation in courtrooms would probably change. Cerebral imaging and news data provided by the neurosciences show that emotional and volitional functions in psychopath’s brains are impaired. Understanding these new issues could enable some judges to recognize psychopathic disorders as a mitigating factor. Two important questions ought to be raised in this article: can exploring psychopaths ‘brains really change the judge sentencing in Canadian courtrooms? If yes, can judges consider psychopathy more as a mitigating factor than an aggravating factor?Keywords: criminal law, judges sentencing, neurosciences, psychopathy
Procedia PDF Downloads 9252 Biodegradable Polymeric Vesicles Containing Magnetic Nanoparticles, Quantum Dots and Anticancer Drugs for Drug Delivery and Imaging
Authors: Fei Ye, Åsa Barrefelt, Manuchehr Abedi-Valugerdi, Khalid M. Abu-Salah, Salman A. Alrokayan, Mamoun Muhammed, Moustapha Hassan
Abstract:
With appropriate encapsulation in functional nanoparticles drugs are more stable in physiological environment and the kinetics of the drug can be more carefully controlled and monitored. Furthermore, targeted drug delivery can be developed to improve chemotherapy in cancer treatment, not only by enhancing intracellular uptake by target cells but also by reducing the adverse effects in non-target organs. Inorganic imaging agents, delivered together with anti-cancer drugs, enhance the local imaging contrast and provide precise diagnosis as well as evaluation of therapy efficacy. We have developed biodegradable polymeric vesicles as a nanocarrier system for multimodal bio-imaging and anticancer drug delivery. The poly (lactic-co-glycolic acid) PLGA) vesicles were fabricated by encapsulating inorganic imaging agents of superparamagnetic iron oxide nanoparticles (SPION), manganese-doped zinc sulfide (MN:ZnS) quantum dots (QDs) and the anticancer drug busulfan into PLGA nanoparticles via an emulsion-evaporation method. T2-weighted magnetic resonance imaging (MRI) of PLGA-SPION-Mn:ZnS phantoms exhibited enhanced negative contrast with r2 relaxivity of approximately 523 s-1 mM-1 Fe. Murine macrophage (J774A) cellular uptake of PLGA vesicles started fluorescence imaging at 2 h and reached maximum intensity at 24 h incubation. The drug delivery ability PLGA vesicles was demonstrated in vitro by release of busulfan. PLGA vesicles degradation was studied in vitro, showing that approximately 32% was degraded into lactic and glycolic acid over a period of 5 weeks. The biodistribution of PLGA vesicles was investigated in vivo by MRI in a rat model. Change of contrast in the liver could be visualized by MRI after 7 min and maximal signal loss detected after 4 h post-injection of PLGA vesicles. Histological studies showed that the presence of PLGA vesicles in organs was shifted from the lungs to the liver and spleen over time.Keywords: biodegradable polymers, multifunctional nanoparticles, quantum dots, anticancer drugs
Procedia PDF Downloads 4721 Occupational Exposure and Contamination to Antineoplastic Drugs of Healthcare Professionals in Mauritania
Authors: Antoine Villa, Moustapha Mohamedou, Florence Pilliere, Catherine Verdun-Esquer, Mathieu Molimard, Mohamed Sidatt Cheikh El Moustaph, Mireille Canal-Raffin
Abstract:
Context: In Mauritania, the activity of the National Center of Oncology (NCO) has steadily risen leading to an increase in the handling of antineoplastic drugs (AD) by healthcare professionals. In this context, the AD contamination of those professionals is a major concern for occupational physicians. It has been evaluated using biological monitoring of occupational exposure (BMOE). Methods: The intervention took place in 2015, in 2 care units, and evaluated nurses preparing and/or infusing AD and agents in charge of hygiene. Participants provided a single urine sample, at the end of the week, at the end of their shift. Five molecules were sought using specific high sensitivity methods (UHPLC-MS/MS) with very low limits of quantification (LOQ) (cyclophosphamide (CP), Ifosfamide (IF), methotrexate (MTX): 2.5ng/L; doxorubicin (Doxo): 10ng/L; α-fluoro-β-alanine (FBAL, 5-FU metabolite): 20ng/L). A healthcare worker was considered as 'contaminated' when an AD was detected at a urine concentration equal to or greater than the LOQ of the analytical method or at trace concentration. Results: Twelve persons participated (6 nurses, 6 agents in charge of hygiene). Twelve urine samples were collected and analyzed. The percentage of contamination was 66.6% for all participants (n=8/12), 100% for nurses (6/6) and 33% for agents in charge of hygiene (2/6). In 62.5% (n=5/8) of the contaminated workers, two to four of the AD were detected in the urine. CP was found in the urine of all contaminated workers. FBAL was found in four, MTX in three and Doxo in one. Only IF was not detected. Urinary concentrations (all drugs combined) ranged from 3 to 844 ng/L for nurses and from 3 to 44 ng/L for agents in charge of hygiene. The median urinary concentrations were 87 ng/L, 15.1 ng/L and 4.4 ng/L for FBAL, CP and MTX, respectively. The Doxo urinary concentration was found 218ng/L. Discussion: There is no current biological exposure index for the interpretation of AD contamination. The contamination of these healthcare professionals is therefore established by the detection of one or more AD in urine. These urinary contaminations are higher than the LOQ of the analytical methods, which must be as low as possible. Given the danger of AD, the implementation of corrective measures is essential for the staff. Biological monitoring of occupational exposure is the most reliable process to identify groups at risk, tracing insufficiently controlled exposures and as an alarm signal. These results show the necessity to educate professionals about the risks of handling AD and/or to care for treated patients.Keywords: antineoplastic drugs, Mauritania, biological monitoring of occupational exposure, contamination
Procedia PDF Downloads 316