Дисертації з теми "Localisation en temps réel"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 дисертацій для дослідження на тему "Localisation en temps réel".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.
Charmette, Baptiste. "Localisation temps-réel d'un robot par vision monoculaire et fusion multicapteurs." Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2012. http://tel.archives-ouvertes.fr/tel-00828573.
Повний текст джерелаMalasné, Nicolas. "Localisation et reconnaissance de visages en temps réel : algorithmes et architectures." Dijon, 2002. http://www.theses.fr/2002DIJOS045.
Повний текст джерелаDecrouez, Marion. "Localisation et cartographie visuelles simultanées en milieu intérieur et en temps réel." Thesis, Grenoble, 2013. http://www.theses.fr/2013GRENM010/document.
Повний текст джерелаIn this thesis, we explore the problem of modeling an unknown environment using monocular vision for localization applications. We focus in modeling dynamic indoor environments. Many objects in indoor environments are likely to be moved. These movements significantly affect the structure and appearance of the environment and disrupt the existing methods of visual localization. We present in this work a new approach for modeling the environment and its evolution with time. We define explicitly the scene as a static structure and a set of dynamic objects. The object is defined as a rigid entity that a user can take, move and that is visually detectable. First, we show how to automatically discover new objects in a dynamic environment. Existing methods of visual localization simply ignore the inconsistencies due to changes in the scene. We aim to analyze these changes to extract additional information. Without any prior knowledge, an object is a set of points with coherent motion relative to the static structure of the scene. We combine two methods of visual localization to compare various explorations in the same environment taken at different time. The comparison enables to detect objects that have moved between the two shots. For each object, a geometric model and an appearance model are learned. Moreover, we extend the scene model while updating the metrical map and the topological map of the static structure of the environment. Object discovery using motion is based on a new algorithm of multiple structures detection in an image pair. Given a set of correspondences between two views, the method based on RANSAC extracts the different structures corresponding to different model parameterizations seen in the data. The method is applied to homography estimation to detect planar structures and to fundamental matrix estimation to detect structures that have been shifted one from another. Our approach for dynamic scene modeling is applied in a new formulation of place recognition to take into account the presence of dynamic objects in the environment. The model of the place consists in an appearance model of the static structure observed in that place. An object database is learned from previous observations in the environment with the method of object discovery using motion. The place recognition we propose detects the dynamic objects seen in the place and rejects the false detection due to these objects. The different methods described in this dissertation are tested on synthetic and real data. Qualitative and quantitative results are presented throughout the dissertation
Marsit, Nadhem. "Traitement des requêtes dépendant de la localisation avec des contraintes de temps réel." Toulouse 3, 2007. http://thesesups.ups-tlse.fr/106/.
Повний текст джерелаIn last years, the mobility of units achieved an increasing development. One of the direct consequences in the database field is the appearance of new types of queries such as Location Dependent Queries (LDQ) (e. G. An ambulance driver asks for the closest hospital). These queries raise problems which have been considered by several researches. Despite the intensive work related to this field, the different types of queries studied so far do not meet all the needs of location based applications. In fact these works don’t take into account the real time aspect required by certain location based applications. These new requirements generate new types of queries such as mobile queries with real time constraints. Taking into account mobility and real time constraints is an important problem to deal with. Hence, our main objective is to propose a solution for considering real time constraints while location dependent query processing. First, we propose a language for expressing different type of queries. Then, we design a software architecture allowing to process location dependent queries with real time constraints. The modules of this architecture are designed to be implemented on top of existent DBMS (e. G. Oracle). We propose methods to take into account location of mobile client and his displacement after sending the query. We also propose methods in order to maximise the percentage of queries respecting their deadlines. Finally we validate our proposal by implementing the proposed methods and evaluating their performance
Meilland, Maxime. "Cartographie RGB-D dense pour la localisation visuelle temps-réel et la navigation autonome." Phd thesis, Ecole Nationale Supérieure des Mines de Paris, 2012. http://tel.archives-ouvertes.fr/tel-00686803.
Повний текст джерелаAbuhadrous, Iyad. "Système embarqué temps réel de localisation et de modélisation 3D par fusion multi-capteur." Phd thesis, École Nationale Supérieure des Mines de Paris, 2005. http://pastel.archives-ouvertes.fr/pastel-00001118.
Повний текст джерелаAbid, Mohamed Amine. "Systèmes de localisation en temps réel basés sur les réseaux de communication sans fil." Thèse, Université de Sherbrooke, 2016. http://hdl.handle.net/11143/8820.
Повний текст джерелаLagueux, Louis-Bernard. "Détection et localisation des discontinuités dans la simulation temps réel des circuits d'électronique de puissance." Mémoire, École de technologie supérieure, 2010. http://espace.etsmtl.ca/649/1/LAGUEUX_Louis%2DBernard.pdf.
Повний текст джерелаServant, F. "Localisation et cartographie simultanées en vision monoculaire et en temps réel basé sur les structures planes." Phd thesis, Université Rennes 1, 2009. http://tel.archives-ouvertes.fr/tel-00844909.
Повний текст джерелаBarbosa, Nogueira Evanaska Maria. "Conception d'un système d'antennes pour la localisation en temps réel avec réseau de capteurs sans fils." Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00981583.
Повний текст джерелаServant, Fabien. "Localisation et cartographie simultanées en vision monoculaire et en temps réel basé sur les structures planes." Rennes 1, 2009. ftp://ftp.irisa.fr/techreports/theses/2009/servant.pdf.
Повний текст джерелаOur work deals with computer vision. The problem of augmented reality implies a real time estimation of the relive position between camera and scene. This thesis presents a complete method of pose tracking that works with planar structures which are abundant in indoor and outdoor urban environments. The pose tracking is done using a low cost camera and an inertial sensor. Our approach is to use the planes to make the pose estimation easier. Homographies computed by an image tracking algorithm presented in this document are used as measurements for our Simultaneous Localization And Mapping method. This SLAM method permits a long term and robust pose tracking by propagating the measurements uncertainties. Works about selection of regions to track and their corresponding plane parameters initialization are also described in this thesis. Numerical and image based experiments shows the validity of our approach
Mouragnon, Etienne. "Reconstruction 3D et localisation simultanée de caméras mobiles : une approche temps-réel par ajustement de faisceaux local." Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2007. http://tel.archives-ouvertes.fr/tel-00925661.
Повний текст джерелаBun, Long. "Détection et localisation de défauts pour un système PV." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00647189.
Повний текст джерелаRoussillon, Cyril. "Une solution opérationnelle de localisation pour des véhicules autonomes basée sur le SLAM." Thesis, Toulouse, INSA, 2013. http://www.theses.fr/2013ISAT0050/document.
Повний текст джерелаThere are numerous applications of outdoor autonomous mobile robots : surveillance of areas to detect anomalies, data acquisition campaigns, exploration, search of victims in disaster areas, etc. Robot localization is a key function in these contexts because it is necessary fora lot of essential robotics tasks, in particular to build environment models, follow paths or supervise the execution of the missions.This work presents the development of a localization solution for autonomous robots, designedto be both a generic research tool and an effective tool to localize robots navigating with highlydynamic movements.Starting with a simultaneous localization and mapping (SLAM) solution using a single camera,several solutions are successively built by gradually adding sensors, until obtaining a robust and precise system combining several cameras, an inertial sensor and odometry, which is inaddition able to integrate absolute position measures when available (e.g. as provided byGPS or a map-based localization scheme). A in-depth analysis of the abilities and limitations of the different systems is systematically made, in particular considering the advantages of estimating online extrinsic calibration parameters and sensor biases. A particular emphasisis set on real time execution of the algorithms on board the robots and on their robustness,requiring to address various problems related to temporal aspects of data management.Thorough evaluations using different realistic datasets allows to evaluate and validate the proposed work throughout the manuscript
Nogues, Jean-François. "Identification et localisation spatiale de cibles sous-marines. Apport d'un noyau temps réel à la réalisation d'une instrumentation évolutive." Toulouse 3, 1994. http://www.theses.fr/1994TOU30115.
Повний текст джерелаBelaroussi, Rachid. "Localisation du visage dans des images et séquences vidéo couleur." Paris 6, 2006. http://www.theses.fr/2006PA066338.
Повний текст джерелаRabatel, Gilles. "Localisation de fruits en environnement naturel par segmentation d'images polychromes : application à la réalisation d'un dispositif de localisation en temps réel pour la récolte robotisée des fruits fragiles." Bordeaux 1, 1988. http://www.theses.fr/1988BOR10619.
Повний текст джерелаBossu, Jérémie. "Segmentation d’images pour la localisation d’adventices : application à la réalisation d’un système de vision pour une pulvérisation spécifique en temps réel." Dijon, 2007. http://www.theses.fr/2007DIJOS079.
Повний текст джерелаCatellani, Stéphane. "Etude sur la détection et la localisation de défauts en temps réel dans les éléments de puissance d'une association convertisseur-machine." Grenoble INPG, 1992. http://www.theses.fr/1992INPG0068.
Повний текст джерелаAbramik, Stanisław. "Base de connaissance des défauts des systèmes électriques pour systèmes experts : contribution à l'étude du diagnostic de défaillance des convertisseurs statiques en temps réel." Toulouse, INPT, 2003. http://www.theses.fr/2003INPT030H.
Повний текст джерелаLabbé, Mathieu. "Gestion de mémoire pour la détection de fermeture de boucle pour la cartographie temps réel par un robot mobile." Mémoire, Université de Sherbrooke, 2010. http://savoirs.usherbrooke.ca/handle/11143/1580.
Повний текст джерелаRullan, Lara José Luis. "Conception et implantation embarquée d'un système de localisation en utilisant les signaux radio pour la stabilisation d'un mini drone." Compiègne, 2011. http://www.theses.fr/2011COMP1984.
Повний текст джерелаThe Unmanned Aerial Vehicles are complex and difficult dynamic systems to control. In spite of the efforts realized on the stabilization approaches (nested saturation, back-stepping, etc. ), the control laws have been always focused to stabilize the orientation of the vehicle and few works has been developed to estimate its position. Since real measurements are noisy and are not directly observable or measurable from the sensors, the estimation of the position is a difficult problem to resolve. Numerous approaches have been proposed for position’s estimation. In particular, vision and GPS have been explored in indoor and outdoor, respectively. However, there remain many challenges to its application in UAVs. This dissertation presents a solution to the problem of location of UAV indoor using radio signals. The k-nearest neighbor (KNN) algorithm, the least squares algorithm and the Extended Kalman filter have been tested and validated in real time. The performances of the algorithms were validated during hover flight and path following flight of a mini helicopter. In order to validate the algorithms, I developed a mini helicopter with four rotors (quad rotor) with the computer architecture for implementing onboard embedded control laws for its stability and for the implementation of localization tasks
Roussillon, Cyril. "Une solution opérationelle de localisation pour des véhicules autonomes basée sur le SLAM." Phd thesis, INSA de Toulouse, 2013. http://tel.archives-ouvertes.fr/tel-00956697.
Повний текст джерелаLauffenburger, Jean-Philippe. "Contribution à la surveillance temps-réel du système "Conducteur - Véhicule - Environnement" : élaboration d'un système intelligent d'aide à la conduite." Phd thesis, Université de Haute Alsace - Mulhouse, 2002. http://tel.archives-ouvertes.fr/tel-00732949.
Повний текст джерелаDans ce contexte, la localisation du véhicule et particulièrement les informations de l'environnement d'évolution doivent être pertinentes. Elles sont obtenues grâce à une base de données cartographique spécifiquement développée dans le cadre de ces travaux. Celle-ci est caractérisée par une précision supérieure à celle des bases de données traditionnellement employées dans des dispositifs de navigation.
Maginier, Sylvain. "Le filtrage des défauts dans l'analyse de la sécurité dynamique en temps réel des grands réseaux électriques." Phd thesis, Grenoble INPG, 1998. http://tel.archives-ouvertes.fr/tel-00820621.
Повний текст джерелаPhilippe, Denis. "Contribution au développement de stratégies de diagnostic application a un train de laminage à chaud." Nancy 1, 1992. http://www.theses.fr/1992NAN10350.
Повний текст джерелаEudes, Alexandre. "Localisation et cartographie simultanées par ajustement de faisceaux local : propagation d'erreurs et réduction de la dérive à l'aide d'un odomètre." Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2011. http://tel.archives-ouvertes.fr/tel-00662438.
Повний текст джерелаBirem, Merwan. "Localisation et détection de fermeture de boucle basées saillance visuelle : algorithmes et architectures matérielles." Thesis, Clermont-Ferrand 2, 2015. http://www.theses.fr/2015CLF22558/document.
Повний текст джерелаIn several tasks of robotics, vision is considered to be the essential element by which the perception of the environment or the interaction with other users can be realized. However, the potential artifacts in the captured images make the task of recognition and interpretation of the visual information extremely complicated. It is therefore very important to use robust, stable and high repeatability rate primitives to achieve good performance. This thesis deals with the problems of localization and loop closure detection for a mobile robot using visual saliency. The results in terms of accuracy and efficiency of localization and closure detection applications are evaluated and compared to the results obtained with the approaches provided in literature, both applied on different sequences of images acquired in outdoor environnement. The main drawback with the models proposed for the extraction of salient regions is their computational complexity, which leads to significant processing time. To obtain a real-time processing, we present in this thesis also the implementation of the salient region detector on the reconfigurable platform DreamCam
Karam, Nadir. "Agrégation de données décentralisées pour la localisation multi-véhicules." Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2009. http://tel.archives-ouvertes.fr/tel-00724489.
Повний текст джерелаLoesch, Angélique. "Localisation d'objets 3D industriels à l'aide d'un algorithme de SLAM contraint au modèle." Thesis, Université Clermont Auvergne (2017-2020), 2017. http://www.theses.fr/2017CLFAC059/document.
Повний текст джерелаIn the industry domain, applications such as quality control, automation of complex tasks or maintenance support with Augmented Reality (AR) could greatly benefit from visual tracking of 3D objects. However, this technology is under-exploited due to the difficulty of providing deployment easiness, localization quality and genericity simultaneously. Most existing solutions indeed involve a complex or an expensive deployment of motion capture sensors, or require human supervision to simplify the 3D model. And finally, most tracking solutions are restricted to textured or polyhedral objects to achieved an accurate camera pose estimation.Tracking any object is a challenging task due to the large variety of object forms and appearances. Industrial objects may indeed have sharp edges, or occluding contours that correspond to non-static and view-point dependent edges. They may also be textured or textureless. Moreover, some applications require to take large amplitude motions as well as object occlusions into account, tasks that are not always dealt with common model-based tracking methods. These approaches indeed exploit 3D features extracted from a model, that are matched with 2D features in the image of a video-stream. However the accuracy and robustness of the camera localization depend on the visibility of the object as well as on the motion of the camera. To better constrain the localization when the object is static, recent solutions rely on environment features that are reconstructed online, in addition to the model ones. These approaches combine SLAM (Simultaneous Localization And Mapping) and model-based tracking solutions by using constraints from the 3D model of the object of interest. Constraining SLAM algorithms with a 3D model results in a drift free localization. However, such approaches are not generic since they are only adapted for textured or polyhedral objects. Furthermore, using the 3D model to constrain the optimization process may generate high memory consumption,and limit the optimization to a temporal window of few cameras. In this thesis, we propose a solution that fulfills the requirements concerning deployment easiness, localization quality and genericity. This solution, based on a visual key-frame-based constrained SLAM, only exploits an RGB camera and a geometric CAD model of the static object of interest. An RGB camera is indeed preferred over an RGBD sensor, since the latter imposes limits on the volume, the reflectiveness or the absorptiveness of the object, and the lighting conditions. A geometric CAD model is also preferred over a textured model since textures may hardly be considered as stable in time (deterioration, marks,...) and may vary for one manufactured object. Furthermore, textured CAD models are currently not widely spread. Contrarily to previous methods, the presented approach deals with polyhedral and curved objects by extracting dynamically 3D contour points from a model rendered on GPU. This extraction is integrated as a structure constraint into the constrained bundle adjustment of a SLAM algorithm. Moreover we propose different formalisms of this constraint to reduce the memory consumption of the optimization process. These formalisms correspond to hybrid structure/trajectory constraints, that uses output camera poses of a model-based tracker. These formalisms take into account the structure information given by the 3D model while relying on the formalism of trajectory constraints. The proposed solution is real-time, accurate and robust to occlusion or sudden motion. It has been evaluated on synthetic and real sequences of different kind of objects. The results show that the accuracy achieved on the camera trajectory is sufficient to ensure a solution perfectly adapted for high-quality Augmented Reality experiences for the industry
Royer, Eric. "Cartographie 3D et localisation par vision monoculaire pour la navignation autonome d'un robot mobile." Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2006. http://tel.archives-ouvertes.fr/tel-00698908.
Повний текст джерелаAwarkeh, Nour. "2D indoor localization system with an UWB multistatic radar." Electronic Thesis or Diss., Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLT041.
Повний текст джерелаNowadays, the ability to track objects and people is crucial for a huge number of applications, such as medical applications (monitoring of patients) or independent applications that require a very high accuracy and resolution in the positioning process. Therefore, the main scientific objective of this thesis is to develop a tracking system using an UWB multistatic radar system to provide realtime 2D location of transponders or active tags. The localization is carried out in polar coordinates (distance and azimuth angle) by merging the interferometry and goniometry principles, assuming a propagation channel with a direct path, or LoS between the station and the target. The designed ILS incorporates a hybrid technique by combining the duplex UWB and the Phase Correlation methods for the radial-distance and the azimuth angle estimates. The proposed ILS consists of two main components, a transmitter /receiver (transceiver) station serving as a LBS and an AT. The LBS has one transmitting channel and two identical and independent receiving channels. The localization is performed by sending UWB pulses towards the AT which acts as an active transponder and retransmits in turn the received signal back to the LBS upon delaying it. This designed ILS is expected to offer, under LoS conditions, a position estimation with high accuracy and resolution while maintaining low system complexity. The system works with a single anchor, and simultaneously addresses indoor challenges such as multipaths, strong signal attenuations, reflections, etc
Pagetti, Claire. "Extension temps réel d'AltaRica." Phd thesis, Ecole centrale de nantes - ECN, 2004. http://tel.archives-ouvertes.fr/tel-00006316.
Повний текст джерела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 de variables et de priorité statique. En outre, afin d'améliorer les descriptions temps réel, de nouveaux opérateurs de modélisation, comme l'urgence et les priorités temporelles, ont été ajoutés. Nous obtenons ainsi un langage hiérarchique de haut niveau de modélisation de systèmes temps réel.
Une étude formelle complète a été menée sur la sémantique du langage, le pouvoir d'expression des langages AltaRica temps réel et des moyens de traductions automatiques vers des modèles classiques existants. Ces algorithmes reposent sur la notion de mise à plat de modèle, i.e. réécrire le modèle sans sous composant.
Enfin, le langage temporisé est implanté dans un prototype qui étant donné un modèle le met à plat puis le traduit en automate temporisé. Ainsi, certains systèmes réels ont pu être modélisés puis des propriétés ont été vérifiées à l'aide du model checker UPPAAL.
Holländer, Matthias. "Synthèse géométrique temps réel." Thesis, Paris, ENST, 2013. http://www.theses.fr/2013ENST0009/document.
Повний текст джерелаEal-time geometry synthesis is an emerging topic in computer graphics.Today's interactive 3D applications have to face a variety of challengesto fulfill the consumer's request for more realism and high quality images.Often, visual effects and quality known from offline-rendered feature films or special effects in movie productions are the ultimate goal but hard to achieve in real time.This thesis offers real-time solutions by exploiting the Graphics Processing Unit (GPU)and efficient geometry processing.In particular, a variety of topics related to classical fields in computer graphics such assubdivision surfaces, global illumination and anti-aliasing are discussedand new approaches and techniques are presented
Mouba, Ndjila Joan. "Manipulations spatiales de sons spectraux." Thesis, Bordeaux 1, 2009. http://www.theses.fr/2009BOR13869/document.
Повний текст джерелаIn active listening applications, it is important to be able to interact with individual sources present in the mix, for example by changing their spatial position. In this thesis, we proposed techniques for binaural localization and spatialization, based on interaural differences in amplitude and in time of arrival. The techniques are developed in the time-frequency plane. They can locate and project sources in the space surrounding a listener. We also developed binaural source separation methods based on the Maximum Likelihood and on spatial probabilistic masks. Finally, we extended binaural spatialization techniques to multi-diffusion techniques which use a set of speakers for diffusion. The proposed techniques are tested and compared to referenced, well-known techniques. For similar performance with the existing ones, our proposed techniques highlight complexity advantages and are suitable for real-time applications
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.
Повний текст джерелаThe reproduction of nature in computer-added applications knows a significant revolution. Translucidity enhances the realism virtual images. Light absorption simulation has taken profits of the abundant scientific literature in physics and optics, and of the last advancements in graphics cards technologies, to establish itself as a new branch in image synthesis research. In the scope of this thesis, we describe two different methods in real-time rendering of translucent objects. The first method allows real-time deformation of these objects, by means of flexible texture atlases. In the second, we focused on porcelain. This material is famous for its translucidity and its whiteness. Porcelain rendering is achieved after the acquisition of its optical properties and the use of Kubelka-Munk model
Ivol, Alexandre. "Le roman du temps réel." Paris 3, 2004. http://www.theses.fr/2004PA030011.
Повний текст джерелаOur work is based on the questionning about the way the experience of Time is represented in William Faulkner's and James Joyce's works. For this, we exclusively focused our attention on the stream of consciousness technique which allows the main character's inward thoughts to take over the narrative process as well as the issue at stake. Our demonstration consists in justifying the idea according to which the use of stream of consciousness changes the initial data of the narrative by imposing a time scale which has no longer anything to do with that of fiction, but which emanates from real Time, that is to say time without ellipsis, taking into account both elements of objective reality ( the hero's environment ) and of subjectivity ( his thoughts ans perceptions ). In our opinion, this temporal revolution in the heart of narrative ( which shakes the conventionnal form of the naturalist novel to its foundations ) corresponds to the true definition of what modernity represents in literary terms
Cabral, Giordano. "Harmonisation automatique en temps réel." Paris 6, 2008. http://www.theses.fr/2008PA066236.
Повний текст джерелаGiraud, Denis. "Diagnostic des systèmes industriels complexes par agrégation de méthodes : application à une station d'épuration." Nancy 1, 1998. http://www.theses.fr/1998NAN10002.
Повний текст джерелаSarni, Toufik. "Vers une mémoire transactionnelle temps réel." Phd thesis, Université de Nantes, 2012. http://tel.archives-ouvertes.fr/tel-00750637.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерелаMaxim, Dorin. "Analyse probabiliste des systèmes temps réel." Phd thesis, Université de Lorraine, 2013. http://tel.archives-ouvertes.fr/tel-00923006.
Повний текст джерелаHakem, Mourad. "Ordonnancement multiprocessurs et distribué temps réel." Paris 13, 2006. http://www.theses.fr/2006PA132033.
Повний текст джерелаBernaille, Laurent. "Classification temps réel d'applications sur l'internet." Paris 6, 2007. http://www.theses.fr/2007PA066566.
Повний текст джерелаDelalandre, Cyril. "Rendu temps réel de milieux participants." Rennes 1, 2012. http://www.theses.fr/2012REN1S168.
Повний текст джерелаImagine a movie with skies without clouds, a video game with explosions without smoke or fire. Participating media are mandatory for realistic-looking CG scenes. Rendering participating media is therefore a widely studied research topic focusing on the simulation of light interactions within translucent objects. Unlike solid objects where the light is simply reflected over the surface, participating media also absorb and scatter light. All of these interactions create complex effects such as volumetric shadows and soft shadows. We investigate the field of real-time rendering of participating media. We propose scalable algorithms ranging from real-time performance to production quality along with efficient graphics memory management. We first introduce the concept of transmittance function maps for fast estimation of single scattering in participating media. We then extend this concept to image-based lighting using spherical transmittance. We finally introduce the volume-aware extinction map to handle the massive scenes containing numerous and highly detailed media used in movie post-production
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.
Повний текст джерелаIn embedded systems, specialization or configuration of real-time operating systems according to the application requirements consists to remove the operating system services that are not needed by the application. This operation allows both to optimize the memory footprint occupied by the real-time operating system in order to meet the memory constraints in embedded systems and to reduce the amount of dead code inside the real-time operating system in order to improve its reliability. In this thesis, we focus on the use of formal methods to specialize real-time operating systems according applications. One major difficulty using formal models is the gap between the system model and its implementation. Thus, we propose to model the operating system so that the model embeds its source code and manipulated data structures. For this purpose, we use finite state model (possibly timed model) with discrete variables and sequences of instructions which are considered as atomic manipulating these variables. From the operating system model and an application model, the set of reachable states of the operating system model describing the code needed during application execution is computed. Thus, the source code of the specialized operating system is extracted from the pruned model. The overall approach is implemented with Trampoline, a real-time operating system based on OSEK/VDX and AUTOSAR standards. This specialization technique ensures the absence of dead code, minimizes the memory footprint and provides a formal model of the operating system used in a last step to check its behavior by using model checking. In this context, we propose an automatic formal verification technique that allows to check the operating systems according OSEK/VDX and AUTOSAR standards using generic observers
Semghouni, Samy Rostom. "Modélisation stochastique des transactions temps réel." Le Havre, 2007. http://www.theses.fr/2007LEHA0012.
Повний текст джерелаReal-time database systems (RTDBSs) are systems designed to address the applications which need real-time processing of large quantities of data. An RTDBS must guarantee the transactions ACID (Atomicity, Consistency, Isolation, Durability) properties on one hand, and must schedule the transactions in order to meet their individual deadlines, on the other hand. In this thesis, we focus on stochastic and probabilistic study of the behavior of real-time transactions. The study is conducted under some assumptions such as the arrival mean of transactions, transactions type, concurrency control protocol (an optimistic and a pessimistic), and scheduling policy. We have then designed and developed a flexible and extensible RTDBS simulator, on which the study is done. The obtained results have shown that the transactions behavior can be approximated by a probabilistic model. The model is used to predict the transactions success ratio according to the system workload. We also propose a new scheduling policy for real-time transactions which uses criteria based on both transaction deadlines and transaction importance. This policy contributes to enhance the system performances (maximization of committing transactions), improving then the RTDBSs quality of service
Halaq, Hanan. "Interférométrie holographique numérique en temps réel." Strasbourg, 2010. http://www.theses.fr/2010STRA6008.
Повний текст джерелаPoupet, Victor. "Automates cellulaires : temps réel et voisinages." Lyon, École normale supérieure (sciences), 2006. http://www.theses.fr/2006ENSL0390.
Повний текст джерелаIn this thesis we have worked on the impact of the choice of a neighborhood on the algorithmic abilities of cellular automata. We have specifically studied the lower complexity classes such as the real time (that corresponds to the shortest time necessary for a cellular automaton to read all the letters of the input word) and the real time plus a constant. It is indeed known that neighborhoods are equivalent in linear time and it is therefore necessary to consider shorter times. We have obtained neighborhood equivalence results with respect to the real time (neighborhood classes such that cellular automata working on any of those neighborhoods can recognize the same languages in real time) and linear or constant speed-up theorems for many classes of neighborhoods