Spelling suggestions: "subject:"discrete"" "subject:"discreta""
91 |
Étude de la diversité des populations historiques de Montréal et de Québec par l’analyse de la morphologie dentaire : le cimetière catholique de la première église Notre-Dame (1691-1796) et le cimetière protestant Saint-Matthew de Québec (1771-1860)B-Hardy, Marie-Hélène 12 1900 (has links)
Deux principaux événements colonisateurs ont apporté de nouvelles vagues de migration au Québec : La fondation de la Nouvelle France, de 1608 à 1763 et la conquête du territoire par les Britanniques après 1763. Afin d’étudier les différences et similarités entre ces dernières et les interactions possibles entre les migrants et les communautés locales déjà présentes sur le territoire, la morphologie dentaire, un outil permettant de proposer des interprétations d’ordre paléogénétique sur l’origine des populations passées, a été analysée pour les deux groupes suivants: 37 individus provenant du cimetière de la première église Notre-Dame à Montréal (1691-1796); et 61 individus provenant du cimetière de Saint-Matthew à Québec (1771-1860). À cette fin, le protocole de l’Arizona State University -Dental Anthropology System a été utilisé pour la collecte de données. La mesure moyenne de divergence et une analyse d’hétérogénéité des populations (Matrice R et Fst modifiés pour les données non-métriques) ont été ensuite calculées. Les valeurs de biodistance confirment que la majorité des individus observés pour les deux collections sont d’ascendance européenne. L’analyse intra-populationnelle a aussi permis d’identifier certains individus, probablement métis, qui s’approchent de la variation amérindienne. Il semble aussi, selon la matrice R et les valeurs Fst calculées pour les deux échantillons, que Notre-Dame est légèrement plus hétérogène et semble avoir incorporé une composante amérindienne un peu plus importante que Saint-Matthew, probablement par métissage, faisant suite, par exemple, à l’incorporation d’individus Amérindiens convertis dans les premières sociétés coloniales. Bien que nos résultats soient très préliminaires, la relation qu’ont entretenue ces deux populations d’origine européenne avec les populations locales, semble avoir varié au cours du temps, en fonction du contexte politique et économique des différentes vagues de migration européenne. Le degré de métissage plus élevé à Montréal au XVIIIe siècle qu’à Québec au XIXe siècle pourrait ainsi refléter un besoin plus pressant de la part des premiers migrants européens de se faire des alliés amérindiens en vue de la réussite du projet colonisateur. / Two colonisation events occurred in Quebec, from 1608 to 1763 (New France), and after 1763 (British Regime), providing new waves of immigrants. In order to examine differences and similarities between the latter waves and the possible interactions between the immigrants and the local communities already living on the territory, dental morphology, which allows us to propose paleogenetic interpretations on the ancestry of past populations, has been analysed for the following two groups: 37 individuals from the cemetery of the Première Église Notre-Dame in Montreal (1691-1796); and 61 individuals from the cemetery of Saint-Matthew in Quebec City (1771-1860). We used the Arizona State University’s -Dental Anthropology System protocol for the observation of dental traits. Mean measures of divergence and population heterogeneity analysis (R Matrix and Fst modified for non-metric data) were calculated. Biodistance values confirm that the majority of the analysed individuals from both collections were of European ancestry. However, intra-population analysis was able to identify certain individuals who were closer to Native American variation. Furthermore, results of R matrix and Fst tests showed that Notre-Dame sample was slightly more heterogeneous. It seemed to have incorporated more of a Native American component than Saint-Matthew, probably through admixture, which was a consequence of the assimilation of “Christianised” Native Americans within the early colonial society. Therefore, although our results are preliminary, interactions between Europeans and local groups seem to have changed through time as a result of colonisation. The higher levels of admixture in the 18th century Montreal (in comparison to the 19th century Quebec City) might reflect a rather urgent need from the first European migrants to set up alliances with Native Americans for the long-term viability of the colony.
|
92 |
Inférence statistique à travers les échelles / Statistical inference across time scalesDuval, Céline 07 December 2012 (has links)
Cette thèse porte sur le problème d'estimation à travers les échelles pour un processus stochastique. Nous étudions comment le choix du pas d'échantillonnage impacte les procédures statistiques. Nous nous intéressons à l'estimation de processus à sauts à partir de l'observation d'une trajectoire discrétisée sur [0, T]. Lorsque la longueur de l'intervalle d'observation T va à l'infini, le pas d'échantillonnage tend soit vers 0 (échelle microscopique), vers une constante positive (échelle intermédiaire) ou encore vers l'infini (échelle macroscopique). Dans chacun de ces régimes nous supposons que le nombre d'observations tend vers l'infini. Dans un premier temps le cas particulier d'un processus de Poisson composé d'intensité inconnue avec des sauts symétriques {-1,1} est étudié. Le Chapitre 2 illustre la notion d'estimation statistique dans les trois échelles définies ci-dessus. Dans ce modèle, on s'intéresse aux propriétés des expériences statistiques. On montre la propriété de Normalité Asymptotique Locale dans les trois échelles microscopiques, intermédiaires et macroscopiques. L'information de Fisher est alors connue pour chacun de ces régimes. Ensuite nous analysons comment se comporte une procédure d'estimation de l'intensité qui est efficace (de variance minimale) à une échelle donnée lorsqu'on l'applique à des observations venant d'une échelle différente. On regarde l'estimateur de la variation quadratique empirique, qui est efficace dans le régime macroscopique, et on l'utilise sur des données provenant des régimes intermédiaire ou microscopique. Cet estimateur reste efficace dans les échelles microscopiques, mais montre une perte substantielle d'information aux échelles intermédiaires. Une procédure unifiée d'estimation est proposée, elle est efficace dans tous les régimes. Les Chapitres 3 et 4 étudient l'estimation non paramétrique de la densité de saut d'un processus renouvellement composé dans les régimes microscopiques, lorsque le pas d'échantillonnage tend vers 0. Un estimateur de cette densité utilisant des méthodes d'ondelettes est construit. Il est adaptatif et minimax pour des pas d'échantillonnage qui décroissent en T^{-alpha}, pour alpha>0. La procédure d'estimation repose sur l'inversion de l'opérateur de composition donnant la loi des incréments comme une transformation non linéaire de la loi des sauts que l'on cherche à estimer. L'opérateur inverse est explicite dans le cas du processus de Poisson composé (Chapitre 3), mais n'a pas d'expression analytique pour les processus de renouvellement composés (Chapitre 4). Dans ce dernier cas, il est approché via une technique de point fixe. Le Chapitre 5 étudie le problème de perte d'identifiabilité dans les régimes macroscopiques. Si un processus à sauts est observé avec un pas d'échantillonnage grand, certaines approximations limites, telles que l'approximation gaussienne, deviennent valides. Ceci peut entraîner une perte d'identifiabilité de la loi ayant généré le processus, dès lors que sa structure est plus complexe que celle étudiée dans le Chapitre 2. Dans un premier temps un modèle jouet à deux paramètres est considéré. Deux régimes différents émergent de l'étude : un régime où le paramètre n'est plus identifiable et un où il reste identifiable mais où les estimateurs optimaux convergent avec des vitesses plus lentes que les vitesses paramétriques habituelles. De l'étude de cas particulier, nous dérivons des bornes inférieures montrant qu'il n'existe pas d'estimateur convergent pour les processus de Lévy de saut pur ou pour les processus de renouvellement composés dans les régimes macroscopiques tels que le pas d'échantillonnage croît plus vite que racine de T. Enfin nous identifions des régimes macroscopiques où les incréments d'un processus de Poisson composé ne sont pas distinguables de variables aléatoires gaussiennes, et des régimes où il n'existe pas d'estimateur convergent pour les processus de Poisson composés dépendant de trop de paramètres / This thesis studies the problem of statistical inference across time scales for a stochastic process. More particularly we study how the choice of the sampling parameter affects statistical procedures. We narrow down to the inference of jump processes from the discrete observation of one trajectory over [0,T]. As the length of the observation interval T tends to infinity, the sampling rate either goes to 0 (microscopic scale) or to some positive constant (intermediate scale) or grows to infinity (macroscopic scale). We set in a case where there are infinitely many observations. First we specialise in a toy model: a compound Poisson process of unknown intensity with symmetric Bernoulli jumps. Chapter 2 highlights the concept of statistical estimation in the three regimes defined above and the phenomena at stake. We study the properties of the statistical experiments in each regime, we show that the Local Asymptotic Normality property holds in every regimes (microscopic, intermediate and macroscopic). We also provide the formula of the associated Fisher information in each regime. Then we study how a statistical procedure which is optimal (of minimal variance) at a given scale is affected when we use it on data coming from another scale. We focus on the empirical quadratic variation estimator, it is an optimal procedure at macroscopic scales. We apply it on data coming from intermediate and microscopic regimes. Although the estimator remains efficient at microscopic scales, it shows a substantial loss of information when used on data coming from an intermediate regime. That loss can be explicitly related to the sampling rate. We provide an unified procedure, efficient in all regimes. Chapters 3 and 4 focus on microscopic regimes, when the sampling rate decreases to 0. The nonparametric estimation of the jump density of a renewal reward process is studied. We propose an adaptive wavelet threshold density estimator. It achieves minimax rates of convergence for sampling rates that vanish polynomially with T, namely in T^{-alpha} for alpha>0. The estimation procedure is based on the inversion of the compounding operator in the same spirit as Buchmann and Grübel (2003), which specialiase in the study of discrete compound laws. The inverse operator is explicit in the case of a compound Poisson process (see Chapter 3), but has no closed form expression for renewal reward processes (see Chapter 4). In that latter case the inverse operator is approached with a fixed point technique. Finally Chapter 5 studies at which rate identifiability is lost in macroscopic regimes. Indeed when a jump process is observed at an arbitrarily large sampling rate, limit approximations, like Gaussian approximations, become valid and the specificities of the jumps may be lost, as long as the structure of the process is more complex than the one introduced in Chapter 2. First we study a toy model depending on a 2-dimensional parameter. We distinguish two different regimes: fast (macroscopic) regimes where all information on the parameter is lost and slow regimes where the parameter remains identifiable but where optimal estimators converge with slower rates than the expected usual parametric ones. From this toy model lower bounds are derived, they ensure that consistent estimation of Lévy processes or renewal reward processes is not possible when the sampling rate grows faster than the square root of T. Finally we identify regimes where an experiment consisting in increments of a compound Poisson process is asymptotically equivalent to an experiment consisting in Gaussian random variables. We also give regimes where there is no consistent estimator for compound Poisson processes depending on too many parameters
|
93 |
Test and diagnosis of discrete event systems using Petri nets / Test et diagnostic des systèmes à événements discrets par les réseaux de PetriPocci, Marco 23 September 2013 (has links)
Le test d’identification d’état d’un système à événement discret (SED) a pour but d’en identifier l’état final, lorsque son état initial est inconnu. Une solution classique à ce problème, en supposant que le SED n’ait pas de sorties observables, consiste à déterminer une séquences de synchronisation, c.à-d., une séquence d’événements d’entrée qui conduit le SED sur un état connu. Ce problème a été résolu dans les années 60’ à l’aide des automates. L’objectif principal de cette thèse est d’utiliser les réseaux de Petri (RdP) pour obtenir une résolution plus optimal de ce problème et pour une plus large classe de systèmes.Initialement, nous montrons que la méthode classique peut être aisément étendue aux RdP synchronisés. Pour cette classe de réseaux non-autonomes, toute transition est associée à un événement d’entrée.L’approche proposée est générale, dans la mesure où elle s’applique à des RdP bornés arbitraires. Cependant, elle engendre le problème d’explosion combinatoire du nombre d’états. Pour obtenir des meilleures solutions, nous considérons une classe spéciale de RdP : les graphes d’état (GdE). Pour ces réseaux, nous considérons d’abord les GdE fortement connexes et proposons des approches pour la construction de SS, qui exploitent les propriétés structurelles du réseau en évitant ainsi une énumération exhaustive de l’espace d’état. Ces résultats s’étendent aux GdE non fortement connexes et à tout RdP synchronisé composé de GdE. Enfin, nous considérons la classe des RdP non bornés et proposons des séquences qui synchronisent le marquage des places non bornées. Une boîte à outils fournit toutes les approches décrites et est appliquée à des différents bancs d’essai. / State-identification experiments are designed to identify the final state of a discrete event system (DES) when its initial state is unknown. A classical solution, assuming the DES has no observable outputs, consists in determining a synchronizing sequence (SS), i.e., a sequence of input events that drives the system to a known state. This problem was essentially solved in the 60’ using automata. The main objective of this thesis is to use Petri nets (PNs) for solving the state-identification problem more efficiently and for a wider class of systems.We start showing that the classical SS construction method based on automata can be easily applied to synchronized PNs, a class of non-autonomous nets where each transition is associated with an input event. The proposed approach is fairly general and it works for arbitrary bounded nets with a complexity that is polynomial with the size of the state space. However, it incurs in the state-space explosion problem.Looking for more efficient solutions, we begin by considering a subclass of PNs called state machines (SMs). We first consider strongly connected SMs and propose a framework for SS construction that exploits structural criteria, not requiring an exhaustive enumeration of the state space of the net. Results are further extended to larger classes of nets, namely non strongly connected SMs and nets containing SM subnets. Finally we consider the class of unbounded nets that describe infinite state systems: even in this case we are able to compute sequences to synchronize the marking of bounded places. A Matlab toolbox implementing all approaches previously described has been designed and applied to a series of benchmarks.
|
94 |
Estimation des systèmes semi-markoviens à temps discret avec applications / Estimation of semi-Markov systems in discrete time with applicationsGeorgiadis, Stylianos 03 December 2013 (has links)
Le présent travail porte sur l’estimation d’un système en temps discret dont l’évolution est décrite par une chaîne semi-markovienne (CSM) d’espace d’état fini. Nous présentons le principe d’invariance sous forme multidimensionnelle pour le noyau semi-markovien (NSM), ainsi que diverses mesures du processus. Ensuite, nous étudions l’estimation non-paramétrique de la loi stationnaire de la CSM, en considérant deux estimateurs différents, et nous montrons qu’ils ont le même comportement asymptotique. La probabilité de la première entrée est également introduite. Nous proposons un estimateur et nous étudions ses propriétés asymptotiques : la convergence forte et la normalité asymptotique.D’autre part, nous nous concentrons sur l’étude de la fiabilité des systèmes semi-markoviens. Nous définissons la fiabilité sur intervalle d’un système dont la fiabilité et la disponibilité sont des cas particuliers et nous étudions les propriétés asymptotiques d’un estimateur proposé. De plus, nous présentons une comparaison de l’estimation des différentes mesures de fiabilité fondées sur deux estimateurs du NSM, en réalisant une trajectoire unique et des observations multiples indépendantes. Ce travail fournit aussi des résultats dans le cas semi-markovien à temps discret avec espace d’état général. Nous évaluons l’approximation de moyenne et de diffusion des chaînes de renouvellement markovien. Enfin, nous nous sommes aussi intéressés à une autre classe des processus pour laquelle nous obtenons des résultats dans le cadre des files d’attente. Nous étudions l’approximation de moyenne pour le modèle d’Engset en temps continu et nous appliquons ce résultat aux files d’attente avec ré-essais. / The present work concerns the estimation of a discrete-time system whose evolution is governed by a semi-Markov chain (SMC) with finitely many states. We present the invariance principle in a multidimensional form for the semi-Markov kernel (SMK) and some associated measures of the process. Afterwards, we study the nonparametric estimation of the stationary distribution of the SMC, considering two different estimators, and we prove that they hold the same asymptotic behavior. We introduce also the first hitting probability. We propose an estimator and study its asymptotic properties : the strong consistency and the asymptotic normality. On the other hand, we focus on the study of the dependability of semi-Markovsystems. We introduce the interval reliability whose special cases are the reliability and the availability measures and we study the asymptotic properties of a proposed estimator. Moreover, we present a comparison of nonparametric estimation for various reliability measures based on two estimators of the SMK, realizing a unique trajectory and multiple independent observations.Furthermore, this work provides results on the discrete-time semi-Markov case with general state space. We evaluate the average and diffusion approximation of Markov renewal chains. Finally, we are also interested in another class of processes for which we obtain results in the framework of queueing systems. We establish the average approximationfor the Engset model in continuous time and we apply this result to retrial queues.
|
95 |
Amélioration de la disponibilité opérationnelle des systèmes de stockage de l'énergie électrique multicellulaires / Improving the operative dependability of multicell electrical energy storage systemsSavard, Christophe 28 November 2017 (has links)
Les systèmes de stockage de l'énergie électrique de forte capacité sont configurés en systèmes matriciels de cellules élémentaires. Les caractéristiques électriques de ces cellules n'évoluent pas toutes de manière identique, diminuant la disponibilité, à court terme par décharge rapide, à long terme en réduisant la durée de vie. Pour améliorer ces performances, des cellules redondantes et des circuits d'équilibrage sont insérés pour assurer une reconfiguration adéquate. Il devrait être possible d'accroître la disponibilité en reconfigurant les connexions internes. Nous comparons deux solutions classiques : série-parallèle (SP) et parallèle-série (PS) avec une nouvelle permettant de redistribuer le courant dans une batterie : le C-3C. Les performances sont évaluées en terme de fiabilité et de disponibilité. Nous proposons également un algorithme de pilotage adapté. La fiabilité est améliorable par redondance. Les cellules supplémentaires seront utilisées pour remplacer des cellules affaiblies. Le système peut également être conçu pour tolérer la défection d'une partie des cellules. Nous démontrons par des diagrammes de fiabilité et des chaînes de Markov que les architectures C-3C et PS présentent le même niveau de fiabilité, supérieur à celui d'une architecture SP. La durabilité des structures peut être améliorée en pilotant la mise en service des ressources disponibles selon différentes stratégies déclinées dans un algorithme de choix fondé sur les États de charge ou les États de Santé. Nous avons modélisé une cellule sous Matlab, en simulant les paramètres de vieillissement et leur évolution dynamique. Ainsi quelle que soit l'architecture, pour peu qu'elle comprenne une part minimale de redondance, une adéquate gestion différentiée des cellules permet une amélioration de la disponibilité de 40%. Par souci de reproductibilité, nous avons également modélisé ces structures par un réseau de Petri coloré, de manière à esquisser l'instrumentation et le dimensionnement de la commande. / High-capacity electrical energy storage system (EESS) are often matrix-organized system with a large number of elementary storage cells. Due to manufactoring tolerances and their individual use, the electrical characteristics of these cells do not evolve in the same way. These imbalances reduce operative dependability, in the short term by contributing to a decrease of the charge-discharge capacity, in the long-term by shortening lifetime. To improve storage performance, redundant cells can be added. It is also possible, in order to increase efficiency of stored energy restitution, to balance electrical characteristics by using energy exchange forced by an adequate configuration. It should therefore be possible to increase long-term operative dependability by reconfiguring internal connections in dynamic mode. Parallel-series (PS) architecture EESS consists of the series association of blocks, made up of several cells connected in parallel. Series-Parallel dual solution (SP) associates strings of cells in parallel. If other architectures are being studied, often requiring several switches per cell to reconfigure the matrix, we propose in this thesis a new architecture, called C3C, satisfying an acceptable level of reliability and distributing current flows. We then compare the classic solutions and the C3C in terms of reliability and the long-term operative dependability and propose a reflection on the possibilities to discrete control aspects to pilot architecture with a suitable control algorithm. The reliability of any structure can be improved by redundancy, with additional cells that will be used either to replace failing cells or temporarily supplemeting the weak ones. The system may also be designed to tolerate the defect of a portion of the cells. We demonstrate by modeling reliability diagrams and Markov chains that the C3C and PS architectures have a much eigher level of reliability than a SP architecture. The sustainability of these structures can also be improved by piloting activating and rest of the available resources according to different strategies in a choice algorithm based on SoC (State of Charge) or SoH (State of Health) of each cell. To do this, we model a cell on Matlab, precisely simulating the aging parameters and their dynamic evolution. It emerges that, whatever the architecture, if it includes a minimal share of redundant cells, an adequate differentiated management of the cells allows an improvement of the long-term operative dependability of nearly 40% on average. In order to study the reconfigurability control of architectures, we propose a model based on Discrete Event Systems through a colored Petri net. Simulation of this model has reinforced the behaviors already identified.
|
96 |
Modélisation par la Méthode des Eléments Discrets de la Déchirure du Complexe Musculo-Tendineux / Modelling of the tear of a Muscle-Tendon Complex with Discrete Element MethodRoux, Anthony 30 June 2016 (has links)
La déchirure musculaire est la première cause de blessure chez les athlètes. De nombreuses études décrivent ce traumatisme musculaire sans parvenir à en identifier clairement la chronologie et ses circonstances. L’objectif de la thèse est de décrire le phénomène de déchirure musculaire avec la méthode des éléments discrets, en s’appuyant sur des essais expérimentaux pour valider les modèles numériques. Dans une première partie, une revue de littérature permet d’acquérir les propriétés mécaniques des différents éléments constituant le complexe musculo-tendineux afin de pouvoir en réaliser un modèle macroscopique. Dans une deuxième partie, la modélisation du complexe musculo-tendineux est réalisée. La validation du comportement mécanique en traction passive du modèle proposé est réalisée en comparaison des travaux de L-L. Gras sur le muscle sternocléidomastoïdien humain. L’influence des paramètres morphologiques sur le comportement mécanique global est ensuite étudiée. La rupture fait l’objet de la troisième partie. Une modélisation de l’ensemble {tendon d’Achille/triceps sural} est réalisée et soumise à un test de traction passif jusqu’à rupture. La validation des résultats est faite vis-à-vis des essais expérimentaux réalisés sur cet ensemble musculaire provenant de pièces anatomiques humaines. L’étape suivante s’attache à modéliser la contraction musculaire, implémentée au niveau des fibres musculaires. Une validation du comportement actif du complexe musculo-tendineux est réalisée. Cette dernière étape, combinée à la traction destructive permet d’étudier la faisabilité de modéliser la déchirure par la méthode des éléments discrets, mais également d’étudier les structures endommagées et les mécanismes de rupture. Cela ouvre des possibilités d’utilisation cliniques de ce modèle pour comprendre et prévenir des blessures par déchirure musculaire. / Tearing of the muscle-tendon complex is a common sport-related injury for athletes. Many studies reported description of this traumatism but mechanisms leading to such an injury are still unclear as are the site of mechanical failure and involved structures. The aim of the thesis is to describe the phenomenon of the muscle-tendon-complex’s tear using the discrete element method and validating the numerical model with experimental data. In the first part, a literature review explains the different properties of the muscle-tendon complex main components’ in order to model it at the macroscopic scale. In the second part, the muscle-tendon complex is modeled. Validation of the mechanical behavior in passive tensile test is proposed by comparison with experimental data from L.-L. Gras on human sternocleidomastodeus muscle. Then, the different influences of morphometric parameters on the mechanical behavior of the complex are investigated. The third part focuses on the rupture. A model of the complex set of {Achilles tendon/surae triceps} is built and a tensile test until rupture is applied. Model validity is assessed by comparison with in vitro experiments from human cadavers. The fourth part focuses on the muscular activation, implemented inside fibers’ behavior. Validity of its active behavior is investigated. This fifth and last presents the enrichment with destructive tensile test. This added test allows first to study the feasibility to model the tear with the discrete element method; and second to focus on damaged structures and rupture’s mechanisms. This offers possibilities for clinical applications of this model to understand and prevent injuries caused by a tear of the muscle-tendon complex
|
97 |
Rank n swapping algebra and its applications / L’algèbre d’échangée de rang n et ses applicationsSun, Zhe 03 July 2014 (has links)
Inspiré par l'algèbre d’échange et birapport de rang n introduit par F. Labourie, nous construisons un anneau muni de la structure de Poisson--- l’algèbre d’échangée de rang n Zn(P) pour étudier les espaces de modules de birapports . Nous prouvons que Zn(P) hérite d'une structure de Poisson provenant de l’algèbre d’échangée. Pour tenir compte des “birapports” dans l’anneau de fraction, en interprétant Zn(P) par un modèle géométrique dans l'étude de la géométrie théorie des invariants, nous montrons que Zn(P) est intègre. Ensuite, nous considérons l'anneau Bn(P) engendreré par les birapports dans l'anneau de fraction de Zn(P). Pour n = 2,3, nous trouvons un homomorphisme injectif poissonienne de l'anneau engendré par coordonnées de Fock-Goncharovde sur l'espace des configurations de drapeaux dans Rn vers Bn(P). En étudiant le système intégrable discret pour l'espace des configurations de polygones N-tordus dans RP1, à une transformation de Fourier discrète, nous rapportons asymptotiquement l'algèbre d’échangée à l'algèbre de Virasoro sur une hypersurface de MN, 1. / Inspired by the swapping algebra and the rank n cross-ratio introduced by F. Labourie, we construct a ring equipped with the swapping Poisson structure---the rank n swapping algebra Zn(P) to study the moduli spaces of cross ratios. We prove that Zn(P) inherits a Poisson structure form the swapping bracket. To consider the "cross-ratios" in the fraction ring, by interpreting Zn(P) by a geometric model in the study of geometry invariant theory, we prove that Zn(P) is an integral domain. Then we consider the ring Bn(P) generated by the cross ratios in the fraction ring of Zn(P). For n = 2,3, we embed in a Poisson way the ring generated by Fock-Goncharov coordinates for configuration space of flags in Rn into Bn(P). By studying the discrete integrable system for the configuration space MN,1 of N-twisted polygons in RP1, up to a discrete Fourier transformation, we asymptotically relate the swapping algebra to the Virasoro algebra on a hypersurface of MN,1.
|
98 |
Développement de la commande CRONE avec effet anticipatif robuste / Development of the CRONE control with robust anticipative effectAchnib, Asma 25 April 2019 (has links)
Le travail présenté dans cette thèse s'inscrit dans le cadre de l'étude de l'efficacité de la commande CRONE avec effet anticipatif robuste dans les problèmes de poursuite et de régulation pour les systèmes monovariables et multivariables. L'objectif de l'anticipation est de concevoir des algorithmes de commande capables de minimiser un critère quadratique basé sur l'erreur entre la sortie du système et le signal de référence avec modération du niveau du signal de commande. La solution proposée repose sur l'association d'une commande robuste de type feedback à une commande anticipative de type feedforward. L'action feedforward utilise un filtre anticipatif synthétisé dans le domaine fréquentiel en utilisant des critères d'optimalité et de contraintes de type $mathcal{H}_2$ et $mathcal{H}_infty$. La réduction du nombre de paramètres du filtre anticipatif en utilisant une période d'échantillonnage plus lente a été traitée. Des exemples académiques illustrent les développements théoriques. Une application pratique sur un système de régulation hydraulique a montré la pertinence de cette nouvelle approche. / The work presented in this thesis is part of the study of the effectiveness of CRONE control with anticipative effect in the problems of tracking and control for monovariable and multivariable systems. The anticipation objective is to design a control algorithm that minimizes a quadratic error between the reference and the output of the system and at the same time achieve a good level of the control signal. The proposed solution combines a robust feedback control with a feedforward control. The feedforward action uses optimality criteria and an anticipative filter which is designed in the frequency domain using a mix of $mathcal{H}_2$ et $mathcal{H}_infty$ constraints. The reduction of the number of parameters of the anticipative filter by using a slower sampling period for the anticipative filter is treated. Academic examples highlight the theoretical developments. A practical application on a hydraulic control system has shown the efficiency of the developed approach.
|
99 |
Análise e dimensionamento de frota de caminhões em circuito fechado para fornecimento de madeira. / Analysis and truck fleet sizing in closed circuit for wood supply.Silva, Natasha Roberta Galvão da 07 July 2015 (has links)
A racionalização no uso dos recursos sempre foi uma preocupação dos gestores de empresas e com a crescente competitividade entre essas organizações, faz-se necessário, portanto, um controle minucioso dos custos. Empresas do ramo florestal lidam todos os dias com problemas desde o nível estratégico, como a decisão de em quais regiões realizarem o plantio das árvores, até o nível operacional, que tem maior impacto sobre as operações diárias e que envolve as decisões de transporte de madeira. Nesse sentido, o investimento em ferramentas que garantam maior eficiência do transporte diário de madeira é considerado como ponto de partida para que essas organizações possam sustentar sua competitividade no mercado. Dessa forma, esta dissertação tem como objetivo dimensionar, através de um modelo de simulação, a frota de caminhões utilizada para o transporte diário de madeira em uma indústria de papel e celulose, com vistas a permitir um fluxo coordenado e constante de matéria prima, comparando o sistema atual com um sistema baseado em uma nova lógica de despacho de caminhões aplicada ao simulador. O modelo de simulação desenvolvido foi construído através do software ARENA® e conta com uma interface de dados construída com o auxílio do Microsoft Excel®, na qual são inseridos, de maneira estruturada, os dados de entrada necessários. Com este modelo, pretende-se auxiliar na solução de um problema operacional de transporte de madeira, uma vez que é possível determinar, em um horizonte de planejamento previamente definido, o tamanho da frota capaz de atender a uma demanda programada, permitindo maior eficiência ao sistema e redução de desperdícios. / The rational use of resources has always been a concern of business managers and the growing competition between companies requires a complex control of costs. Companies in the forestry sector deal with everyday problems from the strategic level, the decision on which regions make the planting of trees, to the operational level, which has a greater impact on the daily operations and decisions involving timber transport. Accordingly, investment in tools that ensure higher efficiency of daily transportation of wood is considered as the starting point for these organizations to sustain their competitiveness in the market. Thus, this thesis is designed to measure, through a simulation model, the fleet of trucks used for daily transportation of wood into a pulp and paper industry, with a view to providing coordinated and constant flow of raw material. The developed simulation model was built by ARENA ® software and has a data interface built with the help of Microsoft ® Excel, in which the input data required are inserted. With this model, we intend to assist in the solution of an operating problem of timber transport, since it is possible to determine the fleet size able to attend a scheduled demand, allowing the system more efficient and reduce waste, in a planning horizon previously defined.
|
100 |
Algorithmes de crible pour le logarithme discret dans les corps finis de moyenne caractéristique / Sieve algorithms for the discrete logarithm in medium characteristic finite fieldsGrémy, Laurent 29 September 2017 (has links)
La sécurité des systèmes cryptographiques à clef publique repose sur la difficulté de résoudre certains problèmes mathématiques, parmi lesquels se trouve le problème du logarithme discret sur les corps finis GF(p^n). Dans cette thèse, nous étudions les variantes de l’algorithme de crible algébrique, number field sieve (NFS) en anglais, qui résolvent le plus rapidement ce problème, dans le cas où la caractéristique du corps est dite moyenne. NFS peut être divisé en quatre étapes principales : la sélection polynomiale, la recherche de relations, l’algèbre linéaire et le calcul d’un logarithme individuel. Nous décrivons ces étapes, en insistant sur la recherche de relations, une des étapes les plus coûteuses. Une des manières efficaces de réaliser cette étape est d’utiliser des algorithmes de crible. Contrairement au cas classique où la recherche de relations est réalisée dans un espace à deux dimensions, les corps finis que nous ciblons requièrent une énumération d’éléments dans un espace de plus grande dimension pour atteindre la meilleure complexité théorique. Il existe des algorithmes de crible efficaces en deux dimensions, mais peu pour de plus grandes dimensions. Nous proposons et analysons deux nouveaux algorithmes de crible permettant de traiter n’importe quelle dimension, en insistant particulièrement sur la dimension trois. Nous avons réalisé une implémentation complète de la recherche de relations pour plusieurs variantes de NFS en dimensions trois. Cette implémentation, qui s'appuie sur nos nouveaux algorithmes de crible, est diffusée au sein du logiciel CADO-NFS. Nous avons pu valider ses performances en nous comparant à des exemples de la littérature. Nous avons également été en mesure d’établir deux nouveaux records de calcul de logarithmes discrets, l'un dans un corps GF(p^5) de taille 324 bits et l'autre dans un corps GF(p^6) de taille 422 bits / The security of public-key cryptography relies mainly on the difficulty to solve some mathematical problems, among which the discrete logarithm problem on finite fields GF(p^n). In this thesis, we study the variants of the number field sieve (NFS) algorithm, which solve the most efficiently this problem, in the case where the characteristic of the field is medium. The NFS algorithm can be divided into four main steps: the polynomial selection, the relation collection, the linear algebra and the computation of an individual logarithm. We describe these steps and focus on the relation collection, one of the most costly steps. A way to perform it efficiently is to make use of sieve algorithms. Contrary to the classical case for which the relation collection takes place in a two-dimensional space, the finite fields we target require the enumeration of elements in a higher-dimensional space to reach the best theoretical complexity. There exist efficient sieve algorithms in two dimensions, but only a few in higher dimensions. We propose and study two new sieve algorithms allowing us to treat any dimensions, with an emphasis on the three-dimensional case. We have provided a complete implementation of the relation collection for some variants of the NFS in three dimensions. This implementation relies on our new sieve algorithms and is distributed in the CADO-NFS software. We validated its performances by comparing with examples from the literature. We also establish two new discrete logarithm record computations, one in a 324-bit GF(p^5) and one in a 422-bit GF(p^6)
|
Page generated in 0.0666 seconds