Дисертації з теми "Sciences de l'implémentation"

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.

Les couplages sont des primitives cryptographiques qui interviennent désormais dans de nombreux protocoles. Dès lors, il est nécessaire de s'intéresser à leur calcul et à leur implémentation efficace. Pour ce faire, nous nous reposons sur une étude algorithmique et arithmétique de ces fonctions mathématiques. Les couplages sont des applications bilinéaires définies sur des courbes algébriques, plus particulièrement, dans le cas qui nous intéresse, des courbes elliptiques et hyperelliptiques. Nous avons choisi de nous concentrer sur une sous-famille de celles-ci : les courbes supersingulières dont les propriétés permettent d'obtenir à la fois des couplages symétriques et des algorithmes efficaces pour leur calcul. Nous décrivons alors une approche unifiée permettant d'établir une large variété d'algorithmes calculant des couplages. Nous l'appliquons notamment à la construc- tion d'un nouvel algorithme pour le calcul de couplages sur des courbes supersin- gulières de genre 2 et de caractéristique 2. Les calculs nécessaires aux couplages que nous décrivons s'appuient sur l'implé- mentation d'une arithmétique rapide pour les corps finis de petite caractéristique : la multiplication est l'opération critique qu'il convient d'optimiser. Nous présen- tons donc un algorithme de recherche exhaustive de formules de multiplication. Enfin, nous appliquons toutes les méthodes précédentes à la conception et l'im- plémentation de différents accélérateurs matériels pour le calcul de couplages sur différentes courbes dont les architectures ont été optimisées soit pour leur rapidité, soit pour leur compacité.

L’accident vasculaire cérébral (AVC) constitue la 2ème cause de mortalité et la 3ème cause de handicap acquis chez l’adulte à l’échelle mondiale. Le retour à domicile suite à la survenue d’un AVC est une étape clé pour le patient et son entourage. Du fait du caractère brutal de l’AVC et des durées de séjour de plus en plus courtes, les patients et leur famille doivent rapidement s’adapter au nouvel état de santé de la personne touchée et au nouveau rôle d’aidant. Actuellement, environ 60% des patients retournent à domicile directement après leur prise en charge en unité neurovasculaire (UNV). Suite à la phase aiguë, le parcours de soin du patient à domicile peut devenir très complexe en raison de la nécessité de faire appel à de nombreux professionnels de spécialités différentes du secteur sanitaire et social. Un manque de soutien lors de la transition hôpital/domicile peut nuire au rétablissement des victimes d’AVC et à la qualité de vie de leurs aidants. Ces derniers rapportent un besoin important d’accompagnement pendant cette période de transition, recherchant une information personnalisée, fiable, compréhensible, et adaptée aux différentes étapes du rétablissement. Le déploiement d’un programme de transition post-AVC pourrait répondre à une partie de ces attentes. Les programmes de transition ont démontré leur intérêt dans l'amélioration de la gestion des symptômes et le renforcement des compétences en autogestion pour les personnes atteintes de maladies chroniques. Actuellement les programmes de transition post-AVC ciblent majoritairement le rétablissement fonctionnel. A l’échelle nationale aucun programme de transition ne propose une approche bio-psycho-sociale du rétablissement, en prenant en compte les besoins des patients et leurs aidants. L’objectif de ce travail était de développer et d’implémenter un programme de transition centré patient et d’évaluer son impact sur la qualité de vie des victimes d’AVC et leurs aidants. Nos travaux ont suivi le cadre méthodologique développé par le Medical Research Council. Ils se sont organisés en 3 volets. Le premier volet consistait en l’identification des ressources en ligne développées dans le monde dans le cadre du rétablissement psychosocial post-AVC, et ayant fait l’objet d’une évaluation. Pour ce faire nous avons réalisé une scoping review ciblant les études publiées entre 2010 et 2024. Le second volet de ce travail visait à l’élaboration d’un programme de transition centré sur les besoins des victimes d’AVC et de leurs proches en adoptant une approche participative. A l’aide d’une méthode « user-centered design », nous avons pu développer un programme combinant deux axes d’accompagnement : un suivi personnalisé par un case-manager et l’accès à une plateforme d’informations et de ressources en ligne sur l’AVC. Le dernier volet de ce travail visait à évaluer la faisabilité du programme de transition lors du retour à domicile. Ce dernier a fait l’objet d’un essai pilote contrôlé randomisé monocentrique déployé à partir de l’UNV des Hospices Civils de Lyon pour une période de 6 mois. Cette étude était l’occasion pour notre équipe d’évaluer les critères de succès de l’implémentation du programme afin de pouvoir l’améliorer, le cas échéant, et le déployer ensuite à une plus grande échelle. La méthodologie employée tout au long de ces travaux a permis le développement d’un programme de transition post-AVC ciblé sur les besoins des victimes d’AVC et de leurs aidants. Ce programme a été développé avec la population cible et présente une bonne acceptabilité. La faisabilité de son déploiement a été validée. L’évaluation de l’efficacité de ce programme fera l’objet d’une évaluation lors d’un essai contrôlé randomisé multicentrique
Stroke is the 2nd cause of death and the 3rd cause of acquired disability in adults worldwide. Returning home following a stroke is a key step for patients and their families. Because of the sudden nature of the stroke and the increasingly short length of stay, patients and their families have to adapt quickly to the patient's new state of health and to the new role of informal caregiver. Currently, around 60% of stroke survivors are discharge home after hospitalization in stroke center. Following the acute phase, the patient's care pathway care pathway at home can become very complex due to the need to involve many professionals from various specialties in the healthcare and social sectors. A lack of support during the transition from hospital to home can be detrimental to stroke survivor’s recovery and quality of life of their informal caregivers. They report a significant need for support during this transition period, seeking for personalized, understandable, high-quality information tailored to the various stages of recovery. The deployment of a post-stroke transition program could address these expectations. Transitional care has been shown to be effective in improving symptom management and strengthening self-management skills for individuals with chronic ilnesses. Currently, post-stroke transition programs mainly focus on functional recovery. At national level, no transition program offers a comprehensive bio-psycho-social approach to recovery, considering both stroke survivors and informal caregivers needs. The aim of this work was to develop and implement a patient-centred transition program and to assess its impact on the quality of life of stroke survivors and their informal caregivers. Our work followed the methodological framework developed by the Medical Research Council. It was organized into 3 parts: The first part consisted in identifying the online resources developed in the context of post-stroke psychosocial recovery and which had been evaluated. For this purpose, we conducted a Scoping Review targeting studies published between 2010 and 2024. The second part of the project was to develop a patient-centered transition program for stroke survivors and their informal caregivers, using a participatory approach. Using a user-centred design method, we were able to develop a program with two components: personalized follow-up by a case manager and access to an online information and resources platform about stroke. The final part of this work aimed to evaluate the feasibility of the transition program when returning home. This was the subject of a pilot randomized controlled trial conducted from the stroke center of the Hospices Civils de Lyon for a period of 6 months. This study also aimed to evaluate the implementation of the program so that it can be improved, if necessary and then rolled out on a larger scale. The methodology used throughout this work has enabled the development of a post-stroke transition program targeting needs of stroke survivors and their informal caregivers. The program was developed with the target population and received good acceptability. The feasibility of the study has been validated. The effectiveness of this program will be evaluated in a multi-centre randomised controlled trial

Dans cette thèse, nous nous sommes intéressés aux design, vérification et implémentation des systèmes à base de composants. Nous proposons d'abord une méthodologie de design et de vérification compositionelle et incrémentale à base de contrats pour les systèmes de composants. Nous proposons ensuite une implémentation distribuée qui permet de préserver certaines properiétés globales de ces systèmes. La méthodologie de design proposée utilise les contrats comme un moyen de contraindre, raffiner et d'implémenter les systèmes. Elle est basée sur un formalisme de contracts générique, que nous instancions pour un formalisme de composants permettant la description des propriétés de progrés. Nous étendons cette méthodologie pour raisonner sur des systèmes de taille arbitraire et nous prouvons son utilité pour vérifier des propriétés de sûreté et de progrés d'un réseau de noeuds distribués. Dans le contexte des systèmes distribués, les systèmes doivent être implémenter de manière distribuée. Nous proposons dans cette thèse un protocole qui permet l'exécution distribuée des systèmes tout en préservant certaines propriétés globales à savoir des synchronisations et des priorités et où les composants interagissent par échange de messages. Nous proposons également une implémentation du protocole pour une plateforme particulière.

Dans la première partie de cette thèse, nous présentons une implémentation du langage fp2 ayant pour modèle les réseaux de Petri. Fp2 est un langage de programmation parallèle base sur la réécriture de termes et les spécifications algébriques. Nous donnons une nouvelle sémantique a fp2, de la famille des sémantiques du vrai parallélisme, et prouvons la correction de cette sémantique par rapport a la sémantique interleaving du langage. Le modèle utilise, les réseaux de Petri, et la nouvelle sémantique donnée au langage permettent une représentation plus compacte de programmes complexes, évitant les problèmes d'explosion combinatoire rencontres avec les implémentations précédentes. Nous évaluons le gain de notre approche, et proposons plusieurs schémas d'interprétation du langage, bases sur cette nouvelle sémantique. La seconde partie de ce travail concerne la définition d'une nouvelle famille d'équivalences comportementales pour les réseaux de Petri. Alors que les équivalences proposées jusqu'alors sont définies entre les marquages, c'est-a-dire entre les états globaux du réseau, nous définissons une relation entre les places du réseau, reprenant une idée proposée par olderog. De nouvelles équivalences, les bisimulations de places, sont proposées a partir de cette définition. Un algorithme efficace (polynomial) permettant de calculer la plus grande bisimulation de places sur un réseau est propose. Nous montrons comment simplifier un réseau en le quotientant par cette plus grande bisimulation, obtenant ainsi un représentant canonique d'une classe d'équivalence de réseaux bisimilaires de places. L'étude de ces équivalences est ensuite étendue aux réseaux avec actions internes

