Workshop International sur les Math ematiques et Applications WIMA'17 21 Octobre 2017 Mohammedia, Maroc - FSTM

 
CONTINUER À LIRE
Workshop International sur les
Mathématiques et Applications WIMA’17

             21 Octobre 2017
        Mohammedia, Maroc

         K. A LLALI , M. K ABIL , N. M OUSSAID AND A. TAIK
         C O - CHAIRS OF THE ORGANIZING COMMITTEE
1

                                         P R ÉFACE
    Le Workshop International sur les Mathématiques et Applications (WIMA’17), ouvert à tous
les chercheurs en mathématiques appliquées, privilégie la participation des jeunes chercheurs
et doctorants marocains, en leur offrant l’opportunité de présenter leurs premiers travaux. Le
congrès oeuvre pour l’insertion des jeunes chercheurs marocains au meilleur niveau dans, la
communauté scientifique internationale.

Cette rencontre permettra une mise au point de la recherche scientifique développée au
sein du LMA d’une part et un repositionnement concernant la recherche actuelle et future dans le
domaine de la modélisation, de l’optimisation et la simulation des systèmes en concertation avec
les partenaires du laboratoire d’autre part.

WIMA’17, est un trait d’union entre les chercheurs, une plate forme de développement de
leur coopération au service scientifique de la région. Il privilégie les thématiques dont les
domaines d’application concernent :

X Les sciences de l’ingénieur.
X la biomathématique
X Le transport et logistique
X L’environnement.
    Le comité d’organisation adresse ses remerciements à toutes les institutions qui ont
soutenu cette manifestation. Nos chaleureux remerciements à l’Université Hassan II de ca-
sablanca, la Faculté des Sciences et Techniques de Mohammedia, le Centre National de
la Recherche Scientifique et Technologie (CNRST), Koutoubia, Commune de Mohammedia
la Société Marocaine de Mathématiques Appliquées (SM2 A), pour leur soutien moral et financier.

Ces remerciements s’adressent également à toutes les personnes qui n’ont ménagé aucun
effort pour le succès de ces journées (N. Hachad, EST, Essaouira et E. EL Guarmah, ERA,
Marrakech).
2

   Comité d’organisation

X A. Abbassi (Université Hassan II de Casablanca,FSTM, Mohammedia)

X K. Allali (Université Hassan II de Casablanca,FSTM, Mohammedia)

X S. Amine (Université Hassan II de Casablanca,FSTM, Mohammedia)

X A. Belmaati (Université Hassan II de Casablanca,FSTM, Mohammedia)

X S. Chaira (Université Hassan II de Casablanca,FSTM, Mohammedia)

X M. Kabil (Université Hassan II de Casablanca,FSTM, Mohammedia)

X D. Karim (Université Hassan II de Casablanca,FSTM, Mohammedia)

X D. Moumida (Université Hassan II de Casablanca,FSTM, Mohammedia)

X N. Moussaid (Université Hassan II de Casablanca,FSTM, Mohammedia)

X F. Mrabet (Université Hassan II de Casablanca,FSTM, Mohammedia)

X D. Nour Elabidine (Univ Hassan II de Casablanca,FSTM, Mohammedia)

X A. Taik (Université Hassan II de Casablanca,FSTM, Mohammedia)
3

   Le comité d’organisation tient à remercier, pour le soutien financier les organismes suivants :

X Université Hassan II de Casablanca.

X Faculté des Sciences et Techniques de Mohammedia.

X Centre National pour la Recherche Scientifique et Technologie (CNRST).

X Koutoubia.

X Commune de Mohammedia.
Table des matières

 Conférences plénières . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                   1
 Existence globale pour des systèmes de réaction-diffusion avec contrôle de la masse :
        old and new
        El-Haj LAAMRI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .           . . . . .       3
 Optimisation de forme paramétrique multiniveau
        Badr ABOU ELMAJD . . . . . . . . . . . . . . . . . . . . . . . . . . .              . . . . .       4
 Modélisation et analyse mathématique de la dynamique des dunes de sable
        Fahd KARAMI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .           . . . . .       6
 Quelques problèmes sur les matrices, les graphes et les tournois
        Abderrahim BOUSSAIRI . . . . . . . . . . . . . . . . . . . . . . . . . .            . . . . .       7
 Sur les Codes correcteurs cycliques et Les codes BCH
        Mohamed CHARKANI . . . . . . . . . . . . . . . . . . . . . . . . . . .              . . . . .       8
 Sessions invitées . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                   9
 Session 1 : Systèmes dynamiques pour l’économie et la finance
       Abdelilah Kaddar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .              11
 Communications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
 Convergence of the supercell method, D. Gontier, S. Lahbabi . . . . . . . . . . . . . . . . .             17
 A Totaly explicit scheme for fractional viscoelastic wave in space time domaine M. Ait Ichou,
       H. El Amri, A. Ezziani . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .              17
 Computational fluid dynamics (CFD) of UV disinfection reactor S. Kassabi, K. Digua, H. Chaair             18
 Global Analysis of an Epidemiological Model using the Theory of Cooperative Systems K. Kabli,
       K. Niri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .             19
 Asymptotic preserving scheme based on micro-macro formulation for kinetic equations to cross-
       diffusion M. Zagour, F. Karami and D. Meskine . . . . . . . . . . . . . . . . . . . .               19
 Analyse linéaire de stabilité de front de réaction en utilisant une méthode sans maillage H. Rouah,
       A. Taik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .             20
 Evaluation Numérique et validation analytique du Facteur d’Intensité de Contraintes par la
       méthode EF et XFEM d’une Eprouvette de Tension compacte (CT) en Acier P265 GH
       H. Salmi, A. Hachim, K. El Had . . . . . . . . . . . . . . . . . . . . . . . . . . . .              21
 Super-Resolution Algorithm for Breast Microcalcifications Detection R. Fadil, B.Abou El Majd,
       H.El Ghazi, N.Kaabouch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                22
 A nonlocal anisotropic and isotropic TV model for image reconstruction O. Oubbih, D. Meskine
       , F. Karami . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .             23
 Non local model with L1 fidelity term for image restoration K. Sadik, D. Meskine , F. Karami .            24
 An Efficient Algorithm for Reconstruction of Images Corrupted by Some Multiplicative Noises
       L. Ziad, D. Meskine , F. Karami . . . . . . . . . . . . . . . . . . . . . . . . . . . .             24
 Smoothing, Segmentation and Edge detection by Nonlinear Diffusion Model O. Gouasnouane,
       S. Boujena, E. El Guarmah , J. Pousin . . . . . . . . . . . . . . . . . . . . . . . . .             24
 Modélisation et Prévision via les Séries Chronologiques J. Benrhmach, A. Namir, J.Bouyaghroumni        25

                                                    i
TABLE DES MATIÈRES                                                                                    ii

  Global Stability of SEIR Model with Lyapunov Function Method within complex Network
        D. Bentaleb, S. Amine . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .        26
  Measuring countries stability using mathematical formula and statistical data Ayoub Oubibi,
        Ghizlane Hazama, Ahmed Abdelilah Bachrb and Taoufik Fechtali . . . . . . . . . . . .           27
  Study of a nonlinear elliptic problem Abdellah. ABNOUNE,E. AZROUL and M.T.K . ABBASSI                27
  On the existence of some nonlinear parabolic quasi-variational inequalities S. Ajagjal, D. Meskine   28
  Cellular automata : a literature review Amine Bouaineand Mostafa Rachik . . . . . . . . . . .        28
  Renormalized solution of nonlinear parabolic equations with lower order term and measure data
        A. Marah, A. Bouajaja and H. Redwane . . . . . . . . . . . . . . . . . . . . . . . .           29
  Nonlinear parabolic equations with diffuse measure data Khaled Zaki, Hicham Redwane . . . .          30
  Global analysis for an HIV infection model with CTL immune response and infected cells in
        eclipse phase Karam Allali, Jaouad Danane and Yang Kuang . . . . . . . . . . . . . .           31
  A generalized viral infection model with cell-to-cell transmission Zineb Elrhoubari, Hajar Bes-
        bassi, Khalid Hattaf, Noura Yousfi . . . . . . . . . . . . . . . . . . . . . . . . . . .       32
  On limited memory Broyden methods to solve large nonlinear systems of equations M. Ziani, M.
        Ouarite and A. Souissi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .       33
  Hybrid Nonmonotone Gradient Method For The Unconstrained Optimization Problem
        Halima LAKHBAB . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .             33
  Dynamic optimization of the maintenance planning of the multi-component system using PSO
        algorithm I. Mallouk , B. Abou El Majd, O. Souissi . . . . . . . . . . . . . . . . . . .       34
  Robust Multi-Objective Optimization Approach for Airlines Hub’s Connectivity Problem
        H.Rahil, B. Abou El Majd . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .         35
  Robust Many/Multi-Objectives Optimization for Solving a 3D RNP Problem A. Raghib, B. Abou
        El Majd . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .        36
  Modeling a bioeconomic prey predator model with proportionate harvesting I. Agmour, M. Ben-
        tounsi, N. Achtaich and Y. El Foutayeni . . . . . . . . . . . . . . . . . . . . . . . .        37
  Blind image deblurring by Nash game N. Moussaid,D. Meskine . . . . . . . . . . . . . . . .           38
  Extensions of some Fixed point theorems for weak-contraction mappings in partially ordered
        modular metric spaces Karim Chaira, Abderrahim Eladraoui, Mustapha Kabil . . . . . .           39
  On some fixed point theorems in generalized metric space Elkouch Youness, Marhrani ElMiloudi         40
  A matrix description of weakly bipartitive and bipartitive families Brahim Chergui, Edward
        Bankoussou-mabiala, Abderrahim Boussaı̈ri, Abdelhak Chaı̈chaâ . . . . . . . . . . . .         40
  Common fixed points in generalized metric spaces with a graph Abdessamad Kamouss, Karim
        Chaira, Mustapha Kabil . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .         41
  On mappings satisfying cyclical contractive conditions in convex metric spaces T. Sabar, M.
        Aamri, A. Bassoul . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .        42
  On KRF compactness theorem in generalized Lebesgue space Azeddine Baalal, Mohamed Berghout           43
TABLE DES MATIÈRES                     1

             Conférences plénières
C ONF ÉRENCES PL ÉNI ÈRES   2
C ONF ÉRENCES PL ÉNI ÈRES                                3

 Existence globale pour des systèmes de réaction-diffusion avec contrôle de
                          la masse : old and new

                                       El-Haj LAAMRI
                                Université de Lorraine
                                 Institut Elie Cartan
                                       B.P : 239
                         54 506 Vandoeuvre-lès-Nancy, France
                             El-Haj.Laamri@univ-lorraine.fr
    Les systèmes de réaction-diffusion ont connu ces dix dernières années un net regain d’intérêt
du fait que ces systèmes apparaissent dans de nombreux modèles en biologie, en chimie, en
biochimie, en dynamique des populations et en sciences de l’environnement en général.

    De nombreux systèmes de réaction-diffusion évolutifs présentent naturellement les deux
propriétés suivantes :
(P ) : la positivité des solutions est préservée au cours du temps ;
(M ) : la masse totale des composants est contrôlée (voire préservée) pour tout temps.

   On peut penser que (P ) et (M ) garantissent l’existence globale en temps. Mais, il s’avère
que la réponse n’est pas si simple. En particulier, des explosions dans L∞ peuvent apparaı̂tre en
temps fini si bien qu’on doit abandonner l’idée de trouver des solutions globales uniformément
bornées et s’intéresser à la recherche de solutions globales faibles qui peuvent sortir de L∞ de
temps en temps, mais qui continuent à exister.

   Dans cet exposé, nous allons donner un panorama général des systèmes vérifiant (P ) et (M ).
Nous rappelerons tout d’abord les résultats d’existence connus et les techniques utilisées. Ensuite
nous présenterons quelques nouveaux résultats, et enfin nous mentionnerons des problèmes
ouverts.

   References

    [1] E.-H. Laamri : Global existence of classical solutions for a class of reaction-diffusion
systems, Acta Appl. Math. 115 (2011), no. 2, 153-165.

    [2]K. Fellner, E.-H. Laamri : Exponential decay towards equilibrium and global classical
solutions for nonlinear reaction-diffusion systems, J. Evol. Equ. 16 (2016), 681-704.

    [3] E.-H. Laamri, M. Pierre : Global existence for reaction-diffusion systems with nonlinear
diffusion and control of mass. Ann. Inst. H. Poincaré Anal. Non Lin´eaire 34 (2017), no. 3,
571-591.

    [4] E.-H. Laamri, D. Meskine : Existence and regularity of solutions to a class of parabolic
reaction-diffusion systems with general nonlinearities. En pr´eparation.

    [5] B. Abdellaoui, E.-H. Laamri : On a class of nonlinear reaction-diffusion systems. En
préparation.
C ONF ÉRENCES PL ÉNI ÈRES                               4

                 Optimisation de forme paramétrique multiniveau

                                  Badr ABOU EL MAJD
     LMSA Laboratory, FSR, Mohammed V University, Rabat, Morocco
                                abouelmajd.b@gmail.com
    Abstract : Dans les années récentes, les progrès continus de la mécanique des fluides
numérique (en anglais, Computational Fluid Dynamics, CFD), ont ouvert la voie à l’optimisation,
essentiellement de forme, et à la conception par simulation numérique en aérodynamique com-
pressible, et ses couplages avec d’autres disciplines. La conception optimale en aérodynamique
est un domaine à l’interface de plusieurs disciplines classiques dans lequel on doit assembler de
nombreuses composantes techniques liées :

   – au traitement de la géométrie (génération et adaptation de maillage, outil de conception
     assistée par ordinateur, CAO),
   – à la résolution de systèmes complexes d’équations aux dérivées partielles (EDP) régissant
     les phénomènes physiques étudiés,
   – à l’algorithmique d’optimisation proprement dite pour mettre en place une itération conver-
     gente permettant d’identifier une solution localement ou globalement optimale, ou plus
     modestement, une solution plus performante, et enfin
   – à l’implantation des logiciels sur une plateforme coopérative adaptée.

     Dans cette présentation, on s’intéresse plus spécifiquement au développement de stratégies
d’optimisation de forme s’appuyant sur une paramétrisation géométrique multiniveau dans le
but d’atteindre des améliorations de performance itérative comparables à celles réalisées plus
classiquement par les méthodes multigrilles en résolution pure (analyse). On s’intéresse plus
spécifiquement au développement de stratégies d’optimisation de forme s’appuyant sur une
paramétrisation géométrique dans le but d’atteindre des améliorations de performance itérative.
Nos développements se focalisent sur la définition, l’analyse mathématique et l’expérimentation
de méthodes numériques d’optimisation de forme et sont appliqués à des problèmes distribués
dans lesquels l’évaluation de la fonctionnelle coût nécessite la résolution d’un jeu complexe
d’équations aux dérivées partielles (EDP), tel que ceux qui régissent l’aérodynamique compres-
sible (équations d’Euler ou de Navier-Stokes compressible), ou d’autres disciplines couplées
ou non telles que la mécanique des structures (par ex. équations de l’élasticité linéaire), ou
l’électromagnétisme (par ex. équations de Maxwell). Ces EDP sont couramment résolues par
Eléments ou Volumes Finis, au moyen de techniques qui, bien que de plus en plus standards,
restent très coûteuses en temps calcul dès lors que la contrainte de précision est sévère.

     Les résultats de cette présentation s’appuient sur les publications [1][2][3][4][5][6][7][8] .
