Le contexte général de ce travail est l'étude du comportement d'applications parallèles, représentées par un graphe de précédence. La programmation de telles applications dépend fortement des supports d'exécution. Nous présentons et discutons les principaux modèles d'exécution et leur influence sur les problèmes d'ordonnancement des tâches du programme parallèle. Nous étudions en détail quatre problèmes d'ordonnancement sur des modèles d'exécution où le coût de communication est pris en compte. Nous proposons une solution pour un problème à grain très fin, le problème du sac à dos, sur hypercube dans un modèle d'exécution synchrone où le coût de communication est implicite. Nous étudions l'ordonnancement de chaînes sur un modèle à gros grain de communication, le modèle BSP. Nous démontrons qu'ici la recherche d'un ordonnancement optimal est un problème NP-difficile. Nous proposons des solutions avec un compromis entre le nombre de phases de communication/synchronisation et le temps d'inactivité dans chaque processeur. Les deux derniers problèmes étudiés concernent des techniques qui permettent de réduire l'impact du coût des communications inter processeurs. La première technique considère la duplication des tâches. Nous proposons un algorithme de liste avec garantie de performance 2 pour les problèmes à petit temps de communication sur un nombre limité de processeurs. Le deuxième méthode consiste à optimiser les phases de communication en ordonnançant les transmissions de messages. La recherche de la solution optimale étant NP-difficile, nous proposons plusieurs heuristiques.

L'importance des systèmes temps-réels embarqués dans les sociétés industrialisées modernes en font un terrain d'application privilégié pour les méthodes formelles. La prépondérance des contraintes temporelles dans les spécifications de ces systèmes motive la mise au point de solutions spécifiques. Cette thèse s'intéresse à une classe de systèmes temps-réels incluant ceux développés avec la chaîne d'outils OASIS, développée au CEA LIST. Nos travaux portent sur la notion de délai de bout-en-bout, que nous proposons de modéliser comme une contrainte temporelle concernant l'influence du flot d'informations des entrées sur celui des sorties. Afin de répondre à la complexité croissante des systèmes temps-réels, nous étudions l'applicabilité de cette notion nouvelle au développement incrémental par raffinement et par composition. Le raffinement est abordé sous l'angle de la conservation de propriétés garantes de la correction du système au cours du processus de développement. Nous délimitons les conditions nécessaires et suffisantes à la conservation du délai de bout-en-bout lors d'un tel processus. De même, nous donnons des conditions suffisantes pour permettre le calcul du délai de bout-en-bout de manière compositionnelle. Combinés, ces résultats permettent d'établir un formalisme permettant la preuve du délai de bout-en-bout lors d'une démarche de développement incrémentale.

Cette thèse étudie la faisabilité de la diffusion de contenu sur un réseau tolérant aux délais (DTN) dans une zone urbaine. L'application cible est la distribution de la version électronique d'un journal dans une grande ville. Bien que des contraintes de temps ne s'appliquent pas de manière stricte, il est tout de même attendu que la diffusion d'information se fasse dans un délai raisonnable. Deux métriques de performance sont considérés~: le délai de message et le temps de propagation. Le délai de message est le délai nécessaire pour transmettre un contenu à partir d'un n{\oe}ud mobile à un autre n{\oe}ud, tandis que le temps de propagation est le délai nécessaire pour diffuser un contenu sur un ensemble de n{\oe}uds du réseau. Premièrement, notre objectif est de mesurer de manière analytique les performances d'un environnement DTN simple lorsqu'un contenu est distribué exclusivement à travers des contacts entre les n{\oe}uds mobiles. Nos contributions résultent de la prise en compte de la probabilité d'intérêt/acceptation dans l'expression en forme fermée et l'expression asymptotique du délai moyen de message. La probabilité d'intérêt/acceptation représente la probabilité qu'un contenu soit accepté par un n{\oe}ud qui manifeste de l'intérêt pour ce contenu lors d'un contact. L'expression asymptotique permet de déterminer des moyens efficaces d'améliorer le délai moyen de messages dans une zone où la densité des n{\oe}uds mobiles est basse ou haute. Nous montrons aussi une relation entre le délai moyen de message et le temps moyen de propagation dans de tels environnements. Deuxièmement, si le délai est jugé excessif, nous suggérons un déploiement de kiosques de données dans l'environnement afin d'améliorer les performances de la diffusion de contenu. Les kiosques de données sont des dispositifs simples qui reçoivent les contenus directement depuis leur source, le plus souvent en utilisant des réseaux filaires ou cellulaires. Un des problèmes posés pour concevoir efficacement un tel réseau est le nombre de kiosques de données qu'il faut déployer pour satisfaire aux objectifs de performance. Pour répondre à ce problème, nous déterminons les valeurs de la borne supérieure et de la borne inférieure du nombre de kiosques de données nécessaires pour distribuer le contenu dans une zone géographique en optimisant un temps moyen de propagation pris comme objectif. Nous montrons aussi une propriété importante que ces bornes varient linéairement avec le taux de contact entre un n{\oe}ud mobile et un kiosque de données. Enfin, nous considérons le problème de l'emplacement optimal des kiosques de données dans un scénario plus réaliste où les utilisateurs se déplacent en utilisant un système de transport (comme le métro ou le train de banlieue) qui relie plusieurs régions. Nous analysons le choix des stations de métro où installer un kiosque de données pour optimiser le temps moyen de propagation. Les résultats de l'analyse confirment que l'emplacement optimal des kiosques de données n'est pas seulement influencé par les caractéristiques d'une région, mais aussi par le nombre d'utilisateurs mobiles qui recevront le contenu. Nous validons nos résultats analytiques par des simulations en prenant différents modèles de mobilité ainsi que des données de mobilité résultant de mesures réelles.

