Дисертації: "Modèles qualitatifs"

1

Gordon, Adrian. "Modèles informels qualitatifs en découverte scientifique." Paris 11, 1995. http://www.theses.fr/1995PA112527.

Повний текст джерела

Анотація:

Chapitre 1. Introduction. Le sujet general de la these est discute, et le contenu des autres chapitres est presente. Chapitre 2. Recherches liees. Les travaux anterieurs dans les domaines de decouverte scientifique automatique et d'apprentissage automatique sont examines. Plusieurs aspects differents de la decouverte scientifique sont consideres, tel que l'induction de descriptions generalisees de donnees, la construction et la revision de modeles structurels, et la revision, a partir de la theorie, de modeles de processus. Les travaux dans l'apprentissage automatique consideres ici sont des travaux qui concernent l'integration de l'apprentissage analytique et l'apprentissage empirique a partir des similarites. Chapitre 3. Une architecture pour la decouverte scientifique a partir de modeles. Ce chapitre presente une theorie de la decouverte scientifique. Il decrit les connaissances et les processus necessaires pour faire de la decouverte a partir de modeles structurels. Il decrit les caracteristiques des problemes scientifiques qui nous concernent ici. L'interet general de la these se trouve dans la science normale plutot que la science revolutionnaire, kuhn (1970), et dans les domaines scientifiques a theorie faible. L'utilisation du terme modele dans la litterature de la science automatique est revue, et la definition de ce terme utilisee dans le reste de la these est presentee. On introduit l'idee des modeles qualitatifs informels (mqi) pour decrire les modeles qui nous concernent dans ce travail. La theorie de la decouverte scientifique presentee dans ce chapitre prend forme d'une architecture pour un systeme de decouverte automatique. Cet architecture est basee sur celle decrite deja dans (sleeman, et al. 1989) et elaboree dans (stacey, 1992). Chapitre 4. La connaissance scientifique et les modeles qualitatifs informels. Dans ce chapitre, quelques domaines scientifiques sont exp

Стилі APA, Harvard, Vancouver, ISO та ін.

2

Cornillon, Emilien. "Modèles qualitatifs de réseaux génétiques : réduction de modèles et introduction d'un temps continu." Thesis, Université Côte d'Azur (ComUE), 2017. http://www.theses.fr/2017AZUR4085/document.

Повний текст джерела

Анотація:

Les méthodes formelles informatiques constituent un outil très puissant pour la modélisation des réseaux génétiques et en particulier pour l'étude de leur dynamique. La modélisation discrète de René Thomas permet à la fois de représenter judicieusement les connaissances biologiques et d'utiliser les méthodes formelles. Cependant, ces modèles présentent deux limitations principales : la combinatoire sous-jacente ne permet pas de traiter des réseaux de très grande taille et les aspects chronométriques ne sont pas pris en compte. Cette thèse offre deux contributions respectivement liées à ces questions. La modélisation des réseaux génétiques commence par la sélection des entités les plus pertinentes pour la question abordée. Les réseaux obtenus restent souvent trop grands et nous cherchons donc à les réduire sans altérer les propriétés dynamiques importantes. Ici, nous définissons un cadre entièrement formel inspiré d'une technique d'Aurélien Naldi pour la suppression de variables et de seuils. Ces réductions conservent les comportements asymptotiques et permettent de prouver formellement l'équivalence asymptotique de différents modèles publiés d'un même réseau. Pour prendre en compte les informations chronométriques cruciales dans certains systèmes (e.g. cycle circadien), nous définissons un formalisme hybride fondé sur le formalisme de Thomas où les niveaux d'expression sont discrets, mais le temps continu. Ce cadre permet de construire un modèle abstrait de l'horloge circadienne des mammifères qui explique avec très peu de variables les propriétés de robustesse face à des changements de durées des alternances jour/nuit
Formal methods from computer science constitute a powerful tool for the modelling of gene networks, including the study of their dynamics. The discrete modelling of René Thomas allows for a proper representation of biological knowledge as well as for use of formal methods. These models have two main limitations: the underlying combinatorics does not allow one to process very large networks, and the chronometric aspects are not taken into account. This thesis offers two contributions according to these issues. The design of gene network models begins with a selectiCalibrion of the most relevant entities. The resulting networks are often too large, and we show how to reduce them without altering the important dynamic properties. Here, we define a completely formal framework, inspired by a technique from Aurélien Naldi, driving the suppression of variables or thresholds. These reductions preserve the asymptotic behaviour. We formally prove the asymptotic equivalence of different published models for the same network. In order to take into account chronometric information that are crucial in some systems (e.g. circadian cycle), we define a hybrid formalism based on the Thomas' formalism where expression levels are discrete but time is continuous. This framework allows for the construction of an abstract model of the circadian clock in mammals. The model explains with very few variables the robustness of the system when submitted to duration changes of the day/night alternation

Стилі APA, Harvard, Vancouver, ISO та ін.

3

Briquet, Ferri. "Les systèmes experts : Outils d'élaboration de modèles qualitatifs générateurs de choix financiers." Lille 1, 1992. http://www.theses.fr/1992LIL12004.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

4

Batt, Grégory. "Validation de modèles qualitatifs de réseaux de régulation génique : une méthode basée sur des techniques de vérification formelle." Phd thesis, Université Joseph Fourier (Grenoble), 2006. http://tel.archives-ouvertes.fr/tel-00012040.

Повний текст джерела

Анотація:

Les réseaux de régulation génique contrôlent le développement et le fonctionnement des organismes vivants. Etant donné que la plupart des réseaux de régulation génique d'intérêt biologique sont grands et que leur dynamique est complexe, la compréhension de leur fonctionnement est un problème biologique majeur. De nombreuses méthodes ont été développées pour la modélisation et la simulation de ces systèmes. Etonnamment, le problème de la validation de modèle n'a reçu jusqu'à récemment que peu d'attention. Pourtant, cette étape est d'autant plus importante que dans le contexte de la modélisation de réseaux de régulation génique, les systèmes modélisés sont complexes et encore imparfaitement connus.

Dans cette thèse, nous proposons une approche permettant de tester la validité de modèles de réseaux de régulation génique en comparant les prédictions obtenues avec les données expérimentales. Plus spécifiquement, nous considérons dans ce travail une classe de modèles qualitatifs définis en termes d'équations différentielles linéaires par morceaux (LPM). Ces modèles permettent de capturer les aspects essentiels des régulations géniques, tout en ayant une forme mathématique simple qui facilite leur analyse symbolique. Egalement, nous souhaitons utiliser les informations qualitatives sur la dynamique du système données par les changements du sens de variation des concentrations des protéines du réseau. Ces informations peuvent être obtenues expérimentalement à partir de profils d'expression temporels.

La méthode proposée doit satisfaire deux contraintes. Premièrement, elle doit permettre d'obtenir des prédictions bien adaptées à la comparaison avec le type de données considéré. Deuxièmement, étant donné la taille et la complexité des réseaux d'intérêt biologique, la méthode doit également permettre de vérifier efficacement la cohérence entre prédictions et observations.

Pour répondre à ces deux contraintes, nous étendons dans deux directions une approche précédemment développée par de Jong et collègues pour l'analyse symbolique des modèles LPM qualitatifs. Premièrement, nous proposons d'utiliser une représentation plus fine de l'état du système, permettant d'obtenir, par abstraction discrète, des prédictions mieux adaptées à la comparaison avec les données expérimentales. Deuxièmement, nous proposons de combiner cette méthode avec des techniques de model checking. Nous montrons que l'utilisation combinée d'abstraction discrète et de model checking permet de vérifier efficacement les propriétés dynamiques, exprimées en logique temporelle, des modèles continus.

Cette méthode a été implémentée dans une nouvelle version de l'outil Genetic Network Analyzer (GNA 6.0). GNA 6.0 a été utilisé pour la validation de deux modèles grands et complexes de l'initiation de la sporulation chez B. subtilis et de la réponse au stress nutritionnel chez E. coli. Nous avons ainsi pu vérifier que les prédictions obtenues étaient en accord avec la plupart des données expérimentales disponibles dans la littérature. Plusieurs incohérences ont également été identifiées, suggérant des révisions des modèles ou la réalisation d'expériences complémentaires. En dehors d'une contribution à une meilleure compréhension du fonctionnement de ces systèmes, ces deux études de cas illustrent plus généralement que, par la méthode proposée, il est possible de tester si des prédictions obtenues pour des modèles complexes sont cohérentes avec un large éventail de propriétés observables expérimentalement.

Стилі APA, Harvard, Vancouver, ISO та ін.

5

Weng, Paul An-Lin. "Modèles qualitatifs et approches algébriques pour la décision dans l'incertain : fondements axiomatiques et application à la décision séquentielles." Paris 6, 2006. http://www.theses.fr/2006PA066432.

Повний текст джерела

Анотація:

Cette thèse s'intéresse aux problèmes de décision dans l'incertain. L'approche classique pour la résolution de ces problèmes repose sur l'utilité espérée EU (représentation cardinale des préférences, représentation probabiliste de l'incertain). On suppose de plus une décomposition additive des utilités dans le cas de la décision séquentielle. Ce modèle connaît cependant quelques limites, notamment opérationnelles du fait du niveau d'information qu'il requiert. De plus, pour certains problèmes en décision séquentielle, la décomposition additive n'est pas toujours pertinente. Dans cette thèse, nous étudions des alternatives à l'approche classique, notamment les modèles qualitatifs pour la prise de décision dans des situations d'information pauvre. De plus, par une démarche algébrique, nous étudions les contreparties de EU dans des représentations non probabilistes de l'incertain et l'admissibilité de l'induction arrière pour des préférences non classiques en décision séquentielle.

Стилі APA, Harvard, Vancouver, ISO та ін.

6

Charles, Anne. "Aide à la détection d'anomalies de fonctionnement de systèmes dynamiques : une approche fondée sur des modèles qualitatifs et quantitatifs." Compiègne, 1992. http://www.theses.fr/1992COMPD494.

Повний текст джерела

Анотація:

Raisonner à partir de modèles permet de résoudre certains problèmes posés par les systèmes experts de première génération. Jusqu'à présent, l'utilisation de modèles pour le diagnostic avait surtout été étudiée dans le cadre de systèmes statiques. Afin d'étendre cette étude au cas des systèmes dynamiques continus, nous proposons, dans cette thèse, une méthodologie de diagnostic appelée QDIAG, dont l'idée principale est la suivante : à partir d'un ensemble de modèles qualitatifs du système représentant son fonctionnement normal et ses pannes connues, nous comparons le résultat de la simulation de ces modèles avec les données fournies par les capteurs pour sélectionner les modèles qui produisent les résultats les plus en accord avec les données reçues. L'ensemble des modèles sélectionnés (modèles candidats) à un moment donné constitue le diagnostic évolutif du système. QDIAG a été conçue pour fonctionner en ligne. Pour cela, elle utilise la connaissance de diagnostic qu'elle a acquise et compilée hors-ligne. Elle est donc constituée de deux phases. La phase hors-ligne a pour but de construire les différents modèles du système, de simuler ces modèles avec l'algorithme QSIM, d'analyser les résultats des simulations pour ne prendre en compte que les comportements des variables observées et de classifier les modèles en fonction de leurs prédictions. La phase en ligne se décompose en trois parties : le pré-diagnostic qui consiste à sélectionner les modèles candidats au moyen de la classification accomplie hors-ligne; l'interprétation des mesures qui traduit des séquences de mesures en comportements qualitatifs; le diagnostic proprement dit, qui assure la comparaison entre les interprétations qualitatives et les prédictions pour affiner au cours du temps l'ensemble des modèles candidats. QDIAG a été testée et illustrée avec un système simple : un réservoir dont le niveau est contrôlé par un contrôleur proportionnel.

Стилі APA, Harvard, Vancouver, ISO та ін.

7

Brulebois, Etienne. "Impacts du changement climatique sur la disponibilité de la ressource en eau en Bourgogne : aspects quantitatifs et qualitatifs." Thesis, Dijon, 2016. http://www.theses.fr/2016DIJOS027/document.

Повний текст джерела

Анотація:

De nombreuses études portant sur les impacts du changement climatique sur la ressource en eau ont été réalisées à l'échelle des grands bassins versants continentaux, celle des petits bassins versants demeurant peu étudiée. La région Bourgogne se situe à la croisée de plusieurs bassins hydrographiques (Seine, Loire, Rhône), et offre une grande diversité de contextes hydrogéologiques. Les impacts du changement climatique sont susceptibles de varier localement et leur détermination requiert l'implémentation d'une chaîne de modélisation hydroclimatique à l'échelle locale. L'objectif de cette thèse a consisté en la mise en place d'un tel outil de modélisation à l'échelle des petits bassins versants de Bourgogne. Un échantillon de bassins versants et deux modèles hydrologiques de conceptualisation différente ont été choisis : un modèle pluie-débit global (GR4J) et un modèle semi-distribué à base physique (SWAT). Ces modèles ont permis d'approcher les différents aspects des impacts sur la ressource en eau (débit à l'exutoire, ressource spatialisée, qualité de l'eau). Les modèles ont été calibrés, et leur robustesse a été testée en contexte de changement climatique, validant ainsi leur utilisation sur une période future. Une désagrégation spatiale des données climatiques a été nécessaire afin d'alimenter les modèles hydrologiques sur la période de projection. L'analyse de données observées a permis de mettre en évidence une rupture dans les températures de surface en 1987/88 (en Bourgogne comme en France métropolitaine), et une modification des régimes hydrologiques de part et d'autre de cette rupture. Les projections réalisées sur la période 1980-2100 ont permis de montrer : i) peu d'évolution des débits moyens annuels mais une accentuation de la saisonnalité, via une augmentation des débits hivernaux et une diminution des débits estivaux, en lien avec le régime des précipitations et avec l'augmentation de l'évapotranspiration. ii) des indicateurs d'étiages montrant une aggravation de leur sévérité et une emprise temporelle plus grande durant l'année hydrologique, iii) une qualité de l'eau dégradée. Afin d'ouvrir de nouvelles perspectives grâce à cette chaîne de modélisation (en termes aide à la décision), l'aptitude de la chaîne de modélisation à évaluer les impacts de divers scénarios de changement de pratiques agricoles a été testée
Numerous studies dealing with climate change impacts on water ressources have been done at global scale, but the moderated size watersheds scale is less studied. The Burgundy region is located over several hydrographical basins (Seine, Loire and Rhône river), and provides a great diversity of hydrogeological and climate contexts. For these reasons, impacts of climate change on water resources are expected to be very different in space, and require an entire hydroclimatic modelling chain at local scale to be assessed. The main objective of this thesis consisted of the implementation of a modelling tool at the moderated-size watersheds scale of Burgundy. In this way, several watersheds and two hydrological models have been chosen : a global and empirical rainfall-runoff model (GR4J) and a physical based and semi-spatialised model (SWAT). These two models allow us to assess every aspects of climate change impacts : quantitative (streamflow and spatialised ressource) and qualitative impacts.Models have been calibrated, including a cross calibration/validation test in climate contrasted periods, to confirm their robustness. A disaggregation of global climate data has been done in order to feed models during projection.Observations analysis highlighted a climate shift (in Burgundy as well as over the entire french territory), resulting in a modification of hydrological regime. Models projection over the XXIth century showed i) not much evolution of annual streamflow, but an accented seasonality, with an increase of winter streamflow, and a decrease of summer streamflow, linked with the rainfall regime and the evapotranspiration increase, ii) drought flow indices showing an increase of severity of the drought flow period, iii) a decrease in water quality. In order to explore the capacities of the modelling chain, several sensibility tests have been done, based on management practices scenarios

