Conecte-se

Bibliografias temáticas / Modèles d'états / Teses / dissertações

Siga este link para ver outros tipos de publicações sobre o tema: Modèles d'états.

Teses / dissertações sobre o tema "Modèles d'états"

Autor: Grafiati

Publicado: 9 de novembro de 2024

Última modificação: 31 de julho de 2025

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Veja os 50 melhores trabalhos (teses / dissertações) para estudos sobre o assunto "Modèles d'états".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Veja as teses / dissertações das mais diversas áreas científicas e compile uma bibliografia correta.

1

Bréhélin, Laurent. "Modèles de Markov cachés et apprentissage pas fusions d'états : algorithmes, applications, utilisations pour le test de circuits intégrés." Montpellier 2, 2001. http://www.theses.fr/2001MON20051.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

2

Bogaerts, Philippe. "Contribution à la modélisation mathématique pour la simulation et l'observation d'états des bioprocédés." Doctoral thesis, Universite Libre de Bruxelles, 1999. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/211915.

Texto completo da fonte

Resumo:

Les bioprocédés ont connu un essor considérable au cours de ces dernières années et sont promis à un bel avenir. Qu'il s'agisse de la production de vaccins, de la fermentation de levures pour l'industrie alimentaire ou encore de l'épuration biologique des eaux usées, les applications sont nombreuses et les produits sont d'un intérêt capital pour l'être humain. Étant donnés le coût et le temps de mise en oeuvre de ces procédés, il est particulièrement utile de construire des simulateurs permettant de reproduire le comportement macroscopique des cultures cellulaires utilisées. Ces simulateurs pe

Estilos ABNT, Harvard, Vancouver, APA, etc.

3

Courtial, Estelle. "Commande prédictive et estimation d'état de systèmes non linéaires." Lyon 1, 1996. http://www.theses.fr/1996LYO10093.

Texto completo da fonte

Resumo:

Dans ce travail, on propose une approche alternative de la commande et de l'estimation d'état pour une classe de systèmes non linéaires soumis à des contraintes sur les variables d'état et de commande. Ces deux problèmes sont traités en terme d'optimisation sous contraintes en dimension finie. Basée sur la structure éprouvée de commande à modèle interne (CMI), l'objectif de poursuite de trajectoire de référence est formulé en terme de minimisation d'un critère sur un horizon de prédiction fini glissant. Afin de tenir compte des exigences de l'application en ligne de cette commande prédictive (

Estilos ABNT, Harvard, Vancouver, APA, etc.

4

Kalantari, Saman. "Introduction de fonctionnalités de changements d'états topologiques dans le formalisme de modélisation et de simulation CORDIS-ANIMA." Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENS004.

Texto completo da fonte

Resumo:

Dans cette recherche, nous étudions les problèmes de modélisation de discontinuités topologiques d'objets physiques déformables. Parmi toutes les discontinuités topologiques possibles, nous nous intéressons à celles que nous avons qualifiées de « discontinuités de 1 vers N » dans le contexte de la modélisation physique. Entrent dans cette catégorie les phénomènes de fractures, de cassures, de déchirures et de fissures. De nombreux travaux se sont intéressés à la modélisation et la simulation de ce type de phénomènes. Plusieurs méthodes ont été proposées, à partir de systèmes de modélisation di

Estilos ABNT, Harvard, Vancouver, APA, etc.

5

Nakkar, Osman. "Modélisation espace d'états de la dynamique des séries temporelles : traitement automatique des données du marché du cuivre." Montpellier 1, 1994. http://www.theses.fr/1994MON10027.

Texto completo da fonte

Resumo:

Le modele espace d'etats et le filtre de kalman, utilises a l'origine en automatique applique, ont ete employes recemment en econometrie pour modeliser les series temporelles et pour estimer les modeles lineaires a coefficients variables. Apres avoir presente le model espace d'etats et le filtre de kalman qui lui est associe, nous abordons les problemes lies a l'identification et a l'estimation de ce modele. Nous proposons dans ce but de combiner les deux methodes de l'algorithme e. M. Et de la factorisation de la matrice de hankel. Pour modeliser les series temporelles non stationnaires, nous

Estilos ABNT, Harvard, Vancouver, APA, etc.

6

Karam, Margot. "Génération de test de circuits intégrés fondée sur des modèles fonctionnels." Phd thesis, Grenoble INPG, 1991. http://tel.archives-ouvertes.fr/tel-00339935.

Texto completo da fonte

Resumo:

Cette thèse concerne l'utilisation de modèles fonctionnels dans le test de circuits intégrés complexes. Dans la première partie, des vecteurs de test sont générés pour les automates d'états finis a partir de leurs spécifications de synthèse. Un premier ensemble de vecteurs de test est calcule en parcourant tous les arcs du graphe de contrôle. Les valeurs d'entrées non spécifiées sur les transitions sont fixées afin d'accroitre la couverture. Il est montre que ce test a une excellente couverture par rapport a sa longueur. Les fautes résiduelles sont détectées par une methode de distinction sur

Estilos ABNT, Harvard, Vancouver, APA, etc.

7

El, Assoudi Abdellatif. "Observation et commande des systèmes mécaniques." Lyon 1, 1994. http://www.theses.fr/1994LYO10039.

Texto completo da fonte

Resumo:

Dans ce travail on s'interesse aux problemes de l'observation et de la commande des systemes mecaniques. Ce travail comporte essentiellement quatre parties. Dans la premiere partie, on s'interesse a la stabilisation des systemes mecaniques chariot-pendule et pont-roulant autour d'un point de fonctionnement ; la commande est basee sur la minimisation de l'energie totale du systeme (hamiltonien). Dans la deuxieme, nous donnons un observateur pour tout systeme mecanique sachant que toutes les positions sont mesurees. Dans le cas du pont-roulant, un des problemes techniquement mal resolu est celui

Estilos ABNT, Harvard, Vancouver, APA, etc.

8

Ducrozet, Guillaume. "Modélisation des processus non-linéaires de génération et de propagation d'états de mer par une approche spectrale." Phd thesis, Université de Nantes, 2007. http://tel.archives-ouvertes.fr/tel-00263596.

Texto completo da fonte

Resumo:

L'analyse des processus non-linéaires de génération et de propagation de la houle a constitué le cadre de cette thèse. Afin d'améliorer la compréhension de ces phénomènes, une méthode numérique dite High-Order Spectral (HOS), résolvant le problème de façon non-linéaire, a été développée. Cette méthode, avec une formulation surfacique et résolue de manière spectrale, associe précision et efficacité. <br /><br />Un traitement original de la génération de houle non-linéaire est proposé. Il permet l'accès à des simulations de champs de vagues tridimensionnels complexes, fortement cambrés, dans un

Estilos ABNT, Harvard, Vancouver, APA, etc.

9

Ben, Amor Selwa. "Observation et commande de systèmes non linéaires temps-discret." Lyon 1, 1997. http://www.theses.fr/1997LYO10124.

Texto completo da fonte

Resumo:

Le travail presente dans ce memoire porte sur les themes suivants : i) le probleme de stabilisation des systemes non lineaires temps-discret : dans le cas temps-continu, ce probleme a ete aborde par plusieurs auteurs (kawski, hermes, coron,. . . ). Le probleme consiste a trouver des lois de commande permettant de stabiliser globalement le systeme non lineaire homogene. Apres avoir introduit et discute le caractere intrinseque de l'homogeneite, on a montre qu'un systeme homogene localement stabilisable l'est globalement, soit par un retour d'etat statique ou encore par un retour d'etat dynamiqu

Estilos ABNT, Harvard, Vancouver, APA, etc.

10

Stojanovic, Alexandre. "Sur la distribution limite des valeurs propres dans des matrices aléatoires." Paris 7, 2003. http://www.theses.fr/2003PA077184.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

11

Chorot, Thierry. "Modélisation commande et observation des systèmes mécaniques hamiltoniens : application à un pont roulant." Lyon 1, 1991. http://www.theses.fr/1991LYO10200.

Texto completo da fonte

Resumo:

Les systèmes mécaniques constituent une part importante des applications de l'automatique. De plus, leur intérêt a connu un développement considérable depuis l'avènement de la robotique. Les modèles mathématiques de ces systèmes sont des équations différentielles tirées des équations d'Euler-Lagrange ou de Hamilton-Jacobi. Ceux-ci ont la propriété d'être affine en le vecteur de commande, celui-ci étant constitué des forces ou couples extérieurs appliqués au procédé. De tels systèmes ont déjà été largement étudiés à l'aide des outils géométriques de la géométrie différentielle. Notre travail pr

Estilos ABNT, Harvard, Vancouver, APA, etc.

12

Luong, Hong-Viet. "Construction Incrémentale de Spécifications de Systèmes Critiques intégrant des Procédures de Vérification." Phd thesis, Université Paul Sabatier - Toulouse III, 2010. http://tel.archives-ouvertes.fr/tel-00527631.

Texto completo da fonte

Resumo:

Cette thèse porte sur l'aide à la construction de machines d'états UML de systèmes réactifs. Elle vise à définir un cadre théorique et pragmatique pour mettre en oeuvre une approche incrémentale caractérisée par une succession de phases de construction, évaluation et correction de modèles. Ce cadre offre des moyens de vérifier si un nouveau modèle est conforme à ceux définis durant les étapes précédentes sans avoir à demander une description explicite des propriétés à vérifier. Afin de pouvoir analyser les machines d'états, nous leur associons une sémantique LTS ce qui nous a conduit à définir

Estilos ABNT, Harvard, Vancouver, APA, etc.

13

Ait, Yahia Ali. "Réduction de modèles d'état de systèmes thermiques." Marne-la-vallée, ENPC, 1998. http://www.theses.fr/1998ENPC9819.

Texto completo da fonte

Resumo:

On définit la base singulière. Une méthode de réduction de modèles d'état de systèmes thermiques linéaires et invariants utilisant cette représentation est présentée. La solution du problème d'évolution thermique s'exprime sous la forme d'une combinaison linéaire des éléments de cette base. Une solution approchée est reconstituée en considérant un sous-espace dominant de l'espace solution. Il est obtenu par troncature de la base en gardant un nombre réduit de directions dominantes. La méthode est appliquée dans une approche de réduction directe et modulaire.

Estilos ABNT, Harvard, Vancouver, APA, etc.

14

Cheng, Qi. "Contribution à l'estimation d'état dans des modèles non linéaires." Paris 11, 2009. http://www.theses.fr/2009PA112076.

Texto completo da fonte

Resumo:

Cette thèse est consacrée à l'estimation d'état dans des modèles non linéaires. Dans la première partie de ce mémoire, nous traitons les modèles linéaires et les modèles non linéaires dans un cadre unifié en prenant trois points de vue différents: la méthode des moindres carrés, l'approche Bayésiene et l'approche de la théorie de l'information. Nous présentons ensuite le principe du filtrage particulaire. Le filtre particulaire peut être considéré comme une approximation du filtre Bayésien récursif. Les performances du filtre particulaire dépendent fortement du choix de la distribution d'impor

Estilos ABNT, Harvard, Vancouver, APA, etc.

15

Bonnet, Olivier. "Le modèle Kelsenien d'état de droit fonctionnel." Paris 13, 1995. http://www.theses.fr/1995PA131005.

Texto completo da fonte

Resumo:

Kelsen subatitue au principe de separation des pouvoirs une division fonctionnelle, aux fins de representer l'etat comme un "tout". Faut-il apprehender le "tout" comme une unite ou bien comme une multitude de parties se referent les unes aux autres? les deux demarches se presupposent mais ne peuvent etre pratiquees en meme temps car l'ensemble n'existe qu'une fois et pas deux. Kelsen fonde son systeme normatif sur le principe de "relations fonctionnelles" qui font interagir les parties du "tout etatique" avec le "tout" lui-meme. Il en resulte toute une dynamtique logique de nature dualiste. No

Estilos ABNT, Harvard, Vancouver, APA, etc.

16

Kettani, Omar. "Modèles du calcul sans changement d'état : quelques développements et résultats." Aix-Marseille 2, 1989. http://www.theses.fr/1989AIX24005.

Texto completo da fonte

Resumo:

Le modele etudie, voisin de la machine de turing fait disparaitre l expression de l etat dans l algorithme par notation sur le ruban. La methode consiste a se munir d alphabets riches pour noter a la fois donnees et structures algorithmiques. L auteur presente d abord deux demonstrations d equivalence avec la machine de turing. Il envisage ensuite un modele dit parallele qui consiste a se deplacer en bloc sur une suite de cases, et en donne quelques applications sur des problemes classiques. La caracteristique de ces machines est de deplacer la tete de lecture a cheval sur deux cellules de mem

Estilos ABNT, Harvard, Vancouver, APA, etc.

17

Srinivasarengan, Krishnan. "Estimation d'état, estimation paramétrique et identifiabilité des modèles quasi-LPV." Thesis, Université de Lorraine, 2018. http://www.theses.fr/2018LORR0059/document.

Texto completo da fonte

Resumo:

Dans cette thèse, deux problèmes liés aux approches basées sur des modèles pour le diagnostic de défauts et l'estimation du niveau de dégradation des équipements dans un bâtiment sont étudiés: la conception d'observateurs adaptatifs pour l'estimation de l'état et des paramètres, et l'analyse de l'identifiabilité des paramètres. La classe des modèles considérés est celle des modèles quasi-linéaires à paramètres variants dans le temps (quasi-LPV) avec paramétrisation affine des matrices d'état. Utilisant l'approche polytopique de Takagi-Sugeno (T-S), deux types d'observateurs sont proposés, un p

Estilos ABNT, Harvard, Vancouver, APA, etc.

18

Srinivasarengan, Krishnan. "Estimation d'état, estimation paramétrique et identifiabilité des modèles quasi-LPV." Electronic Thesis or Diss., Université de Lorraine, 2018. http://www.theses.fr/2018LORR0059.

Texto completo da fonte

Resumo:

Dans cette thèse, deux problèmes liés aux approches basées sur des modèles pour le diagnostic de défauts et l'estimation du niveau de dégradation des équipements dans un bâtiment sont étudiés: la conception d'observateurs adaptatifs pour l'estimation de l'état et des paramètres, et l'analyse de l'identifiabilité des paramètres. La classe des modèles considérés est celle des modèles quasi-linéaires à paramètres variants dans le temps (quasi-LPV) avec paramétrisation affine des matrices d'état. Utilisant l'approche polytopique de Takagi-Sugeno (T-S), deux types d'observateurs sont proposés, un p

Estilos ABNT, Harvard, Vancouver, APA, etc.

19

Tine, Houari. "Notion d'état et modèle à objets : réflexion et contribution." Lyon, INSA, 1999. http://www.theses.fr/1999ISAL0120.

Texto completo da fonte

Resumo:

Les langages objets décrivent les aspects statiques d'une entité d'une façon très satisfaisante, mais délaissent les aspects dynamiques, qui sont pris en compte dans de nombreux travaux: les acteurs, les vues, les rôles, etc. Dans cet esprit, la notion d'état (abstrait) a été considérée, mais elle est confrontée à des problèmes d'ordre conceptuel et pratique : les anomalies d'héritage, encapsulation et réutilisation limitées, etc. En plus, notre travail introduit 1' anomalie de type et d'identité pour prouver que la multiplicité des interfaces dans les approches à états classiques est un leurr

Estilos ABNT, Harvard, Vancouver, APA, etc.

20

Paquette, Simon. "Évaluation symbolique de systèmes probabilistes à espace d'états continu." Thesis, Université Laval, 2005. http://www.theses.ulaval.ca/2005/22827/22827.pdf.

Texto completo da fonte

Resumo:

Nous présentons une méthode symbolique pour représenter des modèles probabilistes à espace d’états continu (LMP). Ces modèles représentent des systèmes de transitions qui ont un nombre d’états non-dénombrable. L’objectif de l’utilisation d’une méthode symbolique est de consommer moins de mémoire lors de l’enregistrement du modèle. Notre technique pour enregistrer symboliquement les modèles est l’utilisation des diagrammes de décision binaire à terminaux multiples (MTBDD). Ces diagrammes offrent la possibilité d’enregistrer des fonctions à variables booléennes, ainsi que des graphes, de façon p

Estilos ABNT, Harvard, Vancouver, APA, etc.

21

Phan, Thanh-Liêm. "Développement incrémental de spécifications d'architectures en UML intégrant des procédures de vérification." Thesis, Montpellier 2, 2013. http://www.theses.fr/2013MON20267/document.

Texto completo da fonte

Resumo:

Le langage UML est devenu un standard de fait, y compris pour le développement de systèmes critiques. Néanmoins, les outils actuels apportent peu d'aide pour exploiter et vérifier les modèles proposés, surtout en cours de développement. Cette thèse se concentre sur l'aide à la construction d'architectures en UML durant les phases d'analyse et de conception de systèmes réactifs. Elle vise à développer un cadre théorique et pragmatique pour mettre en œuvre une approche incrémentale. Ce cadre fournit un outil permettant de vérifier les architectures durant leur modélisation. Les architectures son

Estilos ABNT, Harvard, Vancouver, APA, etc.

22

Matignon, Denis. "Représentations en variables d'état de modèles de guides d'ondes avec dérivation fractionnaire." Paris 11, 1994. http://www.theses.fr/1994PA112332.

Texto completo da fonte

Resumo:

Le but de ce travail est l'etablissement de procedures systematiques d'ecriture explicite de modeles physiques de resonateurs d'instruments a vent en vue d'une synthese sonore de qualite. La representation en variables d'etat (ve) est choisie car, s'implantant facilement et permettant une estimation parametrique a posteriori, elle allie les avantages des modeles de signaux et des modeles physiques. Nous developpons une ecriture modulaire des systemes de propagation d'ondes interconnectes, et une procedure de construction recurrente de la representation en ve de reseaux de systemes elementaires

Estilos ABNT, Harvard, Vancouver, APA, etc.

23

Saad, Olfa. "Comportement à très basses énergies de la densité d'états intégrée." Paris 13, 2003. http://www.theses.fr/2003PA132032.

Texto completo da fonte

Resumo:

On établit une formule précise donnant l'asymptotique de la densité d'états intégrée à des énergies très basses (? → - ∞) du modèle d'Anderson non borné inférieurement et à potentiel à simple site assez régulier. Sous certaines conditions sur la fonction de répartition des variables aléatoires F, on obtient des asymptotiques complètes. Les premiers termes de cette asymptotique reprèsentent la probabilité que l'énergie de l'état fondamentale de l'opérateur à simple site, soit inférieure à ?. A ce stade de décroissance de la fonction F, la densité d'états ne voit pas l'effet tunnel et la matrice

Estilos ABNT, Harvard, Vancouver, APA, etc.

24

Kamdem, Simo Freddy. "Model-based federation of systems of modelling." Thesis, Compiègne, 2017. http://www.theses.fr/2017COMP2374.

Texto completo da fonte

Resumo:

L'ingénierie des systèmes complexes et systèmes de systèmes conduit souvent à des activités de modélisation (MA) complexes. Les problèmes soulevés par les MA sont notamment : comprendre le contexte dans lequel elles sont exécutées, comprendre l'impact sur les cycles de vie des modèles qu'elles produisent, et finalement trouver une approche pour les maîtriser. L'objectif principal de cette thèse est d'élaborer une approche formelle pour adresser ce problème. Dans cette thèse, après avoir étudié les travaux connexes en ingénierie système et plus spécifiquement ceux qui portent sur la co-ingénier

Estilos ABNT, Harvard, Vancouver, APA, etc.

25

Schreck, Cédric. "Modélisation statistique des transferts thermo-aérauliques dans les bâtiments." Electronic Thesis or Diss., Chambéry, 2024. http://www.theses.fr/2024CHAMA019.

Texto completo da fonte

Resumo:

Le bâtiment doit s’adapter pour faire face aux conditions climatiques futures, notamment des périodes caniculaires plus fréquentes, plus longues et plus intenses. Afin de garantir le confort thermique des occupants, le rafraichissement naturel par ouverture de fenêtre constitue une solution bioclimatique, gratuite en carbone et en énergie. Or, son potentiel de réduction du besoin de rafraîchissement par climatisation dépend de la valeur du taux de renouvellement en air extérieur. Une estimation fiable de ce taux de renouvellement d’air pourrait promouvoir la prise en compte du bénéfice apporté

Estilos ABNT, Harvard, Vancouver, APA, etc.

26

Kanso, Bilal. "Modélisation et validation des systèmes à base d'états." Phd thesis, Ecole Centrale Paris, 2011. http://tel.archives-ouvertes.fr/tel-00659305.

Texto completo da fonte

Resumo:

La thèse s'inscrit dans le domaine de la modélisation et de la validation des systèmes modernes complexes. Les systèmes actuels sont en fait d'une complexité sans cesse croissante et formés de plus en plus de composants de natures différentes. Ceci rend leur processus de conception et de validation coûteux et difficile. Il semble être la simple façon permettant de faire face à cette hétérogénéité et à cette complexité est l'approche orientée composant. Suivant cette approche, le système est une entité formée par un ensemble des composants interconnectés. Les composants définissent une interfac

Estilos ABNT, Harvard, Vancouver, APA, etc.

27

López, Estrada Francisco Ronay. "Model-based fault diagnosis observer design for descriptor LPV system with unmeasurable gain scheduling." Electronic Thesis or Diss., Université de Lorraine, 2014. http://www.theses.fr/2014LORR0162.

Texto completo da fonte

Resumo:

Ce mémoire de thèse est consacré à la conception de méthodes de diagnostic à base de modèles fondées sur les observateurs pour les systèmes non linéaires modélisés comme des systèmes singuliers (D) linéaires à paramètres variants (LPV), notés D-LPV (Descriptor-Linear Parameter Varying). Les systèmes D-LPV constituent une classe particulière de systèmes approximant avec un certain degré de précision la dynamique des systèmes complexes non linéaires à partir d’une combinaison de modèles linéaires locaux pondérés par des fonctions convexes d'ordonnancement. Dans le contexte de l’apparition de déf

Estilos ABNT, Harvard, Vancouver, APA, etc.

28

Quagliaro, Laurence. "Une nouvelle méthode pour l'analyse quantitative de la sûreté de fonctionnement des systèmes : la méthode des graphes fictifs." Compiègne, 1993. http://www.theses.fr/1993COMPD657.

Texto completo da fonte

Resumo:

L'analyse quantitative de la sûreté de fonctionnement des systèmes complexes (de part leur taille ou leur topologie) se heurte à un problème d'explosion combinatoire qui ne peut être résolu que par l'utilisation d'approximations : regroupements de composants, agrégation d'états,. . . Ces approximations peuvent conduire à des résultats erronés si elles sont utilisées sans discernement et en dehors de leur domaine de validité, souvent mal connu. Nous proposons une nouvelle méthode de simplification des systèmes modélisés par graphe de Markov : la méthode des graphes fictifs qui nous permet l'éla

Estilos ABNT, Harvard, Vancouver, APA, etc.

29

Boukerrou, Hamid. "Design of New Finite State Dynamical Systems Admitting a Matrix Representation : Application to Cryptography." Electronic Thesis or Diss., Université de Lorraine, 2023. http://www.theses.fr/2023LORR0069.

Texto completo da fonte

Resumo:

L'essor considérable des technologies de l'information et de la communication, dans le contexte actuel de la révolution numérique et de l'Internet des Objets, nécessite de renforcer la sécurité des données et des systèmes. Dans ce contexte, la cryptographie joue un rôle important. Les machines à état fini (FSM pour Finite State Machines en anglais) sont des briques élémentaires couramment utilisées en cryptographie symétrique, en particulier pour le chiffrement par flot (Stream Ciphering en anglais). Ces objets mathématiques sont également usuels en automatique pour décrire des systèmes discre

Estilos ABNT, Harvard, Vancouver, APA, etc.

30

Mestrah, Ali. "Identification de modèles sous forme de représentation d'état pour les systèmes à sortie binaire." Electronic Thesis or Diss., Normandie, 2023. http://www.theses.fr/2023NORMC255.

Texto completo da fonte

Resumo:

Cette thèse porte sur la modélisation paramétrique des systèmes linéaires invariants à partir de mesures binaires de la sortie. Ce problème demodélisation est abordée via l’usage des méthodes des sous-espaces. Ces méthodes permettent l’estimation de modèles sous forme de représentation d’état,un des avantages de ces méthodes étant que leur mise en œuvre ne nécessite pas la connaissance préalable de l’ordre du système. Ces méthodes ne sontinitialement pas adaptées au traitement de données binaires, l’objectif de cette thèse est ainsi leur adaptation à ce contexte d’identification. Dans cette th

Estilos ABNT, Harvard, Vancouver, APA, etc.

31

Bara, Gabriela Iuliana. "Estimation d'état des systèmes linéaires à paramètres variants." Vandoeuvre-les-Nancy, INPL, 2001. http://www.theses.fr/2001INPL591N.

Texto completo da fonte

Resumo:

La reconstruction, partielle ou entière, de l'état d'un système à l'aide d'un observateur est une étape importante qui intervient dans les domaines de la commande, du diagnostic et de la surveillance des systèmes. Notre travail de recherche porte sur l'estimation d'état de systèmes linéaires à paramètres variants dans le temps (LPV). Lorsque nous souhaitons élaborer une stratégie d'estimation d'état pour des systèmes LPV, l'utilisation d'observateurs linéaires à temps invariant n'est pas appropriée et les résultats de synthèse correspondant sont trop pessimistes. Afin de réduire ce conservatis

Estilos ABNT, Harvard, Vancouver, APA, etc.

32

Hocine, Abdelfettah. "Estimation d'état et diagnostic de systèmes à commutation par filtrage multi-modèle." Phd thesis, Institut National Polytechnique de Lorraine - INPL, 2006. http://tel.archives-ouvertes.fr/tel-00135049.

Texto completo da fonte

Resumo:

Ce travail concerne la détection de défauts sur les systèmes sujets à des changements de mode de fonctionnement. Le système réel est modélisé par un système à commutation markovienne qui est représenté par un ensemble de modèles de fonctionnement (fonctionnements normaux et anormaux) et par une matrice de probabilité de transition de Markov qui contient les probabilités de passage d'un modèle de fonctionnement à un autre. Cette représentation offre un cadre idéal à l'application des méthodes d'estimation multi-modèle. L'intérêt d'utiliser ce type d'estimateurs réside dans le fait qu'en plus de

Estilos ABNT, Harvard, Vancouver, APA, etc.

33

Hocine, Abdelfettah. "Estimation d'état et diagnostic de systèmes à commutation par filtrage multi-modèle." Electronic Thesis or Diss., Vandoeuvre-les-Nancy, INPL, 2006. http://www.theses.fr/2006INPL093N.

Texto completo da fonte

Resumo:

Ce travail concerne la détection de défauts sur les systèmes sujets à des changements de mode de fonctionnement. Le système réel est modélisé par un système à commutation markovienne qui est représenté par un ensemble de modèles de fonctionnement (fonctionnements normaux et anormaux) et par une matrice de probabilité de transition de Markov qui contient les probabilités de passage d'un modèle de fonctionnement à un autre. Cette représentation offre un cadre idéal à l'application des méthodes d'estimation multi-modèle. L'intérêt d'utiliser ce type d'estimateurs réside dans le fait qu'en plus de

Estilos ABNT, Harvard, Vancouver, APA, etc.

34

Ramasso, Emmanuel. "Reconnaissance de séquences d'états par le Modèle des Croyances Transférables. Application à l'analyse de vidéos d'athlétisme." Phd thesis, Université Joseph Fourier (Grenoble), 2007. http://tel.archives-ouvertes.fr/tel-00260770.

Texto completo da fonte

Resumo:

Cette thèse porte sur la problématique de reconnaissance automatique de systèmes dynamiques. Une méthodologie basée sur des modèles de séquences d'états est employée : les états permettent de décrire le système à un instant particulier tandis que des transitions permettent au système d'évoluer au cours du temps. Dans le cadre de la thèse, deux nouvelles méthodes de représentation et de reconnaissance de séquences d'états basées sur le Modèle des Croyances Transférables, modèle non probabiliste de raisonnement incertain basé sur les fonctions de croyance, sont proposées. La première méthode est

Estilos ABNT, Harvard, Vancouver, APA, etc.

35

Boimond, Jean-Louis. "Commande à modèle interne en représentation d'état. : Problèmes de synthèse d'algorithme de commande." Lyon, INSA, 1990. http://www.theses.fr/1990ISAL0102.

Texto completo da fonte

Resumo:

Les travaux présentés dans ce mémoire portent sur l'étude de la commande à modèle interne (C. M. I. ). Le premier chapitre présente les principales propriétés de cette structure qui allie les avantages de la commande en boucle ouverte (correcteur proche de l'inverse du modèle) et de la boucle fermée (prise en compte des erreurs de modélisation et des perturbations extérieures). Une rapide comparaison est faite avec la commande en boucle fermée. Dans le second chapitre, un critère de précision asymptotique est introduit. Les conditions que doivent vérifier les différents blocs de la C. M. I. Po

Estilos ABNT, Harvard, Vancouver, APA, etc.

36

Viel, Frédéric. "Stabilité des systèmes non linéaires contrôlés par retour d'état estimé. Application aux réacteurs de polymérisation et aux colonnes à distiller." Rouen, 1994. http://www.theses.fr/1994ROUES017.

Texto completo da fonte

Resumo:

Cette thèse est consacrée à la synthèse d'observateurs grand gain, observateurs à convergence exponentielle de systèmes non linéaires et à leur utilisation dans des lois de commande par feedback. Un principe de séparation est obtenu : il est montré qu'un feedback stabilisant (au sens de la stabilité asymptotique globale) qui utilise les estimations d'état fournies par un observateur à convergence exponentielle conserve sa propriété nominale de stabilisation sous une hypothèse de bornitude des trajectoires du système contrôleur-observateur. La méthodologie dégagée pour la construction d'observa

Estilos ABNT, Harvard, Vancouver, APA, etc.

37

Flórez-Valencia, Leonardo. "Modèle d'état de cylindre généralisé et la quantification de sténoses artérielles en imagerie 3D." Lyon, INSA, 2006. http://theses.insa-lyon.fr/publication/2006ISAL0038/these.pdf.

Texto completo da fonte

Resumo:

Dans cette thèse, nous nous intéressons à l'utilisation d'un modèle d'état de cylindre généralisé pour l'analyse semi-automatique d'images vasculaires tridimensionnelles. Ce modèle est utilisé à deux niveaux : pour la segmentation des images et pour la quantification du degré de sténose. Le modèle est incorporé dans une stratégie de suivi de structures tubulaires fondée sur l'estimateur d'état de Kalman, associée à la segmentation de contours plans par l'algorithme d'ensembles de niveaux dit "fast marching". L'interprétation du modèle comme objet géométrique continu donne accès aux formules an

Estilos ABNT, Harvard, Vancouver, APA, etc.

38

Raissi, Tarek. "Méthodes ensemblistes pour l'estimation d'état et de paramètres." Paris 12, 2004. https://athena.u-pec.fr/primo-explore/search?query=any,exact,990002154520204611&vid=upec.

Texto completo da fonte

Resumo:

Cette thèse est dédiée au développement et è l'application de méthodes ensemblistes pour estimation d'état et de paramètres pour des systèmes non-linéaires. Dans ce travail, nous avons développé une arithmétique des intervalles complexes basée sur la représentation polaire. Cette bibliothèque a été associée aux méthodes d'inversion ensembliste dans le cadre de l'estimation de paramètres de modèles diélectriques, d'une part. Et pour l'identification de paramètres thermophysiques d'autre part. Dans la deuxième partie de cette thèse, des algorithmes d'estimation d'état pour des systèmes décrits p

Estilos ABNT, Harvard, Vancouver, APA, etc.

39

Akhbari, Mahsa. "Analyse des intervalles ECG inter- et intra-battement sur des modèles d'espace d'état et de Markov cachés." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAT026.

Texto completo da fonte

Resumo:

Les maladies cardiovasculaires sont l'une des principales causes de mortalité chez l'homme. Une façon de diagnostiquer des maladies cardiaques et des anomalies est le traitement de signaux cardiaques tels que le ECG. Dans beaucoup de ces traitements, des caractéristiques inter-battements et intra-battements de signaux ECG doivent être extraites. Ces caractéristiques comprennent les points de repère des ondes de l’ECG (leur début, leur fin et leur point de pic), les intervalles significatifs et les segments qui peuvent être définis pour le signal ECG. L'extraction des points de référence de l'E

Estilos ABNT, Harvard, Vancouver, APA, etc.

40

Pastor, Jilian. "Détermination de l'équation d'état de la matière nucléaire dans des modèles relativistes non linéaires : résultats et applications." Bordeaux 1, 2004. http://www.theses.fr/2004BOR12856.

Texto completo da fonte

Resumo:

Nous avons déterminé l'équation d'état de la matière nucléaire dans des modèles relativistes non linéaires. Nous nous sommes plus particulièrement intéressés à la région haute densité haute température dans laquelle les fonctions thermodynamiques ont des comportements très différents selon les modèles considérés. Le comportement à haute densité est, par exemple, un ingrédient fondamental pour la détermination de la masse maximale des étoiles à neutrons. Comme application, nous avons étudié les processus d'annihiltion de deux pions en paires e+e- dans la matière dense et chaude. Pour cela, nous

Estilos ABNT, Harvard, Vancouver, APA, etc.

41

Dautin, Sophie. "Réduction de modèles thermiques de bâtiments : amélioration des techniques par modélisation des sollicitations météorologiques." Poitiers, 1997. http://www.theses.fr/1997POIT2326.

Texto completo da fonte

Resumo:

Cette etude traite du probleme de la reduction de modeles thermiques de batiments lineaires et invariants. Son but est de montrer les resultats des techniques existantes et d'effectuer des modifications afin d'ameliorer la prise en compte des sollicitations typiques des batiments : la temperature exterieure et le flux solaire. La methodologie comporte plusieurs etapes : ? mise au point des modeles de connaissance detailles, couplee a une validation experimentale sur deux types de cellules de tests. Mise en evidence de la necessite de modeliser la tache solaire. ? application de quelques techni

Estilos ABNT, Harvard, Vancouver, APA, etc.

42

Ho, Thi Thu Suong. "Développement d'une nouvelle équation d'état applicable aux solutions d'électrolytes." Palaiseau, Ecole polytechnique, 2012. http://www.theses.fr/2012EPXX0006.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

43

Tendeng, Léna. "Etude de modèles de transmission de la Schistosomiase: Analyse mathématique, reconstruction des variables d'état et estimation des paramètres." Phd thesis, Université de Lorraine, 2013. http://tel.archives-ouvertes.fr/tel-00843687.

Texto completo da fonte

Resumo:

L'objectif de cette thèse est l'analyse mathématique et l'estimation des paramètres de modèles de métapopulation de la bilharziose. A partir du modèle de base de Macdonald, nous expliquons en détail comment ces modèles sont construits. Nous faisons leur analyse mathématique complète à partir du calcul du nombre de reproduction de base R0. Nous montrons que si R0 est inférieur ou égal à 1 alors l'équilibre sans maladie est globalement asymptotiquement stable. Dans le cas où R0 est strictement plus grand que 1 nous montrons l'existence et l'unicité de l'équilibre endémique et prouvons ensuite qu

Estilos ABNT, Harvard, Vancouver, APA, etc.

44

Tendeng, Ndéye Léna. "Étude de modèles de transmission de la Schistosomiase : analyse mathématique, reconstruction des variables d'état et estimation des paramètres." Thesis, Université de Lorraine, 2013. http://www.theses.fr/2013LORR0110/document.

Texto completo da fonte

Resumo:

L'objectif de cette thèse est l'analyse mathématique et l'estimation des paramètres de modèles de métapopulation de la bilharziose. A partir du modèle de base de Macdonald, nous expliquons en détail comment ces modèles sont construits. Nous faisons leur analyse mathématique complète à partir du nombre de reproduction du calcul du nombre de reproduction de base R0. Nous montrons que si R0 est inférieur ou égal à 1 alors l'équilibre sans maladie est globalement asymptotiquement stable. Dans le cas où R0 est strictement plus grand que 1 nous montrons l'existence et l'unicité de l'équilibre endémi

Estilos ABNT, Harvard, Vancouver, APA, etc.

45

Tendeng, Ndéye Léna. "Étude de modèles de transmission de la Schistosomiase : analyse mathématique, reconstruction des variables d'état et estimation des paramètres." Electronic Thesis or Diss., Université de Lorraine, 2013. http://www.theses.fr/2013LORR0110.

Texto completo da fonte

Resumo:

L'objectif de cette thèse est l'analyse mathématique et l'estimation des paramètres de modèles de métapopulation de la bilharziose. A partir du modèle de base de Macdonald, nous expliquons en détail comment ces modèles sont construits. Nous faisons leur analyse mathématique complète à partir du nombre de reproduction du calcul du nombre de reproduction de base R0. Nous montrons que si R0 est inférieur ou égal à 1 alors l'équilibre sans maladie est globalement asymptotiquement stable. Dans le cas où R0 est strictement plus grand que 1 nous montrons l'existence et l'unicité de l'équilibre endémi

Estilos ABNT, Harvard, Vancouver, APA, etc.

46

Dimster, Sylvie. "Aide informatique à la modélisation de systèmes non linéaires dans l'espace d'état." Lille 1, 1985. http://www.theses.fr/1985LIL10025.

Texto completo da fonte

Resumo:

L'étude des systèmes non linéaires pose encore plus que dans le cas linéaire, le problème du choix de la représentation. En effet, les résultats obtenus différent selon qu'un même critère (de stabilité, par exemple) est appliqué à une modélisation plutôt qu'à une autre. D'autre part, sur une même modélisation, deux critères différents peuvent conduire à des conditions de stabilité différentes. Il n'existe pas, à ce jour, de méthode générale déterminant "le meilleur modèle" à choisir afin d'obtenir une synthèse optimale d'un processus. Il est donc nécessaire de définir plusieurs modèles du syst

Estilos ABNT, Harvard, Vancouver, APA, etc.

47

Bel, Liliane. "Sur la réduction des modèles linéaires : analyse de données en automatique." Paris 11, 1985. http://www.theses.fr/1985PA112306.

Texto completo da fonte

Resumo:

Nous étudions ici deux méthodes de réduction dans l’espace d’état : l’agrégation et la troncature dans la base d’équilibre. Dans le cas de l’agrégation on propose une nouvelle méthode de sélection des valeurs propres qui est à la fois géométrique et séquentielle. Des problèmes de robustesse sont soulevés et résolus dans quelques cas particuliers. La base d’équilibre est abordée par le biais des degrés de commandabilité et d’observabilité. La notion de degré de perturbabilité est introduite. On étudie ensuite l’application de ces deux méthodes à la détermination d’une commande d’ordre réduit. E

Estilos ABNT, Harvard, Vancouver, APA, etc.

48

Petiet, Florence. "Réseau bayésien dynamique hybride : application à la modélisation de la fiabilité de systèmes à espaces d'états discrets." Thesis, Paris Est, 2019. http://www.theses.fr/2019PESC2014/document.

Texto completo da fonte

Resumo:

L'analyse de fiabilité fait partie intégrante de la conception et du fonctionnement du système, en particulier pour les systèmes exécutant des applications critiques. Des travaux récents ont montré l'intérêt d'utiliser les réseaux bayésiens dans le domaine de la fiabilité, pour modélisation la dégradation d'un système. Les modèles graphiques de durée sont un cas particulier des réseaux bayésiens, qui permettent de s'affranchir de la propriété markovienne des réseaux bayésiens dynamiques. Ils s'adaptent aux systèmes dont le temps de séjour dans chaque état n'est pas nécessairement distribué exp

Estilos ABNT, Harvard, Vancouver, APA, etc.

49

Ngassaki, Athanase. "Pour un nouveau modèle de gestion du secteur public marchand au Congo : l'exemple des entreprises d'état." Paris 9, 1988. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1988PA090006.

Texto completo da fonte

Resumo:

En dépit de la persistance des contreperformances, l'entreprise d'état au Congo demeure un instrument privilégié de la politique économique. Gérée suivant les règles d'efficacité, elle constitue une base indispensable d'accumulation nationale en effet, pour qu'elle soit une pièce maitresse dans une économie démunie de capitaux privés, il convient de la gérer avec de nouveaux critères. Son efficacité dépendra des conditions de création de la valeur ajoutée d'une part, et de l'affectation de cette valeur à un usage interne, c'est à dire la rémunération prioritaire des facteurs de production, d'a

Estilos ABNT, Harvard, Vancouver, APA, etc.

50

Chnib, Echrak. "Study and Development of an Adaptive Vertical Farm." Electronic Thesis or Diss., Université de Lorraine, 2025. http://www.theses.fr/2025LORR0016.

Texto completo da fonte

Resumo:

La population mondiale devrait atteindre près de 10 milliards d'ici 2050, entraînant une hausse attendue de la demande alimentaire due à la croissance démographique, au développement économique et à l'urbanisation. Pour répondre à cette demande de manière durable, les systèmes de cultures en serre, notamment l'agriculture verticale, se sont imposés comme une solution prometteuse, offrant des rendements élevés par unité de surface cultivée. La Serre Verticale Adaptative (SVA) est une serre verticale industrielle innovante qui ajuste dynamiquement la distance entre ses étagères empilées, optimis

Estilos ABNT, Harvard, Vancouver, APA, etc.

Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!