De nombreuses études sont menées pour la compréhension et l'utilisation de plasmas hors équilibre pour les procédés industriels capables d'améliorer la combustion, de stabiliser des flammes et de réduire les polluants. En effet, dans le cadre des nouvelles normes européennes, il devient indispensable de pouvoir maîtriser la qualité de la combustion et de réduire ainsi les émissions polluantes. Même si le principe de l'allumage classique par étincelle est depuis longtemps connu et utilisé dans l'industrie automobile, ce système présente néanmoins quelques limites. En effet, le caractère localisé de l'étincelle créée réduit la probabilité de rencontre entre l'étincelle et une zone de mélange inflammable ce qui conduit à des ratés d'allumages et spécialement en mélanges pauvres. Ainsi, l'utilisation de systèmes différents reposant sur des plasmas non-thermiques fournit des avantages significatifs, dont les propriétés de forte réactivité chimique et de faible coût énergétique. L'objet principal de ce travail de thèse est l'étude de l'allumage de mélanges combustibles par un certain type de décharges pulsées nanosecondes. En effet, un des intérêts du déclenchement de combustion par décharges nanosecondes est le développement d'une zone spatiale d'allumage nettement plus étendue que celle obtenue par l'étincelle de la bougie standard. Enfin, un autre avantage des décharges nanosecondes est la création de nombreux radicaux dans le milieu combustible nécessaires à l'initiation directe des cinétiques de combustion en limitant la contribution thermique, souvent impliquées dans les pertes de rendement des allumeurs. Dans notre étude, la décharge nanoseconde pulsée utilisée est caractérisée par l'application d'une surtension très élevée donnant un pulse de tension très court (12 ns), d'amplitude très élevée (50 kV) et un front de montée très raide (2 ns). Au cours de cette étude, nous avons d'abord caractérisé la décharge nanoseconde pulsée dans des mélanges air/propane et air/heptane à pression atmosphérique. Ensuite, nous avons appliqué la décharge au déclenchement de combustion dans les mélanges air/propane et air/heptane dans les proportions stœchiométriques mais aussi en mélanges pauvres et ce toujours à pression atmosphérique, ce qui a montré la réduction des délais de combustion. De plus, les résultats en mélanges stœchiométriques montrent qu'il existe trois modes d'allumage : un ponctuel, un double et un mode cylindrique et ce en fonction de la densité d'énergie.

Ce travail vise à contribuer à l'élargissement de l'approche des options réelles dans l'examen du choix de la date optimale des investissements irréversibles, en présence d'un côté, du problème d'agence, dû à l'information privée, et de l'autre côté, d'un remboursement préétabli de la firme au principal. Nous introduisons un jeu entre un gouvernement et un agent dans lequel, le gouvernement (le principal) délègue à un agent (la firme) la décision concernant le choix de la date optimale d'un investissement en vue d'extraire ses réserves pétrolières. En contrepartie, la firme verse un remboursement préétabli (taxe) au propriétaire (gouvernement). L'agent détient une information privée sur une partie de coût constant de l'investissement, tandis que le principal connaît seulement sa fonction de distribution. Quant à l'autre partie du coût constant de l'investissement, elle est supposée connue par les deux agents. L'information privée dont dispose la firme est par hypothèse constante. De plus, la firme produit une quantité de pétrole fixe jusqu'à épuisement de ressources. Elle rembourse au propriétaire un pourcentage constant de cette quantité extraite sous forme de Royalty (taxe) et celui-ci dépend de l'information privée de la firme. La seule source de l'incertitude provient du prix de l'actif sous-jacent qui varie stochastiquement selon un Mouvement Brownien géométrique (MBG). Nous ignorons toute présence des coûts autre que le coût de l'investissement. Nous supposons que la firme a l'option d'attendre avant de se lancer dans le projet. Son problème est de choisir la date optimale de l'investissement, étant donné son information privée et l'incertitude sur le prix. Tandis que le problème du principal est de concevoir le contrat optimal qui incite la firme à révéler la vraie valeur de son information privée, afin d'optimiser la valeur de son opportunité d'investissement. En plus, nous faisons l'hypothèse que le gouvernement a le pouvoir de s'engager, d'une manière crédible à ne pas renégocier sa politique de révélation, une fois la firme révèle son coût jusqu'à la fin du projet. Nous montrons, que le principal, sous information parfaite choisira la même date optimale d'investissement que celle choisie par la firme sans intervention du gouvernement. De plus, nous montrons, en utilisant l'approche des options réelles, que la présence d'asymétrie d'information retarde le choix de la date optimale de l'investissement ce qui cause une distorsion qui entraîne un sous-investissement. Le niveau efficace de l'investissement social ne peut pas être atteint en présence d'une asymétrie d'information. Enfin, nous montrons que pour des valeurs élevées de coût de l'investissement, la rente de la firme est nulle. En revanche, pour un coût d'investissement minimal, la rente du principal est maximale. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Option réelle, Contrats pétroliers, Asymétrie d'information, Irréversibilité, Incertitude, Valeur d'option, Prix critique, Royalty.

Les modèles du contrat FIDIC sont parmi les conditions de référence les plus couramment utilisées dans les projets internationaux. Le contrat FIDIC est calqué sur des conceptions juridiques enracinées dans le système de Common Law. Cependant, il y a une augmentation dans l’utilisation des modèles FIDIC dans les systèmes du code civil. Ainsi, les employeurs, les entrepreneurs, les organismes de financement internationaux, les ingénieurs, les avocats et les parties prenantes des projets, utilisant les modèles FIDIC dans les systèmes du code civil, doivent comprendre l'interprétation des dispositions FIDIC dans le contexte du droit civil. Dans cette recherche, l’application des provisions concernant le temps et le paiement supplémentaires sous l’auspice d’un contrat FIDIC (CONS) sera étudiée dans le contexte du droit civil, avec une attention particulière pour l’application spéciale de telles provisions sur le droit civil Egyptien. Les ressemblances et différences entre les provisions concernant le temps et le paiement supplémentaire sous l’auspice d’un contrat FIDIC (CONS) et le droit civil Egyptien seront identifiées. Des recommandations concernant les provisions concernées seront faites quant aux modifications à apporter soit au Code civil Egyptien soit au modèle FIDIC (CONS), selon le cas. Cette recherche vise à illuminer les employeurs, les ingénieurs et les entrepreneurs concluant des projets fondés sur le modèle FIDIC (CONS) et ayant élu le droit Egyptien en tant que loi applicable; gérer correctement les délais, retards et risques entraînant des paiements supplémentaires dans les contrats de construction. Cela devrait permettre de minimiser, autant que possible, les litiges associés aux retards et aux demandes de prorogation de délai et/ou du paiement supplémentaire. Étant donné que la plupart des systèmes juridiques du Moyen-Orient sont fondés sur les principes du droit civil et sont fortement influencés par le droit civil Egyptien, il est envisagé que cette recherche soutienne l'administration effective et efficace des contrats de construction dans la région. / The FIDIC forms of contract are one of the most commonly used standard conditions of contract in international projects. The FIDIC is based on legal concepts rooted in the Common Law system. However, there is an increase use of the FIDIC in Civil Law jurisdictions. Thus, employers, contractors, international financing organizations, engineers, lawyers and stakeholders of projects, using FIDIC in Civil Law jurisdictions, need to understand the interpretation of the FIDIC provisions against a Civil Law background. In this research, the application of time and additional payment provisions of the FIDIC (CONS) will be studied in the context of the Civil Law, with special application on the Egyptian Civil Law. Similarities and differences between the relevant provisions of time and additional payment under the FIDIC (CONS) and the Egyptian Civil Law will be recognised. Recommendations will be yielded as to amendments to be made either to the Egyptian Civil Code or to the FIDIC (CONS), as the case may be, in relation to the provisions at issue. It is envisaged that this research would help employers, engineers and contractors, entering into projects based on the FIDIC (CONS) and with the Egyptian Civil Law as the applicable law, properly manage time provisions, delays and risks leading to additional payment in the construction contracts. This should help minimize, as much as possible, disputes associated with and/or resulting from the delays and claims for extension of time and/or additional payment. Since most of the legal systems of the Middle East are founded upon Civil Law principles, and are most heavily influenced by the Egyptian Civil Law, it is envisaged that this research would support effective and efficient contract administration of construction projects among the region.

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

Valeur Langue Éditer L'éphémère s'inscrit dans une temporalité qui doit nécessairement être écourtée. Face à l'écoulement de temps, un événement doit intervenir pour créer l'éphémérité recherchée. Cet événement n'a pas de durée précise pour intervenir, cependant l'échelle humaine est à prendre en considération. Cette temporalité caractéristique est présente dans ce qui entoure tout chose et peut se mêler au Droit. Le Droit fait appel à différentes temporalités que ce soit pour son application, pour l'encadrement de notion ou d'action. Cependant, l'éphémère ne lui est pas propre et elle peut caractériser des objets de droit, notamment l'œuvre de l'esprit. L'œuvre de l'esprit est encadrée par le régime du droit d'auteur, accordant à l'auteur des prérogatives diverses, patrimoniales et extrapatrimoniales. Ainsi, l'œuvre peut être qualifiée d'éphémère. Par ailleurs, aucune mention de cette « catégorie » d'œuvre n'est mentionnée par le législateur ce qui amène à des difficultés de notion et de régime. L'étude aura pour objectifs de déterminer les contours de cette notion en apportant des pistes de réflexion avant de déterminer les difficultés d'application du régime et la précarité que subissent ces œuvres lorsque les intérêts de l'auteur sont mis en balance avec d'autres droits. Afin de répondre le plus justement à la compréhension des enjeux soulevés par l'œuvre éphémère, différents exemples d'œuvres de l'esprit éphémères seront présentés et étudiés. La présence de cas concrets permettra ainsi de cibler plus facilement les problèmes qui présentent l'application du droit d'auteur, principalement du droit moral. En partant d'œuvres éphémères réelles, les indices autour de la notion pourront y être directement confrontés. Ces développements permettront de mettre en lumière les œuvres éphémères et leurs implications parfois laissées de côté. / Ephemerality exists within a temporality that must necessarily be shortened. In the face of the passage of time, an event must occur to create the sought-after ephemerality. This event does not have a precise duration to occur; however, the human scale must be taken into consideration. This characteristic temporality is present in what surrounds everything and can intertwine with Law. The Law calls upon different temporalities for its application, for the framing of concepts or actions. However, ephemerality is not exclusive to Law and can characterize legal objects, particularly works of the mind. Works of the mind are governed by the copyright regime, granting the author various prerogatives, both patrimonial and extra-patrimonial. Thus, a work can be described as ephemeral. Moreover, there is no mention of this « category » of work by the legislator, which leads to difficulties in concept and regime. The study aims to determine the contours of this notion by providing avenues for reflection before identifying the difficulties of applying the regime and the precariousness these works endure when the author's interests are balanced against other rights. To accurately address the understanding of the issues raised by ephemeral works, various examples of ephemeral works of the mind will be presented and studied. The presence of concrete cases will thus allow for easier targeting of the problems presented by the application of copyright law, mainly moral rights. Starting from real ephemeral works, the clues around the notion can be directly confronted. These developments will highlight ephemeral works and their implications, which are sometimes overlooked.

La modélisation mathématique de la dynamique des maladies auto-immunes contribue à la compréhension de leurs mécanismes, offrant ainsi une meilleure orientation pour les traite- ments. Dans ce contexte, ce mémoire fait l’analyse d’un système d’équations différentielles à délai distribué modélisant l’évolution du VIH dans un corps infecté, mettant en relation les cellules CD4-T non infectées, les cellules infectées, les particules de virus et la réponse immunitaire. Aavani [1] a étudié un tel modèle à délai discret, que nous généralisons et qui demande une méthode alternative d’analyse de stabilité des points fixes. Le comportement asymptotique des solutions est alors caractérisé entièrement par le délai, noté \(\tau \) , représentant le temps que prend une cellule infectée avant de produire des particules de virus. Nous démontrons que pour une valeur de \(\tau \) assez grande, soit au-dessus d’un certain seuil \(\tau_1 \), l’infection tend à s’éteindre puisque le point fixe sans maladie est asymptotiquement stable. Pour un délai en dessous de ce seuil, l’infection perdure : le point fixe sans maladie est instable. Dans ce cas, le point fixe aigu et le point fixe chronique s’échangent la stabilité asymptotique selon un autre seuil \(\tau_2 \). Des simulations numériques appuient finalement les conclusions obtenues analytiquement / The mathematical modeling of the dynamics of autoimmune diseases contributes to the understanding of their mechanisms, thus providing better guidance for treatments. In this context, this thesis analyzes a distributed delay differential equations system modeling the evolution of HIV in an infected body, describing the interactions between uninfected CD4-T cells, infected cells, virus particles and the immune response. Aavani [1] studied a similar but simpler model, incorporating a discrete delay, which we generalize using alternative methods for the investigation of stability of stationary solutions. The asymptotic behavior of the solutions is entirely characterized by the delay, denoted \(\tau \) , representing the time before an infected cell produces virus particles. It is shown that for a sufficiently large value of \(\tau \) , i.e. above a certain threshold \(\tau_1 \), the infection tends to die out since the disease-free steady-state is asymptotically stable. Then, for a delay below this threshold, the infection persists : the disease-free steady-state being unstable. In this case, the acute steady-state and the chronic stage exchange asymptotic stability according to another threshold \(\tau_2 \). Numerical simulations finally support the conclusions obtained analytically.

L’étude de la trajectoire de soins du malade offr un angle particulièrement adapté pour l’analyse et l’évaluation de la continuité des soins dans le réseau de la santé. Le concept de trajectoire de soins a émergé en France au début des années quatre-vingt. Il permet d’identifier les discontinuités de soins, d’observer la déviation par rapport aux guides de pratique ou trajectoires idéales et permet en outre d’analyser les effets liés aux écarts observés. Il se différencie des autres concepts et mesures de la continuité des soins principalement parce qu’il offr un point de vue "patient" en plus de permettre l’analyse d’une ou de plusieurs dimensions: temporelle, géographique, interdisciplinaire, relationnelle, informationnelle. Cette méthode permet au chercheur de fixer les bornes de la trajectoire, selon les besoins de l’étude. Dans le cas de la trajectoire de soins hospitaliers de l'infarctus aigu du myocarde avec élévation du segment ST (IAMEST), en observant principalement la dimension temporelle, peut-on identifier des trajectoires de soins déviantes par rapport aux trajectoires idéales (du début des symptômes à l’angioplastie primaire [plus petit ou égal à] 120 minutes), identifier les facteurs qui les influencent et en mesurer les impacts? La présente étude en est une de cohorte rétrospective faite à l'aide d'analyses secondaires de données médico-administratives, avec un échantillon des cas d’IAMEST du CHUS Fleurimont cumulé sur trois ans (2005 - 2007). Elle permet de mieux comprendre la méthodologie et le concept de trajectoire de soins et s’adresse principalement aux issues et processus de soins de même qu’aux écarts observés entre les recommandations publiées dans des guides de pratique et la réalité de la pratique. Elle vise à identifier les variables spatio-temporelles en lien avec les écarts observés. Les principaux résultats nous montrent que 87.8% des patients ont une trajectoire réelle de plus de 120 minutes. Les femmes sont plus âgées ont moins d’IAMEST que les hommes ; 69 % des patients ont un temps de présentation de moins de 2 heures, les femmes ont un délai de présentation presque identique aux hommes mais elles ont un délai de traitement plus long que ceux-ci avec respectivement une médiane de 123 et 110 minutes. Finalement, on constate que les trajectoires déviantes, les personnes âgées et le sexe féminin font augmenter la durée de séjour. L’étude des trajectoires de soins démontre une efficace avec les données médico-administratives québécoises.[symboles non conformes]