Стилі APA, Harvard, Vancouver, ISO та ін.

8

Loesel, Corinne. "Un modèle de raisonnement hypothétique et temporel pour la physique qualitative." Nancy 1, 1995. http://www.theses.fr/1995NAN10211.

Повний текст джерела

Анотація:

Cette thèse traite de l'intégration de plusieurs raisonnements, et en particulier de trois types de raisonnement: hypothétique, qualitatif et temporel. L’étude des différents systèmes proposés en physique qualitative nous a montré l'importance du temps, et donc la nécessité de l'intégration entre le raisonnement temporel et le raisonnement qualitatif. Cette étude nous a également montré la faiblesse des raisonnements utilisant pour domaine des valeurs un espace des quantités fondé sur les signes. De même, l'utilisation des ordres de grandeur ne permet pas de manipuler des valeurs quantitatives, parfois nécessaires dans les systèmes physiques. C’est donc pour ces raisons que notre système, qui est construit en particulier pour traiter des problèmes de la physique qualitative, utilisera un espace des quantités fondé sur les intervalles avec une algèbre d'intervalle appropriée. Un deuxième volet de notre travail consistait à étudier les systèmes de maintien de la vérité et le raisonnement temporel, et de voir de quelle manière nous pouvions les intégrer pour faire du raisonnement qualitatif. Notre approche est fondée sur le système HEART de Joubel et Raiman, qui est une intégration entre le raisonnement temporel et le raisonnement hypothétique. Cependant, nous y intégrons une composante qualitative qui prend ses valeurs dans un espace reposant sur les intervalles. La composante temporelle est elle aussi de type intervalle. Le système que nous avons développé permet donc de prendre en compte l'aspect temporel de manière explicite utilise habituellement de manière implicite dans les systèmes de physique qualitative. De plus, l'utilisation d'un ATMS permet de réduire le graphe obtenu pour une simulation qualitative classique. Nous pouvons également prévoir l'intégration d'un simulateur causal, qui permettra d'expliquer pourquoi et comment le système a réagi de telle manière. Il a été appliqué avec succès dans le domaine de la robotique

Стилі APA, Harvard, Vancouver, ISO та ін.

9

Binet, Aurélien. "Analyse qualitative et quantitative du remodelage vasculaire utérin sur deux modèles murins d'insuffisance placentaire : modèle hyperthermie et modèle anémie ferriprive." Thesis, Tours, 2012. http://www.theses.fr/2012TOUR3301.

Повний текст джерела

Анотація:

Le retard de croissance intra-utérin par altérations vasculaires placentaires affecte 4% des grossesses actuelles. Ses mécanismes d’installation encore inconnus ont un impact pédiatrique important responsable d’une mortalité non négligeable. La combinaison d’un retard de croissance intra-utérin et de modifications vasculaires placentaires sur un modèle animal est nécessaire pour comprendre ces mécanismes et envisager une étude thérapeutique ultérieure. Le but de ce projet est de mettre au point dans un premier temps un modèle animal qui associe au retard de croissance intra-utérin les modifications vasculaires placentaires retrouvées dans la physiopathologie humaine. Pour cela, deux modèles animaux murins ont été étudiés : l'hyperthermie en fin de gestation et l’anémie par carence martiale pré et péri-gestationnelle. Une étude qualitative et quantitative par échographie (échographie Doppler et échographie de contraste) associée à une étude anatomopathologique. immuno-histochimiques et spectroscopique des placentas a été réalisée. L’optimisation du modèle animal définitif a requis dans un premier temps la mise au point de repères anatomiques inexistants à l'heure actuelle permettant la reproductivité des mesures échographiques ainsi que la mise en évidence de l’innocuité du produit de contraste échographique utilisé. Une étude placentaire globale nous a permis d’enregistrer des modifications structurelles liées au modèle analysé. L’étude de ces deux modèles animaux nous a permis d’établir un protocole de mesure standardisé et de mettre en évidence l’absence d’effet de l’utilisation du produit de contraste échographique sur la gestation. L’hyperthermie tout comme la carence martiale sont responsables d'un retard de croissance intra-utérin avec un effet dose dépendant. Les modifications vasculaires placentaires retrouvées dans le modèle hyperthermie à type d'ischémie-hémorragique n’apparaissent pas consécutives à des modifications vasculaires installées mais séquellaires de cet incident aigu. Les modifications hémodynamiques enregistrées dans le cadre de la carence martiale sont plutôt en faveur de modifications vasculaires en accord avec la pathologie humaine. L’étude spectroscopique ne met pas en évidence de changement métabolomique particulier. Ces deux modèles permettent donc l’installation d’un retard de croissance intra-utérin corrélé positivement à l’intensité du protocole. Le modèle anémie tend à se rapprocher au mieux de la pathologie humaine ; son étude reste à approfondir sur des effectifs plus conséquents
The intra-uterin growth restriction by placental vascular modifications affects 4% of the current pregnancies. lt’s still unknown installation mechanism has an important pediatric impact with a significant mortality. The association of intra-uterin growth restriction and placental vascular defects on an animal model is necessary to understand this mechanism and envisage a therapeutic study later. The aim of Ibis project is to establish at first an animal model which associates intra-uterin growth restriction and vascular placental modifications found in the human physiopathology For that purpose, two murine models were studied : hyperthermia at the end of the gestation and anaemia by iron deficiency before and during the gestation. A qualitative and quantitative study by ultrasonography (Doppler ultrasonography and contrast ultrasonography) associated with anatomopathological, immune-histochemical and spectroscopic studies of the placentas was realized. The optimization of the definitive animal model required at first anatomical marks development, allowing reproduction of the ultrasonographic measures as well as revelation of the ultrasound contrast product harmlessness. A global placental study allowed us to note structural modifications connected to the analyzed model. The study of these two animals models allowed us to establish a standard measuring protocol and show that ultrasonographic contrast product use had no effect on the gestation. The hyperthermia, as the iron deficiency, is responsible of an intra-uterin growth restriction with a positive effect dose related. The vascular placental modifications found in the hyperthermia model as hemorrhage and ischaemia areas do not appear as the result of vascular modifications but after-effects of this acute incident. The hemodynamical modifications registered within the framework of the iron deficiency are rather in favour of vascular modifications in agreement with the human pathology. The spectroscopic study does not show metabolomic modifications. These two models allow the installation of an intra-uterin growth restriction positively correlated with the protocol intensity. The anaemia model gets closer to the human pathology; its study remains b he continued with more consequent numbers

Стилі APA, Harvard, Vancouver, ISO та ін.

10

Darwich, Mohamad. "Etude qualitative de modèles dispersifs." Thesis, Tours, 2013. http://www.theses.fr/2013TOUR4004/document.

Повний текст джерела

Анотація:

Dans cette thèse nous nous intéressons aux propriétés qualitatives des solutions de quelques équations d’ondes en milieux dispersifs ou dispersifs-dissipatifs. Dans le premier chapitre, nous étudions l’explosion de solutions dans le régime log-log et l’existence globale pour le problème de Cauchy de l’équation de Schrödinger L2-critique amortie. Dans un second chapitre, nous considérons l’équation de Schrödinger L2-critique avec un amortissement non linéaire. Selon la puissance du terme d’amortissement, nous montrons l’existence globale ou l’explosion en régime log-log. Dans le troisième chapitre, nous étudions le problème de Cauchy pour l’équation de Kadomtsev-Petviashvili-Burgers-I (KPBI) en deux dimensions,nous montrons que le problème est localement bien posé dans Hs(R2) pour tout s > -½, et que l’existence est globale dans L2(R2) sans aucune condition sur la donnée initiale. Dans le dernier chapitre, nous considèrons l’équation d’Ostrovsky sur le cercle, et nous construisons des mesures invariantes par le flot selon les quantitées conservées par cette équation
This thesis deals with the qualitative properties of solutions to some wave equations in dispersive or dispersive-dissipative media. In the first chapter, we study the blowup in the log-log regime and global existence of solutions to the Cauchy problem for the L2-critical damped nonlinear Schrödinger equation. In the second chapter, we consider the Cauchy problem for the L2-critical nonlinear Schrödinger equation with a nonlinear damping. According to the power of the damping term, we prove the global existence or the existence of finite time blowup dynamics with a log-log blow-up law. In the third chapter, we study the Cauchy problem for the Kadomtsev-Petviashvili-Burgers-I (KPBI) equations in two dimensions. We show that the problem is locally and globally well posed in Hs(R2) for any s > -½ , and that the existence is global in L2(R2) without any condition on the initial data. In the last chapter, we consider the Ostrovsky equation on the circle. We construct invariant measures under the flow for the conserved quantities of the equation

Стилі APA, Harvard, Vancouver, ISO та ін.

11

Medimegh, Slim. "Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLC093/document.

Повний текст джерела

Анотація:

Le logiciel embarqué est devenuaujourd’hui incontournable dans la plupart dessecteurs industriels. Ce dernier fait appel engénéral à des connaissances métier différentes.L’ensemble du système (le logiciel et sonenvironnement) est ainsi spécifié d’une manièrehétérogène, avec des parties discrètes et d’autrescontinues. La simulation de ces systèmeshybrides nécessite des données précises et unesynchronisation des changements continus avecles transitions discrètes. Mais, dans les premièresphases de conception, l’absence des informationsempêche de simuler le système numériquement.Dans notre thèse, nous présentons un nouveaulangage qualitatif dédié à la simulationqualitative des systèmes hybrides. Ce nouveaulangage consiste à modéliser les relations entreles variables du système. Il est implémenté dansDiversity, un moteur d’exécution symbolique,pour construire les traces du système. Nousavons appliqué cette approche à l’analyse desmodèles SysML, en utilisant une transformationM2M à partir de SysML vers un langage pivot,une transformation M2T à partir de ce langagevers Diversity. Nous avons aussi analysé lestraces brutes de l’exécution symbolique deDiversity pour construire les comportementsqualitatifs du système
Embedded software has becomeessential in most industrial sectors. The latterusually involves various business knowledge.The whole system (the software and itsenvironment) is specified in a heterogeneousform, with discrete and continuous parts.Simulating these hybrid systems requiresprecise data and synchronization of continuouschanges and discrete transitions. However, inthe first design steps, missing informationforbids numerical simulation. We present in ourthesis a new qualitative language for qualitativesimulation of hybrid systems, which consists incomputing the relationships between the systemvariables. This language is implemented in theDiversity symbolic execution engine to build thetraces of the system. We apply this approach tothe analysis of SysML models, using an M2Mtransformation from SysML to a pivot language,an M2T transformation from this language toDiversity. We also analyze the brutal symbolictraces obtained by Diversity to build the realqualitative behaviors of the system

Стилі APA, Harvard, Vancouver, ISO та ін.

12

Buchet, Samuel. "Vérification formelle et apprentissage logique pour la modélisation qualitative à partir de données single-cell." Thesis, Ecole centrale de Nantes, 2022. http://www.theses.fr/2022ECDN0011.

Повний текст джерела

Анотація:

La compréhension des mécanismes cellulaires à l’œuvre au sein des organismes vivants repose généralement sur l’étude de leur expression génétique. Cependant, les gènes sont impliqués dans des processus de régulation complexes et leur mesureest difficile à réaliser. Dans ce contexte, la modélisation qualitative des réseaux de régulation génétique vise à établir la fonction de chaque gène à partir de la modélisation discrète d’un réseau d’interaction dynamique. Dans cette thèse, nous avons pour objectif de mettre en place cette approche de modélisation à partir des données de séquençage single-cell. Ces données se révèlent en effet intéressantes pour la modélisation qualitative, car elles apportent une grande précision et peuvent être interprétées de manière dynamique. Nous développons ainsi une méthode d’inférence de modèles qualitatifs basée sur l’apprentissage automatique de programmes logiques. Cette méthode est mise en œuvre sur des données single-cell et nous proposons plusieurs approches pour interpréter les modèles résultants en les confrontant avec des connaissances préétablies
The understanding of cellular mechanisms occurring inside human beings usually depends on the study of its gene expression.However, genes are implied in complex regulatory processes and their measurement is difficult to perform. In this context, the qualitative modeling of gene regulatory networks intends to establish the function of each gene from the discrete modeling of a dynamical interaction network. In this thesis, our goal is to implement this modeling approach from single-cell sequencing data. These data prove to be interesting for qualitative modeling since they bring high precision, and they can be interpreted in a dynamical way. Thus, we develop a method for the inference of qualitative models based on the automatic learning of logic programs. This method is applied on a single-cell dataset, and we propose several approaches to interpret the resulting models by comparing them with existing knowledge

Стилі APA, Harvard, Vancouver, ISO та ін.

13

Jost, Christian. "Comparaison qualitative et quantitative de modèles proie-prédateur à des données chronologiques en écologie." Phd thesis, INAPG (AgroParisTech), 1998. http://tel.archives-ouvertes.fr/tel-00005771.

Повний текст джерела

Анотація:

La présente thèse compare deux modèles proie-prédateur avec les dynamiques temporelles de
systèmes observés en laboratoire ou sur le terrain. Le premier modèle suppose que la réponse
fonctionnelle dépend uniquement de la densité des proies, et présente donc les caractéristiques
des modèles où les abondances sont contrôlées "de haut en bas". Au contraire, le second
modèle considère que la réponse fonctionnelle dépend du ratio entre densité de proies et densité de prédateurs, et inclut donc une régulation des abondances "de bas en haut".L'analyse
mathématique de ce modèle ratio-dépendant fait apparaître des dynamiques de bord riches avec
de multiples attracteurs, dont l'un est l'origine (extinction des deux populations). La différence
majeure entre les deux modèles réside dans leurs prédictions sur la réponse d'un système à
l'enrichissement: déstabilisation, et augmentation de l'abondance à l'équilibre du prédateur
uniquement dans le modèle proie-dépendant, stabilité inchangée et augmentation de l'abondance
à l'équilibre des proies et des prédateurs dans le modèle ratio-dépendant. La comparaison de ces
deux modèles avec le modèle verbal PEG (décrivant la dynamique planctonique dans les lacs)
montre que tous deux peuvent rendre compte de cette dynamique si des changements saisonniers
sont introduits dans les valeurs d'un ou plusieurs paramètres. Nous comparons quantitativement
les deux modèles avec différents types de séries temporelles de systèmes proie-prédateur
par la méthode du maximum de vraisemblance. Les données concernant des protozoaires ou
des arthropodes (en laboratoire) sont en général mieux décrites par le modèle proie-dépendant.
Pour l'interaction phytoplancton-zooplancton, les deux modèles conviennent aussi bien l'un que
l'autre. Le fait d'utiliser les deux modèles peut alors permettre de détecter parmi les prédictions
celles qui sont sensibles à la prédateur-dépendance et, éventuellement, d'orienter des recherches
supplémentaires.

