Avec 3,2 millions de voyageurs par jour, c'est pour SNCF Transilien l'équivalent en termes de flux d'un Airbus A380 décollant toutes les 6 secondes. Dans ces conditions extrêmes, une attention centrale est accordée à l'utilisateur au cœur du service. Notre thèse de doctorat s'inscrit dans ce cadre. Elle vise à modéliser et à fournir des solutions aux soins des utilisateurs en cas de détérioration de la production de transport ferroviaire. Notre contribution est de fournir un ensemble de recommandations concernant le processus d'optimisation afin d'atteindre un niveau de satisfaction des utilisateurs optimal compte tenu de l'instabilité de la production de service. À la suite d'une revue de la littérature, comprenant les spécificités des services, les concepts de recouvrement de service ainsi que des dimensions de perception et de satisfaction, nous mobilisons la théorie de la justice pour aborder la question de la gestion de la satisfaction de la clientèle en cas de défaillance. / With 3.2 million passengers per day, it is for SNCF Transilien the equivalent of an Airbus A380 taking off every 6 seconds. In these extreme conditions, a central attention is given to the user at the heart of the service, for breach of servuction. Our doctoral thesis fits in this framework. It aims to model and provide solutions to the care of users in case of deteriorated rail transport production. Our contribution is to provide a set of recommendations regarding the optimization process to achieve a level of satisfaction of users optimal given the instability of service production. Following a review of literature including the specificities of services, service recovery concepts as well as dimensions of perception and satisfaction, we will rely on theories of justice to give insights to the management of customer satisfaction.

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

Ce mémoire traite deux problèmes : en premier lieu, l'estimation paramétrique par intervalle dans un contexte où il y a des contraintes sur le paramètre et, en deuxième lieu la probabilité de fausses découvertes lorsqu'on réalise simultanément plusieurs tests d'hypothèses. Dans le premier chapitre, nous faisons un rappel sur les notions de base de l'inférence statistique à savoir l'estimation ponctuelle et par intervalle. Dans le deuxième chapitre, nous abordons la théorie de l'estimation par intervalle de confiance bayésien décrit dans [10]. Des résultats nouveaux sont présentés dans ce chapitre. Des travaux partiels (voir [7]), montrent que la probabilité de recouvrement fréquentiste est faible aux frontières de l'intervalle. Comparé à ces derniers, nous avons montré sous certaines conditions que cette probabilité n'ira jamais au delà d'une borne supérieure qui semble éloignée de la crédibilité. Finalement, au Chapitre 4, nous traitons des estimateurs de la probabilité de fausses découvertes. Des améliorations significatives ont été faites dans ce cadre.

La convergence de récentes avancées technologiques permet l'émergence de nouveaux environnements informatiques pervasifs, dans lesquels des terminaux en réseaux coopèrent et communiquent de manière transparente pour les utilisateurs. Ces utilisateurs demandent des fonctionalités de plus en plus avancées de la part de ces terminaux. Etant données les limites intrinsèques des terminaux mobiles, ces fonctionalités, au lieu d'être directement implémentées dans les terminaux, sont appelées à être fournies par des fournisseurs de services situés à la périphérie du réseau. Ce derniers devient alors une source illimitée de services, et non plus seulement un medium de communication. Ces services, ou applications d'overlays, sont formés de plusieurs éléments applicatifs distribués qui coopèrent et communiquent entre eux via un réseau de recouvrement dynamique particulier, une association d'overlay. La Qualité de Service (QdS) perçue par les utilisateurs d'une application d'overlay dépend de la QdS existant au niveau des chemins de communications qui forment l'association d'overlay correspondante. Cette thèse montre qu'il est possible de fournir de la QdS à une application d'overlay en utilisant des chemins Internet alternatifs, résultant de la composition de chemins distincts. De plus, cette thèse montre également qu'il est possible de découvrir, sélectionner, et composer d'une manière distribuée ces chemins élémentaires, au sein d'une communauté comprenant un nombre important d'entités paires (telles que les précédents fournisseurs de services). Les principales contributions de cette thèse sont : i) une description et une analyse des caractéristiques de QdS de ces chemins alternatifs composés, ii) une architecture originale appelée SPAD (Super-Peer based Alternate path Discovery), qui permet la découverte et la sélection de manière distribuée de ces chemins alternatifs. SPAD est un système complètement décentralisé, qui peut être facilement et incrémentalement déployé sur l' Internet actuel. Il permet aux utilisateurs situés à la périphérie du réseau de découvrir et d'utiliser directement des chemins alternatifs.

Les supercalculateurs utilisés dans le HPC sont constitués de plusieurs machines inter-connectées. Généralement, elles sont programmées à l'aide de MPI qui spécifie une interface de programmation échanger des messages entre les machines. Les opérations MPI non-bloquantes ont été proposées pour recouvrir les communications par du calcul afin d'en amortir le coût. Initialement, ces opérations étaient uniquement disponibles pour les opérations entre 2 processus MPI : les communications point-à-point. L'extension des communications non-bloquantes aux opérations impliquant plus de 2 processus MPI, les opérations collectives, est apparue dans la version 3.0 de la norme MPI en 2012. Cela a ouvert la possibilité de recouvrir les communications collectives non-bloquantes par du calcul. Cependant, ces opérations consomment plus de temps CPU que les opérations point-à-point. Nous proposons d'aborder ce problème sous plusieurs angles. D'une part, nous nous concentrons sur le placement des threads de progression générés par les collectives MPI non-bloquantes. Pour cela, nous proposons deux algorithmes de placement des threads de progression pour toutes les collectives MPI non-bloquantes. Le premier est de regrouper les threads de progression sur des cœurs libres. Le second est de placer les threads de progression sur les hyper-threads. Pour être plus efficace, nous nous concentrons ensuite sur l'optimisation de deux types d'algorithme utilisés pour les opérations collectives : les algorithmes en arbre et les algorithmes en chaîne. D'autre part, nous avons aussi étudié l'ordonnancement des threads de progression afin d'éviter l'exécution de threads inutiles à la progression de l'algorithme. Pour cela, nous proposons d'abord d'utiliser un mécanisme permettant de suspendre l'ordonnancement de ces threads, puis de forcer l'ordonnancement optimal des threads de progression de façon statique à l'aide de sémaphores. Enfin, une politique d'ordonnancement avec des priorités a été mise en place comme preuve de concept. / Supercomputers used in HPC are composed of severals inter-connected machines. Usually, they are programmed using MPI which specify an API for messages exchanges between machines. To amortize the cost of MPI collective operations, non-blocking collectives have been proposed so as to allow communications to be overlapped with computation. Initially, these operations were only available for communication between 2 MPI processes : point-to-point communications. Non-blocking communications were expanded to collective communications in 2012 with MPI 3.0. This opens up the possibility to overlap non-blocking collective communications with computation. However, these operations are more CPU-hungry than point-to-point communications. We propose to approach this problem from several angles. On the one hand, we focus on the placement of progress threads generated by the MPI non-blocking collectives. We propose two progress threads placements algorithms for all non-blocking collectives. We either bind them on free cores, or we bind them on the hyper-threads. Then, we focus on optimizing two types of algorithms used by collective operations: tree-based algorithms and chain-based algorithms. On the other hand, we also study the scheduling of progress threads to avoid their execution when it is unecessary to the advancement of the collective algorithm. For that, we propose first to use a mechanism to suspend the scheduling of these threads, and then we force their optimal scheduling statically by using semaphores. Finally, we introduce a proof of concept scheduling policy with priorities.

L'ensemble de toutes les congruences d'une algèbre, ordonné par inclusion, est un treillis algébrique (Birkhoff), ses éléments compacts sont les congruences finiment engendrées ; elles forment un demi-treillis. Un demi-treillis est relevable dans une variété V s'il est isomorphe au demi-treillis des congruences compactes d'une algébre de V. Les travaux de Wehrung sur CLP, ainsi que ceux de Ploščica, illustrent que même pour une variété d'algèbres facile à décrire, comme la variété de tous les treillis, ou une variété finiment engendrée, la caractérisation des demi-treillis relevables est difficile. Le point critique entre deux variétés V et W est le plus petit cardinal d'un demi-treillis relevable dans V mais pas dans W.<br /><br />Nous introduisons un outil, de nature catégorique, donnant des liens entre les relèvements de diagrammes de demi-treillis et les relèvements de demi-treillis dans une variété donnée. Nous montrons que si V et W sont des variétés finiment engendrées de treillis telles que W ne relève pas tous les demi-treillis relevés par V, alors le point critique entre V et W est soit fini, soit un aleph d'indice fini. Nous trouvons deux variétés finiment engendrées de treillis modulaires dont le point critique est aleph un, ce qui infirme une conjecture posée par Tůma et Wehrung.<br /><br />Nous prouvons, en utilisant la théorie des anneaux réguliers de von Neumann et la théorie du monoïde de dimension d'un treillis, que le point critique entre des variétés engendrées par des treillis de sous-espaces vectoriels d'espaces vectoriels de même dimension finie sur des corps finis est au moins aleph 2. Nous prouvons l'égalité pour les dimensions 2 et 3.

L'objet de ce mémoire est l'étude et la construction d'un modèle de surfaces fondé sur la représentation par un atlas de cartes : <br />L'intérêt d'un tel modèle est qu'il permet de travailler localement sur la sur face sans perte de la cohérence globale, et d'autre part d'hériter des notions de géométrie différentielle attachées à cette représentation pour définir une surface régulière, et donc résoudre intrinsèquement les problèmes de continuité ordinairement rencontrés par les représentations paramétriques par morceaux. Nous avons présenté ce modèle dans le cadre des modèles de surfaces d'usage courant en informatique graphique, puis dans le cadre plus théorique de la géométrie différentielle. <br /> Nous avons ensuite proposé la construction d'un tel modèle à partir d'un nuage de points 3D interpolés au préalable par une surface triangulée qui est une variété de dimension 2, connexe et compacte. Cette construction se déroule en trois étapes. Chaque étape rencontre un problème géométrique auquel nous proposons une solution innovante. En particulier, nous avons démontré que le nerf d'un recouvrement bien formé est une triangulation combinatoire. Nous avons également étudié la para métrisation d'une couronne du plan par un C1-difféomorphisme, ainsi que le raccord continu de surfaces par combinaison convexe.

Nous proposons un cadre conceptuel pour l'ingénierie des systèmes d'information (SIs) par composants. Ce cadre est basé sur les concepts d'hyperclasse et de composant de SI.<br />Le concept d'hyperclasse est une généralisation du concept de classe. Construite à partir d'un ensemble de classes connexe et complet, une hyperclasse permet d'exprimer des concepts que le niveau de classe n'aurait permis d'exprimer, et se comporte comme une classe : elle dispose d'hyperobjets, d'hyperattributs et d'hyperméthodes, équivalents des concepts d'objet, d'attribut et de méthode pour une classe. Un hyperobjet de l'hyperclasse est formé à partir des objets des classes de l'hyperclasse, atteints par navigation, à partir d'une classe particulière de l'hyperclasse qui est sa classe racine, et en suivant un graphe de navigation. Un hyperattribut de l'hyperclasse est un attribut de l'une de ses classes. Une hyperméthode est une méthode associée à l'hyperclasse qui peut avoir comme opérandes des hyperattributs, des hyperobjets, d'autres hyperméthodes de l'hyperclasse, les classes de l'hyperclasse, leurs objets et leurs méthodes de classes. Le concept d'hyperclasse offre une forme d'indépendance entre la structure du SI et ses traitements.<br />Un composant de SI est une entité autonome et cohérente, dans un modèle de SI, qui regroupe les représentations des espaces informationnel et opérationnel associés à une zone de responsabilité. Il est défini à partir d'une hyperclasse, d'un ensemble de transactions et d'un ensemble de règles d'intégrité du SI. La notion de transaction est associée à une activité productrice ou consommatrice d'informations dans un processus de prise de décision. Les règles d'intégrité sont définies sur un SI pour garantir sa cohérence durant son exploitation.<br />Les concepts d'hyperclasse et de composant de SI sont munis d'ensembles complets d'opération d'évolution. Ils sont définis indépendamment des méthodes, des langages et des technologies dans lesquelles le SI est implanté.<br />Le cadre conceptuel que nous proposons permet notamment de prendre en charge les situations de recouvrement de composants de SI, leur évolution, l'évolution du SI et ses répercussions sur ses composants.

Nous nous intéressons aux méthodes permettant d'approcher les solutions de systèmes d'équations aux dérivées partielles conservatives. Dans les cas où l'écoulement est très<br />complexe - lorsqu'il y a plusieurs modèles physiques à calculer sur des zones difficiles à délimiter, on utilise des méthodes de couplage par recouvrement de domaine. <br />Nous présentons ici un algorithme, nouveau et performant, calculé grâce à une superposition de deux maillages correspondant à deux schémas différents. On utilise des projections conservatives de la solution d'un maillage vers l'autre.<br />Cette méthode de décomposition de domaine ne fait<br />pas intervenir de conditions aux limites artificielles. Elle est basée sur une régularisation de la fonction de Heaviside sur la zone de couplage. Elle est parfaitement conservative et donc bien indiquée pour l'étude des lois de conservation. <br />L'analyse mathématique est réalisée pour les problèmes hyperboliques, dans le cas scalaire multidimensionnel. Elle est basée sur le convergence des schémas volumes finis. Tout d'abord, on obtient la convergence de la solution mesure grâce aux travaux de Diperna, puis on estime l'erreur de convergence en $h^(^1/_4)$. Une nouvelle estimation de type $H^1$ faible permet d'estimer les erreurs induites par le couplage.<br />De nombreuses applications numériques en mécanique des fluides avec les tubes à chocs et de détente montrent que la méthode est très stable et conservative. Nous utilisons aussi la méthode sans grille appelée Smooth Particule Hydrodynamics - plus précisément sa nouvelle variante renormalisée - pour calculer la création d'un jet en couplant la méthode volumes finis à la méthode SPH. On montre ainsi la robustesse de l'algorithme de couplage et sa souplesse pour le calcul des écoulement complexes. <br />Cette étude à fait l'objet d'une collaboration avec l'équipe du Pr. D. Kröner de l'Institut des Mathématiques Appliquées à l'Université de Frieburg (Allemagne).

Le but de cette these est d'etudier et developper des methodes pour la parallelisation efficace des applications scientifiques sur machines paralleles a memoire distribuee. Dans une premiere partie nous presentons deux bibliotheques de fonctions de communication PVM ((\it Parallel Virtual Machine)) et MPI ((\it Message Passing Interface)). Ces dernieres fournissent une portabilite des programmes sur la grande majorite des machines paralleles, mais aussi sur des reseaux d'ordinateurs heterogenes. Cette partie illustre le probleme de la mesure des performances pour des reseaux de processeurs heterogenes. Ceci nous a amene a adapter le calcul du facteur d'acceleration et de l'efficacite afin de pouvoir evaluer les performances d'un algorithme sur un reseau de processeurs heterogenes. La deuxieme partie est consacree a l'etude de bibliotheques numeriques paralleles, comme ScaLAPACK, et au developpement d'une methode etudiee de maniere theorique, mais peu utilisee en pratique pour augmenter les performances des fonctions de ces bibliotheques : le recouvrement calcul/communication. L'idee generale consiste a anticiper les communications, notamment en pipelinant l'envoi des messages. Des resultats experimentaux sur machines Cray T3D et IBM SP1, permettent de valider les etudes theoriques effectuees sur des algorithmes de base de ces bibliotheques.