Après avoir situé le problème du test des circuits intégrés, une méthode de test phasée sur une description fonctionnelle du circuit est décrite. le système de test développé en collaboration avec ESD est présente ainsi qu'un outil de description de signaux.

Les dernières années ont connu une grande évolution dans la technologie de fabrication des circuits intégrés. Ces derniers sont de plus en plus complexes. Ils intègrent des parties dites logicielles (processeurs + programmes) et des parties matérielles dédiées ou spécifiques de calcul ou de mémorisation. <br />De nombreuses applications dans les domaines du multimédia et des télécommunications sont apparues. Elles nécessitent l'intégration de mémoires de différents types et tailles dans ces modèles d'architectures multiprocesseurs. Dans ces applications embarquées, les performances du système sont étroitement liées à celles de la partie mémoire. Celle-ci occupe plus de 90% de la surface du système, et la consommation en énergie ainsi que les performances temporelles du système sont essentiellement dues au stockage et à l'échange de données entre les différents composants. <br />Avec cette présence croissante de la mémoire dans les systèmes monopuce, on note de nos jours l'absence d'une méthodologie systématique et optimisée pour la conception de tels systèmes avec une architecture mémoire spécifique. <br />Nous proposons dans cette thèse un flot de conception d'une architecture mémoire spécifique pour les systèmes monopuce. L'architecture mémoire est obtenue avec une méthode exacte basée sur un modèle de programmation linéaire en nombres entiers. Ce modèle permet d'obtenir une architecture mémoire distribuée partagée optimale pour l'application, minimisant le coût global des accès aux données partagées et le coût de la mémoire. On réalise ensuite automatiquement les transformations de l'architecture et du code de l'application en fonction de l'architecture mémoire choisie. Cette nouvelle spécification système (architecture + code applicatif) reste simulable.<br />La faisabilité et les performances de ce flot ont été testées sur l'application du VDSL.

Les travaux relatifs à cette thèse sont menés dans le cadre de la conception des systèmes sur puce (SoC) en considérant conjointement 2 axes de progrès : la réutilisation de blocs préconçus et la synthèse de haut niveau.<br />Le concept de composant virtuel de niveau comportemental, proposé par le LESTER, autorise une grande flexibilité et une bonne adéquation entre algorithme et architecture. Ce type de composant est spécifié sous forme algorithmique et est destiné à être synthétisé par des outils de synthèse de haut niveau. Nos travaux s'intègrent dans ce contexte et adressent plus spécifiquement la prise en considération des contraintes imposées par les applications de Traitement du Signal et de l'Image (TDSI) dans le processus de synthèse de haut niveau.<br />Comme dans tout processus devant s'exécuter en « temps réel », les indéterminismes contenus dans la spécification algorithmique (exécutions dépendantes du contexte ou des données) posent des problèmes théoriques de modélisation mais également d'exécution. Le modèle de représentation utilisé pour modéliser l'ensemble des traitements à effectuer peut restreindre les primitives algorithmiques acceptées dans la description comportementale. De son coté, l'outil de synthèse employé doit permettre la prise en compte de l'ensemble des contraintes d'intégration du concepteur et y apporter une réponse adaptée.<br />Nous adressons dans ce mémoire cette problématique en considérant plus particulièrement le modèle de spécification, le modèle architectural et les transformations qui permettent d'automatiser la synthèse de haut niveau.

Cette thèse est consacrée à la présentation d'un algorithme nouveau et à la formalisation et l'amélioration d'algorithmes existants pour le calcul des lois marginales et conditionnelles dans les réseaux bayésiens.<br /> Le chapitre 1 présente la théorie des réseaux bayésiens. Nous introduisons une nouvelle notion, celle de réseau bayésien de niveau deux, utile pour l'introduction de notre algorithme de calcul sur les réseaux bayésiens ; nous donnons également quelques résultats fondamentaux et nous situons dans notre formalisme un exemple d'école de réseau bayésien dit «Visite en Asie» .<br />Dans le second chapitre, nous exposons une propriété graphique appelée «d-séparation» grâce à laquelle on peut déterminer, pour tout couple de variables aléatoires ou de groupes de variables, et tout ensemble de conditionnement, s'il y a nécessairement, ou non, indépendance conditionnelle. Nous présentons également dans ce chapitre des résultats concernant le calcul de probabilités ou probabilités conditionnelles dans les réseaux bayésiens en utilisant les propriétés de la d-séparation. Ces résultats, qui concernent des écritures à notre connaissance originales de la factorisation de la loi jointe et de la loi conditionnée d'une famille de variables aléatoires du réseau bayésien (en liaison avec la notion de réseau bayésien de niveau deux) doivent trouver leur utilité pour les réseaux bayésiens de grande taille.<br />Le troisième chapitre donne la présentation détaillée et la justification d'un des algorithmes connus de calcul dans les réseaux bayésiens : il s'agit de l'algorithme LS (Lauritzen and Spigelhalter), basé sur la méthode de l'arbre de jonction. Pour notre part, après avoir présenté la notion de suite recouvrante propre possédant la propriété d'intersection courante, nous proposons un algorithme en deux versions (dont l'une est originale) qui permet de construire une suite de parties d'un réseau bayésien possédant cette propriété. Cette présentation est accompagnée d'exemples. <br />Dans le chapitre 4, nous donnons une présentation détaillée de l'algorithme des restrictions successives que nous proposons pour le calcul de lois (dans sa première version), et de lois conditionnelles (dans sa deuxième version). Cela est présenté après l'introduction d'une nouvelle notion : il s'agit de la descendance proche. Nous présentons également une application de l'algorithme des restrictions successives sur l'exemple «Visite en Asie» présenté en chapitre 1, et nous comparons le nombre d'opérations élémentaires effectuées avec celui qui intervient dans l'application de l'algorithme LS sur le même exemple. Le gain de calcul qui, à la faveur de cet exemple, apparaît au profit de l'algorithme des restrictions successives, sera comme toujours, d'autant plus marqué que la taille des réseaux et le nombre de valeurs prises par les variables seront plus élevés. C'est ce qui justifie l'insertion de notre algorithme au seins de « ProBT » , un logiciel d'inférence probabiliste, réalisé et diffusé par l'équipe Laplace localisée dans le laboratoire Gravir à INRIA Rhône Alpes. <br />En annexes nous rappelons les propriétés des graphes orientés sans circuits, les notions de base sur l'indépendance conditionnelle et l'équivalence de plusieurs définitions des réseaux bayésiens.

La sonie, intensité subjective d'un son est un paramètre psychoacoustique primordial dans l'évaluation de la gêne et dans les études sur la qualité sonore. Il existe à l'heure actuelle des modèles qui estiment bien la sonie de sons stationnaires, tels ceux de Zwicker (1958) et de Moore et coll. (1997). D'autres modèles (Zwicker et Fastl (1999) et Glasberg et Moore (2002)) existent pour calculer la sonie en fonction du temps mais présentent certaines limites pour donner la sonie globale de sons non stationnaires et en particulier de sons impulsionnels. Le but de ce travail de thèse est d'étudier la sonie de sons impulsionnels afin de pouvoir en proposer un estimateur pour éviter de mettre en œuvre des tests psychoacoustiques longs et onéreux, seul moyen aujourd'hui de connaître précisément la sonie de tels sons. L'originalité de ce travail a été de s'intéresser à des sons impulsionnels possédant une attaque rapide, pas de palier et une décroissance de forme exponentielle. Le choix de ces sons est basé sur l'observation de sons naturels que nous avons pu recenser dans notre environnement sonore. Un premier algorithme (ESI) a été proposé pour calculer la sonie à partir de caractéristiques physiques du signal telles que l'énergie et le temps de descente. Nous avons déterminé les lignes isosoniques, les fonctions de sonie et l'intégration temporelle de sons impulsionnels pour, non seulement déterminer les relations entre la sonie et les paramètres physiques du signal (fréquence, niveau et durée), mais aussi tester les modèles et en déterminer les domaines d'application. Les résultats de nos recherches étant en partie dédiés au domaine industriel et à la métrologie, nous nous sommes principalement intéressés au niveau d'isosonie, exprimé en phones. En effet, cette unité est plus pratique car elle est plus proche du niveau de pression, exprimé en dB SPL ou en dB(A), utilisé plus fréquemment. Nous avons donc déterminé la méthode de mesure du niveau d'isosonie la mieux adaptée à nos types de sons. Ainsi, la méthode d'ajustement a été retenue parmi quatre autres méthodes, pour sa fiabilité, sa stabilité et sa rapidité. Toutes ces données ont contribuées à déterminer des domaines d'application et des limites des modèles de sonie déjà proposés et de notre nouvel estimateur ainsi qu'à proposer un nouvel indice (Nimp), calculé à partir du modèle de Zwicker et Fastl (1999), pour donner une première approximation du niveau d'isosonie de sons impulsionnels.

Les conditions de circulation sur un réseau routier subissent souvent de la congestion. Selon ses sources, la congestion routière peut être classée en deux catégories : la congestion récurrente déterminée par les lois de trafic et la congestion non-récurrente due aux incidents, accidents ou autres aléas sur la route. Grâce à l'avancement des technologies, notamment en informatique, communication et techniques de traitement des données, l'exploitant est devenu capable de détecter les perturbations, de mesurer les effets et même d'anticiper l'état du trafic afin de mieux adapter ses actions d'exploitation. L'information dynamique concernant les conditions de trafic permet aux usagers de réduire l'inconfort et d'effectuer leur choix d'itinéraire de manière plus raisonnable. Pour l'exploitant, le service d'information aux usagers peut servir à la gestion du trafic. Nous avons étudié la contribution potentielle de l'information dynamique au profit individuel des usagers et à la performance collective du système en prenant en compte : i) la congestion récurrente et non-récurrente ; ii) des différents comportements de choix d'itinéraire en fonction de l'accessibilité à l'information ; iii) d'autres actions de gestion du trafic menées par l'exploitant. Un modèle théorique avec une application analytique sur un réseau élémentaire de deux routes parallèles, une paire origine-destination et deux classes d'usagers respectivement informée ou non-informée nous a permis de retirer de nombreuses indications : i) la diffusion excessive de l'information avec un contenu " neutre " dégrade à la fois le profit individuel et la performance du système ; ii) l'information dynamique avec certain contenu " coopératif " peut contribuer l'optimisation du système sans causer le problème d'acceptabilité ; iii) l'information dynamique et d'autres mesures de gestion dynamique s'interagissent de manière complémentaire à l'optimisation du trafic

