Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Le droit de l’Union européenne emprunte fréquemment aux techniques élaborées et perfectionnées par la science des conflits de lois. Le droit dérivé en général, vecteur de l’intégration juridique des États membres, est la source d’un nombre croissant de dispositions de droit international privé. Les directives européennes, en particulier, exploitent les différentes méthodes de droit international privé façonnées de longue date par les droits nationaux. Les instruments conflictuels y sont placés au service de la construction européenne et voient ainsi leur finalité séculaire redéfinie. Ce sont donc tant les objectifs que les origines des règles touchant aux conflits de lois qui sont modifiés dans le contexte européen. Les contraintes propres aux directives, ces normes à deux niveaux, sont autant de facteurs susceptibles de perturber le fonctionnement des mécanismes de droit international privé. La présente étude se propose d’expliquer l’influence des directives sur le conflit de lois à travers le prisme des méthodes du droit international privé. Elle tend à montrer qu’un double mouvement d’influence réciproque caractérise les relations entre ces textes et ces méthodes. La réception des méthodes traditionnelles par les directives provoque une série de perturbations susceptibles de renouveler leur analyse classique. Inversement, des procédés nouveaux, issus de la construction du marché intérieur et présents au sein des directives, enrichissent la théorie du droit international privé. Cette analyse permet de mettre en lumière la diversité des méthodes de droit international privé contenues dans les directives européennes. / European Union law frequently utilizes from techniques elaborated and continuously improved by the conflict of laws science. Secondary law in general, vector of the legal integration of Member states is the source of an increasing number of private international law measures. In particular, European directives leverage the various methods of private international law designed by the respective national laws a long time ago. In these specific norms, conflicts resolution instruments are repositioned to serve the objective of European construction and therefore have their secular purpose redefined. Thus, both the objectives and the origins of rules relative to the conflict of laws are altered in the European context. As two level laws, directives have specific constraints, which can disrupt how private international law mechanisms operate. The present study aims at explaining the influence of the directives on the conflict of laws from the private international law methods standpoint. It tends to show that these texts and methods operate in a reciprocal influence model. The integration of the traditional methods into directives causes a series of disturbances which can renew their classic analysis. Inversely, new processes stemming from the construction of the internal market and present within the directive are likely to enhance private international law theory. This analysis sheds light on the diversity of private international law methods embedded in European directives.

La prédiction de connexions entre objets, basée soit sur une observation bruitée, soit sur une suite d'observations est un problème d'intérêt pour un nombre d'applications allant de la conception de système de recommandation en commerce électronique et réseaux sociaux jusqu'à l'inférence de réseaux en biologie moléculaire. Ce travail présente des formulations du problème de prédiction de lien, dans les cadres statique et temporel, comme un problème régularisé. Dans le scénario statique c'est la combinaison de deux normes bien connues, la norme L1 et la trace-norme qui permet de prédire les liens, alors que dans le cas dynamique, l'utilisation d'un modèle autoregressif sur des descripteurs linéaires permet d'améliorer la qualité de la prédiction. Nous étudierons la nature des solutions des problèmes d'optimisation à la fois en termes statistique et algorithmique. Des résultats empiriques encourageant mettent en évidence l'apport de la méthodologie adoptée. / Predicting connections among objects, based either on a noisy observation or on a sequence of observations, is a problem of interest for numerous applications such as recommender systems for e-commerce and social networks, and also in system biology, for inferring interaction patterns among proteins. This work presents formulations of the graph prediction problem, in both dynamic and static scenarios, as regularization problems. In the static scenario we encode the mixture of two different kinds of structural assumptions in a convex penalty involving the L1 and the trace norm. In the dynamic setting we assume that certain graph features, such as the node degree, follow a vector autoregressive model and we propose to use this information to improve the accuracy of prediction. The solutions of the optimization problems are studied both from an algorithmic and statistical point of view. Empirical evidences on synthetic and real data are presented showing the benefit of using the suggested methods.

Le contrôle d'accès permet de spécifier une partie de la politique de sécurité d'un SI (système d'informations). Une politique de CA (Contrôle d'accès) permet de définir qui a accès à quoi et sous quelles conditions. Les concepts fondamentaux utilisés en CA sont : les permissions, les interdictions (ou prohibitions), les obligations et la SoD (séparation des devoirs). Les permissions permettent d'autoriser une personne à accéder à des ressources. Au contraire les prohibitions interdisent à une personne d'accéder à certaines ressources. Les obligations lient plusieurs actions. Elles permettent d'exprimer le fait qu'une action doit être réalisée en réponse à une première action. La SoD permet de sécuriser une procédure en confiant la réalisation des actions composant cette procédure à des agents différents. Différentes méthodes de modélisation de politiques de contrôle d'accès existent. L'originalité de la méthode EB3Sec issue de nos travaux repose sur deux points :- permettre d'exprimer tous les types de contraintes utilisées en CA dans un même modèle,- proposer une approche de modélisation basée sur les événements. En effet, aucune des méthodes actuelles ne présente ces deux caractéristiques, au contraire de la méthode EB3Sec. Nous avons défini un ensemble de patrons, chacun des patrons correspond à un type de contraintes de CA. Un modèle réalisé à l'aide de la méthode EB3Sec peut avoir différentes utilisations :- vérification et simulation,- implémentation. La vérification consiste à s'assurer que le modèle satisfait bien certaines propriétés, dont nous avons défini différents types. Principalement, les blocages doivent être détectés. Ils correspondent à des situations où une action n'est plus exécutable ou à des situations où plus aucune action n'est exécutable. Les méthodes actuelles des techniques de preuves par vérification de modèles ne permettent pas de vérifier les règles dynamiques de CA. Elles sont alors combinées à des méthodes de simulation. Une fois qu'un modèle a été vérifié, il peut être utilisé pour implémenter un filtre ou noyau de sécurité. Deux manières différentes ont été proposées pour réaliser cette implémentation : transformer le modèle EB3Sec vers un autre langage, tel XACML, possédant une implémentation ayant déjà atteint la maturité ou réaliser un noyau de sécurité utilisant le langage EB3Sec comme langage d'entrée / Access control allows one to specify a part of the security Policy of an IS (information system). An AC (access control) policy defines which conditions must old for someone to have access to something. Main concepts used in AC are: permissions, prohibitions, obligations and SoD (separation of duty). Permissions allow someone to access to some resources. On the opposite, prohibitions forbid users to have access to some resources. Obligations link at least two actions: when a user performs an action, he must perform another one. SoD secures an action by dividing it in different tasks, and entrusting the execution of these tasks to different users. Many AC policies modelling methods already exist. The main particularities of the EB3Sec methods are:- All AC concepts can be expressed in a unique model,- This modelling method is event-based. No existing AC modelling methods presents these two characteristics. We define a set of patterns; each pattern corresponds to a specific AC constraint. An EB3Sec model can be used for different purposes:- Simulation and verification,- Implementation.Verifying a model consists in checking that the model complies with some properties that we have defined. Mainly, blocking must be detected. Blocking corresponds to a step of execution where no action can be executed or to situations where an action cannot be performed anymore. Current model checking methods cannot be used to check properties on dynamic AC constraints. Thus, model-checking techniques are combined to simulation techniques. Once a model is verified, it can be transformed in an implementation. To implement an EB3Sec model two ways can be considered: the EB3Sec model can be translated into an other language, such as XACML, which possesses a mature implementation, or a security kernel using EB3Sec as input language can be implemented

La première partie du travail de thèse a consisté en l’établissement d’un état de l’art sur les méthodes de dimensionnement en fatigue sous environnement vibratoire. Nous avons ainsi étudié la représentation mathématique des vibrations aléatoires, les méthodes classiques de dimensionnement en fatigue pour des chargements uni-axiaux et multiaxiaux ainsi que les méthodes de dimensionnement en fatigue formulées dans le domaine spectral. Ces dernières ont été définies pour la problématique des vibrations aléatoires, dans le cadre d’un certain nombre d’hypothèses de travail, et montrent des temps de calculs nettement plus faibles que des méthodes de dimensionnement classiques. La deuxième partie de travail de la thèse a consisté à développer une méthode de dimensionnement en fatigue formulée dans le domaine spectral valide sur tout le domaine de fatigue, aussi bien en oligo-cyclique qu’en endurance. Les travaux ont portés sur l’intégration du comportement élasto-plastique confiné des matériaux dans les méthodes spectrales. L’approche proposée a fait l’objet d’une étude numérique comparative avec les méthodes existantes. Le dernier volet de la thèse est la comparaison de la méthode proposée avec des essais. Pour cela, le développement d’une éprouvette spécifique à la problématique a été réalisé. Les résultats obtenus montrent une bonne corrélation entre les approches numériques et expérimentales. / Mechanical structures are often subjected to random vibrations due to external forces (forces, acceleration...). Improving the safety of structures and reducing manufacturing and design costs is achieved thanks to accurate fatigue design methods. The first part of the thesis consisted in the establishment of a state of the art on design methods for fatigue under vibrational environment. The mathematical representation of random vibration, conventional fatigue design methods for uniaxial and multiaxial loads as well as fatigue design methods formulated in the spectral domain have been thoroughly studied. The latter have been applied to random vibrations cases, through a number of assumptions. They show significantly lower computation time than conventional design methods. The second part of the thesis is the development of a fatigue design method formulated in the spectral domain, which is valid over the whole domain of fatigue, from low cycle fatigue (LCH) to high cycle fatigue (HCF). The work focused on the integration of confined elasto-plastic behaviour of the materials in spectral methods. The proposed approach has been the subject of a comparative numerical study with existing methods. The last part of the thesis presents the comparison of proposed method to physical tests. A test specimen specific to this study has been developed. The results show a good correlation between the numerical and experimental approaches.

On se consacre dans ce travail à des aspects mal pris en compte par la méthodologie classique de la carte thématique. On a tout d’abord, en première partie, revisité les connaissances sur la manière dont la carte était perçue, interprétée puis comprise, en mobilisant les domaines de la perception visuelle et de la sémiotique. La sémiotique visuelle constitue une passerelle entre l’étude de la signification des formes visuelles, importante en cartographie, et les approches esthétiques qui mobilisent ces signes visuels selon des modalités bien plus variées. La deuxième partie s’est intéressée successivement à plusieurs approches disciplinaires. L’ontologie esthétique nous a apporté une définition utile, mais surtout une analyse de la génération des propriétés esthétiques. L’iconographie a ensuite permis de décrire le fonctionnement sémiotique visuel. Enfin, on a mis à profit les travaux de certains artistes et théoriciens du design graphique qui ont exploré la relation entre formes graphiques et propriétés esthétiques. La troisième partie propose une synthèse des idées-forces des chapitres précédents en un ensemble de propositions, dont l’efficacité a été testée par enquête auprès de 850 géographes. On étudie ensuite plus longuement la mise en pratique de deux idées : la visualisation de différentes complexités visuelles internes et la visualisation des proportions et des relations colorées d’une carte. Ce travail aboutit à justifier le développement de nouvelles approches dans la méthodologie de la cartographie thématique, en allant emprunter des concepts, des idées, des méthodes d’analyse et des outils d’évaluation de l’image-carte à des disciplines proches. / We dedicated this work to issues inadequately addressed by the standard methodology of the thematic map. In the first part, we revisited the knowledge about how the map was perceived, interpreted and understood by mobilizing the domains of visual perception and semiotics. Visual semiotics provides a bridge between the study of the meaning of visual forms, important in mapping, and aesthetic approaches that mobilize these visual signs in a much more varied manner. The second part focused successively on several disciplinary approaches. The aesthetics ontology gave us a useful definition, but also an analysis of the generation of aesthetic properties. Iconography provided then the means to describe the semiotical operation. Finally, we took into account the work of some artists and graphic design theorists who have explored the relationship between graphic forms and aesthetic properties. The third section provides a summary of the key ideas of the previous chapters formalized into a set of propositions, whose effectiveness has been tested by surveying 850 geographers. We examine then more specifically the implementation of two ideas: the visualization of different internal visual complexities and the visualization of the colors proportions and relationships on a map. This work leads to justify the development of new approaches to the methodology of thematic mapping, by borrowing concepts, ideas, methods of analysis and assessment tools of the map-image from related disciplines.

Les procédés par infusion de résine consistant à infuser une résine liquide à travers un empilement de préformes fibreuses sous l’action d’une pression extérieure ap-pliquée à cet empilement. Un drainant peut être utilisé pour créer un lit de résine sur ou sous cet empilement fibreux. Ces procédés sont utilisés pour fabriquer des pièces minces utilisées dans l’aéronautique par exemple. Les caractéristiques physiques et mécaniques des pièces obtenues sont difficiles à prévoir et à contrôler. La simulation numérique peut donc aider à la maîtrise de ces procédés. Dans ce travail, un modèle numérique éléments finis est proposé pour simuler les procédés par infusion de résine. L’écoulement de la résine, considérée comme un fluide Newtonien incompressible, est décrit par les équations de Stokes dans le drainant (milieu très perméable), et par les équations de Darcy dans les préformes fibreuses (milieu faiblement perméable). Ce couplage Stokes - Darcyest réalisé par une approche monolithique, consistant à utiliser un seul maillage pour les deux milieux. La formulation mixte en vitesse - pression, est alors discrétisée par des éléments finis linéaire - linéaire, et stabilisée par une méthode multiéchelle dite "ASGS". L’interface entre Stokes et Darcy et le front de la résine sont chacun représentés par une fonction "Level-Set", et des conditions de couplage sont imposées sur l’interface qui sépare les deux milieux. Au cours du procédé, les préformes subissent de grandes déformations, que ce soit durant la phase de compaction, ou durant l’infusion de la résine. La pression de la résine fait alors gonfler les préformes. Les déformations des préformes sont traitées par une formulation Lagrangienne réactualisée établie en grandes déformations. Les préformes sèches ont un comportement élastique non linéaire, donné dans le sens transverse par l’expérience. L’effet de la résine sur les préformes humides est représenté par le modèle de Terzaghi. Lorsque les préformes se déforment, leur porosité et donc la perméabilité du milieu varient, affectant ainsi l’écoulement. La formule de Carman-Kozeny est utilisée pour relier porosité et perméabilité. Après avoir validé le couplage Stokes - Darcy par de nombreux cas tests et par la méthode des solutions manufacturées, diverses simulations 2D et 3D de procédés par infusion de résine sont présentées, incluant la déformation des préformes. Des comparaisons sont finalement faites avec succès entre simulation numérique et résultats expérimentaux dans un cas de géométrie simple. Des extensions à des cas tridimensionnels présentant des courbures et des variations d’inertie sont proposées en guise de perspectives. / Resin infusion-based processes are good candidates for manufacturing thin composite materials parts such as those used in aeronautics for instance. These processes consist in infusing a liquid resin into a stacking of fibrous preforms under the action of a mechanical pressure field applied onto this stacking where a stiff- distribution medium is also placed to create a resin feeding. Both physical and mechanical properties of the final pieces are rather difficult to predict and control. Numerical simulation are perfectly suited to master these processes. In the present work a numerical finite element modeling framework is proposed to simulate infusion processes. The flow of the assumed Newtonian resin is described in the distribution medium, a highly porous medium, through Stokes’ equations and through Darcy’s equations in the fibrous preforms, very low permeability media. This coupled Stokes-Darcy flow is modeled in a monolithic approach which consists in using a single mesh for both media. The mixed velocity- pressure formulation is then discretized by linear-linear finite elements, stabilized by a so-called ASGS multi-scale approach. Both Stokes-Darcy interface and fluid front are represented individually thanks to "Level-Set" functions, and some specific coupling conditions are prescribed on the interface separating both fluid and porous media. During the process, orthotropic preforms undergo finite strains, either during the compaction stage when resin is not yet present, or during resin infusion. Resin pressure then tends to make the preforms swell. Preforms deformations are represented through an updated Lagrangian formulation for finite deformations. Dry preforms possess a non-linear elastic behaviour in their transverse direction - across their thickness- given by existing experimental measurements. The effect of the presence of resin in the wet preforms is accounted for using a Terzaghi’s equivalent model. Also, when preforms deform their porosity will change, and so will their permeability, modifying the resin flow. A Carman-Kozeny model is then used to relate porosity and permeability. After the Stokes-Darcy coupling is validated both on numerous tests cases and using the method of manufactured solutions, various 2D and 3D simulations of injection and infusion-based processes are analyzed.The latter includ- ing preform deformations along with resin flow. Comparisons with existing experimental measurements permit to validate the approach on a simple geometry. Last, some ex- tensions to more complex 3D cases are proposed as outlooks, including curvatures and thickness variations.