Literatura científica selecionada sobre o tema "Sciences de l'implémentation"

English This article explores how family services are delivered across EU member and applicant states through nonprofit organizations. Historical, political, cultural and financial factors are shown to impact upon the role of NPOs at both the national and sub-national levels, which may determine the efficacy of measures to increase nonprofit sector involvement in policy implementation. French Cet article explore les faµons par lesquelles les organismes à but non lucratif desservent les familles dans les états membres de l'Union européenne et dans les pays requérants. La recherche démontre que des facteurs historiques, politiques, culturels et financiers ont un impact sur le rôle des organismes à but non lucratif tant au niveau national que régional. Ces facteurs peuvent déterminer l'efficacité des mesures utilisées pour hausser l'implication du secteur des organismes à but non lucratif dans l'implémentation des politiques. Spanish Este trabajo explora la manera en que son otorgados los servicios familiares, en diferentes estados de la Unión Europea, a través de las organizaciones altruistas. Se muestra cómo los factores históricos, políticos, culturales y financieros influyen sobre el papel que cumplen estas organizaciones tanto a nivel nacional como a nivel local; lo cual puede determinar la eficacia de las medidas para incrementar la participación del sector altruista en la implementación de políticas.

Re´sume´Jusqu'il y a 15 ou 20 ans, des nombreux nutritionnistes étaient intéressés principalement dans les effets de l'alimentation sur des paramètres de santé comme la pression sanguine et les concentrations de cholestérol dans le sérum. Ces études ont signifié sans doute une contribution très important à la compréhension actuelle de la relation entre l'alimentation et la santé. Cependant, et pour de nombreuses raisons, il n'y a pas eu beaucoup de monde qui a essayé d'expliquer ces effets au niveau moléculaire. Toutefois, il paraîtra qu'aujourd'hui la tendance a était renversé; un grand nombre de travaux de recherche sont dédié a l'exploration des effets des components de l'alimentation à niveau moléculaire. Ce type de recherche a était fait possible grâce, entre autres facteurs, à l'implémentation de techniques des sciences plus fundamentaux à la recherche dans la nutrition. Ce aussi la disponibilité des séquences du génome qui a accéléré ce changement d'intéret. Les objectives de ce projet sont l'obtention d'une information précis sur les réponses métaboliques et moléculaires des cellules et des tissues (ou même de l'organisme entier) aux components diététiques. Dans ces études, les interactions entre l'alimentation et l'héritage génétique, ainsi qu'entre l'alimentation et des conditions physiologiques et psychologiques doivent aussi etre adressées. Cependant, il n'est pas seulement important l'obtention d'information sur les mécanismes, mais aussi sur les conséquences fonctionnelles pour l'organisme. Une dernière question se pose sur l'usage de cette information pour le développement de tests capable de prescrire des conseils diététiques aux subpopulations spécifiques. Ces questions stimulantes peuvent juste etre abordées à travers d'une approximation intégrée combinant l'expertise de plusieurs disciplines.

Nous explicitons dans cet article d'une part, un modèle conceptuel d'entrées verbales d'un lexique d'une langue contrôlée, et, d'autre part, l'implantation dans le formalisme de représentation des connaissances typed feature structures (désormais TFS) d'un modèle d'une base de données lexicales et la spécification d'entrées verbales d'une langue contrôlée, ici le Français Rationalisé (désormais FR). Une langue contrôlée est un sous-ensemble simplifié d'une langue naturelle comportant des règles syntaxiques et lexicales restrictives. Après une présentation générale des langues contrôlées, du contexte de leur utilisation et des principes généraux qui les régissent, nous traitons, dans une première partie, la modélisation des entrées lexicales des verbes du FR, à partir de la formalisation d'un lexique existant, le glossaire FR, pour permettre de contrôler sa cohérence et son adéquation expressive. Nous présentons les choix et les motivations qui ont déterminé la modélisation que nous avons effectuée, l'élément essentiel de notre conception d'une modélisation lexicale est la décision, que nous motivons dans cet article, de n 'incorporer que des informations discriminantes et/ou pertinentes pour permettre une discrimination entre les emplois verbaux autorisés dans FR. Dans la seconde partie, nous présentons l'implantation de la base de données lexicales dans le formalisme TFS, développé à l'Université de Stuttgart. Nous montrons les grands principes qui régissent ce formalisme: informations regroupées sous forme de structures de traits typées, hiérarchisation, circulation de l'information par héritage multiple. Puis nous définissons l'architecture de notre base de données lexicales, et nous illustrons l'implantation des entrées verbales. En conclusion, nous présentons les perspectives linguistiques et informatiques de notre travail, et les extensions qu'il serait souhaitable d'apporter à notre modélisation. L'implémentation que nous avons réalisée est à considérer comme une sorte d'expérimentation du formalisme TFS, et nous présentons une rapide synthèse de ses possibilités et de ses limites. Nous pensons par ailleurs avoir démontré que ce n'est qu'en formalisant les observations linguistiques qu'il est possible de "contrôler une langue contrôlée", c'est-à-dire de pouvoir être certain qu'il s'agit d'un modèle intrinsèquement cohérent et complet.