Стилі APA, Harvard, Vancouver, ISO та ін.

14

Jais, Jean-Philippe. "Modèles de régression pour l'analyse de données qualitatives longitudinales." Paris 7, 1993. http://www.theses.fr/1993PA077065.

Повний текст джерела

Анотація:

Les deux principales classes de modèles de régression pour l'analyse des données qualitatives longitudinales ont été étudiées: les équations d'estimation généralisées (GEE) et les modèles a effets mixtes (MIXLOG). Les propriétés statistiques des(GEE) sur des échantillons de taille finie ont été ensuite explorées par des techniques de simulation qui montrent que l'estimation de la variance des paramètres est biaisée sous certaines conditions. Nous avons montre, grâce a la théorie des modèles additifs généralisés, que les propriétés de GEE et de MIXLOG peuvent être étendues a des modèles ou le prédicteur est une somme de fonctions quelconques des covariables initiales. à partir de ce résultat original, des méthodes permettant une description non paramétrique de la liaison réponse-covariable ont été développées. Ces nouvelles méthodes ont été comparées a GEE et MIXLOG sur la base de données médicales, la survenue des complications immédiates observées au cours des échanges plasmatiques

Стилі APA, Harvard, Vancouver, ISO та ін.

15

Mégret, Lucile. "Explosions de cycles : analyses qualitatives, simulations numériques et modèles." Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066359/document.

Повний текст джерела

Анотація:

Ce travail porte sur de nouvelles explosions de cycles (orbites périodiques), l'étude de leur structure par l'analyse qualitative, leur mise en évidence par simulation numérique (Auto, Xpp) et la discussion de leur pertinence dans des modèles mathématiques dans les neurosciences. De telles explosions se produisent dans les systèmes dynamiques lents-rapides. La plupart des neurones sont excitables, dès 1940, Hodgkin identifia trois classes fondamentales d'axones excitables distinguées par leurs réponses à un courant injecté d'amplitude variable. A l'aide de la fonction de Lambert, nous étudions la transition entre les types I et II par des explosions de cycle incomplètes, initiées par une bifurcation de Hopf singulière et qui se terminent dans une bifurcation homocline dans des systèmes une variable rapide/une variable lente. Vient ensuite une étude poussée du système de Hindmarsh-Rose. Il s'agit d'un système deux variables rapides/une variable lente qui produit des oscillations en salves (ou bursting). Nous généralisons la notion d'ensembles candidats-limites-périodiques (clp) aux systèmes tridimensionnels, il s'agit des ensembles invariants du système à la limite singulière. A l'aide de ces derniers, nous obtenons une description très fine de la déformation du cycle limite jusqu'à l'addition d'un nouveau spike au burst. Nous finissons par une étude de la minimalité du modèle de F. Clément et J.-P. Françoise. Ce dernier est un système 4D qui modélise l¿activité des neurones à GnRH. Nous étudions un système une variable rapide/deux variables lentes qui reproduit certaines des caractéristiques du modèle 4D, notamment des Mixed-Modes oscillations
This thesis is focussed on the analysis of novel explosions of limit cycles (periodic orbits). We provide a study of their structure by qualitative analysis, exhibit evidences of their existence by numerical simulations (Auto, Xpp) and propose a discussion of their relevance in mathematical modeling for neurosciences. Such explosions occur in the slow-fast dynamical systems. Most of neurons are excitable, Hodgkin (1940) identified three fundamental classes of excitable axon distinguished by their responses to a current of variable amplitude injected. Using the Lambert function, we study the transition between types I and II by incomplete explosion of cycle. This explosion, produced by a planar vector field with one fast/one slow variable, is initiated by a singular Hopf bifurcation and ends via a homoclinic bifurcation. The next chapter proposed a study of the Hindmarsh-Rose system. This system, composed of one fast/ two slow variables, is well known to produce square wave bursting oscillation. We generalize the notion of candidate-limit-perodic sets (CLP-sets) to three-dimensional systems. A CLP-set is an invariant set of the system in the singular limit. Using these, we get a very acurate description of the limit cycle deformation under the variation of a parameter until the addition of a new spike to burst. Finally, we propose a study fot the minimality of the model introduced by F. Clement and J.-P. Françoise. The latter is a 4D system that models the activity of GnRH neurons. We study a system composed by one fast /two slow variables that reproduces some of the features of the 4D model, including Mixed-Modes oscillations

Стилі APA, Harvard, Vancouver, ISO та ін.

16

Angles, Jean. "Étude qualitative des vibrations en présence d'obstacle d'un système mécanique." Paris 11, 1996. http://www.theses.fr/1996PA112426.

Повний текст джерела

Анотація:

L'étude porte sur un modèle de vibrations avec contraintes unilatérales. Le phénomène est modélisé dans un premier temps cas par un système à un degré de liberté subissant des contraintes convexes et une éventuelle perte d'énergie cinétique au cours des impacts : quand le point représentatif du système heurte le bord du convexe des contraintes, la vitesse est renversée et multipliée par un coefficient de restitution. Dans un second cas, on considère un système à nombre fini de degrés de libertés soumis à des contraintes convexes, mais qui ne subit pas de perte d'énergie cinétique au moment de l'impact de façon à prendre en compte le rôle joué par l'inertie de la structure. Dans le cadre du modèle à un degré de liberté, on considère d'abord, le cas où la contrainte est représentée par une paroi rigide. Dans ce cas, après avoir recherché des orbites périodiques qui comportent un impact par période on étudie leur stabilité locale en définissant une application de premier retour de Poincaré, dont on montre qu'elle est régulière. Cela nous permet de déterminer dans un plan des paramètres les domaines où le comportement du modèle est asymptotiquement stable et les domaines où il est instable. On effectue le même travail dans le cas où il y a deux parois disposées de manière symétrique ou non par rapport au point d'équilibre du système. On étudie la stabilité locale de certains points de bifurcation afin d'en préciser la nature, en écrivant une variéte centrée dans leur voisinage. On montre l'existence d'un attracteur global pour les modèles à une et deux parois. Enfin, on compare des résultats expérimentaux aux résultats numériques pour une structure plus élaborée.

Стилі APA, Harvard, Vancouver, ISO та ін.

17

Papadacci, Stephanopoli Emmanuel. "Evaluation qualitative et quantitative de scénarios d'évolution de l'organisation et de son système d'information." Phd thesis, Université Panthéon-Sorbonne - Paris I, 2008. http://tel.archives-ouvertes.fr/tel-00364062.

Повний текст джерела

Анотація:

L'arbitrage est une étape essentielle du processus de gestion de l'évolution d'une organisation et de son système d'information, en particulier lors des études d'Urbanisme du SI. Le but de la méthode NENO est de fournir une assistance aux décideurs lors de la réalisation d'arbitrages dans ce contexte. L'arbitrage induit un processus de priorisation qui s'applique à de très grands ensembles d'exigences. Les approches de priorisation classiques en « requirement engineering » sont toutes confrontées à un problème de scalabilité lié au fait qu'elles considèrent les exigences individuellement. La multiplicité des alternatives et des critères de décisions présentés aux décideurs ne permet pas l'application des techniques classiques.
La méthode NENO consiste au contraire à regrouper les exigences (représentées sous la forme de buts fonctionnels) de manière à offrir qu'un nombre restreint d'alternatives aux décideurs. Ces regroupements effectués sont conformes aux dépendances entre buts, et s'exercent à différents niveaux d'abstraction. Conformément à la pratique au sein des organisations, les critères de décisions sont représentés sous la forme d'objectifs métiers que celles-ci doivent atteindre à moyen et long terme. Les buts sont individuellement évalués par des experts métier quant à leur faculté à satisfaire tout ou partie des objectifs métiers. Le recueil des évaluations est participatif, progressif et qualitatif. Un ensemble d'algorithmes permet de transposer et agréger les évaluations qualitatives en résultats quantitatifs dans le but de présenter les résultats sous la forme de priorités.

Стилі APA, Harvard, Vancouver, ISO та ін.

18

Marbac-Lourdelle, Matthieu. "Modèles de mélange pour la classification non supervisée de données qualitatives et mixtes." Thesis, Lille 1, 2014. http://www.theses.fr/2014LIL10068/document.

Повний текст джерела

Анотація:

Cette thèse propose une contribution originale pour la classification non supervisée de données qualitatives ou de données mixtes. Les approches proposées sont à base de modèles probabilistes ayant pour but de modéliser la distribution des données observées. Dans les cas de données qualitatives ou mixtes, il est d'usage de supposer l'indépendance entre les variables conditionnellement à la classe. Cependant, cette approche s'avère biaisée lorsque l'hypothèse d'indépendance conditionnelle est erronée. L'objet de cette thèse est d'étudier et de proposer des modèles relâchant l'hypothèse d'indépendance conditionnelle. Ceux-ci doivent permettre de résumer chaque classe par quelques paramètres significatifs. La première partie de cette thèse porte sur la classification non supervisée de données qualitatives. Lorsque ces données sont corrélées au sein des classes, le statisticien est confronté à de nombreux problèmes combinatoires (grand nombre de paramètres et choix de modèle complexe). Notre approche consiste à relâcher l'hypothèse d'indépendance conditionnelle en regroupant les variables en blocs conditionnellement indépendants. Cette méthode nous amène à présenter deux modèles probabilistes. Ceux-ci définissent la distribution d'un bloc de manière à limiter le nombre de paramètres du modèle tout en fournissant un modèle facilement interprétable. Le premier modélise la distribution d'un bloc de variables par le mélange des deux distributions de dépendances extrêmes tandis que le second modèle utilise une distribution multinomiale par modes. La seconde partie de cette thèse porte sur la classification non supervisée de données mixtes. La difficulté spécifique à de telle données est due à l'absence de distribution de référence pour le cas de variables de différentes natures. Ainsi, on souhaite définir un modèle probabiliste respectant les deux contraintes suivantes. Tout d'abord, les distributions marginales de chacune des composantes doivent être des distributions classiques afin de faciliter l'interprétation du modèle. De plus, le modèle doit permettre de caractériser les dépendances intra-classes par quelques paramètres significatifs. Ce cahier des charges nous amène naturellement à utiliser la théorie des copules. Ainsi, nous proposons un modèle de mélange de copules gaussiennes que nous considérons comme la contribution majeure de cette thèse. Pour ce modèle, nous effectuons une inférence bayésienne à partir d'un échantillonneur de Gibbs. Les critères d'information classiques (BIC, ICL), nous permettent de répondre aux problématiques de choix de modèles
This work is our contribution to the cluster analysis of categorical and mixed data. The methods proposed in this manuscript modelize the data distribution in a probabilistic framework. When the data are categorical or mixed, the classical model assumes the independence between the variables conditionally on class. However, this approach is biased when the variables are intra-class correlated. The aim of this thesis is to study and to present some mixture models which relax the conditional independence assumption. Moreover, they have to summarize each class with few characteristic parameters. The first part of this manuscript is devoted to the cluster analysis of categorical data. The categorical variables are difficult to cluster since they leave the statistician facing with many combinatorial challenges. In this context, our contribution consists in two parsimonious mixture models which allow to cluster categorical data presenting intra-class dependencies. The main idea of these models is to group the variables into conditionally independent blocks. By setting specific distributions for these blocks, both models consider the intra-classdependencies between the variables. The first approach modelizes the block distribution by a mixture of two extreme dependency distributions while the second approach modelizes it by a multinomial distribution per modes. The study of the cluster analysis of mixed data sets is the second objective of this work. The challenge is due to the lack of classical distributions for mixed variables. Thus, we defined a probabilistic model respecting two main constraints. Firstly, the one-dimensional margin distributions of the components are classical for each variables. Secondly, the model characterizes the main intra-class dependencies. This model is defined as a mixture of Gaussian copulas. The Bayesian inference is performed via a Gibbs sampler. The classical information criteria (BIC, ICL) permit to perform the model selection

Стилі APA, Harvard, Vancouver, ISO та ін.

19

Niu, Wei. "Qualitative analysis of biological systems using algebraic methods." Paris 6, 2011. http://www.theses.fr/2011PA066170.

Повний текст джерела

Анотація:

Cette thèse est consacrée à l'analyse qualitative des systèmes biologiques, modélisés comme des systèmes d'équations différentielles ou d'équations aux différences, en utilisant des méthodes algébriques. Nous avons étudié les problèmes de la détection d’états d’équilibre, de l'analyse de stabilité et de différents types de bifurcations, et de la construction de cycles limites pour des modèles biologiques continus et discrets. Nous montrons comment réduire les problèmes de l'analyse qualitative aux problèmes de résolution de systèmes polynomiaux ou semi-algébriques. Ensuite, nous expliquons comment ces problèmes formulés peuvent être résolus en utilisant une approche algébrique basée sur les méthodes d'ensembles triangulaires, des bases de Gröbner, d’élimination des quantificateurs, et de l’isolement et la classification des solutions réelles. De nombreuses expériences ont été réalisées sur les modèles biologiques différents et certains d'entre eux ont été présentés dans cette thèse, en démontrant l'efficacité des méthodes algébriques pour l'analyse qualitative de ces modèles. Les statistiques de temps en forme de tableau ont également été fournies pour comparer les performances des différentes méthodes algébriques. Nous avons développé un progiciel Maple pour l'analyse qualitative des modèles biologiques. Pour le système d’auto-assemblage de micelle avec puits chimiques, un modèle biochimique plane non linéaire, sa stabilité, trois types de bifurcations, et cycles limites ont été analysés en détail. Les conditions algébriques exactes sur les paramètres de ce système sont dérivées pour décrire les types de bifurcations et la stabilité et les types des points de bifurcation.

Стилі APA, Harvard, Vancouver, ISO та ін.

20

Rougny, Adrien. "Méthodes qualitatives pour la construction et l'analyse des réseaux moléculaires SBGN." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLS325/document.

Повний текст джерела

Анотація:

La construction des réseaux moléculaires à partir de résultats expérimentaux, ainsi que leur analyse en vue d'en exhiber des propriétés émergentes, sont deux tâches fondamentales de la biologie des systèmes. Avec l'augmentation du nombre de données expérimentales, elles ne peuvent plus être réalisées manuellement. Partant de ce constat, un certain nombre de méthodes bioinformatiques visant à les automatiser ont été développées.En parallèle du développement des méthodes, un certain nombre de standards ont vu le jour. Parmi ceux-ci, la Standard Biology Graphical Notation (SBGN) se compose de trois langages permettant la représentation des réseaux moléculaires.Les deux langages SBGN les plus couramment utilisés sont SBGN-PD pour la représentation des réseaux de réactions, et SBGN-AF pour celle des graphes d'influences. La notation SBGN, en plus de standardiser la représentation des réseaux, donne l'ensemble des concepts de la biologie des systèmes qui sont le plus souvent utilisés pour exprimer les connaissances du domaine.C'est dans ce cadre général que se placent l'ensemble de nos travaux. Nous avons développé un ensemble de méthodes pour la construction des réseaux moléculaires et l'analyse de leur dynamique. L'ensemble des méthodes que nous proposons reposent sur des formalismes qualitatifs, tels que la logique ou les réseaux d'automates. Ces formalismes on non seulement des bases théoriques solides, mais peuvent aussi être utilisés par de nombreux logiciels.L'ensemble de nos méthodes reposent également sur les concepts biologiques fournis par le standard SBGN, et peuvent ainsi être intégrées dans un même cadre théorique.Nous introduisons d'abord deux ensembles de prédicats qui permettent de traduire n'importe quel réseau SBGN-PD ou SBGN-AF sous la forme d'atomes instanciés. Nous montrons ensuite comment ces deux ensembles peuvent être utilisés pour raisonner automatiquement sur des réseaux moléculaires, en proposant une méthode de transformation automatique des réseaux de signalisation SBGN-PD en graphes d'influences SBGN-AF.Nous présentons ensuite une méthode de construction des réseaux de signalisation à partir de résultats expérimentaux, basée sur la logique du premier ordre. Cette méthode formalise et automatise le raisonnement réalisé par les biologistes à l'aide de règles de raisonnement explicites. Contrairement aux méthodes développées jusqu'à maintenant, celle que nous présentons prend en compte un grand nombre de types d'expériences, tout en permettant la reconstruction de mécanismes moléculaires précis.Puis nous montrons une nouvelle méthode pour le calcul des traces finies et des points attracteurs de réseaux Booléens modélisant des réseaux SBGN-AF et paramétrés à l'aide de principes généraux. Notre méthode repose sur l'utilisation de programmes logiques normaux du premier ordre, qui formalisent ces principes généraux.Enfin, nous proposons deux nouvelles sémantiques qualitatives pour le calcul de la dynamique des réseaux de réactions SBGN-PD, exprimées à l'aide de réseaux d'automates. La première de ces sémantiques étend la sémantique Booléenne des réseaux de réactions en prenant en compte les inhibitions. Quant à la deuxième, elle introduit le concept d'histoire (story) qui offre un nouveau point de vue sur les réseaux de réactions, en permettant de modéliser différents états physiques d'une même entité moléculaire par une seule variable.L'ensemble des méthodes que nous avons développées montrent comment les formalismes qualitatifs, et en particulier la logique, peuvent être utilisés pour raisonner à partir des relations représentées par les réseaux moléculaires, afin de découvrir de nouvelles connaissances en biologie des systèmes
Two fundamental tasks of Systems Biology are the construction of molecular networks from experimental data, and their analysis with a view to discovering their emergent properties. With the increase of available experimental data, these two tasks can no longer be realized by hand. Based on this observation, numerous bioinformatics methods aiming at the automation of these two task have been developped.In parallel, standards aiming at defining and organizing terms of systems biology, or representing networks and mathematical models, have been developped. Among these standards, the Standard Biology Graphical Notation is composed of three languages that allow the representation of molecular networks. The two main SBGN languages are SBGN-PD for the representation of reaction networks, and SBGN-AF for the representation of influence graphs. The SBGN notation not only standardizes the representation of networks, but also gives the concepts of systems biology that are most often used to express knowledge of the field.Our work takes its root in this general background. We have developped a number of methods to construct molecular networks and analyze their dynamics. All the methods that we propose are based on qualitative formalisms, such as logics or automata networks. These formalisms have solid theoretical bases and can be used by numerous pieces of software. All our methods also rely on the biological concepts given by the SBGN standard, and can therefore be blended in the same theoretical framework.First, we introduce two sets of predicates that allow to translate any SBGN-PD or SBGN-AF network into a set of ground atoms. Then, we show how these sets of predicates can be used to reason on networks, by proposing a transformation method of SBGN-PD signaling networks into SBGN-AF influence graphs.Second, we present a first-order logic based method to construct signaling networks from experimental results. This method formalizes and automatizes biologists' reasoning using explicit reasoning rules.On the contrary to existing methods, it allows to take into account numerous types of experimental results while reconstructing precise molecular mecanisms.Third, we show a new method to compute the finite traces and attractor points of Boolean networks that model SBGN-AF networks and that are parameterized using general principles.Finally, we introduce two new qualitative semantics for the computation of the dynamics of SBGN-PD reaction networks. These semantics are expressed using automata networks. The first semantics extends the classical Boolean semantics by taking into account inhibitions. As to the second one, it relies on the concept of story which introduces a new point of view on reaction networks. Indeed, it allows to model different physical states of the same molecular entity using a unique variable.All the methods that we have developped show how qualitative formalisms can be used to reason on the relations represented by molecular networks in order to discorver new knowledge in systems biology

Стилі APA, Harvard, Vancouver, ISO та ін.

21

Valet, Fabien. "Analyse de la reproductibilité d'un critère qualitatif ordinal entre deux lectures à partir des modèles log-linéaires d'association et des modèles d'association à classes latentes." Paris 6, 2007. http://www.theses.fr/2007PA066058.

Повний текст джерела

Анотація:

Dans le domaine biomédical, les échelles qualitatives ordinales sont couramment utilisées pour évaluer, par exemple, la sévérité d'une pathologie. Il est primordial de s'assurer de la qualité de ces échelles, et la reproductibilité des mesures effectuées sur ces échelles en est une composante essentielle. Classiquement, la statistique du Kappa pondéré permet d'évaluer le niveau de reproductibilité entre deux mesures, mais cet indice résumé présente des défauts. Les modèles log-linéaires d'association et les modèles d'association à classes latentes présentés dans ce travail permettent d'analyser la structure de la concordance entre deux mesures. Nous proposons un nouveau modèle construit à partir de paramètres traduisant la distinguabilité entre les catégories adjacentes, modèle dont les résultats peuvent conduire à des modifications de l'échelle pour en améliorer la qualité. Des exemples d'application sont donnés dans différents domaines médicaux.

Стилі APA, Harvard, Vancouver, ISO та ін.

22

Raoux, Aurore. "Approche écosystémique des énergies marines renouvelables : étude des effets sur le réseau trophique de la construction du parc éolien au large de Courseulles-sur-Mer et du cumul d'impacts." Thesis, Normandie, 2017. http://www.theses.fr/2017NORMC251.

Повний текст джерела

Анотація:

Dans le cadre de la transition énergétique, le gouvernement Français prévoit la constructionde huit parcs éoliens en mer (offshore) le long des côtes Manche-Atlantique parmi lesquels le futurparc éolien au large de Courseulles-sur-mer. A ce jour, il n’existe pas d’étude globale et intégrée deseffets de la construction et de l’exploitation de ces parcs sur l’écosystème. L’innovation principale decette thèse a donc été de poser les bases d’une approche écosystémique des Energies MarinesRenouvelables (EMR) à travers l’exemple du futur parc éolien de Courseulles-sur-mer. Pour ce faire,une combinaison d’outils de modélisation a été utilisée afin de : 1) caractériser le fonctionnement etla structure de l’écosystème du site d’implantation du parc ; 2) tester des scénarios d’évolutionpossible du fonctionnement trophique du système. Ainsi, un modèle de réseau trophique et troisscénarios ont été construits afin d’analyser les conséquences de l’effet récif et réserve générées par leparc sur l’écosystème. Les indices de l’analyse des réseaux écologiques ainsi que d’autres indices telsque le niveau trophique moyen ont été analysés afin de caractériser le fonctionnement du système.Toutefois, conscient que cet écosystème est menacé par de multiples pressions, il estnécessaire de comprendre comment ces activités humaines vont interagir entre elles et quelles sontleurs conséquences sur l’écosystème dans un contexte de changements globaux. Ainsi, une visionglobale des impacts cumulés a également été développée grâce à un autre type de modélisation appelé'modélisation qualitative’ ou en ‘digraphe orienté’. Les résultats ont mis en évidence des changementsdans la structure et le fonctionnement de l’écosystème après la mise en place du parc éolien. Lesrésultats de ces modèles pourraient être utilisés dans la définition de mesures de suivi aprèsl’installation du parc et dans l’évaluation de la nécessité de mettre en place des mesures decompensation. Enfin, les modèles qualitatifs pourraient également servir d’outils de communicationavec le public et ainsi permettre une meilleure appropriation des projets EMR
As part of the energy transition, the French government is planning the construction of eightOffshore Wind Farms (OWF) along the English Channel and Atlantic coasts including the Courseulles-sur-mer OWF. Until now, there is no holistic study on the OWF construction and operation effects onan ecosystem taken as a whole. This thesis is the first study to lay the foundations for an ecosystemapproach of Marine Renewable Energy (MRE) through the Courseulles-sur-mer OWF example. For thata combination of innovative modelling tools was applied to 1) characterise the ecosystem structureand functioning before the OWF construction; 2) simulate the impacts of this future OWF on theecosystem structure and functioning. A food-web model and three scenarios were constructed toinvestigate the “reef” and “reserve” effects induced by the OWF on the ecosystem. Ecological NetworkAnalysis indices, other ecosystem attributes and Mean Trophic Level were derived to investigate theecosystem health and state.However, being aware that this ecosystem is threatened by multiple perturbations, there is aneed to understand how human activities interact to influence ecosystem functioning in a long termclimate change context. Thus, a holistic view of cumulated impacts on the Courseulles-sur-mer’ecosystem through the use of an oriented signed digraph was also developed. Results highlighted acombination of significant changes in the food-web structure and ecosystem functioning. These resultscan play a vital role in both decision making by improving long term planning for the marineenvironment but also as tool for communication with the public and so contribute to a betteracceptability of MRE project

Стилі APA, Harvard, Vancouver, ISO та ін.

23

Feray, Beaumont Stéphane. "Modèle qualitatif de comportement pour un système d'aide à la supervision des procédés." Grenoble INPG, 1989. http://www.theses.fr/1989INPG0113.

Повний текст джерела

Анотація:

On définit un modèle qualitatif du comportement des procédés afin de disposer d'une représentation des connaissances adaptée au caractère multi-tâche de la supervision et fournir des explications sur le fonctionnement des procédés, aux opérateurs

Стилі APA, Harvard, Vancouver, ISO та ін.

24

Rouzic, Sylvain. "Les logiques de professionnalisation des entraîneurs sportifs : entre modèles socioculturels et profils individuels." Thesis, Paris, CNAM, 2015. http://www.theses.fr/2015CNAM1014/document.

Повний текст джерела

Анотація:

Le statut et la fonction de l'entraîneur sportif se sont progressivement développés avec la naissance du sport moderne, à partir de la fin du XVIIIe siècle. Du début du XXe siècle à aujourd'hui, le modèle le plus prégnant est celui du technicien de « terrain » dont les méthodes se construisent avant tout sous l'influence socioculturelle dans laquelle il est « baigné ». À partir des années 1980, le processus de professionnalisation qui s'est développé a eu comme conséquence une subdivision des modèles stabilisés en nombreux profils individuels, qui vont bien au-delà du simple triptyque technicien-meneur d'hommes-stratège, mis en avant dans les différentes représentations de sens commun. L'analyse des discours de vingt entraîneurs sportifs, choisis pour représenter au mieux l'ensemble de cette population, nous permet de confirmer les modèles socioculturels connus, et de faire apparaître des profils individuels variés. Elle permet surtout de mettre en évidence l'ensemble des logiques de professionnalisation de cette population. Qu'elles soient communicationnelles, techniques, organisationnelles ou de formation, ces logiques ont comme intérêt scientifique de montrer comment les entraîneurs sportifs se construisent professionnellement aujourd'hui
The status and function of the sport coach have steadily developed since the birth of modern-era sport, in the late 18th century. From the early 20th c. to the present day, the most significant model is that of the field technician whose methods have been built under the influence of his or her social and cultural background. The 1980s saw the emergence of a professionalisation process which subdivided the existing patterns into a variety of individual models, going further beyond the mere three-dimensional combination of the technician-leader-strategist that seems to be the most received representation. Material collected from twenty interviews with sport trainers who were chosen as the best possible sample of the population has been analyzed. This analysis both confirms the received social and cultural patterns and highlights various individual models. In particular, it traces all the logical sequences that define the professionalisation of the population.Be they related to communication, techniques, organisation or training, these sequences find their scientific value in the demonstration they make of how sport coaching takes shape nowadays

Стилі APA, Harvard, Vancouver, ISO та ін.

25

Verbèke, Cédric. "Quelques modèles d'équations d'évolution des surfaces : existence globale, explosion en temps fini et diverses propriétés qualitatives." Poitiers, 2005. http://www.theses.fr/2005POIT2347.

Повний текст джерела

Анотація:

Nous considérons des modèles d'équations d'évolution de surfaces de films minces de liquides visqueux liés à des phénomènes de mouillage, d'écoulement, d'étalement de gouttelettes, mécanique etc. Ces situations conduisent à des équations paraboliques nonlinéaires dégénérées en h=h(x,t), la hauteur du film de fluide. Nous présentons ici, sous des conditions portant sur la donnée initiale et les paramètres liés à ces problèmes, des résultats d'existence, d'unicité, de stabilité ou d'explosion en temps fini, d'abord pour des modèles généralisés d'ordre 4, puis pour un modèle comportant un terme linéaire d'ordre 6. Enfin, nous appliquons notre méthode à des équations de la mécanique des fluides, pour prouver l'existence d'un temps d'explosion, et en trouver une estimation
We are interested in equations modelling the viscous flows of thin films subject to phenomena like wetting, drainig flows, spreading droplets, mechanic etc. These situations lead to higher order nonlinear degenerate parabolic equations depending on the fluid film height denoted by h=h(x,t). Under conditions on the initial data and parameters of the problems, we give some results on existence, uniqueness, stability or blow-up time of solutions of generalized models of fourth order equations, and also of a model having a sixth order linear term. Then we use our method to solve a family of equations related to fluid mechanic. Existence and estimate of a blow-up time is shown

Стилі APA, Harvard, Vancouver, ISO та ін.

26

Ebde, Mohamed Abderrahman. "Modélisation biologique et étude qualitative de quelques exemples d'équations aux dérivées partielles." Paris 6, 2010. http://www.theses.fr/2010PA066623.

Повний текст джерела

Анотація:

