Увійти

Готові списки джерел за темами / Prévision en temps réel / Дисертації

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Prévision en temps réel.

Дисертації з теми "Prévision en temps réel"

Автор: Grafiati

Опубліковано: 30 листопада 2024

Оновлено: 19 липня 2025

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

Оберіть тип джерела:

Ознайомтеся з топ-50 дисертацій для дослідження на тему "Prévision en temps réel".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

Villien, Christophe. "Prévision de trajectoires 3-D en temps réel." Université Louis Pasteur (Strasbourg) (1971-2008), 2006. https://publication-theses.unistra.fr/public/theses_doctorat/2006/VILLIEN_Christophe_2006.pdf.

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

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

2

Monovskaya, Anna. "Prévisions temps-réel des conditions dynamiques critiques dans les systèmes contrôlés par impulsions." Troyes, 2005. http://www.theses.fr/2005TROY0001.

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

Анотація:

La conversion d'énergie sûre et fiable est étudiée dans le cadre de prévisions temps-réel des conditions critiques des systèmes contrôlés par impulsions (PECS). Cette étude considère des variations réalistes des paramètres d'environnement, suivant l'énergie de contrôle et les paramètres intrinsèques des PECS. Le problème est résolu en trois étapes successives inter-liées : analyse de stationnarité de l'état courant du système, prévision linéaire pas à pas et prévision à long terme des conditions critiques. Ce travail vise en particulier à améliorer l’efficacité des prévisions temps-réel des co

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

3

Temimi, Marouane. "La prévision en temps réel des charges de polluants dans un réseau d'assainissement urbain." Mémoire, École de technologie supérieure, 2002. http://espace.etsmtl.ca/804/1/TEMIMI_Marouane2002.pdf.

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

Анотація:

Le présent travail vise le développement des méthodologies de prévision et de validation, en temps réel, des charges de polluants dans un réseau d'assainissement urbain. La méthodologie de prévision préconisée s'est basée sur le modèle de "rating curve". Le modèle a été modifié afin de surmonter une de ses faiblesses. Le filtre de Kalman a été utilisé pour identifier les paramètres du modèle en temps réel. L'approche de validation développée se base sur le principe de la redondance de l'information. Un modèle autoregressif a été utilisé comme indicateur de la tendance de variation à court t

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

4

Hans, Etienne. "Modélisation des lignes de bus pour la prévision temps réel et la régulation dynamique." Thesis, Vaulx-en-Velin, Ecole nationale des travaux publics, 2015. http://www.theses.fr/2015ENTP0006/document.

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

Анотація:

Le bus est le moins cher des transports en commun. En contrepartie, il est beaucoup plus difficile à exploiter que le tramway ou le métro qui sont mieux protégés des influences extérieures. Un exemple typique est l’apparition de trains de bus, groupes de véhicules appartenant à la même ligne et arrivant ensemble à un arrêt. Ce phénomène augmente le temps d’attente moyen des usagers aux arrêts et induit un mauvais usage des bus disponibles. Cette thèse développe les outils permettant de garantir la régularité des lignes. Les recherches menées au cours de cette thèse s’articulent suivant deux di

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

5

Aumond, Romain. "La non-linéarité cyclique, prévision en temps réel et son application à la gestion d'actifs." Electronic Thesis or Diss., Institut polytechnique de Paris, 2024. http://www.theses.fr/2024IPPAG008.

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

Анотація:

Ce manuscrit de thèse se donne pour objet de rapprocher le cadre méthodologique d'identification en temps réel des dynamiques du cycle économique à la gestion d'actifs. Le cycle économique est caractérisé par des phases d'expansion et de récession dont la durée et l'amplitude sont hétérogènes. Les données macroéconomiques qui servent à identifier les phases du cycle sont marquées par des délais de publication et une asynchronicité dans leur disponibilité. Les modèles à facteurs dynamiques à changements de régimes markoviens sont une solution privilégiée pour gérer ces spécificités. Dans le sil

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

6

Bernède, Jean-Pierre. "Algorithmes adaptatifs et qualitatifs de prévision des crues en temps réel : application au cas de l'Aveyron." Toulouse, INPT, 1990. http://www.theses.fr/1990INPT060H.

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

Анотація:

A partir des hypotheses de conservation du gradient temporel intrinseque de hauteur (ou debit) en une station de prevision, de conservation de masse en regime transitoire a surface libre et par des essais de simulation sur la riviere aveyron, nous mettons en relief le role suffisamment explicatif, en situation de prevision de crues, des termes de gradients temporels, intrinseque de hauteur (ou debit), extrinseque de debit, associes a une hypothese de fermeture (sur les apports lateraux) par une integrale de dirac sur la pluie. Il en resulte dans un premier temps un modele de prevision des crue

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

7

Yang, Xiaouliu. "Mise au point d'une méthode d'utilisation d'un modèle puis-débit conceptuel pour la prévision des crues en temps réel." Marne-la-vallée, ENPC, 1993. http://www.theses.fr/1993ENPC9327.

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

Анотація:

Cette thèse a pour objectif de construire une méthodologie pour l’utilisation, en prévision des crues, d’un modèle pluie-débit conceptuel. Le modèle retenu pour cette étude est le modèle GR3J. Le premier problème a été de vérifier que le modèle GR3J peut être appliqué à un pas de temps nettement plus court que 24 heures. Ensuite, on a analysé les paramètres : surface de réponse, sensibilité et variabilité. Ces analyses ont suggéré une méthodologie pour la prévision des rues que l’on peut caractériser par : 1) ajustement rétroactif des paramètres avec raccordement au fonctionnement en continu d

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

8

Habaieb, Hamadi. "Contribution à l'étude critique des algorithmes de prévision de crue en temps réel : exemples de l'Aveyron et de la Medjerdah." Toulouse, INPT, 1987. http://www.theses.fr/1987INPT015H.

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

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

9

Vlavonou, Firmin. "Modèle factoriel dynamique contraint à régimes markoviens pour l'évaluation en temps réel du cycle économique." Thesis, Université Laval, 2013. http://www.theses.ulaval.ca/2013/30237/30237.pdf.

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

Анотація:

Cette thèse, composée de trois essais, identifie des modèles factoriels dynamiques de prévisions en temps réel du cycle économique. Il a pour objectif principal de proposer une structure de modèles d’analyse du cycle économique avec des données à hautes fréquences dans un contexte de révisions de donnée. Ceci est pertinent pour trois raisons. Premièrement, la prévision du cycle économique est une question centrale en macroéconométrie. Deuxièmement, les décideurs politiques bénéficieraient à avoir des informations à hautes fréquences et évaluées en temps réel sur les conditions économiques pour

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

10

Munier, Simon. "Modélisation intégrée des écoulements pour la gestion en temps réel d'un bassin versant anthropisé." Phd thesis, AgroParisTech, 2009. http://tel.archives-ouvertes.fr/tel-00525756.

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

Анотація:

Pour la gestion en temps réel des étiages comme pour celle des crues, l'une des principales missions des gestionnaires de bassin consiste à prévenir les situations de crise, généralement définies par des franchissements de débits seuils en différents points stratégiques, afin d'en limiter les dégâts, tant économiques et écologiques que matériels et humains. La thèse propose une méthodologie de synthèse et d'identification d'un modèle de simulation des débits, intégrant les phénomènes de transferts hydrauliques (propagation en cours d'eau) et hydrologiques (transformation de la pluie en débit),

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

11

Degas, Augustin. "Auto-structuration de trafic temps-réel multi-objectif et multi-critère dans un monde virtuel." Thesis, Toulouse 3, 2020. http://www.theses.fr/2020TOU30058.

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

Анотація:

Dans de nombreux domaines, la simulation est un outil puissant pour apprendre, visualiser, et comprendre l'impact d'une décision à un temps donné sur l'ensemble du système. Le domaine de la navigation aérienne ne fait pas exception. Les outils de simulation de trafic aérien sont essentiels dans la gestion du trafic aérien, et doivent être capables de générer une large variété de scénarios réalistes tout en prenant en compte différentes contraintes observables par l'utilisateur de simulations, appelées situations, telle qu'une densité de trafic, une typologie de flux, des collisions, un évèneme

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

12

Barthélémy, Sébastien. "Assimilation de données ensembliste et couplage de modèles hydrauliques 1D-2D pour la prévision des crues en temps réel. Application au réseau hydraulique "Adour maritime." Thesis, Toulouse, INPT, 2015. http://www.theses.fr/2015INPT0047/document.

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

Анотація:

Les inondations sont un risque naturel majeur pour les biens et les personnes. Prévoir celles-ci, informer le grand public et les autorités sont de la responsabilité des services de prévision des crues. Pour ce faire ils disposent d'observations in situ et de modèles numériques. Néanmoins les modèles numériques sont une représentation simplifiée et donc entachée d'erreur de la réalité. Les observations quant à elle fournissent une information localisée et peuvent être également entachées d'erreur. Les méthodes d'assimilation de données consistent à combiner ces deux sources d'information et so

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

13

Belaid, Ikbel. "On line-off line placement and scheduling of real time hardware tasks on dynamically reconfigurable platforms." Nice, 2011. http://www.theses.fr/2011NICE4019.

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

Анотація:

Le placement et l’ordonnancement des tâches matérielles sont les éléments clés du système d’exploitation temps réel. Ces deux problèmes doivent être traités efficacement afin d’améliorer la qualité du placement exprimée par le taux de fragmentation de ressources et la latence de reconfiguration, et la qualité d’ordonnancement représentée par la durée d’exécution de l’application et la garantie des échéances. En utilisant les systèmes sur puce programmable, nous proposons d’exploiter les caractéristiques physiques de ces puces, en particulier la reconfiguration partielle dynamique. Nous traiton

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

14

Habert, Johan. "Prévisions des crues en temps réel sur le bassin de la Marne : assimilation in situ pour la correction du modèle hydraulique mono-dimensionnel Mascaret." Thesis, Toulouse, INPT, 2016. http://www.theses.fr/2016INPT0017/document.

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

Анотація:

La prévision des crues et des inondations reste aujourd’hui un défi pour anticiper et assurer la sécurité des biens et des personnes. En France, le SCHAPI, qui dépend du MEDDE, assure ce rôle. Les niveaux et les débits d’un cours d’eau dépendent étroitement des interactions à différentes échelles entre les précipitations, les caractéristiques géométriques du cours d’eau et les propriétés topographiques, géologiques et pédologiques du bassin versant. Les modèles hydrauliques, utilisés dans le cadre de la prévision des crues, sont entachés d’incertitudes qu’il est nécessaire de quantifier et de

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

15

Cablé, Baptiste. "Vers la gestion de scénarios pour la reconnaissance et l'anticipation de situations dynamiques." Troyes, 2011. http://www.theses.fr/2011TROY0007.

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

Анотація:

Cette étude est dédiée à la reconnaissance et l’anticipation des situations dynamiques à des fins d’assistance. Certains outils comme les Modèles de Markov Cachés ou les Réseaux de Petri sont déjà utilisés dans ce contexte mais pour pouvoir fonctionner en temps-réel, le concepteur doit préciser au préalable les différentes situations possibles. Nous proposons un algorithme générique qui acquiert lui-même les connaissances du système dynamique observé. Il s’adapte à l’utilisateur et aux situations rencontrées pour effectuer des prédictions. Nous représentons le déroulement des situations dynami

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

16

Sainct, Rémi. "Étude des instabilités dans les modèles de trafic." Thesis, Paris Est, 2016. http://www.theses.fr/2016PESC1067/document.

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

Анотація:

Lorsque la densité de véhicules devient trop élevée, le trafic autoroutier est instable, et génère naturellement des accordéons, c'est-à-dire une alternance entre des zones fluides et des zones congestionnées. Ce phénomène n'est pas reproduit par les modèles de trafic standards d'ordre 1, mais peut l'être par des modèles d'ordre supérieurs, aussi bien microscopiques (modèles de loi de poursuite) que macroscopiques (systèmes de lois de conservation).Cette thèse analyse comment différents modèles représentent des états de trafic instables, et les oscillations qui en résultent. Au niveau microsco

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

17

Abou, Rjeily Yves. "Management and sustainability of urban drainage systems within smart cities." Thesis, Lille 1, 2016. http://www.theses.fr/2016LIL10085/document.

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

Анотація:

Ce travail présente le Contrôle en Temps Réel (CTR) des Réseaux d’Assainissement (RA) dans le cadre des villes intelligentes. Le CTR nécessite de comprendre le fonctionnement du RA et d'effectuer des simulations sur des évènements mesurés, prévus et synthétiques. Par conséquent, un système de Surveillance en Temps Réel (STR) a été installé sur le site expérimental, et combinée à un modèle de simulation. Une méthode d'auto-calage des modèles hydrauliques et un système de prévision des conditions aux limites, ont été développés. Visant à protéger les citoyens et d'atténuer les conséquences des i

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

18

Pagetti, Claire. "Extension temps réel d'AltaRica." Phd thesis, Ecole centrale de nantes - ECN, 2004. http://tel.archives-ouvertes.fr/tel-00006316.

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

Анотація:

Ce travail s'inscrit dans la continuité de l'étude du langage de description de systèmes AltaRica. Ce langage, développé au Labri, permet de modéliser des systèmes réels de manière hiérarchique. L'objectif de la thèse est d'introduire le temps quantitatif dans le but de concevoir des systèmes temps réel, c'est à dire des systèmes assujettis à des contraintes temporelles.<br />Deux extensions du langage sont proposées : une version temporisée et une hybride. Ces extensions respectent les caractéristiques du langage initial et conservent les aspects de hiérarchie, de synchronisation, de partage

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

19

Holländer, Matthias. "Synthèse géométrique temps réel." Thesis, Paris, ENST, 2013. http://www.theses.fr/2013ENST0009/document.

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

Анотація:

La géométrie numérique en temps réel est un domaîne de recherches émergent en informatique graphique.Pour pouvoir générer des images photo-réalistes de haute définition,beaucoup d'applications requièrent des méthodes souvent prohibitives financièrementet relativement lentes.Parmi ces applications, on peut citer la pré-visualisation d'architectures, la réalisation de films d'animation,la création de publicités ou d'effets spéciaux pour les films dits réalistes.Dans ces cas, il est souvent nécessaire d'utiliser conjointement beaucoup d'ordinateurs possédanteux-mêmes plusieurs unités graphiques (

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

20

Holländer, Matthias. "Synthèse géométrique temps réel." Electronic Thesis or Diss., Paris, ENST, 2013. http://www.theses.fr/2013ENST0009.

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

Анотація:

La géométrie numérique en temps réel est un domaîne de recherches émergent en informatique graphique.Pour pouvoir générer des images photo-réalistes de haute définition,beaucoup d'applications requièrent des méthodes souvent prohibitives financièrementet relativement lentes.Parmi ces applications, on peut citer la pré-visualisation d'architectures, la réalisation de films d'animation,la création de publicités ou d'effets spéciaux pour les films dits réalistes.Dans ces cas, il est souvent nécessaire d'utiliser conjointement beaucoup d'ordinateurs possédanteux-mêmes plusieurs unités graphiques (

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

21

Ivol, Alexandre. "Le roman du temps réel." Paris 3, 2004. http://www.theses.fr/2004PA030011.

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

Анотація:

Notre travail se fonde sur un questionnement autour de la représentation de l'expérience temporelle dans l'œuvre de William Faulkner et de James Joyce. Pour cela, nous nous sommes concentrés exclusivement sur la technique du monologue intérieur qui permet à l'intériorité du personnage principal de s'approprier les enjeux et le déroulement du processus diégétique. Notre démonstration consiste à justifier l'idée selon laquelle l'utilisation du monologue intérieur change les données initiales du récit en imposant une temporalité qui n'est plus celle de la fiction, mais qui relève avant tout du te

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

22

Cabral, Giordano. "Harmonisation automatique en temps réel." Paris 6, 2008. http://www.theses.fr/2008PA066236.

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

Анотація:

Le terme « système d’harmonisation automatique en temps réel » (HATR) désigne une application qui accompagne une mélodie possiblement improvisée, en trouvant une harmonie appropriée et en utilisant une rythmique fixe. Outre les contraintes de performance et de portée, le système et l’utilisateur peuvent s’influencer mutuellement. Ce type de système prend des éléments de l’accompagnement, la composition, et l’improvisation automatiques, et demeure un projet à défis par la complexité technique impliquée et par le manque de références solides dans la littérature scientifique. Dans cette thèse, no

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

23

Benmounah, Nadir. "Rendu temps-réel d'objets translucides." Limoges, 2009. https://aurore.unilim.fr/theses/nxfile/default/e76da47c-c965-4fbf-bdb6-7a2831e78925/blobholder:0/2009LIMO4031.pdf.

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

Анотація:

La reproduction du réel dispose d'un intérêt croissant en synthèse d'images. La translucidité est un phénomène qui ajoute aux images reproduites, un réalisme certain. La simulation de l'absorption de la lumière par la matière a su profiter de l'abondance de la littérature scientifique, ainsi que des performances actuelles des cartes graphiques, afin de s'imposer comme une nouvelle branche de recherche en synthèse d'images. Dans cette thèse, nous décrivons deux méthodes de rendu temps-réel d'objets translucides. La première méthode autorise la déformation en temps-réel de ces objets, à l'aide d

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

24

Sarni, Toufik. "Vers une mémoire transactionnelle temps réel." Phd thesis, Université de Nantes, 2012. http://tel.archives-ouvertes.fr/tel-00750637.

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

Анотація:

Avec l'émergence des systèmes multicœurs, le concept de mémoire transactionnelle (TM) a été renouvelé à la fois dans le domaine de la recherche et dans le monde industriel. En effet, en supportant les propriétés ACI (Atomicité, Consistance et Isolation) des transactions, le concept de TM facilite la programmation parallèle et évite les problèmes liés aux verrous tels que les interblocages et l'inversion de priorité. De plus, contrairement aux méthodes basées sur les verrous, une TM permet à plusieurs transactions d'accéder en parallèle aux ressources, et augmente ainsi la bande passante du sys

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

25

Salem, Habermehl Rym. "Répartition de programmes synchrones temps réel." Phd thesis, Université Joseph Fourier (Grenoble), 2001. http://tel.archives-ouvertes.fr/tel-00004703.

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

Анотація:

La programmation synchrone est utilisée pour faciliter la description des systèmes réactifs, devant réagir de façon continue avec leur environnement physique. Ces systèmes sont souvent répartis, pour des raisons d'implantation physique ou de tolérance aux fautes. D'autre part, de tels systèmes sont aussi critiques et temps-réel. Le but de ce travail est d'étudier des méthodologies d'implantation de tels systèmes sur des réseaux de calculateurs. Nous montrons comment l'application de la programmation synchrone pose des problèmes de robustesse pour la programmation de tels systèmes en raison de

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

26

Gauthier, Martin. "Surveillance des réseaux en temps réel." Mémoire, École de technologie supérieure, 2009. http://espace.etsmtl.ca/49/1/GAUTHIER_Martin.pdf.

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

Анотація:

La nouvelle génération d’outils de communication destinés au travail collaboratif amène une dépendance à des caractéristiques précises des réseaux de télécommunication Internet. Synchromédia est un tel système conçu et développé pour le travail collaboratif. Les caractéristiques exigées par la plateforme Synchromédia sont (1) un débit de trafic égal ou supérieur à la vidéoconférence en haut résolution (2) une latence inférieure à celle qu’exige la voix sur IP et (3) le partage d’énorme quantité de données propres aux applications parmi plusieurs correspondants ou usagers répartis sur un vaste

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

27

Bernaille, Laurent. "Classification temps réel d'applications sur l'internet." Paris 6, 2007. http://www.theses.fr/2007PA066566.

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

Анотація:

L'identification des applications utilisées sur un réseau est essentielle pour comprendre les évolutions du trafic et appliquer des politiques de qualité de service. Dans cette thèse, nous proposons une méthode identifiant l'application associée à une connexion TCP à partir de ses premiers paquets uniquement. Nous utilisons plusieurs techniques de clustering afin d'identifier les comportements de connexions les plus répandus. Puis, nous présentons des méthodes de classification qui associent les connexions à identifier aux clusters que nous avons trouvés et déterminent leur application. Nous é

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

28

Delalandre, Cyril. "Rendu temps réel de milieux participants." Rennes 1, 2012. http://www.theses.fr/2012REN1S168.

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

Анотація:

Imaginez un film avec un ciel sans nuages, un jeu vidéo avec une explosion sans fumée. Les milieux participants sont nécessaires au réalisme des images de synthèse. Le rendu de milieux participants est un vaste sujet de recherche dont le principal but est de simuler les interactions de la lumière avec les objets semi-transparents. Contrairement aux objets solides sur lesquels la lumière es t simplement réfléchie à la surface, les milieux participants absorbent et diffusent aussi la lumière. Ces interactions créent des effets visuels complexes tels que le sombres volumétriques et des ombres dou

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

29

Tigori, Kabland Toussaint Gautier. "Méthode de génération d’exécutif temps-réel." Thesis, Ecole centrale de Nantes, 2016. http://www.theses.fr/2016ECDN0019.

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

Анотація:

Dans les systèmes embarqués, la spécialisation ou la configuration des systèmes d’exploitation temps réel en fonction des besoins de l’application consiste en la suppression des services inutiles du système d’exploitation. Cela a non seulement pour but d’optimiser l’empreinte mémoire occupée par le système d’exploitation temps réel, afin de satisfaire les contraintes de mémoire auxquelles les systèmes embarqués font face, mais aussi de réduire la quantité de code mort au sein du système d’exploitation temps réel afin d’améliorer la sureté de fonctionnement. Dans nos travaux de thèse, nous nous

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

30

Semghouni, Samy Rostom. "Modélisation stochastique des transactions temps réel." Le Havre, 2007. http://www.theses.fr/2007LEHA0012.

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

Анотація:

Les SGBD temps réel (SGBDTR) sont conçus pour répondre aux besoins des applications qui nécessitent le traitement de grandes quantités de données en temps réel. Un SGBDTR doit donc traiter les transactions en garantissant leurs propriétés ACID (Atomicité, Cohérence, Isolation, Durabilité) d'une part, et doit satisfaire les contraintes de temps imposées aux transactions et aux données, d'autre part. Les travaux de cette thèse consistent à réaliser une étude stochastique et probabiliste du comportement des transactions temps réel. L'étude est réalisée en faisant varier certaines hypothèses telle

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

31

Halaq, Hanan. "Interférométrie holographique numérique en temps réel." Strasbourg, 2010. http://www.theses.fr/2010STRA6008.

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

Анотація:

La question du repliement des ordres trouve son origine dans la faible résolution des capteurs CCD : l'angle entre le faisceau objet et le faisceau référence doit être réduit à seulement quelques degrés afin de satisfaire aux conditions d'échantillonnage. Si cet angle d'enregistrement est plus grand que l’angle maximum acceptable, ce qui arrive lorsque les objets observés sont de grandes dimensions, l'hologramme sera sous-échantillonné. En conséquence, seuls de petits objets peuvent être enregistrés et ils doivent être placés loin de la caméra CCD ; les objets de grande taille devront être « r

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

32

Poupet, Victor. "Automates cellulaires : temps réel et voisinages." Lyon, École normale supérieure (sciences), 2006. http://www.theses.fr/2006ENSL0390.

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

Анотація:

Dans cette thèse nous nous sommes intéressés à l'importance du choix du voisinage sur les capacités algorithmiques des automates cellulaires. Nous avons travaillé en dimension quelconque en nous concentrant sur les classes de complexité correspondant au temps réel (plus petit temps nécessaire pour que l'automate ait lu le mot en entrée) et temps réel plus une constante. En effet il est connu que les voisinages sont équivalents en temps linéaire et il est donc nécessaire de considérer des temps inférieurs. Nous avons obtenu plusieurs résultats d'équivalences de voisinages au sens du temps réel

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

33

Chaudron, Jean-Baptiste. "Architecture de simulation distribuée temps-réel." Thesis, Toulouse, ISAE, 2012. http://www.theses.fr/2012ESAE0002/document.

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

Анотація:

Ce travail de thèse s'inscrit dans le projet plus global PRISE (Plate-forme de Recherche pour l'Ingénierie des Systèmes Embarqués) dont l'objectif principal est le développement d'une plateforme d'exécution pour les logiciels embarqués. De tels logiciels sont dits critiques et ils sont, par conséquent, soumis à des règles de conception spécifiques. Notamment, ces logiciels doivent répondre à des contraintes de temps réel et ainsi garantir des comportements temporels prédictifs afin de toujours donner des résultats justes avec le respect d'échéances temporelles.L'objectif de cette thèse est d'é

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

34

Rakotozafy, Andriamaharavo. "Simulation temps réel de dispositifs électrotechniques." Thesis, Université de Lorraine, 2014. http://www.theses.fr/2014LORR0385/document.

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

Анотація:

Les contrôleurs industriels font l’objet de changements de paramètres, de modifications, d’améliorations en permanence. Ils subissent les évolutions technologiques aussi bien matérielles que logicielles (librairies, système d’exploitation, loi de commande...). Malgré ces contraintes, ces contrôleurs doivent obligatoirement assurer toutes les fonctionnalités recouvrant le séquentiel, les protections, l’interface homme machine et la stabilité du système à contrôler. Ces fonctionnalités doivent être couvertes pour une large gamme d’applications. Chaque modification (matérielle ou logicielle) quoi

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

35

Maxim, Dorin. "Analyse probabiliste des systèmes temps réel." Phd thesis, Université de Lorraine, 2013. http://tel.archives-ouvertes.fr/tel-00923006.

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

Анотація:

Les systèmes embarqués temps réel critiques intègrent des architectures complexes qui évoluent constamment a n d'intégrer des nouvelles fonctionnalités requises par les utilisateurs naux des systèmes (automobile, avionique, ferroviaire, etc.). Ces nouvelles architectures ont un impact direct sur la variabilité du comportement temporel des systèmes temps réel. Cette variabilité entraîne un sur-approvisionnement important si la conception du système est uniquement basée sur le raisonnement pire cas. Approches probabilistes proposent des solutions basées sur la probabilité d'occurrence des valeur

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

36

Rakotozafy, Andriamaharavo. "Simulation temps réel de dispositifs électrotechniques." Electronic Thesis or Diss., Université de Lorraine, 2014. http://www.theses.fr/2014LORR0385.

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

Анотація:

Les contrôleurs industriels font l’objet de changements de paramètres, de modifications, d’améliorations en permanence. Ils subissent les évolutions technologiques aussi bien matérielles que logicielles (librairies, système d’exploitation, loi de commande...). Malgré ces contraintes, ces contrôleurs doivent obligatoirement assurer toutes les fonctionnalités recouvrant le séquentiel, les protections, l’interface homme machine et la stabilité du système à contrôler. Ces fonctionnalités doivent être couvertes pour une large gamme d’applications. Chaque modification (matérielle ou logicielle) quoi

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

37

Maxim, Dorin. "Analyse probabiliste des systèmes temps réel." Electronic Thesis or Diss., Université de Lorraine, 2013. http://www.theses.fr/2013LORR0267.

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

Анотація:

Les systèmes embarqués temps réel critiques intègrent des architectures complexes qui évoluent constamment afin d'intégrer des nouvelles fonctionnalités requises par les utilisateurs finaux des systèmes (automobile, avionique, ferroviaire, etc.). Ces nouvelles architectures ont un impact direct sur la variabilité du comportement temporel des systèmes temps réel. Cette variabilité entraîne un sur-approvisionnement important si la conception du système est uniquement basée sur le raisonnement pire cas. Approches probabilistes proposent des solutions basées sur la probabilité d'occurrence des val

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

38

Hakem, Mourad. "Ordonnancement multiprocessurs et distribué temps réel." Paris 13, 2006. http://www.theses.fr/2006PA132033.

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

Анотація:

Dans cette thèse, nous considérons plusieurs problèmes d'ordonnancement par les calculs parallèles. Une application parallèle est représentée par un graphe de tâches acyclique (DAG). Les sommets représentent les tâches et les arcs les contraintes de précédance entre elles. Nos contributions s'inscrivent dans les trois volets suivants. Le premier problème étudié est l'ordonnancement des graphes de tâches dans les systèmes multiprocesseurs. Les graphes de tâches considérées sont quelconques, de graphes de grande taille et la durée des tâches/communications est arbitraire. Dans ce cadre, nous pro

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

39

Alkhodre, Ahmad Badreddin. "Développement formel de systèmes temps réel à l'aide de SDL et IF ( Compilation pour système temps réel )." Lyon, INSA, 2004. http://theses.insa-lyon.fr/publication/2004ISAL0052/these.pdf.

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

Анотація:

Un système temps réel est un système qui interagit avec un environnement physique en remplissant souvent des missions critiques (une faute du système peut avoir des conséquences graves). Il sera dit correct s'il possède les bonnes fonctionnalités réalisées à temps (contraintes temporelles imposées par l’environnement ou par l’utilisateur). La validation fonctionnelle et temporelle de ces systèmes est une nécessité forte (fournisse des résultats fiables). Dans le cadre des implémentations à base d’exécutifs multitâche temps réel, le travail présenté dans cette thèse tente d’apporter une approch

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

40

ARTIGUES, Christian. "Ordonnancement en temps réel d'ateliers avec temps de préparation des ressources." Phd thesis, Université Paul Sabatier - Toulouse III, 1997. http://tel.archives-ouvertes.fr/tel-00010243.

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

Анотація:

Ce travail présente une méthode et des outils pour l'ordonnancement en temps réel d'atelier lorsque des contraintes complexes issues du terrain sont à prendre en compte. L'approche retenue vise à caractériser non pas une solution au problème d'ordonnancement, mais un ensemble de solutions sous la forme de groupes d'opérations permutables. Dans ce contexte, on considère un ensemble d'ordres de fabrication, chacun comportant une date de livraison et une date de début au plus tôt et étant composé d'un ensemble d'opérations d'exécution. Chaque opération d'exécution nécessite simultanément pour sa

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

41

Hugues, Jerome. "Architecture et Services des Intergiciels Temps Réel." Phd thesis, Télécom ParisTech, 2005. http://pastel.archives-ouvertes.fr/pastel-00001458.

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

Анотація:

L'utilisation d'intergiciels pour la réalisation de systèmes temps réel répartis embarqus (TR2E) nécessite la preuve des propriétés de bon fonctionnement de l'intergiciel et une mesure de son impact sur la sémantique du système. Parallèlement, l'intergiciel doit être adaptable et répondre à de nombreuses contraintes (plate-forme d'exécution, ressources, interfaces de communication, ...). Cette thèse propose une architecture adaptable d'intergiciel qui permet 1) l'adaptabilité de ses fonctions élémentaires aux besoins de l'utilisateur, 2) la vérification formelle des propriétés de l'intergiciel

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

42

Nguena, Timo Omer Landry. "Synthèse pour une Logique Temps-Réel Faible." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2009. http://tel.archives-ouvertes.fr/tel-00440829.

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

Анотація:

Dans cette thèse, nous nous intéressons à la spécification et à la synthèse de contrôleurs des systèmes temps-réels. Les modèles pour ces systèmes sont des Event-recording Automata. Nous supposons que les contrôleurs observent tous les évènements se produisant dans le système et qu'ils peuvent interdirent uniquement des évènements contrôlables. Tous les évènements ne sont pas nécessairement contrôlables. Une première étude est faite sur la logique Event-recording Logic (ERL). Nous proposons des nouveaux algorithmes pour les problèmes de vérification et de satisfaisabilité. Ces algorithmes prés

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

43

Chaaban, Khaled. "Architecture Informatique Temps-Réel Pour Véhicules Avancés." Phd thesis, Université de Technologie de Compiègne, 2006. http://tel.archives-ouvertes.fr/tel-00126989.

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

Анотація:

Cette thèse se situe dans le domaine des systèmes informatiques temps-réel embarqués, plus particulièrement les logiciels embarqués dans l'automobile pour tous les dispositifs émergents et à venir d'évaluation des systèmes d'aide à la conduite (ADAS) pour les prochaines générations de véhicules. Ce document présente les trois axes principaux des travaux de cette thèse : Le premier axe comprend le développement d'un middleware reconfigurable dynamiquement, SCOOT-R. Le deuxième axe concerne le développement des techniques d'ordonnancement distribuées des opérations SCOOT-R avec un objectif de qu

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

44

Dima, Catalin. "Théorie algébrique des langages formels temps réel." Phd thesis, Université Joseph Fourier (Grenoble), 2001. http://tel.archives-ouvertes.fr/tel-00004672.

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

Анотація:

Un automate temporisé est un automate augmenté avec plusieurs horloges qui mesurent le passage de temps et peuvent conditionner la modification de l'état du système. Les automates temporisés ont été introduits en tant que modèle formel pour les systèmes temps-réel, en espérant que leur rôle dans la vérification de tels systèmes sera similaire au rôle des automates finis dans la recherche systématique des erreurs de conception de systèmes non-temporisés. Dans notre thèse nous étudions plusieurs questions théoriques liés aux automates temporisés et aux langages temporisés. Dans une première part

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

45

Kelper, Bruno de. "Simulation en temps réel d'un convertisseur HTCC." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape11/PQDD_0021/MQ46647.pdf.

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

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

46

Rollet, Antoine. "Test de robustesse des systèmes temps-réel." Reims, 2004. http://theses.univ-reims.fr/exl-doc/GED00000108.pdf.

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

Анотація:

De nos jours, les systèmes temps-réel deviennent de plus en plus complexes et ont souvent de lourdes responsabilités. C'est pourquoi il est nécessaire de valider ce genre de systèmes avant leur mise en service. Cette thèse va se positionner dans le cadre du test de robustesse, plus particulièrement pour les systèmes temps-réel et à base de composants. Dans un premier temps, nous présentons une méthode de test de robustesse pour système temps-réel, considérant comme point de départ deux spécifications sous forme d'automates temporisés : une nominale et une dégradée. Nous provoquons une situatio

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

47

Porquet, Damien. "Rendu en temps réel de scènes complexes." Limoges, 2004. http://aurore.unilim.fr/theses/nxfile/default/fdef9900-123a-4d8a-ada2-c65cf3c94a1f/blobholder:0/2004LIMO0036.pdf.

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

Анотація:

En informatique graphique, on distingue la modélisation de l'environnement 3D de son rendu, c'est à dire de la synthèse effective d'images. Le cadre dans lequel s'inscrit cette thèse est le rendu en temps réel de scènes composées de modèles 3D complexes non déformables, très finement détaillés. De tels modèles permettent un grand réalisme dans les images produites mais sont également très coûteux utiliser (espace mémoire et temps de calcul). De nombreux travaux ont été proposés dans ce cadre. Nous décrivons différentes approches du problème : le rendu à base de points, la simplification de mai

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

48

Bridault, Flavien. "Animation et rendu temps-réel de flammes." Littoral, 2007. http://www.theses.fr/2007DUNK0200.

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

Анотація:

Le feu est un phénomène naturel particulièrement difficile à décrire en synthèse d’images. Ces dernières années, les modèles basés sur la physique relativement convaincants ont été conçus, mais ceux-ci restent coûteux. Or, certaines applications requièrent des performances temps-réel : les jeux vidéos, les environnements virtuels tels que les reconstitutions archéologiques, etc…Quelques approches répondant à cette contrainte ont été proposées, mais elles manquent visuellement de réalisme à cause des approximations concédées. C’est dans cette optique que nous avons cherché à développer un modèl

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

49

Koscianski, André. "Modèles de mécanique pour le temps réel." INSA de Rouen, 2004. http://www.theses.fr/2004ISAM0012.

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

Анотація:

Les modèles mathématiques traditionnellement présentés sous la forme d'équations différentielles peuvent être inadéquats à un usage où les contraintes de temps et de calcul sont importantes. C'est le cas des applications au temps réel tels les logiciels de simulation, contrôle, réalité virtuelle, etc. Une représentation obtenue par régression de données est souvent plus légère ; cependant le problème peut être mal posé et on n'assure pas l'obtention du comportement du phénomène étudié. Dans cette thèse, on propose l'utilisation simultanée d'un modèle mathématique et d'un ensemble de données à

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

50

Meftouh, Fouad. "Système de commande temps-réel multi-agents." Toulouse, ENSAE, 1993. http://www.theses.fr/1993ESAE0029.

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

Анотація:

Une application multi-robots peut être vue comme une population d'agents plus ou moins intelligents coopérant à la réalisation d'une mission. L’examen des problèmes de mise en œuvre de ces agents dans un environnement temps-réel, et des solutions permettant de les résoudre, constitue le centre d'intérêt de cette étude. Nous analysons dans un premier temps quelques architectures de commande de systèmes robotiques, ainsi que les modèles objets et acteurs et quelques-unes de leurs extensions ; et nous montrons l'adéquation de l'approche objet/acteur au problème de contrôle/commande des systèmes r

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

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!