Ce manuscrit résume mes travaux de recherche depuis ma thèse soutenue en septembre 2002. Certains de mes travaux présentés sont achevés à l'heure actuelle, d'autres sont en cours d'avancement ou encore à un stade exploratoire. Tout au long de ces années, mes travaux se sont inscrit dans le contexte de la conception conjointe logicielle/matérielle de SoCs dédiés aux applications de traitement de signal intensif. La complexité des systèmes ciblant ce domaine d'application ne cesse de s'accroitre lors des dernières années. En effet, les besoins grandissants, en terme de puissance de calcul et stockage mémoire des applicatifs du traitement de signal intensif, rendent la conception des Soc les implémentant très fastidieuse et nécessitant un temps et des efforts considérables. Ainsi, la ligne directrice de mes travaux a toujours été de fournir des méthodes et outils d'aide à la conception de tels SoC, permettant un maximum d'automatisation, une augmentation de la productivité des concepteurs et une réduction des temps de mise sur le marché des systèmes conçus. Je me suis donc concentré principalement sur trois aspects : la modélisation de haut niveau en fournissant des méta-modèles et profils respectant le standard MARTE ; les plateformes de simulation distribuées, supportant l'interopérabilité entre plusieurs niveaux d'abstraction tout en permettant une bonne estimation de la consommation d'énergie ; et finalement la production d'outils de conception basés sur les transformations automatiques modèle à modèle de l'approche IDM. Etant convaincu du grand potentiel des FPGAs partiellement et dynamiquement reconfigurables, j'oriente de plus en plus mes travaux pour cibler de telles architectures. Ainsi, mes travaux futurs iront certainement dans le même sens, dans le cadre notamment du projet ANR FAMOUS que je dirige. Ainsi, les grandes orientations de mes recherches concerneront notamment : la modélisation (basée sur MARTE) de la reconfiguration dynamique sous toutes ses facettes (architecture, application, association, déploiement; et partitionnement); la simulation des FPGAs et l'estimation de leur consommation (pour piloter l'exploration d'architectures) ; et enfin l'intégration dans des outils de conception basés sur les standards (tels que MARTE et IDM).

Ce travail propose une méthodologie de conception du contrôle pour les systèmes reconfigurables sur FPGA, visant à améliorer la productivité des concepteurs et assurer l'efficacité de l'implémentation. Cette méthodologie est basée sur un modèle de contrôle semi-distribué qui se compose d'un ensemble de contrôleurs distribués modulaires assurant chacun les tâches d'observation, de prise de décision et de reconfiguration pour une région reconfigurable du système, et d'un coordinateur entre les décisions des contrôleurs distribués afin de respecter les contraintes et objectifs globaux du système. Cette prise de décision semi-distribuée est basée sur le formalisme des automates de modes. Cette combinaison entre modularité, division du contrôle et formalisme permet d'améliorer la flexibilité, réutilisabilité et scalabilité de la conception du contrôle. Un autre point peut être ajouté à cette combinaison pour améliorer la productivité des concepteurs, qui est l'automatisation. Pour cela, la méthodologie proposée est basée sur une approche d'Ingénierie Dirigée par les Modèles permettant d'automatiser la génération du code à partir de modèles de haut-niveau d'abstraction. Cette approche fait usage du profil standard MARTE (Modeling and Analysis of Real-Time and Embedded Systems), permettant de rendre les détails techniques de bas niveau transparents aux concepteurs et d'automatiser la génération du code VHDL pour une implémentation matérielle des systèmes de contrôle modélisés afin d'assurer leur performance. Les systèmes de contrôle générés ont été validés par simulation. Les résultats de synthèse ont montré un coût acceptable en termes de temps d'exécution et de ressources pour des systèmes ayant différents nombres de contrôleurs. Un système de contrôle composé de quatre contrôleurs et d'un coordinateur a été également validé par implémentation physique dans un système FPGA pour une application de traitement d'images.

Dans leur présentation traditionnelle, les systèmes à mémoire distribuée virtuellement partagée (MVP, en anglais DSM) permettent à des processus de partager un espace d'adressage commun selon un modèle de cohérence fixé : cohérence séquentielle, à la libération, etc. Les pro- cessus peuvent habituellement être distribués sur des noeuds physiquement distincts et leurs in- teractions par la mémoire commune sont implémentées (de manière transparente) par la MVP, en utilisant une bibliothèque de communication. Dans la plupart de travaux dans ce domaine, il est sous-entendu que la MVP et l'architecture sous-jacente sont données. Le programmeur doit alors adapter son application à ce cadre fixe, afin d'obtenir une exécution efficace. Cette approche impose des limitations statiques et ne permet pas de comparer des approches alternatives. La contribution de cette thèse consiste à proposer une plate-forme générique d'implémentation et d'expérimentation appelée DSM-PM2, qui permet de développer et d'optimiser conjointement les applications distribuées et le(s) protocole(s) de cohérence de la MVP sous-jacente. Cette plate-forme, implémentée entièrement au niveau logiciel, est portable sur plusieurs architectures de grappes hautes performances. Elle fournit les briques de bases nécessaires pour implémenter et évaluer une large classe de protocoles de cohérence multithreads dans un cadre unifié. Trois mo- dèles de cohérence sont actuellement supportés : la cohérence séquentielle, la cohérence à la libéra- tion et la cohérence Java. Plusieurs études de performance ont été effectuées à l'aide d'applications multithreads pour l'ensemble des protocoles proposés, sur différentes plates-formes. DSM-PM a été validé par son utilisation en tant que cible d'un système de compilation Java pour des grappes appelé Hyperion.

Dans un avion, un hélicoptère ou un lanceur actuel, des milliers de capteurs, pour la plupart non critiques sont utilisés pour la mesure de divers paramètres (températures, pressions, positions...) Les résultats sont ensuite acheminés par des fils vers les calculateurs de bord qui les traitent. Ceci implique la mise en place de centaines de kilomètres de câbles (500 km pour un avion de ligne) dont le volume est considérable. Il en résulte une grande complexité de conception et de fabrication, des problèmes de fiabilité, notamment au niveau des connexions, et une masse importante. Par ailleurs l'instrumentation de certaines zones est impossible car leur câblage est difficilement envisageable par manque d'espace. En outre, s'il est souvent intéressant d'installer de nouveaux capteurs pour faire évoluer un aéronef ancien, l'installation des câbles nécessaires implique un démantèlement partiel, problématique et coûteux, de l'appareil. Pour résoudre ces problèmes, une idée innovante a émergé chez les industriels de l'aéronautique : commencer à remplacer les réseaux filaires reliant les capteurs d'un aéronef et leur centre de décision par des réseaux sans fil. Les technologies de communication sans fil sont aujourd'hui largement utilisées dans les marchés de l'électronique de grande consommation. Elles commencent également à être déployées pour des applications industrielles comme l'automobile ou le relevé à distance de compteurs domestiques. Cependant, remplacer des câbles par des ondes représente un défi technologique considérable comme la propagation en milieu confiné, la sécurité, la sureté de fonctionnement, la fiabilité ou la compatibilité électromagnétique. Cette thèse est motivée d'une part par l'avancée non négligeable dans le milieu aérospatial que pourrait être l'établissement d'un réseau sans fil à bord d'aéronefs dans la résolution de problématique classiques comme l'allégement et l'instrumentation. Il en résulterait donc : * Une meilleure connaissance de l'environnement et de la santé de l'aéronef * Un gain sur le poids. * Un gain en flexibilité. * Un gain en malléabilité et en évolutivité. * Un gain sur la complexité. * Un gain sur la fiabilité D'autre part, étant donnée la complexité de la conception de ce réseau de capteur sans fil, il a été nécessaire d'appliquer une méthodologie évolutive et adaptée mais inspirée de l'ingénierie système. Il est envisageable, vu le nombre de sous-systèmes à considérer, que cette méthodologie soit réutilisable pour d'autre cas pratiques. Une étude aussi complète que possible a été réalisée autour de l'existant déjà établi sur le sujet. En effet, on peut en lisant ce mémoire de thèse avoir une idée assez précise de ce qui a été fait. Une liste a été dressée de toutes les technologies sans fil en indiquant leur état de maturité, leurs avantages et leurs inconvénients afin de préciser les choix possibles et les raisons de ces choix. Des projets de capteurs sans fil ont été réalisés, des technologies sans fil performantes et personnalisables ont été développées et arrivent à maturité dans des secteurs variés tels que la domotique, la santé, l'automobile ou même l'aéronautique. Cependant aucun capteur sans fil n'a été véritablement installé en milieu aérospatial car de nombreux verrous technologiques n'ont pas été levés. Fort des expériences passées, et de la maturité qu'ont prise certaines technologies, des conclusions ont été tirées des projets antérieurs afin de tendre vers des solutions plus viables. Une fois identifiés, les verrous technologiques ont été isolés. Une personnalisation de notre solution a été à envisager afin de remédier tant que faire se peut à ces points bloquants avec les moyens mis à disposition. La méthodologie appliquée nous a permis d'identifier un maximum de contraintes, besoins et exigences pour mieux focaliser les efforts d'innovation sur les plus importantes et choisir ainsi les technologies les plus indiquées.

Ce travail de recherche porte sur la conversion analogique numérique delta sigma à temps continu passe-bas, et plus particulièrement sur les difficultés de réalisation de ce type de convertisseur. L'objectif global de ces recherches était la mise en place d'une méthode de conception adaptée. Dans un premier temps, le travail s'est focalisé sur le calcul d'architecture et l'obtention de coefficients adaptés à une spécification donnée. L'impact des imperfections d'horloge sur les performances de ces convertisseurs a ensuite été étudié et une méthode analytique d'estimation des dégradations introduites par l'intermédiaire de l'horloge a été proposée. Ces deux étapes clefs lors de la réalisation d'un delta sigma à temps continu ont été intégrées à un flot de conception complet allant des spécifications à l'implémentation sur silicium. Finalement, ce flot de conception a été utilisé pour réaliser un modulateur delta sigma à temps continu en technologie CMOS065 pour une application WLAN.

L'objectif de l'informatique ubiquitaire ou ambiante, telle que définit par Weiser dans son article de référence, est de faire disparaître l'informatique traditionnelle au profit d'un espace informatisé. L'ordinateur ambiant doit également offrir des capacités d'interaction plus naturelles, être transparent et utilisable sans effort. L'intelligence ambiante est la rencontre de l'intelligence artificielle et de l'informatique ambiante. Il s'agit de déterminer, grâce à l'ensemble des dispositifs de perception présents, l'activité des utilisateurs (le contexte) afin de mieux comprendre et anticiper leurs besoins et leur proposer automatiquement des services appropriés (assistants virtuels). On parle d'applications sensibles au contexte. La conception et la réalisation d'une application sensible au contexte est une tâche complexe, aussi bien du point de vue du développeur que de l'utilisateur final. Il est important de proposer une approche adaptée à ces deux catégories d'acteurs. Nous avons tout d'abord proposé un modèle formel de spécification de contexte permettant d'établir le dialogue entre l'utilisateur et le développeur de l'application. Notre objectif est ensuite de proposer des approches permettant d'automatiser une partie de la production du code de manière à raccourcir le chemin entre cette spécification du modèle de contexte et sa mise en oeuvre au sein d'une application. Dans le cadre de l'aide au développeur, nous avons proposé une approche basée sur l'apprentissage supervisé pour l'interprétation des données capteurs sous forme d'entités et de rôles. Cette interprétation des données capteurs sert d'entrée à la reconnaissance de contexte (scénarios). En nous appuyant sur une approche de type Ingénierie Dirigée par les Modèles, nous avons projeté la spécification du contexte vers deux méta-modèles pour la reconnaissance de scénarios : les réseaux de Petri synchronisés, et les réseaux de Petri Flous. Nous nous sommes également intéressés à l'apprentissage automatique d'un modèle de situations basé sur un ensemble d'observations annotées. Dans le cadre de l'aide à l'utilisateur final, nous avons proposé deux approches permettant à l'usager d'adapter précisément l'application à ses besoins réels. La première approche est basée sur une analyse hors ligne du comportement de l'application (apprentissage supervisé). La seconde approche propose une modification en situation (punition – récompense) en s'appuyant sur une approche de type apprentissage renforcé indirect.