Cette thèse est consacrée à quelques cas de modélisation mathématique pour la biologie et à l'étude qualitative de quelques équations aux dérivées partielles. La première partie est consacrée à l'étude d'une équation de la chaleur non linéaire avec une structure de gradient. Nous utilisons les variables auto-similaires pour la construction une solution qui explose en temps fini. Nous montrons sa stabilité par rapport à des perturbations dans les données initiales. Enfin, nous donnons son profil à l'explosion. La deuxième partie est consacrée a l'étude du modèle de Keller-Segel (KS) pour les mouvements collectifs de cellules. Nous étudions deux variantes de ce modèle dans l'espace tout entier mathbb R^d avec geq 3 Nous établissons un nouveau résultat d'existence locale sans condition de petitesse sur la donnée initiale pour la variante parabolique-elliptique de (KS). D'autre part l'existence globale sous une condition de petitesse est améliorée. Puis nous montrons un résulat de concentration de la densité de cellules en temps finipour la variante parabolique-parabolique de (KS). Nous complétons notre étude par un outil de visualisation basé sur une réduction du système parabolique-elliptique à un système dynamique de type flot gradient en dimension finie. La troisième partie est consacrée à la modélisation mathématique de l'athérosclérose. Dans un premier temps nous proposons un système d'équations aux dérivées partielles de type réaction-diffusion pour la formation des plaques d'athéromes au niveau de la paroi artérielle et nous proposons quelques simulations numériques pour valider ce modèle. Dans un second temps, en tenant compte du changement hémodynamique dû à l'apparition de la plaque, nous proposons quelques modèles pour le développement latérale de la plaque d'athérome
This thesis is devoted to some mathematical modeling of biological issues and the qualitative study of some partial differential equations. The first part is devoted to the analysis of a nonlinear heat equation with a gradient structure. We use the formulation in self-similar variables to construct a blow-up solution in finite time, and we show its stability with respect to perturbations of the initial data. We also give its profil at the blow-up time. The second part is devoted to the classical Keller-Segel (KS) model for the collective motion of cells. We study two variants of this model in the whole space mathbb R^d for d\geq 3. We establish a new result of local existence without any smallness assumption on the initial density for the parabolic-elliptic variant of (KS). We improve the smallness condition for the global existence and we provide a comparison between a couple of blow-up criteria. Next we prove a new concentration phenomenon criteria for the fully parabolic KS model. This study is completed with a visualization tool based on the reduction of the parabolic-elliptic system to a finite-dimensional dynamical system of gradient flow type, sharing similar features with the infinite- dimensional system. The third part is devoted to the mathematical modeling of atherosclerosis. Initially we propose a system of partial differential equations of reaction-diffusion type for the formation of atherosclerotic plaques on the arterial wall and we propose some numerical simulations to validate this model. In a second step we take into account the hemodynamic changes due to the growth of the plaque, and we propose accordingly some models for the lateral progression of the atherosclerotic plaque

Стилі APA, Harvard, Vancouver, ISO та ін.

27

Raad, Ali. "Modèle prédictif à base d'approches qualitatives pour la contribution à la radiothérapie adaptative." Thesis, Lille 1, 2015. http://www.theses.fr/2015LIL10166.

Повний текст джерела

Анотація:

Le sujet de thèse s’inscrit dans le cadre de la lutte contre le cancer. La radiothérapie externe est une technique de traitement de cibles tumorales par des particules radioactives, sous guidage d’un système d’imagerie. L’efficacité de ce traitement à ciblage macroscopique dépend en partie de l’évolution de la cible biologique au cours du traitement, qui se programme sur plusieurs séances. Dans notre travail, nous nous sommes concentrés sur l’évolution temporelle de la cible biologique séance par séance. Le but est d’estimer l’espace couvert par son mouvement, et permettant de prédire le positionnement futur de la cible et corriger ou adapter le plan de traitement. Notre cible biologique microscopique dans le cas du cancer ORL est décrite par la glande parotide qui est sensible aux radiations. L’objectif est de minimiser l’accessibilité des rayons à cet organe lorsque la cible tumorale se trouve dans sa périphérie. Nous avons proposé deux méthodes de reconstruction en 3D de la parotide, à savoir B-Spline de Bézier bi-cubique et Marching cubes. Une fois la reconstruction est effectuée, le volume de la glande parotide, à chaque session est calculé. Une zone de sécurité autour de la glande parotide a été définie. Enfin, une classification des patients a été réalisée en se basant sur le dosage associé au traitement. A un niveau macroscopique, nous avons développé une approche d'aide à la décision pour affiner la position relative du patient sur la table de traitement. Cette approche est basée sur la modélisation par réseaux de neurones et spécifiquement MLP et RBF. La performance entre ces deux techniques a été analysée, suivant les positionnements géométriques des patients
The thesis subject is defined in the framework of the fight against cancer. External radiation therapy is a technical treatment of tumor targets by radioactive particles, under guidance of an imaging system. The effectiveness of this macroscopic targeting treatment depends in part on the evolution and movement of the biological target during the treatment, which is planned over several sessions. In our work, we focused to the temporal evolution of the biological target session by session. The goal is to estimate the space covered by the target movement in each session, and to predict the future position of the target and thus to correct or adapt the treatment plan. Our microscopic biological target in the case of head and neck cancer is described by the parotid gland which is sensitive to the radiation. The objective is to minimize avoid radiating the parotid, when the tumor is in its periphery. We proposed two 3D reconstruction methods of the parotid, namely B-Spline Bezier bi-cubic and Marching cubes. Once the reconstruction is performed, the volume of the parotid gland, at each session of treatment is calculated. A safety zone around the parotid gland was defined. Finally, a classification of the patients was performed based on the associated dose for the treatment.At a macroscopic level, we have developed a decision-support approach to refine the relative position of the patient on the treatment table. This approach is based on a modeling of Neural Network and especially MLP and RBF. The performance between two neuronal approximation techniques was analyzed, according to the geometrical positioning of patients

Стилі APA, Harvard, Vancouver, ISO та ін.

28

Souillot, Céline. "Approche psychodynamique qualitative et comparative des filicides : vers un modèle de causalité pluridimensionnel." Thesis, Université de Lorraine, 2012. http://www.theses.fr/2012LORR0048/document.

Повний текст джерела

Анотація:

Une revue de la littérature nous permet de mettre en évidence des facteurs sociaux, économiques, culturels, psychiatriques, épidémiologiques, psychodynamiques et intergénérationnels associés au passage à l'acte infanticide. Cependant, ces facteurs sont considérés indépendamment les uns des autres et sont répandus dans la population, sans mener à l'infanticide : ils ne peuvent donc pas être appréhendés comme étant des facteurs de risque de passage à l'acte. Cette recherche vise donc à proposer un modèle de causalité pluridimensionnel de ces meurtres d'enfants. Nous avons dans un premier temps développé une méthodologie qualitative puis une approche comparative, dans un second temps, est apparue indispensable. Nous avons comparé les facteurs et processus en jeu dans le passage à l'acte meurtrier avec un autre sous groupe psychopathologique, des femmes incarcérées pour violences sexuelles sur leur(s) enfant(s), et avec un groupe témoin. Cette approche comparative s'inscrit dans une démarche inductive, à partir des éléments mis en évidence au sein de la population d'étude. Les analyses cliniques ont mis en évidence un certain nombre de facteurs en jeu dans lepassage à l'acte filicide mais ne peuvent pas constituer des facteurs de risques ou de protection d'un passage à l'acte meurtrier à eux seuls. Les approches omparatives ont permis de dessiner un modèle de causalité pluridimensionnel en jeu dans les passages à l'acte filicide : des tableaux cliniques de population à risque VS protégée de passage à l'acte filicide sont proposés en conclusion
Thanks to a literary review we can highlight social, economic, cultural, psychiatric,epidemiological, psychodynamic and intergenerational factors connected to the committing childmurder. However these factors are considered separately and are widespread in the population without leading to infanticide and that's why they can't be considered as risk factors inducing its perpretation. This survey aims at proposing a multidimensional pattern of causality of these child murders.First, we developed a qualitative methodology but, subsequently a comparative approach seemed absolutely necessary. We compared the factors and the process at stake considering the perpretation of child murder with another psychopathological subgroup composed of women emprisoned for sexual assaults on their children and with a reference group.This comparative approach lies within the scope of inductive processes, starting from the elements spotted among the test population. The clinical analyses revealed some of the factors at stake in the carrying out of child murder but they can't be considered as risk factors or factors leading to murder for themselves. The comparative studies let us sketch a multidimensional causality pattern involved in child murdering: clinical charts comparing populations at risk and protected populations can be consulted at the end of this survey

Стилі APA, Harvard, Vancouver, ISO та ін.

29

Kettani, Driss. "Conception et implantation d'un modèle spatial qualitatif qui s'inspire du raisonnement spatial de l'être humain." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/nq39361.pdf.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

30

Amanzougarene, Fatiha. "Extension du modèle multidimensionnel aux faits qualitatifs. Application à l'analyse en ligne des gênes des chantiers urbains." Versailles-St Quentin en Yvelines, 2014. http://www.theses.fr/2014VERS0019.

Повний текст джерела

Анотація:

Les entrepôts de données et les systèmes OLAP constituent les principaux éléments d’un système d’information décisionnel. Ces dernières années, plusieurs travaux ont été menés, afin d’étendre les concepts des entrepôts de données classiques pour traiter de nouveaux types de données, dites complexes (texte, multimédia, géographique, etc. ). Dans cette thèse, nous nous sommes intéressés à la problématique de l’intégration de l’information qualitative dans l’analyse multidimensionnelle. Nos travaux sont guidés par une étude de cas sur les gênes des chantiers urbains. Après avoir défini la notion de gêne et déterminé les différents facteurs qui interviennent dans son évaluation, nous avons mis en évidence le besoin d'un modèle de représentation qualitative s’appuyant sur des règles et des connaissances expertes. Or, l'analyse multidimensionnelle dans les entrepôts de données traditionnels ne considère que des mesures quantitatives. Notre principale contribution est donc d'étendre le modèle multidimensionnel aux mesures qualitatives exprimées sous forme de termes linguistiques. Partant du constat que les connaissances expertes sont parfois incomplètes, notre deuxième contribution est de proposer une méthode originale de reconstruction de données manquantes dans le contexte des entrepôts de données. Ce modèle consiste à combiner la technique des k-plus proches voisins (KPPV) avec la programmation par contraintes pour assurer une meilleure prédiction des valeurs manquantes dans une table de faits d’un entrepôt de données classique ou qualitatif
Data warehouses and OLAP systems constitute the main elements of decision support systems. In recent years, several studies have been conducted in order to extend the capabilities of conventional data warehouse to handle complex data types (e. G. , text, multimedia, geographic, etc. ) In this thesis, we focused on the integration problem of qualitative information in multidimensional analysis. Our work are guided by a case study on urban building sites annoyances. After defining the notion of annoyance and determined the factors involved in its evaluation, we highlighted the need for a qualitative representation model based on rules and expert knowledge. However, conventional multidimensional data models only consider quantitative measures. Therefore, our main contribution is to extend the multidimensional model to treat qualitative measures expressed as linguistic terms. Considering that expert knowledge are sometimes incomplete, our second contribution is to propose an original model for missing data reconstruction in the context of data warehouses. This model consists in combining the constraint programming and a technique of machine learning, namely the k-nearest neighbor algorithm. In addition to its application in classical data warehouses, our model adapts to qualitative data warehouses, as in the annoyances analysis of urban building sites

Стилі APA, Harvard, Vancouver, ISO та ін.

31

Rifoe, Patrick Philippe. "Le management informationnel dans l'action publique d'urbanisation : dispositifs communicationnels des modèles français et d'Afrique francophone." Thesis, Lille 3, 2014. http://www.theses.fr/2014LIL30007/document.

Повний текст джерела

Анотація:

Le présent projet s'applique à problématiser la question des dispositifs par lesquels les politiques d'urbanisation voient le jour en France et dans les pays d'Afrique francophone.cette porte d'entrée permet d'aborder la production des politiques publiques dans les différents acteurs qui interagissent, mais également pose la question de la participation du citoyen dans un contexte marqué par la montée en généralité de l'impératif délibératif au mitan duquel les politiques publiques se légitiment aujourd'hui. en filigrane de ce questionnements, les mécanismes des différents dispositifs sont passés au cribles de la comparaison,à savoir; l'écologie des acteurs, les forces en présence et les fluctuations auxquelles elles sont soumises dans le déroulé de l'action,les médiations que produisent ces politiques ainsi que celles qui fluidifient les dispositifs énonciatifs,et les lieux à travers objets et interactions prennent place
This thesis of doctorate is about the communication in the urban projects. She is found on the international diffusion of the project logic as norm to make and to arrange the city. Diffusion that drive us to examine the communicational practice that the project allow. The norm project, today shared, does it imply some similarity in terms of communication? In a multipartenarial context, how does he organize the meeting apparatus? Until what point does to make the city imply him the involvement of the inhabitants? What are the issues of the communication that go with project? Two fields have been mobilized in a comparative perspective; the urban shutter of the Contract Getting out of Debt Contract Development (C2D) of Douala and the Big Urban Project (GPU) of Lille. 33 interviews, non participant observation, working papers and a significant corpus of press served to support a conceptual armature resting on the notions of apparatus and communication activity. The main results show a strong salience of communicational dissimilarity in the studied projects. These differences must be put in perspective with specific institutional contexts. Indeed, the communication in the C2D of Douala is minimal, implemented by internal actors to the Urban Community of Douala, but external to the team of project. In the case of the GPU, the implementation of the communication leans on outside operators to the project team, although the communicational activity is drived by the members of the aforesaid team. The place of the inhabitants deal to see a minimal involvement of the Douala casa whereas. In the Big Urban Project of Lille, we see an active continuum of the simple consultation to the coproduction of some facilities. Finally the accompaniment communication includes a strongsymbolic dimension in Lille whereas in Douala, it limits herself to evenementialisation who deserve of the Government Delegate close to the Douala Urban City Council

Стилі APA, Harvard, Vancouver, ISO та ін.

32

François, Édouard. "Interprétation qualitative du mouvement à partir d'une séquence d'images." Rennes 1, 1991. http://www.theses.fr/1991REN10062.

Повний текст джерела

Анотація:

Ce mémoire traite de l'analyse et de l'interprétation du contenu dynamique d'une scène observée par une caméra qui peut être aussi bien statique que mobile. L'approche proposée repose sur l'exploitation exclusive du mouvement apparent dans l'image, et sur l'utilisation d'outils et de modèles statistiques. Le problème implique fondamentalement une étape de segmentation au sens du mouvement. Il est en effet nécessaire de délimiter les régions dans l'image ayant un mouvement apparent différent avant de pouvoir localiser les objets effectivement mobiles ou de pouvoir identifier leur mouvement. Une nouvelle méthode de segmentation au sens du mouvement dans une séquence d'images a été développée. Elle ne requiert pas l'estimation explicite du champ des vitesses apparentes, et permet l'obtention de partitions stables et reliées dans le temps grâce a une approche de régularisation statistique. Ainsi l'interprétation du mouvement peut être effectuée en considérant plus de deux images successives. La caractérisation du contenu dynamique de la scène repose sur une étape intermédiaire réalisant un étiquetage qualitatif générique du mouvement. Celle-ci passe par la mise en place de descripteurs adaptes lies a la géométrie du champ de vitesse apparent, introduits suite a un développement linéaire du champ de vitesse. Un jeu de symboles ou étiquettes correspondant a des configurations cinématiques données est alors défini a partir de ces descripteurs. Le passage numérique-symbolique (des valeurs des descripteurs aux étiquettes qualifiant le mouvement 3d des régions analysées) est résolu par une approche statistique, reposant sur l'utilisation de tests de vraisemblance. Deux tâches d'analyse de scène dynamique ont été abordées : la détection des éléments effectivement mobiles d'une scène observée par une camera en mouvement ; l'identification de trois types de mouvement utiles a la détection d'obstacles pour la navigation d'un véhicule, mouvement approchant, éloignement, mouvement latéral. L'analyse n'implique aucune mesure 3d. Un ensemble significatif d'expérimentations a été mené. Des résultats tout a fait probants ont été obtenus sur des séquences d'images réelles correspondant a des situations complexes de scène d'extérieur

Стилі APA, Harvard, Vancouver, ISO та ін.

33

Schoeny, Alain. "L’évènement sportif, un modèle d’échanges communicationnels territorialisés : étude des inférences du contexte sur son système de relations." Thesis, Paris 11, 2011. http://www.theses.fr/2011PA113004.

Повний текст джерела

Анотація:

L’événement est un sujet rarement pris comme objet de recherche. Banalisé, il semble aller de soi. Cette absence de définition témoigne à la fois d’un manque de compréhension et de la difficulté de se saisir de ce « fait social ». Dans le domaine sportif, il est cependant un objet de convoitise pour son potentiel décrété de différenciation et d’avantages pressentis. Si les techniques de partenariat telles que le sponsoring, le mécénat et de relations publiques sont au niveau de leurs organisations plutôt bien connues, elles sont curieusement loin d’avoir révélé toutes leurs richesses du point de vue « communicationnel ».L’objectif de ce travail de recherche est donc d’identifier les mécanismes de la communication durant différentes formes d'événements sportifs. Entre manifestations internationales, d’entreprise ou séminaires sportifs (‘team building’, ‘incentive’, gratification, etc.), l’événement est au cœur d’un système relationnel complexe. Comme le souligne Edgar Morin pour comprendre cette complexité, il est nécessaire de changer de paradigme afin d’en saisir le sens. La relation alors invisible, demande un positionnement de recherche phénoménologique, compréhensif et constructiviste (Le Moigne).Ce « fait humain » est ainsi conçu comme un processus de contextualisation d’éléments situationnels. L’acteur social réinvente donc une nouvelle définition de la situation à laquelle il prend part en mettant en relation différents « artefacts ». Aussi, un courant de pensée en sciences de l’information et de la communication, prolongeant les travaux de l’Ecole de Palo Alto (Watzlawick & coll.), s'appuie sur de nouvelles méthodes d’analyse systémique qualitative et sémiotique situationnelle des communications pour comprendre la genèse du sens partagé par un ensemble d’acteurs en présence (Mucchielli).Les résultats obtenus par cette recherche originale proposent, en complémentarité des travaux effectués par ailleurs (Ferrand, Tribou, etc.), de revisiter un certain nombre de concepts comme la persuasion, l’influence, la modification, etc. du point de vue de l’acteur par la notion de communication territorialisée. Pour les sciences du management comme pour les sciences et techniques des activités physiques et sportives, ces nouvelles pistes de recherche s’inscrivent dans une « praxéologie » de la communication pour une meilleure compréhension de l’action et de son contexte (Quéré)
Event is a subject rarely considered as object of research topic. Trivialized, it seems obvious. This lack of definition shows both a lack of understanding and a difficulty in tacking "social action". In sport, however, it is an object of lust decreed for its potential benefits of differentiation and considered advantages. If techniques such as sponsoring, sponsorship and public relations are pretty well known within their organizations, curiously, they have far from having revealed all their wealth in terms "communicational".The objective of this research is to identify the mechanisms of different forms of communication during sporting events. In international events, business seminars or sports (team building, incentive, gratuity, etc.), the event is at the heart of a complex relational system. As Edgar Morin points out to understand this complexity, it is necessary to change the paradigm in order to understand the meaning. The then invisible relationship requires positioning of phenomenological research, understanding and constructivism (Le Moigne).This "human fact" reads as a process of contextualisation of situational factors. Therefore, the social subject reinvents a new definition of the situation he is involved in linking various "artifacts". Also, a stream of thought in information and communication science, extending the work of the Palo Alto School (Watzlawick & coll.), is based on new methods of systems analysis and qualitative semiotic situational communications to understand the genesis of meaning shared by a group of subjects involved (Mucchielli).The results of this original research offering, in complementing the work done elsewhere (Ferrand, Tribou, etc.), to revisit a number of concepts such as persuasion, influence, change, etc. from the perspective of the subject by the notion of communication territorialized. For management as science and STAPS, these new avenues of research are part of a "praxeology" of communication for a better understanding of the action and its context (Quéré)

Стилі APA, Harvard, Vancouver, ISO та ін.

34

Vandewalle, Vincent. "Estimation et sélection en classification semi-supervisée." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2009. http://tel.archives-ouvertes.fr/tel-00447141.

Повний текст джерела

Анотація:

Le sujet de cette thèse est la classification semi-supervisée qui est considérée d'un point de vue décisionnel. Nous nous intéressons à la question de choix de modèles dans ce contexte où les modèles sont estimés en utilisant conjointement des données étiquetées et des données non étiquetées plus nombreuses. Nous concentrons notre recherche sur les modèles génératifs où la classification semi-supervisée s'envisage sans difficulté, contrairement au cadre prédictif qui nécessite des hypothèses supplémentaires peu naturelles. Après avoir dressé un état de l'art de la classification semi-supervisée, nous décrivons l'estimation des paramètres d'un modèle de classification à l'aide de données étiquetées et non étiquetées par l'algorithme EM. Nos contributions sur la sélection de modèles font l'objet des deux chapitres suivants. Au chapitre 3, nous présentons un test statistique où les données non étiquetées sont utilisées pour mettre à l'épreuve le modèle utilisé. Au chapitre 4 nous présentons un critère de sélection de modèles AIC_cond, dérivé du critère AIC d'un point de vue prédictif. Nous prouvons la convergence asymptotique de ce critère particulièrement bien adapté au contexte semi-supervisé et ses bonnes performances pratiques comparé à la validation croisée et à d'autres critères de vraisemblance pénalisée. Une deuxième partie de la thèse, sans rapport direct avec le contexte semi-supervisé, présente des modèles multinomiaux pour la classification sur variables qualitatives. Nous avons conçu ces modèles pour répondre à des limitations des modèles multinomiaux parcimonieux proposés dans le logiciel MIXMOD. À cette occasion, nous proposons un critère type BIC qui prend en compte de manière spécifique la complexité de ces modèles multinomiaux contraints.

Стилі APA, Harvard, Vancouver, ISO та ін.

35

Baujard, Corinne. "Motifs d'adoption, processus d'intégration et modes d'apprentissage E-learning : proposition d'un modèle stratégique." Paris 9, 2004. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=2004PA090021.

Повний текст джерела

Анотація:

La volonté managériale de se doter d'un modèle cohérent de e-learning est manifeste dans tous les entretiens réalisés dans le cadre de cette recherche en raison de retours d'expériences généralement peu convaincants. Aujourd'hui, les entreprises souhaitent que l'outil e-learning puisse prendre en considération la diversité des contextes des pratiques de formation. C'est aussi la position des chercheurs qui déplorent le manque de connaissances sur les conditions de son efficacité. Néanmoins, le rapprochement du e-learning avec le système d'information favorise trop souvent des définitions à caractère technique qui accordent une importance limitée au cadre spécifique de la formation, question pourtant cruciale. Pourquoi les entreprises adoptent-elles le e-learning ? De quelles connaissances ont-elles besoin pour développer un processus cohérent avec les pratiques de formation et la stratégie d'entreprise ? Répondre à ces interrogations, c'est envisager l'outil technologique de formation dans le cadre d'un mode et d'un processus d'apprentissage, mais aussi comme le résultat de connaissances issues des retours d'expériences. Il s'agit donc d'opérer un rapprochement entre les raisons qui justifient l'adoption du e-learning et celles propres à tout nouvel usage de la formation. Dès lors, les motifs d'adoption du e-learning peuvent-ils expliquer les conditions de son intégration dans les pratiques de formation ? La décision d'adoption, qui dépend de la cohérence entre l'environnement et les pratiques managériales et techniques, constitue-t-elle un élément efficace d'investigation des pratiques de formation ? Ces divers paramètres peuvent être intégrés dans un modèle théorique progressif qui prenne en considération les motifs d'adoption de l'outil e-learning et les facteurs d'intégration, comme indicateurs pertinents de l'alignement des pratiques de formation sur la stratégie de l'organisation. Une démarche inductive, issue de la Grounded Theory, est appliquée aux retours d'expériences tels qu'ils apparaissent notamment dans les entretiens réalisés auprès des organisations. On peut distinguer trois scénarios d'entreprise contrastés, mais complémentaires, fondés sur des comportements ambitieux, prudents ou négociés. Selon les secteurs d'activité, la cohérence du e-learning dépend largement de l'environnement technologique, de la qualité du système d'information et des pratiques de formation, en lien avec les capacités organisationnelles d'apprentissage. La réussite de la solution e-learning dépend autant de l'alignement stratégique entre les ressources internes que des volontés managériales des dirigeants. Le processus de formation intègre toujours indirectement une évaluation globale de la culture d'apprentissage des organisations. Il en ressort que l'aspect cognitif du e-learning l'emporte sur la rationalité des comportements, situation visible lorsque le caractère contingent et collaboratif de l'adoption et de l'intégration de l'outil prévaut au sein des entreprises. Le e-learning devient un ordre négocié et enraciné dans un contexte structurel et immédiat révélateur des modes d'apprentissage et de management des organisations. Cette situation rend particulièrement délicat l'alignement de la formation e-learning sur les orientations stratégiques
During the course of our research into the question, it became clear from all the interviews held that managers would very much like to have a coherent e-learning model, as the results achieved so far have been far from convincing, to judge by the feedback. Why are companies turning to e-learning? What knowledge and skills do they need in order to develop a process which is compatible with the company’s training practices and strategy? To answer these queries we must envisage the technological training tool not only in the context of a training method and process, but also as the fruit of knowledge gained as a result of feedback. An inductive approach, based on Grounded Theory, is being applied to feedback from past experience. There appear to be three main scenarios, which though different are complementary, depending on whether the company’s e-learning initiatives have been ambitious, cautious, or negotiated. Depending on the sector of activity concerned, whether the e-learning is coherent or otherwise depends as much on the strategic alignment between on the technological environment, the quality of the information system and the training practices

Стилі APA, Harvard, Vancouver, ISO та ін.

36

Bourdeau-Brien, Michaël. "Les copules en finance : analyse qualitative et quantitative de l'expansion de cette théorie." Master's thesis, Université Laval, 2007. http://hdl.handle.net/20.500.11794/19266.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

37

Morel, Kevin. "Viabilité des microfermes maraîchères biologiques. Une étude inductive combinant méthodes qualitatives et modélisation." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLA023/document.

Повний текст джерела

Анотація:

Dans le contexte des défis environnementaux et sociaux de l’Anthropocène, les microfermes sont des fermes maraîchères biologiques qui questionnent les fondements de la modernisation agricole par leurs petites surfaces, leur grande diversité cultivée, leur faible niveau de motorisation, une approche écologique holiste et leur commercialisation en circuits courts. Cette thèse a examiné la viabilité de ces systèmes agricoles atypiques qui suscitent un intérêt croissant dans les pays industrialisés. Elle s’est basée sur une étude de 20 cas en milieu rural dans le nord de la France et 10 cas en milieu urbain à Londres. Une démarche inductive a été mise en œuvre combinant analyse qualitative d’entretiens avec des paysans et modélisation quantitative à partir de données de terrain. Un cadre conceptuel a été développé pour analyser les choix stratégiques des paysans au regard des multiples aspirations de leur projet de vie où des considérations éthiques et subjectives occupent une place centrale. La satisfaction de ces aspirations est primordiale pour la viabilité de ces fermes. Un modèle de simulation stochastique de revenu et de temps de travail a été créé pour explorer les chances de viabilité économique de scénarios contrastés de microfermes intégrant stratégies techniques, commerciales et d’investissement. Des simulations ont été réalisées pour le contexte français et londonien et ont été discutées avec des acteurs de terrain. Bien que les chances de viabilité varient selon les scénarios, ce travail montre que les microfermes peuvent être viables
In the context of the environmental and social challenges of the Anthropocene, microfarms are organic market gardens which are questioning the principles of agricultural modernisation. They are characterised by a high level of crop diversity on small acreages, low motorisation, holistic ecological approach and marketing through short supply chains. My PhD work examined the viability of these atypical farming systems which are raising an increasing interest in industrialised countries. It was based on the study of 20 cases in rural Northern France and 10 cases in the urban context of London. An inductive approach was carried out combining qualitative analysis of interviews with farmers and quantitative modelling based on field data.A conceptual framework was developed to analyse farmers’ strategic choices in the light of their life project embracing various aspirations where ethics and subjectivity played a central role. The fulfilment of these aspirations is determinant for the viability of these fams. A stochastic simulation model of income and workload was created to explore the chances of economic viability of contrasted microfarms scenarios integrating technical, commercial and investment strategies. Simulations were run for the French and London context and were discussed with stakeholders. Although viability chances vary among scenarios, this work shows that microfarms can be viable

Стилі APA, Harvard, Vancouver, ISO та ін.

38

Camara, Baba Issa. "Complexité de dynamiques de modèles proie-prédateur avec diffusion et applications." Phd thesis, Université du Havre, 2009. http://tel.archives-ouvertes.fr/tel-00460361.

Повний текст джерела

Анотація:

Cette thèse s'inscrit dans le cadre de la modélisation des interactions entre hôtes et auxiliaires de lutte biologique. L'objectif principal est de faire l'analyse mathématique et la simulation numérique des modèles spatiotemporels construits. Il s'agit de déterminer la typologie et la catégorisation des structures spatiales émergentes en fonction des paramètres de contrôle. Nous considérons dans la première partie de la thèse, une chaîne alimentaire de deux espèces, c'est à dire une population de proies et une population de prédateurs modélisées par un système de réaction-diffusion. Nous étudions l'analyse qualitatives des solutions, les bifurcations globales et locales, et déterminons les conditions de variation spatiales et temporales des motifs. Nous démontrons l'existence de "Travelling waves" par les outils d'analyse fonctionnelle en généralisant la méthode développée par S. Ahmad. Une étude mathématique similaire est menée dans le cadre d'une chaîne alimentaire de trois espèces constituée d'une proie, d'un prédateur et d'un super-prédateur. Le dernier chapitre de cette thèse est consacré à la construction et l'étude d'un modèle mathématique de type réaction-diffusion de la thérapie génétique du cancer. Le modèle prend en considération à la fois la dynamique de la population des cellules cancéreuses, des virus réplicatifs et de la réponse immunitaire qui reconnait les antigènes viraux dans les cellules cancéreuses. Nous établissons les conditions de stabilité de l'état d'équilibre endémique et celui correspondant à l'élimination de la tumeur. Si la tumeur ne peut pas être complétement guérie, nous déterminons les conditions d'une thérapie optimale et estimons par simulation le temps de survie du patient.

Стилі APA, Harvard, Vancouver, ISO та ін.

39

Ramette, François. "Modèle de diagnostic d'entreprise avec des combinaisons de critères qualitatifs : Contribution à l'évaluation du risque de défaillance par une analyse multicritères." Paris 2, 1997. http://www.theses.fr/1997PA020099.

Повний текст джерела

Анотація:

L'analyse explicative du risque de defaillance est abordee dans cette recherche en deux etapes. La premiere consiste a elaborer une methode permettant de formaliser le lien entre des informations d'ordre qualitatif et la defaillance d'une entreprise. Ensuite, il s'agit de determiner si cette methode complete de maniere significative un diagnostic obtenu a l'aide du score de la banque de france. Ainsi, nous proposons un modele empirique qui, a partir de vingt-cinq variables issues de la base sesame de la banque de france (enquetes 1993 et 1994), permet d'identifier des profils structurels de l'environnement et des processus decisionnels caracteristiques du risque de defaillance. Le modele se fonde sur une synthese des courants de recherche en economie industrielle et en sciences de gestion traitant des differents aspects d'un diagnostic d'entreprise. Les informations utilisees pour connaitre la structure de l'environnement concernent la croissance du marche, le degre de rivalite, l'existence de produits de substitution, et l'importance des barrieres a l'entree. En matiere decisionnelle, les informations prises en compte pour construire le profil de l'entreprise concernent trois centres d'interet: l'anticipation strategique, le positionnement, et la mise en oeuvre de la strategie. En definitive, le modele elabore distingue trois groupes d'entreprises distincts statistiquement en fonction du risque de defaillance. Le premier rassemble des entreprises risquees, le second rassemble des entreprises presentant un risque intermediaire, le dernier rassemble des entreprises faiblement risquees. Pour mesurer l'interet de ce modele, nous avons verifie son pouvoir explicatif au sein des differentes classes de risque obtenues a l'aide du nouveau score de la banque de france. Ce resultat constitue donc une premiere etape dans la construction d'un score qualitatif de la defaillance a partir de donnees economiques et strategiques
The principal aim of this study is to explain the bankruptcy with a combination of economic and strategic variables and to show that this kind of information could improve the performance of models of scoring using financial data. Our study propose a model with twenty five variables from sesame database of the banque de france and their interactions, which explain more than 64% of the bankruptcy. The model is based on concepts belonging to several schools of thought and more specifically the industrial economics, the theory of the firm, and the competitive strategy

Стилі APA, Harvard, Vancouver, ISO та ін.

40

Bellis, Cédric. "Qualitative Methods for Inverse Scattering in Solid Mechanics." Phd thesis, Ecole Polytechnique X, 2010. http://pastel.archives-ouvertes.fr/pastel-00557545.

Повний текст джерела

Анотація:

Contexte. Les problèmes inverses, qui font l'objet de nombreuses études aujourd'hui, apparaissent dans une large gamme d'applications : imagerie et tomographie, identification de propriétés matérielles, contrôle non destructif,... L'étude présentée s'inscrit dans le cadre de ce dernier exemple. Elle a pour objet la recherche de nouvelles méthodes, numériquement rapides, permettant une identification qualitative d'objets (inclusions, cavités, fissures,...) enfouis dans des milieux élastiques linéaires, en connaissant (au moins partiellement) la réponse en surface à une sollicitation dynamique. La plupart des méthodes classiquement utilisées pour traiter ce type de problèmes sont fondées sur des algorithmes itératifs de minimisation qui requièrent un grand nombre de simulations directes. Dans le contexte considéré pour cette étude (propagation d'ondes dans des solides élastiques tridimensionnels), ces simulations sont très coûteuses numériquement. L'émergence récente de techniques permettant de sonder, numériquement, de façon non-itérative un milieu donné, a permis d'aborder ces problèmes sous un nouveau jour. Un ensemble d'études a en particulier montré, dans le cadre des hypothèses adoptées pour cette thèse, l'intérêt de méthodes telles que la Sensibilité Topologique ou le Linear Sampling, pour une détection approchée mais rapide. Objectifs de la thèse. L'étude qui est présentée ici, s'inscrit dans la perspectives du développement des deux méthodes mentionnées, dans le contexte de la mécanique des solides déformables, c'est-à-dire pour des problèmes de diffraction inverse en acoustique et en élasticité. Les différents point abordés dans ce travail sont les suivants : • Appréciation des capacités et des performances respectives des deux méthodes, en particulier lorsqu'elles sont mises en œuvre dans des codes numériques usuels, fondés par exemple sur la méthode des éléments finis. • Utilisation de ces développements pour une identification qualitative combinant géométrie et propriétés matérielles des défauts diffractants inconnus. • Extension de ces méthodes, ainsi que démonstration de leurs pertinences, pour des problèmes de diffraction inverse dans le domaine temporel ou utilisation des mesures multi-fréquentielles des champs diffractés. • Etude de quelques problèmes théoriques fondamentaux pour la justification et la mise en œuvre rigoureuse de ces méthodes. • Compréhension des liens théoriques pouvant exister entre la méthode de sensibilité topologique et la méthode de ”linear sampling”.

Стилі APA, Harvard, Vancouver, ISO та ін.

41

Ghadakpour, Laleh. "Le système conceptuel, à l'interface entre le langage, le raisonnement et l'espace qualitatif : vers un modèle de représentations éphémères." Palaiseau, Ecole polytechnique, 2002. http://www.theses.fr/2002EPXX0049.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

42

Baradat, Caroline Laure. "La caractérisation du pilotage financier universitaire français -Une analyse de la cohérence de son modèle organisationnel avec les réformes actuelles-." Thesis, Pau, 2013. http://www.theses.fr/2013PAUU2007/document.

Повний текст джерела

Анотація:

Face aux nouvelles missions confiées aux universités françaises, une nécessaire évolution de leurs pratiques de pilotage comptable et financier a été amorcée. Dans ce cadre, nous proposons d’analyser le degré de cohérence existant entre le modèle organisationnel actuel du Pilotage Financier Universitaire Français (PFUF) et les évolutions contextuelles auxquelles il est confronté. Pour cela, tout d’abord, nous mettons en exergue trois dimensions d’étude, à savoir celles instrumentale, de gouvernance collective et de gouvernance individuelle, permettant la construction d’une grille d’analyse globale du PFUF. Ensuite, nous mobilisons des approches de terrain complémentaires, dont des études de cas dans 5 universités françaises et une analyse quantitative des réponses de 33 universités à un questionnaire national. Au final, nous observons que le PFUF semble encore reposer sur des outils de gestion financière court-termistes et globaux, suivant une logique élémentaire de surveillance, ainsi que sur une structure mécaniste, liée à un processus décisionnel centralisé, et perturbée par la présence de jeux de pouvoir. Ces résultats permettent non seulement de conclure que le PFUF ne paraît donc pas encore répondre aux nouveaux enjeux actuels, mais aussi de proposer des logiques d’évolution adaptées
Faced with new missions entrusted to French universities, a necessary change of their accounting and financial management practices has been initiated. Within this framework, we propose to analyze the level of consistency between the current organizational model of French University Financial Management (FUFM) and contextual changes it faces. First of all, for that purpose, we highlight three research dimensions, namely instrumental, collective governance and individual governance, permitting to build a global analysis table of FUFM. Then, we mobilize complementary field-based approaches, among them case studies in five French universities and a quantitative analysis of 33 universities responses to a national survey. In the end, we observe that FUFM still seems based on short-termist and global financial management tools, following a basic logic of monitoring, and on a mechanistic structure, linked to centralized decision-making process, and disturbed by the presence of power games. These results permit not only to conclude that FUFM seems not meet the new current challenges, but also to propose adapted evolution axis

Стилі APA, Harvard, Vancouver, ISO та ін.

43

Denguir, Afef. "Modèle de performance agrégée et raisonnement approché pour l’optimisation de la consommation énergétique et du confort dans les bâtiments." Thesis, Montpellier 2, 2014. http://www.theses.fr/2014MON20026/document.

Повний текст джерела

Анотація:

Ce travail s'inscrit dans le cadre du projet FUI RIDER (Research for IT Driven Energy efficiency) qui vise à développer un système de gestion de l'énergie faiblement dépendant du bâtiment à contrôler et propose une nouvelle approche pour réduire les coûts énergétiques. Cette approche exploite la notion de confort thermique afin de calculer de nouvelles consignes à fournir au système de contrôle du conditionnement du bâtiment. L'approche s'appuie sur l'idée que le confort thermique est une notion multidimensionnelle subjective. La littérature propose des modèles statistiques pour appréhender le confort thermique. Malheureusement, ces modèles sont fortement non linéaires et non interprétables ce qui rend difficile leur utilisation pour la conduite ou l'optimisation. Nous proposons un nouveau modèle de confort basé sur la théorie de l'utilité multi attributs et les intégrales de Choquet. L'intérêt d'un tel modèle est qu'il est interprétable en termes de préférences pour la conduite, linéaire par simplexe ce qui facilite la résolution des problèmes d'optimisation, et plus concis qu'un système de contrôle à base de règles. Dans la seconde partie de ce travail, le THermal Process Enhancement (THPE) s'intéresse à l'obtention efficiente des consignes calculées avec le modèle du confort thermique. Le THPE se base sur un raisonnement approché établi à partir d'un modèle qualitatif enrichi EQM (Extended Qualitative Model). L'EQM est le résultat de l'étude mathématique et qualitative des équations différentielles régissant les processus thermiques. Il est enrichi en continu par un système de gestion de l'expérience basé sur un apprentissage avec pénalités qui fournit les informations quantitatives nécessaires pour inférer des recommandations de conduite quantifiées à partir des tendances modélisées dans l'EQM. L'EQM et les raisonnements associés requièrent peu de paramètres et sont opérationnels même si la base d'apprentissage est initialement vide au lancement de RIDER. Le système de gestion de l'expérience permet simplement de quantifier les recommandations et de converger plus vite vers une commande optimale. Le raisonnement à base de modèles qui supporte notre approche est faiblement dépendant du processus thermique, pertinent dès le lancement de RIDER et se prête facilement au changement d'échelle de l'analyse thermique d'un bâtiment. Les performances de notre THPE, sa stabilité et son adaptation par rapport aux variations de l'environnement sont illustrées sur différents problèmes de contrôle et d'optimisation. Les commandes optimales sont généralement obtenues en quelques itérations et permettent d'avoir un contrôle adaptatif et individuel des pièces d'un bâtiment
The present work is part of the FUI RIDER project (Research for IT Driven Energy efficiency). It aims to develop an energy management system that has to be weakly dependent on building's specificities in order to be easily deployed in different kinds of buildings. This work proposes a new approach based on the thermal comfort concept in order to reduce energy costs. This approach takes advantage of the thermal comfort concept in order to compute new optimized setpoints for the building energy control system. It relies on the idea that thermal comfort is a subjective multidimensional concept that can be used to reduce energy consumption. The literature provides statistical thermal comfort models but their complexity and non-linearity make them not useful for the control and optimization purposes. Our new thermal comfort model is based on the multi attributes utility theory and Choquet integrals. The advantages of our model are: its interpretability in term of preference relationships, its linearity in simplex regions which simplifies optimization problems' solving, and its compact form which is more tractable than a rule based control formalism. In the second part of this work, the THermal Process Enhancement (THPE) proposes a control system approach to efficiently reach the optimized setpoints provided by the comfort model. The THPE proposes an efficient and simple thermal control approach based on imprecise knowledge of buildings' special features. Its weak data-dependency ensures the scalability and simplicity of our approach. For this, an extended thermal qualitative model (EQM) is proposed. It is based on a qualitative description of influences that actions' parameters may have on buildings' thermal performances. This description results from the mathematical and qualitative analysis of dynamical thermal behaviors. Our thermal qualitative model is then enriched by online collecting and assessing previous thermal control performances. The online learning provides the necessary quantitative information to infer quantified control recommendations from the qualitative tendencies displayed by the EQM. Thus, an approximate reasoning based on the EQM and an online learning coupled with a penalty function provides smart thermal control functionalities. The EQM based approximate reasoning guarantees our control system weak dependency with regard to the building special features as well as its multi-scale applicability and its relevancy even for RIDER's first start when the learning database lacks of information. The performances of our THPE are assessed on various types of control and optimization issues. An optimal control is generally achieved in a few iterations which allows providing an adaptive and individual control of building's rooms

Стилі APA, Harvard, Vancouver, ISO та ін.

44

Meyer, Gautier. "Formalisation logique de préférences qualitatives pour la sélection de la réaction d'un agent rationnel dialoguant." Phd thesis, Université Paris Sud - Paris XI, 2006. http://tel.archives-ouvertes.fr/tel-00321676.

Повний текст джерела

Анотація:

La formalisation du principe de rationalité dans la plupart des modèles d'agent permet rarement de spécifier complètement les réactions du système. C'est pourquoi nous considérons dans cette thèse l'introduction d'une phase de décision explicite au sein de ces modèles. Plus précisément, nous proposons une nouvelle façon entièrement qualitative de représenter les informations sur la désirabilité des alternatives nécessaires à cette phase : les préférences. Cette dernière est formalisée en logique des prédicats du premier ordre.

Afin d'autoriser une spécification intuitive des préférences, nous supposons que les informations "initiales" sont des comparaisons entres des propriétés que peuvent vérifier les différentes alternatives. Ces comparaisons vérifient les principes d'expansion, de transitivité, et de Ceteris Paribus. De plus, elles sont spécifiées par points de vue éventuellement contradictoires et telles que deux propriétés quelconques sont jugées indifférentes par défaut.
Afin de départager un grand nombre d'alternatives et en particulier pour dépasser une limite de l'hypothèse Ceteris Paribus, nous proposons d'étendre ces informations via une phase dite "d'extension" en considérant chaque préférence (dite "primitive") comme un argument pour départager les alternatives.
Afin de gérer les contradictions entre points de vue, nous formalisons l'introduction d'une étape dite "d'agrégation". Cette dernière permet, via un mécanisme d'élection, de générer une unique préférence "globale".

Enfin, nous proposons une voie pour intégrer notre travail au modèle logique d'agent rationnel proposée par Sadek ainsi qu'une manière pour utiliser nos préférences conjointement avec d'autres types d'informations sur la désirabilité.

Стилі APA, Harvard, Vancouver, ISO та ін.

45

Legrand, Nathalie. "Modèle multiphysique et méthodes d'analyse in-situ, non destructives, qualitatives et quantitatives de diverses sources de vieillissement d'accumulateurs lithium-ion." Thesis, Université de Lorraine, 2013. http://www.theses.fr/2013LORR0240.

Повний текст джерела

Анотація:

L'optimisation de la durée de vie d'une batterie nécessite la prédiction de son vieillissement et donc l'identification des mécanismes de vieillissement qui en sont à l'origine. Pour pallier les limitations des outils de caractérisation du vieillissement classiquement utilisés (mesures intermittentes de performance au cours du vieillissement et tests de caractérisation post-mortem), des outils d'étude non destructive de l'état des électrodes en cours de vie ont été mis au point et testés. Il s'agit d'un modèle multiphysique de fonctionnement de la batterie lithium-ion et de deux méthodes d'extraction de paramètres in-situ : la première basée sur le traitement de la dérivée du profil de tension et la seconde sur la différence des pentes de profils de tension entre l'état neuf et l'état considéré. Les paramètres non disponibles mais nécessaires à l'établissement du modèle multiphysique d'un élément ont été estimés pour différents états de charge et différentes températures. Ce modèle a été validé par comparaison avec des mesures expérimentales. L'application de ces outils est illustrée dans le cas de trois mécanismes de vieillissement différents. En outre, ces outils ont été plus particulièrement appliqués au vieillissement par dépôt de lithium. L'utilisation du modèle de l'élément commercial VL41M Saft a permis de dresser un abaque de ses courants limites de fonctionnement et a fait l'objet d'une validation expérimentale mettant en oeuvre la méthode dite de la dérivée
Optimisation of a battery life time requires the prediction of its ageing and the identification of the involved ageing mechanisms. In order to avoid the limitations due to standard ageing characterisation methods (performance evaluations conducted regularly along ageing and post-mortem characterisations), other tools allowing assessment of the electrode state without deterioration along the life time, have been tested. It concerns a multiphysic model of lithium-ion battery and two methods for in-situ parameter extraction: the first is based on the study of the derivative of the tension profile and the second one, on the difference between the slope of the tension profiles at the fresh state and at the considered state. The non-available parameters required for set up of the multiphysic model for one battery have been evaluated for different states of charge and various temperatures. This model has been validated by comparison with experimental measurements. The application of these tools is illustrated for three different ageing mechanisms. Moreover these methods have been especially applied for the case of lithium plating ageing. Use of the VL41M Saft model allowed to set up an abacus of the limiting charge currents and an experimental validation has been performed in using the method so-called derivation method

Стилі APA, Harvard, Vancouver, ISO та ін.

46

Haddad, Hedi. "Une approche pour supporter l'analyse qualitative des suites d'actions dans un environnement géographique virtuel et dynamique : l'analyse " What-if " comme exemple." Thesis, Université Laval, 2009. http://www.theses.ulaval.ca/2009/26160/26160.pdf.

Повний текст джерела

Анотація:

Nous proposons une approche basée sur la géosimulation multi-agent et un outil d’aide à la décision pour supporter l’analyse « What-if » durant la planification des suites d’actions (plans) dans un environnement géographique dynamique. Nous présentons les caractéristiques du raisonnement « What-if » en tant 1) que simulation mentale 2) suivant un processus en trois étapes et 3) basé sur du raisonnement causal qualitatif. Nous soulignons les limites de la cognition humaine pour appliquer ce raisonnement dans le cadre de la planification des suites d’actions dans un environnement géographique dynamique et nous identifions les motivations de notre recherche. Ensuite, nous présentons notre approche basée sur la géosimulation multi-agent et nous identifions ses caractéristiques. Nous traitons en particulier trois problématiques majeures. La première problématique concerne la modélisation des phénomènes géographiques dynamiques. Nous soulignons les limites des approches existantes et nous présentons notre modèle basé sur le concept de situation spatio-temporelle que nous représentons en utilisant le formalisme de graphes conceptuels. En particulier, nous présentons comment nous avons défini ce concept en nous basant sur les archétypes cognitifs du linguiste J-P. Desclés. La deuxième problématique concerne la transformation des résultats d’une géosimulation multi-agent en une représentation qualitative exprimée en termes de situations spatio-temporelles. Nous présentons les étapes de traitement de données nécessaires pour effectuer cette transformation. La troisième problématique concerne l’inférence des relations causales entre des situations spatio-temporelles. En nous basant sur divers travaux traitant du raisonnement causal et de ses caractéristiques, nous proposons une solution basée sur des contraintes causales spatio-temporelles et de causalité pour établir des relations de causation entre des situations spatio-temporelles. Finalement, nous présentons MAGS-COA, une preuve de concept que nous avons implémentée pour évaluer l’adéquation de notre approche comme support à la résolution de problèmes réels. Ainsi, les principales contributions de notre travail sont: 1- Une approche basée sur la géosimulation multi-agent pour supporter l’analyse « What-if » des suites d’actions dans des environnements géographiques virtuels. 2- L’application d’un modèle issu de recherches en linguistique à un problème d’intérêt pour la recherche en raisonnement spatial. 3- Un modèle qualitatif basé sur les archétypes cognitifs pour modéliser des situations dynamiques dans un environnement géographique virtuel. 4- MAGS-COA, une plateforme de simulation et d’analyse qualitative des situations spatio-temporelles. 5- Un algorithme pour l’identification des relations causales entre des situations spatio-temporelles.
We propose an approach and a tool based on multi-agent geosimulation techniques in order to support courses of action’s (COAs) “What if” analysis in the context of dynamic geographical environments. We present the characteristics of “What if” thinking as a three-step mental simulation process based on qualitative causal reasoning. We stress humans’ cognition limits of such a process in dynamic geographical contexts and we introduce our research motivations. Then we present our multi-agent geosimulation-based approach and we identify its characteristics. We address next three main problems. The first problem concerns modeling of dynamic geographical phenomena. We stress the limits of existing models and we present our model which is based on the concept of spatio-temporal situations. Particularly, we explain how we define our spatio-temporal situations based on the concept of cognitive archetypes proposed by the linguist J-P. Desclés. The second problem consists in transforming the results of multi-agent geosimulations into a qualitative representation expressed in terms of spatio-temporal situations and represented using the conceptual graphs formalism. We present the different steps required for such a transformation. The third problem concerns causal reasoning about spatio-temporal situations. In order to address this problem, we were inspired by works of causal reasoning research community to identify the constraints that must hold to identify causal relationships between spatio-temporal situations. These constraints are 1) knowledge about causality, 2) temporal causal constraints and 3) spatial causal constraints. These constraints are used to infer causal relationships among the results of multi-agent geosimulations. Finally, we present MAGS-COA, a proof on concept that we implemented in order to evaluate the suitability of our approach as a support to real problem solving. The main contributions of this thesis are: 1- An approach based on multi-agent geosimulation to support COA’s “What if” analysis in the context of virtual geographic environments. 2- The application of a model proposed in the linguistic research community to a problem of interest to spatial reasoning research community. 3- A qualitative model based on cognitive archetypes to model spatio-temporal situations. 4- MAGS-COA, a platform of simulation and qualitative analysis of spatio-temporal situations. 5- An algorithm to identify causal relationships between spatio-temporal situations.

