Spelling suggestions: "subject:"contrainte"" "subject:"ontrainte""
271 |
L'interrogation du web de données garantissant des réponses valides par rapport à des critères donnés / Querying the Web of Data guaranteeing valid answers with respect to given criteriaNguyen, Thanh Binh 03 December 2018 (has links)
Le terme Linked Open Data (LOD) (ou données ouvertes liées) a été introduit pour la première fois par Tim Berners-Lee en 2006. Depuis, les LOD ont connu une importante évolution. Aujourd’hui,nous pouvons constater les milliers de jeux de données présents sur le Web de données. De ce fait, la communauté de recherche s’est confrontée à un certain nombre de défis concernant la récupération et le traitement de données liées.Dans cette thèse, nous nous intéressons au problème de la qualité des données extraites de diverses sources du LOD et nous proposons un système d’interrogation contextuelle qui garantit la qualité des réponses par rapport à un contexte spécifié par l’utilisateur. Nous définissons un cadre d’expression de contraintes et proposons deux approches : l’une naïve et l’autre de réécriture, permettant de filtrer dynamiquement les réponses valides obtenues à partir des sources éventuellement non-valides, ceci au moment de la requête et non pas en cherchant à les valider dans les sources des données. L’approche naïve exécute le processus de validation en générant et en évaluant des sous-requêtes pour chaque réponse candidate en fonction de chaque contrainte. Alors que l’approche de réécriture utilise les contraintes comme des règles de réécriture pour reformuler la requête en un ensemble de requêtes auxiliaires, de sorte que les réponses à ces requêtes réécrites ne sont pas seulement les réponses de la requête initiale mais aussi des réponses valides par rapport à toutes les contraintes intégrées. La preuve de la correction et de la complétude de notre système de réécriture est présentée après un travail de formalisation de la notion de réponse valide par rapport à un contexte. Ces deux approches ont été évaluées et ont montré la praticabilité de notre système.Ceci est notre principale contribution: nous étendons l’ensemble de systèmes de réécriture déjà connus(Chase, C&BC, PerfectRef, Xrewrite, etc.) avec une nouvelle solution efficace pour ce nouveau défi qu’est le filtrage des résultats en fonction d’un contexte utilisateur. Nous généralisons également les conditions de déclenchement de contraintes par rapport aux solutions existantes, en utilisant la notion de one-way MGU. / The term Linked Open Data (LOD) is proposed the first time by Tim Berners-Lee since 2006.Since then, LOD has evolved impressively with thousands datasets on the Web of Data, which has raised a number of challenges for the research community to retrieve and to process LOD.In this thesis, we focus on the problem of quality of retrieved data from various sources of the LOD and we propose a context-driven querying system that guarantees the quality of answers with respect to the quality context defined by users. We define a fragment of constraints and propose two approaches: the naive and the rewriting, which allows us to filter dynamically valid answers at the query time instead of validating them at the data source level. The naive approach performs the validation process by generating and evaluating sub-queries for each candidate answer w.r.t. each constraint. While the rewriting approach uses constraints as rewriting rules to reformulate query into a set of auxiliary queries such that the answers of rewritten-queries are not only the answers of the query but also valid answers w.r.t. all integrated constraints. The proof of the correction and completeness of our rewriting system is presented after formalizing the notion of a valid answers w.r.t. a context. These two approaches have been evaluated and have shown the feasibility of our system.This is our main contribution: we extend the set of well-known query-rewriting systems (Chase, Chase& backchase, PerfectRef, Xrewrite, etc.) with a new effective solution for the new purpose of filtering query results based on constraints in user context. Moreover, we also enlarge the trigger condition of the constraint compared with other works by using the notion of one-way MGU.
|
272 |
Machine learning under budget constraints / Apprentissage statistique sous contraintes de budgetContardo, Gabriella 10 July 2017 (has links)
Cette thèse propose de s'intéresser au problème de la prédiction en apprentissage statistique sous contrainte de coût, notamment du coût de l'information utilisée par le système de prédiction. Les approches classiques d'apprentissage statistique utilisent généralement le seul aspect de la performance en prédiction pour évaluer la qualité d'un modèle, ignorant le coût potentiel du modèle, par exemple en quantité de données utilisées en apprentissage (nombre d'exemples, nombre d'étiquette, mémoire) ou en inférence (quantité de features -ou caractéristiques-). Nous proposons plus particulièrement dans ce manuscrit plusieurs approches pour l'inférence sous contrainte de coût en terme de caractéristiques. Nous développons trois modèles qui intègrent pendant l'apprentissage une notion du coût de l'information utilisée pour la prédiction, avec pour objectif de contraindre le coût de la prédiction en inférence. Nous présentons un modèle de sélection de features appliqué au démarrage à froid en recommendation, puis deux méthodes adaptatives d'acquisition de caractéristiques, qui permettent un meilleur compromis coût/prédiction, dans un cadre plus général. Nous utilisons des méthodes d'apprentissage de représentations avec des architectures type réseau de neurones récurrents et des algorithmes par descente de gradient pour l'apprentissage. La dernière partie du manuscrit s'intéresse au coût lié aux étiquettes, usuellement dénommé apprentissage actif dans la littérature. Nous présentons nos travaux pour une approche nouvelle de ce problème en utilisant le méta-apprentissage ainsi qu'une première instanciation basée sur des réseaux récurrents bi-directionnels. / This thesis studies the problem of machine learning under budget constraints, in particular we propose to focus on the cost of the information used by the system to predict accurately. Most methods in machine learning usually defines the quality as the performance (e.g accuracy) on the task at hand, but ignores the cost of the model itself: for instance, the number of examples and/or labels needed during learning, the memory used, or the number of features required to predict at test-time. We propose more specifically in this manuscript several methods for cost-sensitive prediction w.r.t. the quantity of features used. We present three models that learn to predict under such constraint, i.e that learn a strategy to gather only the necessary information in order to predict well but with a small cost. The first model is a static approach applied on cold-start recommendation. We then define two adaptive methods that allow for a better trade-off between cost and accuracy, in a more generic setting. We rely on representation learning techniques, along with recurrent neural networks architecture and gradient descent algorithms for learning. In the last part of the thesis, we propose to study the problem of active-learning, where one aims at constraining the amount of labels used to train a model. We present our work for a novel approach of the problem using meta-learning, with an instantiation using bi-directional recurrent neural networks.
|
273 |
Geometric and Dual Approaches to Cumulative Scheduling / Approches géométriques et duales pour l'ordonnancement cumulatifBonifas, Nicolas 19 December 2017 (has links)
Ce travail s’inscrit dans le domaine de l’ordonnancement à base de programmation par contraintes. Dans ce cadre, la contrainte de ressource la plus fréquemment rencontrée est la cumulative, qui permet de modéliser des processus se déroulant de manière parallèle.Nous étudions dans cette thèse la contrainte cumulative en nous aidant d’outils rarement utilisés en programmation par contraintes (analyse polyédrale, dualité de la programmation linéaire, dualité de la géométrie projective) et proposons deux contributions pour le domaine.Le renforcement cumulatif est un moyen de générer des contraintes cumulatives redondantes plus serrées, de manière analogue à la génération de coupes en programmation linéaire entière. Il s'agit ici de l'un des premiers exemples de contrainte globale redondante.Le Raisonnement Énergétique est une propagation extrêmement puissante pour la contrainte cumulative, avec jusque-là une complexité élevée en O(n^{3}). Nous proposons un algorithme qui calcule cette propagation avec une complexité O(n^{2}log n), ce qui constitue une amélioration significative de cet algorithme connu depuis plus de 25 ans. / This work falls in the scope of constraint-based scheduling. In this framework, the most frequently encountered resource constraint is the cumulative, which enables the modeling of parallel processes.In this thesis, we study the cumulative constraint with the help of tools rarely used in constraint programming (polyhedral analysis, linear programming duality, projective geometry duality) and propose two contributions for the domain.Cumulative strengthening is a means of generating tighter redundant cumulative constraints, analogous to the generation of cuts in integer linear programming. This is one of the first examples of a redundant global constraint.Energy Reasoning is an extremely powerful propagation for cumulative constraint, with hitherto a high complexity of O(n^{3}). We propose an algorithm that computes this propagation with a O(n^{2}log n) complexity, which is a significant improvement of this algorithm known for more than 25 years.
|
274 |
Évaluation de l’effet des vibrations sur le comportement du fluide magnéto-rhéologique / The effect of vibrations on magneto-rheological fluidsNovikoff, Paul-Alexis 01 April 2019 (has links)
Les fluides Magnéto-Rhéologiques (MR) de par leurs caractéristiques variant avec le champ magnétique qui leur est appliqué, sont utilisés dans la dissipation d’énergie mécanique. Ainsi, il existe de nombreux dispositifs utilisant ces fluides, par exemple des amortisseurs ou des freins, permettant de contrôler aisément leurs performances. Cependant ces dissipateurs d’énergie mécanique sont amenés à opérer dans des milieux soumis à des perturbations externes notamment des vibrations. Dans le cadre de cette thèse, nous étudions la stabilité des propriétés des fluides magnéto-rhéologiques lorsqu’ils sont perturbés par une stimulation de type vibratoire.Une comparaison analytique de l’ordre de grandeur des efforts vibratoires relativement aux efforts de cohésion magnétique ayant lieu dans le fluide laisse apparaître une possible perturbation du fluide par des vibrations.Nous avons mis en place un banc de test permettant à la fois d’injecter des perturbations vibratoires et de mesurer leur impact sur le fluide utilisé dans un mode classique de cisaillement.Dans certaines conditions, nous avons pu mesurer une diminution de la contrainte de cisaillement du fluide. La variation observée est liée à l’amplitude du mode de déformation de l’élément cisaillant. Trois directions de propagation de vibration selon un repère cylindrique sont étudiées et leurs impacts discutés. La direction normale à la surface est celle qui présente le plus d’effet. La variation maximale de la contrainte de cisaillement observée peut atteindre 40 %. Ce phénomène intervient pour des champs magnétiques faibles, inférieurs à 250 mT, et pour une vitesse de cisaillement faible, inférieure à 100 s-1.Enfin l’effet des vibrations est étudié sur des fluides de différentes viscosités et concentrations de particules, afin d’évaluer l’impact de ces derniers sur la stabilité du fluide / When subjected to a magnetic field, the Magneto-Rheological (MR) fluid increases its apparent viscosity and becomes a viscoelastic solid. They are used in applications requiring dissipation of mechanical energy such as shock absorbers or brakes. These devices operate in environments subject to external disturbances. In this thesis, we study the stability of magneto-rheological fluid properties when they are subjected to vibrations.When comparing the magnitude of the applied forces generated by the vibrations to the magnetic force between the particules it appears that these forces are of the same order. This implies a modification of the fluid behaviour.We developed a dedicated test bench allowing to induce vibration disturbances and to measure their impact on the fluid used in a shear mode configuration.We observed experimentally a decrease in the shear stress of the fluid. This variation depends on the modal deformation of the shearing element. Three propagation directions of vibration according to a cylindrical coordinate are studied and compared. The normal direction to the surface is the one with the most significant effect. The maximum shear stress variation reached was 40%. This phenomenon occurs for low magnetic fields, less than 250 mT, and low shear rate, less than 100 s-1.Finally, the vibration effect is studied on fluids with different viscosities and particle concentrations in order to assess their impact on the fluid’s stability.
|
275 |
Développement de nouvelles formulations polymères thermoplastiques pour l’élaboration de multi-matériaux sandwich acier / polymère / acier / Development of new polymers formulations for steel/polymer/steel compositesAvril, Florence 13 December 2010 (has links)
L'objectif de notre travail de développer des multi-matériaux de type sandwich acier/polymère/acier destinés au secteur automobile en vue de l'allègement des structures. Ce nouveau matériau doit satisfaire plusieurs critères, à savoir: i) grande déformabilité à froid en vue de l'emboutissage, ii) tenue au fluage à haute température (T=200°C, étape de cataphorèse), iii) tenue en milieu agressif (chaud, humide, brouillard salin). De plus, l'adhésion polymère-métal doit être maîtrisée en vue d'éliminer les phénomènes de délamination lors de l'emboutissage des tôles. Ce sandwich doit être réalisable sur une ligne industrielle dont la température maximale de complexage est limitée à 200°C. Si une solution à chacun de ces points particuliers peut être facilement apportée, la réponse à l'ensemble de ces critères par une formulation unique est beaucoup plus complexe. Nous nous sommes focalisés sur une formulation permettant de répondre au critère de tenue au fluage pour des températures supérieures à 200°C mais dont l'adhésion à chaud sur le métal (étape de complexage sur la ligne industrielle) doit être à inférieure à cette même température de 200°C. Pour cela nous avons développé une formulation à base de polymères immiscibles polyamide 11/polyoléfine fonctionnalisée anhydride maléique compatibilisés in-situ. Nos travaux ont donc porté sur l'optimisation de cette formulation, via le contrôle de la morphologie en vue de l'élaboration d'un film ayant les caractéristiques d'un fluide polymère à contrainte seuil d'écoulement tout en ayant les propriétés d'adhésion adéquate / The aim of this work is to develop multimaterials such as steel/polymer/steel composites for weight savings in automotive industry. To fully take advantage of properties of both steel and polymer materials, adhesion steel-polymer must be well controlled. Moreover, the composite must be compatible with processing on the industrial line and last not least, the structure must be flow resistant during the cataphoresis step (Painting process at 200°C for 30 minutes). This last condition is essential and our work will focuse on the development of compatibilized polymers blend made of polyamide 11 and polyolefin grafted maleic anhydride with yield stress properties. We successfully optimize the formulation via morphological control in order to develop a yield stress fluid with good adhesive properties
|
276 |
Analyse théorique et numérique de l'endommagement par micro-fissuration descomposites à matrice quasi-fragile / Theoretical and numerical analysis of damage by micro-cracking composite materials of quasi-brittle matrixDib, Dayana 22 October 2015 (has links)
Le problème initial traité dans cette thèse relève du cadre général de la modélisation des tunnels profonds. Pour cela, on a adopté l'approche basée sur la mécanique linéaire de la rupture. L'étude s'est appuyée sur le critère mixte de Leguillon. Suite à cette étude, on a pu tirer que ce n'est pas le critère mixte qui est insuffisant mais plutôt la façon d'aborder le problème. D'où le passage à la prise en compte de l'hétérogénéité du matériau constitutif et la possibilité d'amorçage d'une fissure sous une contrainte de compression. Une première approche a été entreprise par l'étude d'une bicouche périodique sous contrainte de compression verticale. La couche de grande raideur s'est apparue le siège d'une traction transversale. Effectivement la possibilité d'amorçage d'une fissure est tout à fait probable grâce toujours à la vérification des critères d'énergie et de contrainte. Une deuxième approche consistait à observer au plus près la microstructure du matériau ; on a considéré le problème d'une inclusion elliptique dans une matrice infinie. Par la méthode des variables complexes et la technique de la transformation conforme, on a analysé le champ de contrainte autour de l'inclusion et on a mis en évidence la présence d'une traction qui dépend fortement des paramètres choisis. Par la méthode des éléments finis étendus, on a calculé la variation de l'énergie potentielle mise en jeu par la création d'une fissure. Par une démarche semblable à l'approche précédente, à savoir la vérification des critères d'énergie et de contrainte, on a conclu à la possibilité d'amorçage d'une fissure. Mots clefs : mécanique linéaire de la rupture, critère mixte de Leguillon, énergie potentielle, taux de restitution d'énergie, méthode des éléments finis étendus, bicouche périodique, méthode des variables complexes / The initial problem treated in this thesis falls within the general framework of modeling deep tunnels. For this reason, the approach based on linear fracture mechanics was adopted. The study was based on the mixed criterion of Leguillon. Following This study, the mixed criterion was not insufficient but the way to approach the problem was. Where the transition to the consideration of the heterogeneity of the material component and the possibility of initing a crack under a compressive stress. A first approach was undertaken the study of periodic bilayer under the stress of vertical compression. The layer of the highest stiffness has appeared the seat of a transverse traction. Indeed the possibility to initiate a crack is quite likely always through the verification of the energy and the stress criteria. A second approach was to observe more closer the microstructure of the material; we have considered the problem of elliptic inclusion in an infinite matrix. By the method of complex variables and the technique of conformal mapping, we analyzed the stress field around the inclusion and were revealed the presence of a traction which depends strongly of the selected parameters. By the extended finite element method, we calculated the variation of the potential energy involved by creating a fracture. In a similar approach to the previous one, namely verification of the energy and the stress criteria, we concluded the possibility of initiating a crack. Keywords: linear fracture mechanics, mixed criterion of Leguillon, potential energy, energy release rate, extended finite element method, periodic bilayer, method of complex variables
|
277 |
Propagation des petites fissures de fatigue dans les zones de concentration de contraintes dans le superalliage N18Sansoz, Frédéric 02 February 2000 (has links) (PDF)
L'alliage N18 est utilisé pour la fabrication des disques de turbine des moteurs M88. Ce superalliage base Ni, élaboré par métallurgie des poudres (MDP), associe une bonne mise en œuvre à des propriétés mécaniques statiques très élevées au-dela de 650°c. La difficulté dans la maîtrise des alliages obtenus par MDP, réside dans le contrôle du taux d'inclusions entraînées pendant l'élaboration. La présence, même extrêmement faible, de ces défauts microstructuraux (<100µm) pourrait accidentellement entraîner l'amorçage de petites fissures de fatigue elliptiques, sous l'effet de concentrations de contraintes comme les entailles de fixation des aubes. Il est donc important de savoir si le comportement en propagation de ces petites fissures (0.1mm
|
278 |
Contribution aux méthodes de synthèse de correcteurs d'ordres réduits sous contraintes de robustesse et aux méthodes de réduction de modèles pour la synthèse robuste en boucle ferméeLe, Hoang Bao 29 November 2010 (has links) (PDF)
Les systèmes LTI à contrôler sont soumis à des contraintes physiques et technologiques. Nous avons montré que celles-ci limitent la bande passante atteignable en boucle fermée. Il s'en suit qu'il suffit de modéliser et d'analyser ces systèmes dans une bande de fréquences limitée, et non pas sur toutes les fréquences, et que l'utilisation de correcteurs d'ordres réduits est tout à fait efficace. Dans cette thèse, nous nous intéressons à la synthèse de correcteurs d'ordres réduits fixés sous contraintes de robustesse, et à la réduction de modèles pour de tels systèmes. La méthode proposée consiste à déterminer un correcteur de structure donnée qui optimise le rejet de la perturbation de commande de type échelon au sens de la norme H2, en respectant des contraintes de robustesse, i.e. marge de module minimum, marge de phase minimum et amplification maximum du bruit de mesure sur la commande. En s'appuyant sur une base de modèles génériques d'ordres réduits, la méthode aboutit à une formulation d'optimisation mixte H2/H-infini semi-analytique de la fonction objectif et de contraintes d'inégalités en termes des gains inconnus du correcteur. Lorsque le système à contrôler est d'ordre élevé, nous proposons une méthode de réduction de modèle avec garantie de marges de robustesse en boucle fermée afin d'obtenir les paramètres des modèles génériques d'ordres réduits. Si le modèle du système à contrôler n'est pas disponible, nous présentons une méthode d'identification expérimentale par la méthode du relais sur la base de modèles génériques. Dans le but de rendre l'approche proposée plus accessible à un usage industriel, nos développements in fine ont été intégrés à des outils logiciels d'aide à la conception d'un système de commande.
|
279 |
Approximations intérieures pour des problèmes de commande optimale. Conditions d'optimalité en commande optimale stochastique.Silva, Francisco 29 November 2010 (has links) (PDF)
Cette thèse est divisée en deux parties. Dans la première partie on s'intéresse aux problèmes de commande optimale déterministes et on étudie des approximations intérieures pour deux problèmes modèles avec des contraintes de non-négativité sur la commande. Le premier modèle est un problème de commande optimale dont la fonction de coût est quadratique et dont la dynamique est régie par une équation différentielle ordinaire. Pour une classe générale de fonctions de pénalité intérieure, on montre comment calculer le terme principal du développement ponctuel de l'état et de l'état adjoint. Notre argument principal se fonde sur le fait suivant: si la commande optimale pour le problème initial satisfait les conditions de complémentarité stricte pour le Hamiltonien sauf en un nombre fini d'instants, les estimations pour le problème de commande optimale pénalisé peuvent être obtenues à partir des estimations pour un problème stationnaire associé. Nos résultats fournissent plusieurs types de mesures de qualité de l'approximation pour la technique de pénalisation: estimations des erreurs de la commande , estimations des erreurs pour l'état et l'état adjoint et aussi estimations de erreurs pour la fonction valeur. Le second modèle est le problème de commande optimale d'une équation semi-linéaire elliptique avec conditions de Dirichlet homogène au bord, la commande étant distribuée sur le domaine et positive. L'approche est la même que pour le premier modèle, c'est-à-dire que l'on considère une famille de problèmes pénalisés, dont la solution définit une trajectoire centrale qui converge vers la solution du problème initial. De cette manière, on peut étendre les résultats, obtenus dans le cadre d'équations différentielles, au contrôle optimal d'équations elliptiques semi-linéaires. Dans la deuxième partie on s'intéresse aux problèmes de commande optimale stochastiques. Dans un premier temps, on considère un problème linéaire quadratique stochastique avec des contraintes de non-negativité sur la commande et on étend les estimations d'erreur pour l'approximation par pénalisation logarithmique. La preuve s'appuie sur le principe de Pontriaguine stochastique et un argument de dualité. Ensuite, on considère un problème de commande stochastique général avec des contraintes convexes sur la commande. L'approche dite variationnelle nous permet d'obtenir un développement au premier et au second ordre pour l'état et la fonction de coût, autour d'un minimum local. Avec ces développements on peut montrer des conditions générales d'optimalité de premier ordre et, sous une hypothèse géométrique sur l'ensemble des contraintes, des conditions nécessaires du second ordre sont aussi établies.
|
280 |
Sur l'algorithme de tir pour les problèmes de commande optimale avec contraintes sur l'étatHermant, Audrey 05 September 2008 (has links) (PDF)
Cette thèse s'intéresse au problème de commande optimale (déterministe) d'une équation différentielle ordinaire soumise à une ou plusieurs contraintes sur l'état, d'ordres quelconques, dans le cas où la condition forte de Legendre-Clebsch est satisfaite. Le principe du minimum de Pontryaguine fournit une condition d'optimalité nécessaire bien connue. Dans cette thèse, on obtient premièrement une condition d'optimalité suffisante du second ordre la plus faible possible, c'est-à-dire qu'elle est aussi proche que possible de la condition nécessaire du second ordre et caractérise la croissance quadratique. Cette condition nous permet d'obtenir une caractérisation du caractère bien posé de l'algorithme de tir en présence de contraintes sur l'état. Ensuite on effectue une analyse de stabilité et de sensibilité des solutions lorsque l'on perturbe les données du problème. Pour des contraintes d'ordre supérieur ou égal à deux, on obtient pour la première fois un résultat de stabilité des solutions ne faisant aucune hypothèse sur la structure de la trajectoire. Par ailleurs, des résultats sur la stabilité structurelle des extrémales de Pontryaguine sont donnés. Enfin, ces résultats d'une part sur l'algorithme de tir et d'autre part sur l'analyse de stabilité nous permettent de proposer, pour des contraintes sur l'état d'ordre un et deux, un algorithme d'homotopie dont la nouveauté est de déterminer automatiquement la structure de la trajectoire et d'initialiser les paramètres de tir associés.
|
Page generated in 0.0689 seconds