Faculté des Sciences et des Techniques, Béni Mellal - Doctorat ou Doctorat Nationalhttp://toubkal.imist.ma:8080/handle/123456789/61322024-03-29T14:29:18Z2024-03-29T14:29:18Zspecification et verification formelles des systemes mecatroniques selon le modele de reference des systemes repartis ouverts rm-odpABDESSAMAD BALOUKIhttp://toubkal.imist.ma:8080/handle/123456789/258832023-11-03T14:24:15Z2016-01-01T00:00:00Zspecification et verification formelles des systemes mecatroniques selon le modele de reference des systemes repartis ouverts rm-odp
ABDESSAMAD BALOUKI
La mécatronique est la combinaison synergique et systémique de la mécanique, de
l'électronique et de l'informatique en temps réel. L'intérêt de ce domaine d'ingénierie
interdisciplinaire est de concevoir des systèmes automatiques puissants et de permettre le
contrôle de systèmes complexes.
Avec la croissance rapide de la technologie, les fonctionnalités proposées par les
constructeurs des systèmes mécatroniques sont devenus de plus en plus complexes, ces
derniers sont confrontés à de nouveaux problèmes avec ces fonctions, qui dépendent de
plusieurs calculateurs et actionneurs répartis sur des réseaux informatiques internes.
Dans ce travail nous nous concentrons sur les problèmes d'ingénierie et réingénierie des
systèmes mécatroniques. Notre contribution repose sur deux axes, le premier consiste à
soumettre à la communauté mécatronique un cadre unificateur, le RM-ODP. Ce cadre est
défini comme un méta-standard qui vise à établir des normes qui permettent de tirer profit des
avantages de la distribution de l’information dans un environnement possédant des unités
hétérogènes de traitement de l’information et qui relèvent de différents domaines d’ingénierie.
Dans le deuxième axe, nous proposons une méthode formelle afin de vérifier les lois qui
gèrent la sûreté de fonctionnement des systèmes mécatroniques, ces lois sont formalisées en B
événementiel.
Nous avons construit pas-à-pas une spécification formelle en Event-B d’un système
mécatronique. Pour y parvenir, nous avons appliqué une stratégie de raffinement. Une telle
stratégie a été appliquée avec succès et a donné naissance à une machine abstraite, des
machines raffinées et des contextes. En outre, nous avons validé la spécification formelle
obtenue en utilisant avec profit la plateforme RODIN.
2016-01-01T00:00:00Zcontribution a l’etude des proprietes antitumorales d’extraits de la propolis d’origine marocaine et de l’artemisinine
(etude cellulaire et moléculaire in vitro et in vivo)AIT MOUSE HASSANhttp://toubkal.imist.ma:8080/handle/123456789/258842023-11-03T14:25:03Z2016-01-01T00:00:00Zcontribution a l’etude des proprietes antitumorales d’extraits de la propolis d’origine marocaine et de l’artemisinine
(etude cellulaire et moléculaire in vitro et in vivo)
AIT MOUSE HASSAN
Lors de ce travail de thèse des essais cellulaires et moléculaires in vitro et des essais in vivo sur des souris du modèle DBA2/H2D ont abordé pour la première fois des aspects concernant le potentiel anti-tumoral des extraits de la propolis produite localement (Région de Beni Mellal Maroc). L’investigation des effets anti-tumoraux de l’artémisinine, originaire de la plante Artemisia annua a aussi été abordée. La combinaison des extraits de propolis et de l’artémisinine ont pour la première fois confirmé le mode d’action de cette molécule ainsi que l’effet antagoniste des extraits de propolis contenant des flavonoïdes et autres molécules ayant un grand potentiel cytotoxique sélectif et antioxydant, contre l’action cytotoxique de l’artémisinine essentiellement basée sur la production des espèces réactives de l’oxygène (ROS). L'extrait éthanolique de la propolis (EEP), ainsi que l’extrait à l'acétate d'éthyle (EAEP), exercent une activité cytotoxique in vitro d'une manière dose dépendante contre les cellules des lignées Hep2, P815 et BSR. EAEP induit l’apoptose dans les cellules P815 (marquage à l’annexineV). Les valeurs des IC50 sont comprises entre 15 et 38 μg/mL. Cette activité ne dépend pas seulement de la composition chimique de l'extrait (analyse par HPLC/ESI-MS), mais elle dépend aussi des cellules tumorales cibles. L’effet cytotoxique de ces extraits sur les cellules PBMC a été très faible comparativement à celui induit sur les cellules tumorales. D'autre part, le traitement par voie orale des souris (DBA2/P815) portant des tumeurs avec l’extrait éthanolique de propolis (5 mg et 2,5 mg par souris tous les quatre jours, cinq fois pour deux groupes différents en répétitions avec témoins, réduit significativement le volume de la tumeur (1,2cm3 et 2,7 cm3 pour les groupes traités contre 3,5 cm3 pour les témoins). Concernant l’artémisinine (ART), l’étude s’est intéressée à la cytotoxicité différentielle de l'artémisinine sur les lignées de cellules tumorales P815 et BSR. Les valeurs des IC50 sont 12 μM pour P815 et 52μM pour BSR. Ces études de cytotoxicité in vitro ont été complétées par l’étude de l’apoptose par électrophorèse de l'ADN apoptotique fragmenté et par le test de marquage à l'annexine V-streptavidine-FITC. L'apoptose a été induite par l’artémisinine dans P815, et non dans BSR. En outre, la synergie in vitro entre l’artémisinine et la vincristine a été examinée. L’administration orale de l'artémisinine a inhibé le développement des tumeurs solides chez les souris du modèle murin DBA2. Cela suggère l'existence d'interactions moléculaires différentes entre les lignées de cellules étudiées et l’artémisinine. Pour la première fois, les résultats obtenus montrent que la combinaison de l’artémisinine avec les extraits de propolis d’origine marocaine (EEP et EAEP) aboutit à l’antagonisme en ce qui concerne la cytotoxicité de l’artémisinine vis-à-vis des cellules P815. Ces résultats, confirment en même temps le mode d’action cytotoxique principal de l’ART. Cet effet antagoniste des extraits est dose dépendant en présence d’une dose fixe de l’ART (IC30). En effet, cette molécule produit son effet cytotoxique par la génération de peroxydes (ROS) suite à la réaction de son noyau trioxane (enodoperoxyde) avec le fer ferreux au sein des cellules. Ces espèces réactives de l’oxygène (ROS) ainsi produites vont tuer les cellules en oxydant les lipides membranaires et d’autres structures vitales des cellules. Ces résultats mettent en évidence et confirment de manière très intéressante le mode d’action de l’artémisinine ainsi que les interactions éventuelles entre les produits naturels et certaines drogues utilisées en chimiothérapie anticancéreuse.
2016-01-01T00:00:00Zsynthèse et caractérisation structurale et
magnétique de nanoparticules à base de fer :
ni1-xcuxfe2o4AGOURIANE EL HOCINEhttp://toubkal.imist.ma:8080/handle/123456789/258852023-11-03T14:25:38Z2016-01-01T00:00:00Zsynthèse et caractérisation structurale et
magnétique de nanoparticules à base de fer :
ni1-xcuxfe2o4
AGOURIANE EL HOCINE
Dans ce travail, nous nous sommes intéressés à l’étude de nanoparticules à base de fer, soient Ni1-xCuxFe2O4 (x=0, 0,25, 0,5, 0,75 et 1), synthétisées par coprécipitation. Ces nanoparticules ont été calcinées à l’air à différentes températures, soient 600, 800 et 1000°C. L’étude des propriétés structurales et magnétiques est rendue possible en utilisant plusieurs techniques de caractérisation complémentaires à savoir :
L’analyse thermique différentielle couplée à l’analyse thermogravimétrique, la diffraction des rayons X et la microscopie électronique à balayage ;
La spectrométrie Mössbauer en transmission sur 57Fe à la température ambiante et les mesures magnétiques au VSM sous champ à différentes températures de mesure.
Les spectres de diffraction des rayons X ne font apparaître aucunes impuretés. Les échantillons calcinés à 1000°C cristallisent dans une structure cubique dans le système Fd-3m. Le paramètre de maille a et la taille des cristallites D ont été déterminés pour l’ensemble des échantillons. L’affinement Rietveld a permis d’ajuster les spectres de diffraction X et de déterminer avec précision les paramètres a et D. Dans ce système a augmente linéairement avec la teneur en cuivre pour deux plages de concentration différentes 0-0,5 et 0,5-1.
L’analyse des spectres Mössbauer montrent que les atomes de fer se répartissent dans deux sites magnétiques différents (site-A et site-B), le champ hyperfin moyen mesuré pour ces nanoparticules montre une décroissance lorsque x augmente. Les valeurs des paramètres d’inversion montrent que les spinelles NiFe2O4 et CuFe2O4 ont des structures inverses.
L’analyse des mesures magnétiques montrent que l’aimantation à saturation, l’aimantation rémanente et le champ coercitif diminuent lorsque la teneur en cuivre augmente ce qui est à relier au caractère diamagnétique du cuivre.
2016-01-01T00:00:00Zétude de quelques équations non-linéaires intervenant en biologie et en transport neutroniqueMOUNIR BOUMHAMDIhttp://toubkal.imist.ma:8080/handle/123456789/258812023-11-03T14:23:15Z2016-01-01T00:00:00Zétude de quelques équations non-linéaires intervenant en biologie et en transport neutronique
MOUNIR BOUMHAMDI
L’objectif de cette thèse est l’étude de quelques équations aux dérivées partielles non-linéaires intervenant dans la modélisation de certains phénomènes biologiques et du transport neutronique. Elle est composée de deux parties.
La première partie traite des résultats d’existence dans les espaces L1 des fonctions sommables pour une classe d’équations non-linéaires intervenant en dynamique de populations cellulaires généralisant un modèle linéaire de Rotenberg. Ce modèle décrit
L’évolution d’une population cellulaire structurée en degré de maturité μ∈[0,1] et
vitesse de maturité v ≥0. La division d’une cellule mère donne naissance à des cellules
filles. Lors de la mitose, les cellules filles et les cellules mères sont liées par une loi de
reproduction non-linéaire, couvrant en particulier les différentes lois considérées dans la
littérature.
Dans cette partie, la vitesse de maturité est supposée infinie, i.e. v∈[0,+∞).Cette
hypothèse introduit certaines difficultés mathématiques, qui seront surmontées
essentiellement, par l’introduction d’une mesure de non-faible compacité adaptée au
problème, et l’utilisation d’un théorème récent du point fixe intervenant des opérateurs
faiblement compacts sur des espaces de Banach non réflexifs.
Quant à la deuxième partie, elle est consacrée à l’étude d’un problème aux limites intervenant en transport neutronique. Nous discutons des résultats d’existence dans les espaces L1, où l’espace des vitesses admissibles V est non borné. Nos résultats obtenus sontdes généralisations des travaux Latrach [36], [37], Latrach, Taoudi et Zeghal [40] et Latrach et Zeghal [42].
2016-01-01T00:00:00Z