Gotowe bibliografie tematyczne / Contraintes de saturation / Rozprawy doktorskie
Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Contraintes de saturation.

Rozprawy doktorskie na temat „Contraintes de saturation”

Autor: Grafiati
Data publikacji: 21 grudnia 2024
Data aktualizacji: 31 lipca 2025

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Sprawdź 21 najlepszych rozpraw doktorskich naukowych na temat „Contraintes de saturation”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.

1

Eggimann, Marc-André. "Réglage sous contraintes de saturation par programmation linéaire /." [S.l.] : [s.n.], 1990. http://library.epfl.ch/theses/?nr=879.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Vaugon, Benoit. "Sous-Typage par Saturation de Contraintes, Théorie et Implémentation." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLY004/document.

Pełny tekst źródła
Streszczenie:
Cette thèse porte sur l'analyse statique de code par typage dans le but de détecter les erreurs dans les programmes avant leur exécution. Plus précisément, nous nous intéressons ici au domaine du sous-typage, dans lequel les propriétés du code sont représentées par des ensemble de contraintes de la forme (t1 <= t2). Nos mécanismes de vérification sont alors basés sur l'agrégation de contraintes de sous-typage et la vérification de leur compatibilité par saturation. Le langage de base sur lequel nous travaillons est un ML étendu, muni de variants et d'un mécanisme de filtrage de motifs. Nous
Style APA, Harvard, Vancouver, ISO itp.
3

Vaugon, Benoit. "Sous-Typage par Saturation de Contraintes, Théorie et Implémentation." Electronic Thesis or Diss., Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLY004.

Pełny tekst źródła
Streszczenie:
Cette thèse porte sur l'analyse statique de code par typage dans le but de détecter les erreurs dans les programmes avant leur exécution. Plus précisément, nous nous intéressons ici au domaine du sous-typage, dans lequel les propriétés du code sont représentées par des ensemble de contraintes de la forme (t1 <= t2). Nos mécanismes de vérification sont alors basés sur l'agrégation de contraintes de sous-typage et la vérification de leur compatibilité par saturation. Le langage de base sur lequel nous travaillons est un ML étendu, muni de variants et d'un mécanisme de filtrage de motifs. Nous
Style APA, Harvard, Vancouver, ISO itp.
4

Marx, Swann. "Méthodes de stabilisation de systèmes non-linéaires avec des mesures partielles et des entrées contraintes." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAT040/document.

Pełny tekst źródła
Streszczenie:
Cette thèse a pour sujet la stabilisation de systèmes non-linéaires avec des mesures partielles et des entrées contraintes. Les deux premiers chapitres traitent du problème des entrées saturées dans le contexte des systèmes de dimension infinie pour des équations nonlinéaires abstraites et une équation aux dérivées partielles nonlinéaire particulière, l'équation de Korteweg-de Vries. Les outils mathématiques utilisés pour obtenir des résultats Le troisième chapitre propose une méthode de synthèse de retour de sortie pour deux équations de Korteweg-de Vries. Le quatrième chapitre concerne la sy
Style APA, Harvard, Vancouver, ISO itp.
5

Aristizábal, Andrés. "Techniques de Bisimulation et Algorithmes pour la Programmation Concurrente par Contraintes." Phd thesis, Ecole Polytechnique X, 2012. http://pastel.archives-ouvertes.fr/pastel-00756952.

Pełny tekst źródła
Streszczenie:
Concurrence est concernée par les systèmes informatiques des agents multiples qui interagissent les uns avec les autres. Bisimilarité est l'un des principales représentantes de ces derniers. Programmation concurrente par contraintes (ccp) est un formalisme qui combine le point de vue traditionnel des formules algébriques et opérationnelles des calculs de processus avec une notion déclarative basée sur logique. La définition standard de bisimilarité n'est pas complètement satisfaisante pour ccp car il donne une équivalence qui est trop à grain fin. Nous introduisons une sémantique de transition
Style APA, Harvard, Vancouver, ISO itp.
6

Larguech, Samia. "Contribution à la commande adaptative floue à mode glissant des systèmes non linéaires avec contraintes de saturation : application au moteur diesel." Thesis, Amiens, 2017. http://www.theses.fr/2017AMIE0048.

Pełny tekst źródła
Streszczenie:
La majorité des systèmes physiques sont soumis à des limitations de fonctionnement. En effet, ces contraintes peuvent entraîner une dégradation des performances et même une instabilité des systèmes en boucle fermée. Dans ce contexte se situent les travaux de cette thèse qui ont pour objectif de développer des lois de commande adaptative floue à mode glissant pour les systèmes non linéaires avec contraintes de saturation et les appliquer sur le système moteur Diesel. Il s'agit de contrôler les trois actionneurs de la boucle d'air, à savoir: la vanne EGR (Exhaust Gas Recirculation), la vanne VGT
Style APA, Harvard, Vancouver, ISO itp.
7

Larguech, Samia. "Contribution à la commande adaptative floue à mode glissant des systèmes non linéaires avec contraintes de saturation : application au moteur diesel." Electronic Thesis or Diss., Amiens, 2017. http://www.theses.fr/2017AMIE0048.

Pełny tekst źródła
Streszczenie:
La majorité des systèmes physiques sont soumis à des limitations de fonctionnement. En effet, ces contraintes peuvent entraîner une dégradation des performances et même une instabilité des systèmes en boucle fermée. Dans ce contexte se situent les travaux de cette thèse qui ont pour objectif de développer des lois de commande adaptative floue à mode glissant pour les systèmes non linéaires avec contraintes de saturation et les appliquer sur le système moteur Diesel. Il s'agit de contrôler les trois actionneurs de la boucle d'air, à savoir: la vanne EGR (Exhaust Gas Recirculation), la vanne VGT
Style APA, Harvard, Vancouver, ISO itp.
8

Lu, Yingfa. "Modélisation de l'endommagement anisotrope des roches saturées." Lille 1, 2002. https://pepite-depot.univ-lille.fr/RESTREINT/Th_Num/2002/50376-2002-163.pdf.

Pełny tekst źródła
Streszczenie:
L'objectif consistait à décrire de manière précise les comportements mécaniques et poromécaniques des grès des Vosges secs et saturés. En ce qui concerne la modélisation du comportement mécanique du grès des Vosges secs, on propose un modèle d'endommagement anisotrope induit par des microfissures. Ce modèle, basé sur les travaux précédents, décrit un comportement mécanique endommagé, en tenant compte du mécanisme du glissement et de l'ouverture des microfissures. Le potentiel complémentaire thermodynamique est caractérisé par sa dépendance linéaire par rapport à variable endommagé et par la pr
Style APA, Harvard, Vancouver, ISO itp.
9

Benniou, Hicham. "Modélisation par éléments discrets du comportement des matériaux cimentaires sous impact sévère : prise en compte du taux de saturation." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAI055/document.

Pełny tekst źródła
Streszczenie:
Ce travail de thèse concerne la modélisation du béton et des ouvrages en béton soumis à des sollicitations allant du quasi statique à la dynamique rapide, tout en prenant en compte de la présence d'eau libre dans les pores du béton. L'objectif est la mise au point d'un outil prévisionnel de simulation capable de décrire le comportement du béton et des structures en béton, en tenant compte des effets du taux de saturation. Le choix des Éléments Discrets pour cette modélisation est justifié par les phénomènes discontinus qui apparaissent dans le béton, tel que la fissuration, la fragmentation ou
Style APA, Harvard, Vancouver, ISO itp.
10

Chen, Wei. "Etude expérimentale de la perméabilité du béton sous conditions thermiques et hydriques variables." Phd thesis, Ecole Centrale de Lille, 2011. http://tel.archives-ouvertes.fr/tel-00778621.

Pełny tekst źródła
Streszczenie:
Cette thèse a permis d'étudier la perméabilité du béton sous conditions thermiques et hydriques variables, ainsi que l'effet de fissuration. Nombreux essais (mesures de saturation et perméabilité, essai de compressions uniaxiales et triaxiales et hydrostatiques) ont été menés afin d'évaluer l'influence de la température et de la saturation sur le comportement hydraulique du béton sain et microfissuré. En parallèle, un dispositif de mesure de la perméabilité sur béton macro fissuré permet d'étudier le comportement d'une macro-fissure de béton confinée et soumise à écoulement de gaz sec ou l'air
Style APA, Harvard, Vancouver, ISO itp.
11

Magnani, Guido. "Advanced satellite attitude control strategies under actuation constraints and multiple sources of disturbance." Electronic Thesis or Diss., Toulouse, ISAE, 2024. http://www.theses.fr/2024ESAE0046.

Pełny tekst źródła
Streszczenie:
Dans un scénario de satellites géostationnaires hautement autonomes, dotés de capacités d'auto-assemblage et d'auto-maintenance, les perturbations des bras manipulateurs couplées à la dynamique de ballotement du carburant représentent un risque significatif de dégradation des performances du système de contrôle d'attitude et d'orbite du satellite. Bien que des solutions passives existent pour amortir le ballotement du carburant et compenser les perturbations des bras manipulateurs, il manque une solution de contrôle actif unique capable de compenser ces perturbations tout en évitant de manière
Style APA, Harvard, Vancouver, ISO itp.
12

Losa, Damiana. "Planification de manœuvres à poussée forte vs à poussée faible pour le maintien à poste de satellites géostationnaires." Phd thesis, École Nationale Supérieure des Mines de Paris, 2007. http://tel.archives-ouvertes.fr/tel-00173537.

Pełny tekst źródła
Streszczenie:
Les travaux de thèse traitent du problème de la planification de manœuvres pour le maintien à poste de satellites géostationnaires équipés de tuyères électriques (à poussée faible). Nous évaluons l'opportunité de substituer une telle planification à celle traditionnellement utilisée pour les satellites géostationnaires équipés de tuyères chimiques (à poussée forte). <br />Dès son apparition, la technologie des systèmes de propulsion à poussée faible a rencontré un vif intérêt auprès des agences et des sociétés spatiales. Grâce à sa haute impulsion spécifique (qui implique une basse consommatio
Style APA, Harvard, Vancouver, ISO itp.
13

Henrion, Didier. "Stabilité des systèmes linéaires incertains à commande contrainte." Phd thesis, INSA de Toulouse, 1999. http://tel.archives-ouvertes.fr/tel-00132065.

Pełny tekst źródła
Streszczenie:
Nous considérons l'analyse de stabilité et la stabilisation des systèmes linéaires incertains à commande contrainte. A l'aide d'une modélisation polytopique des saturations et de la notion de stabilité quadratique locale, nous proposons tout d'abord une méthode d'analyse de stabilité autorisant les saturations. Par la suite, les propriétés géométriques des ellipsoïdes et polyèdres nous permettent de décrire plusieurs méthodes de synthèse: par commande saturante, par commande linéaire par morceaux et finalement par commande polynomiale. Toutes ces méthodes font systématiquement appel à des outi
Style APA, Harvard, Vancouver, ISO itp.
14

Dumont, Matthieu. "Contribution à l'étude du comportement THM des sols partiellement saturés : aspects expérimentaux et modélisation." Le Havre, 2011. http://www.theses.fr/2011LEHA0017.

Pełny tekst źródła
Streszczenie:
Ce travail de recherche vise à améliorer les connaissances et à mieux cerner le comportement thermo-hydro-mécanique des sols fins. Un volet théorique présente un modèle simple de loi de comportement thermohydromécanique (THM). Le concept de contraintes effectives est élargi aux sols non saturés, avec l’introduction d’une contrainte capillaire. Cette contrainte capillaire est basée sur un modèle micro-structural et calculée à partir de forces d’attraction dues aux ménisques d’eau. Le phénomène d’écrouissage dû à la désaturation du matériau et à l’effet thermique sont modélisés avec un nombre ré
Style APA, Harvard, Vancouver, ISO itp.
15

Langouët, Patrice. "Sur la stabilité locale des systèmes linéaires soumis à des actionneurs limités en amplitude et en dynamique." Toulouse 3, 2003. http://www.theses.fr/2003TOU30190.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
16

