University Sétif 1 FERHAT ABBAS Faculty of Sciences
Catégories
Ajouter le résultat dans votre panier Affiner la recherche
A numerical study of an interior point method for convex quadratic programming under simpliciale cone / Nour EL Islam Hiber
Titre : A numerical study of an interior point method for convex quadratic programming under simpliciale cone Type de document : texte imprimé Auteurs : Nour EL Islam Hiber, Auteur ; Merzaka Khaldi, Directeur de thèse Editeur : Setif:UFA Année de publication : 2021 Importance : 1 vol (46 f.) Format : 29 cm Langues : Anglais (eng) Catégories : Thèses & Mémoires:Mathématique Mots-clés : Programmation quadratique convexe Index. décimale : 510 - Mathématique Résumé :
Dans cette mémoire, nous nous intéressons à la solution de la programmation
quadratique convexe sous le cône simplicial (SCQO) par un algorithme de point
intérieur à pas réalisable de Newton complet. Un problème de complémentarité
linéaire monotone est formulé a partir de (SCQO), un algorithme de point intérieur
est proposé et sous de nouveaux défauts appropriés, nous prouvons que
l’algorithme proposé est bien défini, de plus, nous dérivons la borne de complexité
de l'algorithme proposé avec une méthode à pas courts, à savoir (O√Côte titre : MAM/0485 En ligne : https://drive.google.com/file/d/1TnBSEA101_hoWi0q4flNAGUfMQZqP9Qe/view?usp=shari [...] Format de la ressource électronique : A numerical study of an interior point method for convex quadratic programming under simpliciale cone [texte imprimé] / Nour EL Islam Hiber, Auteur ; Merzaka Khaldi, Directeur de thèse . - [S.l.] : Setif:UFA, 2021 . - 1 vol (46 f.) ; 29 cm.
Langues : Anglais (eng)
Catégories : Thèses & Mémoires:Mathématique Mots-clés : Programmation quadratique convexe Index. décimale : 510 - Mathématique Résumé :
Dans cette mémoire, nous nous intéressons à la solution de la programmation
quadratique convexe sous le cône simplicial (SCQO) par un algorithme de point
intérieur à pas réalisable de Newton complet. Un problème de complémentarité
linéaire monotone est formulé a partir de (SCQO), un algorithme de point intérieur
est proposé et sous de nouveaux défauts appropriés, nous prouvons que
l’algorithme proposé est bien défini, de plus, nous dérivons la borne de complexité
de l'algorithme proposé avec une méthode à pas courts, à savoir (O√Côte titre : MAM/0485 En ligne : https://drive.google.com/file/d/1TnBSEA101_hoWi0q4flNAGUfMQZqP9Qe/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAM/0485 MAM/0485 Mémoire Bibliothéque des sciences Anglais Disponible
DisponibleA numerical study of an interior-point method for the semidefinite symmetric least squares problems / Soria Kerdouch
Titre : A numerical study of an interior-point method for the semidefinite symmetric least squares problems Type de document : texte imprimé Auteurs : Soria Kerdouch, Auteur ; Achache, M, Directeur de thèse Editeur : Setif:UFA Année de publication : 2021 Importance : 1 vol (49 f.) Format : 29 cm Langues : Anglais (eng) Catégories : Thèses & Mémoires:Mathématique Mots-clés : Problèmes des moindres carrées semi-définis symétriques Index. décimale : 510 - Mathématique Résumé :
Dans cette thèse, une étude numérique d'une méthode de suivi de chemin de points
intérieurs pour résoudre les problèmes de moindres carrées semi-définis symétriques
(SDLS) est présentée. Une formulation de (SDLS) comme un problème de
complémentarité linéaire semi-défini monotone (SDLCP), est donnée. En suite, un
algorithme de point intérieur à pas complet de Nestrov-Todd et à pas court est
développé pour résoudre le (SDLS) à travers le (SDLCP). Sous des paramètres
(défauts) appropriés, l'algorithme attient la meilleure complexité polynomiale,
notamment, O(√nlog((n/ε)). Enfin, quelques résultats numériques sont rapportés pour
monter l'efficacité de notre approche pour résoudre (SDLS).Côte titre : MAM/0490 En ligne : https://drive.google.com/file/d/1W0SE5kzhz6a-qj73aRFE6k2NIZCQyr4o/view?usp=shari [...] Format de la ressource électronique : A numerical study of an interior-point method for the semidefinite symmetric least squares problems [texte imprimé] / Soria Kerdouch, Auteur ; Achache, M, Directeur de thèse . - [S.l.] : Setif:UFA, 2021 . - 1 vol (49 f.) ; 29 cm.
Langues : Anglais (eng)
Catégories : Thèses & Mémoires:Mathématique Mots-clés : Problèmes des moindres carrées semi-définis symétriques Index. décimale : 510 - Mathématique Résumé :
Dans cette thèse, une étude numérique d'une méthode de suivi de chemin de points
intérieurs pour résoudre les problèmes de moindres carrées semi-définis symétriques
(SDLS) est présentée. Une formulation de (SDLS) comme un problème de
complémentarité linéaire semi-défini monotone (SDLCP), est donnée. En suite, un
algorithme de point intérieur à pas complet de Nestrov-Todd et à pas court est
développé pour résoudre le (SDLS) à travers le (SDLCP). Sous des paramètres
(défauts) appropriés, l'algorithme attient la meilleure complexité polynomiale,
notamment, O(√nlog((n/ε)). Enfin, quelques résultats numériques sont rapportés pour
monter l'efficacité de notre approche pour résoudre (SDLS).Côte titre : MAM/0490 En ligne : https://drive.google.com/file/d/1W0SE5kzhz6a-qj73aRFE6k2NIZCQyr4o/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAM/0490 MAM/0490 Mémoire Bibliothéque des sciences Anglais Disponible
Disponible
Titre : Observabilité d'une classe de systèmes hybrides Type de document : texte imprimé Auteurs : Djouairia Nouri, Auteur ; Saffidine,rebiha, Directeur de thèse Editeur : Setif:UFA Année de publication : 2020 Importance : 1 vol (50 f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Mathématique Mots-clés : Systèmes hybrides
Observabilité
Systèmes affines par morceaux.Index. décimale : 510 - Mathématique Résumé :
Dans ce mémoire, nous nous intéressons à l’observabilité d’une classe de systèmes
dynamiques hybrides (SDH) par morceaux dont la loi de commutation dépend de l’état
continu. Les SDH sont des systèmes composés des dynamiques de nature continue et discrète
interagissant entre elles, où la dynamique continue est donnée par des équations
différentielles, et la dynamique discrète par des transitions d’états. Après avoir donné
quelques notions de base sur les systèmes hybrides et leurs différentes classes, nous avons
présenté quelques résultats d’observabilités des systèmes dynamiques linéaires continus et
discrets. Nous avons également donné une caractérisation d’observabilité d’état initial d’une
classe des systèmes hybrides linéaires (sans contrôle) qui est considérée comme une
généralisation du critère de Kalman. Ce qui a permis de définir la matrice commune
d’observabilité, dont nous avons utilisé cette dernière pour établir une condition nécessaire et
suffisante pour l’observabilité d’état discret d’une classe de systèmes hybrides linéaires par
morceaux avec contrôle.
Côte titre : MAM/0401 En ligne : https://drive.google.com/file/d/19sQGCn7ul3OWKuGdOY6ewXezOkQUQO13/view?usp=shari [...] Format de la ressource électronique : Observabilité d'une classe de systèmes hybrides [texte imprimé] / Djouairia Nouri, Auteur ; Saffidine,rebiha, Directeur de thèse . - [S.l.] : Setif:UFA, 2020 . - 1 vol (50 f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Mathématique Mots-clés : Systèmes hybrides
Observabilité
Systèmes affines par morceaux.Index. décimale : 510 - Mathématique Résumé :
Dans ce mémoire, nous nous intéressons à l’observabilité d’une classe de systèmes
dynamiques hybrides (SDH) par morceaux dont la loi de commutation dépend de l’état
continu. Les SDH sont des systèmes composés des dynamiques de nature continue et discrète
interagissant entre elles, où la dynamique continue est donnée par des équations
différentielles, et la dynamique discrète par des transitions d’états. Après avoir donné
quelques notions de base sur les systèmes hybrides et leurs différentes classes, nous avons
présenté quelques résultats d’observabilités des systèmes dynamiques linéaires continus et
discrets. Nous avons également donné une caractérisation d’observabilité d’état initial d’une
classe des systèmes hybrides linéaires (sans contrôle) qui est considérée comme une
généralisation du critère de Kalman. Ce qui a permis de définir la matrice commune
d’observabilité, dont nous avons utilisé cette dernière pour établir une condition nécessaire et
suffisante pour l’observabilité d’état discret d’une classe de systèmes hybrides linéaires par
morceaux avec contrôle.
Côte titre : MAM/0401 En ligne : https://drive.google.com/file/d/19sQGCn7ul3OWKuGdOY6ewXezOkQUQO13/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAM/0401 MAM/0401 Mémoire Bibliothéque des sciences Français Disponible
Disponible
Titre : Observateurs pour une classe de systèmes linéaires à commutations Type de document : texte imprimé Auteurs : Yazid,Selma, Auteur ; Naceurdine Bensalem, Directeur de thèse Editeur : Setif:UFA Année de publication : 2019 Importance : 1 vol (43 f .) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Mathématique Mots-clés : Système hybride
Système linéaire à commutation
Observateur hybrideIndex. décimale : 510 Mathématique Résumé : Dans ce mémoire, nous nous intéressons à la synthèse d’observateurs pour une classe de systèmes linéaires Ã
commutations s’appuyant sur la modélisation moyenne et la modélisation hybride de SLC ayant une topologie, hamiltonienne à ports particulière. Ce formalisme possède les outils nécessaires pour établir des preuves de stabilité des erreurs d’observation. Dans un premier temps, nous proposons un observateur non linéaire reposant sur le modèle moyen de la classe des SLC considérée. Ensuite, nous proposons un observateur commuté prenant en compte les modes de fonctionnement inobservables.Note de contenu : Sommaire
Introduction générale 1
1 Notions de base 4
1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Systèmes linéaires à commutations - dé…nition formelle . . . . . . . . . . 4
1.2.1 Classes des systèmes linéaires à commutations . . . . . . . . . . . 7
1.2.2 Exemple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3 Observabilité classique . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3.1 Système commandé-observé . . . . . . . . . . . . . . . . . . . . . 10
1.3.2 Critère d’observabilité de Kalman . . . . . . . . . . . . . . . . . . 11
1.3.3 Observateur de Luenberger d’un système linéaire . . . . . . . . . 11
1.4 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2 Théorie des systèmes linéaires à commutations 13
2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2 Modèle commuté d’un SLC . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.3 Stabilité au sens de Lyapunov des SLC . . . . . . . . . . . . . . . . . . . 14
2.3.1 Fonction de Lyapunov commune . . . . . . . . . . . . . . . . . . . 15
2.4 Observabilité des systèmes linéaires à commutations . . . . . . . . . . . . 16
2.4.1 Modèle moyen et observabilité des systèmes bilinéaires . . . . . . 16
2.4.2 Observabilité au sens hybride des SLC . . . . . . . . . . . . . . . 18
i
2.5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3 Synthèse d’observateurs pour les SLC sans saut sur l’état 25
3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.2 Modèle Hamiltonien à ports . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.3 Observateur non linéaire à partir du modèle moyen . . . . . . . . . . . . 27
3.3.1 Modélisation et analyse d’observabilité . . . . . . . . . . . . . . . 27
3.3.2 Synthèse d’un observateur . . . . . . . . . . . . . . . . . . . . . . 28
3.4 Observateur hybride pour SLC Ã deux modes . . . . . . . . . . . . . . . 30
3.4.1 Synthèse d’un observateur . . . . . . . . . . . . . . . . . . . . . . 30
3.4.2 Exemple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.4.3 Convergence de lÂ’observateur . . . . . . . . . . . . . . . . . . . . 39
3.5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Conclusion 42
Bibliographie 43
iiCôte titre : MAM/0349 En ligne : https://drive.google.com/file/d/1WkqpzUQiz0LVXI3MT38ru_ofSanNR0cU/view?usp=shari [...] Format de la ressource électronique : Observateurs pour une classe de systèmes linéaires à commutations [texte imprimé] / Yazid,Selma, Auteur ; Naceurdine Bensalem, Directeur de thèse . - [S.l.] : Setif:UFA, 2019 . - 1 vol (43 f .) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Mathématique Mots-clés : Système hybride
Système linéaire à commutation
Observateur hybrideIndex. décimale : 510 Mathématique Résumé : Dans ce mémoire, nous nous intéressons à la synthèse d’observateurs pour une classe de systèmes linéaires Ã
commutations s’appuyant sur la modélisation moyenne et la modélisation hybride de SLC ayant une topologie, hamiltonienne à ports particulière. Ce formalisme possède les outils nécessaires pour établir des preuves de stabilité des erreurs d’observation. Dans un premier temps, nous proposons un observateur non linéaire reposant sur le modèle moyen de la classe des SLC considérée. Ensuite, nous proposons un observateur commuté prenant en compte les modes de fonctionnement inobservables.Note de contenu : Sommaire
Introduction générale 1
1 Notions de base 4
1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Systèmes linéaires à commutations - dé…nition formelle . . . . . . . . . . 4
1.2.1 Classes des systèmes linéaires à commutations . . . . . . . . . . . 7
1.2.2 Exemple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3 Observabilité classique . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3.1 Système commandé-observé . . . . . . . . . . . . . . . . . . . . . 10
1.3.2 Critère d’observabilité de Kalman . . . . . . . . . . . . . . . . . . 11
1.3.3 Observateur de Luenberger d’un système linéaire . . . . . . . . . 11
1.4 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2 Théorie des systèmes linéaires à commutations 13
2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2 Modèle commuté d’un SLC . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.3 Stabilité au sens de Lyapunov des SLC . . . . . . . . . . . . . . . . . . . 14
2.3.1 Fonction de Lyapunov commune . . . . . . . . . . . . . . . . . . . 15
2.4 Observabilité des systèmes linéaires à commutations . . . . . . . . . . . . 16
2.4.1 Modèle moyen et observabilité des systèmes bilinéaires . . . . . . 16
2.4.2 Observabilité au sens hybride des SLC . . . . . . . . . . . . . . . 18
i
2.5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3 Synthèse d’observateurs pour les SLC sans saut sur l’état 25
3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.2 Modèle Hamiltonien à ports . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.3 Observateur non linéaire à partir du modèle moyen . . . . . . . . . . . . 27
3.3.1 Modélisation et analyse d’observabilité . . . . . . . . . . . . . . . 27
3.3.2 Synthèse d’un observateur . . . . . . . . . . . . . . . . . . . . . . 28
3.4 Observateur hybride pour SLC Ã deux modes . . . . . . . . . . . . . . . 30
3.4.1 Synthèse d’un observateur . . . . . . . . . . . . . . . . . . . . . . 30
3.4.2 Exemple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.4.3 Convergence de lÂ’observateur . . . . . . . . . . . . . . . . . . . . 39
3.5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Conclusion 42
Bibliographie 43
iiCôte titre : MAM/0349 En ligne : https://drive.google.com/file/d/1WkqpzUQiz0LVXI3MT38ru_ofSanNR0cU/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAM/0349 MAM/0349 Mémoire Bibliothéque des sciences Français Disponible
DisponibleOn some numerical aspects for some fractional stochastic partial differential equations / Arab,Zineb
Titre : On some numerical aspects for some fractional stochastic partial differential equations : Case of Burgers equation Type de document : texte imprimé Auteurs : Arab,Zineb, Auteur ; Debbi,Latifa, Directeur de thèse Editeur : Setif:UFA Année de publication : 2021 Importance : 1 vol (153 f .) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Mathématique Mots-clés : Fractional stochastic Burgers-type equation
Fractional stochastic nonlinear heat equation
Fractional LaplacianIndex. décimale : 510 Mathématique Résumé :
This dissertation has provided a rigorous analysis of various numerical
schemes for a class of local and global Lipschitz nonlinear fractional stochastic
partial differential equations, driven by the fractional Laplacian in the
one dimensional space and perturbed by a Gaussian noise. The study
contains the elaboration of time, space and space-time schemes and their
different convergences. Specially, we express for every scheme the rate of
convergence in terms of the fractional power of the Laplacian.
The first contribution (Chapter 5) concerned the study of the fractional
stochastic Burgers-type equation in Hölder space C(0, 1), with diffusion
dissipation index 2 (74
, 2]. We have proved the existence and the uniqueness
of a space-time Hölder mild solution. Moreover, we have fulfilled the
pathwise convergence of the spacial and the full approximations, where
the spectral Galerkin method has been used for the spacial approximation,
whereas the exponential Euler scheme has been used for the temporal approximation.
In the second contribution (Chapter 6), we have considered the fractional
stochastic nonlinear heat equation in the Hilbert space L2(0, 1),
with diffusion dissipation index 2 (1, 2]. By using the spectral Galerkin
method for the spacial approximation and the implicit Euler scheme for
the temporal approximation, we have established the strong convergence
in the space Lp(
, L2(0, 1)) of the temporal, the spacial and the full ap-
1
proximations of the mild solution.
In the third contribution (Chapter 7), we have improved the diffusion
dissipation index obtained in Chapter 5 to 2 (3
2, 2], by proving a weaker
convergence (i.e. convergence in probability) of the temporal approxiL
of the fractional stochastic Burgers equation in the Hilbert space L2(0, 1).Côte titre : DM/0163 En ligne : http://dspace.univ-setif.dz:8888/jspui/bitstream/123456789/3779/1/these.pdf Format de la ressource électronique : On some numerical aspects for some fractional stochastic partial differential equations : Case of Burgers equation [texte imprimé] / Arab,Zineb, Auteur ; Debbi,Latifa, Directeur de thèse . - [S.l.] : Setif:UFA, 2021 . - 1 vol (153 f .) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Mathématique Mots-clés : Fractional stochastic Burgers-type equation
Fractional stochastic nonlinear heat equation
Fractional LaplacianIndex. décimale : 510 Mathématique Résumé :
This dissertation has provided a rigorous analysis of various numerical
schemes for a class of local and global Lipschitz nonlinear fractional stochastic
partial differential equations, driven by the fractional Laplacian in the
one dimensional space and perturbed by a Gaussian noise. The study
contains the elaboration of time, space and space-time schemes and their
different convergences. Specially, we express for every scheme the rate of
convergence in terms of the fractional power of the Laplacian.
The first contribution (Chapter 5) concerned the study of the fractional
stochastic Burgers-type equation in Hölder space C(0, 1), with diffusion
dissipation index 2 (74
, 2]. We have proved the existence and the uniqueness
of a space-time Hölder mild solution. Moreover, we have fulfilled the
pathwise convergence of the spacial and the full approximations, where
the spectral Galerkin method has been used for the spacial approximation,
whereas the exponential Euler scheme has been used for the temporal approximation.
In the second contribution (Chapter 6), we have considered the fractional
stochastic nonlinear heat equation in the Hilbert space L2(0, 1),
with diffusion dissipation index 2 (1, 2]. By using the spectral Galerkin
method for the spacial approximation and the implicit Euler scheme for
the temporal approximation, we have established the strong convergence
in the space Lp(
, L2(0, 1)) of the temporal, the spacial and the full ap-
1
proximations of the mild solution.
In the third contribution (Chapter 7), we have improved the diffusion
dissipation index obtained in Chapter 5 to 2 (3
2, 2], by proving a weaker
convergence (i.e. convergence in probability) of the temporal approxiL
of the fractional stochastic Burgers equation in the Hilbert space L2(0, 1).Côte titre : DM/0163 En ligne : http://dspace.univ-setif.dz:8888/jspui/bitstream/123456789/3779/1/these.pdf Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité DM/0163 DM/0163 Thèse Bibliothéque des sciences Anglais Disponible
DisponibleOn the search direction of interior point algorithm for linearly constrained convex optimization / Maroua Lamiri
PermalinkOptimisation des coefficients des multi pôles de la fonction de green modifiée par minimisation de la norme du noyau de l’opérateur intégral en élasticité / BENREGREG,Ibtissem
PermalinkPermalinkOptimisation globale , contribution à l’étude de la méthode de la transformation réductrice à Aliénor / Abdelkader Zaidi
PermalinkPermalinkOptimisation en nombres entiers des fonctions quadratiques non convexes soumises à des contraintes linéaires. / Moussaoui, Nouha
PermalinkPermalinkPermalinkPermalinkPermalink