Ignorées à l'origine par le droit de l'Union européenne, les collectivités locales s'inscrivent pourtant dans les enjeux de l'intégration européenne et s'imposent en qualité de " quasi-sujet " du droit de l'Union européenne.A l'échelle de l'Union européenne, les collectivités locales sont associées de plus en plus à l'élaboration et à la mise en oeuvre des politiques de l'UE. Cependant, leur action reste dépendante des cadres étatiques qui édifient des limites institutionnelles à une participation plus accrue. L'Etat demeure l'acteur institutionnel par excellence.En dépit de ces obstacles, les collectivités locales parviennent à élaborer des stratégies pour influer sur le processus décisionnel en utilisant une diversité de canaux formels et informels.Enfin, elles participent directement à la mise en évidence d'un territoire de l'Union européenne. L'ingénierie locale constitue alors un atout pour l'avenir de l'Union, qui consciente des différences et de la diversité de son territoire, adapte ses politiques et ancre de plus en plus sa démarche dans les préceptes de la Multi level governance (ou gouvernance multi-niveaux). L'émergence de ce modèle de gouvernance est censée pérenniser les acquis et la poursuite de la construction européenne, tout en respectant les traditions constitutionnelles nationales.Ainsi, l'objet de cette thèse est d'envisager les rapports complexes entre l'Union européenne et les collectivités locales. Cette étude ouvre alors sur des perspectives territoriales nouvelles intéressant directement l'Union européenne et inspire une réflexion sur le rôle de ces pouvoirs infra-étatiques dans une Union qui s'inscrit aussi dans un monde globalisé.

