Tesi sul tema "Analyse des délais"

Dans la première partie de cette étude, nous proposons et analysons des algorithmes probabilistes d'élection uniforme dans des graphes de types arbres, les k-arbres et les polyominoïdes. Ces algorithmes utilisent des durées de vie aléatoires associées aux sommets découverts (sommets feuilles ou simpliciaux). Ces durées sont des variables aléatoires indépendantes et sont localement engendrées au fur et à mesure que les sommets sont découverts. Dans la seconde partie, nous analysons un algorithme probabiliste de synchronisation pour le problème de rendez-vous avec agendas dynamiques. L'objectif est de trouver un couplage maximal dans un graphe donné. Ensuite, nous proposons et étudions un modèle de diffusion à délai aléatoire pour la transmission d'un message dans un réseau. Finalement, dans la dernière partie, nous exposons les outils utilisés pour implémenter la simulation des algorithmes distribués.

Les réseaux de régulation biologiques (RRB) représentent les interactions entre des entités biologiques. Par exemple, les réseaux de régulation génétiques sont des graphes dont les sommets représentent les gènes ou les produits (ARN ou protéines) et les arcs représentent leurs interactions. Cette thèse propose le formalisme d'automates hybride linéaire (AHL) pour l'analyse automatique des dynamiques des RRB. Le formalisme qualitatif de René Thomas est une approche bien connue pour la modélisation discrète et l'analyse des dynamiques des RRB. Il détermine le comportement qualitatif des RRB d'une manière rigoureuse. A partir d'un modèle discret, il n'est pas réellement possible (à cause de l'abstraction complète du temps) de déterminer des trajectoires particulières et en particulier des trajectoires cycliques ou non-cycliques. En nous basant sur le formalisme discret de René Thomas, nous introduisons la modélisation hybride des RRB par le formalisme des automates hybrides linéaires (AHL) qui prennent en compte les délais de production et de dégradation des produits de gènes. La modélisation hybride capture les deux types de comportement c'est-à-dire l'évolution discrète de niveau d'expression ainsi que l'aspect temporel (avec le temps) d'évolution continue des produits de gènes. Cette modélisation nous permet de faire l'analyse des AHL par l'outil de model-checking comme Hy-Tech pour l'accessibilité, les comportements cycliques comme le noyau d'invariance, les états stables et les chemins entre deux états donnés. Ces comportements abordent les aspects qui sont intéressants pour les biologistes. Par exemple, les cycles représentent l'homéostasie tandis que les états stables représentent la multi-stationnarité. Tous les comportements que nous analysons sont caractérisés par des contraintes de délais. Ces contraintes sont des conditions pour l'existence de ces différents comportements. Nous présentons les méthodes pour les calculs de la longueur, du volume et du diamètre du noyau d'invariance. Ces différentes mesures nous permettent d'introduire une notion de stabilité du noyau d'invariance. L'approche de modélisation hybride est appliquée sur plusieurs exemples réels des RRB. Ces exemples sont le RRB de la bactérie Pseudomonas aeruginosa, le RRB du cycle circadien du mammifère, le RRB du virus phage lambda, le système d'activation et de latence de la cellule-T et le réseau pour la réponse de la carence en carbone chez Escherichia coli
Biological regulatory networks (BRN) represent interactions among the biological entities. For example, genetic regulatory networks are graphs where vertices stand for genes or their products (RNA or proteins) and edges represent interactions among them. The aim of this thesis is to propose a hybrid modelling formalism in order to automatically analyse the dynamics of the BRN. The qualitative formalism of René Thomas is a well-known approach for the discrete modelling of BRN. Due to the complete abstraction of time in the formalism of René Thomas, it is not possible to distinguish between cyclic and non-cyclic behaviours of BRN. Based on the discrete formalism of René Thomas, we introduce the hybrid modelling of BRN by using the formalism of linear hybrid automata (LHA) that takes into account the production and degradation delays of genes' products. The hybrid modelling captures both the discrete evolution of genes' expressions and the temporal aspect (with time) of the continuous evolution of genes' products. The hybrid modelling allows us to automatically analyse a BRN by a model-checking tool, for example HyTech, for cyclic behaviour (the so-called invariance kernel), stable states and paths between two given states. These behaviours have biological signicances. For example, cycles represent homeostasy while stable states represent multistationarity. These behaviours are characterised by the delay constraints, which are considered as necessary and sucient conditions for the existence of these behaviours. We present a method for the computation of length, volume and diameter of the invariance kernel. These dierent measuring features allow us to introduce the notion of stability of the invariance kernel. The hybrid modelling formalism is applied on some biological examples. These examples are the BRN of the bacterium pseudomonas aeruginosa, the BRN of the circadian cycle of mammals, the BRN of the virus lambda phage, the activation and anergy system of the T-cell and the carbon starvation response network of the Escherichia coli

Le calcul réseau (network calculus) est une théorie basée sur l’algèbre min-plus. Il offre un cadre formel de modélisation des réseaux de communication. Il a été utilisé pour certifier le réseau AFDX embarqué dans l’A380 de Airbus. Seulement, les bornes sur le délai annoncés par ces travaux de certification souffrent d’une sur-approximation dans le cas précis de l’agrégation dans un contexte de priorité statique non préemptive.L’objectif de nos travaux est de réduire cette sur-approximation. Dans cette thèse, nous proposons un service résiduel permettant d’obtenir de meilleurs bornes sur le délai dans le cas de la politique à priorité statique non préemptive et de la politique DRR. Nous montrons aussi comment ces deux politiques peuvent être combinées dans une politique hiérarchique à deux niveaux
The thesis addresses performance analysis of embedded real time network using network calculus. Network calculus is a theory based on min-plus algebra. We use network calculus to assess the quality of service of a residual flow in two context : aggregation with non-preemptive priority policy and DRR policy. The main contribution concerns the evaluation of residual service, given to each flow. We also present how to handle DRR and non-preemptive priority policy hierrachically

Les réseaux tolérants aux retards (DTN) ont été conçus pour fournir un moyen de communication durable entre terminaux mobiles dans les régions dépourvues d’infrastructure cellulaire. Dans de tels réseaux, l’ensemble des voisins de chaque nœud change au fil du temps en raison de la mobilité des nœuds, ce qui entraîne une connectivité intermittente et des routes instables dans le réseau. Nous analysons la performance d’un système d’incitation pour les DTN à deux sauts dans lequel une source en arriéré offre une récompense fixe aux relais pour délivrer un message. Un seul message à la fois est proposé par la source. Pour un message donné, seul le premier relais à le délivrer reçoit la récompense correspondant à ce message, induisant ainsi une compétition entre les relais. Les relais cherchent à maximiser la récompense attendue pour chaque message alors que l’objectif de la source est de satisfaire une contrainte donnée sur la probabilité de livraison du message. Nous considérons deux réglages différents : l’un dans lequel la source indique aux relais pendant combien de temps un message est en circulation, et l’autre dans lequel la source ne donne pas cette information. Dans le premier paramètre, nous montrons que la politique optimale d’un relais est de type seuil : il accepte un message jusqu’à un premier seuil et le conserve jusqu’à ce qu’il atteigne la destination ou le deuxième seuil. Les formules de calcul des seuils ainsi que de la probabilité de livraison des messages sont dérivées pour une source d’arriérés. Nous étudions ensuite la performance asymptotique de ce réglage dans la limite moyenne du champ. Lorsque le deuxième seuil est infini, nous donnons l’ODE du champ moyen et montrons que tous les messages ont la même probabilité de réussite. Lorsque le deuxième seuil est fini, nous ne donnons qu’une approximation ODE car dans ce cas, la dynamique n’est pas markovienne. Pour le second réglage, nous supposons que la source propose chaque message pour une période de temps fixe et qu’un relais décide d’accepter un message selon une politique randomisée lors d’une rencontre avec la source. S’il accepte le message, un relais le garde jusqu’à ce qu’il atteigne la destina- tion. Nous établissons dans quelle condition la probabilité d’acceptation des relais est strictement positive et montrons que, dans cette condition, il existe un équilibre de Nash symétrique unique, dans lequel aucun relais n’a quelque chose à gagner en changeant unilatéralement sa probabilité d’acceptation. Des expressions explicites pour la probabilité de livraison du message et le temps moyen de livraison d’un message à l’équilibre symétrique de Nash sont dérivées, ainsi qu’une expression de la valeur asymptotique de la livraison du message. Enfin, nous présentons de nombreux résultats de simulations pour com- parer les performances de la stratégie de type seuil et de la stratégie ran- domisée, afin de déterminer dans quelle condition il est rentable pour la source de donner l’information sur l’âge d’un message aux relais
Delay-Tolerant Networks (DTNs) were designed to provide a sustainable means of communication between mobile terminals in regions without cellular infrastructure. In such networks, the set of neighbors of every node changes over time due to the mobility of nodes, resulting in intermittent connectivity and unstable routes in the network. We analyze the performance of an incentive scheme for two-hop DTNs in which a backlogged source pro- poses a fixed reward to the relays to deliver a message. Only one message at a time is proposed by the source. For a given message, only the first relay to deliver it gets the reward corresponding to this message thereby inducing a competition between the relays. The relays seek to maximize the expected reward for each message whereas the objective of the source is to satisfy a given constraint on the probability of message delivery. We consider two different settings: one in which the source tells the relays for how long a message is in circulation, and one in which the source does not give this information. In the first setting, we show that the optimal policy of a relay is of thresh- old type: it accepts a message until a first threshold and then keeps the message until it either meets the destination or reaches the second threshold. Formulas for computing the thresholds as well as probability of message delivery are derived for a backlogged source. We then investigate the asymptotic performance of this setting in the mean field limit. When the second thresh- old in infinite, we give the mean-field ODE and show that all the messages have the same probability of successful delivery. When the second threshold is finite we only give an ODE approximation since in this case the dynamics are not Markovian. For the second setting, we assume that the source proposes each message for a fixed period of time and that a relay decides to accept a message accord- ing to a randomized policy upon encounter with the source. If it accepts the message, a relay keeps it until it reaches the destination. We establish under which condition the acceptance probability of the relays is strictly positive and show that, under this condition, there exists a unique symmetric Nash equilibrium, in which no relay has anything to gain by unilaterally changing its acceptance probability. Explicit expressions for the probability of message delivery and the mean time to deliver a message at the symmetric Nash equilibrium are derived, as well as an expression of the asymptotic value of message delivery. Finally, we present numerous simulations results to compare performances of the threshold-type strategy and the randomized strategy, in order to determine under which condition it is profitable for the source to give the information on the age of a message to the relays

Cette thèse étudie la question des incitations dynamiques des agents économiques à frauder. Le premier chapitre introduit un modèle dynamique de fraude fiscale afin d’étudier l’impact de l’audit rétroactif sur le respect des obligations fiscales des agents économiques.Il permet de montrer qu’un accroissement de la période de prescription entraîne une diminution de la fraude fiscale et de déterminer le montant des recettes fiscales attendues par l’autorité fiscale pour différentes politiques d’audit. On établit que les audits rétroactifs génèrent des recettes fiscales espérées supérieures à celles des audits statiques. Le deuxième chapitre propose une approche théorique et expérimentale des incitations dynamiques des agents économiques à frauder. Les résultats expérimentaux confirment les prédictions théoriques : un accroissement de la période de prescription implique une augmentation des déclarations de revenus des agents. Le dernier chapitre introduit une deuxième étude expérimentale en laboratoire, dans le but de comparer l’efficience des deux politiques d’audit fiscal : l’audit rétroactif et l’audit statique (restreint à la période courante). Le principal résultat suggère que les politiques d’audit rétroactif sont plus efficaces pour réduire la fraude fiscale que les politiques d’audit statique fondées sur des fréquences d’audit élevées
This thesis studies taxpayers' dynamic incentives to evade taxes. The first chapter introduces a dynamic model of tax evasion. We prove that higher limitation periods increase tax compliance. We also determine the expected tax revenues generated by retroactive and static auditing policies, with respect to the levels of tax rates and expected discounted penalties. We obtain that retroactive auditing generates higher expected tax revenues than static auditing. The second chapter provides theoretical and experimental evidence about subjects' incentives to evade taxes, with respect to a retroactive inspection policy. Our experimental results confirm theoretical predictions, i.e. higher limitation periods increase agents' compliance. The third chapter introduces a second laboratory experiment, in order to compare the efficiency of two main audit schemes: retroactive versus static auditing. We find that retroactive auditing policies are more efficient in enhancing tax compliance, than policies of static auditing accompanied by high audit rates

L'utilisation du cloud est une nécessité aujourd'hui, les données produites et utilisées par tous les types d'utilisateurs (individus particuliers, entreprises, structures administratives) ayant atteint une masse trop importante pour être stockées autrement. L'utilisation du cloud nécessite la signature, explicite ou non, d'un contrat avec un fournisseur de service de stockage. Ce contrat mentionne les niveaux de qualité de service requis selon différents critères. Parmi ces critères se trouve la localisation des données. Cependant, ce critère n'est pas facilement vérifiable par un utilisateur. C'est pour cela que la recherche dans le domaine de la vérification de localisation de données a suscité plusieurs travaux depuis quelques années, mais les solutions proposées restent encore perfectibles. Le travail proposé dans le cadre de cette thèse consiste à étudier les solutions de vérification de localisation par les clients, c'est-à-dire les solutions estimant la localisation des données et fonctionnant à l'aide de points de repère. L'approche à investiguer peut être résumée comme suit : en exploitant les délais de communication et en utilisant des modèles de temps de traversée du réseau, estimer, avec une certaine erreur de distance, la localisation des données. Pour cela, le travail réalisé est le suivant : • Une revue de l'état de l'art des différentes méthodes permettant aux utilisateurs de connaitre la localisation de leurs données. • La conception d'une notation unifiée pour les méthodes étudiées dans la revue de l'état de l'art, avec une proposition de deux scores pour évaluer et comparer les méthodes. • La mise en place d'une plateforme de collecte de mesures réseau. Grâce à cette plateforme, deux jeux de données ont été récoltés, un au niveau national et l'autre un niveau mondial. Ces deux jeux de données permettent d'évaluer les différentes méthodes présentées dans la revue de l'état de l'art. • La mise en place d'une architecture d'évaluation à partir des deux jeux de données et des scores définis, afin d'établir la qualité des méthodes (taux de succès) et la qualité des résultats (précision du résultat) grâce aux scores proposés
Cloud usage is a necessity today, as data produced and used by all types of users (individuals, companies, administrative structures) has become too large to be stored otherwise. It requires to sign, explicitly or not, a contract with a cloud storage provider. This contract specifies the levels of quality of service required for various criteria. Among these criteria is the location of the data. However, this criterion is not easily verifiable by a user. This is why research in the field of data localization verification has led to several studies in recent years, but the proposed solutions can still be improved. The work proposed in this thesis consists in studying solutions of location verification by a user, i.e. solutions that estimate data location and operate using landmarks. The implemented approach can be summarized as follows: exploiting communication delays and using network time models to estimate, with some distance error, data location. To this end, the work carried out is as follows: • A survey of the state of the art on the different methods used to provide users with location information. • The design of a unified notation for the methods studied in the survey, with a proposal of two scores to assess methods. • Implementation of a network measurements collecting platform. Thanks to this platform, two datasets were collected, at both national level and international level. These two data sets are used to evaluate the different methods presented in the state of the art survey. • Implementation of an evaluation architecture based on the two data sets and the defined scores. This allows us to establish the quality of the methods (success rate) and the quality of the results (accuracy of the result) thanks to the proposed scores

Les réseaux de régulation biologiques sont des systèmes complexes dans lesquels les entités biologiques interagissent entre elles, faisant ainsi émerger des comportements particuliers. Dans cette thèse, nous proposons une méthodologie générale afin de mieux comprendre les mécanismes en jeux dans ces réseaux de régulation et tout particulièrement dans ceux ayant un comportement oscillatoire. De façon générale, les différentes parties de cette méthodologie ont pour but, soit d'analyser des systèmes biologiques de plus en plus grands, soit de raffiner les analyses sur des modèles moins conséquents. Ces travaux utilisent les propriétés temporelles des modèles biologiques qui sont souvent abondantes mais encore relativement peu exploitées. Pour parvenir à intégrer les données temporelles, nous avons développé des modélisations hybrides qui combinent dans leurs comportements des aspects purement qualitatifs ainsi que des aspects continus (dans les notions temporelles quantitatives). La première partie de cette méthodologie générale consiste à utiliser une modélisation hybride nommée TEM (pour modélisation d'évolution temporelle) qui permet une pré-analyse du système biologique. L'avantage de cette modélisation est qu'elle utilise des paramètres qui sont très proches des données biologiques et qu'elle peut fournir des résultats d'intérêt à partir d'un nombre réduit d'hypothèses simples. Néanmoins, plus nous fournissons de données sur le modèle biologique dans l'approche TEM et plus les résultats obtenus sont précis. La seconde partie de notre méthodologie générale consiste à reprendre des modélisations existantes et couramment utilisées (la modélisation par équations différentielles par morceaux (PLDE) et la modélisation discrète de R. Thomas) et d'y ajouter de nouvelles méthodes conjointes. La première méthode permet d'obtenir l'ensemble des contraintes nécessaires et suffisantes pour le paramétrage d'un modèle d'après des spécifications. Ceci peut permettre de découvrir des caractéristiques communes à l'ensemble des paramétrages validant les spécifications du modèle mais également d'obtenir l'ensemble de ces paramétrages grâce à un solveur de contraintes. La seconde méthode permet de décomposer les dynamiques obtenues à partir du paramétrage d'un modèle. Cette méthode peut servir à mieux comprendre les dynamiques ainsi obtenues en sachant si un comportement correspond à un ensemble de sous-comportements et si oui lesquels. La méthode peut également servir à travailler sur un sous-ensemble de la dynamique en ne prenant en compte que les sous-comportements intéressants, par rapport à certaines préoccupations. Enfin, la dernière partie de cette thèse consiste en une modélisation nommée modélisation TDD (pour modélisation par décomposition des domaines temporels) et permettant de raffiner les analyses précédentes. Cette modélisation est basée sur la modélisation PLDE et la modélisation discrète de R. Thomas afin de profiter pleinement des méthodes que nous avons développées. En fait, cette modélisation, tout comme dans la première modélisation présentée dans cette thèse, est une modélisation hybride qui utilise également la notion de temps via des paramètres temporels.

La certification des réseaux avioniques requiert une maîtrise des délais de transmission des données. Cepednant, le multiplexage et le partage des ressource de communications dans des réseaux tels que l'AFDX (Avionics Full Duplex Switched Ethernet) rendent difficile le calcul d'un délai de bout en bout pire cas pour chaque flux. Des outils comme le calcul réseau fournissent une borne supérieure (pessimiste) de ce délai pire cas. Les besoins de communication des avions civils modernes ne cessent d'augmenter et un nombre croissant de flux aux contraintes et aux caractéristiques différentes doivent partager les ressources existantes. Le réseau AFDX actuel ne permet pas de différentier plusieurs classes de trafic : les messages sont traités dans les files des commutateurs selon leur ordre d'arrivée (politique de service FIFO). L'objet de cette thèse est de montrer qu'il est possible de calculer des bornes pire cas des délais de bout en bout avec des politiques de service plus évoluées, à base de priorités statiques (Priority Queueing) ou à répartition équitable de service (Fair Queueing). Nous montrons comment l'approche par trajectoires, issue de la théorie de l'ordonnancement dans des systèmes asynchrones distribués peut s'appliquer au domaine de l'AFDX actuel et futur (intégration de politiques de service plus évoluées permettant la différentiation de flux). Nous comparons les performances de cette approche avec les outils de référence lorsque cela est possible et étudions le pessimisme des bornes ainsi obtenues
The certification process for avionics network requires guaranties on data transmission delays. However, calculating the worst case delay can be complex in the case of industrial AFDX (Avionics Full Duplex Switched Ethernet) networks. Tools such as Network Calculus provide a pessimistic upper bound of this worst case delay. Communication needs of modern commercial aircraft are expanding and a growing number of flows with various constraints and characteristics must share already existing resources. Currently deployed AFDX networks do not differentiate multiple classes of traffic: messages are processed in their arrival order in the output ports of the switches (FIFO servicing policy). The purpose of this thesis is to show that it is possible to provide upper bounds of end to end transmission delays in networks that implement more advanced servicing policies, based on static priorities (Priority Queuing) or on fairness (Fair Queuing). We show how the trajectory approach, based on scheduling theory in asynchronous distributed systems can be applied to current and future AFDX networks (supporting advanced servicing policies with flow differentiation capabilities). We compare the performance of this approach with the reference tools whenever it is possible and we study the pessimism of the computed upper bounds

Ce travail de thèse porte sur l'estimation paramétrique du maximum de vraisemblance pour des données de survie tronquées à droite, lorsque les délais de troncature sont considérés déterministes. Il a été motivé par le problème de la modélisation des délais de survenue des effets indésirables médicamenteux à partir des bases de données de pharmacovigilance, constituées des cas notifiés. Les distributions exponentielle, de Weibull et log-logistique ont été explorées.Parfois le caractère tronqué à droite des données est ignoré et un estimateur naïf est utilisé à la place de l'estimateur pertinent. Une première étude de simulations a montré que, bien que ces deux estimateurs - naïf et basé sur la troncature à droite - puissent être positivement biaisés, le biais de l'estimateur basé sur la troncature est bien moindre que celui de l'estimateur naïf et il en va de même pour l'erreur quadratique moyenne. De plus, le biais et l'erreur quadratique moyenne de l'estimateur basé sur la troncature à droite diminuent nettement avec l'augmentation de la taille d'échantillon, ce qui n'est pas le cas de l'estimateur naïf. Les propriétés asymptotiques de l'estimateur paramétrique du maximum de vraisemblance ont été étudiées. Sous certaines conditions, suffisantes, cet estimateur est consistant et asymptotiquement normal. La matrice de covariance asymptotique a été détaillée. Quand le délai de survenue est modélisé par la loi exponentielle, une condition d'existence de l'estimation du maximum de vraisemblance, assurant ces conditions suffisantes, a été obtenue. Pour les deux autres lois, une condition d'existence de l'estimation du maximum de vraisemblance a été conjecturée.A partir des propriétés asymptotiques de cet estimateur paramétrique, les intervalles de confiance de type Wald et de la vraisemblance profilée ont été calculés. Une seconde étude de simulations a montré que la couverture des intervalles de confiance de type Wald pouvait être bien moindre que le niveau attendu en raison du biais de l'estimateur du paramètre de la distribution, d'un écart à la normalité et d'un biais de l'estimateur de la variance asymptotique. Dans ces cas-là, la couverture des intervalles de la vraisemblance profilée est meilleure.Quelques procédures d'adéquation adaptées aux données tronquées à droite ont été présentées. On distingue des procédures graphiques et des tests d'adéquation. Ces procédures permettent de vérifier l'adéquation des données aux différents modèles envisagés.Enfin, un jeu de données réelles constitué de 64 cas de lymphomes consécutifs à un traitement anti TNF-α issus de la base de pharmacovigilance française a été analysé, illustrant ainsi l'intérêt des méthodes développées. Bien que ces travaux aient été menés dans le cadre de la pharmacovigilance, les développements théoriques et les résultats des simulations peuvent être utilisés pour toute analyse rétrospective réalisée à partir d'un registre de cas, où les données sur un délai de survenue sont aussi tronquées à droite.

L'analyse temporelle basée sur corners (CTA) devient de plus en plus pessimiste ainsi avec la diminution de la taille des transistors, ce qui explique la nécessité de se tourner vers l'analyse temporelle statique statistique (SSTA). Cependant, cette nouvelle génération d'analyse temporelle n'a pas été largement adoptée dans l'industrie en raison de diverses faiblesses. La méthode SSTA basée sur les chemins de données, proposée dans cette thèse, calcule les distributions des délais de chemins en propageant itérativement la moyenne et la variance des délais des cellules avec l'aide des moments conditionnels. Ces moments, conditionnés sur la pente d'entrée et la charge de sortie, sont stockés dans une librairie temporelle statistique. Cette procédure est aussi rapide que les méthodes paramétriques, tout en ne perdant pas trop de précision par rapport aux simulations de Monte Carlo, ce qui répond à l'objectif de notre recherche. L'autre contribution de cette thèse est l'amélioration des techniques de caractérisation temporelle. Pour cela, nous utilisons des signaux d'entrée basés sur des distributions log-logistique et des inverseurs comme charge de sortie pour capturer les variations de pente et de charge. De plus, le temps CPU pour la caractérisation temporelle pourrait être amélioré par la technique de réduction des dimensions, qui devrait être validée dans un avenir proche. En ce qui concerne les applications, notre procédure SSTA, donne des gains en délais important par rapport à la méthode CTA. La différence d'ordres sur les chemins critiques obtenus respectivement par les méthodes SSTA et CTA est aussi expliquée dans cette partie. Pour terminer, une étude sur les corrélations entre cellules est exposée.

Les ressources cellulaires sont précieuses et doivent être préservées dès que possible. Dans cette thèse, nous abordons le problème de la dissémination de contenus dans un réseau cellulaire surchargé. La première partie présente SCoD (Scheduled Content Delivery), une stratégie de dissémination purement cellulaire qui exploite la mobilité des utilisateurs ainsi que leur tolérance aux délais afin d’effectuer des transmissions différées. SCoD attend que les utilisateurs se rassemblent autour d’un minimum de points d’accès afin que le nombre total de transmissions soit réduit. Pour déclencher des transmissions, SCoD repose sur différentes fonctions de décision qui déclenchent aux instants opportuns une transmission en multicast. La deuxième partie de cette thèse traite également le problème d’économie de ressources cellulaires, mais en l’attaquant sous un autre angle. Nous exploitons des communications D2D que nous associons au multicast pour réduire la charge sur l’infrastructure. Nous analysons les avantages des communications opportunistes dans le contexte d’un service de diffusion de contenus basé sur les abonnements des utilisateurs. Nous présentons nos résultats pour deux cas de figure. Tout d’abord, nous illustrons le bénéfice des communications D2D dans le cadre d’un processus de diffusion, où le coût d’une transmission opportuniste est négligeable par rapport à celui d’une transmission cellulaire. Nous considérons ensuite le cas où les utilisateurs doivent être indemnisés pour leur participation au processus de diffusion, et où il y a donc un compromis à trouver. Nous fournissons des lignes directrices dans ce sens et nous montrons la variation d’un tel compromis en fonction de plusieurs paramètres du réseau
Cellular resources are valuable and must be saved whenever possible. In this thesis, we address the problem of content dissemination within an overloaded cellular network. Firstly, we propose SCoD (Scheduled Content Delivery), a purely cellular dissemination strategy that exploits the mobility of users and their delay tolerance in order to postpone transmissions. SCoD waits for users to gather around a minimum number of access points so that the total number of transmissions is reduced. To trigger transmissions, SCoD relies on different decision functions which launch, if necessary, a multicast transmission. The second part of this thesis deals with the same problem of saving cellular resources, but from another angle. We use D2D (Device-to-Device) communications with multicast to mitigate the traffic load on the infrastructure. We study the benefits of opportunistic communications in the context of a content distribution service based on user subscriptions. We present our results in two ways. First, we illustrate the benefits of D2D communications in a content dissemination process where the cost of opportunistic transmission is negligible compared to that of cellular transmission. Then, we consider the case where users must be compensated for their participation in the dissemination process. Therefore, there is a tradeoff to be found, we thus provide guidelines in this direction and show the variation of such a tradeoff as a function of several network parameters

Les ressources cellulaires sont précieuses et doivent être préservées dès que possible. Dans cette thèse, nous abordons le problème de la dissémination de contenus dans un réseau cellulaire surchargé. La première partie présente SCoD (Scheduled Content Delivery), une stratégie de dissémination purement cellulaire qui exploite la mobilité des utilisateurs ainsi que leur tolérance aux délais afin d’effectuer des transmissions différées. SCoD attend que les utilisateurs se rassemblent autour d’un minimum de points d’accès afin que le nombre total de transmissions soit réduit. Pour déclencher des transmissions, SCoD repose sur différentes fonctions de décision qui déclenchent aux instants opportuns une transmission en multicast. La deuxième partie de cette thèse traite également le problème d’économie de ressources cellulaires, mais en l’attaquant sous un autre angle. Nous exploitons des communications D2D que nous associons au multicast pour réduire la charge sur l’infrastructure. Nous analysons les avantages des communications opportunistes dans le contexte d’un service de diffusion de contenus basé sur les abonnements des utilisateurs. Nous présentons nos résultats pour deux cas de figure. Tout d’abord, nous illustrons le bénéfice des communications D2D dans le cadre d’un processus de diffusion, où le coût d’une transmission opportuniste est négligeable par rapport à celui d’une transmission cellulaire. Nous considérons ensuite le cas où les utilisateurs doivent être indemnisés pour leur participation au processus de diffusion, et où il y a donc un compromis à trouver. Nous fournissons des lignes directrices dans ce sens et nous montrons la variation d’un tel compromis en fonction de plusieurs paramètres du réseau
Cellular resources are valuable and must be saved whenever possible. In this thesis, we address the problem of content dissemination within an overloaded cellular network. Firstly, we propose SCoD (Scheduled Content Delivery), a purely cellular dissemination strategy that exploits the mobility of users and their delay tolerance in order to postpone transmissions. SCoD waits for users to gather around a minimum number of access points so that the total number of transmissions is reduced. To trigger transmissions, SCoD relies on different decision functions which launch, if necessary, a multicast transmission. The second part of this thesis deals with the same problem of saving cellular resources, but from another angle. We use D2D (Device-to-Device) communications with multicast to mitigate the traffic load on the infrastructure. We study the benefits of opportunistic communications in the context of a content distribution service based on user subscriptions. We present our results in two ways. First, we illustrate the benefits of D2D communications in a content dissemination process where the cost of opportunistic transmission is negligible compared to that of cellular transmission. Then, we consider the case where users must be compensated for their participation in the dissemination process. Therefore, there is a tradeoff to be found, we thus provide guidelines in this direction and show the variation of such a tradeoff as a function of several network parameters

Cette thèse porte sur le développement d'une manœuvre d'aide au changement de voie (lane Change Assistance, LCA) sûre et efficace dans le contexte des réseaux de véhicules assistés par drones (Drone Assisted Vehicular Network, DAVN). En effet, les changements de voie contribuent de manière significative aux accidents de la route, nécessitant des solutions efficaces au sein des réseaux routiers. Les LCA stratégies actuelles établies sur l'apprentissage par renforcement profond (Deep Reinforcement Learning, DRL) sont limitées par les informations locales sur les véhicules, négligeant une vue globale, comme des conditions de circulation. Pour résoudre ce problème, les véhicules aériens sans pilote (Unmanned Aerial Vehicles, UAVs), ou drones, présentent une extension prometteuse des services de réseau automobile grâce à leur mobilité, capacités informatiques et liaisons de communication en visibilité directe (Line-if-Sight, LoS) avec les véhicules routiers. Dans un premier temps, nous faisons une étude bibliographique sur LCA au sein du DAVN, mettant en évidence le potentiel des drones pour améliorer la sécurité routière. Les approches LCA existantes s'appuient principalement sur des informations locales sur les véhicules et ne prennent pas en compte l'état global du trafic. Afin de réduire cette limitation, nous proposons le GL-DEAR : joint global and local drone-assisted lane change platform based on Deep-Q Network (DQN) with a dynamic reward function, for LCA with drones' assistance. La plateforme proposée se compose de trois modules : route à risques aléatoires et véhicules d'urgence ; acquisition et traitement des données ; prise de décision de changement de voie en temps réel. La manœuvre de changement de voie est basée sur un Deep Q-Network avec des fonctions de récompense dynamiques. Plus précisément, nous adoptons les modèles de changement de voie authentiques basés sur l'ensemble de données NGSIM pour les véhicules routiers ordinaires afin de recréer les comportements de changement de voie du monde réel dans les simulations. Les résultats numériques démontrent la capacité de la plateforme à réaliser des trajets sans collision sur des autoroutes à risque avec des véhicules d'urgence. Dans un deuxième temps, nous identifions un manque de calibrage de la fréquence de mise à jour globale des algorithmes d'apprentissage fédéré (Federated Learning, FL) et l'absence d'évaluation approfondie du délai de traitement au niveau du drone. Nous proposons donc un cadre d'apprentissage par renforcement fédéré (FRL) assisté par drone, DAFL. Ce cadre permet un apprentissage coopératif entre les véhicules de l'ego en appliquant FL. Il comprend un algorithme d'agrégation de modèles global basé sur la réputation du client et une analyse complète du délai de bout en bout (End-to-End, E2E) au niveau du drone. Plus précisément, la fréquence globale de mise à jour est ajustée dynamiquement en fonction des mesures de sécurité routière et de la consommation énergétique des drones, ce qui donne des résultats efficaces dans les simulations. Dans la troisième étape, nous concevons l'algorithme DOP-T pour optimiser les trajectoires des drones dans les réseaux de véhicules dynamiques. Cet algorithme vise à équilibrer la consommation énergétique des drones et la sécurité routière. Nous fournissons un état de l'art complet des techniques existantes de planification de trajectoire de drones. Ensuite, sur la base de la modélisation du délai E2E du véhicule et de la modélisation de la consommation d'énergie du drone. Dans la seconde étape, nous formons un modèle d'apprentissage par renforcement hors ligne (Offline-Reinforcement Learning, ORL) pour éviter une formation en ligne consommatrice d'énergie. Les résultats de la simulation démontrent une réduction significative de la consommation d'énergie des drones et du délai E2E du véhicule à l'aide du modèle entraîné
This thesis focuses on the development of a safe and efficient LCA maneuver in the context of drone-assisted vehicle networks (DAVN). In fact, lane change maneuvers contribute significantly to road accidents, requiring effective solutions within road networks. Current lane change assistance (LCA) strategies relying solely on deep reinforcement learning (DRL) are limited by local vehicle information, neglecting a global view of traffic conditions. To address this problem, unmanned aerial vehicles (UAVs), or drones, present a promising extension of automotive network services due to their mobility, computing capabilities, and line-of-sight (LoS) communications links with road vehicles. In the first step, we conduct a literature review on LCA within DAVN, highlighting the potential of drones to enhance road safety. Existing LCA approaches predominantly rely on local vehicle information and fail to consider overall traffic states. To address this limitation, we propose the GL-DEAR: joint global and local drone-assisted lane change platform based on Deep-Q Network (DQN) with a dynamic reward function, for LCA with drones' assistance. The proposed platform consists of three modules: road with random risks and emergency vehicles; data file acquisition and processing; and real-time lane change decision-making. The lane change maneuver is based on a Deep Q-Network with dynamic reward functions. Specifically, we adopt the authentic NGSIM dataset-based lane change models for ordinary road vehicles to recreate real world lane change behaviors in the simulations. Numerical results demonstrate the platform's ability to achieve collision-free trips on risky highways with emergency vehicles. In the second step, we identify a lack of calibration for the global update frequency in FL algorithms and the absence of thorough drone-level processing delay assessment. To this end, we propose the drone assisted Federated Reinforcement Learning (FRL)-based LCA framework, DAFL. This framework enables cooperative learning between ego vehicles by applying Federated Learning (FL). It includes a client reputation-based global model aggregation algorithm and a comprehensive analysis of End-to-End (E2E) delay at the drone. Specifically, the global update frequency is dynamically adjusted according to road safety measurements and drone energy consumption, yielding efficient results in simulations. In the third step, we devise the DOP-T algorithm for optimizing drone trajectories in dynamic vehicular networks. This algorithm aims to balance drone energy consumption and road safety. We provide a comprehensive state-of-the-art review of the existing drone trajectory planning techniques. Then, based on the vehicle E2E delay modeling and the drone energy consumption modeling in the second step, we train a Offline Reinforcement Learning (ORL) model to avoid power-consuming online training. Simulation results demonstrate a significant reduction in drone energy consumption and vehicle E2E delay using the trained model

Les questions de légitimité et de stabilité des systèmes politiques ont longtemps été étudiées séparément des problèmes de mise en oeuvre du droit en sciences économiques. L’objectif de cette thèse est concilier ces différentes approches afin de replacer la mise en oeuvre de la norme juridique au centre du débat institutionnel. Ce travail se décompose en cinq investigations empiriques ou expérimentales portant chacune sur une des étapes du processus politique et judiciaire.Le premier article s’intéresse à l’impact des droits constitutionnels sur les dépenses publiques. La seconde étude explore l’influence des biais d’auto-complaisance sur la demande et l’offre de redistribution. Le troisième travail analyse les décisions rendues par le Conseil Constitutionnel. La quatrième partie examine la réforme de la carte judiciaire des Conseils de Prud’hommes de 2008. Le dernier chapitre étudie la relation entre la composition syndicale des Conseils de Prud’hommes et les issues des litiges qui y sont portés.Nos analyses reposent sur les outils économétriques et expérimentaux. Elles font usage de méthodes d’estimations classiques (OLS, GLS, Probit, Logit, Within OLS), de modèles à sélection (Heckman, Triprobit), des outils destinés aux problèmes d’endogénéité (2SLS)et des techniques d’estimation de systèmes d’équation (3SLS). L’approche expérimentale contient également des tests statistiques communément appliqués (tests de permutation,tests de comparaison de moyenne, tests de proportion) ainsi que de récentes méthodes pour traiter l’hétérogénéité (wild clustering)
The legitimacy and the stability of political systems have very often been studied in economics separate from considerations about legal norms’ enforcement. My objective is to combine these different approaches, and to place the question of the legal enforcement at the heart of the debate about institutions. This work is made of cinq empirical and experimental investigations that deal with each of the stages of the political and legal process.This first paper analyzes the impact of constitutional rights on public expenditures. The second article explores the influence of self-serving biases on the demand and the supplyof redistribution. The third analysis focuses on the decisions of the French Constitutional Council. The fourth work deals with the recent reform of the judiciary map of Frenchlabor courts. The last study investigates the relationship between the composition of the elected jurors in French labor courts and the way cases are terminated.Our investigations rely on econometric and experimental techniques. They use standard estimation methods (OLS, GLS, Probit, Logit, Within OLS), selection models (Heckman,Triprotibt), techniques for endogeneity correction (2SLS), and methods to estimate systems of equations (3SLS). The experimental analysis makes use of standard statistical tests(permutation tests, proportion tests, two-group mean-comparison tests), and more recent methods to solve heterogeneity (wild clustering)

La plupart des Services d'incendie et de secours et des Services de l'urgence médicale s'organisent selon deux écoles trouvant leurs sources au Royaume-Uni et en Allemagne. Pour les présenter, nous avons d'abord fait le choix d'analyser l'histoire des réglementations régissant ces deux écoles en les écrivant sous la forme d'une équation de type f(Risques, Moyens opérationnels, Délais d'intervention). Il est apparu des différences essentielles portant sur les statuts des personnels, la répartition, le qualitatif et le quantitatif des moyens opérationnels, l'écriture des indicateurs permettant de mesurer les niveaux d'efficacité atteints pour les comparer avec ceux définis, etc. Ensuite, nous avons résolu l'équation proposée pour l'Autriche, le Danemark, la Suède, la Finlande, la Suisse et la France. Enfin, nous avons montré la rentabilité des Services d'incendie et de secours et des Services de l'urgence médicale en les associant aux structures économiques qu'ils ont charge de protéger
Most Fire and Rescue services and Medical Emergency services are organised along the lines of one of two schools originating in the United Kingdom and in Germany. In order to present these schools we first decided to analyse the history of the regulations they operate under, by writing them in the form of a generic equation: f(Risks, Operational Resources, Time to attend). Fundamental differences regarding officer status, allocation, operational resources quality and quantity, recording of planned vs. Actual performance indicators, etc. Became apparent. We then solved the proposed equation for Austria, Denmark, Sweden, Finland, Switzerland and France. Finally, we demonstrated the cost-efficiency of Fire and Rescue services and Medical Emergency services when considered in association with the economic structures they have to protect

Ce travail présente deux modèles de modélisation des systèmes de production à savoir le modèle à flux continus et le modèle à flux discrets. De plus, pour la simulation des différents systèmes de production le modèle réseaux de Petri est utilisé. L’évaluation des performances et spécialement la productivité d’un système de production est étudiée et une étude comparative analytique des deux modèles de pannes existant à savoir les pannes dépendantes du temps et les pannes dépendantes des opérations est réalisée. Une étude analytique de la fonction de coût du stockage et du pilotage optimale des flux est présentée. La majorité des modèles à flux continus ne tiennent pas compte de retards (délais de production et de transport) qui ont un grand impact sur les mesures des performances et l’optimisation. Alors, la modélisation et l’impact de ces retards sur la productivité dans les modèles à flux continus sont étudiés. Le pilotage des systèmes de production avec retards est adressé et la méthode IPA (Infinitesimal Perturbation Analysis) est utilisée pour optimiser notre système de production. Différentes politiques de pilotage sont considérées à savoir la politique Kanban, la politique Echelon Base Stock, et la politique CONWIP. A l’aide d’une optimisation basée sur la simulation le niveau optimal des stocks du système de production en fonction de la politique de pilotage choisie est déterminé
This work addresses both discrete-flow and continuous-flow manufacturing systems. Moreover, Petri nets model is used for the simulation of the various manufacturing systems. The performance evaluation and especially the throughput rate of a production system is studied and an analytical comparative study of the two existing failure models, namely operation-dependant failures and time-dependant failures is carried out. An analytical study of the inventory cost function and optimal control policy are presented. The majority of the continuous-flow models do not take into account delays (production lead-times and transportation) which have a great impact on performance measures and optimization. Hence, the modeling and the impact of these delays on the throughput rate in continuous-flow models are studied. The control of the production systems with delays is addressed and the IPA (Infinitesimal Perturbation Analysis) technique is used to optimize our production system. Various control policies are considered, namely, Kanban policy, Echelon Bases Stock policy, and CONWIP policy. A simulation-based optimization is used to determine the optimal buffer level according to the given control policy

Dans cette thèse, le compromis entre la consommation d'énergie et le délai dans les réseaux de capteurs sans fil est étudié en exploitant efficacement les liens non fiables. Nous proposons une métrique de l'efficacité énergétique et une métrique de délai moyenne qui sont combinés avec le modèle de lien radio à erreur. En utilisant ces deux métriques et un modèle réaliste de lien radio, nous déduisons la limite inférieure et le front de Pareto du compromis Energie-Délai sont calculés pour trois types de systèmes de communication: la communication multi-saut traditionnelle, la communication opportuniste et la communication coopérative MIMO (CMIMO) dans trois différents canaux: le canal a bruit additif blanc Gaussien, le canal a évanouissements rapides de Rayleigh et le canal a évanouissement de Rayleigh par blocs. Les expressions de ces limites faibles sont obtenues et vérifiées par des simulations bidimensionnelles de réseaux de capteurs distribués aléatoirement. Sur la base de l'expression de la borne inférieure du compromis Energie-Délai, un cadre multi-couche est fourni pour optimiser les paramètres des couches physique, MAC et routage sous contrainte de délai. Les résultats obtenus montrent que pour parvenir à une meilleure performance Energie-Délai, les mécanismes de communication suivants devraient être adoptés selon le type de canal : les communications multi-saut traditionnelles sont les plus performantes pour le canal à bruit additif blanc Gaussien, alors que les communications opportunistes le sont pour les canaux à évanouissements de Rayleigh par blocs et enfin le CMIMO pour les canaux à évanouissements rapides de Rayleigh.

Dans la mesure où la marque facilite le choix des consommateurs dans le spectre des variétés et qualités des produits, elle s'avère indispensable pour l'allocation efficace des ressources dans le processus productif, devenant ainsi un actif important des entreprises, au point qu'il existe désormais un « marché » sur lequel se rencontrent une offre et une demande de marques. En ce sens, le travail de recherche s'articule sur l'analyse économique de l'offre par les entreprises et les contrefacteurs et la demande de marques par les consommateurs. D'abord, il s'agit de démontrer que l'offre de marque est assimilable à un moyen de différenciation de l'entreprise sur un marché concurrentiel. La marque apparaît comme un vecteur important de l'activité entrepreneuriale, source de croissance. Ensuite, une autre partie de la recherche est consacrée à l'analyse de la marque du côté de la demande, et notamment à un aspect particulier de la demande de marque qui réside dans la demande de contrefaçon de marques. Nous proposons un modèle théorique d'achat de contrefaçons de marque avec un mécanisme de théorie des jeux sur la formation d'une norme sociale. Enfin, la présente étude tente de démontrer que les comportements de consommation de contrefaçon restent largement influencés par le cadre légal qui régit la contrefaçon de marque, et que l'efficacité des politiques de lutte contre ce phénomène est affectée par un élargissement du marché de la contrefaçon, lequel résulte de l'expansion croissante des nouvelles technologies et du développement de la consommation en réseau
To the extent that brandname facilitates consumer choice in the spectrum of varieties and qualities of products, it is a determining factor of the efficient allocation of resources in the production process, thus becoming an important corporate asset, up to the point that there is now a "market" of brands where meet supply and demand for brands. Thus, this research is based on an economic analysis of the supply of brands by firms and counterfeiters and the demand for brands by consumers. First, it is to show that supplying a brand is comparable to a means of differentiating the firm in a competitive market, and the mark appears as an important driver of entrepreneurial activity and a source growth. Then, another part of the research is devoted to the analysis of the mark on the demand side of the market, including a particular aspect of the demand for trademark which is the demand for trademark infringement. We build a theoretical model of purchasing counterfeited brands with a mechanism of game theory on the formation of a social norm. Finally, we attempt to show that counterfeit consumption behavior remains largely influenced by the legal framework governing trademark infringement, and that the effectiveness of policies to fight against this phenomenon is affected by an expansion of the market counterfeiting, which results from the increasing expansion of new technologies and the growth of consumption in the network

Dans la mesure où la marque facilite le choix des consommateurs dans le spectre des variétés et qualités des produits, elle s'avère indispensable pour l'allocation efficace des ressources dans le processus productif, devenant ainsi un actif important des entreprises, au point qu'il existe désormais un « marché » sur lequel se rencontrent une offre et une demande de marques. En ce sens, le travail de recherche s'articule sur l'analyse économique de l'offre par les entreprises et les contrefacteurs et la demande de marques par les consommateurs. D'abord, il s'agit de démontrer que l'offre de marque est assimilable à un moyen de différenciation de l'entreprise sur un marché concurrentiel. La marque apparaît comme un vecteur important de l'activité entrepreneuriale, source de croissance. Ensuite, une autre partie de la recherche est consacrée à l'analyse de la marque du côté de la demande, et notamment à un aspect particulier de la demande de marque qui réside dans la demande de contrefaçon de marques. Nous proposons un modèle théorique d'achat de contrefaçons de marque avec un mécanisme de théorie des jeux sur la formation d'une norme sociale. Enfin, la présente étude tente de démontrer que les comportements de consommation de contrefaçon restent largement influencés par le cadre légal qui régit la contrefaçon de marque, et que l'efficacité des politiques de lutte contre ce phénomène est affectée par un élargissement du marché de la contrefaçon, lequel résulte de l'expansion croissante des nouvelles technologies et du développement de la consommation en réseau
To the extent that brandname facilitates consumer choice in the spectrum of varieties and qualities of products, it is a determining factor of the efficient allocation of resources in the production process, thus becoming an important corporate asset, up to the point that there is now a "market" of brands where meet supply and demand for brands. Thus, this research is based on an economic analysis of the supply of brands by firms and counterfeiters and the demand for brands by consumers. First, it is to show that supplying a brand is comparable to a means of differentiating the firm in a competitive market, and the mark appears as an important driver of entrepreneurial activity and a source growth. Then, another part of the research is devoted to the analysis of the mark on the demand side of the market, including a particular aspect of the demand for trademark which is the demand for trademark infringement. We build a theoretical model of purchasing counterfeited brands with a mechanism of game theory on the formation of a social norm. Finally, we attempt to show that counterfeit consumption behavior remains largely influenced by the legal framework governing trademark infringement, and that the effectiveness of policies to fight against this phenomenon is affected by an expansion of the market counterfeiting, which results from the increasing expansion of new technologies and the growth of consumption in the network

Cette thèse comprend deux familles de résultats originaux : la première concerne les systèmes à délai; la seconde propose une nouvelle méthode pour l'étude des systèmes semi-markoviens. En relaxant l'hypothèse de la simultanéité, nous avons introduit une nouvelle famille de systèmes appelée systèmes à délai. Un système à délai est un système dont la défaillance est assujettie à deux conditions : la première est une condition structurelle comme dans les systèmes classiques (i. E. L'occurrence d'une coupe), la seconde est une condition temporelle imposant la présence de la condition structurelle pendant un temps critique. Nous obtenons des résultats généraux concernant la distribution de la durée de vie de différentes classes de systèmes à délai: à composant unique, multicomposants, à structure élémentaire et à structure complexe. Nous étudions plusieurs exemples de systèmes à délai dont le réservoir, pour lequel, étant donné son importance pratique, nous dérivons un certain nombre de résultats généraux. Dans le cas des systèmes à délai, les délais extérieurs aux états du processus font perdre le caractère markovien. Les processus semi-markoviens deviennent alors l'outil essentiel pour les systèmes à délai multicomposants. Dans notre étude des systèmes semi-markoviens, nous présentons les différentes méthodes de modélisation (variables complémentaires, états fictifs et chaines immergées) dans un contexte unifié, celui des processus de renouvellement markoviens. Nous obtenons des résultats généraux qui nous permettent d'élaborer de nouvelles méthodes de résolution. Ces résultats sont valables non seulement pour les systèmes à délai semi-markoviens, mais aussi pour les systèmes classiques en fiabilité et beaucoup d'autres systèmes semi-markoviens à espace d'états fini comme par exemple les files d'attente, etc. Enfin, nous étudions la performabilité des systèmes semi-markoviens, qui généralise la notion de fiabilité et des mesures associées avec prolongement aux systèmes à délai.

A partir des enregistrements effectués par Raymond Depardon pour son documentaire Délits flagrants (1994), cette thèse présente une analyse ethnométhodologique d'un corpus d'échanges langagiers tirés d'auditions de comparution immédiate. Elle étudie les procédures pratiques par lesquelles le procureur et le déféré organisent concrètement, un instant après l'autre, en situation, de façon endogène, leurs échanges langagiers. L'échange est marqué par une pluralité et un enchevêtrement de formes de coordination appelées "activités". L'analyse se concentre sur la dimension pratique de ces activités tout en s'ancrant également dans les plans conversationnel et relationnel. Ces activités sont analysées en elles-mêmes - d'après leurs éléments, leurs dynamiques, leurs emplacements et leurs délimitations, la manière dont elles façonnent l'entité "ce qui s'est passé"… - ainsi que dans leurs relations réciproques lors de phénomènes d'enchaînement, de percement et d'imbrication
This thesis presents an ethnomethodological analysis of a corpus of verbal exchanges from immediate trial hearings and is based on the recordings made by Raymond Depardon for his documentary Délits flagrants (1994). The thesis looks into the procedures by which the prosecutors and suspects sequentially and endogenously organise their verbal exchanges. The verbal exchanges in question are recognisable by a plurality and an entanglement of forms of coordination qualified as "activities". While the analysis is centred on the practical aspects of these activities, it nonetheless tackles the conversational and relational aspects of these exchanges. The activities are analysed as such with regards to their various constituent elements, their dynamics, their localisations, their boundaries and the way in which they elaborate "what happened". The thesis also observes how these activities vary as well as how they are linked to one another, how they alternate and how they combine

Cette étude vise à évaluer l’utilité d’une assistance informatique lors de l’identification de l’auteur d’un texte en français dans un cadre judiciaire. L’objectif est de proposer un environnement informatique au linguiste oeuvrant en contexte judiciaire et plus spécifiquement en analyse de paternité textuelle et de valider la légitimité de cette assistance automatisée à travers une étude de cas impliquant des textes courts et très courts rédigés en français. L’analyse se scinde en deux parties : une partie quantitative presqu’essentiellement automatisée et une partie qualitative semi-automatisée. Les résultats provenant de cette étude suggèrent qu’un environnement automatisé est un gain pour le linguiste, non seulement quant au temps et à la neutralité d’exécution de l’analyse, mais également quant aux résultats encourageants obtenus grâce aux outils créés.

Cette thèse étudie la logique des comportements individuels en matière d'activité politique illégale à travers la construction d'un modèle économique complet compose d'une fonction d'offre de délinquance politique, d'une fonction de demande de sécurité et d'une fonction de production de répression. L'objectif est de déterminer les facteurs de gains et de couts qui sont susceptibles d'affecter le calcul individuel des participants potentiels, les offreurs de délinquance, et dans quelles conditions ils vont augmenter ou diminuer leur temps de participation (la quantité offerte). Les bénéfices et coûts de l'action illégale sont : les gains publics purs, les gains politiques personnels, les gains privés matériels et psychologiques, les coûts liés à l'arrestation, à la condamnation, à la mort ou aux dommages corporels au cours de la participation, les coûts d'opportunité lies à la renonciation à un salaire dans la vie économique légale. L'élément "préférence pour les biens collectifs" vient exercer un effet amplificateur sur les gains publics et sur les gains politiques personnels. Nous prenons également en compte le choix des victimes potentielles, Etat et citoyens privés. La demande de sécurité des citoyens privés est intégrée à celle de l'Etat car ils ne peuvent recourir à la répression pour se protéger. L'Etat est aussi producteur de répression pour dissuader les individus à s'engager dans la délinquance politique afin d'exprimer leur mécontentement, et faire en sorte qu'ils substituent l'action politique légale à l'action illégale devenue relativement plus couteuse
The thesis studies the logic of individuals behaviors concerning illegal political activity through an economic model composed of a supply function of political criminality, a demand function of security and a production function of repression. The purpose is to determine the gains and costs that affect the individual calculus of potential participants, and in which conditions they are going to increase or to decrease their time of participation (the supply quantity). Tha gains and costs of illegal political activity are : purs publics gains, private political gains, materials and psychological private gains, apprehension, condamnation, physical dammanges costs, opportunity costs due to foregone wage in the economic legal life. The "factor "preference for publics goods" amplificates the public and political private gains. We also take into account the choice of potential victims, State and private citizens. The demande for security of private citizens is integrated into that of the State, because they cannot resort to reppression to protect themselves. The State is the productor of repression to dissuade potentials participants to engage in political violence in order to express their discontent, and make them substitute legal political action to illegal one which become more costly

Cette thèse porte sur l'établissement des expressions analytiques des performances des schémas Hybrid ARQ dans un contexte d'optimisation inter-couches. Le mécanisme Hybrid ARQ permet de tirer profit des propriétés de l'ARQ et des propriétés d'un FEC, selon la valeur du SNR. Par conséquent, la quantité de redondance transmise est automatiquement adaptée à la qualité du canal, en se basant sur l'acquittement de la transmission précédente. Sachant qu'aujourd'hui, tous les systèmes opèrent (ou sont sur le point d'opérer) sous le protocole IP, il est intéressant d'étudier leurs performances au niveau de la couche IP. Les métriques considérées sont le taux d'erreur paquet, l'efficacité, le délai et la gigue. Ces métriques sont utiles puisque les besoins en QoS dépendent d'une combinaison de celles-ci. Cependant, dans la littérature, les performances des schémas HARQ sont surtout analysées au niveau MAC. De plus, elles sont souvent évaluées au moyen de simulations. L'objectif est donc ici d'établir les expressions analytiques des quatre métriques de performances pour tout type de mé- canisme HARQ, aux niveaux MAC et IP, en prenant en compte des solutions existantes d'optimisation entre les couches MAC et IP. Il est ensuite prouvé que ces dérivations sont utiles pour construire des algorithmes dédiés à la gestion des ressources radio aussi bien qu'à la protection inégale des données.

L'objectif principal de cette thèse est de proposer les méthodes permettant d'obtenir le délai de transmission de bout en bout pire cas exact d'un réseau AFDX. Actuellement, seules des bornes supérieures pessimistes peuvent être calculées en utilisant les approches de type Calcul Réseau ou par Trajectoires. Pour cet objectif, différentes approches et outils existent et ont été analysées dans le contexte de cette thèse. Cette analyse a mis en évidence le besoin de nouvelles approches. Dans un premier temps, la vérification de modèle a été explorée. Les automates temporisés et les outils de verification ayant fait leur preuve dans le domaine temps réel ont été utilisés. Ensuite, une technique de simulation exhaustive a été utilisée pour obtenir les délais de communication pire cas exacts. Pour ce faire, des méthodes de réduction de séquences ont été définies et un outil a été développé. Ces méthodes ont été appliquées à une configuration réelle du réseau AFDX, nous permettant ainsi de valider notre travail sur une configuration de taille industrielle du réseau AFDX telle que celle embarquée à bord des avions Airbus A380. The main objective of this thesis is to provide methodologies for finding exact worst case end to end communication delays of AFDX network. Presently, only pessimistic upper bounds of these delays can be calculated by using Network Calculus and Trajectory approach. To achieve this goal, different existing tools and approaches have been analyzed in the context of this thesis. Based on this analysis, it is deemed necessary to develop new approaches and algorithms. First, Model checking with existing well established real time model checking tools are explored, using timed automata. Then, exhaustive simulation technique is used with newly developed algorithms and their software implementation in order to find exact worst case communication delays of AFDX network. All this research work has been applied on real life implementation of AFDX network, allowing us to validate our research work on industrial scale configuration of AFDX network such as used on Airbus A380 aircraft
The main objective of this thesis is to provide methodologies for finding exact worst case end to end communication delays of AFDX network. Presently, only pessimistic upper bounds of these delays can be calculated by using Network Calculus and Trajectory approach. To achieve this goal, different existing tools and approaches have been analyzed in the context of this thesis. Based on this analysis, it is deemed necessary to develop new approaches and algorithms. First, Model checking with existing well established real time model checking tools are explored, using timed automata. Then, exhaustive simulation technique is used with newly developed algorithms and their software implementation in order to find exact worst case communication delays of AFDX network. All this research work has been applied on real life implementation of AFDX network, allowing us to validate our research work on industrial scale configuration of AFDX network such as used on Airbus A380 aircraft

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.

Depuis l'avènement du réseau Internet, le volume de données échangées sur les réseaux a crû de manière exponentielle. Le matériel présent sur les réseaux est devenu très hétérogène, dû entre autres à la multiplication des "middleboxes" (parefeux, routeurs NAT, serveurs VPN, proxy, etc.). Les algorithmes exécutés sur les équipements réseaux (routage, “spanning tree”, etc.) sont souvent complexes, parfois fermés et propriétaires et les interfaces de supervision peuvent être très différentes d'un constructeur/équipement à un autre. Ces différents facteurs rendent la compréhension et le fonctionnement du réseau complexe. Cela a motivé la définition d'un nouveau paradigme réseaux afin de simplifier la conception et la gestion des réseaux : le SDN (“Software-defined Networking”). Il introduit la notion de contrôleur, qui est un équipement qui a pour rôle de contrôler les équipements du plan de données. Le concept SDN sépare donc le plan de données chargés de l'acheminement des paquets, qui est opéré par des équipements nommés virtual switches dans la terminologie SDN, et le plan contrôle, en charge de toutes les décisions, et qui est donc effectué par le contrôleur SDN. Pour permettre au contrôleur de prendre ses décisions, il doit disposer d'une vue globale du réseau. En plus de la topologie et de la capacité des liens, des critères de performances comme le délai, le taux de pertes, la bande passante disponible, peuvent être pris en compte. Cette connaissance peut permettre par exemple un routage multi-classes, ou/et garantir des niveaux de qualité de service. Les contributions de cette thèse portent sur la proposition d'algorithmes permettant à une entité centralisée, et en particulier à un contrôleur dans un cadre SDN, d'obtenir des estimations fiables du délai de bout-en-bout pour les flux traversant le réseau. Les méthodes proposées sont passives, c'est-à-dire qu'elles ne génèrent aucun trafic supplémentaire. Nous nous intéressons tout particulièrement à la moyenne et l'écart type du délai. Il apparaît que le premier moment peut être obtenu assez facilement. Au contraire, la corrélation qui apparaît dans les temps d'attentes des noeuds du réseau rend l'estimation de l'écart type beaucoup plus complexe. Nous montrons que les méthodes développées sont capables de capturer les corrélations des délais dans les différents noeuds et d'offrir des estimations précises de l'écart type. Ces résultats sont validés par simulations où nous considérons un large éventail de scénarios permettant de valider nos algorithmes dans différents contextes d'utilisation
Since the early beginning of Internet, the amount of data exchanged over the networks has exponentially grown. The devices deployed on the networks are very heterogeneous, because of the growing presence of middleboxes (e.g., firewalls, NAT routers, VPN servers, proxy). The algorithms run on the networking devices (e.g., routing, spanning tree) are often complex, closed, and proprietary while the interfaces to access these devices typically vary from one manufacturer to the other. All these factors tend to hinder the understanding and the management of networks. Therefore a new paradigm has been introduced to ease the design and the management of networks, namely, the SDN (Software-defined Networking). In particular, SDN defines a new entity, the controller that is in charge of controlling the devices belonging to the data plane. Thus, in a SDN-network, the data plane, which is handled by networking devices called virtual switches, and the control plane, which takes the decisions and executed by the controller, are separated. In order to let the controller take its decisions, it must have a global view on the network. This includes the topology of the network and its links capacity, along with other possible performance metrics such delays, loss rates, and available bandwidths. This knowledge can enable a multi-class routing, or help guarantee levels of Quality of Service. The contributions of this thesis are new algorithms that allow a centralized entity, such as the controller in an SDN network, to accurately estimate the end-to-end delay for a given flow in its network. The proposed methods are passive in the sense that they do not require any additional traffic to be run. More precisely, we study the expectation and the standard deviation of the delay. We show how the first moment can be easily computed. On the other hand, estimating the standard deviation is much more complex because of the correlations existing between the different waiting times. We show that the proposed methods are able to capture these correlations between delays and thus providing accurate estimations of the standard deviation of the end-to-end delay. Simulations that cover a large range of possible scenariosvalidate these results

La présente thèse comporte une partie expérimentale comprenant l’analyse in situ et en laboratoire des tesselles de faïence et de verre des mosaïques de Délos et une recherche bibliographique concernant d’une part l’emploi des matériaux vitreux dans les mosaïques hellénistiques dans la Méditerranée et de l’autre les études analytiques portant sur la faïence et le verre de l’époque considérée.Cette recherche a permis d’enrichir les connaissances sur les mosaïques déliennes avec l’apport de la caractérisation physico-chimique des tesselles vitreuses et d’alimenter la réflexion sur l’approvisionnement en verre et en faïence de la part des mosaïstes. En outre, pour le verre, le croisement des données analytiques obtenues à partir des tesselles déliennes au cours de cette recherche et celles relatives aux verres colorés présentes dans la bibliographie a permis de formuler des hypothèses concernant le modèle de production du verre coloré à l’époque hellénistique. L’analyse d’un grand nombre des tesselles a permis de mettre en évidence une particularité des verres bleus et turquoise, pour lesquels nous avons formulé l’hypothèse qu’une source d’antimoine riche en plomb avait été employée pour leur opacification.Enfin, l’application in situ des méthodes non-invasives à l’aide d’appareils portables a permis d’évaluer les avantages et les limites d’une telle approche pour l’étude des tesselles vitreuses. Pour surmonter certains problèmes dans le calcul de la composition chimique des tesselles altérées proposé par le logiciel intégré dans l’instrument de Fluorescence X utilisé, nous avons développé une procédure de calcul alternative prévoyant l’emploi du logiciel PyMca
This theses has comprised an experimental part involving the application of archaeometric analyses on glass and faience tesserae of the Hellenistic mosaics from Delos both in situ and in laboratory. Moreover it has involved a bibliographic research concerning on the one hand the use of vitreous materials in the Hellenistic mosaics in the Mediterranean and on the other hand the archaeometric studies on glass and faience of the considered period. This research allowed to enrich the knowledge about the mosaics from Delos through the physico-chemical characterisation of their vitreous tesserae and to contribute to the question concerning the supply of glass and faience by the mosaicists. In addition, as regards glass, the combination and comparison of the compositional data obtained on the tesserae from Delos during this study and those concerning coloured glass found in the bibliography has permitted to formulate some hypotheses concerning the production organisation/system of coloured glass during the Hellenistic period. The analyses of a large number of glass tesserae highlighted a peculiarity of blue and turquoise tesserae which allowed us to hypothesise that a lead-rich antimony ore was used for their opacification.Finally, the application of non-invasive analytical methods using portable instruments permitted to evaluate the limits and advantages of this type of approach in the study of vitreous tesserae. To overcome some problems in the calculation of weathered tesserae composition provided by the software of the XRF instrument used, an alternative calculation procedure involving the use of PyMca software has been developed

Le travail decrit une architecture multiprocesseurs utilisant un reseau local pour assurer le controle des differentes fonctions d'un robot mobile. La premiere partie etudie les effets des retards aleatoires sur les asservissements afin de determiner des limites acceptables en fonction de la dynamique du systeme controle. La deuxieme partie presente des modeles stochastiques du trafic sur le reseau permettant de comparer les performances de differents protocoles et revele la superiorite du protocole csma/cd 1 persistant dans le cadre de cette application. La troisieme partie decrit une mise en uvre de cette architecture

Les études des déformations de surface en relation avec l'activité volcanique permettent de quantifier les phénomènes de transfert de magma qui s'opèrent dans les structures superficielles et profondes d'un édifice volcanique. Ces études s'appuient essentiellement sur l'utilisation de séries temporelles acquises par des réseaux de récepteurs GNSS installés sur les flancs de l'édifice volcanique et sur l'utilisation d'images acquises par des satellites équipés de capteurs à ouverture de synthèse. Les objectifs de ce travail ont été de mettre en œuvre sur deux des volcans les plus actifs du monde des méthodes numériques pour détecter, analyser et interpréter les déformations du sol associées à l'activité. Sur le Piton de la Fournaise, nous avons analysé l'évolution spatiale et temporelle du champ de déplacement entre l'éruption historique d'avril 2007 et octobre 2014 à partir de l'analyse de mesures continues acquises par les stations GNSS et de longues séries temporelles d'images radar Cosmos-Skymed et TerraSAR acquises en bande X. Pour le traitement des données radars, nous avons adopté une approche classique qui exploite la redondance d'information dans les interférogrammes et nous avons mis en œuvre une méthode originale de correction des effets troposphériques reposant sur la décomposition des signaux radars en valeurs singulières. La complexité spatiale et temporelle du champ de déplacement obtenu indique qu'une partie importante de l'édifice volcanique est affectée par des déformations d'origines diverses qui se superposent spatialement et temporellement. Ainsi, on observe des processus de subsidence qui ne s'accompagnent pas de déplacements horizontaux sur les coulées de lave récentes. Nous montrons qu'il existe une relation linéaire entre cette subsidence et l'épaisseur de la coulée et que son amplitude décroit avec le temps. Ces relations nous permettent de construire une loi empirique pour estimer la contribution de ce processus dans le champ de déformation. Nous observons également que le cône central subside de manière persistante durant la période étudiée. Nous interprétons cette subsidence comme l'expression d'une relaxation des contraintes provoquée par l'effondrement de plus de 350 m du Dolomieu survenu lors de l'éruption d'avril 2007. Enfin, nous montrons qu'une large partie du flanc est de l'édifice volcanique est affectée d'un mouvement lent le long de la pente entre 2007 et 2014. L'absence d'évidences sur la structure et sur la rhéologie de l'édifice nous amène à explorer différentes hypothèses pour expliquer l'origine de ce glissement qui pourrait être contrôlé par les propriétés frictionnelles des roches le long d'un ou de plusieurs plans de faille, ou bien être l'expression d'une déformation ductile dépendante de la viscosité du milieu. Le Llaima est un large strato-volcans andin dont les processus de déformations sont mal compris à cause principalement de la complexité de son mode de fonctionnement mais, également, aussi par l'absence de réseaux d'observation au sol. Dans ce contexte, les potentialités des données radar pour le suivi des déformations de surface de ces volcans constituent un intérêt scientifique majeur
We address in this dissertation the use of Interferometric Synthetic Aperture Radar (InSAR) to measure and characterize the ground surface deformation at two volcanoes - Piton de la Fournaise (La Réunion Island, France) and Llaima (Chile). For Piton de la Fournaise, we analyzed the spatial pattern and temporal evolution of the ground displacement between the historical March-April 2007 eruption and October 2014, based on continuous measurements recorded by GNSS stations and X band COSMO-SkyMed and TerraSAR-X/TanDEM-X time series analysis. For the processing of radar data, we adopted a classical InSAR time series approach that exploits the information redundancy in the interferograms and we implemented an original method for correcting artifacts based on the principal component decomposition. The spatial and temporal complexity of the obtained deformation field indicates that an important part of the volcanic edifice is affected by deformations of various origins that overlap spatially and temporally. We observe also subsidence processes that are not accompanied by horizontal displacements in recent lava fields. We show that there exists a linear relationship between the subsidence and the thickness of lava and that the amplitude of subsidence decreases with time. These relationships allow us to construct an empirical law to estimate the contribution of post-lava emplacement process in the deformation field. We also observe that the Central Cone subsides persistently during the study period. We interpret this subsidence as the expression of a relaxation of the stresses caused by the Dolomieu collapse during the March-April 2007 eruption. Finally, we show that a widespread time-dependent moving sector on the Eastern Flank is affected by downslope motion during the 2007-2014 period. The uncertainties on both the structure and rheology parameters of the edifice leads us to explore different hypotheses to explain the origin of this flank motion which could be controlled by the frictional properties of the rocks along one or more fault planes, or be the expression of a dependent ductile deformation of the viscosity of the medium. Llaima is a large Andean stratospheric volcano whose deformation processes are poorly understood not only because of the complexity of its functioning mode but also because of the absence of observation networks on the ground. In this context, the potential of radar data for monitoring the ground deformations of these volcanoes is a main scientific interest. However, the complex environment conditions (steep slopes, snow- or ice-capped summit, dense vegetation cover, and strong tropospheric artifacts) and limited amount of available radar data make it challenging to accurately measure ground displacement with InSAR

Les travaux présentés dans ma thèse se situent à l’interface entre complexité, algorithmique et logique. Plus particulièrement, on s’intéresse à la complexité d'évaluation de requêtes.Plus précisément, étant donné G un graphe fini. Une requête q définit un sous ensemble de k-uplets de sommets de G que l'on note q(G). On appelle k l'arité de q et on se essaye alors d'effectuer efficacement les taches suivantes :1) décider si l'ensemble q(G) est vide ou non.2) décider si un k-uplet donné appartient à l'ensemble des solutions q(G).3) calculer le nombre de solutions.4) énumérer les éléments de q(G).En ce qui concerne la 4ème tache, un algorithme qui va énumérer les solutions sera décomposé en deux parties. La première est appelé le pré-calcul et sert à préparer l’énumération. Idéalement cette étape de requière qu’un temps linéaire en la taille du graphe. La deuxième étape est ensuite l’énumération des solutions. Le temps nécessaire pour obtenir une nouvelle solution est appelé le délai. Idéalement on souhaite que le délai de dépende pas de la taille du graphes mais uniquement de la taille de la requête. On parle alors d’énumération à délai constant après pré-calcul linéaire.Au début de cette thèse, une grand part des interrogations au sujet des classes de graphes pour lesquelles une énumération à délai constant serait possible semblait se trouver au niveau des classes de graphes nulle-part dense. Le résultat principal de cette thèse est de montrer qu’il est possible d’énumérer les solutions des requêtes du premier ordre sur les graphes nulle-part dense avec un délai constant après un pré-calcul pseudo linéaire
The topic of my thesis lies between complexity, algorithmic and logic. In particular, we are interested in the complexity of evaluating query.More precisely, given G a finite graph. A query q defines a subset of k-tuples of vertices of G that we note q(G). We call k the arity of q and we then try to efficiently perform the following tasks:1) decide whether the set q G) is empty.2) decide whether a given k-tuplet belongs to the set of solutions q(G).3) calculate the number of solutions.4) enumerate the elements of q(G).Regarding the 4th task, an algorithm that will enumerate the solutions can be decomposed into two steps. The first is called preprocessing and is used to prepare the enumeration. Ideally this step only requires a time linear in the size of the graph. The second step is the enumeration properly speaking. The time needed to get a new solution is called the delay. Ideally we want the delay to not depend on the size of the graph but only on the size of the query. We then talk about constant delay enumeration after linear preprocessing.At the beginning of this thesis, a large part of the interrogations about classes of graphs for which a constant delay enumeration is possible seemed to be located around the classes of nowhere dense graphs

Dans cette thèse, nous analysons les réseaux des systèmes temps-réel distribués et plus particulièrement ceux des domaines de l’avionique et de l’automobile. Nous nous sommes focalisés sur deux protocoles : « Avionic Full DupleX Switched Ethernet » (AFDX), « Audio Vidéo Bridging Ethernet » (AVB). Dans ces domaines critiques, le déterminisme du réseau doit être garanti. Il consiste, notamment, en la détermination d’une borne garantie du délai de bout en bout de traversée du réseau pour chaque trame ; et un dimensionnement des files d’attente des trames suffisamment grand pour garantir qu’aucune d’entre elle ne débordera et ainsi, éviter toute perte de trame.Il existe plusieurs méthodes pour l’évaluation des délais et nous avons, principalement, travaillé sur la méthode « Forward end-to-end delay Analysis » (FA). FA avait déjà été définie avec la politique d’ordonnancement « First-In-First-Out » dans le contexte de l’AFDX. Nous sommes repartis de cette approche, nous l’avons reformulé et généralisé à n’importe quel réseau Ethernet commuté. Nous l’avons aussi étendu aux priorités statiques et au protocole AVB et sa politique de service « Credit Based Shaper ». Pour chaque contribution, des démonstrations formelles ont été présentées et une expérimentation incluant une comparaison de FA avec les principales approches d’évaluation sur un exemple industriel. Finalement, nous avons développé et démontré formellement une approche pour le dimensionnement des files d’attente en termes de nombre de trames. Cette approche a été expérimentée également sur une configuration industrielle
In this thesis, we analyze networks in the context of distributed real-time systems, especially in the fields of avionics, with “Avionics Full DupleX Switched Ethernet” (AFDX), and automobile, with “Audio Video Bridging Ethernet” (AVB). For such applications, network determinism needs to be guaranteed. It involves, in particular, assessing a guaranteed bound on the end-to-end traversal time across the network fr each frame; and dimensioning the buffers in order to avoid any loss of frame because of a buffer overflow.There are several methods for worst-case delay analysis, and we have mainly worked on the “Forward end-to-end Delay Analysis” (FA) method. FA had already been developed for “First-In-First-Out” scheduling policy in the AFDX context, so we generalized it to any Switched Ethernet network. We have also extended it to handle static priorities and the AVB protocol, shaping policy named “Credit Based Shaper” (CBS). Each contribution has been formaly proved and experiments have been led on industrial configurations. For our experimentations, we have compared our results with the results of competing approaches. Finally, we have developed and formally demonstrated an approach for buffer dimensioning in terms of number of frames. This approach has also been tested on an industrial configuration and has produced tight bounds

Une solution envisageable pour éliminer la propagation de l'épidémie du VIH est que les personnes vivant avec le VIH (PVVIH) ignorant leur statut sérologique (épidémie cachée) soient diagnostiquées et que les PVVIH aient accès rapidement au traitement antirétroviral (TARV). C'est pour cette raison qu'il est recommandé de mettre en place les interventions combinant notamment le dépistage précoce du VIH et l'initiation précoce du TARV. L'objectif de cette thèse est de développer des méthodes statistiques pour estimer les indicateurs permettant de désigner, de suivre et d'évaluer ces interventions dans différents contextes épidémiques. Ainsi, un premier modèle de rétrocalcul combinant les données de diagnostic du VIH et les changements dans l'accès au dépistage est développé, avec une application en France, pour estimer l'incidence de l'infection à VIH, la durée entre l'infection et le diagnostic du VIH et la taille de l'épidémie cachée. Une analyse multiniveaux est mise en œuvre pour identifier les facteurs de risque d'accès tardif au TARV au Cameroun. Une méthode basée sur les modèles multiniveaux est proposée, avec une application au Cameroun, pour estimer deux nouveaux indicateurs, la durée entre la seroconversion et l'initiation du TARV et la durée entre l'éligibilité théorique au TARV et son initiation effective. Un second modèle de rétrocalcul plus adapté aux pays d'Afrique est développé à partir des données des PVVIH mises au TARV, avec une application au Cameroun, pour estimer l'incidence de l'infection à VIH. Cette thèse propose des méthodes originales pour estimer l'incidence du VIH et le délai entre l'infection et le diagnostic du VIH ou l'initiation du TARV
A possible solution to eliminate the spread of the HIV epidemic is that people living with HIV (PLHIV) unaware of their HIV status (the hidden epidemic) are diagnosed and that all PLHIV have timely access to antiretroviral treatment (ART). That is why it is now recommended to put in place interventions combining early diagnosis of HIV and early initiation of ART. The objective of this thesis is to develop statistical methods to estimate indicators to identify, monitor and evaluate these interventions in different epidemic settings. Thus, a first back-calculation model combining HIV diagnosis data and changes in access to HIV screening is developed - with an application in France -to estimate the incidence of HIV infection, the duration between infection and HIV diagnosis and the size of the hidden epidemic. A multilevel analysis is implemented to identify risk factors associated with late ART initiation in Cameroon. A method based on multilevel models is proposed - with an application to Cameroon - to estimate two new indicators, the time between seroconversion and ART initiation and the delay between the theoretical time of ART eligibility and the effective time of ART initiation. A second back-calculation model more adapted to Africa countries is developed from data on PLHIV initiating ART - with an application in Cameroon - to estimate the incidence of HIV infection. This thesis proposes original methods to estimate the incidence of HIV infection and the time to HIV diagnosis or ART initiation

Cette thèse a été consacrée à l'étude des réseaux multi-terminaux haute tension à courant continu (MTDC). Les principales contributions étaient dans le domaine du contrôle automatique non linéaire, appliquées aux systèmes électriques, électronique de puissance et les sources d'énergie renouvelables. Le travail de recherche a été lancé avec l'intention de combler certaines lacunes entre la théorie et la pratique, en particulier: 1) d'enquêter sur diverses approches de contrôle pour le but d'améliorer la performance des systèmes MTDC; 2) d'établir des connexions entre la conception du contrôle empiriques existantes et analyse théorique; 3) d'améliorer la compréhension du comportement multi-échelle de temps des systèmes MTDC caractérisés par la présence de transitoires lents et rapides en réponse aux perturbations externes. En conséquence, ce travail de thèse peut être mis en trois domaines, à savoir la conception non linéaire de commande de systèmes MTDC, analyse des comportements dynamiques de système MTDC et l'application de systèmes MTDC pour le contrôle de fréquence des systèmes de climatisation
This dissertation was devoted to the study of multi-terminal high voltage direct current (MTDC) networks. The main contributions were in the field of nonlinear automatic control, applied to power systems, power electronics and renewable energy sources. The research work was started with the intention of filling some gaps between the theory and the practice, in particular: 1) to investigate various control approaches for the purpose of improving the performance of MTDC systems; 2) to establish connections between existing empirical control design and theoretical analysis; 3) to improve the understanding of the multi-time-scale behavior of MTDC systems characterized by the presence of slow and fast transients in response to external disturbances. As a consequence, this thesis work can be put into three areas, namely nonlinear control design of MTDC systems, analysis of MTDC system's dynamic behaviors and application of MTDC systems for frequency control of AC systems

Dans cette thèse, nous proposons une nouvelle approche pour modéliser et estimer les délais de bout-en-bout dans les réseaux de capteurs sans-fil (WSN). Notre approche combine les approches analytiques et expérimentales pour inférer un modèle Markovien modélisant le comportement d'un protocole de contrôle d'accès au médium (MAC) exécuté sur les nœuds d'un réseau de capteurs. À partir de ce modèle Markovien, le délai de bout en bout est ensuite obtenu par une approche analytique basée sur une analyse dans le domaine fréquentiel pour calculer la probabilité de distribution de délais pour un taux d'arrivée spécifique. Afin d’obtenir une estimation du délai de bout en bout, indépendamment du trafic en entrée, la technique de régression non-linéaire est utilisée sur un ensemble d’échantillons limités. Cette approche nous a permis de contourner deux problèmes: 1) la difficulté d'obtenir un modèle Markovien du comportement d’un protocole MAC en tenant compte de son implémentation réelle, 2) l'estimation du délai de bout-en-bout d’un WSN multi-sauts. L'approche a été validée sur un testbed réel (IOT-LAB) et pour plusieurs protocoles (X-MAC, ContikiMAC, IEEE 802.15.4) ainsi que pour un protocole de routage (RPL)
In this thesis, we propose an approach that combines both measurements and analytical approaches for infering a Markov chain model from the MAC protocol execution traces in order to be able to estimate the end to end delay in multi-hop transmission scenarios. This approach allows capturing the main features of WSN. Hence, a suitable Markov chain for modelling the WSN is infered. By means of an approach based on frequency domain analysis, end to end delay distribution for multi-hop scenarios is found. This is an important contribution of our approach with regard to existing analytical approaches where the extension of these models for considering multi-hop scenarios is not possible due to the fact that the arrival distribution to intermediate nodes is not known. Since local delay distribution for each node is obtained by analysing the MAC protocol execution traces for a given traffic scenario, the obtained model (and therefore, the whole end to end delay distribution) is traffic-dependant. In order to overcome this problem, we have proposed an approach based on non-linear regression techniques for generalising our approach in terms of the traffic rate. Results were validated for different MAC protocols (X-MAC, ContikiMAC, IEEE 802.15.4) as well as a well-known routing protocol (RPL) over real test-beds (IOT-LAB)

Ma thèse s'intéresse aux politiques de santé conçues pour encourager l'offre de services de santé. L'accessibilité aux services de santé est un problème majeur qui mine le système de santé de la plupart des pays industrialisés. Au Québec, le temps médian d'attente entre une recommandation du médecin généraliste et un rendez-vous avec un médecin spécialiste était de 7,3 semaines en 2012, contre 2,9 semaines en 1993, et ceci malgré l'augmentation du nombre de médecins sur cette même période. Pour les décideurs politiques observant l'augmentation du temps d'attente pour des soins de santé, il est important de comprendre la structure de l'offre de travail des médecins et comment celle-ci affecte l'offre des services de santé. Dans ce contexte, je considère deux principales politiques. En premier lieu, j'estime comment les médecins réagissent aux incitatifs monétaires et j'utilise les paramètres estimés pour examiner comment les politiques de compensation peuvent être utilisées pour déterminer l'offre de services de santé de court terme. En second lieu, j'examine comment la productivité des médecins est affectée par leur expérience, à travers le mécanisme du "learning-by-doing", et j'utilise les paramètres estimés pour trouver le nombre de médecins inexpérimentés que l'on doit recruter pour remplacer un médecin expérimenté qui va à la retraite afin de garder l'offre des services de santé constant. Ma thèse développe et applique des méthodes économique et statistique afin de mesurer la réaction des médecins face aux incitatifs monétaires et estimer leur profil de productivité (en mesurant la variation de la productivité des médecins tout le long de leur carrière) en utilisant à la fois des données de panel sur les médecins québécois, provenant d'enquêtes et de l'administration. Les données contiennent des informations sur l'offre de travail de chaque médecin, les différents types de services offerts ainsi que leurs prix. Ces données couvrent une période pendant laquelle le gouvernement du Québec a changé les prix relatifs des services de santé. J'ai utilisé une approche basée sur la modélisation pour développer et estimer un modèle structurel d'offre de travail en permettant au médecin d'être multitâche. Dans mon modèle les médecins choisissent le nombre d'heures travaillées ainsi que l'allocation de ces heures à travers les différents services offerts, de plus les prix des services leurs sont imposés par le gouvernement. Le modèle génère une équation de revenu qui dépend des heures travaillées et d'un indice de prix représentant le rendement marginal des heures travaillées lorsque celles-ci sont allouées de façon optimale à travers les différents services. L'indice de prix dépend des prix des services offerts et des paramètres de la technologie de production des services qui déterminent comment les médecins réagissent aux changements des prix relatifs. J'ai appliqué le modèle aux données de panel sur la rémunération des médecins au Québec fusionnées à celles sur l'utilisation du temps de ces mêmes médecins. J'utilise le modèle pour examiner deux dimensions de l'offre des services de santé. En premierlieu, j'analyse l'utilisation des incitatifs monétaires pour amener les médecins à modifier leur production des différents services. Bien que les études antérieures ont souvent cherché à comparer le comportement des médecins à travers les différents systèmes de compensation, il y a relativement peu d'informations sur comment les médecins réagissent aux changementsdes prix des services de santé. Des débats actuels dans les milieux de politiques de santé au Canada se sont intéressés à l'importance des effets de revenu dans la détermination de la réponse des médecins face à l'augmentation des prix des services de santé. Mon travail contribue à alimenter ce débat en identifiant et en estimant les effets de substitution et de revenu résultant des changements des prix relatifs des services de santé. En second lieu, j'analyse comment l'expérience affecte la productivité des médecins. Cela a une importante implication sur le recrutement des médecins afin de satisfaire la demande croissante due à une population vieillissante, en particulier lorsque les médecins les plus expérimentés (les plus productifs) vont à la retraite. Dans le premier essai, j'ai estimé la fonction de revenu conditionnellement aux heures travaillées, en utilisant la méthode des variables instrumentales afin de contrôler pour une éventuelle endogeneité des heures travaillées. Comme instruments j’ai utilisé les variables indicatrices des âges des médecins, le taux marginal de taxation, le rendement sur le marché boursier, le carré et le cube de ce rendement. Je montre que cela donne la borne inférieure de l'élasticité-prix direct, permettant ainsi de tester si les médecins réagissent aux incitatifs monétaires. Les résultats montrent que les bornes inférieures des élasticités-prix de l'offre de services sont significativement positives, suggérant que les médecins répondent aux incitatifs. Un changement des prix relatifs conduit les médecins à allouer plus d'heures de travail au service dont le prix a augmenté. Dans le deuxième essai, j'estime le modèle en entier, de façon inconditionnelle aux heures travaillées, en analysant les variations des heures travaillées par les médecins, le volume des services offerts et le revenu des médecins. Pour ce faire, j'ai utilisé l'estimateur de la méthode des moments simulés. Les résultats montrent que les élasticités-prix direct de substitution sont élevées et significativement positives, représentant une tendance des médecins à accroitre le volume du service dont le prix a connu la plus forte augmentation. Les élasticitésprix croisées de substitution sont également élevées mais négatives. Par ailleurs, il existe un effet de revenu associé à l'augmentation des tarifs. J'ai utilisé les paramètres estimés du modèle structurel pour simuler une hausse générale de prix des services de 32%. Les résultats montrent que les médecins devraient réduire le nombre total d'heures travaillées (élasticité moyenne de -0,02) ainsi que les heures cliniques travaillées (élasticité moyenne de -0.07). Ils devraient aussi réduire le volume de services offerts (élasticité moyenne de -0.05). Troisièmement, j'ai exploité le lien naturel existant entre le revenu d'un médecin payé à l'acte et sa productivité afin d'établir le profil de productivité des médecins. Pour ce faire, j'ai modifié la spécification du modèle pour prendre en compte la relation entre la productivité d'un médecin et son expérience. J'estime l'équation de revenu en utilisant des données de panel asymétrique et en corrigeant le caractère non-aléatoire des observations manquantes à l'aide d'un modèle de sélection. Les résultats suggèrent que le profil de productivité est une fonction croissante et concave de l'expérience. Par ailleurs, ce profil est robuste à l'utilisation de l'expérience effective (la quantité de service produit) comme variable de contrôle et aussi à la suppression d'hypothèse paramétrique. De plus, si l'expérience du médecin augmente d'une année, il augmente la production de services de 1003 dollar CAN. J'ai utilisé les paramètres estimés du modèle pour calculer le ratio de remplacement : le nombre de médecins inexpérimentés qu'il faut pour remplacer un médecin expérimenté. Ce ratio de remplacement est de 1,2.
My thesis considers health-care policies that are designed to affect the supply of health services. Waiting times for health care are a major health policy concern in many industrialized countries. In Quebec, the median time between a referral from a general practitioner and an appointment with specialist was 7.3 weeks in 2012, compared to 2.9 weeks in 1993, despite increases in number of physicians over the same period. For policy makers contemplating such outcomes, it is of particular importance to understand the structure of physician labour supply and how it affects the supply of health services. I consider two main policies in this respect. First, I estimate how physicians react to monetary incentives and I use my estimates to consider how compensation policy can be used to determine the short-term supply of services. Second, I consider how physician productivity is affected by experience, through learning-by-doing, and I use my estimates to determine how many inexperienced physicians must be hired to replace a retiring experienced physician in order to keep the supply of services constant. My dissertation develops and applies economic and statistical methods to measure the reaction of physicians to monetary incentives and to estimate their productivity profiles (measuring how productivity varies with experience throughout a physician's career) using survey and administrative panel data on Quebec physicians. Our data contain information on the labour supply of each physician, the different types of services they produce and their prices. These data cover a period during which the Quebec government changed the relative prices of medical acts. I use a model-based approach to develop and estimate a structural model of physician behaviour with multitasking. In my model, physicians take the prices of different services as given and choose the number of hours they wish to work as well as how those hours are distributed across different services. The model generates an earnings equation that depends on the total hours worked and a price index that gives the marginal return to hours when hours are optimally distributed across services. The price index depends on the prices of services and technology parameters that determine how physicians react to changes in relative prices. I apply the model to panel data on payments to Quebec physicians matched to time-use data on the same physicians. I use the model to investigate two dimensions of the supply of health services. First, I look at the use of monetary incentives to induce physicians to alter their supply of different services. While previous studies have often sought to compare physician behaviour across different compensation systems, relatively little is known about how physicians respond to fee changes. Recent debates in Canadian health policy circles have focussed on the importance of income effects in determining the response of physicians to fee increases. My work contributes to this debate by identifying and estimating the substitution and income effects resulting from changes in the relative fees paid for services. Second, I look at how experience affects physician productivity. This has important implications for the hiring of physicians to meet increased demand from an ageing population, particularly when experienced physicians are retiring. First, I estimate the earnings function conditional on hours worked, using instrumental variables to control for the potential endogeneity of hours worked. As instruments, I use dummies of age, marginal tax rate, returns on market investments, its squared and cubed. I show that this provides a lower bound to the own-price elasticity of any particular service. This allows me to test if physicians respond to monetary incentives. I find that the lower bounds of own-price elasticities of services are positive and statistically significant, suggesting that physicians do respond to monetary incentives. A relative change in prices leads physicians to supply more of the services whose prices have risen. Second, I estimate the full model by explaining the variation in hours worked by physicians, the volume of services supplied, and individual earnings. I do so using a Simulated Method of Moment estimator. The results show that the own-price elasticities for services are large and positive, implying that the volume-increasing response of services to their own-price is strong. Cross-price elasticities are also large but negative. Furthermore, there is an income effect associated with fee increases. I use the structural model estimates to simulate the total effect of a recently observed price increase that was offered to physicians in Quebec, increasing the prices of all services by 32%. The results show that physicians would reduce their total hours worked (average elasticity of -0.02) and clinical hours worked (average elasticity of -0.07). They would also reduce the volume of services provided (average elasticity of -0.05). Third, I exploit the link between fee-for-service physicians'earnings and their productivity to estimate physician productivity profiles. To do so, I modify the specification of the modelto take into account the relationship between a physician's productivity and his/her experience. I estimate the earnings equation using an unbalanced panel dataset, correcting for non-randomly missing observations by estimating a selection model. The results suggest that productivity profiles are increasing concave functions of experience. Furthermore, the shape of the profile is robust to parametric assumptions. A one-year increase in experience increases the production of services by approximately 1,003 CAN dollars. I use the model estimates to calculate the replacement ratio: the number of inexperienced physicians needed

Introduction : La détermination du délai postmortem dans les cas de découvertes de restes squelettisés est un élément clé de l’enquête judiciaire. Pour autant, face à la découverte de restes osseux, peu de méthodes sont applicables pour une estimation précise de ce délai. Cette étude taphonomique souhaitait s’inscrire dans une temporalité rejoignant les impératifs judiciaires appliqués en médecine légale. Ainsi, l’hypothèse principale de ce travail était constituée par une dégradation organique précoce de l’os en période postmortem, notamment sous la forme d’une dégradation collagénique. Celle ci a donc fait l’objet d’une évaluation prospective.Matériels et Méthodes : 6 dons de corps humains, sans pathologie osseuse connue ont été inclus et pour chaque sujet, le choix des os étudiés s’est orienté vers les côtes. Ces os ont été inclus dans un environnement de diagénèse et étudiés sur 2 ans. Une analyse macroscopique de perte de poids de l’os a été réalisée, et complétée par deux méthodes : l’une moléculaire (microspectrométrie Raman) et l’autre morphologique (histologie).Résultats : Ce travail, a permis de mettre en évidence certaines caractéristiques de l’altération temporelle des différentes phases osseuses via : une dessiccation mise en évidence par une perte de poids osseuse ; une diagénèse des fractions organiques et minérales. Ainsi, l’étude des paramètres physico-chimiques en microspectrométrie Raman a montré une tendance temporelle à la diminution des rapports phase minérale/phase organique ; la diminution de la carbonatation minérale ; l’augmentation de la cristallinité. L’analyse statistique multivariée des spectres Raman a permis : de distinguer des groupes temporels en les discriminant via leurs contributions organiques ; de construire l’ébauche d’un modèle statistique d’utilisation pratique. L’étude microscopique des prélèvements a montré l’absence de toute attaque microbienne en période postmortem précoce, mais un mécanisme d’altération organique collagénique de type hydrolyse chimique.Discussion : Notre travail, a permis d’identifier 3 paramètres fondamentaux du vieillissement osseux qui doivent être connus du praticien qualifié en anthropologie médico-légale, et cela même sur une période d’étude de 2 ans « courte » à l’échelle de l’anthropologie :- L’environnement influence fortement la diagénèse osseuse et doit être aussi bien étudié que l’os en lui même. En effet, l’étude de la perte de poids de l’os, a montré une altération de composition osseuse très précoce avec phénomène de dessiccation osseuse, comparable à la déshydratation globale du corps en période postmortem ;- La diagénèse osseuse est un phénomène global dans lequel les différentes altérations de phases minérales et organiques sont interdépendantes et peuvent être appréciées par la microspectrométrie Raman, qui outre son apport dans l’analyse de la dégradation chimique de l’os, permet par les outils statistiques qui y sont associés, d’identifier des classes temporelles de diagénèse. Ces classes, qui devront faire l’objet d’études supplémentaires, pourraient à terme être une aide pratique et servir de référence dans la datation précise d’un os ;- L’altération organique de l’os peut s’opérer selon des modes de dégradations chimiques ou bactériens en fonction de l’environnement et du délai postmortem. L’histologie peut permettre de faire ce distinguo. Sur ce délai d’étude, la dégradation collagénique de type chimique par hydrolyse est prédominante.Conclusion : Ces paramètres forment une unité structurelle indissociable qui est connue de longue date en anthropologie archéologique, et qui est parfaitement transposable en pratique médico-légale si des méthodologies adaptées sont développées. Les voies de recherche sur cette thématique ont un rôle essentiel à jouer pour que la médecine légale puisse répondre aux légitimes demandes exprimées par les victimes et leurs ayants-droits auprès de la justice
Introduction: Determining the postmortem interval in cases of skeletonized remains is a key element of the judicial investigation. However, few methods are applicable for an accurate estimate of this period. This taphonomic study wanted to be performed in a temporality joining the legal requirements applied in forensics. Thus, the main hypothesis of this study was an early organic postmortem bone degradation, particularly a collagen degradation. The latter has been studied prospectively.Materials and Methods: 6 human bodies without known bone disease were included, and for each subject, the ribs were chosen. The bones were included in a diagenetic environment and studied over 2 years. Macroscopic analysis of bone weight loss was performed, and completed by two methods: one molecular (Raman microspectrometry) and the other morphological (histology).Results: This work has highlighted certain features of the temporary bone alteration on its different phases via: a desiccation highlighted by bone mass loss; a diagenesis of organic and mineral phases. Thus, the study of physicochemical parameters by Raman microspectrometry revealed a temporary trend of declining mineral / organic ratios; decreasing carbonation; increasing crystallinity. Multivariate analysis of Raman spectra allowed: to distinguish temporal groups by discriminating via their organic contributions; to design a statistical model of practical use. The microscopic study of the samples revealed no microbial attack in the early postmortem period, but an alteration of collagen by chemical hydrolysis.Discussion: Our study identified three basic parameters of bone diagenesis that must be known to the forensic anthropologist, even over a period of 2 years which is \\\"short\\\" on the scale of anthropology:- The environment strongly influences bone diagenesis and should be studied as well as the bone itself. Indeed, the study of weight loss of the bone, revealed a phenomenon of bone drying, similar to the overall dehydration of the body in the postmortem period;- Bone diagenesis is a global phenomenon in which the various alterations of inorganic and organic phases are interdependent and can be evaluated by Raman microspectrometry. Also its contribution in the analysis of the chemical degradation of the bone, Raman spectroscopy and statistical tools associated with it, allows the identification of diagenesis classes. These classes will require additional studies, eventually to be a practical support in dating a bone;- The organic alteration of the bone may be due to chemical or bacterial degradation, according to the environment and the postmortem period. Histology can make this distinction. On this period of study, the collagen degradation by chemical hydrolysis is predominant.Conclusion: These parameters form a structural unit, which is well known in archaeological anthropology, and is absolutely transposable in forensic practice if appropriate methodologies are developed. Research on this topic has an essential role as forensics can respond to legitimate requests from victims and their relatives towards justice

Les Etudes Probabilistes de Sûreté (EPS) de niveau 2 en centrale nucléaire visent à identifier les séquences d’événements pouvant correspondre à la propagation d’un accident d’un endommagement du cœur jusqu’à une perte potentielle de l’intégrité de l’enceinte, et à estimer la fréquence d’apparition des différents scénarios possibles.

Ces accidents sévères dépendent non seulement de défaillances matérielles ou d’erreurs humaines, mais également de l’occurrence de phénomènes physiques, tels que des explosions vapeur ou hydrogène. La prise en compte de tels phénomènes dans le cadre booléen des arbres d’événements s’avère difficile, et les méthodologies dynamiques de réalisation des EPS sont censées fournir une manière plus cohérente d’intégrer l’évolution du processus physique dans les changements de configuration discrète de la centrale au long d’un transitoire accidentel.

Cette thèse décrit l’application d’une des plus récentes approches dynamiques des EPS – la Théorie de la Dynamique Probabiliste basée sur les Stimuli (SDTPD) – à différents modèles de déflagration d'hydrogène ainsi que les développements qui ont permis cette applications et les diverses améliorations et techniques qui ont été mises en oeuvre.

Level-2 Probabilistic Safety Analyses (PSA) of nuclear power plants aims to identify the possible sequences of events corresponding to an accident propagation from a core damage to a potential loss of integrity of the containment, and to assess the frequency of occurrence of the different scenarios.

These so-called severe accidents depend not only on hardware failures and human errors, but also on the occurrence of physical phenomena such as e.g. steam or hydrogen explosions. Handling these phenomena in the classical Boolean framework of event trees is not convenient, and dynamic methodologies to perform PSA studies are expected to provide a more consistent way of integrating the physical process evolution with the discrete changes of plant configuration along an accidental transient.

This PhD Thesis presents the application of one of the most recently proposed dynamic PSA methodologies, i.e. the Stimulus-Driven Theory of Probabilistic Dynamics (SDTPD), to several models of hydrogen explosion in the containment of a plant, as well as the developed methods and improvements.

Doctorat en Sciences de l'ingénieur
info:eu-repo/semantics/nonPublished

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.

La nation s’est affirmée à partir de la fin du 18e siècle comme l’un des grands paramètres de la modernité. Sa remise en cause, tout spécialement dans les dernières décennies du siècle dernier, est à la fois partie prenante et symptomatique de l’actuel phénomène d’effritement des identités collectives. Le Québec n’échappe pas à ce courant de fond, comme en témoigne l’œuvre du vidéaste et cinéaste Robert Morin, qui propose une galerie de personnages en manque d’attaches et souvent réduits à leur propre subjectivité. Dans un contexte de questionnement généralisé des concepts de nation et de collectivité, ces individualités se sentent isolées et tentent désespérément de réactualiser les liens qui les unissent à leurs semblables, mais sans grand succès. La communauté revêt ainsi une dimension nostalgique, parcourant l’œuvre de Morin dans son entièreté et se manifestant de différentes manières, tant à l’écran qu’à travers son approche du médium qui reste grandement tributaire des pratiques filmiques et vidéographiques des années ’60 et ’70. Écartelé entre la prise de conscience de son isolement et son désir d’appartenir à une entité collective, qu’elle soit nationale ou autre, le sujet délié que l’on retrouve chez Morin, comme cette thèse tente de le démontrer, subit ce phénomène de déliaison et lutte simultanément pour l’enrayer.
Since the end of the 18th century, the nation has asserted itself as one of the cornerstone institution of modernity. Its questioning, especially in the later decades of the last century, is at the same time symptomatic and partly responsible for the present erosion of the sense of collective identity. In Quebec, this phenomenon is also discernable, as the works of the filmmaker Robert Morin seem to suggest, with their cast of solitary characters frequently reduced to their own subjectivity. In this context, isolated individuals are trying with great urgency to revive the ties that bind them with their fellow men and women, but without much success. Thereby, in different ways, the concept of community appears in a nostalgic light, on the screen as much as in Morin’s ways of dealing with the medium, his practice being very influenced by those of the sixties and the seventies. As this thesis tries to suggest, the unbind subject which is represented in Morin’s works, torn between his awareness of aloneness and his desire to be part of a social community (whether national or not), experience this ongoing process of social erosion, while simultaneously trying to stop it.

Le facteur le plus important de pronostic de l'asthme professionnel (AP) est la durée des symptômes avant le retrait de lʼexposition à lʼagent causant lʼAP. La qualité de vie réduite, la détresse psychologique et les maladies psychiatriques sont des conditions souvent associées à l'AP. Notre objectif était d'identifier les facteurs, incluant le statut socioéconomique, qui ont une influence sur lʼintervalle de temps nécessaire pour présenter une requête à une agence médicolégale à la suite de lʼapparition de symptômes dʼasthme et de confirmer qu'un tel délai est associé à un moins bon pronostic respiratoire et à des coûts directs plus élevés. En outre, nous avons examiné la relation entre les variables cliniques et socio-économiques dʼune part et leur influence sur les facteurs psychologiques et économiques dʼautre part chez des travailleurs atteints d'AP. Ensuite, nous avons voulu évaluer si les individus souffrant de détresse psychologique (DP) et de morbidité psychiatrique pourraient être identifiés en utilisant un instrument mesurant la qualité de vie (QV). Lʼétude a été effectuée auprès dʼindividus ayant déposé des demandes d'indemnisation pourʼAP auprès du Commission de la sécurité et de la santé du travail du Québec (CSST). Les données ont été recueillies au moment de la réévaluation, soit environ deux ans et demi après le diagnostic. Outre la collecte des marqueurs cliniques de l'asthme, les individus ont été soumis à une évaluation générale de leur histoire sociodémographique et médicale, à une brève entrevue psychiatrique (évaluation des soins primaires des troubles mentaux, PRIME-MD) et à un ensemble de questionnaires, incluant le Questionnaire sur la qualité de vie - AQLQ(S), le Questionnaire respiratoire de St. George (SGRQ) et le Psychiatric Symptom Index (PSI).Soixante personnes ont été incluses dans l'étude. Etre plus âgé, avoir un revenu supérieur à 30 000$ CA etêtre atteint dʼAP dû à un allergène de haut poids moléculaire ont une association positive avec le nombre dʼannées dʼexposition avec symptômes avant le retrait. Au cours de la période de suivi, le nombre dʼannées dʼexposition avec symptômes était plus grand chez les individus ayant une hyperréactivité bronchique persistante. Par ailleurs, la présence de symptômes au poste de travail pendant moins d'un an est associée à une réduction des coûts directs. Les paramètres de QV et de DP avaient des corrélations modérées avec les marqueurs cliniques de lʼAP. Les plus fortes associations avec ces variables ont pu être observées dans les cas de la sévérité de l'asthme, des statuts dʼemploi et matrimonial, du revenu et de la durée de la période de travail avec l'employeur. Un seuil de 5,1 au niveau de la sous-échelle de la fonction émotionnelle de lʼAQLQ(S) sʼest avéré avoir la meilleure valeur discriminante pour distinguer les individus avec ou sans détresse psychiatrique cliniquement significative selon le PSI. Nous avons été en mesure d'identifier les variables socio-économiques associées à un intervalle plus long dʼexposition professionnelle en présence de symptômes dʼasthme. De même, une plus longue période d'exposition a été associée à un moins bon pronostic de la maladie et à des coûts de compensation plus élevés. Ces résultats s'avèrent utiles pour la surveillance de lʼAP qui pourrait cibler ces sous-groupes d'individus. La QV et la PS sont fréquemment réduites chez les individus atteints d'AP qui perçoivent une compensation. Elles sont associées à des marqueurs cliniques de lʼasthme et à des facteurs socio-économiques. En outre, nos résultats suggèrent que le questionnaire de lʼAQLQ(S) peut être utilisé pour identifier les individus avec un niveau de détresse psychologique potentiellement significatif.
The most important factor in the prognosis of occupational asthma (OA) is the length of exposure with symptoms prior to removal from exposure. Impaired quality of life, psychological distress and psychiatric disease are conditions frequently associated with OA. Our goal was to identify factors, including socio-economic status, that can influence the delay in submitting a claim to a medicolegal agency after the onset of asthmatic symptoms, and to confirm that such a delay is associated with a worse respiratory prognosis and higher direct costs. Further, we examined the association between clinical and socio-economic variables and their influence on psychological and cost outcomes in individuals with OA. Next, we wanted to evaluate whether individuals with clinically significant psychological distress (PD) and psychiatric morbidity could be identified by using a quality of life (QOL) measurement instrument. This is a study of individuals who filed claims for compensation for occupational asthma from the Workersʼ Compensation Board of Quebec (the CSST). Data were collected at re-evaluation, approximately two and a half years after diagnosis. Besides collecting clinical markers of asthma, individuals underwent a general socio-demographic and medical history evaluation, a brief psychiatric interview (Primary Care Evaluation of Mental Disorders, PRIME-MD) and completed a battery of questionnaires, including the Asthma Quality of Life Questionnaire - AQLQ(S), the St. Georgeʼs Respiratory Questionnaire (SGRQ), and the Psychiatric Symptoms Index (PSI). Sixty individuals were included in the study. Being older, having a revenue of >$30,000 Can. (CAD$) and having OA due to high- molecular- weight agents were all positively associated with the number of years of exposure with symptoms before removal from exposure. Individuals with persistent airway hyperresponsiveness at follow-up had a higher number of years with symptoms. Experiencing symptoms in the workplace for less than one year generated lower direct costs. QOL and PD parameters had moderate correlations with clinical markers of OA. Asthma severity, employment and marital status, income and length of employment with the employer showed the strongest associations with QOL and PD. More impaired QOL was associated with higher direct costs for compensation. A cut-off of 5.1 on the AQLQ(S) emotional function subscale had the best discriminative value to distinguish individuals with or without clinically significant psychological distress according to the PSI. We were able to identify socio-economic variables that were associated with a longer interval during which individuals remained symptomatic in the workplace before being removed from exposure. This longer exposure time was associated with worse disease outcomes and higher compensation costs. These findings could prove to be useful in surveillance programs that could be preferentially targeted for these subgroups of individuals. Impaired QOL and PD are frequent among individuals with OA receiving compensation and are associated with clinical markers of OA and socio-economic factors. Further, our findings suggest that the AQLQ(S) questionnaire could be used to identify individuals with potentially clinically significant levels of psychological distress.

L’objectif de la présente étude est de documenter la fécondité des Indiennes inscrites au Canada en fonction du traité historique d’affiliation. Les traités historiques sont des ententes légales qui lient le gouvernement du Canada et certains membres des Premières Nations et qui décrivent, notamment, les dispositions prévues à leur égard pour compenser la cession de leurs terres. Mêmes si les traités ont principalement une fonction légale, ils regroupent aussi des individus qui partagent des caractéristiques communes sur le plan culturel, linguistique, socioéconomique, territorial et historique. À partir de données extraites du Registre des Indiens, nous avons produit l’indice synthétique de fécondité (ISF) pour chacune des populations affiliées aux traités historiques pour les périodes 1994-1998, 1999-2003 et 2004-2008. Nous voulions savoir si la fécondité des Indiennes inscrites différait en fonction du traité d’affiliation, si on observait des changements dans le temps et si de grandes tendances pouvaient être identifiées selon les régions couvertes par les traités. Des différences importantes sont relevées, particulièrement entre les traités numérotés qui couvrent les Prairies et les traités de l’est du pays. Étant donné l’absence dans le Registre des Indiens, d’informations sur les caractéristiques sociales, culturelles et économiques des populations affiliées aux différents traités, il n’est pas possible d’avancer des explications précises concernant ces écarts. Toutefois, il est possible de proposer une association entre la fécondité du moment et certaines caractéristiques des populations affiliées aux traités historiques et les dimensions géographique et historique des traités.
This research aims to document the fertility of registered Indians in Canada in relation to their affiliation with historic treaties. The historic treaties are legal agreements, between the government of Canada and certain members of the First Nations, which describe lands surrendered and related compensation. Although the treaties have mainly a legal role, they apply to Indigenous peoples sharing similar characteristics along cultural, linguistic, socioeconomic, territorial and historical lines. We used anonymized data extracted from the Indian Register to produce the total fertility rate (TFR) for the population concerned by each historic treaty for the periods 1994-1998, 1999-2003 and 2004-2008. We wanted to know if the fertility of registered Indians differed by treaty memberships, if we observed changes over time and if notable trends could be identified depending on the regions covered by the treaties. Our analyses show that important differences exist, particularly between the numbered treaties, which cover the Prairies provinces, and the treaties populations of Eastern Canada. Since the data collected by the Indian Register do not contain information on social, cultural and economic characteristics of Indigenous peoples that could explain these differences, it is not possible to develop precise explanations of these variations. However, it is possible to propose an association between the fertility rate and the geographical and historic aspects of the treaties populations.