• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 161
  • 89
  • 12
  • 2
  • Tagged with
  • 259
  • 119
  • 50
  • 39
  • 36
  • 36
  • 30
  • 29
  • 29
  • 29
  • 27
  • 25
  • 24
  • 24
  • 23
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
51

Engagement et traitement de l’information dans le paradigme de la communication engageante : Apports du modèle ELM / Binding communication : a new look on the commitment-persuasion interaction

Campourcy, Jean-François 19 December 2014 (has links)
La communication engageante effectue un pont conceptuel entre la persuasion et l’engagement. Dans le cadre de cette thèse, nous avons cherché à déterminer les processus sous jacents à l’efficacité de la communication engageante par le biais du modèle de la probabilité d’élaboration. D’après nous, l’engagement, l’implication personnelle ainsi que la confiance en ses pensées jouent un rôle crucial dans ce paradigme. Nous nous attendions à ce que 1/ l’engagement en condition d’implication forte produise un traitement périphérique de l’information 2/ l’engagement en condition d’implication faible produise un traitement central de l’information.  Nos résultats montrent que le traitement de l’information peut être influencé par l’engagement et le niveau d’implication. En condition d’implication forte l’engagement inhibe le traitement de l’information là où il le favorise lorsque l’implication est faible. Ces résultats, reproduits lors de quatre expériences, sont obtenus sur l’attitude, l’intention comportementale, ainsi que sur la valence des réponses cognitives. Notre dernière expérience reproduit le même pattern de résultats sur l’attitude implicite. L’engagement produit une hausse de l’implication et de la confiance en ses pensées lorsque l’implication est faible. / Binding communication makes a conceptual bridge between persuasion and commitment. As part of this thesis, we sought to determine the processes underlying the effectiveness of binding communication through the elaboration likelihood model of persuasion. In our opinion, commitment, personal involvement and thoughts confidence play a critical role in this paradigm. We expected that 1 / commitment in high involvment condition would produce peripheral information processing 2 / commitment in low involvment condition produces a central processing of information. Our results show that information processing can be influenced by commitment and level of involvement. In strong involvment condition, commitment inhibits information processing wherever it favors it when implication is low. These results, reproduced in four experiments, are obtained on attitude, behavioral intention, as well as on the valence of cognitive responses. Our last experiment reproduces the same pattern of results on implicit attitude. Commitment produces increased involvement and improve confidence in one's thoughts when involvement is weak.
52

Chance Constrained Programming : with applications in Energy Management / Optimisation sous contrainte probabilistes : et applications en Management d’Energie

