La façon dont une information se répète au cours du temps a une influence sur la façon dont nous nous souviendrons de cette information. Les recherches en psychologie ont mis en évidence l’effet de pratique distribuée, selon lequel on retient mieux les informations qui se répètent avec des intervalles inter-répétitions longs que celles qui se répètent avec des intervalles courts. Nos travaux ont porté spécifiquement sur les situations où l’information se répète sur plusieurs jours, et nous avons comparé l’efficacité relative de différents types d’agencement temporel des répétitions. Un agencement uniforme consiste en des répétitions se produisant à intervalles réguliers, un agencement expansif en des répétitions se produisant selon des intervalles de plus en plus espacés, et un agencement contractant en des répétitions se produisant selon des intervalles de plus en plus rapprochés. Les Expériences 1 et 2 consistaient en une phase d’apprentissage d’une semaine et ont révélé la supériorité des agencements expansif et uniforme après un délai de rétention de deux jours. L’Expérience 3 consistait en une phase d’apprentissage de deux semaines, et les sujets étaient ensuite testés lors de trois délais de rétention différents (2, 6 ou 13 jours). La supériorité de l’agencement expansif sur les deux autres agencements est apparue progressivement, suggérant que les différents agencements induisaient des taux d’oubli différents. Nous avons également tenté de tester différentes théories explicatives des effets de l’agencement temporel des répétitions sur la mémorisation, en particulier les théories de la variabilité de l’encodage (Expérience 4) et de la récupération en phase d’étude (Expérience 2). Les résultats observés tendent à confirmer la théorie de la récupération en phase d’étude. Nous insistons sur l’importance de la prise en compte des apports des autres disciplines des sciences cognitives dans l’étude de l’effet de pratique distribuée. / How information is repeated over time determines future recollection of this information. Studies in psychology revealed a distributed practice effect, that is, one retains information better when its occurrences are separated by long lags rather than by short lags. Our studies focused specifically on cases in which items were repeated upon several days. We compared the efficiency of three different temporal schedules of repetitions: A uniform schedule that consisted in repetitions occurring with equal intervals, an expanding schedule that consisted in repetitions occurring with longer and longer intervals, and a contracting schedule that consisted in repetitions occurring with shorter and shorter intervals. In Experiments 1 and 2, the learning phase lasted one week and the retention interval lasted two days. It was shown that the expanding and uniform schedules were more efficient than the contracting schedule. In Experiment 3, the learning phase lasted two weeks and the retention interval lasted 2, 6, or 13 days. It was shown that the superiority of the expanding schedule over the other two schedules appeared gradually when the retention interval increased, suggesting that different schedules yielded different forgetting rates. We also tried to test major theories of the distributed practice effect, such as the encoding variability (Experiment 4) and the study-phase retrieval (Experiment 2) theories. Our results appeared to be consistent with the study-phase retrieval theory. We concluded our dissertation by emphasizing the importance of considering findings from other areas in cognitive science–especially neuroscience and computer science–in the study of the distributed practice effect.

Le présent travail de thèse porte sur la modélisation et la simulation, en domaine temporel, de l'interaction entre un faisceau d'électrons et une onde hyperfréquence dans la structure à onde lente d'un TOP à hélice. Puisque le TOP est un instrument surdimensionné, les modèles non-stationnaires généraux utilisés dans les codes commerciaux nécessitent de trop grosses ressources de calcul pour pouvoir être utilisés en un temps raisonnable dans un but de conception. Il est donc nécessaire de faire appel à des modèles spécialisés. Durant cette thèse, nous nous sommes intéressés au "modèle discret non-stationnaire d'excitation d'un guide d'onde Périodique" de S. Kuznetsov. En 2007, N. Ryskin et al. avaient prouvé que ce modèle pouvait convenablement s'appliquer aux TOP à cavités couplées dans le cadre d'une application à une dimension du modèle. Lors de cette thèse, nous avons démontré, via le développement d'un code à une dimension (HelL-1D), que le modèle discret s'applique convenablement aux TOP à hélice. L'implémentation de ce modèle, dans un code à deux dimensions (HelL-2D) a, elle aussi, été effectuée. Enfin, nous avons développé une méthode permettant de contrôler de manière quantitative, dans le modèle discret, les phénomènes de réflexions aux extrémités de la ligne à retard, qui peuvent jouer un rôle important dans la stabilité de l'instrument. / This Ph.D. work deals with the time domain modeling and simulation of the electron beam/wave interaction in the slow-wave structure of a helix traveling-wave tube. Since a TWT is a device of which the geometry is oversized then the commercial software based on non-stationary general models needs so much computational resources that it cannot be used for design activities. During this Ph.D., we focused on the so called Kuznetsov's "discrete model of excitation of a periodic waveguide" which is a specialized model of beam/wave interaction in TWT. By 2007, N. Ryskin et al., showed that this model could conveniently apply to TWT with coupled cavities structure in one dimension. During this thesis, we first demonstrated that the discrete model could also apply to helix TWT with a sufficient (1%) accuracy via the development of a one-dimensional software called HelL-1D. We also implemented the discrete model for helix TWT in two dimensions (HelL-2D code). Finally, we developed a method, which is an extension of the discrete model, and which permits to take into account quantitatively the reflection phenomena at the terminations of a slow-wave structure in this model. This last study was very important since the stability of TWT strongly depends on this parameter.