Les travaux de recherche dont la synthèse est présentée dans ce document portent sur deux aspects de la conception d'architectures numériques embarquées pour des applications de traitement de l'information. Le premier axe concerne l'étude et la conception de modèles architecturaux pour les décodeurs de canal utilisés dans les communications numériques. Les décodeurs étudiés sont basés sur les codes LDPC (Low Density Parity Check codes) qui, depuis quelques années, sont proposés comme codes correcteurs d'erreurs dans plusieurs normes de transmission. On s'intéresse en particulier à la norme DVB-S2 de radio-diffusion de programmes multimédia. Ces architectures de décodeurs mettent en oeuvre des algorithmes dont les réalisations matérielles reposent sur une adéquation fine entre le taux de parallélisme, l'ordonnancement des calculs et les quantités de ressources nécessaires. Une étude sur la réduction de complexité des algorithmes de décodage LDPC non binaires, préalable à la définition d'une architecture associée est également présentée. Le deuxième axe de recherche étend la problématique aux architectures très fortement intégrées, de type SoC (systèmes sur puces), et qui disposent de capacités de flexibilité, d'adaptabilité et de reconfiguration matérielle dynamique. La présence d'un système d'exploitation temps-réel embarqué devient alors nécessaire pour gérer de telles architectures et rend inadaptées les méthodes classiques de conception. Le deuxième axe des travaux porte sur de nouvelles méthodologies d'exploration et de conception d'architectures reconfigurable. Le cas de la modélisation des systèmes d'exploitation embarqués est abordé ainsi que le cas de la conception des applications et plates-formes pour la radio-logicielle.

L'informatique s'est récemment développée autour de deux axes : l'informatique ambiante d'une part avec la multiplication des objets communicants, et l'internet des services d'autre part suite à l'essor parallèle des centres de traitement de données et d'Internet. Dans ces domaines, la disponibilité fluctuante des ressources, qui entraîne une intermittence des services fournis, représente désormais une préoccupation majeure dans la conception d'applications. La programmation orientée composants appliquée aux architectures orientées service simplifie la gestion des liaisons de service via des politiques. Néanmoins les politiques de liaison existantes suivent soit une approche statique interdisant alors toute reconfiguration d'architecture en cours d'exécution, soit une approche dynamique ne garantissant pas une stabilité minimale de l'architecture dans le cas de services intermittents. Cette thèse propose un compromis entre stabilité architecturale et dynamisme en plaçant l'interruption de service au centre des préoccupations du concepteur. La politique de liaison résultante offre ainsi une tolérance aux interruptions de service jusqu'à une certaine limite au-delà de laquelle l'architecture est reconfigurée dynamiquement. Afin de situer cette limite, notre proposition se base sur l'utilisation d'accords de niveau de service, une forme enrichie des contrats de service permettant, entre autres, l'expression de contraintes sur la disponibilité des services. L'approche a été expérimentée sur la plate-forme à services OSGi en étendant les mécanismes de gestion des liaisons du modèle à composants iPOJO, puis validée dans le contexte de l'informatique ambiante ainsi que sur le serveur d'applications JOnAS.

Cette thèse porte sur l'activité des enseignants en relation avec celles des élèves, lors de séances de découverte de texte, au Cours Préparatoire. Cinq enseignantes expérimentées ont été observées durant une année scolaire. Notre travail porte sur le niveau de difficulté des tâches que ces enseignantes proposent à leurs élèves. Nous cherchons à connaître leurs marges de manoeuvre quant à leurs choix, contraints par la nécessité de maintenir les situations de classe viables en prenant en compte l'hétérogénéité des élèves. Nos résultats indiquent que les enseignantes observées sont conduites à privilégier des tâches adaptées à certains élèves plus qu'à d'autres. L'indicateur de Distance à la Performance Attendue montre que les élèves faibles, hors séances de classe, ne parviennent pas à réaliser seuls des tâches similaires à celles prescrites par leur enseignante lors des séances. Néanmoins, en cours de séance, les questions qui leur sont posées, moins complexes que celles adressées aux autres élèves, ne les positionnent pas plus en difficultés que ces derniers. De plus, à chaque séance, nous constatons que les Taux de Réponses Justes de l'ensemble des élèves ne sont ni très bas, ni très élevés, et quasi-invariants : les enseignantes auraient construit des savoir-faire qui les conduisent à ajuster le niveau de difficulté des questions posées au niveau de la classe, de façon à maintenir un degré d'implication des élèves acceptable. Ceci facilite particulièrement la progression des apprentissages de certains élèves, dont le niveau initial est moyen ou élevé.