Après avoir rappelé la définition et quelques propriétés des pseudogroupes de Lie, on définit les structures infinitésimales régulières. On peut toujours associer des connexions affines à de telles structures ; courbure et torsion de ces connexions. Équivalence locale de deux structures infinitésimales. Application à l'étude des structures presque complexes, presque paracomplexes, presque symplectiques, presque hermitiennes, presque parahermitiennes, presque quaternioniennes, presque quaternioniennes de deuxième espèce.

Cette étude propose une application innovante de deux concepts très étudiés par la communauté mathématique, le fibré des k-repères et la connexion de Cartan. D'une part, l'utilisation d'une connexion de Cartan particulière sur le fibré des 2-repères nous permet de proposer une généralisation de la notion de dérivée de Schwarz en dimension arbitraire, pour les difféomorphismes projectifs et conformes. D'autre part, nous avons pu élaborer une structure de BRS permettant de reproduire infinitésimalement l'action des difféomorphismes sur des champs de jauge à un terme de courbure près. Ainsi, la notion de connexion de Cartan sur le fibré des 2-repères a permis de résoudre un problème ouvert, originellement formulé par A.M. Polyakov en 1990 qui obtient formellement l'action de difféomorphismes (symétrie de l'espace-temps) à partir d'une transformation de jauge (symétrie interne). Les symétries d'espace-temps et les symétries internes peuvent ainsi être exprimées dans un formalisme similaire.

La dénomination de réseaux de neurones recouvre tout un ensemble de méthodes de calcul dont le point commun est de décrire le calcul d'une solution a un probleme comme la recherche d'un état d'équilibre par un ensemble de cellules simples inter-agissant entre elles via un réseau de connections paramétrées. L'approche usuelle, pour obtenir un réseau de neurones ayant un comportement souhaite, consiste a tester sur des exemples un réseau choisi a priori et a modifier ses paramètres de contrôle jusqu'à ce que l'on obtienne un comportement satisfaisant. La difficulté de ces méthodes est que leur succès ou leur échec reposent sur le choix d'un premier réseau et que l'on ne dispose pas de règles permettant de déduire ce choix de la structure du probleme. La motivation de cette thèse a donc été de décrire des méthodes de synthèse permettant une construction modulaire de réseaux de neurones. Aussi, cette thèse propose une classe de réseaux de neurones parmi lesquels toute spécification de la forme chercher un élément de e (fini) vérifiant la propriété p admet au moins une réalisation. En outre, les réseaux de cette classe peuvent être combines pour obtenir un réseau réalisant une combinaison des spécifications des réseaux combines

Dans cette thèse, nous avons décrit une machine a inférence parallèle pour les clauses de Horn qui exploite le parallélisme ou et qui utilise comme mécanisme d'inférence la resolution. Le modèle décrit pour les clauses de Horn part d'un réseau de processus qui représente la structure syntaxique du programme logique. Le fait d'avoir fp2 comme langage pour la spécification des machines nous a permis d'utiliser le mécanisme de communication du langage pour réaliser l'opération de base dans l'inférence: l'unification. L'espace de recherche de la preuve d'une formule des clauses de Horn contient uniquement les axiomes de la preuve plus la résolvante courante. Pour prouver une formule du premier ordre, cet espace est insuffisant. Nous avons présente également une methode correcte, fondée sur la methode de connexion pour calculer les ensembles des pairs de litteraux a résoudre dans une formule de premier ordre. Cela représente le pas le plus difficile a franchir pour la spécification d'une machine a inférence parallèle pour la logique du premier ordre

Les principaux algorithmes de placement et d'interconnexion sont passes en revues. On propose ensuite une classification des représentations symboliques de circuits intégrés, et on s'intéresse aux circuits représentés à l'aide du symbolisme défini pour le MD-MOS. Une methode de placement des portes et de traces des connexions automatises est présentée pour les circuits MD-MOS organisés en cellules à une et deux lignes d'alimentation.

Aspects généraux des communications et rôle de l'ordinateur. Problèmes techniques posés par la conception d'un système de communication. Description du système au niveau de l'utilisateur. Aspects techniques du système CONGRES : les fichiers, les consoles graphiques et alphanumériques, le logiciel. Exemple de déroulement d'une réunion.

Dans cette these, nous etudions d'abord le probleme des singularites eliminables des EDP elliptiques du second ordre; le cas modele etant $- \Delta u + cu \geq f$ sur $\Omega \backslash K$, avec $u \geq 0$ et $(\rm cap)_2((K))=0$. Nous démontrons aussi un principe du maximum fort pour l'operateur $-\Delta + a(x)$, avec un potentiel $a \in L^1$. Ces deux résultats utilisent plusieurs formulations de l'inegalite de Kato classique. Nous presentons ensuite quelques variantes de l'inegalite de Poincare, motives par une nouvelle caracterisation des espaces de Sobolev. Puis, nous nous interessons aux singularites topologiques des fonctions dans l'espace $W^(1,1)(S^2;S^1)$. A cet effet, nous etudions leur energie relaxee et la variation totale du jacobien. Finalement, nous considerons plusieurs proprietes des distributions de la forme $\sum_j((\delta_(p_j) - \delta_(n_j)))$, definies sur un espace metrique complet.

Les systèmes de transport intelligents (STI) coopératifs sont des systèmes ou les véhicules, l'infrastructure routière, les centres de contrôle de trafic et d'autres entités échangent des informations afin d'assurer une meilleure sécurité routière, l'efficacité du trafic et le confort des usagers de la route. C'est dans ce but que l'architecture de station STI a été spécifié par l'ISO et l'ETSI. Le concept de cette architecture de référence permet aux stations STI-véhicules et stations STI-infrastructures de s'organiser dans un réseau véhiculaire adhoc (VANET), tout en utilisant des protocoles de communication tels qu'GeoNetworking IP v6 et IEEE802.11p ainsi que toute autre technologie d'accès afin de se connecter de manière transparente à internet. Plusieurs chemins peuvent donc être accessibles à une station STI véhicule pour communiquer avec d'autres stations STI. les chemins sont de trois types: le chemin direct, le chemin optimisé, et le chemin d'ancré. L'objectif de cette étude est d'optimiser la communication entre stations STI en sélectionnant le meilleur chemin de communication disponible.. Cela exige d'abord de recueillir les informations disponibles localement dans la station STI (la position, la vitesse, les exigences des applications, les caractéristiques des supports de communication, les capacités , l'état du chemin), ainsi que les informations des stations STI voisines (position, vitesse, services, etc..). Ces informations sont ensuite traitées par le biais d'un algorithme de prise de décision. Premièrement, nous définissons un module réseau qui permet la combinaison d'IPv6 avec le Geo Networking. Deuxièmement, nous proposons un module de gestion inter-couche pour la sélection du meilleur chemin. Nos contributions s'intègrent dans l'architecture de station STI par la définition de la relation entre la couche réseau et transport (qui héberge la contribution Geonetworking IPv6) et l'entité verticale de gestion inter-couche (qui accueille l'algorythme de décision pour la sélection de chemin). Nous avons spécifié les fonctions permettant l'échange de paramétres par l'intermédiaire de la SAP (Service Acess Point) entre la couche réseau et l'entité de gestion (MN-SAP). Les paramètres utilisés dans l'entité de gestion inter-couche sont extraits d'une manière agnostique par rapport aux protocoles de la couche réseau et transport, ce qui permet de remplacer facilement les éléments d'une couche sans affecter les autres (par exemple, remplacer NEMO par une autre protocole de mobilité) et de permuter plusieurs piles réseau (on peut choisir d'utiliser la pile par une autre protocole de mobilité) et de permuter plusieurs piles réseau (on peut choisir d'utiliser la pile IPv6 ou bien la pile GeoNetworking, ou encore une combinaison des deux à la fois ou même une autre pile.

Les systèmes de transport intelligents (STI) coopératifs sont des systèmes où les véhicules, l'infrastructure routière, les centres de contrôle de trafic et d'autres entités échangent des informations afin d'assurer une meilleure sécurité routière, l'efficacité du trafic et le confort des usagers de la route. Cet échange d'information doit s'appuyer sur une référence d'architecture de communication commune. C'est dans ce but que l'architecture de station STI a été spécifié par l'ISO et l'ETSI. Le concept de cette architecture de référence permet aux stations STI-véhicules et stations STI-infrastructure de s'organiser dans un réseau véhiculaire ad-hoc (VANET), tout en utilisant des protocoles de communication tels que GeoNetworking IPv6 et IEEE802.11p ainsi que toute autre technologie d'accès afin de se connecter de manière transparente à Internet. Plusieurs chemins peuvent donc être accessible à une station STI véhicule pour communiquer avec d'autres stations STI. Les chemins sont de trois types: le chemin direct, le chemin optimisé et le chemin d'ancré. L'objectif de cette étude est d'optimiser la communication entre stations STI en sélectionnant le meilleur chemin de communication disponible. Cela exige d'abord de recueillir les informations disponibles localement dans la station STI (la position, la vitesse, les exigences des applications, les caractéristiques des supports de communication, les capacités, l'état du chemin), ainsi que les informations des stations STI voisines (position, vitesse, services, etc.). Ces informations sont ensuite traitées par le biais d'un algorithme de prise de décision. Premièrement, nous définissons un module réseau qui permet la combinaison d'IPv6 avec le GeoNetworking. Deuxièmement, nous proposons un module de gestion inter-couches pour la sélection du meilleur chemin. Nos contributions s'intègrent dans l'architecture de station STI par la définition de la relation entre la couche réseau et transport (qui héberge la contribution GeoNetworking IPv6) et l'entité verticale de gestion inter-couches (qui accueille l'algorithme de décision pour la sélection de chemin). Nous avons spécifiés les fonctions permettant l'échange de paramètres par l'intermédiaire de le point d'accès au service (SAP) entre la couche réseau et l'entité de gestion (MN-SAP). Les paramètres utilisés dans l'entité de gestion inter-couches sont extraits d'une manière agnostique par rapport aux protocoles de la couche réseau et transport, ce qui permet de remplacer facilement les éléments d'une couche sans affecter les autres (par exemple, remplacer NEMO par une autre protocole de mobilité) et de permuter plusieurs piles réseau (on peut choisir d'utiliser la pile IPv6 ou bien la pile GeoNetworking, ou encore une combinaison des deux à la fois ou même une autre pile).

L'objectif de ce mémoire est d'analyser le potentiel des installations photovoltaïques connectées au réseau électrique insulaire. Notre étude porte sur trois types de systèmes : l'intégration de centrales PV dans le réseau électrique, l'utilisation de système PV en toiture pour réduire les chutes de tension en bout de ligne et un système à vocation expérimentale. La première partie offre une analyse détaillée de l'apport du photovoltaïque dans le réseau de distribution d'électricité corse. La simultanéité entre la charge et la puissance fournie par une centrale PV y est étudiée ainsi que le taux de disponibilité effectif plus communément appelé TDE. La deuxième partie du mémoire est consacrée au secteur résidentiel et plus particulièrement au renforcement des bouts de lignes électriques via la solution photovoltaïque. En effet, de nombreux foyers connaissent aujourd'hui encore des problèmes de chutes de tension. Pour assurer à l'usager un confort maximal nous avons donc choisi cette solution car l'île possède un ensoleillement remarquable et que la population est de plus en plus sensibilisée à ce type d'énergie. Enfin, le troisième et dernier chapitre représente la partie expérimentale de cette thèse. Elle concerne la modélisation d'un système photovoltaïque de 850 Wc connecté au réseau électrique et situé sur le site universitaire de Vignola. Le suivi et le monitoring ont été assurés depuis sa mise en service en 2000. Une étude des performances et de l'interaction entre le réseau et l'onduleur ont mis en évidence les problèmes de productions liés aux fluctuations du réseau. Des modifications nécessaires des paramètres de l'onduleur ont conduits à des performances très satisfaisantes. . Ce travail qui constitue une étude très large de l'intégration de systèmes PV dans le réseau insulaire corse à travers des applications variées devra être complété par une étude du secteur administratifs et surtout d'une étude plus poussée de la relation réseau/système PV.