University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'éditeur
Sétif:UFS |
Documents disponibles chez cet éditeur
Ajouter le résultat dans votre panier Affiner la recherche
Implémentation d'un algorithme auto-stabilisant pour le calcul d'un ensemble dominant (algorithme de Neggazi) / Ratiba Boubaaya
Titre : Implémentation d'un algorithme auto-stabilisant pour le calcul d'un ensemble dominant (algorithme de Neggazi) Type de document : texte imprimé Auteurs : Ratiba Boubaaya, Auteur ; Imane Foughar ; Guellati,Nabil, Directeur de thèse Editeur : Sétif:UFS Année de publication : 2023 Importance : 1 vol (42 f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Systèmes distribués
Auto-stabilisation
Algorithmes auto-stabilisants
Ensembles dominants.Index. décimale : 004 - Informatique Résumé : Le système distribué est un ensemble de processeurs autonomes qui ne se partagent
pas de mémoire primaire mais qui coopèrent par envoi de messages au travers un réseau
de communication, Il a été développé à cause de l'augmentation remarquable des besoins
informatiques.Cependant, le nombre des processeurs augmente la probabilité des panne,
de sorte qu'il était nécessaire de tolérer les pannes pour assurer la continuité du
fonctionnement du système . Parmi les mécanismes utilisés dans le processus de
tolérance aux pannes il y a ce qu’on appelle l’auto-stabilisation, elle a été introduite par
E.W.Dijkstra en 1973. un systèm distribué est défini comme auto-stabilisant si à partir de
n'importe quelle configuration initiale, le système atteindra un état de fonctionnement
correct en un temps fini.un grand nombre des algorithmes auto-stabilisant ont été
proposés dans la littérature.dans ce travail Nous nous concentrerons sur les algorithmes
auto stabilisant pour calculer un ensemble dominant.Nous implémentons un algorithme
distribué auto stabilisant qui permet de calculer un ensemble fortement dominant minimal
(ISDS) et le transformons du modèle théorique vers un modèle implémentable = The distributed system is a set of autonomous processors that do not share primary
memory but which cooperate by sending messages through a communication network, It
was developed because of the remarkable increase in computer needs.However, the
number of machines increases the probability of failures, so it was necessary to tolerate
failures to ensure the continuity of system execution . Among the mechanisms used in the
fault tolerance process there is the so-called self-stabilization; it was introduced by
E.W.Dijkstra in 1973. a distributed system is defined as self-stabilizing if, from any initial
configuration, the system will reach a correct operating state in a finite time.a large number
of self-stabilizing algorithms have been proposed in the literature.in this work we will focus
on self-stabilizing algorithms to calculate a dominant set.we implement a self-stabilizing
distributed algorithm that makes it possible to calculate independent strong dominating
set (ISDS) and transform it from the theoretical model to an implementable model.
Côte titre : MAI/0790
En ligne : https://drive.google.com/file/d/1Nk1pkEhiD1UWwRt2QuNdlGBgbkZy-Ta_/view?usp=drive [...] Format de la ressource électronique : Implémentation d'un algorithme auto-stabilisant pour le calcul d'un ensemble dominant (algorithme de Neggazi) [texte imprimé] / Ratiba Boubaaya, Auteur ; Imane Foughar ; Guellati,Nabil, Directeur de thèse . - [S.l.] : Sétif:UFS, 2023 . - 1 vol (42 f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Systèmes distribués
Auto-stabilisation
Algorithmes auto-stabilisants
Ensembles dominants.Index. décimale : 004 - Informatique Résumé : Le système distribué est un ensemble de processeurs autonomes qui ne se partagent
pas de mémoire primaire mais qui coopèrent par envoi de messages au travers un réseau
de communication, Il a été développé à cause de l'augmentation remarquable des besoins
informatiques.Cependant, le nombre des processeurs augmente la probabilité des panne,
de sorte qu'il était nécessaire de tolérer les pannes pour assurer la continuité du
fonctionnement du système . Parmi les mécanismes utilisés dans le processus de
tolérance aux pannes il y a ce qu’on appelle l’auto-stabilisation, elle a été introduite par
E.W.Dijkstra en 1973. un systèm distribué est défini comme auto-stabilisant si à partir de
n'importe quelle configuration initiale, le système atteindra un état de fonctionnement
correct en un temps fini.un grand nombre des algorithmes auto-stabilisant ont été
proposés dans la littérature.dans ce travail Nous nous concentrerons sur les algorithmes
auto stabilisant pour calculer un ensemble dominant.Nous implémentons un algorithme
distribué auto stabilisant qui permet de calculer un ensemble fortement dominant minimal
(ISDS) et le transformons du modèle théorique vers un modèle implémentable = The distributed system is a set of autonomous processors that do not share primary
memory but which cooperate by sending messages through a communication network, It
was developed because of the remarkable increase in computer needs.However, the
number of machines increases the probability of failures, so it was necessary to tolerate
failures to ensure the continuity of system execution . Among the mechanisms used in the
fault tolerance process there is the so-called self-stabilization; it was introduced by
E.W.Dijkstra in 1973. a distributed system is defined as self-stabilizing if, from any initial
configuration, the system will reach a correct operating state in a finite time.a large number
of self-stabilizing algorithms have been proposed in the literature.in this work we will focus
on self-stabilizing algorithms to calculate a dominant set.we implement a self-stabilizing
distributed algorithm that makes it possible to calculate independent strong dominating
set (ISDS) and transform it from the theoretical model to an implementable model.
Côte titre : MAI/0790
En ligne : https://drive.google.com/file/d/1Nk1pkEhiD1UWwRt2QuNdlGBgbkZy-Ta_/view?usp=drive [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0790 MAI/0790 Mémoire Bibliothéque des sciences Français Disponible
DisponibleImplémentation d’un algorithme auto-stabilisant pour le calcul d’un ensemble indépendant(Algorithme Srimani) / Rebiha Rahma Bouima
Titre : Implémentation d’un algorithme auto-stabilisant pour le calcul d’un ensemble indépendant(Algorithme Srimani) Type de document : texte imprimé Auteurs : Rebiha Rahma Bouima, Auteur ; Keltoum Serradj ; Nabil Guellati, Directeur de thèse Editeur : Sétif:UFS Année de publication : 2023 Importance : 1 vol (48 f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Système répartie
Tolérance aux pannes
Auto-stabilisation
Clustering
Ensemble indépendant
Ensemble indépendant maximalIndex. décimale : 004 - Informatique Résumé : Un système distribué est constitué d’unités de calcul autonomes qui collaborent
pour atteindre un objectif commun. Il est important de prendre en compte la probabilité de panne de ces systèmes, et l’auto-stabilisation joue un rôle essentiel dans la
gestion de ces pannes. De plus, le clustering offre une solution pour réduire les coûts de
communication. Notre recherche se focalise sur l’implimentation d’un algorithme autostabilisant permettant de calculer un ensemble indépendant maximal dans un graphe
arbitraire =
A distributed system consists of autonomous computing units that collaborate to
achieve a common goal. It is important to consider the probability of failure in these systems, and self-stabilization plays a crucial role in managing such failures. Additionally,
clustering provides a solution to reduce communication costs. Our research focuses on
implementing a self-stabilizing algorithm to calculate a maximum independent set in
an arbitrary graph.Côte titre : MAI/0794
En ligne : https://drive.google.com/file/d/1cfCIVu_-9VflOCFcsS2noYnFM8YUUVZS/view?usp=drive [...] Format de la ressource électronique : Implémentation d’un algorithme auto-stabilisant pour le calcul d’un ensemble indépendant(Algorithme Srimani) [texte imprimé] / Rebiha Rahma Bouima, Auteur ; Keltoum Serradj ; Nabil Guellati, Directeur de thèse . - [S.l.] : Sétif:UFS, 2023 . - 1 vol (48 f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Système répartie
Tolérance aux pannes
Auto-stabilisation
Clustering
Ensemble indépendant
Ensemble indépendant maximalIndex. décimale : 004 - Informatique Résumé : Un système distribué est constitué d’unités de calcul autonomes qui collaborent
pour atteindre un objectif commun. Il est important de prendre en compte la probabilité de panne de ces systèmes, et l’auto-stabilisation joue un rôle essentiel dans la
gestion de ces pannes. De plus, le clustering offre une solution pour réduire les coûts de
communication. Notre recherche se focalise sur l’implimentation d’un algorithme autostabilisant permettant de calculer un ensemble indépendant maximal dans un graphe
arbitraire =
A distributed system consists of autonomous computing units that collaborate to
achieve a common goal. It is important to consider the probability of failure in these systems, and self-stabilization plays a crucial role in managing such failures. Additionally,
clustering provides a solution to reduce communication costs. Our research focuses on
implementing a self-stabilizing algorithm to calculate a maximum independent set in
an arbitrary graph.Côte titre : MAI/0794
En ligne : https://drive.google.com/file/d/1cfCIVu_-9VflOCFcsS2noYnFM8YUUVZS/view?usp=drive [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0794 MAI/0794 Mémoire Bibliothéque des sciences Français Disponible
DisponibleL’implémentation d’un algorithme auto-stabilisant pour le calcul d’un ensemble indépendant (algorithme de Turau) / Feriel Bourioune
Titre : L’implémentation d’un algorithme auto-stabilisant pour le calcul d’un ensemble indépendant (algorithme de Turau) Type de document : texte imprimé Auteurs : Feriel Bourioune, Auteur ; Meriem Ibtihel Akoubache ; Guellati,Nabil, Directeur de thèse Editeur : Sétif:UFS Année de publication : 2023 Importance : 1 vol (60 f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : L’auto-stabilisation
Système distribué
algorithmes distribués
Auto-stabilisant
Ensembles indépendants
Clustering.Index. décimale : 004 - Informatique Résumé :
L'autostabilisation, introduite par Edsger Dijkstra en 1973,est une branche de
l'algorithmique répartie qui vise à concevoir des systèmes capables de se rétablir
d'eux-mêmes en un nombre fini d'étapes de calcul et de revenir
automatiquement à un état de fonctionnement correct, même après des
perturbations ou des pannes. Dans le domaine des systemes distribué, les
ensembles indépendants et le clustering sont des concepts importants. Les
ensembles indépendants modélisent des groupes de nœuds pouvant utiliser des
ressources sans interférence, tandis que le clustering divise les nœuds d'un
réseau en groupes homogènes pour faciliter le routage et la diffusion
d'informations. Nous étudions dans ce travail les algorithmes distribués
autostabilisants pour le calcul d'un ensemble indépendant maximal. Ces derniers
permettent de garantir une allocation des ressources équitables même en cas de
perturbations dans le système. Nous implémentons Un algorithme distribué
autostabilisant, l'algorithme de Vokler Turau, qui vise à calculer un ensemble
indépendant maximal dans un graphe non orienté.Il est capable de se rétablir
automatiquement et de maintenir un état cohérent du système malgré les
perturbations, en utilisant des prédicself-stabilization, introduced by Edsger Dijkstra in 1973, is a branch of
distributed computing that aims to design systems capable of self-recovery in a
finite number of computation steps and automatically returning to a correct
operational state, even after disturbances or failures. In the field of distributed
systems, independent sets and clustering are important concepts. Independent
sets model groups of nodes that can use resources without interference, while
clustering divides network nodes into homogeneous groups to facilitate routing
and information dissemination. In this work, we study distributed self-stabilizing
algorithms for computing maximal independent sets. These algorithms ensure
fair resource allocation, even in the presence of disturbances in the system. We
implement an example of a distributed self-stabilizing algorithm, the algorithm
of Volker Turau, which aims to compute a maximal independent set in an
undirected graph.ats spécifiques pour prendre des décisions It is capable of automatic recovery and maintaining a coherent system state
despite disturbances by using specific predicates to make decisions based on the
state of neighboring nodes.
Côte titre : MAI/0797
L’implémentation d’un algorithme auto-stabilisant pour le calcul d’un ensemble indépendant (algorithme de Turau) [texte imprimé] / Feriel Bourioune, Auteur ; Meriem Ibtihel Akoubache ; Guellati,Nabil, Directeur de thèse . - [S.l.] : Sétif:UFS, 2023 . - 1 vol (60 f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : L’auto-stabilisation
Système distribué
algorithmes distribués
Auto-stabilisant
Ensembles indépendants
Clustering.Index. décimale : 004 - Informatique Résumé :
L'autostabilisation, introduite par Edsger Dijkstra en 1973,est une branche de
l'algorithmique répartie qui vise à concevoir des systèmes capables de se rétablir
d'eux-mêmes en un nombre fini d'étapes de calcul et de revenir
automatiquement à un état de fonctionnement correct, même après des
perturbations ou des pannes. Dans le domaine des systemes distribué, les
ensembles indépendants et le clustering sont des concepts importants. Les
ensembles indépendants modélisent des groupes de nœuds pouvant utiliser des
ressources sans interférence, tandis que le clustering divise les nœuds d'un
réseau en groupes homogènes pour faciliter le routage et la diffusion
d'informations. Nous étudions dans ce travail les algorithmes distribués
autostabilisants pour le calcul d'un ensemble indépendant maximal. Ces derniers
permettent de garantir une allocation des ressources équitables même en cas de
perturbations dans le système. Nous implémentons Un algorithme distribué
autostabilisant, l'algorithme de Vokler Turau, qui vise à calculer un ensemble
indépendant maximal dans un graphe non orienté.Il est capable de se rétablir
automatiquement et de maintenir un état cohérent du système malgré les
perturbations, en utilisant des prédicself-stabilization, introduced by Edsger Dijkstra in 1973, is a branch of
distributed computing that aims to design systems capable of self-recovery in a
finite number of computation steps and automatically returning to a correct
operational state, even after disturbances or failures. In the field of distributed
systems, independent sets and clustering are important concepts. Independent
sets model groups of nodes that can use resources without interference, while
clustering divides network nodes into homogeneous groups to facilitate routing
and information dissemination. In this work, we study distributed self-stabilizing
algorithms for computing maximal independent sets. These algorithms ensure
fair resource allocation, even in the presence of disturbances in the system. We
implement an example of a distributed self-stabilizing algorithm, the algorithm
of Volker Turau, which aims to compute a maximal independent set in an
undirected graph.ats spécifiques pour prendre des décisions It is capable of automatic recovery and maintaining a coherent system state
despite disturbances by using specific predicates to make decisions based on the
state of neighboring nodes.
Côte titre : MAI/0797
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0797 MAI/0797 Mémoire Bibliothéque des sciences Français Disponible
DisponibleImplémentatIon numérIque d’une méthode de poInt IntérIeur pour la programmatIon lInéaIre / Aya Chaoui
Titre : ImplémentatIon numérIque d’une méthode de poInt IntérIeur pour la programmatIon lInéaIre Type de document : texte imprimé Auteurs : Aya Chaoui, Auteur ; Rahma Kabour, Auteur ; Leulmi ,Assma, Directeur de thèse Editeur : Sétif:UFS Année de publication : 2023 Importance : 1 vol (52 f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Mathématique Mots-clés : Programmation linéaire
Méthodes de point intérieureIndex. décimale : 510-Mathématique Résumé : Dans ce mémoire, nous proposons une nouvelle approche barrière logarithmique pourrésoudre
un problème de programmation linéaire. Nous nous intéressons au calcul de la direction par la
méthode de Newton et pas de déplacement en utilisant une nouvelle fonction minorante au lieu
d’utiliser les méthodes de recherche linéaire afin de réduire le coût de calcul = In this memory, we propose a new logarithmic barrier approach to solve a linear
programming problem. We are interested in computation the direction by Newton's method and
displacement step by using a new minorant function instead of using the line search methods in
order to reduce the computation cost.
This work is consolidated by comparative numerical tests carried out on the algorithm
obtained to illustrate the effectiveness of our new minorant function
Ce travail est consolidé par destests numériques comparatifs réalisés sur l'algorithmeobtenu pour
illustrer l'efficacité de notre nouvelle fonction minorante.Côte titre : MAM/0654 En ligne : https://drive.google.com/file/d/135oa-JDcCQOkJ9zi-qbnHNJrTY6BuLsu/view?usp=drive [...] Format de la ressource électronique : ImplémentatIon numérIque d’une méthode de poInt IntérIeur pour la programmatIon lInéaIre [texte imprimé] / Aya Chaoui, Auteur ; Rahma Kabour, Auteur ; Leulmi ,Assma, Directeur de thèse . - [S.l.] : Sétif:UFS, 2023 . - 1 vol (52 f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Mathématique Mots-clés : Programmation linéaire
Méthodes de point intérieureIndex. décimale : 510-Mathématique Résumé : Dans ce mémoire, nous proposons une nouvelle approche barrière logarithmique pourrésoudre
un problème de programmation linéaire. Nous nous intéressons au calcul de la direction par la
méthode de Newton et pas de déplacement en utilisant une nouvelle fonction minorante au lieu
d’utiliser les méthodes de recherche linéaire afin de réduire le coût de calcul = In this memory, we propose a new logarithmic barrier approach to solve a linear
programming problem. We are interested in computation the direction by Newton's method and
displacement step by using a new minorant function instead of using the line search methods in
order to reduce the computation cost.
This work is consolidated by comparative numerical tests carried out on the algorithm
obtained to illustrate the effectiveness of our new minorant function
Ce travail est consolidé par destests numériques comparatifs réalisés sur l'algorithmeobtenu pour
illustrer l'efficacité de notre nouvelle fonction minorante.Côte titre : MAM/0654 En ligne : https://drive.google.com/file/d/135oa-JDcCQOkJ9zi-qbnHNJrTY6BuLsu/view?usp=drive [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAM/0654 MAM/0654 Mémoire Bibliothéque des sciences Français Disponible
Disponible
Titre : Influence de la minéralisation en corrosion : Cas des eaux salines Type de document : texte imprimé Auteurs : Salima Aiouaz ; Nilia Serine Selmi ; Saifi Issaadi, Directeur de thèse Editeur : Sétif:UFS Année de publication : 2023 Importance : 1 vol. (61 f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Chimie Mots-clés : Corrosion Fer Cuivre Chlorure de sodium ENASEL
Iron copper sodium chlorideRésumé : Ce travail de recherche a été réalisé au niveau la station de production de sel ENASEL «Entreprise nationale des sels, Salin Guergour Lamri » (Ain Oulmène -Sétif). Le travail est consacré à l’étude du comportement des métaux en milieu salin NaCl (saumure).
Dans ce travail, nous avons focalisé notre étude sur le comportement électrochimique du fer et de cuivre en contact d’une solution aéré de chlorure de sodium. Cette solution a été préparée pour différentes concentrations en contact avec le cuivre (effet de concentrations) et pour différents temps d’immersion pour l’électrode de fer (effet de temps). L’étude a été menée à l’aide des techniques stationnaires et transitoires : les courbes en circuit ouvert, les courbes de spectroscopie d’impédance électrochimique (SIE) et les courbes de polarisation (droits de Tafel) = This research work was carried out at the ENASEL salt production station "Entreprise nationale des sels, Salin Guergour Lamri" (Ain Oulmène -Sétif). The work was devoted to studying the behavior of metals in a NaCl saline medium (brine).
In this work, we focused on the electrochemical behavior of iron and copper in contact with an aerated sodium chloride solution. This solution was prepared for different concentrations in contact with copper (concentration effect) and for different immersion times for the iron electrode (time effect). The study was carried out using stationary and transient techniques: open circuit curves, electrochemical impedance spectroscopy (EIS) curves and polarization curves (Tafel rights)Côte titre : MACH/0309 En ligne : https://drive.google.com/file/d/19t9EHoYsGNOBneoMRBr_VXKm3D1MpKQg/view?usp=drive [...] Format de la ressource électronique : Influence de la minéralisation en corrosion : Cas des eaux salines [texte imprimé] / Salima Aiouaz ; Nilia Serine Selmi ; Saifi Issaadi, Directeur de thèse . - [S.l.] : Sétif:UFS, 2023 . - 1 vol. (61 f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Chimie Mots-clés : Corrosion Fer Cuivre Chlorure de sodium ENASEL
Iron copper sodium chlorideRésumé : Ce travail de recherche a été réalisé au niveau la station de production de sel ENASEL «Entreprise nationale des sels, Salin Guergour Lamri » (Ain Oulmène -Sétif). Le travail est consacré à l’étude du comportement des métaux en milieu salin NaCl (saumure).
Dans ce travail, nous avons focalisé notre étude sur le comportement électrochimique du fer et de cuivre en contact d’une solution aéré de chlorure de sodium. Cette solution a été préparée pour différentes concentrations en contact avec le cuivre (effet de concentrations) et pour différents temps d’immersion pour l’électrode de fer (effet de temps). L’étude a été menée à l’aide des techniques stationnaires et transitoires : les courbes en circuit ouvert, les courbes de spectroscopie d’impédance électrochimique (SIE) et les courbes de polarisation (droits de Tafel) = This research work was carried out at the ENASEL salt production station "Entreprise nationale des sels, Salin Guergour Lamri" (Ain Oulmène -Sétif). The work was devoted to studying the behavior of metals in a NaCl saline medium (brine).
In this work, we focused on the electrochemical behavior of iron and copper in contact with an aerated sodium chloride solution. This solution was prepared for different concentrations in contact with copper (concentration effect) and for different immersion times for the iron electrode (time effect). The study was carried out using stationary and transient techniques: open circuit curves, electrochemical impedance spectroscopy (EIS) curves and polarization curves (Tafel rights)Côte titre : MACH/0309 En ligne : https://drive.google.com/file/d/19t9EHoYsGNOBneoMRBr_VXKm3D1MpKQg/view?usp=drive [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MACH/0309 MACH/0309 Mémoire Bibliothéque des sciences Français Disponible
DisponiblePermalinkPermalinkPermalinkInterior-point methods for convex quadratic optimization based on modified search directions. / Nouha Moussaoui
PermalinkIntitulé : Electrodéposition et caractérisation des filmes minces sur électrode (ITO) oxyde d’étain dopé à l’indium / Mohamed dhai eddine Mokhtari
PermalinkPermalinkPermalinkLipschitz global optimization problems using direct-type algorithms and diagonal partitioning strategies / Nabila Guessoum
PermalinkLogarithmic barrier and inverse barrier interior point methods in nonlinear programming / Boutheina Fellahi
PermalinkLogarithmic barrier and inverse barrier interior point methods in nonlinear programming / Boutheina Fellahi
Permalink