Le présent article décrit l'implémentation d'une méthode de pré-location décimétrique d'images au sein de grands volumes de données dans des tunnels navigables et routiers. Elle repose sur une technique d'odométrie visuelle simplifiée, ce qui la rend rapide et facile à mettre en oeuvre. Cette méthode permet de structurer les données afin d'améliorer les traitements postérieurs, comme par exemple la reconstruction 3D par photogrammétrie. La méthode est évaluée sur la précision de la localisation par comparaison avec des techniques de localisation plus conventionnelles. La structuration des données qui découle de cette localisation des images au sein de l'ouvrage constitue l'aspect le plus important du travail présenté ici.

Les algorithmes numériques font l’objet d’un enseignement explicite dans les classes préparatoires à l’entrée aux écoles d’ingénieurs. Le caractère interdisciplinaire de ces derniers, permet de construire un pont entre le langage et l’action et met l’accent sur l’utilité d’une certaine rigueur scientifique expérimentée. Notre recherche s’inscrit dans le cadre d’une démarche réflexive avec une prise de conscience centrée sur les difficultés liées à l’implémentation de la méthode d’Euler comme algorithme numérique pour la résolution des équations différentielles. L’exploration d’un milieu théorique fondé sur les méthodes numériques d’approximation, que nous avons menée, nous a permis de dégager différents types d’obstacles didactique rencontrés lors de l'implémentation de la solution numérique d’ordre sémiotique, organisationnel ou encore psychologique. Elle a aussi dénoté d’une certaine complexité syntaxique des relations de récurrences à analyser dans un aspect sémantique. Nous nous plaçons alors dans le cadre de la théorie des champs conceptuels développée dans les travaux de (Vergnaud, 1990) croisée à la notion de registres développé par (Duval, 1993) afin d’analyser ces difficultés dans une dimension syntaxique/sémantique (Kouki, 2018).

International audience For over 40 years, it is common knowledge that industrial society has to reduce its energy consumption. Most of people are now aware that this change is necessary. However, commitment to action is still difficult and there is substantial work to be done. Attention has turned to Human and Social Sciences, as a deeper understanding of behaviors' determinant and use of influence principles could help to speed up behavior changes. New technical devices combining game design, interaction techniques and persuasion have emerged but the field is still in its infancy. This article gives a glimpse at a toolbox helping to design and evaluate interactive persuasive devices and discuss five main challenges. This work is extended by two others papers: Negri et Senach (2015b) provide a first grid of persuasion principles and in Senach et Negri (2015c), these grid have been applied to assess the persuasive properties of an energy challenge within a company. Depuis plus de 40 ans, il est de notoriété publique qu'il est nécessaire de modifier les comportements de consommation énergétique dans les sociétés industrielles. Globalement, la prise de conscience par le grand public de la gravité des questions d'écologie est maintenant acquise. Et pourtant, le passage à l’acte est encore difficile et les gisements d'économies restent considérables. La lenteur des évolutions comportementales a conduit à rechercher du côté des Sciences Humaines et Sociales des modèles permettant une compréhension en profondeur des déterminants des comportements et à identifier des principes d'influence (crédibilité, expertise, réciprocité, etc.). L'implémentation de ces principes dans des dispositifs interactifs est une solution qui pourrait accompagner les changements de comportements ; ces nouveaux systèmes, associant le plaisir du jeu et les techniques de persuasion, baptisés ici « systèmes ludo-persuasifs » (SLP) pourraient être de bons candidats pour aider à l'adoption d'éco-gestes. Mais, l'utilisation des technologies interactives pour la persuasion est encore trop récente pour qu'une véritable ingénierie se soit développée. Dans le travail présenté ci-dessous, nous proposons l'élaboration d'une « boîte à outils » ludo-persuasive en discutant les défis qui doivent être relevés. Cet article est prolongé par deux travaux complémentaires : Negri et Senach (2015b) proposent une structuration de principes persuasifs et ils appliquent ensuite cette grille pour analyser a posteriori les caractéristiques ludo-persuasives d'un challenge énergétique conduit en entreprise (Senach & Negri, 2015c)

Les collisionneurs de particules sont des outils indispensables pour l'étude et la compréhension des lois fondamentales de la physique. Le plus grand accélérateur de particules jamais construit, le Large Hadron Collider (LHC), installé au CERN, est un accélérateur circulaire de type synchrotron à faisceaux contrarotatifs. Dans le LHC, les dipôles supraconducteurs en Nb-Ti génèrent une induction maximale de 8,3 T et les particules ont une énergie de collision de 14 TeV. La communauté scientifique souhaiterait des collisions à plus hautes énergies, ce qui nécessitera l'utilisation de dipôles à inductions magnétiques plus élevées. Le supraconducteur Nb3Sn est une option pour les dipôles générant jusqu'à 14 T environ. Une possible augmentation de l'énergie de collision du LHC de 14 TeV à 33 TeV est actuellement en discussion. Ce niveau d'énergie nécessitera l'utilisation de supraconducteurs à haute température (HTS) ayant des inductions irréversibles bien supérieures à celles du Nb3Sn et du Nb-Ti. A basse température les conducteurs YBCO présentent des inductions irréversibles et des densités de courant critique très élevées. Au nominal, les aimants supraconducteurs d'accélérateur fonctionnent à des courants de l'ordre de 10-20 kA. Ce niveau de courant bien supérieur aux capacités individuelles de transport des conducteurs HTS requerra l'utilisation de câbles supraconducteurs multibrins. Dans cette thèse, une formulation analytique fournissant une estimation de l'induction ultime des dipôles HTS est dérivée et la possibilité de générer des inductions supérieures à 20 T est démontrée. Le concept de câble transposé Robel à fort courant − introduit en 2006 pour les conducteurs YBCO − a jusqu'alors été caractérisé à 77 K, en induction propre. Mon travail expérimental pionnier a conduit à la première caractérisation réussie de câbles Roebel à 4,2 K et sous des inductions allant jusqu'à 9,6 T. Les forts courants critiques (12 kA) et les densités de courant critique (>1,1 kA/mm2) démontrent le potentiel de ces câbles pour des applications dans les aimants d'accélérateur à haute induction. Les câbles caractérisés ont atteint leur courant critique avec une distribution inégale de courant entre les brins. La principale raison de cette répartition déséquilibrée a été identifiée comme étant due à une résistance de contact non homogène aux jonctions. Mon travail novateur a permis de développer des outils numériques et expérimentaux universels qui permettent de quantifier et d'évaluer les performances des câbles HTS pour les aimants d'accélérateur.

Cette thèse s'inscrit dans la continuation du travail de Younes Achkire, consacré au contrôle actif des ponts haubanés. Elle traite de l'implémentation d'un système de contrôle actif sur des maquettes de structures câblées. Deux types de structures sont étudiés expérimentalement: les ponts haubanés et les treillis spatiaux. Après une brève introduction sur l'usage du contrôle actif dans ces domaines, le chapitre 2 traite numériquement des mécanismes d'interaction entre le câble et la structure. Au chapitre 3, nous présentons la stratégie de contrôle que nous utilisons pour stabiliser une structure câblée: il s'agit d'un contrôle décentralisé, basé sur des paires capteur/actionneur colocalisées, placées au niveau des ancrages des câbles, chacune équipée d'un contrôleur Intégral Force Feedback. Nous présentons une théorie linéaire simplifiée permettant de dimensionner le système et de prévoir son efficacité. Elle est illustrée sur un exemple, et nous discutons de la validité de certaines hypothèses simplificatrices. Le chapitre 4 est consacré au contrôle actif des ponts haubanés. Nous y présentons 2 maquettes. La première, de petite taille (3m) représente un pylône de pont haubané en construction. Elle est équipée d'actionneurs piézoélectriques. La seconde, installée au Centre Commun de Recherche d'Ispra (Italie), mesure 30m de long, et est équipée d'actionneurs hydrauliques. Les expériences réalisées sur ces maquettes ont démontré l'efficacité du contrôle et la fiabilité de la théorie prédictive. Le contrôle du flottement des ponts est traité sur un exemple numérique. Le chapitre 5 relate nos expériences d'amortissement actif des treillis spatiaux. Deux structures ont été étudiées: une colonne en treillis équipée de 3 câbles actifs, et une structure triédrique suspendue à des cordons élastiques pour simuler l'absence de gravité, également munie de câbles actifs. Deux concepts d'actionneur piézoélectrique ont été testés. Nous avons ensuite examiné le problème de la saturation des actionneurs, et celui du contrôle actif des microvibrations (~10nm) d'une structure câblée. Le chapitre 6 conclut ce travail, en souligne les aspects originaux et donne quelques perspectives de développement.
Doctorat en sciences appliquées
info:eu-repo/semantics/nonPublished

La mise au point des applications distribuees critiques est un probleme complexe pour lequel il est recommande d'utiliser des techniques de description formelle afin de specifier sans ambiguite le comportement des applications considerees, et des outils de verification automatique ou semi-automatique afin de valider le bon fonctionnement de ces applications. Les techniques de description formelle existantes (notamment les trois langages normalises estelle, lotos et sdl) presentent des inconvenients et des limitations qui restreignent leur adoption en milieu industriel. Cette these vise a resoudre ce probleme en proposant un nouveau formalisme, appele lotos nt, pour la description formelle des applications paralleles et temps-reel. Ce formalisme, qui combine des concepts issus des langages de programmation fonctionnels et imperatifs et des algebres de processus temporisees, est plus simple et plus expressif que les langages existants et autorise une compilation plus efficace. Ce travail constitue une contribution a la revision de la norme lotos entreprise a l'iso. Cette these definit formellement les trois parties du langage lotos nt (donnees, controle et modules) en donnant leur syntaxe, leur semantique statique et leur semantique dynamique (formulee de maniere operationnelle en termes de systemes de transitions temporises). Ensuite, un modele d'execution intermediaire base sur des reseaux de petri temporises est defini. Enfin, deux algorithmes de traduction permettent de passer de lotos nt a ce modele intermediaire, d'une part, et du modele intermediaire a des systemes de transitions temporises, d'autre part. L'interet de cette approche a ete montre sur plusieurs applications concretes et un compilateur prototype pour le langage lotos nt a ete developpe.

Développement de Nouveaux Composants Passifs Multicouches et l'Implémentation d'une Matrice de Butler Large-Bande et Compacte en Technologie GIS Les systèmes de communications sans fils actuels imposent des contraintes très sévères en termes de la capacité du canal, la qualité de transmission tout en gardant les niveaux d'interférences et multi-trajets assez faibles. De telles contraintes ont rendu les antennes multifaisceaux un élément essentiel dans ces systèmes. Parmi les techniques permettant de réaliser une antenne multifaisceaux (sans avoir recours aux systèmes à balayages électroniques), un réseau d'antennes élémentaires est associé à un réseau d'alimentation (une matrice) à formation de faisceau (Beam Forming Network-BFN). Parmi les différents types de ces matrices, la matrice de Butler a reçu une attention particulière. Ceci est dû au fait qu'elle est théoriquement sans pertes et qu'elle emploie un nombre minimum de composants (coupleurs et déphaseurs) afin de générer l'ensemble de faisceaux orthogonaux demandé (avec l'hypothèse que le nombre de faisceau est une puissance de 2). Néanmoins, la matrice de Butler a un problème de conception majeur. Ce problème réside dans la structure de la matrice qui renferme des croisements ce qui a été adressé par différents travaux de recherches dans la littérature. Les Guide Intégré au Substrat (GIS) offrent des caractéristiques intéressants pour la conception des composants microondes et millimétriques faciles à intégrer sur un même support avec d'autres composants planaires. Les composants à base de GIS combinent les avantages des guides d'ondes rectangulaires, comme leur grand facteur de qualité Q, leur faibles pertes tout en étant compatible avec les technologies à faibles coûts comme le PCB et le LTCC. Vus ses caractéristiques attrayants, la technologie GIS devient un bon candidat pour la réalisation des matrices multifaisceaux faciles à intégrer avec d'autres systèmes en technologies planaires ou à base de guide GIS. Dans cette thèse, de nouveaux composants passifs sont développés en exploitant la technologie GIS en multicouches en vue de la réalisation d'une matrice de Butler 4x4 compacte et large bande. Les composants recherchés sont donc des coupleurs et des déphaseurs ayant des performances large bande en termes des amplitudes des coefficients de transmissions et les phases associés tout en gardant de faibles niveaux de pertes et de bonnes isolations. Différents techniques pour l'implémentation de déphaseurs large bande en technologie GIS sont présentés. Une nouvelle structure à base d'une propagation composite : main gauche main droite (Composite Right/Left- Handed, CRLH) dans un guide d'onde est proposée. La structure consiste d'un guide d'onde monocouche ayant des fenêtres inductives et des fentes transversales à réactances capacitives pour synthétiser l'inductance parallèle et la capacité série main gauche, respectivement. La structure est adaptée pour les réalisations de déphaseurs compacts en technologie GIS. Bien que les pertes d'insertions restent dans le même ordre de grandeur de celles des structures CRLH à base d'éléments non-localisés, ces niveaux de pertes restent relativement grands par rapport aux applications nécessitant plusieurs déphaseurs. Les déphaseurs à bases de GIS ayant des longueurs égales et des largeurs variables sont ensuite abordés. Ce type de déphaseur est effectivement très adapté à la technologie GIS qui permet des réalisations de parcours avec différentes formes (parcours droits, courbés, coudés, ..) tout en assurant des différences de phase large bande. Afin de satisfaire de faibles pertes d'insertions pour une large dynamique de phase, la longueur de ces déphaseurs est en compromis avec les variations progressives des différentes largeurs associées aux valeurs de déphasages requises. Une transition large bande, double couche et à faible perte est ainsi proposée. La transition est analysée à partir de son circuit électrique équivalent afin d'étudier les performances en termes de l'amplitude et la phase du coefficient de transmission par rapport aux différents paramètres structurels de la transition. Cette transition est ensuite exploitée pour développer un déphaseur à trois couches, large bande, en GIS. La structure consiste effectivement d'un guide d'onde replié à plusieurs reprises sur lui-même selon la longueur dans une topologie trois couches à faibles pertes. De nouveaux coupleurs double couche en GIS sont également proposés. Pour les applications BFNs, une structure originale d'un coupleur large bande est développée. La structure consiste de deux guides d'onde parallèles qui partagent leur grand mur ayant une paire de fentes inclinées et décalées par rapport au centre de la structure. Une étude paramétrique détaillée est faite pour étudier l'impact des différents paramètres des fentes sur l'amplitude et la phase du coefficient de transmission. Le coupleur proposé a l'avantage d'assurer une large dynamique de couplage ayant des performances larges bandes en termes des amplitudes et les phases des coefficients de transmission avec de faibles pertes et de bonnes isolations entre le port d'entré et celui isolé. D'autre part, contrairement à d'autres travaux antérieurs et récents qui souffraient d'une corrélation directe entre la phase en transmission et le niveau de couplage, la structure proposée permet de contrôler le niveau de couplage en maintenant presque les mêmes valeurs de phase en transmission pour différents niveaux de couplage. Ceci le rend un bon candidat pour les BFNs déployant différents coupleurs telle la matrice de Nolen. Finalement, pour l'implémentation de la matrice de Butler, la topologie double couche est explorée à deux niveaux. Le premier consiste à optimiser les caractéristiques électriques de la matrice, tandis que le second concerne l'optimisation de la surface occupée afin de rendre la matrice la plus compacte possible sans dégrader ses performances électriques. D'une part, la structure double couche présente une solution intrinsèque au problème de croisement permettant ainsi une plus grande flexibilité pour la compensation de phase sur une large bande de fréquence. Ceci est réalisé par une conception adéquate de la surface géométrique sur chaque couche de substrat et optimiser les différentes sections de GIS avec les différents parcours adoptés. La deuxième étape consiste effectivement à optimiser la surface sur chaque couche en profitant de la technologie GIS. Ceci consiste à réaliser des murs latéraux communs entre différents chemin électrique de la matrice en vue d'une compacité optimale. Les deux prototypes de matrices de Butler 4x4 sont optimisés, fabriqués et mesurés. Les résultats de mesures sont en bon accord avec ceux de la simulation. Des niveaux d'isolations mieux que -15 dB avec des niveaux de réflexions inférieurs à -12 dB sont validés expérimentalement sur plus de 24% de bande autour de 12.5 GHz. Les coefficients de transmission montrent de faibles dispersions d'environ 1 dB avec une moyenne de -6.8 dB, et 10° par rapport aux valeurs théoriques, respectivement, sur toute la bande de fréquence.

Cette thèse CIFRE, réalisée en collaboration industrielle entre l'IRCCyN et PSA Peugeot-Citroën, s'intéresse à l'aspect numérique de l'implémentation, au sein de calculateurs embarqués, de lois de contrôle/commande.

Ces travaux ont porté sur l'implémentation de lois de contrôle-commande (provenant de l'automatique ou du traitement du signal) sous les contraintes de précision finie.
Le processus d'implémentation amène de nombreuses dégradations de la loi et nous nous intéressons plus particulièrement à la quantification des coefficients intervenant dans les calculs.

Pour une loi (filtre ou régulateur) donnée, il existe une infinité de réalisations numériques possibles qui, bien que mathématiquement équivalentes, ne le sont plus en précision finie : de nombreuses réalisations équivalentes existent : forme d'état, réalisations en delta, formes directes, structures retour d'état observateur, décompositions en cascade, en parallèle, ...

Après avoir présenté ces différentes possibilités, ce mémoire de thèse, propose un formalisme mathématique — la forme implicite spécialisée —qui permet de décrire de manière unifiée un ensemble élargi d'implémentations. Celui-ci, bien que macroscopique, permet d'exprimer précisément les calculs à réaliser et les paramètres réellement mis en jeu. Différentes mesures, appliquées à ce formalisme et qui permettent d'évaluer l'impact de la quantification (en virgule fixe et virgule flottante) et d'analyser la dégradation induite, sont ensuite proposées.
Via un problème d'optimisation, la réalisation qui présente la meilleure robustesse face aux détériorations induites par les processus d'implémentation en précision finie est trouvée.

Dans cette thèse nous nous intéressons au développement d'une méthode de prise de décision pour un équipement de réception de Radio Intelligente qui s'adapte dynamiquement à son environnement. L'approche que nous adoptons est basée sur la modélisation statistique de l'environnement radio. En caractérisant statistiquement les observations fournies par les capteurs de l'environnement, nous mettons en place des règles de décisions statistiques qui prennent en considération les erreurs d'observation des métriques radio, ce qui contribue à minimiser les taux des décisions erronées. Nous visons aussi à travers cette thèse à utiliser les capacités intelligentes de prise de décision pour contribuer à la réduction de la complexité de calcul au niveau de l'équipement de réception. En effet, nous identifions des scénarios de prise de décision de reconfiguration qui limitent la présence de certains composants ou fonctions de la chaîne de réception. En particulier, nous traitons, deux scénarios de décision qui adaptent respectivement la présence des fonctions d'égalisation et du beamforming en réception. La limitation de ces deux opérations contribue à la réduction de la complexité de calcul au niveau de la chaîne de réception sans dégrader ses performances. Enfin, nous intégrons notre méthode de décision par modélisation statistique ainsi que les deux scénarios de décision traités dans une architecture de gestion d'une radio intelligente, afin de mettre en valeur le contrôle de l'intelligence et de la reconfiguration dans un équipement radio.

L'objectif principal de notre étude est de développer des algorithmes rapides pour une conception optimale et une implantation de très faible complexité des filtres numériques. Le critère d'optimisation choisi est celui de la minimisation de l'erreur quadratique moyenne. Ainsi, nous avons étudié et développé de nouveaux algorithmes de synthèse des filtres à réponse impulsionnelle finie (RIF) associés aux deux techniques de filtrage par blocs, overlap-save (OLS) et overlap-add (OLA). Ces deux techniques de filtrage RIF consistent à traiter le signal par blocs au moyen de la transformée de Fourier rapide (TFR) et permettent ainsi de réduire la complexité arithmétique des calculs de convolution. Les algorithmes que nous avons proposés sont basés sur le développement du modèle matriciel des structures OLS et OLA et sur l'utilisation des propriétés de l'algèbre linéaire, en particulier celles des matrices circulantes. Pour réduire davantage la complexité et la distorsion de filtrage, nous avons approfondi les bases mathématiques de la transformée en nombres de Fermat (FNT : Fermat Number Transform) qui est amenée à trouver des applications de plus en plus diverses en traitement du signal. Cette transformée, définie sur un corps de Galois d'ordre égal à un nombre de Fermat, est un cas particulier des transformées en nombres entiers (NTT : Number Theoretic Transform). Comparé à la TFR, la FNT permet un calcul sans erreur d'arrondi ainsi qu'une large réduction du nombre de multiplications nécessaires à la réalisation du produit de convolution. Pour mettre en évidence cette transformée, nous avons proposé et étudié une nouvelle conception des filtres blocs OLS et OLA mettant en oeuvre la FNT. Nous avons ensuite développé un algorithme de très faible complexité pour la synthèse du filtre optimal en utilisant les propriétés des matrices circulantes que nous avons développées dans le corps de Galois. Les résultats de l'implantation en virgule fixe du filtrage par blocs ont montré que l'utilisation de la FNT à la place de la TFR permettra de réduire la complexité et les erreurs de filtrage ainsi que le coût de synthèse du filtre optimal.

Initialement con¸cu pour d'echarger le CPU des tˆaches de rendu graphique, le GPU estdevenu une architecture massivement parall'ele adapt'ee au traitement de donn'ees volumineuses.Alors qu'il occupe une part de march'e importante dans le Calcul Haute Performance, uned'emarche d'Ad'equation Algorithme Architecture est n'eanmoins requise pour impl'ementerefficacement un algorithme sur GPU.La contribution de cette th'ese est double. Dans un premier temps, nous pr'esentons legain significatif apport'e par l'impl'ementation optimis'ee d'un algorithme de granulom'etrie(l'ordre de grandeur passe de l'heure 'a la minute pour un volume de 10243 voxels). Un mod'eleanalytique permettant d''etablir les variations de performance de l'application de granulom'etriesur GPU a 'egalement 'et'e d'efini et pourrait ˆetre 'etendu 'a d'autres algorithmes r'eguliers.Dans un second temps, un outil facilitant le d'eploiement d'applications de Traitementdu Signal et de l'Image sur cluster multi-GPU a 'et'e d'evelopp'e. Pour cela, le champ d'actiondu programmeur est r'eduit au d'ecoupage du programme en tˆaches et 'a leur mapping sur les'el'ements de calcul (GPP ou GPU). L'am'elioration notable du d'ebit sortant d'une applicationstreaming de calcul de carte de saillence visuelle a d'emontr'e l'efficacit'e de notre outil pourl'impl'ementation d'une solution sur cluster multi-GPU. Afin de permettre un 'equilibrage decharge dynamique, une m'ethode de migration de tˆaches a 'egalement 'et'e incorpor'ee 'a l'outil.

La thèse analyse l'implémentation des nouveaux programmes d'EPS et de SVT au Bénin dans le cadre de la réforme curriculaire selon l'approche par les compétences. Cette question est envisagée selon une approche comparative en termes de transposition didactique. Trois études emboitées structurent le travail empirique. La première caractérise les nouvelles matrices disciplinaires en EPS et en SVT à partir d'une analyse de contenus des documents officiels. La seconde s'intéresse aux points de vue des acteurs impliqués dans cette réforme depuis dix ans (inspecteurs, conseillers pédagogiques, enseignants). La troisième rend-compte, sous couvert de la théorie de l'action conjointe en didactique, des pratiques d'enseignement de 6 enseignants (3 en EPS : basket-ball et 3 en SVT : relations d'exploitation interspécifiques). Les résultats mettent en évidence les contraintes qui pèsent sur la mise en œuvre de ces nouveaux programmes.