Relevant bibliographies by topics / Contraintes de saturation / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Contraintes de saturation.

Dissertations / Theses on the topic 'Contraintes de saturation'

Author: Grafiati
Published: 21 December 2024
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 21 dissertations / theses for your research on the topic 'Contraintes de saturation.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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é
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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/.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
18

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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'é
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Contraintes de saturation' for other source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography