Bibliografías temáticas / Contraintes de saturation / Tesis
Siga este enlace para ver otros tipos de publicaciones sobre el tema: Contraintes de saturation.

Tesis sobre el tema "Contraintes de saturation"

Autor: Grafiati
Publicado: 21 de diciembre de 2024
Última modificación: 31 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 21 mejores tesis para su investigación sobre el tema "Contraintes de saturation".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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é
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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/.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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'é
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Contraintes de saturation" para otros tipos de fuentes:
Artículos de revistas
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía