Magister Thesis

Permanent URI for this collection

Browse

Recent Submissions

Now showing 1 - 20 of 25
  • ItemOpen Access
    Sur les algèbres de Moisil - Eukasiewicz
    (University of M'sila, 2000-06-10) Lemnaouar, ZEDAM; Rapporteur: AMROUNE, A.
    تناول هذه الأطروحة موضوع هام جدا في المنطق العيد القديم لريان ليكار بينش (intones)) تحت عنوان جبور موانزیل ایکار فیش بحيث تتناول في الفصل الأول مفاهيم عامة حول نظرية المجموعات وعلاقات الترتيب وأنماط الترتيب المجموعات المرتبة ، كذلك مفهوم الشبكات والشبكات المعلقة (أي التي تملك عنصر أصغر وعنصر أكبر ) والتوزيعية بمعنى التي يكون فيها الوصل توزيعي على الفصل أو العكس .. أما في الفصل الثاني الذي هو أكثر أهمية من سابقه نظرا للمفاهيم والنتاج التي يحملها حول هذا الموضوع، حيث تناول فيه نظرية التمثيلات الجبرية الجيد موايزيل ليكاريفيتش يجير غامض ( Algebra lone مفهوم لطفي أكبر زادة). وركزنا في دراستنا في إقامة تمثيل بحيث تكون فيه سلسلة (chine) خبر موايزيل البكاريش من نفس نمط ترتيب سلسلة الخبر الغامض بمفهوم زادة . في هذا الفصل كذلك قمنا ببرهنة لزوم شريط الاستمرار في جير ايكاريفيتش منبع النفي ( negration) يعنما فرضنا أن تمثيلة بجبر فاطن موجود . هذا الشرط الأخير الذي كان عبارة عن مشكل مطروح من طرف الباحثين الفرسيين ( Clone Couton) في بحث تحت عنوان : Un nouveau résultat concernant la représentation d'une algèbre de fukasiewicz involutive dans l'algébre des parties d'une structure floues involutive Revin Romaine de Mathématique pures et appl. 38 (1993) وأخيرا أنهينا هذه الأطروحة بفصل ثالث يحمل التمثيلات التيولوجية لجير ليكار يفيتش مع النفي وملخص لأهم ما جاء في هذه الرسالة .
  • ItemOpen Access
    Implémentation des primitives cryptographiques dans les réseaux de capteurs sans fil
    (University of M'sila, 2016-06-10) Ghehioueche, Amar Abdelmalek; Rapporteur: chikouche, noureddine
    Les réseaux de capteurs sans fil (RCSF) sont de plus en plus importants du fait qu'ils sont présents dans de nombreuses applications telles que : militaires, médicales...etc. Ces applications ont souvent besoin d'un niveau de sécurité important. Dans ce mémoire, on présente un état de l'art des principales primitives cryptographiques. Notre objectif est de pouvoir implémenter des différentes primitives étudies dans un capteur pour évaluer ses performance en terme de consommation de l'énergie, occupation de l'espace de mémoire, et le temps d'exécution. Nos résultats expérimentaux sont basés sur l'utilisation de deux types des simulateurs : TOSSIM et Avrora.
  • ItemOpen Access
    Rigidity Test Using the Pebble Game Centralized Implementation
    (University of M'sila, 2016-06-10) DJAIDJA, Ridha; Research Director: Moussaoui, A.
    In this dissertation, we start our study With rigidity theory that can test rigidity and flexibility of bar and joint frameworks in 2 dimension. different applications related to rigidity theory have been made in several fields. This theory has facilitated the development of the pebble game algorithms, and we implement a computer program to test the rigidity and flexibility of a given graph.
  • ItemOpen Access
    Suicide detection in social networks
    (University of M'sila, 2016-06-10) BOUAFIA, MOHAMED; Supervisor: mehenni, TAHAR
    Suicide is phenomenon, which has a relevant impact on our society; also it is a major psychological health problem which requires early detection strategies. So the work undertaken within the framework of this research paper related to the realization of a system which makes the detection of suicide possible in social networks, moreover, this system is based on some suicidal tweets that have proved that people Who tweeted them has really committed a suicide.
  • ItemOpen Access
    Rigidity Test Using The Pebble Game Distributed Implementation
    (University of M'sila, 2016-06-10) BOURAS, Ibrahim; Research Director: Moussaoui, Adel
    James Clark Maxwell wondered: counting vertices and edges in a given framework is enough to make predictions about its rigidity and fexibility? Laat in 1970 confirmed that the 24 generic bar and joint frameworks is completely combinatorial problem. Le counting is enough to decide.. The 2V-3 counting condition for 24 structures verified by the last pebble game algorithm which tracks quickly this count. Hendrickson and jacobs proposed the centralized pebble gume version in 1997. In 2014, group of researchers proposed the decentralized version in IEEE In this thesis, we the implement the asynchronous, distributed algorithm of the pebble game for testing the rigidity in 2d framework, using java threads and interprocess communicatons protocols. We have also introduced several rigidity theory applications, we will apply our algorithm on some 2d strucutres. The results obtained in this Master theisis showed that our distributed implementation is well done and worked.
  • ItemOpen Access
    Relation d’ordre flou et ensemble partiellement fuzzy ordonné
    (University of M'sila, 2010-06-10) ZIANE, Brahim; Rapporteur: Amroune, A.
    La première partie de ce mémoire présente la connexion entre la relation d'ordre flou (faible) sur un ensemble non vide X et l'ensemble des parties floues d'un ensemble net partiellement ordonné sur X (Fuzzy poset), ainsi que plusieurs propriétés des coupes de structures (Treillis, treillis complet…) sont prouvées . La deuxième partie de ce document présente trois résultats fondamentales de représentation et de construction : (i) Représentations basé sur la fonction score, (ii) Représentations basées sur inclusion, (iii) Représentations par décomposition, en ordres linéaires classiques et des relations floues d'équivalence. Ce qui facilite également une construction basé sur pseudo-métriques.
  • ItemOpen Access
    Méthaheuristique, pour résoudre les problèmes d'ordonnancement des tâches sur des machines parallèles
    (University of M'sila, 2008-06-10) SELT, Omar; Rapporteur: BELOUADAH, HOCINE
    Le travail de cet mémoire concerne l'étude du problème d'ordonnancement des tâches sur machines parallèles avec périodes d'indisponibilité où chaque tâche a une durée d'exécution et un poids lié à son importance et l'objectif est de déterminer une séquence de tâche sur les machines afin de minimiser la somme pondérée des dates de fin. Le problème est connu d'être NP- difficile. Il n'a jamais été résolu par la méthode dite taboue –à notre meilleur connaissance- ici on a proposé l'application de cette métaheuristique pour déterminer une solution approchée et moins coûteuse de point de vue temps l'exécution. Le cas d'une seule machine est aussi étudié séparément.
  • ItemOpen Access
    RESOLUTION NUMERIQUE DES EQUATIONS INTEGRALES
    (University of M'sila, 2004-06-10) RAHMOUNE, Azedine; promoteur: Mostefa, Nadir
    Dans ce travail nous proposons une nouvelle méthode de résolution numérique des équations intégrales, en particulier celles de Volterra de seconde espèce. L’idée principale de cette construction est l’adaptation de la formule de quadrature de Simpson, ainsi pour voir la performance et l’efficacité de cette méthode, nous allons contribuer à l’étude du comportement de l’erreur face à des problèmes différents, en outre on établit une comparaison avec deux méthodes, celle des trapèzes (voir [8]) et une méthode adaptative (voir [14]).
  • ItemOpen Access
    Etude de quelques propriétés d’ordres flous intuitionnistes
    (University of M'sila, 2010-06-10) MILLES, Soheyb; Rapporteur: Lemnaouar, ZEDAM
    Dans ce travail, nous avons vu le concept de l ensemble ou intuitionniste comme une généralisation de la notion d ensemble ou, nous avons aussi examiné, le concept de relation oue intuitionniste, qui est considéré comme un ensemble ou intuitionniste. Nous avons étudié en profondeur un genre de relations "les relations d ordres oues intuitionnistes". Nous avons étudié quelques propriétés des ordres oues intuitionnistes (la min- imisation d une famille d ordres oues intuitionnistes, la compatibilité avec les struc- tures des espaces vectorielles, la Caractérisation d une sous-catégorie d ordres ous, l ordre ou total,....etc, parmis les propriétés les plus importantes se trouve l extension linéaire, dans ce sens nous avons fourni un lemme(Lemme 4.1.1) qui permet la création d une relation où les éléments sont comparables, puis on généralise ce résultat dans un théorème(Théorème 4.1.2) où chaque relation d ordre ou intuitionniste sur un en- semble non vide X peut être étendu à une relation d ordre ou intuitionniste total sur X. Finalement, et dans le même sens nous avons fourni une algorithme d extension linéaire pour obtenir un ordre total puis on donne des exemples pratiques. Nous constatons que les propriétés des ordres ous se généralisent par analogie au cas d un ordre ou intuitionniste. Nous signalons par ailleurs que les résultats concernant les relations oues intu- itionnistes demeurent encore ouverts, nous avons proposé un aperçu sur les ordres ous intuitionnistes seulement. Nous signalons aussi que si la relation d ordre oue intuitionniste n est pas total ( l ensemble X est partiellement ordonné), on peut parler de la structure d un treillis et aussi un treillis complementé et étudier sont propriétés algebrigues comme un travaille de future.
  • ItemOpen Access
    La composition à gauche par les opérateurs du para produit
    (University of M'sila, 2010-06-10) MELIANI, Saliha; Rapporteur: MOUSSAI, Madani
    Soit l'opérateur de composition à gauche définie par T: g→fog. Il s'agit de caractériser la fonction réelle f définie sur l'axe réel R, tel que T soit borné sur certains espaces fonctionnels de type de Sobolev, de Besov et de Lizorkin-Triebel. En utilisant les opérateurs du par-produit, définis par J.M Bony à partir de la théorie de Littlweood-Paley et développés par Y.Meyer, pour la paralinéarisation.
  • ItemOpen Access
    LES PROBLEMES D’ORDONNANCEMENT A CHEMINEMENT UNIQUE « FLOW SHOP » ET MULTIPLE « JOB SHOP »
    (University of M'sila, 2004-06-10) LATRECHE, FAIZ; Rapporteur: BELOUADAH, H.
    Ce mémoire s'intéresse aux problèmes d'ordonnancement a cheminement unique (flow shop) et multiple (job shop) . la partie théorique est consacrée à la représentation de ces deux type des problèmes avec quelque cas particuliers. Dans la partie pratique , on a proposé deux heuristiques A , B basés sur le même principe que CDS pour résoudre le problème général n/m/F/Cmax puis on a programmé ces trois méthodes (A , B et CDS) pour les tester et comparer sur différents exemples.
  • ItemOpen Access
    ETUDE DE L’EQUIVALENCE DE DEUX CODES SUR UN CORPS FINI
    (University of M'sila, 2004-06-10) LADJELAT, LAHCENE; Promoteur: MIHOUBI, Douadi
    Deux codes sont équivalents par permutation s’ils sont égaux à une permutation prés de leurs coordonnées , nous présentons ici une étude capable de calculer cette permutation. Nous introduisons la notion de signature comme une propriété d’une position d’un code. Pour déterminer la permutation entre deux codes equivalents , il suffit de trouver une signature totalement discriminante. Notre intention porte sur le cas où cette signature n’est pas totalement discriminante
  • ItemOpen Access
    Kheniche
    (University of M'sila, 2008-06-10) Kheniche, Azzedine; Rapporteur: Amroune, A.
    Dans ce travail, nous traitons plusieurs propri´et´es relatives aux ordres flous, on introduit les notions de majorants, minorants, borne sup´erieure, borne inf´erieures, (par rapport `a un ordre flou), les -ordres flous sont utilis´e pour introduire le lemme de Zorne g´en´eralis´e au cas flou. Nous pr´esentons aussi la notion d’un treillis flou, et ses propri´et´es fondamentales, puis on ´etudie un treillis particulier qui est le treillis de Heyting, et enfin, un aper¸cu sur la dualit´e de Preistley dans le cas d’un ordre flou.
  • ItemOpen Access
    ETUDE DE TECHNIQUES DE DÉCODAGE DES CODES LINÉAIRES
    (University of M'sila, 2010-06-10) HEBOUB, LAKHDAR; Rapporteur: Mihoubi, Douadi
    Ce travail se situe dans le cadre de la théorie des codes correcteurs d'erreurs. Plus précisément l'étude de problèmes de décodage des codes linéaires qui consiste à déterminer le message original envoyé via un canal de transmission, à partir du message reçu. Tout d'abord nous présentons les concepts fondamentaux de la théorie des codes correcteurs d'erreurs ensuite nous abordons les méthodes de décodage des codes linéaires, en utilisant quatre méthodes différentes: -En utilisant le tableau standard. -le syndrôme. -la méthode de meggitt. -la méthode de décodage par piégeage d'erreur. Et on terminera par la méthode de décodage de meggitt au cas non binaire.
  • ItemOpen Access
    Etude numérique d’un écoulement réactif dans une configuration axisymétrique par la méthode de volumes finis
    (University of M'sila, 2010-06-10) DJERAD, Abdelkader; Rapporteur: Bouderah, Brahim
    Le présent travail repose essentiellement sur l'application de l'approche des volumes finis utilisée par le code de calcul FLUENT en simulation numérique des phénomènes de l'aerothermnochimie turbulente dans la combustion a des flammes non prémélangées. Cette étude basée sur un jet axisymetrique et turbulent en dimension deux, dans un foyer de chaudière en acier pour deux fonds différents : fond plat et un fond bombé. En utilisant le modèle k-E et le modèle Eddy Dissipation pour la modélisation de la combustion, qui a donné de résultats pertinente. On peut citer quelques remarques importantes après cette étude : 1) Pour ce qui est de la température, on observe une augmentation de cette dernière, signe caractéristique d'une réaction de bonne combustion dans le cas du fond bombé qui est le rapport direct d'augmenter la puissance de la chaudière. 2) D'autre part, les résultats de la vitesse donnée au foyer de fond bombé, a une priorité de bonne géométrie, car l'augmentation des valeurs de la vitesse qui est un signe de bonne circulation des gaz injecter au foyer et aussi les gaz brûlée sortant du même foyer. 3) La diminution des valeurs de la pression répond a la demande de la pression idéal au foyer de combustion pour réserver toutes les caractéristique des parois du foyer donc augmenter la dure de vie de la chaudière. Pour conclure notre travail, une étude future en 3D, nous parait intéressante, et serait peut être judicieux de traiter un exemple plus compliqué, tenant compte de l'apport de la circulation de l'eau autour de les parois et pour lequel la simulation numérique qui s'impose prendrait en compte des nouveaux condition aux limites, certainement, d'approcher avec plus de précision le comportement réel du problème complexe de la combustion dans un foyer de chaudière.
  • ItemOpen Access
    Analyse Variationnelle et Numérique de Quelques Problèmes de Contact avec Frottement et Adhésion
    (University of M'sila, 2010-06-10) Chougui, Nadhir; Rapporteur: DRABLA, Salah
    Ce mémoire est destiné à l'étude variationnelle et numérique de quelques pro- blèmes de contact unilatéral, avec adhésion et avec adhésion et frottement, entre un corps déformable et une base rigide ou déformable. Nous étudions des processus quasi-statiques pour des matériaux élastiques et viscoelastiques sous l'hypothèse des petites transformations. Les résultats obtenus concernent l'existence et l'uni- cité des solutions faibles dans l'étude variationnelle et l'estimation d'erreur dans l'étude numérique. Le mémoire est partitionné en trois chapitres. Le premier cha- pitre est consacré à l'étude variationnelle et numérique d'un problème de contact avec adhésion entre un corps élastique et une base rigide. Le deuxième chapitre est destiné à l'étude variationnelle d'un problème de contact avec adhésion et frot- tement entre un corps élastique et une base rigide. Le dernier chapitre est dédié à l'étude variationnelle d'un problème de contact avec adhésion et frottement entre un corps viscoelastique et une base déformable. Enfin, on présente une annere comprenant les outils nécessaires pour la réalisation de ce mémoire.
  • ItemOpen Access
    Etude qualitative et comparative d’algorithmes d’analyse de signaux par ondelettes
    (University of M'sila, 2008-06-10) Chaker, Mourad; Encadreur: Benhamidouche, Nouredine
    En traitement du signal, le critère d’efficacité de la méthode d’analyse réside dans une bonne lisibilité de la transformée. La transformée en ondelettes se présente comme un instrument d’analyse plus riche et plus puissant que l’analyse de Fourier. Dans cette étude, on a fait un développement théorique pour les deux méthodes d’analyse (Fourier et ondelette), et on a donné des exemples pratiques pour monter les limites de la transformée de Fourier et la transformée de Fourier à court terme. Nous avons fait une comparaison entre les deux méthodes, en se basant sur des signaux simulés, en prenant compte des différents paramètres afin de bien exploiter la transformée en ondelettes. La transformée en ondelettes semble très pertinente surtout dans l’étude des signaux non-stationnaire. Vu les propriétés intéressantes de la transformée en ondelettes et la pertinence de la technique et l’efficacité des algorithmes de décompositionrecomposition, nous espérons continuer dans cette voie pour étudier des problèmes liés à la technologie de pointes.
  • ItemOpen Access
    Relation de couverture floue et ordre
    (University of M'sila, 2008-06-10) BOUAD, Aissa; Rapporteur: AMROUNE, A.
    On présente dans ce mémoire le rapport entre la relation d'ordre classique et la relation de couverture correspondante. Notre objectif est de définir une relation floue de couverture d'une manière indépendante de l’ordre, puis définir l'ordre flou correspondant. On s'intéresse aussi au traitement des concepts alternatifs de l'ordre flou de point de vue représentation, construction et fuzzification d'un ordre classique. Cette approche généralise aussi le rapport importa n t e n t r e l ' o r d r e f l o u e t l a s i m i l a r i t é .
  • ItemOpen Access
    Etude sur l’équivalence entre deux codes Correcteurs d’erreurs
    (University of M'sila, 2009-06-10) BENNOUI, Abedelhamid; Rapporteur: Mihoubi, Douadi
    Dans ce mémoire, on s’intéresse à l’étude de l’équivalence entre deux codes correcteurs d’erreurs. Deux codes C et C sont dits équivalents s’il existe une permutation Sn telle que C C . La détermination de l’équivalence entre deux codes a pour but essentiel la classification des codes. Deux code sont équivalents par permutation s’iles sont égaux à une permutation prés a leur coordonnées. Dans ce travail on présente une étude capable de calculer cette permutation qui transforme l’un des codes à l’autre en utilisant trois méthodes diffirentes - En utilisant les matrices géneratrices des deux codes sous formes standard. - En utilisant les permutations sur les positions. - En utilisant l’Algorithme de NICOLAS SENDRIER si la signature et totalement discriminante.
  • ItemOpen Access
    REGULERISATION FOURIER POUR UNE CLASSE DE PROBLEME MAL POSES
    (University of M'sila, 2007-06-10) BEDDIAR, Kamal; Rapporteur: Denche, M.
    Le présent travail est consacré à l'étude d'un problème parabolique mal posé. Deux méthodes de régularisation sont proposées, l'un de TIKHONOV et l'outre de FOURIER. On montre le convergence des méthodes utilisées et des résultats d'estimations d'erreurs sont obtenues.