Van Ackooij, Wim 12 December 2013 (has links)
Les contraintes en probabilité constituent un modèle pertinent pour gérer les incertitudes dans les problèmes de décision. En management d’énergie de nombreux problèmes d’optimisation ont des incertitudes sous-jacentes. En particulier c’est le cas des problèmes de gestion de la production au court-terme. Dans cette Thèse, nous investiguons les contraintes probabilistes sous l’angle théorique, algorithmique et applicative. Nous donnons quelques nouveaux résultats de différentiabilité des contraintes en probabilité et de convexité des ensembles admissibles. Des nouvelles variantes des méthodes de faisceaux « proximales » et « de niveaux » sont spécialement mises au point pour traiter des problèmes d’optimisation convexe sous contrainte en probabilité. Ces algorithmes gèrent en particulier, les erreurs d’évaluation de la contrainte en probabilité, ainsi que son gradient. La convergence vers une solution du problème est montrée. Enfin, nous examinons deux applications : l’optimisation d’une vallée hydraulique sous incertitude sur les apports et l’optimisation d’un planning de production sous incertitude sur la demande. Dans les deux cas nous utilisons une contrainte en probabilité pour gérer les incertitudes. Les résultats numériques présentés semblent montrer la faisabilité de résoudre des problèmes d’optimisation avec une contrainte en probabilité jointe portant sur un système de environ 200 contraintes. Il s’agit de l’ordre de grandeur nécessaire pour les applications. Les nouveaux résultats de différentiabilité concernent à la fois des contraintes en probabilité portant sur des systèmes linéaires et non-linéaires. Dans le deuxième cas, la convexité dans l’argument représentant le vecteur incertain est requise. Ce vecteur est supposé suivre une loi Gaussienne ou Student multi-variée. Les formules de gradient permettent l’application directe d’un schéma d’évaluation numérique efficient. Pour les contraintes en probabilité qui peuvent se réécrire à l’aide d’une Copule, nous donnons de nouveau résultats de convexité pour l’ensemble admissibles. Ces résultats requirent la concavité généralisée de la Copule, les distributions marginales sous-jacents et du système d’incertitude. Il est suffisant que ces propriétés de concavité généralisée tiennent sur un ensemble spécifique. / In optimization problems involving uncertainty, probabilistic constraints are an important tool for defining safety of decisions. In Energy management, many optimization problems have some underlying uncertainty. In particular this is the case of unit commitment problems. In this Thesis, we will investigate probabilistic constraints from a theoretical, algorithmic and applicative point of view. We provide new insights on differentiability of probabilistic constraints and on convexity results of feasible sets. New variants of bundle methods, both of proximal and level type, specially tailored for convex optimization under probabilistic constraints, are given and convergence shown. Both methods explicitly deal with evaluation errors in both the gradient and value of the probabilistic constraint. We also look at two applications from energy management: cascaded reservoir management with uncertainty on inflows and unit commitment with uncertainty on customer load. In both applications uncertainty is dealt with through the use of probabilistic constraints. The presented numerical results seem to indicate the feasibility of solving an optimization problem with a joint probabilistic constraint on a system having up to 200 constraints. This is roughly the order of magnitude needed in the applications. The differentiability results involve probabilistic constraints on uncertain linear and nonlinear inequality systems. In the latter case a convexity structure in the underlying uncertainty vector is required. The uncertainty vector is assumed to have a multivariate Gaussian or Student law. The provided gradient formulae allow for efficient numerical sampling schemes. For probabilistic constraints that can be rewritten through the use of Copulae, we provide new insights on convexity of the feasible set. These results require a generalized concavity structure of the Copulae, the marginal distribution functions of the underlying random vector and of the underlying inequality system. These generalized concavity properties may hold only on specific sets.
53

Parameterized verification of networks of many identical processesVérification paramétrée de réseaux composés d'une multitude de processus identiques / Vérification paramétrée de réseaux composés d'une multitude de processus identiques

Fournier, Paulin 17 December 2015 (has links)
Ce travail s'inscrit dans le cadre de la vérification formelle de programmes. La vérification de modèle permet de s'assurer qu'une propriété est vérifiée par le modèle du système. Cette thèse étudie la vérification paramétrée de réseaux composés d'un nombre non borné de processus identiques où le nombre de processus est considéré comme un paramètre. Concernant les réseaux de protocoles probabilistes temporisés nous montrons que les problèmes de l'accessibilité et de synchronisation sont indécidables pour des topologies de communication en cliques. Cependant, en considérant des pertes et créations probabiliste de processus ces problèmes deviennent décidables. Pour ce qui est des réseaux dans lequel les messages n'atteignent qu'une sous partie des composants choisie de manière non-déterministe, nous prouvons que le problème de l'accessibilité paramétrée est décidable grâce à une réduction à un nouveau modèle de jeux à deux joueurs distribué pour lequel nous montrons que l'on peut décider de l'existence d'une stratégie gagnante en coNP. Finalement, nous considérons des stratégies locales qui permettent d'assurer que les processus effectuent leurs choix non-déterministes uniquement par rapport a leur connaissance locale du système. Sous cette hypothèse de stratégies locales, nous prouvons que les problèmes de l'accessibilité et de synchronisation paramétrées sont NP-complet. / This thesis deals with formal verification of distributed systems. Model checking is a technique for verifying that the model of a system under study fulfills a given property. This PhD investigates the parameterized verification of networks composed of many identical processes for which the number of processes is the parameter. Considering networks of probabilistic timed protocols, we show that the parameterized reachability and synchronization problems are undecidable when the communication topology is a clique. However, assuming probabilistic creation and deletion of processes, the problems become decidable. Regarding selective networks, where the messages only reach a subset of the components, we show decidability of the parameterized reachability problem thanks to reduction to a new model of distributed two-player games for which we prove decidability in coNP of the game problem. Finally, we consider local strategies that enforce all processes to resolve the non-determinism only according to their own local knowledge. Under this assumption of local strategy, we were able to show that the parameterized reachability and synchronization problems are NP-complete.
54

Non-commutative generalization of some probabilistic results from representation theory / Généralisation non-commutative de résultats probabilistes en théorie des représentations

Tarrago, Pierre 17 November 2015 (has links)
Le sujet de cette thèse est la généralisation non-commutative de résultats probabilistes venant de la théorie des représentations. Les résultats obtenus se divisent en trois parties distinctes. Dans la première partie de la thèse, le concept de groupe quantique easy est étendu au cas unitaire. Tout d'abord, nous donnons une classification de l'ensemble des groupes quantiques easy unitaires dans le cas libre et classique. Nous étendons ensuite les résultats probabilistes de au cas unitaire. La deuxième partie de la thèse est consacrée à une étude du produit en couronne libre. Dans un premier temps, nous décrivons les entrelaceurs des représentations dans le cas particulier d'un produit en couronne libre avec le groupe symétrique libre: cette description permet également d'obtenir plusieurs résultats probabilistes. Dans un deuxième temps, nous établissons un lien entre le produit en couronne libre et les algèbres planaires: ce lien mène à une preuve d'une conjecture de Banica et Bichon. Dans la troisième partie de la thèse, nous étudions un analoque du graphe de Young qui encode la structure multiplicative des fonctions fondamentales quasi-symétriques. La frontière minimale de ce graphe a déjà été décrite par Gnedin et Olshanski. Nous prouvons que la frontière minimale coïncide avec la frontière de Martin. Au cours de cette preuve, nous montrons plusieurs résultats combinatoires asymptotiques concernant les diagrammes de Young en ruban / The subject of this thesis is the non-commutative generalization of some probabilistic results that occur in representation theory. The results of the thesis are divided into three different parts. In the first part of the thesis, we classify all unitary easy quantum groups whose intertwiner spaces are described by non-crossing partitions, and develop the Weingarten calculus on these quantum groups. As an application of the previous work, we recover the results of Diaconis and Shahshahani on the unitary group and extend those results to the free unitary group. In the second part of the thesis, we study the free wreath product. First, we study the free wreath product with the free symmetric group by giving a description of the intertwiner spaces: several probabilistic results are deduced from this description. Then, we relate the intertwiner spaces of a free wreath product with the free product of planar algebras, an object which has been defined by Bisch and Jones. This relation allows us to prove the conjecture of Banica and Bichon. In the last part of the thesis, we prove that the minimal and the Martin boundaries of a graph introduced by Gnedin and Olshanski are the same. In order to prove this, we give some precise estimates on the uniform standard filling of a large ribbon Young diagram. This yields several asymptotic results on the filling of large ribbon Young diagrams
55

Stochastic modelling in molecular biology : a probabilistic analysis of protein polymerisation and telomere shortening / Modélisation stochastique en biologie moléculaire : une analyse probabiliste de la polymérisation des protéines et du raccourcissement des télomères

Eugène, Sarah 30 September 2016 (has links)
Dans cette thèse, nous proposons une analyse probabiliste de deux problèmes de biologie moléculaire dans lesquels la stochasticité joue un rôle essentiel : la polymérisation des protéines dans les maladies neurodégénératives ainsi que le raccourcissement des télomères. L’agrégation des protéines en fibrilles amyloïdes est un important phénomène biologique associé à plusieurs maladies humaines telles que les maladies d’Alzheimer, de Huntington ou de Parkinson, ou encore l’amylose ou bien le diabète de type 2. Comme observé au cours des expériences reproduisant les petits volumes des cellules, les courbes d’évolution cinétique de l’agrégation des protéines présentent une phase de croissance exponentielle précédée d’une phase de latence extrêmement fluctuante, liée au temps de nucléation. Après une introduction au problème de polymérisation des protéines dans le chapitre I, nous étudions dans le chapitre II les origines et les propriétés de la variabilité de ladite phase de latence ; pour ce faire, nous proposons un modèle stochastique minimal qui permet de décrire les caractéristiques principales des courbes expérimentales d’agrégation de protéines. On considère alors deux composants chimiques : les monomères et les monomères polymérisés. Au départ, seuls sont présents les monomères ; par suite, ils peuvent polymériser de deux manières différentes : soit deux monomères se rencontrent et for- ment deux monomères polymérisés, soit un monomère se polymérise à la suite d’une collision avec un autre monomère déjà polymérisé. Malgré son efficacité, la simplicité des hypothèses de ce modèle ne lui permet pas de rendre compte de la variabilité observée au cours des expériences. C’est pourquoi dans un second temps, au cours du chapitre III, nous complexifions ce modèle afin de prendre en compte d’autres mécanismes impliqués dans la polymérisation et qui sont susceptibles d’augmenter la variabilité du temps de nucléation. Lors de ces deux chapitres, des résultats asymptotiques incluant diverses échelles de temps sont obtenus pour les processus de Markov correspondants. Une approximation au premier et au second ordre du temps de nucléation sont obtenus à partir de ces théorèmes limites. Ces résultats re- posent sur une renormalisation en temps et en espace du modèle de population, ainsi que sur un principe d’homogénéisation stochastique lié à une version modifiée d’urne d’Ehrenfest. Dans une seconde partie, un modèle stochastique décrivant le raccourcissement des télomères est pro- posé. Les chromosomes des cellules eucaryotes sont raccourcis à chaque mitose à cause des mécanismes de réplication de l’ADN incapables de répliquer les extrémités du chromosome parental. Afin d’éviter une perte de l’information génétique, ces chromosomes possèdent à chaque extrémité des télomères qui n’encodent pas d’information génétique. Au fil des cycles de réplication, ces télomères sont raccourcis jusqu’à rendre la division cellulaire impossible : la cellule entre alors en sénescence réplicative. L’objectif de ce modèle est de remonter aux caractéristiques de la distribution initiale de la taille des télomères à partir de mesures de temps de sénescence. / This PhD dissertation proposes a stochastic analysis of two questions of molecular biology in which randomness is a key feature of the processes involved: protein polymerisation in neurodegenerative diseases on the one hand, and telomere shortening on the other hand. Self-assembly of proteins into amyloid aggregates is an important biological phenomenon associated with human diseases such as prion diseases, Alzheimer’s, Huntington’s and Parkinson’s disease, amyloidosis and type-2 diabetes. The kinetics of amyloid assembly show an exponential growth phase preceded by a lag phase, variable in duration, as seen in bulk experiments and experiments that mimic the small volume of the concerned cells. After an introduction to protein polymerisation in chapter I, we investigate in chapter II the origins and the properties of the observed variability in the lag phase of amyloid assembly. This variability is currently not accounted for by deterministic nucleation-dependent mechanisms. In order to tackle this issue, a stochastic minimal model is proposed, simple, but capable of describing the characteristics of amyloid growth curves. Two populations of chemical components are considered in this model: monomers and polymerised monomers. Initially, there are only monomers and from then, two possible ways of polymerising a monomer: either two monomers collide to combine into two polymerised monomers, or a monomer is polymerised by the encounter of an already polymerised monomer. However efficient, this simple model does not fully explain the variability observed in the experiments, and in chapter III, we extend it in order to take into account other relevant mechanisms of the polymerisation process that may have an impact on fluctuations. In both chapters, asymptotic results involving different time scales are obtained for the corresponding Markov processes. First and second order results for the starting instant of nucleation are derived from these limit theorems. These results rely on a scaling analysis of a population model and the proof of a stochastic averaging principle for a model related to an Ehrenfest urn model. In the second part, a stochastic model for telomere shortening is proposed. In eukaryotic cells, chromosomes are shortened with each occurring mitosis, because the DNA polymerases are unable to replicate the chromosome down to the very end. To prevent potentially catastrophic loss of genetic information, these chromosomes are equipped with telomeres at both ends (repeated sequences that contain no genetic information). After many rounds of replication however, the telomeres are progressively nibbled to the point where the cell cannot divide anymore, a blocked state called replicative senescence. The aim of this model is to trace back to the initial distribution of telomeres from measurements of the time of senescence.
56

Analyse par ondelettes de champs aléatoires stables harmonisables à accroissements stationnaires / Wavelet analysis of stationary increments harmonizable stable fields

Boutard, Geoffrey 18 November 2016 (has links)
L’étude du comportement trajectoriel des champs/processus stochastiques est un sujet de recherche classique en théorie des probabilités et dans des domaines connexes comme la géométrie fractale. Dans cet objectif, plusieurs méthodes ont été développées depuis longtemps afin d’étudier le comportement des trajectoires de champs/processus gaussiens. Ces méthodes reposent souvent sur une structure hilbertienne « sympathique », et peuvent aussi nécessiter la finitude de moments d’ordre élevé. Ainsi, elles sont difficilement transposables dans des cadres de lois à queue lourde. Ces dernières sont importantes en probabilités et en statistique parce qu’elles constituent une contrepartie naturelle des lois gaussiennes. Dans le cas de certains champs/processus stables linéaires de type moyenne mobile non anticipative, tels que le drap fractionnaire stable linéaire et le mouvement multifractionnaire stable linéaire, des méthodes d’ondelettes, assez nouvelles, se sont déjà avérées fructueuses dans l’étude du comportement trajectoriel. Peut-on adapter cette méthodologie à certains champs/processus stables harmonisables ? Donner une réponse à cette question est un problème assez délicat car, de façon générale, de grandes différences séparent le cadre stable harmonisable de celui de type moyenne mobile. Le principal objectif de la thèse est d’étudier cette question dans le cadre d’un champ stable harmonisable symétrique à accroissement stationnaire de forme générale. / Studying sample path behaviour of stochastic fields/processes is a classical research topic in probability theory and related areas such as fractal geometry. To this end, many methods have been developed for a long time in order to study sample path behaviour of Gaussian fields/processes. They often rely on some underlying "nice" Hilbertian structure, and can also require finiteness of moments of high order. Therefore, they can hardly be transposed to frames of heavy-tailed stable probability distributions. Such distributions are very important in probability and statistics because they are a natural counterpart to the Gaussian ones. In the case of some linear non-anticipative moving average stable fields/processes, such as the linear fractional stable sheet and the linear multifractional stable motion, rather new wavelet methods have already proved to be successful in studying sample path behaviour. Can this methodology be adapted to some harmonizable stable fields/processes? Providing an answer to this question is a non trivial problem, since, generally speaking, there are large differences between an harmonizable stable setting and a moving average one. The main goal of the thesis is to study this issue in the case of a stationary increments symmetric stable harmonizable field of a general form.
57

La conscience du Juge : Étude comparée de la certitude morale en droit canonique et de l'intime conviction du juge en droit pénal français / The judge's conscience : A comparative study of moral certainty in canon law and the intimate conviction of the judge in French criminal law

