Academic literature on the topic 'Analyse des délais'

L’article analyse les mesures prises par la Gouvernement, dans le cadre des pouvoir spéciaux qui lui ont été accordés par le parlement, en vue de prendre des mesures du lutte contre la propagation du COVID-19, en matière de procédure civile. Plus spécialement, l’auteur passe en revue, de façon circonstanciée et critique, les mesures arrêtées par le ministre de la Justice dans l’arrêté royal n° 2 du 9 avril 2020. À savoir, d’une part, le report de l’échéance des délais pour introduire une action en justice, des délais pour introduire un recours et plus généralement de tous les délais de procédure dont l’expiration pourrait entraîner une déchéance ou toute autre sanction. Et qui, d’autre part, impose que toutes les affaire fixées pendant la période de confinement soient prises en délibéré sans plaidoiries.

Objectif : La méthode dite des trigger tools permet une analyse objective, rapide et fiable des risques portant sur l’examen de dossiers de patients ciblés afin de mettre en évidence des d’événements indésirables (EI) évitables ou porteurs de risques (EPR). L’intérêt de cette méthode n’a jamais été étudié dans le cadre d’un centre de réception et de régulation des appels 15 (CRRA 15). L’objectif était d’évaluer la pertinence de triggers choisis au sein d’un CRRA 15 afin de mettre en place un système de détection d’EI par la méthode des trigger tools. Matériel et méthodes : Au sein du SAMU 31, au CHU de Toulouse, les dossiers de régulation (DR) étaient extraits en cas de déclenchement de triggers prédéfinis : délais de départ SMUR, délais d’arrivée, temps de prise en charge sur place, délais de décision d’envoi d’une équipe SMUR après le premier appel, patients décédés et réorientations des patients dans les 48 heures. Le critère de jugement principal était le pourcentage d’EI évitables et d’EPR, parmi les patients dont le dossier a déclenché un trigger donné, c’est-à-dire la prévalence du trigger. Les critères de jugement secondaires étaient la gravité de chaque EI évitable selon l’AHRQ severity scale et les facteurs favorisant leur survenue. Résultats : Du 9 juillet 2011 au 13 avril 2012, 174 536 DR ont été traités, 4 404 (2,5 %) ont déclenché un trigger (soit 2 882 patients). On retrouvait 203 DR avec un EI, qui concernaient 153 patients ; 73 présentaient un EI évitable, 16 un EPR, 30 un EI non évitable. La prévalence de chaque trigger était de 17,6 % (IC 95 % : 4,8–20,4 %) pour celui « délai de départ », 6,7 % (IC 95 % : 3,7–9,7 %) pour le trigger « réorientation précoce », 6,4 % (IC 95 % : 4,6– 8,2 %) pour celui « délai de décision SMUR », 3,4 % (IC 95 % : 0,1–7,2 %) pour le trigger « temps sur place », 2,9 % (IC 95 % : 0,1–8,5 %) pour celui « délai d’arrivée » et 3 % (IC 95 % : 1,5–4,5 %) pour le trigger « décès ». Conclusion : Les triggers qui semblaient les plus pertinents étaient donc « délai de décision SMUR », « réorientation précoce » et « décès ». La méthode des trigger tools permet une analyse rapide et efficace des DR, essentielle pour réduire le risque et améliorer la qualité de prise en charge des patients.

Contexte. Le nombre d’actes de téléconsultation en médecine générale (TCG) a explosé pendant le confinement Covid-19. Les conditions de prise en charge étaient similaires entre les TCG et les consultations de médecine générale en cabinet (Gs), sans qu’on dispose de données objectives sur leur pertinence. Mé thodes. Cette étude de cohorte rétrospective sur dossiers médicaux a analysé les effets des TCG sur les délais de reconsultation chez le médecin généraliste (MG) par rapport aux Gs. Une analyse en sous-groupes a permis d’analyser l’influence du motif de consultation, du genre et de l’âge sur les délais de reconsultation. Résultats. Sur la période de l’étude, 262 patients ont été inclus en cross-over dans 2 structures de soins regroupant 10 MG. Le délai moyen de reconsultation après TCG (dTCG) était significativement inférieur au délai moyen de reconsultation après Gs (dGs), respectivement 48,27 et 65 jours (p < 0,01). Les analyses en sous-groupes retrouvaient cette tendance spécifiquement pour les consultations pour motifs somatiques aigus, avec dTCG de 47 jours et dGs de 71 jours (p < 0,01), sans différence significative liée au genre. Les dTCG variaient en fonction de l’âge, particulièrement pour les 48-58 ans qui reconsultaient 35 jours plus tôt (p < 0,01) et les 68-78 ans qui, inversement, reconsultaient 21 jours plus tard (p = 0,03) après une TCG. Conclusion. Les patients inclus ont reconsulté plus rapidement après une TCG qu’après une Gs. Cette différence est particulièrement marquée pour les motifs somatiques aigus et pour les quinquagénaires. En revanche, ce délai est allongé chez les septuagénaires. Ceci devrait inciter à limiter les TCG pour motif somatique et à s’interroger sur les bénéfices des TCG chez les septuagénaires.

De janvier 2010 à juin 2012 près de 350 missions d’évacuations médicales par hélicoptère ont été réalisées en Afghanistan, permettant d’évacuer dans les meilleurs délais les blessés et malades. Ces MEDEVAC ont concerné des militaires français (59 % des blessés transportés), mais aussi des afghans, civils (25 %) ou des forces de sécurité (16 %), et ont permis leur évacuation vers les hôpitaux de Kaboul. Il s’agissait de blessés ou de malades nécessitant une évacuation urgente ou immédiate dans 67 % des cas, majoritairement pour un blessé unique (70 % des cas). Bien que le dispositif déployé ne comprenne qu’une seule équipe médicale constituée d’un médecin et un infirmier ainsi qu’un nombre réduit d’équipages d’aéronefs, les délais exigeants fixés par l’OTAN ont été respectés dans plus de 80 % des cas. Les dépassements de délais résultaient d’une situation tactique complexe empêchant le poser de l’hélicoptère dans 50 % des cas. Cette analyse permet d’identifier des mesures susceptibles d’améliorer la performance du BATHELICO dans le domaine de la MEDEVAC de l’avant.

Le gouvernement du Québec a répondu à la décision de la Cour suprême du Canada dans l’affaire Chaoulli en introduisant le mécanisme de la garantie de soins comme solution aux délais d’attente déraisonnables. L’analyse du document Garantir l’accès : un défi d’équité, d’efficience et de qualité, et du projet de loi no 33 qui a suivi, révèle que ce n’est pas un mécanisme qui est proposé mais bien deux mécanismes distincts de garantie d’accès : une garantie publique et une garantie du type public-privé, qui n’ont de commun que les apparences. Le premier mécanisme de la garantie publique est déjà pratiquement fonctionnel dans les secteurs de la cardiologie tertiaire et de la radio-oncologie, même s’il n’en porte pas le nom. En effet, une réforme a été engagée dans ces domaines depuis quelques années et donne à l’heure actuelle des résultats probants. Il s’agirait d’un développement prometteur pour le réseau public de santé du Québec. La proposition québécoise ajoute par ailleurs un autre mécanisme de garantie, que nous avons qualifié du type public-privé, afin de bien le distinguer de la garantie publique. Ce type de garantie pose problème. La filiation conservatrice, son couplage à l’ouverture à l’« assurance privée duplicative » pour les mêmes soins et l’introduction de l’entreprise privée à but lucratif comme délégataire de la prestation de certains soins nous permettent d’anticiper que l’un des principaux effets de la garantie du type public-privé ne serait pas de réduire les délais d’attente dans le réseau public, mais bien d’appuyer, ou de garantir, la création d’un système parallèle de soins privés. Le projet de loi no 33 déposé à la fn de la session parlementaire en juin 2006 confirme cette approche. L’intérêt public des Québécois serait mal servi par un tel virage.

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.

Cet article envisage à la fois la présence et l’absence de références à des comportements relevant du harcèlement sexuel et non du viol dans les documents conservés dans les archives de la common law datant de la fin du Moyen Âge. Il suggère que, si l’étude de ce type d’infraction dans ces sources judiciaires n’est pas facile, des leçons importantes restent à tirer des références éparses qui peuvent y être trouvées, et ce du fait même qu’elles sont peu nombreuses et éparpillées. L’article analyse la façon dont ces actions ont été marginalisées, effacées, fragmentées, que ce soit dans le contexte judiciaire ou dans l’histoire du droit. Enfin, il plaide en faveur d’un regain d’efforts pour explorer les sources disponibles, en gardant l’esprit suffisamment ouvert pour chercher ce type d’infraction dans des plaintes apparemment sans lien avec les délits sexuels.

Les retards de diagnostic du cancer du sein peuvent aggraver la maladie et renforcer les inégalités. Fondé sur des renseignements tirés de la littérature scientifique sur les soins du cancer, de rapports gouvernementaux et d’entretiens avec des experts, ce rapport analyse les capacités et performances du Québec en matière de diagnostic. La première section décrit les types de données sur le cancer du sein recueillies par le Québec et l’impact de la disponibilité de ces données sur la mesure des indicateurs de performance. La deuxième section explique en quoi les facteurs socioéconomiques et le manque de clarté des normes de prise en charge des patientes et patients hors programme de dépistage organisé au Québec entravent le diagnostic. Nous examinons également dans quelle mesure l’absence de soins standardisés et intégrés, ainsi que l’obsolescence du Registre du cancer du Québec contribuent à accroître les délais et les inefficacités. La dernière section du rapport compare les innovations en matière de diagnostic du cancer du sein au Québec à celles de l’Alberta et de l’Ontario, où les délais de diagnostic sont plus courts. Il ressort de cette comparaison que le Québec devrait inclure les personnes à risque élevé dans son programme de dépistage, émettre des recommandations de dépistage personnalisées, moderniser les technologies d’imagerie et de tests génétiques disponibles, ainsi qu’améliorer les méthodes de communication. Nous discutons également des études et initiatives pertinentes pour accroître l’adhésion au dépistage au sein des groupes dont les taux de dépistage sont faibles. Dans l’ensemble, ce document présente des stratégies tangibles pour raccourcir l’intervalle diagnostique du cancer du sein et rationaliser le processus, et dirige le lecteur vers des ressources clés pour des recherches plus approfondies.