Model-checking de systèmes probabilistes

Indicateurs RAMS La fiabilité d’un système est l’aptitude de ce système à accomplir une fonction requise dans des conditions données, pendant une durée donnée. La fiabilité se mesure par la probabilité que le système accomplisse la fonction requise pendant l’intervalle...

Suivi de cible non-communicante dans un environnement homogène

Suivi de cible non-communicante  dans un environnement homogène Motivation Les modèles prédictifs sont des modèles mathématiques qui permettent d’anticiper certains événements ou situations. Ils sont utilisés dans de nombreux domaines comme les finances, le trafic routier, les prévisions météorologiques ou...

Fusion de réseaux causaux possibilistes

Critère de d-séparation La séparation dans les graphes orientés est plus complexe que dans les graphes non orientés. En effet, il ne suffit pas de savoir si au moins un nœud de tout chemin entre X et Y appartient à...

MODELISATION HYDROLOGIQUE

Télécharger le fichier original (Mémoire de fin d'études) Classification des modèles Outre les différentes définitions obtenues en fonction du point de vue du modélisateur, il est également possible de les classifier par types d’approche. Ces approches ne sont pas exclusives...

Développement et mise en place d’une méthode de classification multi-blocs

Développement et mise en place d’une méthode de classification multi-blocs La pollution de l'air intérieur La contamination de l'air intérieur est souvent due à la présence nombreux polluants chimiques, biologiques ou physiques [Kirchner et al. 2011; De Baudouin 2006] provenant...

Modélisation Bayésienne pour la Factorisation de Matrices Positives

Modélisation Bayésienne pour la Factorisation de Matrices Positives Modélisation bayésienne  L’objet principal de la Statistique est de mener, grâce à l’observation d’un phénomène aléatoire, une inférence sur la distribution probabiliste à l’origine de ce phénomène, c’est-à-dire de fournir une analyse...

CONCEPTION DES ÉVALUATIONS EXTERNES STANDARDISÉES- QUESTIONS DE VALIDITÉ

CONCEPTION DES ÉVALUATIONS EXTERNES STANDARDISÉES- QUESTIONS DE VALIDITÉ Nous abordons dans cette partie, les différentes évaluations externes existant en France et mises en œuvre par la DEPP (Direction de l’évaluation de la prospective et de la performance) en fin d’école,...

WordNet, ressources externes pour l’extraction des descripteurs

Télécharger le fichier original (Mémoire de fin d'études) Concepts de base de la RI Selon [salton, 1971b] la recherche d’information est l’ensemble des techniques permettant de sélectionner à partir d’une collection de documents, ceux qui sont susceptibles de répondre au...

Romuald ELIE et Olivier WINTENBERGER

Romuald ELIE et Olivier WINTENBERGER Le risque est intrinsèquement lié à la vie et aux activités humaines. On sait par expérience que, même en faisant preuve de prudence, il n’est pas possible d’éliminer le risque, ni d’en exclure totalement la...

MODALITÉS DE CONTRÔLE DES CONNAISSANCES

MODALITÉS DE CONTRÔLE DES CONNAISSANCES Le risque est intrinsèquement lié à la vie et aux activités humaines. On sait par expérience que, même en faisant preuve de prudence, il n’est pas possible d’éliminer le risque, ni d’en exclure totalement la...