Uma série de problemas de filas em sistemas de transportes com picos de tráfego, ou um número finito de elementos no sistema, são usualmente representados pelo modelo de fonte infinita, dadas as dificuldades de utilização do modelo exato de fonte finita. Este trabalho apresenta uma solução alternativa baseada no cálculo de um limitante superior para as probabilidades de equilíbrio do modelo exato de fonte finita, e compara as medidas de desempenho dos sistemas calculadas pelos dois modelos. Mostra-se que para índices de congestionamento menores que um, as diferenças entre estas medidas são tanto menores quanto menor for este índice. A partir destes resultados, compara-se as medidas de desempenho do modelo aproximado proposto com as do modelo de população infinita, para diferentes tamanhos de população e números de servidores. Conclui-se que os modelos conduzem a resultados numéricos muito próximos para uma ampla variação do índice de congestionamento, e que estes resultados são tão melhores quanto maior for o número de servidores no sistema e o número de elementos na população. São também apresentados três estudos de casos comparando os resultados induzidos pelos modelos exato, proposto e usual de fonte infinita, que ilustram a aplicabilidade prática dos resultados deste trabalho em sistemas de transportes. / A set of stochastic queueing problems in transportation systems with traffic peaks, or a finite number of elements in the system, are usually represented by the infinite source model, due to the difficulties of applying the exact finite source model. This study presents an alternative solution based on the upper bound values of the equilibrium probabilities of the exact finite source model, and compares the performance measurements of the two models. It is shown that for congestion factors below one, the smaller the value of the congestion factor, the smaller is the difference between the models. Based on this results the measures of performance of the proposed aproximate model are compared with the results of the usual infinite source model for different population sizes and number of servers. It is concluded that the models lead to very close numerical results for a wide range of congestion factors of the system and that these results are the better the larger is the number of servers and the number of elements in the system. Three case studies ilustrating the pratical applicability of the results of this study to transportation systems are also presented.

Uma série de problemas de filas em sistemas de transportes com picos de tráfego, ou um número finito de elementos no sistema, são usualmente representados pelo modelo de fonte infinita, dadas as dificuldades de utilização do modelo exato de fonte finita. Este trabalho apresenta uma solução alternativa baseada no cálculo de um limitante superior para as probabilidades de equilíbrio do modelo exato de fonte finita, e compara as medidas de desempenho dos sistemas calculadas pelos dois modelos. Mostra-se que para índices de congestionamento menores que um, as diferenças entre estas medidas são tanto menores quanto menor for este índice. A partir destes resultados, compara-se as medidas de desempenho do modelo aproximado proposto com as do modelo de população infinita, para diferentes tamanhos de população e números de servidores. Conclui-se que os modelos conduzem a resultados numéricos muito próximos para uma ampla variação do índice de congestionamento, e que estes resultados são tão melhores quanto maior for o número de servidores no sistema e o número de elementos na população. São também apresentados três estudos de casos comparando os resultados induzidos pelos modelos exato, proposto e usual de fonte infinita, que ilustram a aplicabilidade prática dos resultados deste trabalho em sistemas de transportes. / A set of stochastic queueing problems in transportation systems with traffic peaks, or a finite number of elements in the system, are usually represented by the infinite source model, due to the difficulties of applying the exact finite source model. This study presents an alternative solution based on the upper bound values of the equilibrium probabilities of the exact finite source model, and compares the performance measurements of the two models. It is shown that for congestion factors below one, the smaller the value of the congestion factor, the smaller is the difference between the models. Based on this results the measures of performance of the proposed aproximate model are compared with the results of the usual infinite source model for different population sizes and number of servers. It is concluded that the models lead to very close numerical results for a wide range of congestion factors of the system and that these results are the better the larger is the number of servers and the number of elements in the system. Three case studies ilustrating the pratical applicability of the results of this study to transportation systems are also presented.

La queue de l’aire tegmentale ventrale (tVTA) est le principal contrôle inhibiteur des neurones dopaminergiques du mésencéphale. Cette structure, bien qu’aujourd’hui très étudiée, n’est cependant pas encore référencée dans les atlas stéréotaxiques. Anatomiquement, nous avons pu apporter une définition de référence de la tVTA, à travers son analyse neurochimique, stéréologique, hodologique et génomique. Fonctionnellement, nous avons montré son rôle dans la réponse à des expériences émotionnelles aversives et nous avons testé son influence sur les symptômes moteurs et non-moteurs de la maladie de Parkinson. Nous avons ainsi montré qu’une co-lésion de la tVTA dans un modèle murin de la maladie permet une amélioration des performances motrices, des seuils nociceptifs et des symptômes de type dépressifs. Ce travail a ainsi participé au progrès de nos connaissances sur la tVTA et ouvre de nouvelles pistes d’exploration quant à son implication fonctionnelle. / The tail of the ventral tegmental area (tVTA) is the major brake of the midbrain dopamine neurons. This structure although studied, is not yet referenced in stereotaxic atlases. Anatomically, this work allowed to obtain a reference definition of the tVTA through its neurochemical, stereological, connectivity-based and genomic analyses. Functionally, we studied its role for the response of aversive stimuli and we tested its influence on motor and non-motor symptoms of Parkinson’s disease. We observed that a co-lesion of the tVTA in a rodent model of the disease induce motor, nociceptive and depressive-like symptoms improvements. This work has thus contributed to the progress of our knowledge on the tVTA and opens new explorative track for its functional implication.

Cette thèse s'attache à redéfinir des modèles financiers traditionnels en considérant un cadre d'analyse moins restrictif, s'accordant mieux avec les caractéristiques empiriques des fonds alternatifs. Ce cadre élargi, certes plus réaliste, a néanmoins pour principal effet de complexifier les modèles étudiés ; nous choisissons alors d'employer des procédés de calcul naturel pour les simplifier. Dans le premier chapitre de la thèse, nous répondons à une problématique générale qui concerne l'étape essentielle du traitement des données. Nous proposons ainsi une nouvelle approche de la complétion des valeurs manquantes, autorisant une meilleure prise en compte des dépendances inter-actifs. Nous montrons dans le deuxième chapitre comment intégrer des moments d'ordre supérieur dans les modèles d'allocation. Une technique d'optimisation définie à partir des fonctions dites de pénurie nous permet de résoudre les problèmes d'optimisation dans l'espace non-convexe des quatre premiers moments de la distribution de rendements des portefeuilles optimisés. Le troisième chapitre s'attache à évaluer l'impact des données aberrantes sur les modèles d'allocation d'actifs intégrant les moments d'ordre supérieur. Un réseau de neurones modélisant la volatilité nous permet d'étendre les travaux de Chen et Liu (1993). Nous terminons cette thèse avec le quatrième chapitre en proposant un modèle d'analyse de style défini à partir de cartes de Kohonen. Le lien entre les facteurs de style traditionnels et les neurones de la carte est effectué au moyen d'une analyse conditionnelle. Une projection dynamique des fonds autorise ainsi l'étude de la stabilité des styles des gérants d'actifs.

Dans le contexte actuel d'expansion rapide de l'Internet, la compréhension profonde des propriétés statistiques du trafic réseau est essentielle pour que les fournisseurs d'accès puisse offrir la meilleure "Qualité de Service" possible aux utilisateurs. Une avancée majeure dans cette direction a été la découverte en 1993 de l'auto-similarité du trafic, suivie en 1997 par le modèle ON/OFF qui interprète cette propriété par les tailles de fichiers à queue lourde. Bien qu'ils soient d'un grand intérêt, de tels modèles mathématiques s'appuient nécessairement sur des hypothèses simplificatrices qui peuvent en limiter l'applicabilité en situation réelle, en particulier du fait de la complexité du protocole TCP. Dans cette thèse, nous utilisons une approche hybride, basée sur la combinaison de traces de trafic réelles, d'expériences contrôlées et de modèles théoriques, pour aborder certaines questions ouvertes sur le trafic réseau et la Qualité de Service. Nos expériences utilisent une plate-forme contrôlable à grande échelle et un système performant de capture du trafic. Nous abordons dans un premier temps des questions liées au trafic agrégé : nous étendons les modèles existants de longue mémoire et nous proposons un estimateur du paramètre de queue lourde sous échantillonnage. Nous étudions ensuite empiriquement l'impact de la longue mémoire et des queues lourdes sur la Qualité de Service. Nous nous tournons enfin vers le trafic d'une seule source TCP et montrons, à l'aide d'un principe de grandes déviations, qu'il peut être finement caractérisé par une structure multifractale reliée au mécanisme de contrôle AIMD, et naturellement reproduite par des modèles markoviens.

Cette thèse étudie la modélisation d'événements rares et l'estimation de quantiles extrêmes, à travers différents types de modèles et le choix de ces modèles. La théorie des valeurs extrêmes, et en particulier la méthode des excès (POT, Peaks Over Threshold), permettent une estimation non paramétrique, mais biaisée, des queues de distribution. Nous souhaitons donc utiliser des modèles paramétriques classiques. Cependant, ces modèles étant estimés et sélectionnés par des tests usuels à partir de l'échantillon complet, les résultats sont surtout influencés par les valeurs les plus probables de la variable. Nous proposons deux tests d'adéquation pour la queue de distribution, le test ET (Exponential Tail) et le test GPD (Generalised Pareto Distribution), pour sélectionner, par comparaison avec la méthode POT, les modèles produisant de bonnes estimations de la queue de distribution. Lorsqu'on souhaite reconstituer la loi dont sont issues les observations aussi bien dans la région centrale que dans la région extrême, on applique d'abord à un ensemble de modèles un test usuel (d'adéquation aux valeurs les plus probables), puis un test d'adéquation de la queue de distribution. Si aucune loi n'est acceptée par les deux types de tests, nous proposons une procédure de régularisation bayésienne qui, à partir d'un modèle adapté aux valeurs les plus probables, permet d'améliorer l'adéquation extrême grâce à un avis d'expert sur la queue de distribution. Enfin, si on revient à la méthode POT, il faut en réduire le biais d'estimation, notamment pour l'estimation des quantiles extrêmes. Cette méthode étant fondée sur l'approximation de la loi des excès au-delà d'un seuil par une loi GPD, nous cherchons à mieux en estimer les paramètres. L'inférence bayésienne sur les paramètres de la loi GPD permet de réduire le biais d'estimation des quantiles extrêmes par la méthode POT, en particulier quand on introduit un avis d'expert sur la queue de distribution.

<p>A key part in the development and verification of digital systems is simulation. But hardware simulators are expensive, and software simulation is not fast enough for designs with a large number of gates. As today’s digital zesigns constantly grow in size (number of gates), and that trend shows no signs to end, faster simulators handling millions of gates are needed. </p><p>We investigate how to create a software gate-level simulator able to simulate a high number of gates fast. This involves a trade-off between memory requirement and speed. A compact netlist representation can utilize cache memories more efficient but requires more work to interpret, while high memory requirements can limit the performance to the speed of main memory. </p><p>We have selected the Counting Algorithm to implement the experimental simulator MICA. The main reasons for this choice is the compact way in which gates can be stored, but still be evaluated in a simple and standard way. </p><p>The report describes the issues and solutions encountered and evaluate the resulting simulator. MICA simulates a SPARC architecture processor called Leon. Larger netlists are achieved by simulating several instances of this processor. Simulation of 128 instances is done at a speed of 9 million gates per second using only 3.5MB memory. In MICA this design correspond to 2.5 million gates.</p>

With the advances in video compression and networking techniques, the last ten years have witnessed an explosive growth of video applications over the Internet. However, the service model of the current best-effort network was never engineered to handle video traffic and, as a result, video applications still suffer from varying and unpredictable network conditions, in terms of bandwidth, packet loss and delay. To address these problems, a lot of innovative techniques have been proposed and researched. Among them, scalable video coding is a promising one to cope with the dynamics of the available bandwidth and heterogeneous terminals. This work aims at improving the efficacy of scalable video transport over IP networks. In this work, we first propose an optimal interleaving scheme combined with motion-compensated fine granularity scalability video source coding and unequal loss protection schemes, under an imposed delay constraint. The network is modeled as a packet-loss channel with random delays. The motion compensation prediction, ULP allocation and the depth of the interleaver are jointly optimized based on the network status and the delay constraint. We then proceed to investigate the multiple path transport technique. A unified approach which incorporates adaptive motion compensation prediction, multiple description coding and unequal multiple path allocation, is proposed to improve both the robustness and error resilience property of the video coding and transmission system, while the delivered video quality is improved simultaneously. To analytically investigate the efficacy of error resilient transport schemes for progressively encoded sources, including unequal loss protection, best-effort and FEC transport schemes, we develop evaluation and optimization approaches for these transport schemes. In this part of the work, the network is modeled as an M/D/1/K queue, and then a comprehensive queueing analysis is provided. Armed with these results, the efficacy of these transport schemes for progressively encoded sources are investigated and compared.

Active queue management (AQM) techniques for congestion control in Internet Protocol (IP) networks have been designed using both heuristic and analytical methods. But so far, there has been found no AQM scheme designed in the realm of stochastic optimization. Of the many options available in this arena, the gradient-based stochastic approximation method using Infintesimal Perturbation Analysis (IPA) gradient estimators within the Stochastic Fluid Model (SFM) framework is very promising. The research outlined in this thesis provides the theoretical basis and foundational layer for the development of IPA-based AQM schemes. Algorithms for computing the IPA gradient estimators for loss volume and queue workload were derived for the following cases: a single-stage queue with instantaneous, additive loss-feedback, a single-stage queue with instantaneous, additive loss-feedback and an unresponsive competing flow, a single-stage queue with delayed, additive loss-feedback, and a multi-stage tandem network of $m$ queues with instantaneous, additive loss-feedback. For all cases, the IPA gradient estimators were derived with the control parameter, $ heta$, being the buffer-limits of the queue(s). For the single-stage case and the multi-stage case with instantaneous, additive loss-feedback, the IPA gradient estimators for when the control parameter, $ heta$, is the loss-feedback constant, were also derived. Sensitivity analyses and optimizations were performed with control parameter, $ heta$, being the buffer-limits of the queue(s), as well as the loss-feedback constant.

This thesis is focused on airport departure operations; its objective is to assign a value to surface surveillance information within a collaborative framework. The research develops a cooperative concept that improves the control of departure operations at busy airports and evaluates its merit using a classical and widely accepted airport departure model. The research then assumes departure operations are collaboratively controlled and develops a stochastic model of taxi operations on the airport surface. Finally, this study investigates the effect of feeding back different levels of surface surveillance information to the departure control process. More specifically, it examines the environmental and operational impact of aircraft surface location information on the taxi clearance process. Benefits are evaluated by measuring and comparing engine emissions for given runway utilization rates.