Стилі APA, Harvard, Vancouver, ISO та ін.

47

Denisse, Munante. "Une approche basée sur l'Ingénierie Dirigée par les Modèles pour identifier, concevoir et évaluer des aspects de sécurité." Thesis, Pau, 2014. http://www.theses.fr/2014PAUU3035/document.

Повний текст джерела

Анотація:

L'ingénierie des systèmes ou Génie Logiciel est une approche interdisciplinaire, dont le but est de formaliser la conception et le développement des systèmes. Cette approche commence par la définition des besoins, puis se poursuit avec la conception, l'implémentation et la validation du système. Historiquement, les systèmes ont été isolés et souvent basés sur des technologies propriétaires. De nos jours les systèmes informatiques s'interconnectent, s'ouvrent vers Internet, et s'appuient de plus en plus sur des technologies standards en favorisant l'inter-opérabilité. A côté d'apports indéniables, ces changements génèrent cependant de nouveaux risques de malveillance informatique. Pour y faire face, la sécurité informatique s'est fortement développée en permettant de mettre en place des contre-mesures plus ou moins fiables. Cette thèse se situe à la croisée de l'ingénierie des systèmes et de la sécurité. Elle vise à proposer une approche qui intègre ces deux domaines de manière collaborative et complémentaire. Même si ces deux domaines sont très liés l'un à l'autre, il existe relativement peu d'approches qui intègrent les aspects sécurité au processus d'ingénierie logicielle, et encore moins celles qui la considèrent dès la phase d'ingénierie des besoins, et/ou permettent l'évaluation de la politique de sécurité à un haut niveau d'abstraction. Cette thèse apporte une contribution dans ce domaine. Par conséquent, dans cette thèse nous proposons une approche basée sur l'IDM (Ingénierie Dirigée par les Modèles) et MDA (Model-Driven Architecture) qui intègre l’ingénierie des systèmes et la sécurité en utilisant les modèles. Cette approche permet d’identifier, de concevoir et d’évaluer des aspects de sécurité dans les différentes étapes de l'ingénierie des systèmes afin d'obtenir des systèmes sécurisés
Software engineering is an interdisciplinary approach aiming to formalize the development of systems. This approach begins with defining system requirements and then continues with defining the design, implementation and validation of systems. Historically, systems were isolated and often based on proprietary technologies. Todays, computer systems are interconnected using Internet and standard technologies by promoting interoperability. In spite of undeniable contributions, these changes engender new risks of computer vulnerabilities/attacks. To cope with these risks, information security has improved to implement more or less reliable counter-measures. This thesis is situated at the intersection/crossroads of the software engineering and the information security. It aims to propose an approach that integrates these two fields in a collaborative and complementary manner. Although both fields are closely related, there are few approaches that integrate security aspects into software engineering process, much less from engineering requirements, which allow the assessment of security policies from a high level of abstraction. Hence, this thesis makes a contribution in this area. Therefore, in this thesis, we propose an approach based on MDE (Model-Driven Engineering) and MDA (Model Driven Architecture) which integrates software engineering and information security using models. This approach allows to identify, to design and to assess security aspects in the stages of the system development in order to obtain secure systems

Стилі APA, Harvard, Vancouver, ISO та ін.

48

Steyer, Jean-Philippe. "Sur une approche qualitative des systemes physiques. Aide en temps reel a la conduite des proceds fermentaires." Toulouse 3, 1991. http://www.theses.fr/1991TOU30251.

Повний текст джерела

Анотація:

Ce travail s'attache a presenter les principales caracteristiques de la physique qualitative. Nous proposons ensuite les differents aspects methodologiques developpes a savoir: une modelisation par graphe d'influences causales entre les diverses variables du procede; un raisonnement sur l'etat standard dont la finalite consiste a retablir la chaine des causalites des phenomenes observes a partir de l'observation des tendances d'evolution des variables accessibles. Ces concepts, generalisables a un grand nombre de problemes poses par les systemes physiques, sont ensuite adaptes aux procedes biotechnologiques. La finalite est ici de reconstituer l'etat qualitatif de certaines variables internes au procede (niveau microscopique) grace a une analyse et une interpretation des observations externes (variables macroscopiques). Dix operateurs qualitatifs ont ete definis pour traduire les interactions majeures entre les variables du procede. Ces operateurs sont par la suite exprimes selon le formaliste de kheops, un systeme de programmation et d'interpretation de bases de connaissances en logique propositionnelle etendue developpe au sein de notre laboratoire. Durant cette etude, les travaux ont ete testes sur des procedes fermentaires de nature differentes et ont permis d'elaborer deux systemes experts fonctionnant en ligne sur site reel: au stade du laboratoire (650 regles), les essais se sont deroules au centre de transfert en biotechnologie et microbiologie de l'ups/insat sur la croissance de bacteries. Un test a egalement ete effectue sur des levures afin de prouver une certaine robustesse du systeme expert en fonction des microorganismes utilises; a l'echelle industrielle (550 regles), le systeme expert assure une aide a la conduite d'un procede fermentaire de la societe sanofi-chimie (usine d'aramon) utilisant des champignons filamenteux

Стилі APA, Harvard, Vancouver, ISO та ін.

49

Gondard, Delcroix Claire. "La combinaison des analyses qualitative et quantitative : pour une étude des dynamiques de pauvreté en milieu rural malgache." Bordeaux 4, 2006. http://www.theses.fr/2006BOR40017.

Повний текст джерела

Анотація:

La thèse porte sur l'étude des dynamiques de pauvreté en milieu rural malgache sur la période 1998-2002. La pauvreté est appréhendée comme le résultat d'un processus dont il convient de comprendre les dynamiques socio-économiques. Par ailleurs, l'extension du champ thématique de la pauvreté vers des aspects rétifs aux méthodes conventionnelles nécessite un renouvellement méthodologique afin de mener une analyse globale du phénomène. Le programme de recherche est donc conduit en mobilisant un système d'information original, composé d'un outil d'information statistique illustratif (le Réseau des Obsevatoires Ruraux de Madagascar), apte à restituer l'hétérogénéité agro-économique des campagnes malgaches, et de deux enquêtes qualitatives. Après avoir défini les analyses qualitative et quantitative et mis en évidence leur complémentarité pour l'étude des dynamiques de pauvreté, différentes modalités de combinaison sont mises en oeuvre, de façon à apporter des réponses méthodologiques adaptées aux besoins de la recherche. Sur cette base, l'étude établit la diversité de situation des zones rurales vis-à-vis de la pauvreté et une déconnexion relative par rapport aux cycles économiques nationaux. Cependant, la seule prise en compte des évolutions globales masque la diversité des formes de pauvreté intertemporelles.

Стилі APA, Harvard, Vancouver, ISO та ін.

50

Merle, Guillaume. "Modélisation algébrique des arbres de défaillance dynamiques, contribution aux analyses qualitative et quantitative." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2010. http://tel.archives-ouvertes.fr/tel-00502012.

Повний текст джерела

Анотація:

Dans le contexte de la sûreté de fonctionnement des systèmes critiques, nous nous intéressons aux analyses par arbres de défaillance dynamiques (AdDD). Notre contribution est la définition d'un cadre algébrique permettant de déterminer la fonction de structure des AdDD et d'étendre les méthodes analytiques communément utilisées pour analyser les arbres statiques aux arbres dynamiques. Dans un premier temps, nous passons en revue les principales approches utilisées pour analyser les arbres de défaillance dynamiques, ainsi que leurs limites respectives. Le cadre algébrique permettant la modélisation des AdDD est ensuite présenté. Ce cadre algébrique est fondé sur un modèle temporel des événements et sur la définition de trois opérateurs temporels permettant de traduire la séquentialité d'apparition des événements. Ces opérateurs temporels permettent de définir algébriquement le comportement des portes dynamiques, et donc la fonction de structure des AdDD. Un modèle probabiliste de ces portes dynamiques est ensuite donné afin de pouvoir déterminer la probabilité de défaillance de l'événement sommet des arbres à partir de cette fonction de structure. Nous montrons enfin comment la fonction de structure des AdDD peut être ramenée à une forme canonique grâce à des théorèmes de réécriture, puis à une forme minimale grâce à la définition d'un critère de minimisation, et comment les AdDD peuvent être analysés de manière analytique et directe à partir de cette forme canonique minimale de la fonction de structure. Nous illustrons cette approche avec deux exemples d'AdDD issus de la littérature.

Стилі APA, Harvard, Vancouver, ISO та ін.

Дисертації з теми "Modèles qualitatifs"

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями