Relevant bibliographies by topics / Logique de Hoare hybride / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Logique de Hoare hybride.

Dissertations / Theses on the topic 'Logique de Hoare hybride'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 40 dissertations / theses for your research on the topic 'Logique de Hoare hybride.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Behaegel, Jonathan. "Modèles hybrides de réseaux de régulation : étude du couplage des cycles cellulaire et circadien." Thesis, Université Côte d'Azur (ComUE), 2018. http://www.theses.fr/2018AZUR4071/document.

Full text
Abstract:
La modélisation de systèmes biologiques est devenue indispensable pour comprendre les phénomènes complexes et émergents issus d'influences partiellement connues, et pour envisager de contrôler un système altéré dans le but de restaurer un comportement physiologique. Tout modèle, quel que soit son paradigme sous-jacent, fait intervenir des paramètres gouvernant sa dynamique mais les mesures expérimentales ne permettent généralement pas de les identifier et cela reste l'un des problèmes majeurs de la modélisation. Cette thèse propose une méthode automatique d'identification des paramètres dynami
APA, Harvard, Vancouver, ISO, and other styles
2

Brenas, Jon Haël. "Hoare-like verification of graph transformation." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAM066/document.

Full text
Abstract:
En informatique comme dans de multiples autres domaines, les graphes peuvent être trouvés partout. Ils sont utilisés pour représenter des données dans des domaines allant de la chimie à l'architecture, en tant que structures abstraites ou que modèles des données et de leurs évolutions. Dans tous ces domaines, il est prévisible que les graphes évoluent au cours du temps suite à des réactions chimiques, une mise à jour des connaissance ou l'exécution d'un programme. Être capable de traiter ces transformations est une tâche particulièrement importante et difficile. Dans ce travail, notre objectif
APA, Harvard, Vancouver, ISO, and other styles
3

Lozes, Etienne. "Expressivité des logiques d'espace." Lyon, École normale supérieure (sciences), 2004. http://www.theses.fr/2004ENSL0289.

Full text
Abstract:
Les logiques spatiales sont une nouvelle classe de formalismes dedies a la specification des systemes distribues dans la lignee des logiques modales (Hennessy-Milner). Elles peuvent aussi etre vues comme une extension de la logique classique mieux adaptee a la semantique axiomatique des langages imperatifs manipulant des pointeurs, dans la lignee de la logique de Hoare-Floyd. Cette these presente ces diverses logiques en les comparant du point de vue de leur expressivite. On etablit ainsi des encodages des logiques, des fragments minimaux, des unifications de logiques, et des resultats de deci
APA, Harvard, Vancouver, ISO, and other styles
4

Ben, Jemaa Abdelhak. "Coopération méta heuristique et logique floue pour le dimensionnement d'une installation hybride." Thesis, Reims, 2015. http://www.theses.fr/2015REIMS009/document.

Full text
Abstract:
Cette thèse propose la méthodologie de dimensionnement optimal pour optimiser la configuration de système d'énergie hybride. Pour cela, nous utilisons une approche pour la génération de base de règles floues et une optimisation automatiques au moyen d'algorithme génétique et d'un PSO adaptés avec le floue. Ces algorithmes nous permet d'obtenir le nombre optimal de panneaux photovoltaïques, d'éoliennes et des batteries, minimisant le coût total du système et garantissant la disponibilité permanente de l'électricité pour couvrir les besoins énergétiques. L'historique horaire de vitesse du vent,
APA, Harvard, Vancouver, ISO, and other styles
5

El, Mankibi Mohamed. "Développement et évaluation numérique et expérimentale de stratégies de régulation de la ventilation hybride." Lyon, INSA, 2003. http://www.theses.fr/2003ISAL0034.

Full text
Abstract:
Les systèmes de ventilation sont des composants essentiels à prendre en compte lors de la conception des bâtiments. En effet, alors que la ventilation a longtemps été associée à la qualité de l'air intérieur, on constate un intérêt grandissant pour la ventilation pour le confort d'été. Dans le cas des systèmes de ventilation hybride, la coexistence de deux modes de ventilation différents associée à des objectifs d'économie d'énergie nécessitent une meilleure évoluée. Notre étude vise le développement et l'évaluation sur le plan numérique et expérimental de plusieurs architectures de contrôleur
APA, Harvard, Vancouver, ISO, and other styles
6

Diouf, Magatte. "Méthodes d'analyse logique pour la simulation hybride de circuits par relaxation de formes d'onde /." [S.l.] : [s.n.], 1991. http://library.epfl.ch/theses/?display=detail&nr=953.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Kanig, Johannes. "Spécification et preuve de programmes d'ordre supérieur." Paris 11, 2010. http://www.theses.fr/2010PA112183.

Full text
Abstract:
Nous présentons d'abord un système théorique permettant la preuve de programmes d'ordre supérieur avec etfets de bord. Ce système est constitué de trois composantes majeures. D'abord un langage de programmation avec un système à effets, avec polymorphisme d'etfets, permettant une analyse fine des effets. Ensuite, un langage de spécitication d'ordre supérieur qui contient aussi un moyen de parler des évolutions d'états. Enfin, un calcul de plus faibles préconditions, permettant d'obtenir, à partir d'un programme annoté, des obligations de preuve, c'est-à-dire des formules dont la validité impli
APA, Harvard, Vancouver, ISO, and other styles
8

Juarez, Orozco Zulema. "Vérification de propriétés quantitatives des systèmes logiques par model-checking hybride." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2008. http://tel.archives-ouvertes.fr/tel-00341969.

Full text
Abstract:
La vérification formelle des contrôleurs logiques a donné lieu à de nombreux travaux scientifiques cette dernière décennie. Elle permet de démontrer (obtention d'un niveau requis de sûreté de fonctionnement (SdF) des systèmes industriels, et tout particulièrement des systèmes critiques. Nos travaux portent sur la preuve des propriétés relatives à la qualité du service rendu par le système automatisé, que nous nommons des propriétés quantitatives. Par exemple, au lieu de vérifier que plusieurs produits ont effectivement été dosés avant d'enclencher un mélange puis une réaction chimique, il peut
APA, Harvard, Vancouver, ISO, and other styles
9

Wang, Xiaohui. "Dfkn : un modèle hybride de connaissances pour la conception." Valenciennes, 1998. https://ged.uphf.fr/nuxeo/site/esupversions/61efe636-d96f-4210-a7c2-a6a427246cfa.

Full text
Abstract:
L'objet principal de cette recherche est le développement d'un modèle de connaissances dédié aux premières étapes de la conception qui est une activité complexe faisant appel à un grand nombre de connaissances. La connaissance en conception se définit par les caractéristiques suivantes : l'imprécision des problèmes de conception et l'incertitude des contraintes, les relations empiriquement définies entre les contraintes et les problèmes, les décisions de conception multi - critères et un processus de conception dirige par le problème, la nécessité d'ajuster les connaissances en fonction d'une
APA, Harvard, Vancouver, ISO, and other styles
10

Hoffmann, Guillaume. "Tâches de raisonnement en logiques hybrides." Phd thesis, Université Henri Poincaré - Nancy I, 2010. http://tel.archives-ouvertes.fr/tel-00541664.

Full text
Abstract:
Les logiques modales sont des logiques permettant la représentation et l'inférence de connaissances. La logique hybride est une extension de la logique modale de base contenant des nominaux, permettant de faire référence à un unique individu ou monde du modèle. Dans cette thèse nous présentons plusieurs algorithmes de tableaux pour logiques hybrides expressives. Nous présentons aussi une implémentation de ces calculs, et nous décrivons les tests de correction et de performance que nous avons effectués, ainsi que les outils les permettant. De plus, nous étudions en détail une famille particuliè
APA, Harvard, Vancouver, ISO, and other styles
11

Pham, Duy An. "Gestion Optimale d’une installation hybride au Vietnam." Thesis, Reims, 2018. http://www.theses.fr/2018REIMS034.

Full text
Abstract:
Le Vietnam est un pays en voie d’industrialisation rapide ce qui engendre une croissance élevée des besoins énergétiques. La consommation énergétique du Vietnam est en augmentation mais pas de façon égale dans tout le pays. En effet, 66.9% de la population du Vietnam vit en zone rurale en 2014. Une grande partie de la population vit encore pauvrement dans des sites isolés avec des accès très restreint aux énergies. Le Vietnam Master Power Plan VII (2011) indique que 759.986 habitations n’ont pas accès à l’électricité.Cependant, le Vietnam est un pays qui possède un grand potentiel en énergie r
APA, Harvard, Vancouver, ISO, and other styles
12

Solano, Javier. "Modélisation et supervision des flux énergétiques à bord d'un véhicule hybride lourd : approche par logique floue de type-2." Phd thesis, Université de Franche-Comté, 2012. http://tel.archives-ouvertes.fr/tel-00699896.

Full text
Abstract:
Le transport des personnes et des marchandises représente plus de 25% de la consommation d'énergie et est l'une des principales sources de pollution dans le monde. Plusieurs efforts doivent être faits pour réduire la dépendance du pétrole, la consommation d'énergie et l'impact environnemental des systèmes de transport. Dans cette perspective, la Direction Générale de l'Armement a soutenu la conception et la réalisation du banc d'Evaluation de Composantes de la Chaine Electrique (ECCE). Il s'agit d'un laboratoire mobile qui permet d'évaluer dans des conditions d'utilisation réelles, les différe
APA, Harvard, Vancouver, ISO, and other styles
13

Solano, Martinez Javier Enrique. "Modélisation et supervision des flux énergétiques à bord d'un véhicule hybride lourd : approche par logique floue de type-2." Phd thesis, Université de Franche-Comté, 2012. http://tel.archives-ouvertes.fr/tel-00947626.

Full text
Abstract:
Le transport des personnes et des marchandises représente plus de 25% de la consommation d'énergie et est l'une des principales sources de pollution dans le monde. Plusieurs efforts doivent être faits pour réduire la dépendance du pétrole, la consommation d'énergie et l'impact environnemental des systèmes de transport. Dans cette perspective, la Direction Générale de l'Armement a soutenu la conception et la réalisation du banc d'Evaluation de Composantes de la Chaine Electrique (ECCE). Il s'agit d'un laboratoire mobile qui permet d'évaluer dans des conditions d'utilisation réelles, les différe
APA, Harvard, Vancouver, ISO, and other styles
14

Hankache, Walid Fadel Maurice Hissel Daniel. "Gestion optimisée de l'énergie électrique d'un groupe électrogène hybride à pile à combustible." Toulouse : INP Toulouse, 2009. http://ethesis.inp-toulouse.fr/archive/00000711.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

Maire, Sarah. "Cohabitation de logiques institutionnelles au sein d’une organisation hybride : une approche par les représentations textuelles et visuelles." Thesis, Université de Lorraine, 2018. http://www.theses.fr/2018LORR0135.

Full text
Abstract:
Au coeur de la recherche sur les logiques institutionnelles, l’objectif de cette thèse est d’apporter un nouvel éclairage sur l’identification des logiques et de leur cohabitation dans les organisations hybrides. La question de l’identification est centrale pour comprendre les logiques, leurs interrelations et leurs implications dans les organisations hybrides, soumises à l’influence d’une pluralité de logiques. Grâce à la prise en compte de données à la fois textuelles et visuelles, nous contribuons à l’analyse des informations contenues dans ces données et leur rôle dans la diffusion des log
APA, Harvard, Vancouver, ISO, and other styles
16

Hankache, Walid. "Gestion optimisée de l'énergie électrique d'un groupe électrogène hybride à pile à combustible." Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2008. http://tel.archives-ouvertes.fr/tel-00567577.

Full text
Abstract:
L'étude porte sur la gestion de la distribution instantanée de la puissance entre une pile à combustible et un élément de stockage afin d'assurer la puissance électrique nécessaire à la traction d'un véhicule électrique hybride. L'objectif visé est la minimisation de la consommation d'hydrogène sur un cycle donné. Le problème est formulé en tant que problème d'optimisation globale sous contraintes. Dans une première approche, le système est décrit sous forme d'une équation dynamique discrétisée et un algorithme de programmation dynamique est appliqué. Une seconde approche consiste à minimiser
APA, Harvard, Vancouver, ISO, and other styles
17

Bernardini-Perinciolo, Johan. "La conciliation de logiques institutionnelles concurrentes dans une organisation hybride via un manager-hybride et une equipe pluridisciplinaire : le cas d’un pôle d’activité clinique." Thesis, Aix-Marseille, 2016. http://www.theses.fr/2016AIXM1077.

Full text
Abstract:
Cette recherche tente de répondre à la problématique suivante : dans quelle mesure la mise en place d’un manager-hybride et d’une équipe pluridisciplinaire, peut- elle permettre la gestion de la concurrence entre des logiques institutionnelles au sein d’une organisation hybride ? Nous avons alors établi un cadre théorique développant d’abord la notion d’organisation hybride. Ensuite, nous investiguons la notion de manager-hybride en la rapprochant de celle de l’acteur-frontière. Enfin, nous nous intéressons à l’équipe pluridisciplinaire qui apparaît alors comme un espace favorable à la collabo
APA, Harvard, Vancouver, ISO, and other styles
18

Tran, Duc Anh. "Architecture hybride tolérante aux fautes pour l'amélioration de la robustesse des circuits et systèmes intégrés numériques." Thesis, Montpellier 2, 2012. http://www.theses.fr/2012MON20132/document.

Full text
Abstract:
L'évolution de la technologie CMOS consiste à la miniaturisation continue de la taille des transistors. Cela permet la réalisation de circuits et systèmes intégrés de plus en plus complexes et plus performants, tout en réduisant leur consommation énergétique, ainsi que leurs coûts de fabrication. Cependant, chaque nouveau noeud technologique CMOS doit faire face aux problèmes de fiabilité, dues aux densités de fautes et d'erreurs croissantes. Par conséquence, les techniques de tolérance aux fautes, qui utilisent des ressources redondantes pour garantir un fonctionnement correct malgré la prése
APA, Harvard, Vancouver, ISO, and other styles
19

Davy, Guillaume. "Génération de codes et d'annotations prouvables d'algorithmes de points intérieurs à destination de systèmes embarqués critiques." Thesis, Toulouse, ISAE, 2018. http://www.theses.fr/2018ESAE0034/document.

Full text
Abstract:
Dans l'industrie, l'utilisation de l'optimisation est omniprésente. Elle consiste à calculer la meilleure solution tout en satisfaisant un certain nombre de contraintes. Cependant, ce calcul est complexe, long et pas toujours fiable. C'est pourquoi cette tâche est longtemps restée cantonnée aux étapes de conception, ce qui laissait le temps de faire les calculs puis de vérifier que la solution était correcte et si besoin refaire les calculs. Ces dernières années, grâce à la puissance toujours grandissante des ordinateurs, l'industrie a commencé à intégrer des calculs d'optimisation au cœur des
APA, Harvard, Vancouver, ISO, and other styles
20

Oukkacha, Ismail. "Approche systémique de la gestion d'énergie électrique par stockage électrochimiques dédiés aux applications de transport “Electric Vehicles Energy Management using Lithium-batteries and Ultracapacitors” “Onboard energy management for electric vehicles applications — Using fuel cell and ultracapacitors” “Electric vehicles energy management using direct torque control -space vector pulse width modulation combined to polynomial controllers” “Energy management in Electric Vehicle based on frequency sharing approach, using Fuel cells, Lithium batteries and Supercapacitors”." Thesis, Normandie, 2019. http://www.theses.fr/2019NORMLH27.

Full text
Abstract:
Ce sujet s’inscrit dans la continuité des activités de recherche du laboratoire GREAH sur les problématiques de la gestion optimale d’énergie électrique embarqué à bord des véhicules électriques hybrides. En effet, le couplage de plusieurs sources de natures différentes entraîne des problématiques de dimensionnement, de qualité d’énergie et de la durée de vie des éléments interconnectés. Pour les applications de transport par exemple, les principaux facteurs de ces problématiques reposent sur : - les fluctuations de la puissance demandée par la chaîne de propulsion/ traction, la durée de vie l
APA, Harvard, Vancouver, ISO, and other styles
21

Drissi, Talbi Abdenbi. "Cadre multi-niveaux de programmation logique et orientée objet : étude, extensions et réalisation." Rouen, 1996. http://www.theses.fr/1996ROUES033.

Full text
Abstract:
Cette thèse propose un cadre de programmation hybride fondé sur la programmation logique (PL) et la programmation orientée objet (POO), et étendu par la résolution des contraintes linéaires en nombres naturels. Le langage LOP associé à ce cadre offre une programmation pouvant être statique ou dynamique, déclarative ou procédurale. Le système proposé se compose d'une hiérarchie à trois niveaux de programmation permettant une fusion progressive et non limitative de la PL et de la POO. Chacun de ces niveaux privilégie une facette du mariage de ces deux paradigmes. Le niveau de base, appelé NPO, p
APA, Harvard, Vancouver, ISO, and other styles
22

Khalouli, Safa. "Méta-heuristiques à base de modèles : applications à l’ordonnancement d’atelier flow-shop hybride monocritère et multicritère." Reims, 2010. http://theses.univ-reims.fr/sciences/2010REIMS006.pdf.

Full text
Abstract:
Nous proposons dans cette thèse l’étude de problèmes d’ordonnancement monocritère et multicritère sur un atelier de production flow-shop hybride. Nous nous intéressons à la résolution approchée de problèmes qui différent par leur fonction objectif que l’on cherche à minimiser : la date d’achèvement du travail le plus tardif (makespan), la somme pondérée des pénalités avance/retard et la somme totale des pénalités avance/retard. Notre objectif est d’explorer et de justifier l’utilisation d’algorithmes d’optimisation à base de colonie de fourmis pour la résolution de ces problèmes. Le problème m
APA, Harvard, Vancouver, ISO, and other styles
23

Gasparyan, Armen. "Le savoir en pratique dans une organisation hybride : le cas d’un syndicat professionnel." Thesis, Paris 10, 2016. http://www.theses.fr/2016PA100039.

Full text
Abstract:
Dans cette recherche, nous nous intéressons aux dynamiques du savoir dans le contexte d’une organisation hybride. Dans ce cadre, nous nous appuyons sur l’approche du savoir en pratique (Gherardi, 2000, 2006 ; Nicolini et al., 2003) et sur la littérature de l’hybridité organisationnelle (Battilana et Dorado, 2010 ; Pache et Santos, 2010 ; Battilana et Lee, 2014). Ainsi, à travers l’étude de cas unique au sein d’un syndicat professionnel (la Fnaim), nous étudions la manière dont le contexte hybride de la Fnaim, représenté par une logique de marché et une logique professionnelle, influence le sav
APA, Harvard, Vancouver, ISO, and other styles
24

Usai, Giulia. "Conception et Fabrication hybride 3D monolithique de relais NEMS co-integrés CMOS." Thesis, Université Grenoble Alpes (ComUE), 2019. http://www.theses.fr/2019GREAT069.

Full text
Abstract:
Ce travail de thèse porte sur les relais nano électromécaniques (NEMS en anglais). Afin de surmonter la limite d’efficacité énergétique inhérente à la technologie CMOS, l’utilisation de relais NEMS pour des circuits logiques a été récemment proposée. En effet, les bénéfices cumulés d’un courant nul à l’état bloqué et d’une commutation abrupte permettent d’améliorer le compromis puissance-performance lorsque la tension d’alimentation VDD est réduite.Cependant, les relais NEMS sont limités intrinsèquement par leur endurance, leur fréquence de fonctionnement ainsi que par leur faible densité d’in
APA, Harvard, Vancouver, ISO, and other styles
25

Robbana, Riadh. "Spécification et vérification de systèmes hybrides." Phd thesis, Université Joseph Fourier (Grenoble), 1995. http://tel.archives-ouvertes.fr/tel-00346070.

Full text
Abstract:
Les systèmes hybrides sont des systèmes qui combinent des composantes discrètes et des composantes continues. Les composantes continues peuvent représenter un environnement physique obéissant à des règles de changement continu, par contre les composantes discrètes peuvent représenter des contrôleurs discrets qui sondent et manipulent les composantes continues en temps réel. Deux approches peuvent être adoptées pour spécifier ces systèmes, la première étant basée sur des automates (hybrides) et utilise des méthodes d'analyse algorithmiques. La seconde est basée sur les logiques et utilise des p
APA, Harvard, Vancouver, ISO, and other styles
26

Lallemand-Stempak, Nathalie. "Capitalisme, Mutualisme et Démocratie dans le secteur de l'assurance : Rôles d'un dispositif d'élaboration stratégique dans la maintenance d'une organisation hybride." Phd thesis, Jouy-en Josas, HEC, 2013. http://pastel.archives-ouvertes.fr/pastel-00941244.

Full text
Abstract:
Nous en savons encore peu sur la manière dont les organisations gèrent la complexité de l'environnement dans lequel elles évoluent, et en particulier sur les moyens qu'elles mettent en œuvre pour rester " elles-mêmes " tout en répondant aux pressions, parfois contradictoires, qui s'exercent sur elles. Cette question apparaît particulièrement prégnante pour les organisations qui se revendiquent d'un modèle alternatif au modèle dominant issu du système capitaliste, et qui présentent un caractère hybride, c'est-à-dire qui poursuivent une mission sociale en exerçant une activité commerciale. Dans
APA, Harvard, Vancouver, ISO, and other styles
27

Shahalami, Seyed-Hamid. "Filtrage hybride des perturbations harmoniques produites par des systèmes d'entraînement asynchrone à vitesse variable." Nancy 1, 2001. http://docnum.univ-lorraine.fr/public/SCD_T_2001_0190_SHAHALAMI.pdf.

Full text
Abstract:
Ce travail porte sur la problématique importante du réseau d'énergie électrique. Il s'agit de trouver les meilleures architectures de filtrage hybride, des associations des filtres passifs et des filtres actifs, pour contrôler les perturbations harmoniques produites par différents variateurs de vitesse asynchrone afin de satisfaire les limites tolérées par EDF. Les filtres hybrides sont mis au point pour les systèmes d'entraînement asynchrone à l'onduleur de tension, l'onduleur de courant et le cycloconvertisseur à indice de pulsation 3. Un regard est porte sur l'outil d'optimisation d'algorit
APA, Harvard, Vancouver, ISO, and other styles
28

Neffati, Ahmed. "Stratégies de gestion de l'énergie électrique d'un système multi-source : décision floue optimisée pour véhicule électrique hybride." Toulouse 3, 2013. http://thesesups.ups-tlse.fr/2015/.

Full text
Abstract:
La gestion de l'énergie des véhicules électriques hybrides (VEH) a fait l'objet d'un grand effort scientifique dans les dernières années. En outre, la puissance demandée dans un (VEH) doit être gérée en ligne en respectant les contraintes de charge et d'énergie disponible. Nous nous intéressons en particulier dans notre travail à la gestion de l'énergie d'un véhicule hybride, le problème est la distribution instantanée de la puissance électrique demandée à travers les deux sources d'énergie en optimisant autant que possible la consommation globale d'hydrogène sur un profil de mission donné. No
APA, Harvard, Vancouver, ISO, and other styles
29

Nou, Julien. "Gestion optimale de l'énergie thermique dans un procédé hybride : solaire/géothermie pour le chauffage de bâtiments." Phd thesis, Université de Perpignan, 2011. http://tel.archives-ouvertes.fr/tel-00756810.

Full text
Abstract:
Les enjeux environnementaux, énergétiques et économiques actuels, nous amènent à proposer de nouvelles solutions de gestion énergétique afin d'éviter d'entrer dans une ère de récession énergétique brutale. À partir des constats établis par les institutions mondiales, telles que le GIEC, il est aujourd'hui admis par la communauté scientifique internationale, que la température moyenne de la Terre est en augmentation et que l'activité anthropique en est une des causes, sinon la plus importante. Les travaux réalisés et présentés dans ce manuscrit visent à répondre, en partie, à ces problématiques p
APA, Harvard, Vancouver, ISO, and other styles
30

Khoder, Wassim. "Contribution à la navigation inertielle par filtrage non linéaire et approche floue." Littoral, 2010. http://www.theses.fr/2010DUNK0279.

Full text
Abstract:
Les travaux de thèse présentés dans ce mémoire traitent des problèmes de la navigation inertielle par filtrage non linéaire et approche floue. Cette thèse a pour objet la proposition d’algorithmes d’hybridation INS/GPS/MAG. Deux contributions ont été réalisées visant le même objectif: d’une part, le développement d’un nouveau algorithme d’hybridation de la navigation inertielle, noté Q-SUKF, et d’autre part, l’hybridation INS/GPS/MAG dans des scénarios défavorables (multitrajet et masquage des signaux GPS). Le filtre Q-SUKF combine le filtre de Kalman sans parfum à paramètre (SUKF) en utilisan
APA, Harvard, Vancouver, ISO, and other styles
31

Cachera, David. "Validation formelle des langages à parallélisme de données." Phd thesis, École normale supérieure de Lyon - ENS Lyon, 1998. http://tel.archives-ouvertes.fr/tel-00425390.

Full text
Abstract:
Le calcul massivement parallèle a connu durant ces deux dernières décennies un fort développement. Les efforts dans ce domaine ont d'abord surtout été orientés vers les machines, plutôt qu'à la définition de langages adaptés au parallélisme massif. Par la suite, deux principaux modèles de programmation ont émergé : le parallélisme de contrôle et le parallélisme de données. Le premier a connu un vif succès. Dans ce modèle cependant, les applications massivement parallèles s'avèrent difficiles à concevoir et peu fiables, compte tenu du grand nombre de processus envisagés. En revanche, le parallé
APA, Harvard, Vancouver, ISO, and other styles
32

Medjoudj, Malika. "Contribution à l'analyse des systèmes pilotés par calculateurs : extraction de scénarios redoutés et vérification de contraintes temporelles." Phd thesis, Université Paul Sabatier - Toulouse III, 2006. http://tel.archives-ouvertes.fr/tel-00082568.

Full text
Abstract:
Lintégration progressive de lélectronique dans les secteurs automobile et avionique a amélioré le confort et les services rendus. Toutefois, cela a complexifié la conception des systèmes pilotés par calculateurs (systèmes mécatroniques, calculateurs de vol, etc.), ce qui rend difficile la maîtrise de leur fiabilité. Par ailleurs, la phase de conception doit être rapide et peu coûteuse (le moins de prototypes possible, le plus tard possible) avec un niveau de sécurité garantie. De plus, les ressources en moyens matériels étant limitées, pour des raisons de coûts et de mise en Suvre, les concept
APA, Harvard, Vancouver, ISO, and other styles
33

Ferrere, Thomas. "Assertions and measurements for mixed-signal simulation." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAM050.

Full text
Abstract:
Cette thèse porte sur le monitorage des simulations de circuits en signaux mixtes. Dans le domaine de la vérification de matériel, l'utilisation de formalismes déclaratifs pour la specification, dans le cadre de la validation par simulation, s'est installée dans la pratique courante. Cependant, le manque de fonctionnalités visant à spécifier les comportements asynchrones, ou l'intégration insuffisante des résultats de la vérification, rend les language d'assertions et de mesures inopérants pour la vérification de comportements en signaux mixtes. Nous proposons des outils théoriques et pratique
APA, Harvard, Vancouver, ISO, and other styles
34

Zandi, Majid. "Contribution au pilotage des sources hybrides d’énergie électrique." Thesis, Vandoeuvre-les-Nancy, INPL, 2010. http://www.theses.fr/2010INPL071N/document.

Full text
Abstract:
Ce mémoire traite du pilotage de systèmes hybrides de puissance électrique. Les sources principales d’énergie sont un système photovoltaïque et une pile à combustible. Les sources secondaires sont un pack de batteries et un pack de supercondensateurs. Le dimensionnement des sources secondaires est réalisé afin de gérer les transitoires de puissances et de fournir l’appoint d’énergie lorsque celle issue des sources principales est insuffisante. Les sources principales, quant à elles, fournissent l’énergie à la charge en régime permanent. Le contrôle des flux d’énergies et les asservissements de
APA, Harvard, Vancouver, ISO, and other styles
35

Mokhtari, Aimed. "Diagnostic des systèmes hybrides : développement d'une méthode associant la détection par classification et la simulation dynamique." Phd thesis, INSA de Toulouse, 2007. http://tel.archives-ouvertes.fr/tel-00200034.

Full text
Abstract:
Ce travail s'inscrit dans le domaine du diagnostic des systèmes hybrides et est basé sur l'utilisation d'un modèle. Il a pour objectif de diagnostiquer les fautes à partir de la connaissance structurelle, comportementale ou fonctionnelle du système en représentant ces connaissances (modèle du système) séparément de la connaissance sur la tâche de diagnostic. Les systèmes hybrides incluent à la fois des variables continues et discrètes. La dynamique continue est généralement fournie par des équations différentielles et algébriques alors que la partie discrète est modélisée par des automates ou
APA, Harvard, Vancouver, ISO, and other styles
36

Debieu, Sylvain. "Synthèse in situ de fluorophores organiques : formation de liaisons covalentes par déclenchement enzymatique et applications en biodétection." Thesis, Bourgogne Franche-Comté, 2017. http://www.theses.fr/2017UBFCK051/document.

Full text
Abstract:
L'imagerie de fluorescence s'est particulièrement développée au fil de ces dernières décennies notamment pour l'exploration des systèmes biologiques. De nombreux développements portant à la fois sur les instruments d'analyse et les agents de contraste (sondes) ont été entrepris pour améliorer cette technique de bioanalyse. Mes travaux de thèse avaient pour but d'explorer diverses plateformes moléculaires pro-fluorescentes pouvant générer, sous l'effet d'un stimulus biologique / chimique, un fluorophore organique. Cette approche de synthèse chimique in-situ met en jeu des réactions domino carac
APA, Harvard, Vancouver, ISO, and other styles
37

Magron, Victor. "Preuves formelles pour l'optimisation globale -- Méthodes de gabarits et sommes de carrés." Phd thesis, Ecole Polytechnique X, 2013. http://pastel.archives-ouvertes.fr/pastel-00917779.

Full text
Abstract:
Cette thèse a pour but de certifier des bornes inférieures de fonctions multivariées à valeurs réelles, définies par des expressions semi-algébriques ou transcendantes et de prouver leur validité en vérifiant les certificats dans l'assistant de preuves Coq. De nombreuses inégalités de cette nature apparaissent par exemple dans la preuve par Thomas Hales de la conjecture de Kepler. Dans le cadre de cette étude, on s'intéresse à des fonctions non-linéaires, faisant intervenir des opérations semi-algébriques ainsi que des fonctions transcendantes univariées (cos, arctan, exp, etc). L'utilisation
APA, Harvard, Vancouver, ISO, and other styles
38

Medjoudi, Malika. "Contribution à l'analyse des systèmes pilotés par calculateur : extraction de scénarios redoutés et vérification de contraintes temporelles." Toulouse 3, 2005. http://www.theses.fr/2006TOU30026.

Full text
Abstract:
Mes travaux de thèse sont placés dans le cadre de la fiabilité dynamique. L'objectif est de réaliser une analyse qualitative de la sûreté de fonctionnement des systèmes pilotés par calculateurs pour extraire des scénarios menant à des états redoutés. Il s'agit de caractériser ces scénarios au plus tôt dans la phase de conception, ce qui permet d'évaluer leurs probabilités d'occurrence pour valider l'architecture du système. Nous proposons une approche basée sur la logique linéaire et les Réseaux de Petri Prédicats Transitions Différentiels Stochastiques. Cette approche tient partiellement comp
APA, Harvard, Vancouver, ISO, and other styles
39

Wu, Zhao Xin. "Un modèle computationnel d'intelligence culturelle ouvert et extensible." Thèse, 2013. http://www.archipel.uqam.ca/5475/1/D2431.pdf.

Full text
Abstract:
Avec le phénomène de la globalisation qui prend de l'ampleur, les différences culturelles, dans les communications interculturelles, amènent leur lot de problèmes inévitables. Geet Hofstede a exprimé de manière représentative ce phénomène : "Culture is more often a source of conflict than of synergy. Cultural differences are a nuisance at best and often a disaster." (Geert Hofstede, Emeritus Professor, Maastricht University.) Dans la revue de la littérature, jusqu'à ce jour, les recherches relatives à l'intelligence culturelle (IC) utilisent les méthodes traditionnelles pour mesurer l'IC et tr
APA, Harvard, Vancouver, ISO, and other styles
40

Micouin, Patrice. "Propositions pour la définition et la mise en place de processus d'ingénierire de systèmes : application au cas de la conceptin concourante dans le secteur de l'automobile." Phd thesis, 2006. http://pastel.archives-ouvertes.fr/pastel-00002518.

Full text
Abstract:
La rationalisation des processus de développement de systèmes (tels qu'aéronefs, systèmes satellitaires, navires, véhicules automobiles, etc.) ne date pas d'aujourd'hui. Elle a cependant pris un cours nouveau avec la diffusion au début des années quatre vingt-dix d'un corps de connaissances appelé ingénierie des systèmes (systems engineering). Nombre d'entreprises concevant et réalisant des systèmes adoptent des processus d'ingénierie système (systems engineering processes) s'appuyant sur ce corpus de connaissances (SEBOK, systems engineering body of knowledge). Dans ce contexte, notre travail
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography