On s’intéresse aux équations stationnaires de Navier-Stokes linéarisées, il s'agit ici des équations d'Oseen et des équations de Stokes posées dans des domaines infinis, comme les domaines extérieurs, en dimension trois et l'espace tout entier. Le but est d'étudier l'existence de solutions généralisés et de solutions fortes dans un cadre général non nécessairement hilbertien. On s'intéresse aussi au cas des solutions très faibles. Dans ce travail, on considère aussi bien des conditions aux limites classiques de type Dirichlet que des conditions aux limites non standard portant sur certaines composantes du champ de vitesses, du tourbillon, voir du champ de pression. Les espaces de Sobolev classiques ne sont pas adaptés à l'étude de ces problèmes pour une telle géométrie. Pour une bonne analyse mathématique, nous avons choisi de travailler dans le cadre des espaces de Sobolev avec poids, ce qui permet en particulier de mieux contrôler le comportement à l'infini de la solution. / In this work, we study the linearized Navier-Stokes equations in an exterior domain or in the whole space at the steady state, that is, the Stokes equations and the Oseen equations. We give existence, uniqueness and regularity of solutions. The case of very weak solutions is also treated. We consider not only the Dirichlet boundary conditions but also the Non Standard boundary conditions, on some components of the velocity field, vorticity and also on the pressure. Since the domain is not bounded, the classical Sobolev spaces are not adequate. Therefore, a specific functional framework is necessary which also has to take into account the behaviour of the functions at infinity. Our approach rests on the use of weighted Sobolev spaces.

Depuis 2005, une loi garantit le droit à l’inclusion scolaire de tout enfant porteur de handicap. L’objectif principal de cette recherche de Doctorat était d'étudier les modalités de scolarisation des élèves avec autisme en école ordinaire en interrogeant à la fois les parents, les enseignants et les auxiliaires de vie scolaire (AVS). Nous souhaitions apporter des réponses aux questions suivantes : La scolarisation dans une école ordinaire est-elle toujours bénéfique aux enfants avec autisme quelle que soit l’ampleur de leurs troubles ? La sévérité du syndrome oriente-t-elle les objectifs à atteindre ? Les enseignants sont-ils suffisamment formés pour participer à une école inclusive ? La méthodologie de recherche se compose de trois parties : 1. la diffusion en ligne de trois questionnaires adressés respectivement aux enseignants, aux parents et aux AVS ; 2. Des entretiens conduits avec des parents d’enfants atteints d’autisme scolarisés en milieu ordinaire, des AVS et des enseignants ; 3. Une étude de cas visant à observer l’intégration d’un enfant avec autisme dans une classe. Les résultats montrent notamment des décalages de points de vue entre chaque acteur. Les parents évoquent souvent « un parcours du combattant » pour réussir à scolariser leur enfant et regrettent parfois le manque de motivation de certains enseignants pour accueillir des enfants avec autisme. La rencontre avec les enseignants laisse penser que la Loi a été promulguée un peu trop rapidement avant que les écoles et les enseignants soient véritablement prêts à accueillir les enfants différents et à leur proposer des modalités d’inclusion ajustées à leurs besoins particuliers. Ainsi, des enseignants et des AVS regrettent un manque de formation dans ce registre. Il apparaît finalement que réussir l’intégration des enfants « différents » en école ordinaire implique une différenciation des dynamiques d’apprentissage, un ajustement des stratégies pédagogiques de l’enseignant et un aménagement du cadre pour que le jeu didactique soit source d’enrichissement pour l’enfant, pour l’enseignant et pour les autres élèves de la classe. / Since 2005, a law guarantees the right to scholastic inclusion of any disabled child. The main objective of this PhD research is to focus on studying the modalities for students schooling with autism in ordinary schools by interviewing both of the parents, teachers and education/teaching assistants (EAs/TAs). We want to provide answers to the following questions: Is schooling in ordinary school always beneficial to children with autism whatever the extent of their problems? Can the objectives be oriented by the severity of the autism’s syndrome? Are teachers adequately trained to participate in an inclusive school? The research methodology consists of three parts: 1. online distribution of three questionnaires respectively addressed to teachers, parents and EAs/TAs; 2. interviews with parents of children with autism into ordinary schooling, EAs/TAs and teachers; 3. A case study to observe the integration of a child with autism in a classroom. The results show in particular shifting views between each actor. Parents often evoke "an obstacle course" to successfully schooling their child and sometimes regret the lack of some teachers’ motivation to receive children with autism. The meeting with teachers suggests that the Act is enacted too quickly before schools and teachers are truly ready to welcome different children and offer them modalities of adjuster inclusion to their specific needs. Thus, teachers and EAs/TAs regret a lack of training in this register. It finally appears that the successful integration of "different" children in ordinary schools implies a differentiation of learning dynamics, adjustment of teaching strategies of the teacher and a framework planning so that the didactic game is a source of enrichment for the child, the teacher and other students in the classroom.

