Ce mémoire est centré sur l’application de la technique d’optimisation de type Space Mapping dans le cadre du dimensionnement d’actionneurs électriques pris en compte par des modélisations multi-physiques. L’intérêt particulièrement recherché de ce type de méthode est la réduction potentiellement forte du coût du dimensionnement optimal. Cette volonté de réduction du coût de l’approche optimale s’explique par plusieurs considérations. En premier lieu, la modélisation des actionneurs tend à considérer de plus en plus de phénomènes physiques (tels que les phénomènes magnétiques, électriques, thermiques, mécaniques …) afin de décrire au mieux les phénomènes observés et mesurés. En second lieu il devient alors nécessaire de tenir compte des couplages entre ces physiques afin de traduire au plus juste l’interdépendance de ces phénomènes. Dans ce cadre, un travail particulier a été réalisé concernant la prise en compte des aspects thermiques dans les machines électriques. C’est ainsi qu’un modèle thermique à constantes localisées d’une machine synchrone à aimants permanents a été construit. Pour valider les résultats de calcul et préciser la définition de certain de ses éléments, une démarche expérimentale a été réalisée. Tous ces points, traduits dans le plan numérique, haussent le coût de l’évaluation des performances des actionneurs, et donc celui de leurs dimensionnements. De là, l’utilisation des techniques d’optimisation basées sur des modèles substituts permet d’envisager des réductions significatives des coûts de dimensionnement. La technique de Space Mapping est utilisée dans ce travail comme solution pour trouver un compromis entre la qualité des solutions trouvées et le temps de calcul. Plus particulièrement, elle est utilisée pour résoudre un problème de dimensionnement optimal d’une machine synchrone à aimants permanents assurant la fonction de démarreur dans une application de véhicule hybride. L’approche d’optimisation par Space Mapping a été comparée à celle, plus classique, n’utilisant qu’une seule modélisation de l’actionneur à dimensionner, c’est-à-dire sans modèle substitut. Il est montré que les techniques de Space Mapping sont à même de trouver des solutions de dimensionnement similaires à celles issues d’une approche classique, mais de manière beaucoup plus efficace, i.e. en utilisant un nombre plus faible d’évaluations de la modélisation multi-physique de l’actionneur. / This thesis focuses on the application of the Space Mapping optimization technique in the case of the sizing of electrical actuators taking into account a multi-physical modeling. The main interest in this type of optimization method is to considerably reduce the cost of optimal sizing. The need to use such optimization approach is due to several considerations. First, electrical actuators modeling tends to increasingly require the consideration of several physical phenomena (such as magnetic, electrical thermal and mechanical phenomena) in order to better describe observed and measured phenomena. Besides, it becomes necessary to take into account couplings between the different physical phenomena to precisely calculate the interdependencies between these phenomena. In this context, taking into account the thermal aspect in the case of electrical machines is particularly highlighted. A lumped parameter model of a permanent magnet synchronous machine is built. An experimental procedure has been followed to validate calculation results and define some elements of the proposed model. When implemented numerically, all points mentioned above increase the cost of the calculation of the performances of the electrical actuator, and then the cost of the optimal sizing. Thus, the use of an optimization technique based on surrogate models permits to reduce the optimal sizing cost. Space Mapping technique was used in this work as a solution to find a compromise between the quality of the found results and the calculation time. It is particularly used to solve an optimal sizing problem of a permanent magnet synchronous machine used as starter in a hybrid vehicle application. The Space Mapping optimization approach was compared to a classical one using a unique modeling of sized the electrical actuator : no surrogate model is used in the classical approach. Il is demonstrated that the Space Mapping techniques find optimization results that are similar to those found by the classical approach, yet, in a much more efficiently. Space Mapping techniques require only few calculations of the multi-physical model of the actuator.

Le confort thermique des habitants d'une ville est principalement affecté par l'îlot de chaleur urbain. Ce phénomène se traduit par des températures plus chaudes en ville que dans sa périphérique, principalement la nuit. Il est causé par les relâchements de chaleur stockée dans les bâtiments et la route le jour mais aussi par des sources anthropiques comme le chauffage ou le trafic routier. L'îlot de chaleur urbain peut atteindre jusqu'à 10°C la nuit pour les plus grandes mégapoles. Mais au cœur d'un quartier, la variabilité de la température, en fonction des ombrages ou de la présence d'eau et de parcs peut aussi atteindre quelques degrés. Elle peut donc être de la même amplitude que l'îlot de chaleur urbain. L'objectif de cette thèse est d'étudier la variabilité de la température à l'échelle de la ville et à l'échelle de la rue. Le but est de mettre en place une chaîne de modélisation de la température à l'échelle de rue à partir de données de stations météorologiques opérationnelles en périphérie d'une ville. Cette chaîne de modélisation doit être rapide et faire appel à des données accessibles au plus grand nombre afin de pouvoir simuler des scénarios d'aménagement urbains sur le long terme en dehors des laboratoires de recherche. La première partie de la chaîne de modélisation s'appuie sur un modèle numérique physique, le générateur de climat urbain spatialisé, permettant de calculer l'îlot de chaleur à l'échelle du quartier à partir de données se situant en dehors d'une ville et d'un modèle de surface de ville comme le modèle TEB. La deuxième partie permet de modéliser statistiquement la variabilité de température à l'échelle de la rue à partir des conditions météorologiques simulées par le générateur au sein d'un quartier et d'une cartographie précise du tissu urbain du quartier considéré. Cette modélisation statistique s'appuie sur des campagnes de mesures effectuées en 2013 et 2014 dans des quartiers des villes de Marseille, Paris et Toulouse. / The thermal comfort of the inhabitants of a city is mainly affected by the urban heat island (difference in air temperature between urban and surrounding area. This effect is caused by anthropogenic sources, low vegetated areas and heat stored in buildings and roads during the night. The urban heat island can reach 10°C at night for the biggest cities. But inside a neighborhood, the temperature variability can reach a few degrees with the effect of the shadow of the trees or the presence of lake or parks. This variability may have the same magnitude than the urban heat island. The objective of this thesis is to study the temperature variability at the city-scale and at the street-scale. The aim of this PhD work is to develop a modeling chain of the temperature at the street-scale from data from operational weather stations located in airports.The modeling chain has to be fast in order to simulate long term urban planning scenarios and have a low computational cost in order to be run outside of atmospheric sciences laboratories. The first step of the modeling chain is the spatialized urban weather generator, a numerical physical scheme which calculated the urban heat island at the neighborhood scale from data of an operational weather station located outside of the city and with sur urban surface model TEB. The second part is a statistical model of temperature variability at the street scale calculated with meteorological data coming from the generator and a mapping of the urban tissue. The statistical model relies on field campaigns achieved in 2013 and 2014 in the neighborhoods of Marseille, Paris and Toulouse.

La compréhension du cycle de l'eau d'une région où les ressources en eau sont limitées est fondamentale pour assurer une gestion durable de celles-ci, c'est le cas de Galápagos. Cette thèse présente la première étude intégrée du fonctionnement hydrogéologique des aquifères perché de l'île San Cristóbal. Pour ce faire, une approche pluridisciplinaire, fondée sur la mise en place d'un site expérimental sur le bassin versant de Cerro Gato (CG), a été conduite. Pour quantifier les entrées d'eau dans le système hydrologique une approche canopée-transfert hydrique du sol a été utilise. La recharge est principalement affectée par l'altitude en raison de l'effet orographique sur les gradients de pluie et d'évapotranspiration. Néanmoins, à haute altitude, la différence est principalement associée à la couverture végétale en raison de l'apport additionnel fourni par l'interception du brouillard sous la forêt. Une analyse hydrologique montre que les pertes des bassins versants situés à haute-altitude deviennent les entrées d'eau souterraine des bassins versants situés à moyenne altitude (comme CG). Les données du méthode électromagnétique héliportée SkyTEM permettent définir l'extension du bassin hydrogéologique de CG qui est plus grande que le bassin hydrologique. Des approches précédemment décrites, découlent un modèle conceptuel des sources de CG. Ainsi, les eaux souterraines de ces sources sont issues d'un aquifère perché qui s'est formé à la faveur d'une fine couche peu perméable. Ce modèle est testé par simulations numériques qui montrent cette plausibilité. Cette thèse fournit les fondements scientifiques d'une gestion durable des ressources en eau. / The understanding of the hydrogeological functioning in regions such as San Cristobal Island (Galapagos), where water is limited, is fundamental for a suitable management of its resources. This work is the first study of this type on high-level aquifers in San Cristobal using a multi-disciplinary approach, based in the implementation of an experimental site and modeling strategies. For this purpose, a hydrological network was installed in Cerro Gato (CG) and surrounding watersheds. Inputs to the watershed are estimated using the joint modeling of a canopy and soil water transfer. Recharge rates are mainly affected by altitude in mid-elevation watersheds, whereas land cover is the main controlling factor at high-elevation watersheds because of the additional input of fog interception in forests. A hydrological analysis shows that losses from the high-elevation basins become groundwater inputs in the mid-elevation basins, while others have inputs from watersheds at the same altitude, such as CG. The detailed geometry of its hydrogeological watershed is obtained from the dataset of a high resolution AEM SkyTEM survey, which confirms the assumption that its hydrogeological watershed is bigger than its hydrological one. Results from these approaches allow proposing a hydrogeological conceptual model for the springs of CG, where the groundwater flow of springs is fed by a perched aquifer suspended by a low permeability thin layer. This model is tested with numerical simulations, which confirm the plausibility of the existence of a perched aquifer. This thesis provides scientific basis for an effective water management strategy.

Dans une vision de transports plus économiques, l’apport des matériaux composites est une solution technologique importante pour l'industrie aéronautique, même si cela ouvre de nouvelles questions de compatibilité électromagnétique sur l’ensemble du système et nécessite l’utilisation d’outils de simulation adaptés. Cette thèse présente l’évaluation de cette mutation technologique vis-à-vis de la problématique foudre. Les méthodes conventionnellement utiliséesdans le cadre de la modélisation électromagnétique en 3D des effets indirects de foudre sur les aéronefs s’avèrent limitées car la prise en compte de toutes les particularités géométriques ouphysiques des dispositifs étudiés est difficile. Dans le cadre du Projet PREFACE (PRojet d’ÉtudeFoudre sur Avion Composite plus Électrique), ces travaux de thèse proposent d’évaluer desméthodes de modélisation non conventionnelles dans le domaine de l’aéronautique et enparticulier la méthode intégrale de recherche de schémas électriques équivalents localisés (PEEC).Une maquette composite de type caisson a été conçue et réalisée afin de représenter la structureminimale d’une section de fuselage, incluant du câblage intérieur. Des mesures ont été effectuéespour étudier et évaluer les mécanismes de couplages électromagnétiques entre les structurescomposites et les dispositifs internes après injection d’un courant, en particulier dans le cadre dela problématique de l’agression foudre. Une comparaison avec des modélisations PEEC (codeInCa3D) dans différentes configurations a permis avec succès de comprendre les phénomènesphysiques mis en jeu. Les avantages de cette approche apparaissent très nettement quand il s’agitde prendre en compte les différents paramètres dimensionnant pour déterminer la répartition descourants sur la structure et sur les câbles connectés à l’intérieur. Ceci permet de formuler desrègles générales de conception des protections des équipements internes qui peuvent êtreappliquées sur les avions à moindre coût. / For economic reasons, the use of composite materials seems to be a valuable solution foraeronautic industries, even if their efficiency concerning the electromagnetic compatibility of on-board systems requires some studies. For that, the use of adapted simulations tools isunavoidable. This thesis presents the evaluation of this technological mutation towards lightningissue. The methods conventionally used in the context of 3D electromagnetic modeling oflightning’s indirect effects on aircrafts prove to be restricted because it is difficult to take intoaccount all geometric or physical particularities of devices. In the framework of the PREFACEproject (a national project devoted to the study of Lightning Indirect Effects (LIE) on moreelectric and composite aircrafts), this thesis proposes to evaluate unconventional modellingmethods in aeronautics, in particular, the integral method PEEC (Partial Element EquivalentCircuit). A composite model like caisson has been designed and constructed to represent theminimal structure of fuselage section, including inside wiring. Measurements were performed inorder to study and evaluate the electromagnetic coupling mechanisms between compositestructures and internal devices after a current injection, particularly, in the context of lightningaggression problem. A comparison with PEEC modelling (code InCa3D) in differentconfigurations has enabled successfully to understand the physical phenomena involved. Theadvantages of this approach appear very clearly when it comes to taking into account thedifferent sizing parameters in order to determine the current distribution on the structure and thecables connected to the interior. This will allow formulating general rules to concept theprotections of the internal equipments, which can be applied on aircrafts at a low

Selon le Rapport mondial des risques publié par l'Institut universitaire des Nations Unies pour l'environnement et la sécurité humaine, le Mexique a une vulnérabilité de 46% et un manque de capacité d'adaptation de 76% en termes de risques de catastrophe. Un de ceux est les risques d'inondation en cas de catastrophe qui pose un sérieux défi pour le développement et la vie des habitants du Mexique. Mexico est confronté à des problèmes d'inondation dans certaines zones à l'ONU certaines périodes de l'année, causant des pertes et des dommages importants sur les propriétés et les résidents dont certains blessés. En conséquence, il est important de procéder à une évaluation des risques d'inondation dans le bassin de Mexico et d'estimer les dommages des inondations probables. Cependant, les données limitées de débits observés et des profondeurs d'eau dans les principaux cours d'eau de la ville sont disponibles, et esta distributeur d'un obstacle à la compréhension des inondations dans la ville de Mexico. Pour la raison d'origine, plusieurs études doivent être effectuées intérêt dans le but d'avoir une compréhension claire disponibles du bassin versant, qui impliquent, études hydrauliques, météorologiques et hydrologiques, la répartition des précipitations, l'analyse des eaux de ruissellement, les risques d'inondation et de la vulnérabilité, et des études de esta permettent l'estimation de dommages directs et indirects à l'économie, aux actifs et à la vie humaine / According to the World Risk Report released by the United Nations University Institute for Environment and Human Security, Mexico has a vulnerability of 46% and a lack of coping capacity of 76% in terms of disaster risk. One of those disaster risks is flooding which poses a serious challenge to the development and the lives of the inhabitants of Mexico. Mexico City is facing problems of flooding in some areas at certain times of the year, causing important losses and damages on properties and residents including some casualties. Therefore, it is important to carry out a flood risk assessment in the catchment of Mexico City and estimate damages of probable flood events. However, limited data of observed discharges and water depths in the main rivers of the city are available, and this represents an obstacle for the understanding of flooding in Mexico City. For these reason, several studies have to be carried out in order to have a clear understanding of the catchment, which involve, meteorological and hydrological/hidraulic studies, rainfall distribution, runoff analysis, flood risk and vulnerability, and this studies allow the estimation of direct and indirect damages to the economy, to assets and to human life. The premise of this study is that with the limited data and resources available, the catchment can be represented to an acceptable degree by the construction of a deterministic hydrological model of the Mexico City basin. The objective of the developed tool is to provide an efficient support to management of the flood processes by predicting the behavior of the catchment for different rainfall events and flood scenarios

En dépit d'une amélioration remarquable de la performance des composants électroniques organiques, il y a encore un manque de compréhension théorique rigoureux sur le fonctionnement du composant. Cette thèse est consacrée à la création de modèles pratiques pour composants électroniques organiques à base physique complet, à savoir un modèle compact à base physique. Un modèle compact à base physique d'un élément de circuit est une équation mathématique qui décrit le fonctionnement du composant, et est généralement évaluée par trois critères: si elle est suffisamment simple pour être incorporé dans des simulateurs de circuits, précise pour rendre le résultat des simulateurs utile les concepteurs de circuits et rigoureux pour capturer des phénomènes physiques se produisant dans le composant. Dans ce contexte, les caractéristiques distinctives de l'injection de porteurs de charge et de transport dans les semi-conducteurs organiques sont incorporés dans les modèles avec un effort particulier pour maintenir la simplicité mathématique. L'effet concomitant sur les caractéristiques courant-tension des diodes et des transistors organiques prototypiques sont étudiés. Les méthodes d'extraction des paramètres cohérents aux modèles sont présentés qui permettent la détermination univoque des paramètres de le composant utilisé pour le fonctionnement du composant de modélisation et l'évaluation des performances de le composant et les propriétés des couches minces et des interfaces organiques. Les approches englobent le developement analytique des équations physiques, la simulation numérique à deux dimensions basé sur la méthode des éléments finis et la validation expérimentale. Les modèles compacts originaux et entièrement analytiques et des méthodes d'extraction de paramètres fournissent une compréhension fondamentale sur la façon dont le désordre énergétique dans une couche mince de semi-conducteur organique, décrit par la densité d’etats Gaussienne, affecte les caractéristiques courant-tension observables des composants.Mots-clés : Electronique organique, physique des composants électroniques, modélisation analytique, diodes, transistors à effet de champ, densité d’etats Gaussienne / In spite of a remarkable improvement in the performance of organic electronic devices, there is still a lack of rigorous theoretical understanding on the device operation. This thesis is dedicated to establishing practical models of organic electronic devices with a full physical basis, namely a physically-based compact model. A physically-based compact model of a circuit element is a mathematical equation that describes the device operation, and is generally assessed by three criteria: whether it is sufficiently simple to be incorporated in circuit simulators, accurate to make the outcome of the simulators useful to circuit designers, and rigorous to capture physical phenomena occuring in the device. In this context, distinctive features of charge carrier injection and transport in organic semiconductors are incorporated in the models with a particular effort to maintain mathematical simplicity. The concomitant effect on the current-voltage characteristics of prototypical organic diodes and transistors are studied. Parameter extraction methods consistent to the models are presented which enable unambiguity determination of device parameters used for modeling device operation and assessing device performance and properties of organic thin-films and interfaces. The approaches encompass analytical developement of physical equations, two-dimensional numerical simulation based on finite-element method and experimental validation. The original and fully analytical compact models and parameter extraction methods provide fundamental understanding on how energetic disorder in an organic semiconductor thin-film, described by the Gaussian density of states, affects the observable current-voltage characteristics of the devices.Keywords : Organic electronics, device physics, analytical modeling, diodes, field-effect transistors, Gaussian density-of-states

Le contrôle de l'évolution des logiciels exige une compréhension profonde des changements et leur impact sur les différents artefacts du système. Nous proposons une approche de multi-modélisation pour l'analyse d'impact du changement pour une compréhension des effets des modifications prévus ou réels dans les systèmes distribués. Ce travail consiste à élaborer une modélisation des artefacts logiciels et de leur différents liens d'interdépendance pour construire un système à base de connaissance permettant, entre autres, d'assister les développeurs et les chargés de l'évolution des logiciels pour étblir une évaluation a priori de l'impact des modifications.La modélisation que nous élaborons intègre deux descriptions majeures des logiciels, dans un premier temps, la description structurelle sous-jacente qui englobe l'ensemble des niveaux granulaires et l'abstraction des constituants logiciels, et ensuite la description qualitative conçue pour s'intégrer à la description précédente. Deux modèles, d'abord élaborés individuellement pour les deux descriptions respectives, ont été intégrés ou mis en correspondance dans l'objectif d'étudier l'impact de toute modification et sa potentielle propagation à travers les constituants logiciels concernés. Lors de chaque modification, il devient alors possible d'établir un bilan qualitatif de son impact. La modélisation intégrée est élaborée pour se prêter à un raisonnement à base de règles expertes. La modélisation proposée est en cours d'expérimentation et validation à travers le développement d'une plate-forme d'implémentation basée sur l'environnement Eclipse. / The software evolution control requires a complete understanding of the changes and their impact on the various systems artifacts. We propose a multi-modeling approach for the change impact analysis to provide assistance in understanding the effects of projected or actual changes in distributed software systems. This work elaborate the modeling of software artifacts along with their various interdependencies to build a knowledge-based system, which allows, among others, an assistance for the software developers or maintenance engineers to establish an a priori evaluation of impact of changes. The model we develop integrates two major descriptions of software, at first, the underlying structural description that encompasses the levels of granularity and abstraction of software artifacts, and then the qualitative description designed to integrate the structural description. Initially, the formal models are designed separately for the respective descriptions, and then these are integrated for the objective to study the change impact and its potential propagation through the affected software artifacts. For a change, it is important to establish a qualitative assessment of its impact. The integrated modeling leads to a reasoning based on expert rules. The proposed model is being tested and validated through the development of a platform, implemented in the Eclipse environment.

Les modèles hydrauliques sont couramment utilisés pour l'aménagement des rivières et la prévention des dommages liés aux inondations. Ces modèles calculent les hauteurs d'eau et débits sur un tronçon de rivière à partir de sa géométrie et des conditions aux limites du système: débit à l'amont du tronçon, débits d'apports latéraux provenant du bassin intermédiaire et hauteurs d'eau à l'aval. Lorsque le tronçon est long, les apports latéraux deviennent conséquents tout en demeurant rarement mesurés car provenant d'affluents secondaires. L'évaluation de ces apports constitue alors une étape essentielle dans la simulation des crues sous peine de fortes sous ou surestimations des variables hydrauliques. Cette thèse a pour objectif principal d'identifier une méthode de complexité minimale permettant de reconstituer ces apports. Nos travaux s'appuient sur un échantillon de 50 tronçons de rivière situés en France et aux Etats-Unis sur lesquels les apports latéraux ont été estimés à l'aide d'un modèle hydrologique semi-distribué connecté avec un modèle hydraulique simplifié. Une méthode automatisée de découpage du bassin intermédiaire en sous-bassins a d'abord été élaborée afin de faciliter la construction du modèle hydrologique sur les 50 tronçons de rivière. Des tests de sensibilité ont été menés sur le nombre de sous-bassins, la nature uniforme ou distribuée des entrées de pluie et des paramètres du modèle hydrologique. Une configuration à 4 sous-bassins présentant des pluies et des paramètres uniformes s'est avérée la plus performante sur l'ensemble de l'échantillon. Enfin, une méthode alternative de calcul des apports latéraux a été proposée utilisant une transposition du débit mesuré à l'amont et une combinaison avec le modèle hydrologique.

Cette thèse étudie les problèmes de diagnostic itératif et propose des outilsd'aide au diagnostic interactif. Différents processus de diagnostic où des outils interactifshomme-automate sont utiles, sont présentés. Ces outils permettent de résoudre des difficultésliées à la représentation d'un grand nombre d'éléments d'un système, des difficultés liées àla représentation du comportement et du fonctionnement d'un système et des difficultés liéesà l'explicitation de l'expertise. Nos travaux ont conduit à la conception de différents typesd'outils interactifs d'aide au diagnostic. Le premier permet d'exploiter des représentationsstructuro-fonctionnelles pour construire et résoudre progressivement un problème de diagnostic.Le second outil interactif permet d'exploiter des modèles de comportement construitau fur et à mesure de la résolution d'un problème de diagnostic. Enfin, un dernier outil a étéproposé pour montrer qu'il est possible de prendre compte la connaissance implicite d'unexpert dans la résolution de problème de diagnostic. Un problème de diagnostic est doncprésenté comme un processus itératif avec des interactions homme-automate.

Le développement de technologies comme les systèmes de positionnement par satellites (GNSS), les communications sans fil, les systèmes de radio-identification (RFID) et des capteurs a augmenté la disponibilité de données spatio-temporelles décrivant des trajectoires d’objets mobiles. Des bases de données relationnelles peuvent être utilisées pour stocker et questionner les données capturées. Des applications récentes montrent l’intérêt d’une approche intégrant des trajectoires « sémantiques » pour intégrer des connaissances sur les comportements d’objets mobiles. Dans cette thèse, nous proposons une approche basée sur des ontologies. Nous présentons une ontologie pour les trajectoires. Nous appliquons notre approche à l’étude des trajectoires de mammifères marins. Pour permettre l’exploitation de nos connaissances sur les trajectoires, nous considérons l’objet mobile, des relations temporelles et spatiales dans notre ontologie. Nous avons évalué la complexité du mécanisme d’inférence et nous proposons des optimisations, comme l’utilisation d’un voisinage temporel et spatial. Nous proposons également une optimisation liée à notre application. Finalement, nous évaluons notre contribution et les résultats montrent l’impact positif de la réduction de la complexité du mécanisme d’inférence. Ces améliorations réduisent de moitié le temps de calcul et permettent de manipuler des données de plus grande dimension. / Spatio-temporal data describing trajectories of moving objects has increased as a consequence of the larger availability of such data due to current sensors techniques. These devices use different technologies like global navigation satellite system (GNSS), wireless communication, radio-frequency identification (RFID), and sensors techniques. Although capturing technologies differ, the captured data has common spatial and temporal features. Thus, relational database management systems (RDBMS) can be used to store and query the captured data. RDBMS define spatial data types and spatial operations. Recent applications show that the solutions based on traditional data models are not sufficient to consider complex use cases that require advanced data models. A complex use case refers not only to data, but also to the domain expert knowledge and others. An inference mechanism enriches semantic trajectories with this knowledge. Temporal and spatial reasoning are fundamental for the inference mechanism on semantic trajectories. Several research fields are currently focusing on semantic trajectories to discover more information about mobile object behavior. In this thesis, we propose a modeling approach based on ontologies. We introduce a high-level trajectory ontology. The temporal and spatial parts form an implicit background of the trajectory model. So, we choose temporal and spatial models to be integrated with our trajectory model. We apply our modeling approach to a particular domain application : marine mammal trajectories. Therefore, we model this application and integrate it with our ontology. We implement our approach using RDF. Technically, we use Oracle Semantic Data Technologies. To accomplish reasoning over trajectories, we consider mobile objects, temporal and spatial knowledge in our ontology. Our approach demonstrates how temporal and spatial relationships that are common in natural language expressions (i.e., relations between time intervals like ”before”, ”after”, etc.) are represented in the ontology as user-defined rules. To annotate data with this kind of rules, we need an inference mechanism over trajectory ontology. Experiments over our model using the temporal and spatial reasoning address an inference computation complexity. This complexity is indicated in term of time computations and space storage. In order to reduce the inference complexity, we propose optimizations, such as domain constraints, temporal and spatial neighbor refinements. Moreover, controlling the repetition of the inference computation is also proposed. Even more, we define a refinement specifically for the application domain. Finally, we evaluate our contribution. Results show their positive impact on reducing the complexity of the inference mechanism. These refinements reduce half of the time computation and allow considering bigger size of the data.