Spelling suggestions: "subject:"processus dde"" "subject:"processus dee""
421 |
Quelques résultats d'équivalence asymptotique pour des expériences statistiques dans un cadre non paramétrique / Some results of asymptotic equivalence for nonparametric statistical experimentsMariucci, Ester 16 September 2015 (has links)
Nous nous intéressons à l'équivalence asymptotique, au sens de Le Cam, entre différents modèles statistiques. Plus précisément, nous avons exploré le cas de modèles statistiques associés à l'observation discrète de processus à sauts ou de diffusions unidimensionnelles, ainsi que des modèles à densité plus classiques.Ci-dessous, nous présentons brièvement les différents chapitres de la thèse.Nous commençons par présenter tous nos résultats dans un premier chapitre introductif. Ensuite, dans le Chapitre 2 nous rappelons les points clés de la théorie de Le Cam sur les expériences statistiques en se plaçant dans un contexte non paramétrique.Les Chapitres 3 et 4 traitent de l'équivalence asymptotique pour des modèles statistiques associés à l'observation discrète (haute fréquence) de processus à sauts. Dans un premier temps nous nous focalisons sur un problème d'équivalence en ce qui concerne l'estimation de la dérive, supposée appartenir à une certaine classe fonctionnelle. Il s'avère (Chapitre 3) qu'il y a une équivalence asymptotique, en ce qui concerne l'estimation de la dérive, entre le modèle statistique associé à l'observation discrète d'un processus additif $X$ et le modèle statistique gaussien associé à l'observation discrète de la partie continue de $X$.Dans un deuxième temps, nous nous sommes intéressés au problème de l'estimation non paramétrique de la densité de Lévy $f$ relative à un processus de Lévy à sauts purs, $Y$. Le Chapitre 4 illustre l'équivalence asymptotique, en ce qui concerne l'estimation de $f$, entre le modèle statistique associé à l'observation discrète de $Y$ et un certain modèle de bruit blanc gaussien ayant $sqrt f$ comme dérive.Le Chapitre 5 présente une extension d'un résultat bien connu sur l'équivalence asymptotique entre un modèle à densité et un modèle de bruit blanc gaussien.Le Chapitre 6 étudie l'équivalence asymptotique entre un modèle de diffusion scalaire avec une dérive inconnue et un coefficient de diffusion qui tend vers zéro et le schéma d'Euler correspondant.Dans le Chapitre 7 nous présentons une majoration en distance $L_1$ entre les lois de processus additifs.Le Chapitre 8 est consacré aux conclusions et discute des extensions possibles des travaux de thèse. / The subject of this Ph.D. thesis is the asymptotic equivalence, in the Le Cam sense, between different statistical models. Specifically, we explore the case of statistical models associated with the discrete observation of jump processes or diffusion processes as well as more classical density models.Below, we briefly introduce the different chapters of this dissertation.We begin by presenting our results in a first introductory chapter. Then, in Chapter 2, we recall the key points of the Le Cam theory on statistical experiences focusing on a nonparametric context.Chapters 3 and 4 deal with asymptotic equivalences for statistical models associated with discrete observation (high frequency) of jump processes. First, we focus on an equivalence problem regarding the estimation of the drift, assumed to belong to a certain functional class. It turns out (Chapter 3) that there is an asymptotic equivalence, for what concerns the estimation of the drift, between the statistical model associated with the discrete observation of an additive process $X$ and the Gaussian statistical model associated with the discrete observation of the continuous part of $X$. Then we study the problem of nonparametric density estimation for the Lévy density $f$ of a pure jump Lévy process $Y$. Chapter 4 illustrates the asymptotic equivalence, for what concerns the estimation of $f$, between the statistical model associated with the discrete observation of $Y$ and a certain Gaussian white noise model having $sqrt f$ as drift.In Chapter 5 we present an extension of the well-known asymptotic equivalence between density estimation experiments and a Gaussian white noise model.Chapter 6 describes the asymptotic equivalence between a scalar diffusion model with unknown drift and with diffusion coefficient tending to zero and the corresponding Euler scheme. In Chapter 7 we present a bound for the $L_1$ distance between the laws of additive processes.Chapter 8 is devoted to conclusions and discusses possible extensions of the results of this thesis.
|
422 |
Estimation des indices de stabilité et d'autosimilarité par variations de puissances négatives / Estimation of the stability and the self-similarity indices through negative power variationsDang, Thi To Nhu 05 July 2016 (has links)
Ce travail porte sur l'estimation des indices d'autosimilarité et de stabilité d'un processus ou champ stable fractionnaire et autosimilaire ou d'un processus stable multifractionnaire.Plus précisément, soit X un processus ou un champ stable H-autosimilaire à accroissements stationnaires (H-sssi) ou un processus stable multifractionnaire. Nous observons X aux points k/n, k=0,..., n.Nos estimations sont basées sur des variations de puissances négatives beta avec -1/2<beta<0: en effet, ces variations ont une espérance et une variance.Nous obtenons des estimateurs consistants, avec les vitesses de convergence, pour plusieurs processus H-sssi alpha-stables classiques (mouvement brownien fractionnaire, mouvement stable fractionnaire linéaire, processus de Takenaka, movement de Lévy).De plus, nous obtenons la normalité asymptotique de nos estimations pour le mouvement brownien fractionnaire et le mouvement de Lévy.Ce nouveau cadre nous permet de donner une estimation pour le paramètre d'autosimilarité H sans hypothèse sur alpha et, vice versa, nous pouvons estimer l'indice stable alpha sans hypothèse sur H.En généralisant, pour le cas d'une dimension supérieure à 1, nous obtenons également des estimateurs consistants pour H et alpha. Les résutats sont illustrés par des exemples: champ de Lévy fractionnaire, champ stable fractionnaire linéaire, champ de Takenaka.Pour les processus stables multifractionnaires, nous nous concentrons sur le mouvement brownien multifractionnaire et le processus stable multifractionnaire linéaire. Dans ces deux cas, nous obtenons la consistance des estimateurs pour la fonction d'autosimilarité à un temps donné u et pour l'indice stable alpha. / This work is concerned with the estimation of the self-similarity and the stability indices of a H-self-similarity stable process (field) or a multifractional stable process.More precisely, let X be a H-sssi (self-similar stationary increments) symmetric alpha-stable process (field) or a multifractional stable process. We observe X at points k/n, k=0,...,n.Our estimates are based on beta-negative power variations with -1/2<beta<0, thanks to the existence of expectations and covariances of these variations.We get consistent estimators, with rates of convergence, for several classical H-sssi alpha-stable processes(fractional Brownian motion, well-balanced linear fractional stable motion, Takenaka's processes, Lévy motion). Moreover, we get asymptotic normality of our estimates for fractional Brownian motion and Lévy motion.This new framework allows us to give an estimator for the self-similarity parameter H without assumptions on alpha and, vice versa, we can estimate the stable index alpha without assumptions on H.Generalizing for the case of high dimensions, we also obtain consistent estimators for H and alpha. The results are illustrated with some familiar examples: Lévy fractional Brownian field, well-balanced linear fractional stable field and Takenaka random field.For multifractional stable process, we concentrate on multifractional Brownian motion and linear multifractional stable process. In these two cases, we get the consistency of the estimators for the value of self-similarity function H at a fixed time u and for the stability index alpha.
|
423 |
Empirical processes of multiple mixing data / Processus empiriques de données à mélange multipleTusche, Marco 29 November 2013 (has links)
Cette thèse étudie la convergence en loi des processus empiriques de données à mélange multiple. Son contenu correspond aux articles : Durieu et Tusche (2012), Dehling, Durieu, et Tusche (2012), et Dehiing, Durieu et Tusche (2013). Nous suivons l’approche par approximation introduite dans Dehling, Durieu, et Vo1n (2009) et Dehling and Durieu (2011), qui ont établi des théorèmes limite centraux empiriques pour des variables aléatoires dépendants à valeurs dans R ou RAd, respectivement. En développant leurs techniques, nous généralisons leurs résultats à des espaces arbitraires et à des processus empiriques indexés par des classes de fonctions. De plus, nous étudions des processus empiriques séquentiels. Nos résultats s’appliquent aux chaînes de Markov B-géométriquement ergodiques, aux modèles itératifs lipschitziens, aux systèmes dynamiques présentant un trou spectral pour l’opérateur de Perron-Frobenius associé, ou encore, aux automorphismes du tore. Nous établissons des conditions garantissant la convergence du processus empirique de tels modèles vers un processus gaussien. / The present thesis studies weak convergence of empirical processes of multiple mixing data. It is based on the articles Durieu and Tusche (2012), Dehling, Durieu, and Tusche (2012), and Dehling, Durieu, and Tusche (2013). We follow the approximating class approach introduced by Dehling, Durieu, and Voln (2009)and Dehling and Durieu (2011), who established empirical central limit theorems for dependent R- and R”d-valued random variables, respectively. Extending their technique, we generalize their results to arbitrary state spaces and to empirical processes indexed by classes of functions. Moreover we study sequential empirical processes. Our results apply to B-geometrically ergodic Markov chains, iterative Lipschitz models, dynamical systems with a spectral gap on the Perron—Frobenius operator, and ergodic toms automorphisms. We establish conditions under which the empirical process of such processes converges weakly to a Gaussian process.
|
424 |
Méthodes quantitatives pour l'étude asymptotique de processus de Markov homogènes et non-homogènes / Quantitative methods for the asymptotic study of homogeneous and non-homogeneous Markov processesDelplancke, Claire 28 June 2017 (has links)
L'objet de cette thèse est l'étude de certaines propriétés analytiques et asymptotiques des processus de Markov, et de leurs applications à la méthode de Stein. Le point de vue considéré consiste à déployer des inégalités fonctionnelles pour majorer la distance entre lois de probabilité. La première partie porte sur l'étude asymptotique de processus de Markov inhomogènes en temps via des inégalités de type Poincaré, établies par l'analyse spectrale fine de l'opérateur de transition. On se place d'abord dans le cadre du théorème central limite, qui affirme que la somme renormalisée de variables aléatoires converge vers la mesure gaussienne, et l'étude est consacrée à l'obtention d'une borne à la Berry-Esseen permettant de quantifier cette convergence. La distance choisie est une quantité naturelle et encore non étudiée dans ce cadre, la distance du chi-2, complétant ainsi la littérature relative à d'autres distances (Kolmogorov, variation totale, Wasserstein). Toujours dans le contexte non-homogène, on s'intéresse ensuite à un processus peu mélangeant relié à un algorithme stochastique de recherche de médiane. Ce processus évolue par sauts de deux types (droite ou gauche), dont la taille et l'intensité dépendent du temps. Une majoration de la distance de Wasserstein d'ordre 1 entre la loi du processus et la mesure gaussienne est établie dans le cas où celle-ci est invariante sous la dynamique considérée, et étendue à des exemples où seule la normalité asymptotique est vérifiée. La seconde partie s'attache à l'étude des entrelacements entre processus de Markov (homogènes) et gradients, qu'on peut interpréter comme un raffinement du critère de Bakry-Emery, et leur application à la méthode de Stein, qui est un ensemble de techniques permettant de majorer la distance entre deux mesures de probabilité. On prouve l'existence de relations d'entrelacement du second ordre pour les processus de naissance-mort, allant ainsi plus loin que les relations du premier ordre connues. Ces relations sont mises à profit pour construire une méthode originale et universelle d'évaluation des facteurs de Stein relatifs aux mesures de probabilité discrètes, qui forment une composante essentielle de la méthode de Stein-Chen. / The object of this thesis is the study of some analytical and asymptotic properties of Markov processes, and their applications to Stein's method. The point of view consists in the development of functional inequalities in order to obtain upper-bounds on the distance between probability distributions. The first part is devoted to the asymptotic study of time-inhomogeneous Markov processes through Poincaré-like inequalities, established by precise estimates on the spectrum of the transition operator. The first investigation takes place within the framework of the Central Limit Theorem, which states the convergence of the renormalized sum of random variables towards the normal distribution. It results in the statement of a Berry-Esseen bound allowing to quantify this convergence with respect to the chi-2 distance, a natural quantity which had not been investigated in this setting. It therefore extends similar results relative to other distances (Kolmogorov, total variation, Wasserstein). Keeping with the non-homogeneous framework, we consider a weakly mixing process linked to a stochastic algorithm for median approximation. This process evolves by jumps of two sorts (to the right or to the left) with time-dependent size and intensity. An upper-bound on the Wasserstein distance of order 1 between the marginal distribution of the process and the normal distribution is provided when the latter is invariant under the dynamic, and extended to examples where only the asymptotic normality stands. The second part concerns intertwining relations between (homogeneous) Markov processes and gradients, which can be seen as refinment of the Bakry-Emery criterion, and their application to Stein's method, a collection of techniques to estimate the distance between two probability distributions. Second order intertwinings for birth-death processes are stated, going one step further than the existing first order relations. These relations are then exploited to construct an original and universal method of evaluation of discrete Stein's factors, a key component of Stein-Chen's method.
|
425 |
Contribution de la fonction achats dans le processus d'innovation des industries agro-alimentaires / Analysis of the contribution of purchasing department into the innovation process : the case of the food industriesViale, Laurence 01 June 2018 (has links)
Dans un contexte où l'injonction d’innover atteint son paroxysme, les différentes fonctions de l’entreprise sont à la recherche de processus susceptibles de renforcer leur capacité d’innovation. Notre recherche a pour objectif d’apporter un éclairage sur l’implication et la contribution de la fonction Achats dans le processus d’innovation des entreprises Agro-Alimentaires en construisant, d’une part, une typologie des acheteurs et en identifiant, d’autre part, certains facteurs organisationnels déterminants du succès de l'implication de cette fonction. Sur la base de nos résultats, l’implication réussie de la fonction Achats dans le processus d’innovation n’est pas l’affaire d’une performance particulière des facteurs inter-organisationnels mais plutôt le fruit d’une performance équilibrée sur un ensemble de composantes comme l’alignement des services et organisations en interne et externe, les compétences métacognitives des acheteurs, l’implication dans l’idéation, ainsi que l’attractivité interne et externe. / At the heart of the company's strategy for a long time, and compounded by globalisation, innovation is becoming increasingly collaborative, open to external organisations such as suppliers who can play a prominent role in innovations (product or service design, organisational or technical). As Purchasing is the internal/external interface, this function may have an impact on the companies' ability to innovate. Beyond the suppliers' contribution, and within the other departments, the purpose of this thesis is to help clarify and characterise innovation by the Purchasing department, a multi-faceted notion, as well as identify the endogenous and exogenous factors conducive to innovation.
|
426 |
Modèles de mutation : étude probabiliste et estimation paramétrique / Mutation models : probabilistic study and parameter estimationMazoyer, Adrien 04 July 2017 (has links)
Les modèles de mutations décrivent le processus d’apparitions rares et aléatoires de mutations au cours de lacroissance d’une population de cellules. Les échantillons obtenus sont constitués de nombres finaux de cellules mutantes,qui peuvent être couplés avec des nombres totaux de cellules ou un nombre moyen de cellules en fin d’expérience.La loi du nombre final de mutantes est une loi à queue lourde : de grands décomptes, appelés “jackpots”,apparaissent fréquemment dans les données.Une construction générale des modèles se décompose en troisniveaux. Le premier niveau est l’apparition de mutations aléatoires au cours d’un processus de croissance de population.En pratique, les divisions cellulaires sont très nombreuses, et la probabilité qu’une de ces divisions conduise à une mutation est faible,ce qui justifie une approximation poissonnienne pour le nombre de mutations survenant pendant un temps d’observation donné.Le second niveau est celui des durées de développement des clones issus de cellules mutantes. Du fait de la croissance exponentielle,la majeure partie des mutations ont lieu à la fin du processus, et les durées de développement sont alors indépendanteset exponentiellement distribuées. Le troisième niveau concerne le nombre decellules qu’un clone issu d’une cellule mutante atteint pendant une durée de développement donnée.La loi de ce nombre dépend principalement de la loi des instants de division des mutantes.Le modèle classique, dit de Luria-Delbrück, suppose que les développements cellulaires des cellules normales aussi bien que mutantess’effectue selon un processus de Yule. On peut dans ce cas calculer expliciter la loi du nombre final de mutantes.Elle dépend de deux paramètres, qui sont le nombre moyen de mutations et le paramètre de fitness (ratio des taux de croissance des deux types de cellules).Le problème statistique consiste à estimer ces deux paramètres au vu d’un échantillon denombres finaux de mutantes. Il peut être résolu par maximisation de la vraisemblance,ou bien par une méthode basée sur la fonction génératrice. Diviser l'estimation du nombre moyen de mutations par le nombre total de cellulespermet alors d'estimer la probabilité d’apparition d’une mutation au cours d’une division cellulaire.L’estimation de cette probabilité est d’une importancecruciale dans plusieurs domaines de la médecine et debiologie: rechute de cancer, résistance aux antibiotiques de Mycobacterium Tuberculosis, etc.La difficulté provient de ce que les hypothèses de modélisation sous lesquelles la distribution du nombre final de mutants est explicitesont irréalistes.Or estimer les paramètres d’un modèle quand la réalité en suit un autre conduit nécessairement à un biais d’estimation.Il est donc nécessaire de disposer de méthodes d’estimation robustes pour lesquelles le biais, en particulier sur la probabilité de mutation,reste le moins sensible possible aux hypothèses de modélisation.Cette thèse contient une étude probabiliste et statistique de modèles de mutations prenant en compte les sources de biais suivantes : durées de vie non exponentielles, morts cellulaires,variabilité du nombre final de cellules, durées de vie non-exponentielles et non-identiquement distribuées, dilution de la population initiale.Des études par simulation des méthodes considérées sont effectuées afin de proposer, selon les caractéristiques du modèle,l’estimation la plus fiable possible. Ces méthodes ont également été appliquées à desjeux de données réelles, afin de comparer les résultats avec les estimations obtenues avec les modèles classiques.Un package R a été implémenté en collaboration avec Rémy Drouilhet et Stéphane Despréaux et est disponible sur le CRAN.Ce package est constitué des différents résultats obtenus au cours de ce travail. Il contient des fonctions dédiées aux modèles de mutations,ainsi qu'à l'estimation des paramètres. Les applications ont été développées pour le Labex TOUCAN (Toulouse Cancer). / Mutation models are probabilistic descriptions of the growth of a population of cells, where mutationsoccur randomly during the process. Data are samples of integers, interpreted as final numbers ofmutant cells. These numbers may be coupled with final numbers of cells (mutant and non mutant) or a mean final number of cells.The frequent appearance in the data of very large mutant counts, usually called “jackpots”, evidencesheavy-tailed probability distributions.Any mutation model can be interpreted as the result of three ingredients. The first ingredient is about the number of mutations occuring with small probabilityamong a large number of cell divisions. Due to the law of small numbers, the number of mutations approximately follows aPoisson distribution. The second ingredient models the developing duration of the clone stemming from each mutation. Due to exponentialgrowth, most mutations occur close to the end of the experiment. Thus the developing time of arandom clone has exponential distribution. The last ingredients represents the number of mutant cells that any clone developing for a given time will produce. Thedistribution of this number depends mainly on the distribution of division times of mutants.One of the most used mutation model is the Luria-Delbrück model.In these model, division times of mutant cells were supposed to be exponentially distributed.Thus a clone develops according to a Yule process and its size at any given time follows a geometric distribution.This approach leads to a family of probability distributions which depend on the expected number of mutations and the relative fitness, which is the ratio between the growth rate of normal cells to that of mutants.The statistic purpose of these models is the estimation of these parameters. The probability for amutant cell to appear upon any given cell division is estimated dividing the mean number of mutations by the mean final number of cells.Given samples of final mutant counts, it is possible to build estimators maximizing the likelihood, or usingprobability generating function.Computing robust estimates is of crucial importance in medical applications, like cancer tumor relapse or multidrug resistance of Mycobacterium Tuberculosis for instance.The problem with classical mutation models, is that they are based on quite unrealistic assumptions: constant final number of cells,no cell deaths, exponential distribution of lifetimes, or time homogeneity. Using a model for estimation, when thedata have been generated by another one, necessarily induces a bias on estimates.Several sources of bias has been partially dealed until now: non-exponential lifetimes, cell deaths, fluctuations of the final count of cells,dependence of the lifetimes, plating efficiency. The time homogeneity remains untreated.This thesis contains probabilistic and statistic study of mutation models taking into account the following bias sources:non-exponential and non-identical lifetimes, cell deaths, fluctuations of the final count of cells, plating efficiency.Simulation studies has been performed in order to propose robust estimation methods, whatever the modeling assumptions.The methods have also been applied to real data sets, to compare the results with the estimates obtained under classical models.An R package based on the different results obtained in this work has been implemented (joint work with Rémy Drouilhetand Stéphane Despréaux) and is available on the CRAN. It includes functions dedicated to the mutation models and parameter estimation.The applications have been developed for the Labex TOUCAN (Toulouse Cancer).
|
427 |
Vers une écologie sensible des rues du Caire : le palimpseste des ambiances d'une ville en transition / Towards a sensory ecology of Cairo streets : studying the palimpsest of urban ambiences of a city in a transitional phaseSaid, Noha Gamal 14 January 2014 (has links)
Proposer une relecture du sensible par le palimpseste est s'intéresser avant tout au temps de l'expérience. Il s'agit d'appréhender ce dernier en tant que matière dans la conception de la ville. Étant définie comme une stratification temporelle par la superposition des couches d'écriture, l'introduction de la métaphore palimpseste dans une réflexion sur les ambiances ajoute une épaisseur temporelle aux phénomènes sensibles. La figure «ambiance-palimpseste» montre comment la quotidienneté de l'expérience sensible s'inscrit dans une durée. Cette vision redéfinit l'ambiance comme une incarnation du passé dans le présent à travers un processus continu de sédimentation des traces. Le couplage «ambiance-palimpseste » incarne une puissance du temps dans laquelle le passé se recompose différemment avec la superposition de chaque présent. Entre la production des villes mémorielles et - ou - des villes artefacts, la pensée urbaine contemporaine marque une crise par rapport au temps où le présent fonctionnait comme une étanchéité temporelle, voire un tampon temporel entre le passé et le futur. Le terme « ambiance-palimpseste» resitue le présent dans son emplacement - l'entre-deux -, comme un interface à travers lequel les liens entre le futur et le passé sont rétablis. L'étude du sensible en épaisseur offre une nouvelle perspective dans la conception des villes et propose une autre approche temporelle où il s'agit de « faire avec » le temps, celui du passé et celui du futur. Elle propose une recompositions des valeurs sensibles du passé tout en se projetant vers le futur. Elle mêle la rétrospectivité et la prospectivité dans une approche qui vise à penser et à concevoir l'avenir de la ville autrement. Avec un tel objectif, cette thèse propose un dispositif de lecture du sensible en épaisseur, « la coupe temporelle », comme moyen de considérer l'expérience dans le temps et de déplier les couches des mémoires sédimentées. La coupe temporelle donne à lire les reliefs temporels de l'expérience. Elle marque un tournant dans la représentation de la ville, allant de la cartographie vers la stratigraphie. / Proposing a rereading of the sensory experience by the term palimpsest is above all focusing on « time ».This approach introduces time as a main material for designing cities. Being defined as a stratification of time by a continual re-writing, the metaphorical coupling of terms « ambiance-palimpsest » adds a temporal depth to the sensory phenomena. It point out how everyday life experience reflects a maintain over time. This vision redefines the ambience as an incarnation of the past in the present through a continuous process of sedimentation of traces. Ambience-palimpsest embodies a power of time in which the past is reconstructed differently with each time a new present is overlaid upon territory. Between the production of memorial cities and artifacts ones, the current contemporary urban thinking marks a crisis in dealing with time, in which the present functions as a buffer, isolating the past from the futur. The introduction of term palimpsest in the field of ambiences relocates the present as a connecting interface between the two temporal entities. Taking into consideration the temporal depth when analyzing the sensory experience, offers a new perspective of designing cities by recomposing the past sensory values in a projection to the future. It mixes a retrospective and prospective approaches for rethinking the future of cities. In such an interest, this thesis proposes an architectural reading tool « the temporal section » as a way to stroll in time and to unfold the layers of sediment memories. This architectural section, to which we add time as vertical dimension of place, helps reading the temporal configuration of the experience, thus marking a turning point in the representation of cities form cartography to stratigraphy.
|
428 |
Qualité de la conception de tests logiciels : plate-forme de conception et processus de test / Quality of the design of test cases for automotive software : design platform and testing processAwedikian, Roy 06 February 2009 (has links)
L’électronique dans les voitures devient de plus en plus complexe et représente plus de 30% du coût global d’une voiture. Par exemple, dans une BMW série 5 modèle 2008, on peut trouver jusqu’à 80 calculateurs électroniques communiquant ensemble et représentant aux alentours de 10 millions de lignes de code logiciel. Face à cette montée en complexité, les constructeurs et équipementiers électroniques de l’automobile s’intéressent de plus en plus à des méthodes efficaces de développement, vérification et validation de modules électroniques. Plus précisément, ils focalisent leurs efforts sur la partie logicielle de ces modules puisqu’elle est à l’origine de plus de 80% des problèmes détectés sur ces produits. Dans ce contexte, nous avons mené un travail de recherche dont l’objectif est de proposer une approche globale d’amélioration de la qualité des logiciels embarqués dans les véhicules. Notre recherche part d’un audit des processus et outils actuellement utilisés dans l’industrie électronique automobile. Cet audit a permis d’identifier des leviers potentiels d’amélioration de la qualité logicielle. En se basant sur les résultats de l’audit et en tenant compte de la littérature dans le domaine de la qualité logicielle, nous avons proposé une approche globale de conception de cas de test pour les produits logiciels. En effet, nous avons développé une plateforme de génération automatique de tests pour un produit logiciel. Cette plateforme consiste à modéliser les spécifications du produit logiciel pour le simuler lors de tests, à se focaliser sur les tests critiques (ayant une forte probabilité de détecter des défauts) et à piloter la génération automatique des tests par des critères de qualité ; telles que la couverture du code et de la spécification mais aussi le coût des tests. La génération de tests critiques est rendue possible par la définition de profils d’utilisation réelle par produit logiciel, ainsi que par la réutilisation des défauts et des tests capitalisés sur des anciens projets. En plus des aspects algorithmiques du test logiciel, notre approche prend en compte des aspects organisationnels tels que la gestion des connaissances et des compétences et la gestion de projet logiciel. Notre approche a été mise en œuvre sur deux cas d’étude réels d’un équipementier électronique automobile, disposant de données de tests historiques. Les résultats de nos expérimentations révèlent des gains de qualité significatifs : plus de défauts sont trouvés plus tôt et en moins de temps. / Nowadays, car electronics become more and more complex and represents more than 30% of the total cost of a car. For instance, in a 2008 BMW 5 series model, one can find up to 80 electronic modules communicating together and representing 10 million lines of software code. Facing this growing complexity, carmakers and automotive electronic suppliers are looking for efficient methods to develop, verify and validate electronic modules. In fact, they focus on the software part of these modules since it accounts for more than 80% of the total number of problems detected on these modules. In this context, we achieved our research project with the aim of proposing a global approach able to improve the quality of automotive embedded software. We started with an audit of the software practices currently used in automotive industry and we pinpointed potential levers to improve the global software quality. Based on the results of the audit and the literature review related to software quality, we developed a global approach to improve the design of test cases for software products. In fact, we developed a test generation platform to automatically generate test cases for a software product. It is mainly based on modeling the software functional requirements in order to be simulated when testing the software, focusing on critical tests to be done (because of their higher probability to detect a bug) and monitoring the automatic generation of tests by quality indicators such as the structural and functional coverage but also the tests cost. The generation of critical tests is based on the definition of real use profiles by software product and on the reuse of bugs and test cases capitalized on previous projects. Besides the computational aspects of software testing, our approach takes into account organizational matters such as knowledge management, competency management and project management. Our approach have been implemented in a computer platform and experimented on two typical case studies of an automotive electronic supplier, with historical test data. The results of our experiments reveal significant improvement in software quality: more bugs are detected earlier and in less time.
|
429 |
ARIMA demand forecasting by aggregation / Prévision de la demande type ARIMA par agrégationRostami Tabar, Bahman 10 December 2013 (has links)
L'objectif principal de cette recherche est d'analyser les effets de l'agrégation sur la prévision de la demande. Cet effet est examiné par l'analyse mathématique et l’étude de simulation. L'analyse est complétée en examinant les résultats sur un ensemble de données réelles. Dans la première partie de cette étude, l'impact de l'agrégation temporelle sur la prévision de la demande a été évalué. En suite, Dans la deuxième partie de cette recherche, l'efficacité des approches BU(Bottom-Up) et TD (Top-Down) est analytiquement évaluée pour prévoir la demande au niveau agrégé et désagrégé. Nous supposons que la série désagrégée suit soit un processus moyenne mobile intégrée d’ordre un, ARIMA (0,1,1), soit un processus autoregressif moyenne mobile d’ordre un, ARIMA (1,0,1) avec leur cas spéciales. / Demand forecasting performance is subject to the uncertainty underlying the time series an organisation is dealing with. There are many approaches that may be used to reduce demand uncertainty and consequently improve the forecasting (and inventory control) performance. An intuitively appealing such approach that is known to be effective is demand aggregation. One approach is to aggregate demand in lower-frequency ‘time buckets’. Such an approach is often referred to, in the academic literature, as temporal aggregation. Another approach discussed in the literature is that associated with cross-sectional aggregation, which involves aggregating different time series to obtain higher level forecasts.This research discusses whether it is appropriate to use the original (not aggregated) data to generate a forecast or one should rather aggregate data first and then generate a forecast. This Ph.D. thesis reveals the conditions under which each approach leads to a superior performance as judged based on forecast accuracy. Throughout this work, it is assumed that the underlying structure of the demand time series follows an AutoRegressive Integrated Moving Average (ARIMA) process.In the first part of our1 research, the effect of temporal aggregation on demand forecasting is analysed. It is assumed that the non-aggregate demand follows an autoregressive moving average process of order one, ARMA(1,1). Additionally, the associated special cases of a first-order autoregressive process, AR(1) and a moving average process of order one, MA(1) are also considered, and a Single Exponential Smoothing (SES) procedure is used to forecast demand. These demand processes are often encountered in practice and SES is one of the standard estimators used in industry. Theoretical Mean Squared Error expressions are derived for the aggregate and the non-aggregate demand in order to contrast the relevant forecasting performances. The theoretical analysis is validated by an extensive numerical investigation and experimentation with an empirical dataset. The results indicate that performance improvements achieved through the aggregation approach are a function of the aggregation level, the smoothing constant value used for SES and the process parameters.In the second part of our research, the effect of cross-sectional aggregation on demand forecasting is evaluated. More specifically, the relative effectiveness of top-down (TD) and bottom-up (BU) approaches are compared for forecasting the aggregate and sub-aggregate demands. It is assumed that that the sub-aggregate demand follows either a ARMA(1,1) or a non-stationary Integrated Moving Average process of order one, IMA(1,1) and a SES procedure is used to extrapolate future requirements. Such demand processes are often encountered in practice and, as discussed above, SES is one of the standard estimators used in industry (in addition to being the optimal estimator for an IMA(1) process). Theoretical Mean Squared Errors are derived for the BU and TD approach in order to contrast the relevant forecasting performances. The theoretical analysis is supported by an extensive numerical investigation at both the aggregate and sub-aggregate levels in addition to empirically validating our findings on a real dataset from a European superstore. The results show that the superiority of each approach is a function of the series autocorrelation, the cross-correlation between series and the comparison level.Finally, for both parts of the research, valuable insights are offered to practitioners and an agenda for further research in this area is provided.
|
430 |
Contribution à une théorie générale de la conception / Contribution to a general theory of designHuysentruyt, Johnny 03 May 2013 (has links)
La thèse propose une contribution à une théorie générale de la conception visant à mettre en évidence des concepts communs à une grande variété de domaines.Après une analyse de l’état de la question, la thèse propose un cadre conceptuel ainsi qu'une analyse détaillée des concepts de projet, d’artefact, d’espace de conception, de processus de conception, d’organisation de conception et enfin, des activités cognitives du concepteur. Une étude de cas illustre les différents concepts. Les conclusions mettent en évidence l’apport et les limites de la contribution. / The thesis formulates a contribution to a general theory of design that aims at identifying concepts common to large number of design domains.After the analysis of the state of the art, the thesis formulates a conceptual framework as well as an in-depth analysis of following concepts: project, artefact, design space, design process, design organisation and the cognitive processes at the level of the designer. A case study provides an illustration of the different concepts. The conclusion highlights the added value and the limits of the contribution.
|
Page generated in 0.0846 seconds