[non communiqué] / For the last three decades, the optical fiber has been a quite systematic response to dimensioning issues in the Internet. Originally restricted to long haul networks, the optical network has gradually descended the network hierarchy to discard the bottlenecks. In the 90's, metropolitan networks became optical. Today, optical fibers are deployed in access networks and reach the users. In a near future, besides wireless access and local area networks, all networks in the network hierarchy may be made of fibers, in order to support current services (HDTV) and the emergence of new applications (3D-TV newly commercialized in USA). The deployment of such greedy applications will initiate an upward upgrade. The first step may be the Metropolitan Area Networks (MANs), not only because of the traffic growth, but also because of the variety of served applications, each with a specific traffic profile. The current optical layer is of mitigated efficiency, dealing with unforeseen events. The lack of reactivity is mainly due to the slow switching devices: any on-line decision of the optical layer is delayed by the configuration of the. devices. When the optical network has been extended in the MANs, a lot of efforts has been deployed to improve the reactivity of the optical layer. The Optical Circuit Switching paradigm (OCS) has been improved but it ultimately relies on off-line configuration of the optical devices. Optical Burst Switching (OBS) can be viewed as a highly flexible evolution of OCS, that operates five order of magnitude faster. Within this 'architecture, the loss-free guaranty can be abandoned in order to improve the reactivity of the optical layer. Indeed, reliability and reactivity appear as antagonists properties and getting closer to either of them mitigates the other. This thesis aims at proposing a solution to achieve reliable transmission over a dynamic optical layer. Focusing on OBS networks, our objective is to solve the contention issue without mitigating the reactivity. After the consideration of contention avoidance mechanisms with routing constraints similar as in OCS networks, we investigate the reactive solutions that intend to solve the contentions. None of the available contention resolution scheme can ensure the 100% efficiency that leads to loss-free transmission. An attractive solution is the recourse to electrical buffering, but it is notoriously disregarded because (1) it may highly impact the delays and (2) loss can occur due to buffer overflows. The efficiency of translucent architectures thus highly depends on the buffer availability, that can be improved by reducing the time spent in the buffers and the contention rate. We show that traffic grooming can highly reduce the emission delay, and consequently the buffer occupancy. In a first architecture, traffic grooming is enabled by a translucent core node architecture, capable to re-aggregate incoming bursts. The re-aggregation is mandatory to "de-groom" the bursts in the core network (i.e., to demultiplex the content of a burst). On the one hand, the re-aggregation highly reduces the loss probability, but on the other hand, it absorbs the benefits of traffic grooming. Finally, dynamic access to re-aggregation for contention resolution, despite the significant reduction of the contention rate, dramatically impacts the end-to-end delay and the memory requirement. We thus propose a second architecture, called CAROBS, that exploits traffic grooming in the optical domain. This framework is fully dynamic and can be used jointly with our translucent architecture that performs re-aggregation. As the (de)grooming operations do not involve re-aggregation, the translucent module can be restricted to contention resolution. As a result, the volume of data submitted to re-aggregation is drastically reduced and loss-free transmission can be reached with the same reactivity, end-to-end delay and memory requirement as a native OBS network

La scolarisation dans le secteur spécialisé des élèves avec autisme fait émerger des problématiques diverses et les réponses apportées sont variables. L’objectif principal de ce travail de doctorat est de questionner l’adéquation de la formation des enseignants en poste spécialisé avec l’accueil de ces élèves dans ces dispositifs. La méthodologie de recherche se compose de trois moyens distincts et complémentaires : 1. Diffusion de deux questionnaires en ligne, un à destination des enseignants référents et un à destination des enseignants en poste spécialisé ; 2. captations vidéo de séances d’enseignement ; 3. entretiens d’auto-confrontation des enseignants à leurs propres pratiques. Notre enquête montre notamment que plus de 80% des enseignants en poste spécialisé se déclarent insuffisamment formés pour prendre en charge des élèves avec autisme. La formation semble donc majoritairement insuffisante, les entretiens confirmant ces données. Le sentiment de confiance que procure une formation suffisante est pourtant un facteur déterminant car il permet de pouvoir poser un regard suffisamment rassuré sur sa pratique, de l’analyser et de projeter des évolutions possibles. Au terme de ce travail de recherche et sur la base de nos résultats, nous proposons un ensemble de préconisations. / Schooling in the specialized sector of pupils with autism brings out various problems and the answers given are variable. The main objective of this doctoral work is to question the adequacy of the training of teachers with specialized positions with how of these students are welcomed in these classes. The research methodology consists of three distinct and complementary means: 1. Dissemination of two online questionnaires, one for reference teachers and one for teachers in specialized positions; 2. video recordings of teaching; 3. interviews with teachers confronted by their own practices. Our survey shows that more than 80% of teachers in specialized positions declare themselves insufficiently trained to support students with autism. The training seems therefore largely insufficient, as confirmed by the interviews. The feeling of confidence that comes from having sufficient training is nevertheless a determining factor because it allows one to be able to take a sufficiently reassured look at one's practice, to analyze it and project possible evolutions. At the end of this research and on the basis of our results, we propose a set of recommendations.

Ce travail de thèse présente un simulateur dynamique interactif pour corps poly-articulés utilisant des méthodes par contraintes pour calculer les efforts d'interaction avec frottements. Ce simulateur est une partie intégrante d'un logiciel de prototypage nommé AMELIF. Nous nous intéressons à optimiser le calcul de la dynamique pour obtenir des simulations en temps-réel et qui nous permettent de réaliser des tâches collaboratives interactives. Nous intégrons également des modèles de déformations pour pouvoir simuler, d'une part les flexibilités internes présentes sur les robots actuels, et d'autre part les futurs robots munis d'une peau flexible. Notre simulateur a été validé par différents scénarios de manipulation et de génération de postures.

L'objectif de cette thèse est le développement d'algorithmes et de modèles permettant l'optimisation d'itinéraires dans les réseaux routiers. Dans un premier temps, ce travail de recherche étudie le problème de l'interception d'un mobile dans un graphe. Dans ce contexte, l'objectif est de calculer un itinéraire optimal permettant de rejoindre une cible mobile dont la trajectoire est connue. Cette problématique est traitée pour plusieurs situations (un poursuivant/un objectif et plusieurs poursuivants/plusieurs objectifs) et pour plusieurs types de graphes (graphes statiques et graphes FIFO). Pour chaque cas, un algorithme de résolution est proposé et l'optimalité du résultat qu'il retourne est démontrée. De plus, un ensemble de simulations est réalisé afin de vérifier l'efficacité des algorithmes en termes de temps de calcul. Dans un deuxième temps, une nouvelle classe de graphes dynamiques est définie : les graphes dynamiques avec intervalles. La particularité de ces graphes est que le poids de chaque arc dépende du temps et qu'il est représenté par un intervalle. Pour ce nouveau type de graphes, le problème du plus court chemin est étudié. Ce problème peut être vu soit en tant que problème d'optimisation monocritère soit en tant que problème d'optimisation multicritère. Pour chaque cas, le problème est formulé et des approches pour la résolution sont proposées.