Somda, Laurent Saâtieme 05 June 2018 (has links)
Dans l’exercice de son office, le juge est en permanence aux prises avec la loi et sa conscience. Cette réalité n’est pas propre à notre temps. Elle est une donnée constante de l’histoire judiciaire. Et selon les époques, la conscience du juge n’a pas toujours occupé la même place. Cette oscillation de la place de la conscience dans l’acte de juger témoigne à la fois d’un souci de justice et d’un souci éthique. Malgré les tentatives des doctrines positivistes et légicentristes d’atténuer, voire d’évacuer la question de la conscience du juge de la sphère judiciaire, elle demeure entière, et bien plus encore aujourd’hui avec la complexité de plus en plus grande de certaines affaires judiciaires. Le droit et la conscience sont un couple viscéralement lié mais malheureusement un couple en « difficulté », où le droit ne triomphe pas toujours et où la conscience n’a pas toujours bonne presse au regard de la dimension subjective qui la caractérise et à laquelle elle est très souvent réduite. Si cette question a fait l’objet jusqu’ici d’une abondante littérature tant en droit français qu’en droit canonique, il nous semble qu’elle a été essentiellement abordée soit sous l’angle du droit séculier soit sous l’angle exclusivement du droit canonique. A notre connaissance aucune étude comparative n’a été faite sur ce sujet. D’où l’intérêt de notre étude. Nous proposons donc dans cette investigation une étude comparée de la conscience du juge en droit pénal français et en droit canonique à travers respectivement les concepts d’intime conviction et de certitude morale. En droit pénal français, les juges et les jurés conformément à l’art. 353 CPP, doivent juger en se référant à leur intime conviction tandis que dans la législation canonique le juge ne peut, quel que soit le litige, prononcer sa sentence qu’après avoir acquis conformément au c. 1608, CIC/83 la certitude morale sur la vérité des faits. L’« intime conviction » en droit français et la certitude morale en droit canonique sont deux formes de la manifestation de la conscience du juge. Nous nous interrogeons donc de savoir si la certitude morale est en droit canonique ce que l’intime conviction en droit pénal français. À travers cette étude comparée nous voulons soustraire le jugement selon la conscience des caricatures dont il fait l’objet et mettre en évidence la complexité de l’office du juge. Au cœur du débat sur la conscience du juge c’est l’office tout entier du juge qui est en jeu. Juger est un art qui mobilise toute la personne du juge et met en évidence son autorité à travers une perspicacité et une prudence ritualisées. La conscience du juge – dont la manifestation se décline sous les vocables d’intime conviction et de certitude morale respectivement dans les systèmes juridiques français et canonique et dont le risque d’arbitraire est si communément appréhendé par l’opinion – est un gage de justice et de vérité pour autant qu’elle soit soumise à l’épreuve du rituel judiciaire. Si notre société contemporaine se rebiffe à l’idée de conscience – renvoyée d’emblée à la sphère exclusivement morale et subjective – notre investigation a pour finalité de démontrer que la conscience du juge telle que comprise dans les législations canonique et française revêt un sens technique précis qui ne saurait être enfermé dans une quelconque normativité. / In the exercise of his office, the judge is constantly struggling with the law and his conscience. This reality is not peculiar to our time. It is a constant in judicial history. According to the times in history, the judge's conscience has not always occupied the same place. This oscillation of the place of consciousness in the act of judging shows both a concern for justice and an ethical concern. Despite the attempts of positivist and law-centrist doctrines to mitigate or even dispel the question of the judge's consciousness of the judicial sphere; it remains intact, even more so today with the increasing complexity of certain cases. The ‘righteous’ and the ‘conscientious’ are a viscerally linked couple but unfortunately it is a couple in "difficulty", where the law does not always triumph and where the conscience does not always have good press with regard to the subjective dimension which characterizes it and to which it is very often reduced. If this question has so far been the subject of an abundant literature in both French and Canon law, I believe that it has been essentially approached either from the angle of secular law or exclusively Canon law. To our knowledge, no comparative study has been made on this subject. Hence the interest of our study. We therefore propose in this investigation a comparative study of the judge's conscience in both French criminal law and Canon law through respectively the concepts of ‘intimate conviction’ and ‘moral certainty’. In French criminal law, judges and jurors, in accordance with art. 353 CPP must judge by referring to their intimate conviction whereas in the Canon law the judge cannot; whatever the litigation pronounce in his sentence that after having acquired according to c. 1608, CIC/83 "moral certainty" about the truth of the facts. "Intimate conviction" in French law and "moral certainty" in Canon law are two forms of manifestation of the judge's conscience. We therefore wonder whether "moral certainty" is in canon law what the "conviction" is in French criminal law. Through this comparative study we wish to subtract the judgment according to the consciousness of the caricatures of which it is the object, and to highlight the complexity of the office of the judge. At the heart of the debate about the conscience of the judge is the entire office of the judge that is at stake. Judging is an art that mobilizes the whole person of the judge and highlights his authority through a ritualized perspicacity and prudence. The conscience of the judge - whose manifestation is expressed under the terms of intimate conviction and moral certainty respectively in the French and canonical legal systems and whose risk of arbitrariness is so commonly apprehended by the public - is a pledge of justice and truth as much as it is subject to the test of judicial ritual. If our contemporary society rebels to the idea of consciousness – seen as an outset to the exclusively moral and subjective sphere -, our investigation aims to demonstrate that the conscience of the judge as understood in the canonical and French legislation has a precise technical meaning, which cannot be locked in any normativity.
58

Fiabilisation et test des processeurs dans un contexte embarqué / Online monitoring and test of embedded processors

Sarrazin, Sébastien 31 March 2015 (has links)
La réduction des marges temporelles dans les circuits synchrones est une manière d'améliorer leur performance.En cas de vieillissement, de fluctuations de la tension d'alimentation ou de la température du milieu de mission, des réductions sévères des marges temporelles peuvent néanmoins avoir un impact négatif sur la fiabilité des circuits. La réduction des marges temporelles sans dégradation de la fiabilité peut être réalisée à l'aide des informations d'un contrôle en ligne de ces marges. Cette thèse porte sur l'étude du suivi en ligne des marges temporelles des circuits intégrés synchrones. La première contribution de ce travail consiste en une nouvelle solution shadow-scan bien adaptée au suivi en ligne des marges temporelles, permettant une mise en œuvre de bascules scan plus rapides et pouvant être gérées de façon transparente par les outils de conception du commerce. Une approche naturelle de mise en œuvre du suivi des marges temporelles est le déploiement de moniteurs sur tous les chemins critiques ou susceptibles de le devenir à cause du vieillissement ou des variations dues au processus de production.Dans des circuits très contraints en termes de temps de propagation, avec un grand nombre de chemins critiques, cette approche peut conduire à un surcoût en surface trop important pour un gain en performance limité. Afin de pouvoir réduire le nombre de moniteurs avec un impact limité sur la qualité du monitoring, la seconde contribution de ce travail est la proposition d'une nouvelle méthode d'évaluation de la qualité du monitoring d'un groupe de bascules.Cette méthode est basée sur l'estimation de la probabilité d'activation des moniteurs. Deux métriques sont proposées pour quantifier la qualité du suivi des marges temporelles. La première sert à estimer la couverture temporelle d'un groupe de bascules, alors que la deuxième permet d'évaluer la couverture spatiale.Enfin, en se basant sur ces deux métriques, la dernière contribution de ce travail est la démonstration du fait qu'il est possible avec un surcoût limité d'améliorer significativement la qualité du monitoring d'un circuit si les moniteurs sont adaptés aux cônes logiques qu'ils surveillent. / Slack-time reduction is a way to improve the performance of synchronous sequential circuits. In the presence of circuit wear-out, supply voltage fluctuations and temperature variations, aggressive slack-time reduction can be achieved based on adaptive voltage and frequency scaling with feedback from in-situ slack-time monitoring. The first contribution of this work consist of a new shadow-scan solution which facilitates the implementation of faster scan Flip-Flops (FFs), enables in-situ slack-time monitoring and can be transparently handled by commercial tools for automated scan stitching and automated test pattern generation. A natural approach is to place in-situ slack-time monitors close to all sequential elements with incoming timing-critical paths or susceptible to become timing-critical due to wear-out or manufacturing variability. In latency-constrained circuits with large ratios of timing-critical paths, this methodology may result in large area overheads and minor power improvements. The second contribution of this work is an evaluation methodology of the monitoring quality delivered by a set of FFs. This methodology estimates monitor activation probabilities based on which two evaluation metrics are provided. On one hand, the expected ratio of clock cycles with at least one monitor activated can be used to estimate the temporal coverage of the in-situ slack-time monitoring scheme. On the other hand, the expected number of activated monitors per clock cycle can be used to evaluate the spatial coverage of the monitoring scheme. Finally, based on these metrics, it is shown that the monitoring quality can be significantly improved if the size of the detection window of each in-situ slack-time monitor is correlated to the slack-time of the monitored timing-critical paths.
59

Propriétés métriques et probabilistes des groupes métabéliens / Metric and probabilistic properties of metabelian groups

Jacoboni, Lison 30 November 2017 (has links)
Dans la première partie, on étudie la probabilité de retour des groupes métabéliens de type fini. On donne une caractérisation des tels groupes avec grande probabilité de retour en des termes purement algébriques, à l’aide de la dimension de Krull. Cela nécessite, pour les groupes métabéliens, une variation d’un théorème de Kaloujnine et Krasner qui respecte cette dimension. Au passage, on obtient des bornes inférieures et supérieures sur la probabilité de retour des groupes métabéliens en fonction de la dimension de Krull. La seconde partie concerne les profils isopérimétriques des groupes localement compacts compactement engendrés, qu’on utilise pour caractériser l’existence d’une suite de paires de Følner. On démontre que le profil isopérimétrique augmente lorsqu’on passe au quotient, avec des constantes indépendantes de l’échelle, améliorant une théorème de Tessera. Combinant les deux, on obtient que l’existence de suites de paires de Følner passe au quotient. On montre qu’elle passe au sous-groupe fermé, généralisant un résultat correspondant d’Erschler pour les groupes de type fini. Cela permet d’obtenir une preuve plus auto-contenue du théorème principal de la première partie.La troisième partie est un travail en commun avec Kropholler dans lequel on étudie la structure des groupes résolubles de rang sans torsion infini n’ayant pas de section isomorphe à ZwrZ. On en déduit qu’en présence d’une dimension de Krull, ce type de section est la seule obstruction à la finitude du rang sans torsion. / In the fist part, we study the return probability of finitely generated metabelian groups. We give a characterization of such groups with large return probability in purely algebraic terms, namely the Krull dimension of the group. To do so, we establish, for metabelian groups, a variation of a famous embedding theorem of Kaloujinine and Krasner that respects this dimension. Along the way, we obtain lower and upper bounds on the return probability of metabelian groups according to their dimension.The second part of this thesis deals with isoperimetric profiles of locally compact compactly generated groups, that we use to characterize the existence of sequences of Følner couples. We generalize at a compact scale previous results of Tessera, in particular that they increase when going to a quotient group, so as to state in more generality a result from the first part, namely that the existence of Følner couples goes to a quotient group. We also prove that it goes to a closed subgroup. This allows to obtains a more self-contained proof of the main result of the first part of this thesis.The third part is a joint work with Kropholler in which we study the structure of soluble groups of infinite torsion-free rank with no ZwrZ. As a corollary, we obtain that a finitely generated soluble group with Krull dimension has finite torsion-free rank if and only if it has no ZwrZ.
60