Dans cette thèse, nous proposons des modèles probabilistes et statistiques d’analyse de données multidimensionnelles pour la prévision de l’incertitude sur les trajectoires d’aéronefs. En supposant que pendant le vol, chaque aéronef suit sa trajectoire 3D contenue dans son plan de vol déposé, nous avons utilisé l’ensemble des caractéristiques de l’environnement des vols comme variables indépendantes pour expliquer l’heure de passage des aéronefs sur les points de leur trajectoire de vol prévue. Ces caractéristiques sont : les conditions météorologiques et atmosphériques, les paramètres courants des vols, les informations contenues dans les plans de vol déposés et la complexité de trafic. Typiquement, la variable dépendante dans cette étude est la différence entre les instants observés pendant le vol et les instants prévus dans les plans de vol pour le passage des aéronefs sur les points de leur trajectoire prévue : c’est la variable écart temporel. En utilisant une technique basée sur le partitionnement récursif d’un échantillon des données, nous avons construit quatre modèles. Le premier modèle que nous avons appelé CART classique est basé sur le principe de la méthode CART de Breiman. Ici, nous utilisons un arbre de régression pour construire une typologie des points des trajectoires des vols en fonction des caractéristiques précédentes et de prévoir les instants de passage des aéronefs sur ces points. Le second modèle appelé CART modifié est une version améliorée du modèle précédent. Ce dernier est construit en remplaçant les prévisions calculées par l’estimation de la moyenne de la variable dépendante dans les nœuds terminaux du modèle CART classique par des nouvelles prévisions données par des régressions multiples à l’intérieur de ces nœuds. Ce nouveau modèle développé en utilisant l’algorithme de sélection et d’élimination des variables explicatives (Stepwise) est parcimonieux. En effet, pour chaque nœud terminal, il permet d’expliquer le temps de vol par des variables indépendantes les plus pertinentes pour ce nœud. Le troisième modèle est fondé sur la méthode MARS, modèle de régression multiple par les splines adaptatives. Outre la continuité de l’estimateur de la variable dépendante, ce modèle permet d’évaluer les effets directs des prédicteurs et de ceux de leurs interactions sur le temps de passage des aéronefs sur les points de leur trajectoire de vol prévue. Le quatrième modèle utilise la méthode d’échantillonnage bootstrap. Il s’agit notamment des forêts aléatoires où pour chaque échantillon bootstrap de l’échantillon de données initial, un modèle d’arbre de régression est construit, et la prévision du modèle général est obtenue par une agrégation des prévisions sur l’ensemble de ces arbres. Malgré le surapprentissage observé sur ce modèle, il est robuste et constitue une solution au problème d’instabilité des arbres de régression propre à la méthode CART. Les modèles ainsi construits ont été évalués et validés en utilisant les données test. Leur application au calcul des prévisions de la charge secteur en nombre d’avions entrants a montré qu’un horizon de prévision d’environ 20 minutes pour une fenêtre de temps supérieure à 20 minutes permettait d’obtenir les prévisions avec des erreurs relatives inférieures à 10%. Parmi ces modèles, CART classique et les forêts aléatoires présentaient de meilleures performances. Ainsi, pour l’autorité régulatrice des courants de trafic aérien, ces modèles constituent un outil d’aide pour la régulation et la planification de la charge des secteurs de l’espace aérien contrôlé. / In this thesis we propose probabilistic and statistic models based on multidimensional data for forecasting uncertainty on aircraft trajectories. Assuming that during the flight, aircraft follows his 3D trajectory contained into his initial flight plan, we used all characteristics of flight environment as predictors to explain the crossing time of aircraft at given points on their planned trajectory. These characteristics are: weather and atmospheric conditions, flight current parameters, information contained into the flight plans and the air traffic complexity. Typically, in this study, the dependent variable is difference between actual time observed during flight and planned time to cross trajectory planned points: this variable is called temporal difference. We built four models using method based on partitioning recursive of the sample. The first called classical CART is based on Breiman CART method. Here, we use regression trees to build points typology of aircraft trajectories based on previous characteristics and to forecast crossing time of aircrafts on these points. The second model called amended CART is the previous model improved. This latter is built by replacing forecasting estimated by the mean of dependent variable inside the terminal nodes of classical CART by new forecasting given by multiple regression inside these nodes. This new model developed using Stepwise algorithm is parcimonious because for each terminal node it permits to explain the flight time by the most relevant predictors inside the node. The third model is built based on MARS (Multivariate adaptive regression splines) method. Besides continuity of the dependent variable estimator, this model allows to assess the direct and interaction effects of the explanatory variables on the crossing time on flight trajectory points. The fourth model uses boostrap sampling method. It’s random forests where for each bootstrap sample from the initial data, a tree regression model is built like in CART method. The general model forecasting is obtained by aggregating forecasting on the set of trees. Despite the overfitting observed on this model, it is robust and constitutes a solution against instability problem concerning regression trees obtained from CART method. The models we built have been assessed and validated using data test. Their using to compute the sector load forecasting in term to aircraft count entering the sector shown that, the forecast time horizon about 20 minutes with the interval time larger than 20 minutes, allowed to obtain forecasting with relative errors less than 10%. Among all these models, classical CART and random forests are more powerful. Hence, for regulator authority these models can be a very good help for managing the sector load of the airspace controlled.

L'équation intégrale du champ électrique (EFIE) est très utilisée pour résoudre des problèmes de diffusion d'ondes électromagnétiques grâce à la méthode aux éléments de frontière (BEM). En domaine fréquentiel, les systèmes matriciels émergeant de la BEM souffrent, entre autres, de deux problèmes de mauvais conditionnement : l'augmentation du nombre d'inconnues et la diminution de la fréquence entrainent l'accroissement du nombre de conditionnement. En conséquence, les solveurs itératifs requièrent plus d'itérations pour converger vers la solution, voire ne convergent pas du tout. En domaine temporel, ces problèmes sont également présents, en plus de l'instabilité DC qui entraine une solution erronée en fin de simulation. La discrétisation en temps est obtenue grâce à une quadrature de convolution basée sur les méthodes de Runge-Kutta implicites.Dans cette thèse, diverses formulations d'équations intégrales utilisant notamment des conditions d'impédance aux frontières (IBC) sont étudiées et préconditionnées. Dans une première partie en domaine fréquentiel, l'IBC-EFIE est stabilisée pour les basses fréquences et les maillages denses grâce aux projecteurs quasi-Helmholtz et à un préconditionnement de type Calderón. Puis une nouvelle forme d'IBC est introduite, ce qui permet la construction d'un préconditionneur multiplicatif. Dans la seconde partie en domaine temporel, l'EFIE est d'abord régularisée pour le cas d'un conducteur électrique parfait (PEC), la rendant stable pour les pas de temps larges et immunisée à l'instabilité DC. Enfin, unerésolution efficace de l'IBC-EFIE est recherchée, avant de stabiliser l'équation pour les pas de temps larges et les maillages denses. / The Electric Field Integral Equation (EFIE) is widely used to solve wave scattering problems in electromagnetics using the Boundary Element Method (BEM). In frequency domain, the linear systems stemming from the BEM suffer, amongst others, from two ill-conditioning problems: the low frequency breakdown and the dense mesh breakdown. Consequently, the iterative solvers require more iterations to converge to the solution, or they do not converge at all in the worst cases. These breakdowns are also present in time domain, in addition to the DC instability which causes the solution to be completely wrong in the late time steps of the simulations. The time discretization is achieved using a convolution quadrature based on Implicit Runge-Kutta (IRK) methods, which yields a system that is solved by Marching-On-in-Time (MOT). In this thesis, several integral equations formulations, involving Impedance Boundary Conditions (IBC) for most of them, are derived and subsequently preconditioned. In a first part dedicated to the frequency domain, the IBC-EFIE is stabilized for the low frequency and dense meshes by leveraging the quasi-Helmholtz projectors and a Calderón-like preconditioning. Then, a new IBC is introduced to enable the development of a multiplicative preconditioner for the new IBC-EFIE. In the second part on time domain,the EFIE is regularized for the Perfect Electric Conductor (PEC) case, to make it stable in the large time step regime and immune to the DC instability. Finally, the solution of the time domain IBC-EFIE is investigated by developing an efficient solution scheme and by stabilizing the equation for large time steps and dense meshes.

Cette thèse expérimentale est consacrée à l’optimisation d’une source de rayons X Kalpha générée par interaction laser femtoseconde à fort contraste temporel avec une cible épaisse en molybdène. Ce travail vise à explorer l’effet du contraste temporel sur l’émission Kalpha sur une gamme d’intensité combinant les deux régimes relativiste et non-relativiste. La première étude est consacrée à l’évolution de l’émission Kalpha en fonction du contraste temporel et de l’intensité. L’étude a révélé différents comportements de l’émission Kalpha suivant la valeur du contraste et d’intensité. L’étude a aussi montré une émission Kalpha indépendante du contraste dans le régime relativiste. Au regard des travaux de la littérature, nous avons proposé une première interprétation des résultats obtenus. Il s’agit d’établir un lien entre l’émission Kalpha et les mécanismes d’absorption de l’énergie laser. Certains mécanismes sont dépendants de l’angle d’incidence. Afin d’appuyer notre interprétation, une deuxième étude du rendement de la source Kalpha en fonction de l’angle d’incidence a été réalisée. Ainsi les résultats obtenus sont en accord avec certaines de nos conclusions. En outre, Nous nous sommes intéressés à l’effet de l’étirement temporel de l’impulsion. Nous avons observé une sensibilité de l’émission suivant le signe du chirp. Enfin, nous avons étudié l’effet du contraste et de l’intensité sur la taille de la source X. Celle-ci est d’autant plus réduite que le contraste est plus fort et devient très proche de la tache focale laser à faible intensité laser. Le rendement de production en photon Kalpha atteint est de 2 × 10^−4, similaire au meilleur rendement reporté à ce jour. / This thesis is focused on the optimization of a Kalpha x-ray source induced by high contrast femtosecond laser molybdenum thick target interaction. The objective of this work is to explore the effect of the temporal contrast ratio on Kalpha emission in an intensity range including the non relativistic and relativistic regimes. The first study consists of the measurement of Kalpha emission as a function of contrast ratio and intensity. The study shows different behaviors of the emission depending on the contrast ratio and intensity range. Furthermore, it was found that in the relativistic regime Kalpha production is independant of the contrast ratio. According to published work in litterature, we proposed a first intepretation of the obtained results. In particular, we discuss the absorption mechanism of laser pulse energy for each contrast ratio and intensity condition. Some of the mechanisms are dependant on the angle of incidence of the pulse on target. Thus, to verify the validity of our interpretation, we study the Kalpha effciency as a function of the angle of incidence. Most of the results agree with our first conclusions. Furthermore, we investigate the effect of the chirped pulse of the Kalpha emission. It is shown that Kalpha emission is sensitive to the sign of the chirp. Finally, we performed a study on the effect of contrast ratio and intensity on the x-ray source size. It was observed that high contrast ratio decreases strongly the x-ray source size which aproaches the focal spot size at low laser intensity. High Kalpha efficiency is reached 2 × 10^−4 which is similar to the highest effciency reported to date in litterature for a thick molybdenum target.

Cette thèse propose un modèle permettant la mise en œuvre d'un système de raisonnement à partir de cas capable d'adapter des procédures représentées sous forme de texte en langue naturelle, en réponse à des requêtes d'utilisateurs. Bien que les cas et les solutions soient sous forme textuelle, l'adaptation elle-même est d'abord appliquée à un réseau de contraintes temporelles exprimées à l'aide d'une algèbre qualitative, grâce à l'utilisation d'un opérateur de révision des croyances. Des méthodes de traitement automatique des langues sont utilisées pour acquérir les représentations algébriques des cas ainsi que pour regénérer le texte à partir du résultat de l'adaptation / This thesis proposes a practical model making it possible to implement a case-based reasoning system that adapts processes represented as natural language text in response to user queries. While the cases and the solutions are in textual form, the adaptation itself is performed on networks of temporal constraints expressed with a qualitative algebra, using a belief revision operator. Natural language processing methods are used to acquire case representations and to regenerate text based on the adaptation result

Les travaux réalisés dans le cadre de cette thèse ont pour objectif de proposer un langage de description temporelle pour des systèmes temps-réel et d’établir les conditions de leur ordonnançabilité sous l’algorithme Earliest Deadline First (EDF). Les langages de description temporelle permettent de spécifier le comportement temporel d’une application indépendamment de son comportement fonctionnel. Le programmeur déclare dans ces langages à quels instants précis doivent être déclenchées et terminées les activités du système. Cette gestion du temps, précise et explicite, apporte au système son caractère déterministe. Le langage proposé, Extended Timing Definition Language (E-TDL), étend des langages dirigés par le temps existants, en particulier Giotto et TDL, en introduisant un nouveau modèle de tâche donné par quatre paramètres : phase, pire temps d’exécution, temps d’exécution logique TEL (intervalle de temps séparant le lancement de la tâche et sa terminaison) et période. L’introduction de ce nouveau modèle de tâche nécessite de revisiter en particulier le problème de l’ordonnançabilité des tâches pour EDF. Cette thèse propose et développe une analyse basée sur la fonction de demande pour des ensembles de tâches décrites en E-TDL et s’exécutant en contexte monoprocesseur. Une condition nécessaire et suffisante est obtenue au travers d’une analyse précise des intervalles séparant les activations de tâches au sein de différents modules s’exécutant indépendamment et pouvant changer de mode à des instants prédéfinis. Une borne de la longueur des intervalles sur lesquels doit s’opérer la vérification est déterminée. Un outil mettant en œuvre cette analyse a été développé. / The goal of this research is to define a time-triggered language for modeling real-time systems and to provide the conditions for their schedulability under Earliest Deadline First (EDF). Time-triggered languages separate the functional part of applications from their timing definition. These languages permit to model the real-time system temporal behavior by assigning system activities to particular time instants. We propose a new time-triggered framework, Extended Timing Definition Language (E-TDL), that enhances the basic task model used in Giotto and TDL while keeping compositional and modular structure brought by the latter. An E-TDL task is characterized by: an offset, a worst case execution time, a Logical Execution Time (a time interval between task release and its termination) and a period. The schedulability analysis of the system based on this new task model should be, in particular for EDF, investigated. We develop, on the concept of the processor demand criterion, conditions for the feasibility of an E-TDL system running on a single CPU under EDF. A necessary and sufficient condition is obtained by considering the global schedules that are made up of execution traces occurring at the same time in distinct modules that are able to switch their modes at predefined instants. We estimate a maximal length of the interval on which the schedulability condition must be checked. A tool suite performing the schedulability analysis of the E-TDL systems is developed.

Le concept de radar passif aéroporté repose sur l’utilisation de plusieurs antennes réseau, disposées sur une plateforme en vue de couvrir un angle solide large de détection, en s’appuyant sur l’utilisation de signaux d’opportunité provenant d’émetteurs au sol. La détection aéroportée à partir de signaux d’opportunité est intéressante, notamment pour assurer l’autoprotection d’un avion ou d’un hélicoptère ; en revanche elle constitue un défi technique notamment en raison du niveau des signaux interférents, en provenance de l’émetteur et des trajets multiples indirects (le fouillis), bien supérieur au niveau de signal utile diffusé par la cible à détecter. D’autres effets, tels que la structure arbitraire des signaux (forme d’onde non-radar) et sa conséquence sur les lobes secondaires en distance, contribuent à la complexité du traitement à mettre en œuvre.Le point de départ des recherches se situe à l’intersection des techniques de radar passif (utilisant la corrélation entre un signal de référence non connu a priori et les signaux diffus renvoyés par l’environnement) et les techniques de type STAP (Space Time Adaptive Processing) utilisées pour la détection des cibles mobiles par les radars aéroportés conventionnels. Dans ce contexte, les travaux de thèse permettent d’étendre d’une part la caractérisation et la qualification des signaux « radar passif » à une configuration aéroportée, d’autre part les techniques STAP à une configuration bistatique et à des signaux de forme arbitraire et non structurés comme des signaux radar. Les recherches mettent en évidence l’importance primordiale du trajet direct et des premiers échos de fouillis qui parasitent la caractérisation spatio-temporelle des échos reçus dans la case distance de la cible sous test. La caractéristique du fouillis, habituellement tracée dans le plan Doppler-angle, se trouve affectée par ces interférences qu’il faut éliminer au préalable. Pour cela, un premier filtre à réponse finie est mis en œuvre sur chaque capteur, puis le traitement STAP est appliqué à l’ensemble du réseau d’antennes.Les traitements proposés sont simulés et les performances en détection sont analysées. Une expérimentation est conduite, à l’aide d’un réseau de 4 antennes mobiles au sol. Les conditions sont réunies pour collecter des signaux de fouillis étalés en Doppler et analyser l’effet d’une forme d’onde non-radar. Les traitements d’élimination des interférences sont mis en œuvre et ainsi qualifiés expérimentalement. / The novel concept for the airborne passive radar is to have multiple passive receiving arrays covering a 4 steradian angle around the platform which makes use of the ground-based stationary transmitter as the illuminator of opportunity. This challenging passive radar configuration would well find application for localized covert surveillance on an airborne platform such as an unmanned aerial vehicle, helicopter, etc. For the airborne passive radar, during moving target detections, it encounters the effects of strong interfering signal returns against the weak target returns where this severe interfering environment is usually characterized by the high levels of direct path and clutter against the thermal noise background. Due to the continuous wave, random and aperiodic nature of the passive signal and given the strong direct path and clutter signals, their random range sidelobes couplings into further range cells will seriously exacerbate the background interference, making target detections a big challenge. Moreover, owing to the platform motion, the clutter received by the airborne passive radar is not only extended in both range and angle, it is also spread over a region in Doppler frequency which further complicates the problem.This research work is focused on identifying and analyzing the critical issues faced by the airborne passive radar on moving target detections and to develop effective signal processing schemes for improved performance. As a first step, it is important to accurately derive the model for the received passive signals and consequently, efficient signal processing schemes can be studied to mitigate and to improve detections performance. The signal processing schemes for the airborne passive radar can be segregated into a two-step interference cancellation process where the direct path and strong clutter coupling components (and their corresponding random range sidelobes) present in the received signal at each antenna element can first be effectively suppressed by the adaptive interference cancellation algorithm prior to matched filter processing. Further cancellation on the residual random range sidelobes couplings and on the spatial-Doppler dependent clutter can be achieved using reduced-dimension STAP. Trials based on the ground-based moving passive radar experiments are conducted as the final part of this research work to validate and evaluate the signal processing schemes which is a major progress towards implementing an operational airborne passive radar.

Cette étude vise à unifier dans une même approche les descriptions données par une sémantique cognitive et les représentations associées, et étudiées par une sémantique formelle. La sémantique cognitive a pour but d’associer des schèmes aux significations des unités analysées. La sémantique formelle consiste à étudier les modes de représentation de ces schèmes et les relations avec les observables. Notre étude s’appuie et s’insère dans le modèle général développé à l’université Paris-Sorbonne dans le groupe LaLIC (Langages, Logiques, Informatique et Cognition), il s’agit d’utiliser le modèle de la GAC (Grammaire Applicative et Cognitive) et de la GRACE (GRammaire Applicative Cognitive et Enonciative) ; ces deux modèles font appel d’une part à la topologie et d’autre part à la logique combinatoire en vue d’un traitement automatique de la signification. Nous avons choisi d’étudier le problème des prépositions et plus spécialement des trois prépositions : dans, sous et à du français et de leur équivalents en arabe ; cela nous à conduit à rechercher des invariants associés à ces trois prépositions ou relateurs, la préposition dans renvoie à l’intériorité d’un lieu, qu’il soit spatial, temporel, spatio-temporel, notionnel ou d’activité ; la préposition sous renvoie à un lieu déterminé ou engendré par un autre lieu dont on prend la fermeture ; quand à la préposition à renvoie à la fermeture d’un lieu. Le lieu est un lieu cognitif abstrait, suffisamment général qui, selon le contexte peut prendre des valeurs plus particulières. / This study aims to unify in a single approach the descriptions given by cognitive semantics and associated representations, studied by formal semantics. Cognitive semantics consists to associate the meanings of the analyzed with schemes. Formal semantics consists in studying the modes of representation of these schemes and the relations to the observables. Our study is based on the general model developed at the Paris-Sorbonne University in the LaLIC group, using the GAC model (Applicative and Cognitive Grammar) and GRACE (GRammar Applicative Cognitive and Enunciative), these two models use the one hand to the topology and on the other hand to the combinatory logic in order to an automatic processing of meanings. We have chosen to study the problem of the three prepositions: dans, sous and à of French and their equivalences in Arabic, this leads us to search for invariants associated with these three prepositions or relators, the preposition dans refers to the interiority of a place, be it spatial, temporal, spatial-temporal, notional or activity and the preposition sous refers to a specific place or generated by another place whose closing is taken. The preposition à refers to the closing of a place, here the place is cognitive or abstract place, sufficiently general that according to the context can take more particular values.

Cette thèse porte sur deux sujets de vision par ordinateur axés sur l’analyse de mouvement dans une scène dynamique vue par une ou plusieurs caméras. En premier lieu, nous avons travaillé sur le problème de la capture de mouvement avec des caméras non synchronisées. Ceci entraı̂ne généralement des erreurs de mise en correspondance 2D et par la suite des erreurs de reconstruction 3D. En contraste avec les solutions matérielles déjà existantes qui essaient de minimiser voire annuler le délai temporel entre les caméras, nous avons proposé une solution qui assure une invariance aux délais. En d’autres termes, nous avons développé une méthode qui permet de trouver la bonne mise en correspondance entre les points à reconstruire indépendamment du délai temporel. En second lieu, nous nous sommes intéressés au problème du flux optique avec une approche différente des méthodes proposées dans l’état de l’art. Le flux optique est utilisé pour l’analyse de mouvement en temps réel. Il est donc important qu’il soit calculé rapidement. Généralement, les méthodes existantes de flux optique sont classées en deux principales catégories: ou bien à la fois denses et précises mais très exigeantes en calcul, ou bien rapides mais moins denses et moins précises. Nous avons proposé une alternative qui tient compte à la fois du temps de calcul et de la précision du résultat. Nous avons proposé d’utiliser les isocontours d’intensité et de les mettre en correspondance afin de retrouver le flux optique en question. Ces travaux ont amené à deux principales contributions intégrées dans les chapitres de la thèse. / In this thesis we focused on two computer vision subjects. Both of them concern motion analysis in a dynamic scene seen by one or more cameras. The first subject concerns motion capture using unsynchronised cameras. This causes many correspondence errors and 3D reconstruction errors. In contrast with existing material solutions trying to minimize the temporal delay between the cameras, we propose a software solution ensuring an invariance to the existing temporal delay. We developed a method that finds the good correspondence between points regardless of the temporal delay. It solves the resulting spatial shift and finds the correct position of the shifted points. In the second subject, we focused on the optical flow problem using a different approach than the ones in the state of the art. In most applications, optical flow is used for real-time motion analysis. It is then important to be performed in a reduced time. In general, existing optical flow methods are classified into two main categories: either precise and dense but computationally intensive, or fast but less precise and less dense. In this work, we propose an alternative solution being at the same time, fast and precise. To do this, we propose extracting intensity isocontours to find corresponding points representing the related optical flow. By addressing these problems we made two major contributions.