Dans une première partie, nous montrons qu'il est possible d'établir une correspondance naturelle entre les preuves en déduction naturelle de la validité d'une formule et les réfutations par resolution d'un ensemble de clauses obtenues en appliquant a la négation de cette formule une mise sous forme clausale non standard utilisant une technique de renommage. En particulier, nous montrons qu'il est possible de simuler le fonctionnement d'un calcul des sequents proche de celui de Gentzen par la resolution et nous montrons comment traduire des réfutations par resolution en preuve en déduction naturelle. De plus, nous proposons plusieurs ameliorations de cette mise sous forme clausale avec renommage permettant de faciliter la recherche d'une réfutation par resolution. Dans une deuxième partie, nous décrivons en détail des techniques permettant une mise en œuvre efficace de la resolution avec sortes ordonnées ainsi qu'un principe d'indexation des clauses permettant de résoudre efficacement de nombreux problèmes-clés (tels ceux poses par la subsomption, l'utilisation de systèmes de réécriture...). Ces algorithmes ont ete utilises dans l'implémentation d'un démonstrateur par resolution que nous avons réalisé dans le cadre d'atinf

Nous introduisons les variables génériques dans une algèbre amassée acyclique $\mathcal A(Q)$. Nous explicitons ces variables en termes de théorie AR de l'algèbre des chemins $kQ$ et montrons qu'elles forment une $\mathbb Z$-base pour une certaine classe d'algèbres amassées comprenant les algèbres amassées affines de type $\tilde A$. <br /><br />Nous introduisons des polynômes de Chebyshev généralisés grâce auxquels nous pouvons montrer des formules de multiplications de type Caldero-Keller pour les variables associées aux $kQ$-modules réguliers.<br /><br />Nous donnons une démonstration simplifiée d'un résultat de Buan, Marsh et Reiten interprétant les dénominateurs des variables d'amas en termes de théorie de basculement dans la catégorie amassée. Nous étudions aussi la compatibilité entre application Caldero-Chapoton et foncteurs BGP étendus.<br /><br />Enfin, nous réalisons les algèbres amassées non simplement lacées comme sous-algèbres de quotients d'algèbres simplement lacées munies d'un groupe d'automorphismes.

Ce mémoire présente l'étude d'une approche particulière des langages de programmation logico-fonctionnels, fondée sur la logique des clauses de Horn avec égalité. Nous définissons d'abord la syntaxe et la sémantique des programmes que nous considérons. La syntaxe est celle de la logique des clauses de Horn avec égalité. La sémantique est donnée par le plus petit e-modele de Herbrand associe a un programme. Nous nous intéressons ensuite au calcul dans ce langage. Nous proposons pour cela une nouvelle règle appelée sldei-resolution comme seule règle de calcul. Nous montrons sa cohérence, sa complétude ainsi que sa completude forte. La mise en œuvre de la règle sldei-resolution nécessite un algorithme de resolution d'équations. Nous étudions de tels algorithmes fondes sur la relation de surreduction, et améliorons ces algorithmes par l'utilisation de stratégies de surreduction. Cependant, ces stratégies ne sont pas complètes dans le cas général. Nous proposons alors des conditions suffisantes sur ces stratégies afin de préserver la complétude des algorithmes considérés. Nous caractérisons ensuite une classe de programmes, dits uniformes, pour lesquels l'utilisation de n'importe quelle stratégie de surreduction donne un algorithme complet de resolution d'équations. Nous donnons de plus une methode de vérification de l'uniformité d'un programme. Par ailleurs, nous proposons des conditions syntaxiques pour qu'un programme soit uniforme. Enfin, nous décrivons les principaux traits d'un langage de programmation fonde sur l'approche présentée dans ce mémoire, et l'implantation que nous avons réalisée

L'objectif de l'étude est d'établir un modèle de comportement de l'ensemble navire et eau l'entourant permettant de prédire à court terme (10-15 s) et en temps réel les mouvements du navire sur la houle. L'approche proposée consiste 1) à établir une équation d'évolution autonome de/dt = f(e) de l'ensemble navire et eau, 2) à observer à chaque instant les variables d'état e à partir de mesures physiques. Le modèle f est établi par une mise en équations en fluide parfait et incompressible. Le potentiel et sa dérivée temporelle sur la surface libre ou sur la carène sont des variables d'état possibles pour l'eau. Ces grandeurs sur la surface libre peuvent être observées à partir de la mesure de sa dénivellation. L'observabilité de ces grandeurs sur la carène à partir de la mesure de la pression est un problème ouvert. Pour obtenir un modèle indépendant du temps, la mise en équations est développée en perturbations à partir d'une solution d'ordre zéro elle-même indépendante du temps.