Ferdiansyah, Teuku. "Design and characterization of a self-sensing cement-based composite." Thesis, Toulouse 3, 2019. http://www.theses.fr/2019TOU30133.

Pełny tekst źródła
Streszczenie:
La possibilité d'utiliser les propriétés électriques du béton pour en faire un capteur intelligent capable de détecter de façon autonome des modifications de propriétés mécaniques ou physiques est un sujet très actuel. Cependant jusqu'à ce jour la tendance est d'introduire dans la matrice cimentaire des additions qui vont augmenter la conductivité du béton. La plupart des recherches décrites dans la littérature utilisent des fibres conductrices, à base par exemple de carbone et d'acier, et elles ont démontré une amélioration significative de la conductivité du béton, qui a également amélioré l
Style APA, Harvard, Vancouver, ISO itp.
17

Losa, Damiana. "Planification de manoeuvres à poussée forte vs à poussée faible pour le maintien à poste de satellites géostationnaires." Phd thesis, Paris, ENMP, 2007. http://pastel.archives-ouvertes.fr/pastel-00002163/en/.

Pełny tekst źródła
Streszczenie:
Les travaux de thèse traitent du problème de la planification de manoeuvres pour le maintien à poste de satellites géostationnaires équipés de tuyères électriques (à poussée faible). Nous évaluons l'opportunité de substituer une telle planification à celle traditionnellement utilisée pour les satellites géostationnaires équipés de tuyères chimiques (à poussée forte). Dès son apparition, la technologie des systèmes de propulsion à poussée faible a rencontré un vif intérêt auprès des agences et des sociétés spatiales. Grâce à sa haute impulsion spécifique (qui implique une basse consommation de
Style APA, Harvard, Vancouver, ISO itp.
18

Kreiss, Jérémie. "Allocation de commande pour l'électrotechnique et l'électronique de puissance." Thesis, Lyon, 2019. http://www.theses.fr/2019LYSEI119.

Pełny tekst źródła
Streszczenie:
Cette thèse s'inscrit dans le cadre de l'utilisation de l'allocation de commande dans le domaine de l'électrotechnique et l'électronique de puissance. Elle comporte deux volets, le premier orienté sur la théorie de l'allocation de commande et le second en lien avec la conception de lois de commande pour les convertisseurs en parallèles. L'allocation de commande donne des solutions pour commander des systèmes redondants en entrée. Toutefois les définitions et caractérisations de cette classe de systèmes souffrent d'un manque d'uniformité. C'est pourquoi dans le premier volet, cette thèse présen
Style APA, Harvard, Vancouver, ISO itp.
19

Fonseca, Armando. "Comparaison de machines à aimants permanents pour la traction de véhicules électriques et hybrides." Phd thesis, Grenoble INPG, 2000. http://www.theses.fr/2000INPG0065.

Pełny tekst źródła
Streszczenie:
Ce travail se place dans le contexte de l'utilisation de machines à aimants permanents dans les véhicules hybrides ou électriques. Un modèle analytique, qui prend en compte les effets de la non linéarité du circuit magnétique, permet d'obtenir les pertes (Joule et fer) quel que soit le point de fonctionnement de la machine. Des cartes d'isorendement dans le plan couple-vitesse peuvent être tracées. Ce modèle a ensuite été utilisé pour étudier. Des variantes d'une machine synchrone à aimants. Des comparaisons de consommation sur cycles de route ont été effectuées sur ces machines, ainsi que l'é
Style APA, Harvard, Vancouver, ISO itp.
20

Blondin, Maude Josée. "Méthode d'optimisation hybride pour la commande de systèmes non linéaires avec contraintes multiples et mécanismes d'anti-saturation." Thèse, 2018. http://depot-e.uqtr.ca/8773/1/032180789.pdf.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
21

Blondin, Maude Josée. "Algorithme contraint d'optimisation pour la syntonisation de correcteurs avec saturation." Thèse, 2014. http://depot-e.uqtr.ca/7520/1/030827023.pdf.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany bibliografiami na temat „Contraintes de saturation” dla innych typów źródeł:
Artykuły w czasopismach
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii