La Programmation par contraintes est un cadre général utilisé pour modéliser et résoudre des problèmes combinatoires complexes. Cependant, la modélisation d'un problème sous forme d’un réseau de contraintes nécessite une bonne expertise dans le domaine. Ce niveau d'expertise est un obstacle majeur pour une large diffusion de la programmation de contraintes. Pour remédier à ce problème, plusieurs systèmes d'acquisition de contraintes ont été proposés pour aider l'utilisateur dans la tâche de modélisation. Dans ces systèmes, l'utilisateur ne répond qu'à des questions très simples. L'inconvénient est que lorsqu'aucune connaissance de base n’est fournie, l'utilisateur peut avoir besoin de répondre à un grand nombre de questions pour apprendre toutes les contraintes. Dans cette thèse, nous montrons que l'utilisation de la structure du problème peut améliorer considérablement le processus d'acquisition. Pour ce faire, nous proposons plusieurs techniques. Tout d'abord, nous introduisons le concept de requête de généralisation basée sur une agrégation de variables sous forme detypes. Deuxièmement, pour faire face aux requêtes de généralisation, nous proposons un algorithme de généralisation de contraintes, nommé GENACQ, ainsi que plusieurs stratégies. Troisièmement, pour rendre la construction de requêtes de généralisation totalement indépendante de l'utilisateur, nous proposons l'algorithme MINE&ASK, qui est en mesure d'apprendre la structure au cours du processus d'acquisition de contraintes, et d'utiliser la structure apprise pour générer des requêtes de généralisation. Quatrièmement, pour aller vers un concept générique de requête, nous introduisons la requête de recommandation basée sur la prédiction de liens dans le graphe de contraintes apprises jusqu’à présent. Cinquièmement, nous proposons un algorithme de recommandation de contraintes, ppelé PREDICT&ASK, qui demande à l’utilisateur de classifier des requêtes de recommandation chaque fois que la structure du graphe courant a été modifiée. Enfin, nous intégrons toutes ces nouvelles techniques dans l’algorithme QUACQ, menant à trois nouvelles versions, à savoir G-QUACQ, M- QUACQ, et P-QUACQ. Pour évaluer toutes ces techniques, nous avons fait des expérimentations sur plusieurs jeux de données. Les résultats montrent que les versions étendues améliorent considérablement le QUACQ de base. / Constraint Programming is a general framework used to model and solve complex combinatorial problems.However, modeling a problem as a constraint network requires significant expertise in the field.Such level of expertise is a bottleneck to the broader uptake of the constraint technology.To alleviate this issue, several constraint acquisition systems have been proposed to assist thenon-expert user in the modeling task. Nevertheless, in these systems the user is only asked to answervery basic questions. The drawback is that when no background knowledge is provided,the user may need to answer a large number of such questions to learn all the constraints.In this thesis, we show that using the structure of the problem under consideration may improvethe acquisition process a lot. To this aim, we propose several techniques.Firstly, we introduce the concept of generalization query based on an aggregation of variables into types.Secondly, to deal with generalization queries, we propose a constraint generalization algorithm, named GENACQ, together with several strategies. Thirdly, to make the build of generalization queries totally independent of the user, we propose the algorithm MINE&ASK, which is able to learn the structure, during the constraint acquisition process, and to use the learned structure to generate generalization queries. Fourthly, toward a generic concept of query, we introduce the recommendation query based on the link prediction on the current constraint graph. Fifthly, we propose a constraint recommender algorithm, called PREDICT&ASK, that asks recommendation queries, each time the structure of the current graph has been modified. Finally, we incorporate all these new generic techniques into QUACQ algorithm leading to three boosted versions, G-QUACQ, M- QUACQ, and P-QUACQ. To evaluate all these techniques, we have made experiments on several benchmarks. The results show that the extended versions improve drastically the basic QUACQ.

Les systèmes de contraintes de distance euclidienne apparaissent dans de nombreux domaines d'applications, comme en robotique, en biochimie<br />moléculaire ou en CAO. Les techniques issues de la programmation par contraintes permettent de résoudre ces problèmes en combinant une technique de bissection avec des méthodes de réduction des domaines (consistances locales ou partielles). Or, ces consistances sont des méthodes systématiques qui ne prennent pas en compte les propriétés spécifiques des contraintes.<br /><br />Nous présentons dans cette thèse deux approches pour la conception d'une contrainte globale pour la résolution de systèmes de contraintes de distance. La première approche est basée sur l'inférence de contraintes<br />redondantes directement issues de propriétés géométriques du système.<br />La deuxième approche est basée sur l'introduction d'un algorithme de filtrage global dédié aux systèmes d'équations de distance.<br />Ces travaux ont débouché sur la conception d'une<br />technique de décomposition de domaines qui exploite la structure particulière des contraintes de distance. Enfin, nous présentons une généralisation de cette heuristique de recherche à des contraintes numériques quelconques.

Ce mémoire fait une revue du concept de qualification des contraintes de premier et deuxième ordre. Les qualifications de premier ordre les plus connues et utilisées sont présentées, ainsi que des exemples et contre-exemples qui mettent en évidence les relations entre elles. Leurs équivalences dans les problèmes convexes sont aussi mises en évidence. Quelques qualifications de second ordre, ainsi que certains contre-exemples, sont présentés. Finalement, les fondations d'un travail visant à alléger les hypothèses essentielles à l'existence de trajectoires centrales d'algorithmes de barrière logarithmique sont présentées.

Le développement dans la dernière décennie des systèmes photovoltaïques concentrés a augmenté le besoin de gérer le budget thermique dans le récepteur pour empêcher sa surchauffe et gérer les pertes de performances liées à la température. Ce projet de maîtrise s'inscrit dans le cadre du développement d’un système solaire fortement concentré en collaboration avec des partenaires industriels. Notre partenaire industriel a mis au point une solution de production d’énergie photovoltaïque de haute concentration à l’échelle commerciale, mais il reste à valider la conception du système adopté. Le projet concerne l'étude du récepteur photovoltaïque qui est composé d’un réseau dense de 800 cellules solaires triple jonctions, montées sur un substrat. Ce dernier est composé d’un empilement de couches et un échangeur de chaleur pour refroidir le récepteur. Puisque notre récepteur absorbera un grand flux de chaleur, il y aura des contraintes dues à la non-concordance des coefficients de dilatation thermique entre ses différentes couches. Ces déformations pourraient provoquer la rupture de contact entre les cellules solaires, et ainsi la défaillance électrique du récepteur. Pour cela, ces travaux de recherche ont porté sur une étude thermomécanique du récepteur. En effet, l’étude de la dilatation de l'assemblage multicouche a permis d’acquérir une connaissance d’analyse thermomécanique de la tenue de la structure multicouche vis-à-vis d’un chargement thermique. Puis, le comportement des époxys, conducteur et isolant électrique utilisés pour fixer les cellules sur le substrat, a été étudié en fonction de plusieurs paramètres géométriques et des propriétés matérielles. La différence des coefficients d’expansion thermiques (CTE) des époxys, était le paramètre clé pour varier les contraintes dans les interconnexions. Conséquemment, on a utilisé deux époxys avec deux CTE proches pour diminuer les contraintes induites dans les deux époxys. De plus, vu que la structure se compose des couches usinées, on a créé des abaques de variation de rigidité effective en fonction des facteurs de formes dimensionnels des couches usinées. Enfin, le travail a permis de mettre en place des essais expérimentaux pour s’assurer du fonctionnement du récepteur à haute température. Par conséquent, on a validé l’utilisation de l’époxy dans la conception adoptée vu que la déformation maximale supportée par ce dernier ([epsilon Minuscule][indice inférieur m ax]=0.167 %) est supérieure à la déformation maximale qu’il peut avoir au cours de l'opération ([epsilon Minuscule][indice inférieur époxy]=0.0048%). Ensuite, les exigences de récepteur en termes de fonctionnement à haute température ont été fixées, comme l’écart maximal que l’époxy peut supporter pour la liaison des cellules entre deux unités du récepteur qui est [delta Majuscule]Gap[indice inférieur limite] [epsilon Minuscule] [[Plus ou moins]46 [mu Minuscule]m, [Plus ou moins]53 [mu Minuscule]m].

.

Le travail de thèse porte sur l'analyse du couplage écoulement – contrainte dans les roches fracturées et son application aux barrages. Le rapport de thèse est composé de 5 chapitres. Le premier chapitre présente une synthèse des travaux réalisés sur les roches fracturées et plus particulièrement sur le couplage écoulement – contrainte. L’accent est mis sur la modélisation numérique. Le second chapitre concerne la formulation de l’Élément Composite pour les roches fracturées. Il présente cet élément pour le problème mécanique ensuite pour le problème d’écoulement. Le 3ème chapitre présente l’extension de l’élément composite aux roches fracturées en prenant en compte le couplage contrainte – écoulement. Après une présentation de la formulation mathématique, on décrit l’introduction de cet élément dans un code de calcul. Le chapitre décrit aussi le fonctionnement de cet élément pour une fracture soumise à une contrainte normale puis à un cisaillement. Le 4ème chapitre traite de l’application de l’élément composite aux masses de roches fracturées contenant des drains. La performance de l’élément composite pour ce type d’applications est montrée à travers sa confrontation à la méthode des éléments finis classique. Le dernier chapitre présente l'application de l'élément composite à l'analyse du barrage de Xiaowan ayant un système de fondation complexe. La fondation contient trois ensembles de fractures et des drains. Cet exemple montre les performances de l'élément composite pour l'analyse des projets à géométrie complexe contenant des fractures. / The thesis concerns analysis of the stress-seepage coupling in fractured rock mass and its application on dams. The thesis is composed of 5 chapters. The first chapter presents a literature review on researches conducted on fractured rock mass and on seepagestress coupling in fractured rock with a particular focus on numerical modeling. The second chapter concerns the formulation of the composite element method for fractured rock mass. It presents the composite element method for stress and seepage problems. The third chapter concerns the formulation of the composite element for fractured rock mass considering seepage- stress coupling. After the mathematical formulation, it presents the numerical implementation of the composite element and its performances under both normal and shearing stress states. The 4th chapter presents analysis of the seepage-stress coupling for fractured rock mass with drainage holes. The numerical model is validated by its comparison to the convention al finite element method. The last chapter presents the use ofthe composite element for the analysis of the Xiaowan arch dam with complex fractured rock mass. The later contains three sets of fractures and drainage holes. This example shows the advantage and performances of the composite element for the analysis of complex projects.

Cette thèse apporte des solutions pour exploiter efficacement les nouvelles architectures hautement parallèles, dans le contexte des simulations d'objets déformables en temps réel. Les premières contributions de ce document, se concentrent sur le calcul de la déformation des objets. Pour cela nous proposerons des solutions de parallélisations de solveurs linéaires, couplées à des techniques de preconditionnement asynchrone. Le second ensemble de contributions, repose sur le processeur graphique pour produire une nouvelle méthode de détection des collisions, basée sur le volume d'intersection entre les objets déformables.Enfin les derniers travaux apportent des solutions pour produire une réponse précise aux contacts, et compatible avec le temps réel. Nous aborderons notamment les problèmes liés à la découpe des organes, et à la prise en compte du couplage mécanique entre les contacts. Pour terminer, nous illustrerons nos contributions dans un ensemble d’applications médicales, qui tirent parti des contributions de ce document. / This thesis provides solutions to effectively exploit the new highly parallel architectures, in the context of simulations of deformable objects in real time. The first contributions of this paper focus on calculating the deformation of objects. For that purpose, we will propose solutions of parallelization of linear solvers, coupled with asynchronous preconditioning techniques. The second set of contributions relies on the graphics processor to produce a new collision detection method, based on intersection volumes between deformable objects. Then the last works provide solutions to produce an accurate response to contacts and is compatible with real time. We will discuss issues related to the organs cutting, and the recognition of the mechanical coupling between the contacts. Finally, we will illustrate our contributions in a range of medical applications which make the most of the contributions of this paper.

Dans cette thèse, nous considérons une famille des problèmes d’ordonnancement avec machine parallèle identique et contraintes de précédences. Ce champ de recherche fait l’objet de nombreuses études. Malgré tout, la complexité de ces problèmes varie selon de nombreux paramètres,notamment le type de graphe de précédence ou le critère retenu. De plus, il existe encore de nombreux problèmes ouverts. Nous étudions certains de ces problèmes dans cette thèse. Nous montrons notamment que le problème ouvert avec tâches de durée unitaires et graphe de précédence de type intree est NP-complet. Puis, nous prouvons que le problème avec graphe de précédence de type level order est NP-complet aussi. La preuve est ensuite étendue à des problèmes connexes. Par la suite, on améliore un algorithme exponentiel pour un problème spécifique qui est NP-complet. Enfin, nous proposons un modèle linéaire pour le problème avec contraintes de précédence quelconque, améliorant aussi les résultats de littérature. / The main problem studied in this thesis is that of parallel machine scheduling with precedence constraints. The complexity depends on the shape that the precedence graph takes and the objective function. We prove that one minimum-open problem of scheduling equal-processing-time jobs which subject to in-tree precedence constrains is NP complete while minimizing the total competition time.Then, we prove that the open problem of scheduling level-order precedence constrains is NP-complete too. We adapted the second proof to other scheduling problems as well.On the other hand, we improved an exponential algorithm designed for a specific NP-hard problem. At the end, we propose a linear programming model for the general scheduling problem with arbitrary precedence constraints and processing-time. We adapt the existing models which are originally designed for other scheduling problems to parallel scheduling problem and compare these models with ours.

Dans un premier temps, les phénomènes à l'origine des contraintes résiduelles en injection de thermoplastique sont décrits, avec les spécificités liées aux polymères renforcés de fibres. Le refroidissement hétérogène associé à une variation de comportement mécanique conduit aux contraintes d'origine thermique, auxquelles il faut ajouter les contraintes dues à la pression dans la phase fluide figée par la solidification. Les fibres de renfort introduisent une hétérogénéité et une anisotropie de comportement mécanique et de retrait. Dans un deuxième temps, une méthode de mesure des contraintes résiduelles basée sur l'enlèvement de couches et la mesure des moments de flexion est présentée. Elle permet la mesure des contraintes résiduelles pour des matériaux anisotropes comme les thermoplastiques renforcés de fibres. En général, on obtient des contraintes de traction en cœur et de compression en peau. L'effet du fraisage pour enlever les couches est évalué. La pression et le temps de maintien, la température de régulation du moule, le taux de fibres influencent les profils de contraintes.

.