On passe en revue la construction d’algorithmes multiniveaux de paramètres (géométriques),
dans le contexte d’une optimisation de forme paramétrique. Des espaces de recherche emboı̂tés
sont définis sur la base d’une hiérarchie de paramétrisations de forme emboı̂tées de type
courbes/surfaces de Bézier. On considère d’abord des géométries bidimensionnelles pour
lesquelles on paramétrise directement la forme. Puis, on rappelle le concept de Free-Form
Deformation (FFD) (déformation indépendante de la forme elle-même) qui nous permet
d’étendre la représentation géométrique multiniveau aux situations tridimensionnelles. Puis,
on décrit comment les méthodes itératives d’optimisation usuelles (méthode du simplexe,
méthode du gradient) particularisées à une optimisation de forme se formulent dans un contexte
de paramétrisation multiniveau de la forme. On présente ensuite les résultats de simulations
C ONF ÉRENCES PL ÉNI ÈRES                             5

numériques de conception optimale de forme en aérodynamique compressible tridimensionnelle
régie par les équations d’Euler discrétisées par une méthode de Volumes Finis en maillage
non-structuré.

   References

   [1] A BOU E L M AJD , A., Algorithmes hiérarchiques et stratégies de jeux pour l’optimisation
multidisciplinaire. Application à l’optimisation de la voilure d’un avion d’affaires, Doctoral
Thesis, University of Nice Sophia Antipolis (France), September 2007.

   [2] D ÉSID ÉRI , J -A., A BOU E L M AJD , B., H ABBAL , A., Nested and Self-Adaptive Bézier
Parameterization for Shape optimization, J. Comput. Phys (JCP). 124(1), 117-133, 2007.

    [3] A BOU E L M AJD , A. ET AL ., Optimisation de forme paramétrique multiniveau. Optimi-
sation Multidisciplinaire en Mécanique : démarche de conception, stratégies collaboratives et
concourantes, multiniveaux de modèles et de paramètres, Hermes Science Publications-Lavoisier,
2008.

   [4] A BOU E L M AJD , B., D ÉSID ÉRI , J. A., D UVIGNEAU , R., Multilevel strategies for
parametric shape optimization in aerodynamics. European Journal of Computational Mechanics,
17(1-2), 149-168, 2008.

   [5] A BOU E L M AJD , B., Parameterization adaption for 3D shape optimization in aerodyna-
mics. arXiv preprint arXiv :1509.03227, 2015.

    [6] A BOU E L M AJD , B. , D ÉSID ÉRI , J-A., H ABBAL , A., Aerodynamic and structural
optimization of a business-jet wingshape by a Nash game and an adapted split of variables.
Mécanique & Industries, vol. 11, no 3-4, p. 209-214, 2010.

   [7] Z HAO , J., A BOU E L M AJD , B., D ÉSID ÉRI , J-A., Two level correction algorithm for
parametric shape inverse optimization. International Journal of Engineering and Mathematical
Modelling, 2015, 2(1), 17-30.

    [8] A BOU E L M AJD , B., O UCHETTO , O., D ÉSID ÉRI , J-A., H ABBAL , A., Hessian transfer
for multilevel and adaptive shape optimization. International Journal for Simulation and Multi-
disciplinary Design Optimization, vol. 8, p. A9, 2017.
C ONF ÉRENCES PL ÉNI ÈRES                             6

Modélisation et analyse mathématique de la dynamique des dunes de sable

                                      Fahd KARAMI
                         Ecole Supérieure de Technologie
                     Université Cadi Ayyad, Marrakech, Maroc
                                fahd.karami@gmail.com
Abstract : Dans ce travail, nous présenterons un modèle mathématique modélisant la dynamique
 de sable sous l’action du vent unidirectionnel. Nous réalisons une étude mathématique et nous
montrons l’existence et l’unicité de la solution du modèle proposé. Des simulations numériques
                                          seront présentées
C ONF ÉRENCES PL ÉNI ÈRES                                7

       Quelques problèmes sur les matrices, les graphes et les tournois

                                 Abderrahim BOUSSAIRI
                               Faculté des sciences ain chock
                                    Casablanca, Maroc
                                   boussairi@hotmail.com
    Résumé L’une des conjectures célébres en théorie des graphes est la conjecture d’Ulam [6].
Elle s’énonce comme suit

   Soit G et G0 deux graphes ayant le même ensemble de sommets V avec |V | ≥ 3. Si pour tout
x ∈ V , les sous-graphes G − x et G0 − x sont isomorphes alors G et G0 sont isomorphes.

     Vu la difficulté de la conjecture d’Ulam, les chercheurs se sont intéressés à l’étude des in-
variants de reconstruction. Rappelons qu’une fonction définie sur la classe des graphes est un
invariant de reconstruction si elle prend la même valeur sur toute paire de graphes qui vérifient
les hypothèses de la conjecture d’Ulam. Les premiers invariants ont été trouvés par P. Kelly [2].
Il a prouvé, par exemple, que la suite des degrés des sommets d’un graphe, ainsi que le nombre
des sous graphes isomorphes à un graphe donné sont des invariants de reconstruction. Tutte [5]
a prouvé que le nombe de cycles hamiltoniens dans un graphe est un invariant de reconstruction.
M. Pouzet [3] a montré que le polynôme caractéristique de la matrice d’adjacence d’un graphe
est reconstructible. Ce résultat est un cas paticulier du théorème suivant.
Théorème
    Si A et A0 sont deux matrices d’ordre n (n ≥ 3) symétriques et à coefficients dans une
algèbre sur Q commutative et unitaire, telles que pour chaque i = 1, . . . , n, les matrices
Aii et A0ii (obtenues par suppression de la ligne et la colonne i) se déduisent l’une de
l’autre par une matrice de permutation alors les matrices A et A0 ont le même polynôme
caractéristique
Dans cet exposé, nous présentons queleques problème sur les graphes, les tournois et les matrices
qui ont une parenté avec la conjecture d’Ulam et le théorème précédent.

   References

   [1] F. Harary, The four color conjecture and other graphical diseases, in Proof Techniques in
Graph Theory,

   [2] Paul J. Kelly. A congruence theorem for trees. Pac. J. Math., 7 :961-968, 1957.

   [3] M. Pouzet, Note sur le probleme de Ulam, J. Combin Theory Ser. B 27 (1979).

   [4] Pouzet, Maurice Quelques remarques sur les résultats de Tutte concernant le problème de
Ulam. Publ. Dp. Math. (Lyon) 14 (1977), no. 2, 1-8.

   [5] W. T. Tutte. All the king’s horses. In J. A. Bondy and U. S. R. Murty, editors, Graph
Theory.

   [6] Ulam, S. M., A collection of mathematical problems, Wiley, New York, 1960. (Procee-
dings of the Second Ann Arbor Graph Theory Conference, Ann Arbor, Mich., 1968), edited by F.
Harary, Academic Press, New York, 1969, 1-9. 8
C ONF ÉRENCES PL ÉNI ÈRES                                8

               Sur les Codes correcteurs cycliques et Les codes BCH

                                        M. E. Charkani
                    Faculté des Sciences Dhar-Mahraz. B.P. 1796
                                    Fes - MAROC
                                   mcharkani@gmail.com
Abstract : Les codes correcteurs d’erreurs jouent un rôle fondamental dans tous les systèmes
de communications modernes. En effet la majorité des informations modernes (textes, images,
videos, sons...) sont représentées d’une manière numérique. La transmission et le stockage de
ce type de données peut produire des erreurs de transmission et ils sont susceptibles d’être
altérés (par des phénomènes d’origines diverses, mécaniques, électriques, électromagnétiques
etc...). Dans un grand nombre de cas et de situations l’intégrité absolue des données est exigée
sans nouvelle demande de transmission (navette spatiale, disques durs, CD,...). D’où l’intérêt
et la nécessité de l’utilisation des codes correcteurs d’erreurs qui permettent la détection et la
correction des erreurs (lors de transmission) et servent ainsi à protéger l’information d’erreurs de
transmission et de stockage. La théorie des codes correcteurs d’erreurs a pour but la la création
des codes capables de détecter, voire corriger ces erreurs afin de recevoir le message dans son
intégralité, en sécurité, et le plus rapidement possible.

     Nous allons voir une famille de codes cycliques particuliers très pratiques. Ils ont été
découverts à la fin des années 50 de façon indépendante par Bose, Chaudhuri d’une part et
Hocquenghem d’autre part. Le code BCH est un code correcteur utilisé pour corriger des erreurs
aléatoires. Plus techniquement, il est à plusieurs niveaux, cyclique et à longueur variable. Ce type
de code s’appliquent beaucoup pour la correction des erreurs, on les trouve par exemples dans
les CDs, DVDs, les téléphones et même le digital TV...

   References

    [1] A. BONNECAZE, Introduction à l’algèbre pour les Codes cycliques, www.pages-
perso.esil.univmed.fr/ bonnecaze/Math/AlgCodeCycl.pdf

   [2] N. BOURBAKI, Algèbre, chapitre 4 à 7, Masson, Paris, (1980)

   [3] M. P. BRÉAL, Codage Symbolique, Masson, 1993.

   [4] W. C. BROWN, Matrices over Commutative Rings, Marcel Decker Inc., New York,(1993)

   [5] M. E. CHARKANI, Fonctions Arithmétiques, Séminaires d’algèbre, USMB FES,(2002).

  [6] DAVID S. DUMMIT AND RICHARD M. FOOTE, Abstract Algebra (3rd ed.), NEW
YORK : WILEY, (2004).

    [7] J.-G. DUMAS, J.-L. ROCH, E. TANNIER ET S. VARRETTE, Th´eorie des codes (Com-
pression, cryptage, correction), éd Dunod, (2007)
9

Session invitée
10
S ESSION INVIT ÉE                                     11

                Session 1 : Systèmes dynamiques pour l’économie et la finance

           Systèmes dynamiques pour l’économie et la finance
    Organisateur : Abdelilah Kaddar, Faculté des Sciences Juridiques, Economiques et
                    Sociales de Salé, Université Mohamed V de Rabat

    Abdelilah Kaddar, Laboratoire FED, Faculté des Sciences
     Juridiques, Economiques et Sociales de Salé, Université
                     Mohamed V de Rabat.
       Toufik Daghri, Laboratoire FED, Faculté des Sciences
      Juridiques, Economiques et Sociales de Salé, Université
                      Mohamed V de Rabat.
     Igbida Jaouad, Laboratoire DGTIC, CRMEF El Jadida.
                  Brahim Benaid, ISTI Lab, ENSA-Agadir.
Résumé

    La session invitée intitulée  Systèmes Dynamiques pour l’économie et la finance  est
proposée par le Professeur Abdelilah KADDAR, dans le cadre du Workshop International
sur les Mathématiques et Applications, organisé, le 21 octobre, par la Faculté des Sciences et
Techniques de Mohammedia et le laboratoire de Mathématiques et Applications. Cette session
s’adresse surtout aux enseignants-chercheurs, aux thésards et aux industriels dans les thématiques
suivantes :

X la modélisation en économie et en finance ;
X l’ingénierie financière ;
X la gestion du risque et ses applications en finance et dans l’assurance ;
X l’économie industrielle, la macro-dynamique et la théorie du jeu ;
X les probabilités, le calcul stochastique et la statistique ;
X l’optimisation, le contrôle et la recherche opérationnelle.
S ESSION INVIT ÉE                                         12

                                             Intervenants

Stability analysisfor stochastic neural networks with Markovian switching and infnite delay
in a phase space

Brahim Benaid
Laboratoire FED, Faculté des Sciences Juridiques, Economiques et Sociales de Salé, Université Mohamed
V de Rabat
E-mail : benaidbrahim@hotmail.com

Abstract
This paper focuses on existence and uniqueness of solutions and global stochastic (asymptotic)
stability for a kind of stochastic neutral networks with in ?nite delay and Markovian switching
in a fading memory phase space. Our approach is based on the Lyapunov method, stochastic
analysis technique and M-matrix theory. Our results completes some existing ones. One example
is given to demonstratetheapplicability and effectiveness of the theoretical theorems.

 Bifurcation in the Cobweb model for commodities markets
with two delays
A. Kaddar
ISTI Lab, ENSA PO Box 1136 Agadir, Morocco
E-mail : benaidbrahim@hotmail.com

Abstract In this paper, we consider a Cobweb model for commodities markets with two delays.
First, we use linear stability analysis to find sufficient conditions under which the unique positive
equilibrium is locally asymptotically stable. Second, by choosing one of the delays as a bifurca-
tion parameter, we prove the existence of a family of periodic solutions which bifurcate from this
equilibrium. Our results are an extension of previously known works.

Modélisation de la solvabilité pour un plan contributions
définies : cas d’une prime unique
Naima SOUKHER
Faculte des Sciences Ben M’sik, Université Hassan II, Casablanca, Maroc
Un plan à contributions définies est un plan de pension qui, pour chaque employé, définit une
prime qui doit être versée régulièrement. Le montant de la prime ainsi que la périodicité de son
paiement sont prédéfinis par le plan de pension. L’affilié (ou son employeur) s’engage à verser ce
montant qui peut tre un pourcentage fixe de son salaire. En contrepartie, la pension que touchera
l’affilié lors de sa retraite (ou une tierce personne) n’est pas connue à l’avance, mais le plan de
pension s’engage à garantir un taux fixe sur le rendement des cotisations de l’affilié. Le montant
que l’affilié touchera à la fin n’est qu’une fonction de ce taux garanti et de la durée du placement
des contributions.

    Dans cette communication, nous proposons un modèle de solvabilité pour un plan à contribu-
tions définies (DC) à taux fixe garanti. Nous consacrons cette communication au cas d’une prime
S ESSION INVIT ÉE                                  13

unique.

Contribution à l’étude d’un modèle économique de ?uctuations
des prix
Meftah Yazza
FS-El Jadida, Université Chouaib Doukkali
Abstract. In the present paper, We examine the effect of returns on the financial model, which
describe the change in interest rates, investment demand and price index. By the analysis of the
stability, we prove the occurrences of some bifurcation phenomena.

Existence of periodic solutions for a delayed economic growth
model
Sanaa ElFadily
EMI-Rabat, Mohammed V University in Rabat
Abstract. It is well-known from qualitative theory of ordinary differential equations that the pro-
blem of existence of periodic solutions for various nonlinear differential equations of higher order
continues to attract the attentions of many specialists despite its long history.
   In the present paper, we are concerned with the existence of periodic solutions for a delayed
economic growth model. By using Leary-Schauder principle, we establish some new sufficient
conditions which insure that this model has a periodic solutions.

On some fixed point theorems in generalized metric space
Elkouch Youness
FS-Ben M’Sik Casablanca, Hassan II University of Casablanca
Abstract. In this paper, we obtain fixed point results for Kannan contraction mappings, Chatterjea
contraction mappings and Hardy-Rogers contraction mappings in a new generalized metric space
introduced by Jleli and Samet. As applications we obtain fixed points results for T-contractions
introduced by A.Beiranvand.

On the dynamics of a delayed Verhulst-Solow economic model
SalahEddine Sahbania
FS-El Jadida, Université Chouaib Doukkali
Abstract. In this communication, we propose the theoretical analysis of a solow economic growth
model with the economic characteristics of the concerned population (employed, unemployed).
S ESSION INVIT ÉE                                         14

The resulting model is the following delayed differential system :

                                dK
                                     = sf (K(t − τ1 ), L(t)) − δK(t),
                                 dt
                                    dL                 L(t − τ2 )
                                       = γpN (t)[1 −               ],
                                    dt                     Le                                       (1)
                            dN                         N (t − τ3 )
                                 = ρN (t)[1 −                            ],
                             dt                g(K(t − τ3 ), L(t − τ3 ))
                                           L(t) ≤ N (t),

where K is the capital stock, L is the size of the active population, pN is the number of
unemployed (working age population), N is the total number of population, s is the saving rate,
δ is the depreciation rate of capital stock, γ is the employment rate, ρ is the population growth
rate, f is the production function, Le is the effective labor demand , g is the carrying capacity, τ1
is the Kalecki’s time delay ; i.e. there is a time lag needed for new capital to be installed, τ2 is the
time needed to assess needs for labor force and the time taken for the recruitment of this labor
force and τ3 is the lag between the birthdate and the puberty age.

    The principal objective of this model is to describe the Population-Economic Growth Interac-
tions, hence its name Verhulst-Solow model. The dynamic is studied in terms of the local stability
and of the local Hopf bifurcation.
15

Communications
C OMMUNICATIONS   16
C OMMUNICATIONS                                           17

                     Convergence of the
                                      a
                                        supercell
                                              b
                                                  method.
                                      S. Lahbabi , D. Gontier

         a
             ENSEM Casablanca, Route D’El Jadida, Casablanca 8118, Maroc
b
    Universit Paris-Dauphine, Place du Marchal de Lattre de Tassigny, 75016
                                Paris, France.
                                 salma.lahbabi@gmail.com

Abstract. In this talk, we study the convergence of the supercell method for both a perfect
crystal and a crystal with a local defect. We prove that for perfect crystals, the convergence is
exponential. When there is a charged local defect in the crystal, the convergence is of rate 1/L.

        References

   [1] D. Gontier and S. Lahbabi. Convergence rates of supercell calculations in the reduced
Hartree- Fock model. M2AN, pages 1403-1424, 2015.

    [2] D. Gontier and S. Lahbabi. Supercell calculations in the reduced hartree-fock model for
crystals with local defects. Appl. Math. Res. Express, pages 1-64, 2016.

        A Totaly explicit scheme for fractional viscoelastic wave in space time
                                       domaine

                       M. Ait Ichou1,2 , H. El Amri1 , A. Ezziani2
    1
        Laboratoire LMA, ENS-Casablanca, Hassan II University of Casablanc
         2
           Laboratoire MAEGE, FSJES Aı̈n Sebaâ, Hassan II University of
                                 Casablanca
                                moha.aitichou@gmail.com
Abstract. Real materials, especially rocks and polymers, dissipate energy when subjected to de-
formations [1, 3]. In recent years, many authors have affirmed that the use of fractional integration
and fractional operators is necessary to model wave dissipation in real materials. For the descrip-
tion of the memory property of several materials and processes, the fractional derivative is an
important tool, since it takes into account all the history of the function and does not reflects only
instantaneous characteristics as in the case of the integer derivative [2]. The fractional model is
then crucial to take into consideration the dissipation of waves and the physical properties of real
materials (memory materials). We are interested in the mathematical and numerical modeling of
C OMMUNICATIONS                                         18

wave propagation in dissipative media. We present a mathematical and numerical study of the
fractional derivative model and a various numerical results will be exposed during the workshop.
    References

    [1]. R. L. BAGELY AND P.J. T ORVIC, A therotical basis for the application of fractional
calculus to viscoelasticity, Journal of Rheology, 27(1983) : 201–210.

    [2]. E. B ÉCACHE , A. E ZZIANI , AND P. J OLY, A mixed finite element approach for viscoe-
lastic wave propagation, Computational Geosciences, 8(2004) : 255–299.

    [3]. P.J. T ORVIC AND R. L. BAGELY, On the appereance of the fractional derivative in
the behavior of reals materials ; American Society of Mechanical Engineers Journal of Applied
Mechanics, 51(1984) :294–298.

       Computational fluid dynamics (CFD) of UV disinfection reactor

                        S. Kassabi1,2 , K. Digua and H. Chaair
              Laboratoire Génie des Procédés et Environnement,
            Faculté des Sciences et Techniques Mohammedia, Maroc
                              soukaina.kassbi@gmail.com
Abstract. RUV disinfection is a widely used technology which attracts a great interest in the
industrial water treatment because of its high disinfection efficiency and no secondary pollution
[ ?] . The use of UV radiation relies on the inactivation of microorganisms through changes in
the pathogens DNA (i.e., formation of thymine dimers), rendering them unable to reproduce.
In the present paper, a numerical simulation of a three-dimensional flow field and UV fluence
distribution was investigated inside an annular UV disinfection reactor in order to optimize
its performance and to get reliable prediction. Reactor performance is strongly dependent on
hydrodynamic transport processes, influencing the spatial distribution of the microorganisms.
The influence of the flow field and reactor geometry on the performance of disinfection systems
has been demonstrated by Schoenen and al. and Chiu and al. [ ?]. A computational fluid dynamics
(CFD) software package, namely, ANSYS FLUENT based on finite volume method had been
employed to simulate the fluid dynamics and solve the Navier Stockes equation governing the
turbulent flow [ ?, ?]. The discrete ordinate method was used to simulate the UV fluence field by
solving the radiative transfer equation (RTE). A key advantage of simulating reactor performance
by solving the governing equations of the system is the virtual prototyping capability, allowing
cutting of costs by reducing design cycle times and evaluating more design alternatives than
practical in the past [ ?, ?]. The simulation results provide detailed information on the velocity
profiles, radiative rates, range of absorbed dose and areas of short circuiting of the reactor. The
CFD-based modeling approach uses a discrete ordinates radiation model that allows seamless
integration with the hydraulic model by considering the effects of shadowing and wall reflections
that can be induced by surfaces and geometric features within the UV reactor.

   References

    [1] W.A.M. Hijnen, E.F. Beerendonk, G.J. Medema. Inactivation credit of UV radiation for
viruses, bacteria and protozoan (oo)cysts in water : a review, Water Res. 40 (2006) 322.
C OMMUNICATIONS                                        19

    [2] D. Schoenen, A. Kolch, J. Gebel. Influence of geomtetrical parameters in different
irradiation vessels on UV disinfection rate. Int. J. Hyg. Environ. Med. 1993, 194, 313-320.

    [3] R.C.H.M. Hofman-Caris, D.J.H. Harmsen, E.F. Beerendonk, T.H. Knol, C.J. Houtman,
D.H. Metz, B.A. Wols. Prediction of advanced oxidation performance in various pilot UV/H2O2
reactor systems with MP- and LPand DBD-UV lamps, Chem. Eng. J. 210 (2012) 520528.

   [4] D.A. Sozzi, F. Taghipour. Computational and experimental study of annular photo-reactor
hydrodynamics, Int. J. Heat Fluid Flow 27 (2006) 10431053.

   [5] Y. A. Lawryshyn, D. Lu.UV Reactor Design. Water Conditioning Purif. Mag. 1999, 41.2,
13-19.

    [6] Y. A. Lawryshyn, ; B. Cairns. UV disinfection of water : the need for UV reactor
validation. Water Sci. Technol. 2003, 3.4, 293-300.

    Global Analysis of an Epidemiological Model using using the Theory of
                            Cooperative Systems

                                    K. Kabli a , K. Niria
a
    Laboratory MACS Mathematics and Computing Department Ain Chock
                 Science Faculty, Km 8 Route El Jadida
                                 smakarima@gmail.com
Abstract. In this work, we study the global stability of epidemiological model with relapse,
by using the monotone dynamical sytems, particularly, cooperative and irreducible systems of
ordinary differential equations. we will illustrate our method on a model SEIRI. At last the this
work, numerical simulations are presented to complement the theoretical results.

    References

   [1]. M. W. Hirsch, Systems of differential equations which are competitive or cooperative. I :
Limit sets, this Journal, 13 (1982), pp. 167-179.

   [2]. E.Kamke, Zur Theory der Systeme Gemoknlicher Dierentialgliechungen,I I, Acta Math.58
(1932), 57-85.

   [3]. Matano, Convergence of solutions of one-dimensional semi linear parabolic equations,
J.Math.Kyoto Univ.18-2 (1978), 221-227

   [4]. Smith and H. Thieme, Quasi Convergence for strongly ordered preserving semiflows,
SIAM J. Math. Anal. 21 (1990a), 673-692.

    Asymptotic preserving scheme based on micro-macro formulation for
                    kinetic equations to cross-diffusion
C OMMUNICATIONS                                           20

                         M. Zagour, F. Karami and D. Meskine
                                         Est-Essaouira
                               zagourmohamed@gmail.com
Abstract. y presentation aims to present an asymptotic preserving scheme based on micro-macro
formulation for kinetic equations to cross-diffusion. After the description of the linear transport
models with stochastic velocity jump perturbation, I will show that this kinetic equation can
be equivalently written as a system coupling a hydrodynamic part with a kinetic part of the
distribution function[2]. The next step is devoted to derive the macroscopic models, namely the
cross-diffusion model[1]. Some numerical simulations are reproduced to show the validity of our
method.

   References

    [1]. Andreianov B., Bendahmane M. and Baier R., Analysis of a finite volume method for a
cross-diffusion model in population dynamics, Math. Models Methods Appl. Sci., 21 (2011), no.
2, 307-344.
    [2]. Bellomo N., Bellouquid A. and Chouhad N., From a multiscale derivation of nonlinear
cross-diffusion models to Keller-Segel models in a Navier-Stokes fluid, Math. Models Methods
Appl.Sci., 26, (2016), 2041-2069.

 Analyse linéaire de stabilité de front de réaction en utilisant une méthode
                                  sans maillage

                                      H. Rouah, A. Taik
                                      Fst-Mohammedia
                                      a.taik@gmail.com
Abstract. Dans ce travail, on s’intéresse à l’étude d’un problème physique et chimique lié à
la polymérisation frontale. Ce problème est régis par l’équation de la chaleur, l’équation de
concentration et l’équation de Navier-Stockes sous l’approximation de Boussinesq [1].
Dans [1], l’étude la propagation de front d’une réaction dont le réactif liquide se converti en
produit solide a été faite. Dans le présent travail nous étudions l’effet de l’orientation sur la
propagation du front de réaction. Pour ce faire, nous avons utilisé la méthode proposée par
Zeldovich et Frank-Kamentsky [1]. L’idée de cette méthode est la suivante : pour une énergie
d’activation assez grande, la réaction se produit dans une zone étroite. A l’extérieur de cette
zone, le terme source est négligeable, comme conséquence on obtient par passage à la limite un
problème d’interface avec des condition de sauts au voisinage de la zone de réaction [1]. Ensuite
nous faisons une analyse linéaire de stabilité pour trouver le problème linéarisé. Ce dernier est
résolu numériquement par une méthode sans maillage basée sur les fonctions radiales [2][3][4].

   References

   [1]. M. Garbey. A. Taik and V. Volpert. Linear stability analysis of reaction fronts in liquids.
Quart. Appl. Math. 54 (1996) 225–247.
C OMMUNICATIONS                                             21

   [2]. Halassi A., D. Ouazar, A. Taik, RBF methods for solving laterally averaged Saint-Venant
Equations : Application to eutrophication prevention through aeration, International Journal of
Computational Fluid Dynamics , 29(09-10), pp. 464-477, 2015.

   [3]. Benkhaldoun F., A. Halassi, D. Ouazar, M. Seaid, A. Taik, Slope limiters for radial basis
functions applied to conservation laws with discontinuous flux function, Engineering Analysis
with Boundary Elements, 66, pp. 49–65, 2016.

    [4]. F. Benkhaldoun, A.-h. Halassi, D. Ouazar, M. Seaid, A. Taik, A stabilized meshless
method for time-dependent convection-dominated flow problems, Math. Comput. Simulation,
July 2017, vol. 137, pp 559–176.

 Evaluation Numérique et validation analytique du Facteur d’Intensité de
  Contraintes par la méthode EF et XFEM d’une Eprouvette de Tension
                    compacte (CT) en Acier P265 GH

                          H. Salmia , A. Hachima b, K. El Hada b
 a
     Laboratoire de Contrôle et Caractérisation Mécanique des Matériaux et
     des structures, B.P 8118, Oasis-Route El Jadida-ENSEM / Casablanca,
                                     Maroc
       b
           Institut Supérieur d’Etudes Maritimes, Km 7 Route d’El Jadida
                       Casablanca Maroc, Casablanca, Maroc
                                houda.salmi111@gmail.com
Abstract.
     La rupture brutale des pièces mécaniques a généralement lieu dans des zones où il y a
concentration des contraintes ; La compréhension de ce phénomène passe par la modélisation
numérique de la structure mais la résolution analytique des équations qui en résultent reste
limitée à des problèmes simples alors que dans la réalité il ya des mécanismes complexes. La
recherche scientifique s’intéresse aux simulations numériques par les méthodes classiques en se
basant sur la méthode de l’élément finis (MEF) couplée à la mécanique de la rupture qui permet
à intégrer au code de calcul par éléments finis utilisé, des descriptions précises des phénomènes
mis en jeu tels que les lois de comportement et les critères de rupture . Mais en raison des
concentrations de contraintes au voisinage d’un défaut. Ces défauts se regroupent en plusieurs
catégories y compris fissure qui nécessite un maillage raffiné au niveau de l’entaille mais quelque
fois la présence de certaine singularité dégrade fortement la convergence de la MEF, et donc il
ne suffit pas de raffiner fortement le maillage à proximité de la fissure pour obtenir une bonne
solution. Une nouvelle méthode d’éléments finis, introduite et baptisé méthode des éléments finis
étendu (XFEM) ; Dans cette méthode, la base éléments finis est enrichie par des fonctions de
forme spécifiques qui décrivent la séparation du matériau et la singularité de fond de la fissure
ce qui permet de trouver un taux de convergence normal. L’objet de ce travail est de calculer le
Facteur d’Intensité de Contraintes au fond d’entaille par MEF et XFEM et faire une comparaison
entre les deux méthodes.

     References
C OMMUNICATIONS                                          22

     [1]A. Hachim, Etude numérique et validation expérimentale des mécanismes d’endommage-
ment et de fissuration de l’acier S355 : application aux équipements sous pression, Mémoire de
thèse doctorat, Faculté des Sciences-Aı̈n Chock,Casablanca, 27/04/2013 ;p16.

  [2] Moustabchir, Facteur d’Intensité de Contraintes d’un Tuyau sous Pression Interne et
Comportant une Entaille Longitudinale, 9ième Congrès de Mécanique, FS Semlalia, Marrakech.

    [3] Jérémie LASRY, Calculs de plaques fissurées en flexion avec la méthode des éléments
finis étendue (XFEM), Mémoire de thèse doctorat, Institut de Mathématique de Toulouse, équipe
MIP dans le cadre de l’École Doctorale Mathématiques Informatique et Télécommunications de
Toulouse,20/03/2010,p 3.

    [4]M. Lahlou Etude numérique et expérimentale des mécanismes d’endommagement et de
fissuration de l’acier P265GH : Equipements sous pression, Mémoire de thèse doctorat Université
Hassan II Ecole Nationale Supérieure d’Électricité Et de Mécanique, Casablanca ,16/07/2016.p81

    [5] ROFLE, T.S. BARSOUM, M.J. ,stress analysis for members with cracks, in fracture and
fatigue control in structures application of fracture mécanics, Englewood clifs, new jersey, 1977,
pp.30-47.

    [6] Eric BECHET, Une introduction a la methode des elements finis etendus, université du
Liège.

   [7]SRAWLEY J, Determination of plane strain fracture toughness , May , Research andstan-
dards, Juin1967 ;P 262-66.

      Super-Resolution Algorithm for Breast Microcalcifications Detection

             R. Fadila , B.Abou El Majda , H.El Ghazib , N.Kaabouchc
              a
                  LMSA Lab, Mohamed V University, Rabat, Morocco
  b
      STRS Lab, National Institute of Posts and Telecommunication, Rabat,
                                   Morocco
  c
      Electrical Engineering Department, University of North Dakota, Grand
                              Forks, United States
                               houda.salmi111@gmail.com
Abstract. In Morocco, breast cancer represents a serious public health problem. It is the first
deadly cancer among women and the third one of all registered cancer cases. Breast cancer also
impacts men but with less incidence rate. However, the survival rate for men is much less than
the one for women. Because the causes of this disease are unknown, early screening exams to
identify breast abnormalities can increase the survival rate. If breast cancer abnormalities are
detected early, there are more treatment options and a better chance for survival. The first sign of
numerous cases of breast cancer is the presence of microcalcifications which are small crystals
of calcium apatites ranging from 0.1mm to 0.5mm. In this paper, we describe the implementation
of an algorithm, time reversal multiple signal classification (TR-Music), and discuss its efficiency
in detecting breast microcalcifications. First, we present an overview of the existing techniques
used for breast microcalcifications detection, then we explain the TR-Music algorithm. We also
C OMMUNICATIONS                                         23

describe the numerical phantoms developed and used to evaluate the efficiency of the proposed
algorithm. The paper also discusses the parameters and their impacts on the output of the TR-
Music algorithm.
    References

   [1] Global Cancer Facts and Figures 3rd Edition.

   [2] M. Slaoui, R. Razine, A. Ibrahimi, M. Attaleb, M. El Mzibri, and M. Amrani, Breast
Cancer in Morocco : A Literature Review .

   [3] M. S. Islam, N. Kaabouch, and W. C. Hu, A survey of medical imaging techniques
used for breast cancer detection, In Electro/Information Technology (EIT), IEEE International
Conference , pp. 1-5, 2013.

    [4] T. Nagashima, H. Hashimoto, K. Oshida, S. Nakano, N. Tanabe, T. Nikaido, and M.
Miyazaki, Ultrasound demonstration of mammographically detected microcalcifications in
patients with ductal carcinomain situ of the breast, Breast Cancer, 12(3), 216-220, 2005.

    [5] N. Kamiyama, Y. Okamura, A. Kakee, and H. Hashimoto, Investigation of ultrasound
image processing to improve perceptibility of microcalcifications, Journal of Medical Ultraso-
nics,35(3), 97-105, 2008.

    [6] A. J. Devaney, E. A. Marengo, and F. K. Gruber, Time-reversal-based imaging and inverse
scattering of multiply scattering point targets, J. Acoust. Soc. Am., vol. 118, no.5, pp. 31293138,
2005.

  [7] A. J. Devaney, Super-resolution processing of multi-static data using time reversal and
MUSIC, J. Acoust. Soc. Am (2000).

    [8] Y. Labyed and L. Huang, Ultrasound time-reversal MUSIC imaging of extended targets,
Ultrasound in medicine biology, 38.11, 2018-2030, 2012.

    [9] Y. Labyed and L. Huang, TR-MUSIC inversion of the density and compressibility
contrasts of point scatterers, Ultrasonics, Ferroelectrics, and Frequency Control, IEEE Transac-
tions, 61.1,16-24, 2014.

    [10] F. K. Gruber, E. A. Marengo, and A. J. Devaney, Time-reversal imaging with multiple
signal classication considering multiple scattering between the targets, The Journal of the
Acoustical Society of America, vol. 115, no. 6, pp. 30423047, 2004.

  A nonlocal anisotropic and isotropic TV model for image reconstruction

                          O. Oubbih, D. Meskine , F. Karami
                                       EST, Essaouira
Abstract.
   The total-variation (TV) transform with local image gradient in L1-norme was adopted in
most cases. In the past two decades, the autours have been proposed to work with anisotropic
C OMMUNICATIONS                                        24

and isotropic TV regularisation, and the others are introduce a nonlocal TV regularisation. Ours
contribution, is to combine of these models.

          Non local model with L1 fidelity term for image restoration

                           K. Sadik, D. Meskine , F. Karami
                                      EST, Essaouira
Abstract. This paper presents a new nonlocal model with L1-fidelity term for image restoration.
We establish the existence and uniqueness of solution for the proposed model. To illustrate
the efficiency and effectiveness of our model, we give some numerical simulations as well we
compare with the existing models in the literature.

 An Efficient Algorithm for Reconstruction of Images Corrupted by Some
                          Multiplicative Noises

                            L. Ziad, D. Meskine , F. Karami
                                      EST, Essaouira
                                 ziad.lamia@gmail.com
Abstract. In the present paper, we propose an hybrid model for restoration of images contami-
nated by multiplicative type of noise. The energies used are inspired by image restoration with
non linear variable exponent [1, 2] which is a combination of fast growth with respect to low
gradient and slow growth when the gradient is large. We derive a numerical algorithm to solve the
associated problem. At last, compared experimental results are displayed to prove the efficiency
of the proposed model, in term of removing some multiplicative noise while preserving the edges
and reducing the staircase effect.

   References

   [1] R. ABOULAICH, D. MESKINE AND A. SOUISSI, New diffusion models in image
processing, Comput. Math. Appl. 56, (2008), 874..882.

    [2] L. AFRAITES, A. ATLAS, F. KARAMI AND D. MESKINE, Some class of parabolic
systems applied to image processing, Discrete and Continuous Dynamical Systems Series B . 21,
(2016), 1671-1687.

Smoothing, Segmentation and Edge detection by Nonlinear Diffusion Model
C OMMUNICATIONS                                          25

            O. Gouasnouane a , S. Boujena, b E. El Guarmah c , J. Pousin d
    a,b
          MACS, Mathematics and computing Department, Ain Chock Science
                    Faculty, Maârif, Casablanca, Morocco.
c
    Royal Air School, Informatics Departement, DFST, BEFRA, POB 40002,
                        Menara, Marrakech, Morocco.
d
    Institut Camille Jordan UMR5208, INSA de Lyon, 20 Avenue A. Einstein
                     F-69621 Villeurbanne, Cedex, France.
                                 gouasnouane@gmail.com
Abstract. The image restoration is a key step in image processing. This step can be treated by
non-linear diffusive filters requiring solving evolutionary partial differential equations. In this
work, a nonlinear diffusive filter for image denoising and edge detection based on a nonlinear
partial differential equation is studied analytically and tested numerically. Existence, uniqueness
and regularity of the solution for the proposed mathematical model are established in an Hilbert
space. The discretization of the proposed partial differential equation model is performed using
finite element method. A convergence result of this approximation is established under suitable
hypothesis.
The efficiency of this model has been tested numerically. Signal noise ratio (SNR) is used to
estimate the quality of the restored images.

     References

   [1] Aboulaich, R., Boujena, S. and EL Guarmah, E., A Nonlinear Parabolic Model in
Processing of Medical Image, Math. Model. Nat. Phenom., 3(6), 2008, 131-145.

    [2]Aboulaich, R., Boujena, S. and EL Guarmah, E., Sur un modèle non-linéaire pour le
débruitage de l’image, C.R. Acad. Sci. Paris. Ser. I, 345, 2007, 425-429.

    [3]Catté, F., Lions, P. L., Morel, J. M. and Coll, T., Image selective smoothing and edge
detection by a nonlinear, SIAM Journal on Numerical Analysis, 29(1), 1992, 182-193.

   [4] Perona, P. and Malik, J., Scale-espace and edge detection using anisotropic diffusion,
IEEE Transaction on Pattern Analysis and Machine Intelligence, 12, 1990, 429-439.

              Modélisation et Prévision via les Séries Chronologiques

                     J. Benrhmach, A. Namir, J.Bouyaghroumni
                                      Fsac-Casablanca
                           ghassane.benrhmach@gmail.com
Abstract. L’objectif est d’étudier les sries chronologiques en s’appuyant sur les techniques
probabilistes et statistiques afin d’tablir une prvision pour certains phnomnes rels. Nous prsentons
la notion d’une srie chronologique, ses proprits ainsi que ses caractristiques. Nous exposons la
notion de la dcomposition dune srie chronologique en trois composantes (tendancielle, saisonnire
C OMMUNICATIONS                                         26

et accidentelle) on se basant sur deux modles l’un dit additif et l’autre multiplicatif. Ainsi,
nous donnons deux mthodes pour dterminer ces trois composantes. Concernant l’étude des sries
chronologiques, nous tablissons deux mthodes (lissage exponentiel simple, double ) permettant
d’effectuer des prvisions sur les sries chronologiques. Nous donnons des exemples concrets pour
illustrer ces mthodes. Enfin, comme application de ce travail, nous prsentons une application en
utilisant les mthodes de lissage exponentiel simple et double, afin d’établir une comparaisons
entre ces deux mthodes.

   References

    [1] FARID KADRI, SONDES CHAABANE, FOUZI HARROU, CHRISTIAN TAHON,
Modelisation et prevision des flux quotidiens des patients aux urgences hospitalieres en utilisant
l’analyse de series chronologiques ; 7eme conference de Gestion et Ingenierie des Systemes
Hospitaliers (GISEH), Jul 2014, Liege, Belgique. pp.1-8, 2014.

    [2] EMMANUEL CESAR AND BRUNO RICHARD (MARS 2006), Les Series Tempo-
relles ; Universite de Versailles,Saint-Quentin-en-Yvelines.

   [3] R. YVES ARAGON (2011), Series temporelles ; Springer Paris, 1ere Edition.

    [4] M.MARTIN (1999), Filtrage de Kalman d’une serie temporelle saisonniere. Application
la prevision de consomation d’électricite ; Revue de statistique appliquee, tome 47, n4, p. 69-86.

   [5] BECHIR DOLA (2012), Problemes econometriques d’analyse des series temporelles a
memoire longue. econometrie de la finance ; Universite Pantheon-Sorbonne - Paris I, These de
doctorat.

  Global Stability of SEIR Model with Lyapunov Function Method within
                            complex Network

                                   D. Bentaleb, S. Amine
                                LMA, FST-Mohammedia
                              douniaabentaleb@gmail.com
Abstract.
    In this paper we performed a mathematical study of an SEIR epidemic model on dynamical
network. We propose a mathematical SEIR model that considerWatts-Strogatz type dynamical
network that involve contact among individuals. We focus on the effect of the network structure
of contacts of the disease transmission. The stability conditions are obtained by using the
Lyapunov function. A numerical simulation is presented to illustrate the influence of the network
properties on the spreading of the disease in our model. This simulation can be used to determine
the statute of differents diseases in a region using data in this region and the corresponding
parameters of the infectious diseases.

References
C OMMUNICATIONS                                       27

   [1] J. SARAM AKI AND K. KASKI,(2005), Modelling development of epidemics with
dynamic small-world networks ; Journal of Theoretical Biology, vol. 234, no. 3, pp. 413-421.

   [2] D. J. WATTS AND S. H. STROGATZ (1998), Collective dynamics of small-world
networks ; Nature, vol. 393, no. 6684, pp. 440-442.

 Measuring countries stability using mathematical formula and statistical
                                   data

 Ayoub Oubibia , Ghizlane Hazamaa , Ahmed Abdelilah Bachr b and Taoufik
                               Fechtalia
             a
                 FST Mohammedia, Université Hassan II de Casablanca
                      b
                          ESI Ecole des Sciences de l’Information, Rabat
                                    ayouboubibi@gmail.com
Abstract. In the present paper, we will introduce a mathematical formula calculating countries
stability. This formula connects different variables and factors about demographic, economic,
political and social situation of countries, and uses data issued from governmental and non-
governmental institutions (statistical studies, reports, collected data, etc), in order to bring
out and quantify the stability of each country. The formula is used in creating a data-mining
model capable to calculate the stability and dress a stability map based on created data sets.
The impact of this research is especially to help decision makers and government to avoid
instability consequences like wars, revolutions, etc, and to complete realized studies in this way
by perfecting results and giving more detailed and specific information about the situation of
some areas in the world.

References

   [1] J. J. MESSNER. Fragile States Index 2017 Annual Report. The Fund For Peace, 2017

                              Study of a nonlinear elliptic problem

        Abdellah. ABNOUNE a ,E. AZROULb and M.T.K . ABBASSI c
                  a
                      Labo LAMA , Faculty of sciences Dhar El Mahraz
                         Sidi Mohamed Ben Abdellah University.
                  b
                      Labo LAMA , Faculty of sciences Dhar El Mahraz
                         Sidi Mohamed Ben Abdellah University .
                  c
                      Labo LAGA , Faculty of sciences Dhar El Mahraz
                         Sidi Mohamed Ben Abdellah University.
                               ABNOUNE.abdelabn@gmail.com
Abstract.
Vous pouvez aussi lire