Hydroinformatics and diversity in hydrological ensemble prediction systems

Brochero, Darwin 19 April 2018 (has links)
Nous abordons la prévision probabiliste des débits à partir de deux perspectives basées sur la complémentarité de multiples modèles hydrologiques (diversité). La première exploite une méthodologie hybride basée sur l’évaluation de plusieurs modèles hydrologiques globaux et d’outils d’apprentissage automatique pour la sélection optimale des prédicteurs, alors que la seconde fait recourt à la construction d’ensembles de réseaux de neurones en forçant la diversité. Cette thèse repose sur le concept de la diversité pour développer des méthodologies différentes autour de deux problèmes pouvant être considérés comme complémentaires. La première approche a pour objet la simplification d’un système complexe de prévisions hydrologiques d’ensemble (dont l’acronyme anglais est HEPS) qui dispose de 800 scénarios quotidiens, correspondant à la combinaison d’un modèle de 50 prédictions météorologiques probabilistes et de 16 modèles hydrologiques globaux. Pour la simplification, nous avons exploré quatre techniques: la Linear Correlation Elimination, la Mutual Information, la Backward Greedy Selection et le Nondominated Sorting Genetic Algorithm II (NSGA-II). Nous avons plus particulièrement développé la notion de participation optimale des modèles hydrologiques qui nous renseigne sur le nombre de membres météorologiques représentatifs à utiliser pour chacun des modèles hydrologiques. La seconde approche consiste principalement en la sélection stratifiée des données qui sont à la base de l’élaboration d’un ensemble de réseaux de neurones qui agissent comme autant de prédicteurs. Ainsi, chacun d’entre eux est entraîné avec des entrées tirées de l’application d’une sélection de variables pour différents échantillons stratifiés. Pour cela, nous utilisons la base de données du deuxième et troisième ateliers du projet international MOdel Parameter Estimation eXperiment (MOPEX). En résumé, nous démontrons par ces deux approches que la diversité implicite est efficace dans la configuration d’un HEPS de haute performance. / In this thesis, we tackle the problem of streamflow probabilistic forecasting from two different perspectives based on multiple hydrological models collaboration (diversity). The first one favours a hybrid approach for the evaluation of multiple global hydrological models and tools of machine learning for predictors selection, while the second one constructs Artificial Neural Network (ANN) ensembles, forcing diversity within. This thesis is based on the concept of diversity for developing different methodologies around two complementary problems. The first one focused on simplifying, via members selection, a complex Hydrological Ensemble Prediction System (HEPS) that has 800 daily forecast scenarios originating from the combination of 50 meteorological precipitation members and 16 global hydrological models. We explore in depth four techniques: Linear Correlation Elimination, Mutual Information, Backward Greedy Selection, and Nondominated Sorting Genetic Algorithm II (NSGA-II). We propose the optimal hydrological model participation concept that identifies the number of meteorological representative members to propagate into each hydrological model in the simplified HEPS scheme. The second problem consists in the stratified selection of data patterns that are used for training an ANN ensemble or stack. For instance, taken from the database of the second and third MOdel Parameter Estimation eXperiment (MOPEX) workshops, we promoted an ANN prediction stack in which each predictor is trained on input spaces defined by the Input Variable Selection application on different stratified sub-samples. In summary, we demonstrated that implicit diversity in the configuration of a HEPS is efficient in the search for a HEPS of high performance.

Page generated in 0.0704 seconds