.

Texte remanié de: Thèse de doctorat--Sociologie--Paris--Institut d'études politiques, 2007. Titre de soutenance : La mobilité sociale descendante.

Ce travail vise à la mise en œuvre d'une plateforme de simulation basée sur SystemC-AMS. Elle permet de traiter un système complexe et hétérogène. Nous validons cette approche sur une application de réseau de capteurs (communication entre véhicule). Pour ce faire un niveau d'abstraction élevé a été adopté et une modélisation en bande de base des blocs RF a été développée. Non seulement les aspects relatifs à l'émetteur/récepteur ont été traités, mais également le canal radio.Si les actuels flots de conceptions permettent d'estimer la consommation des blocs numériques d'un SoC, une méthodologie d'estimation de la consommation des blocs analogiques et RF n'est toujours pas disponible. Nous proposons une méthodologie descendante basée sur le facteur de mérite et les paramètres systèmes pour estimer la consommation instantané de ces blocs. Ainsi des estimations de la consommation globale des nœuds et du réseau sont fournies par la plateforme.Nous avons fourni une bibliothèque implémentée en SystemC-AMS pour différents blocs d'un réseau de capteurs (nœud et canal radio). Les résultats montrent la faisabilité d'une simulation complexe mixte analogique, numérique et RF. Par ailleurs, ils montrent le gain considérable apporté par la simulation au niveau système en SystemC-AMS de modèles comportementaux d'un réseau de capteurs. La plateforme développée dans ce travail ouvre diverses perspectives sur de nombreux et importants aspects de la simulation système des réseaux de capteurs. Parmi ces aspects, le choix et l'optimisation des algorithmes de routage, les protocoles MAC, les algorithmes de traitement du signal sous une contrainte de consommation d'énergie. / This work aims at implementing a simulation platform based on SystemC-AMS. It can handle a complex and heterogeneous system on chip (SoC). An application of wireless sensor network (WSN): inter-vehicle communication is used to validate this approach. To realize this application, a high level of abstraction was adopted and a baseband modeling of RF blocks has been developed. Besides, not only aspects related to the RF transceiver, but also the radio channel were studied.The current design flows enable the estimation of power consumption of digital blocks, however a high-level methodology for power consumption estimation of analog and RF blocks is still not available. We propose a Top-Down methodology based on the figure of merit (FoM) and system parameters to estimate the instantaneous power consumption of these blocks. Thus, estimates of overall consumption of nodes and the WSN are provided by the platform.We delivered a library implemented in SystemC-AMS for different blocks of a WSN such as node and radio channel. The results show the feasibility to simulate complex, RF and analog mixed SoC. In addition, they show the significant gain in terms of simulation time provided by the system-level simulation using SystemC-AMS and behavioural models of WSN.The platform developed in this work opens a variety of perspectives on many important aspects of system-level simulation of WSN. These aspects include the choice and optimization of routing algorithms, MAC protocols, signal processing algorithms, as a function of power consumption which is the main constraint of WSN.

Les récepteurs couplés aux protéines G (RCPG) de classe A sont les cibles de plus de 25% des médicaments sur le marché et nombreux sont ceux impliqués dans le traitement de la douleur. Les enjeux dans les traitements de la douleur chronique est énorme puisque nombreux sont ceux qui ne répondent pas à la médication usuelle. La recherche de nouvelles avenues thérapeutiques est indispensable afin d’aider les patients dont le soulagement est limité. Le récepteur de la neurotensine de type 2 (NTS2) et le récepteur APJ de l’apéline sont deux RCPG qui pourraient être des cibles pour deux éventuels traitements contre la douleur. Les objectifs de cette thèse étaient de caractériser des analogues synthétiques ciblant les récepteurs NTS2 ou APJ, examiner la distribution de ces récepteurs dans le cerveau, la moelle épinière et les ganglions spinaux pour ensuite déterminer leur implication dans la régulation du contrôle descendant au niveau spinal et supraspinal dans la région bulbaire rostro-ventrale (RVM) en conditions de douleurs aiguë et tonique. Nous avons observé que l’immunoréactivité du récepteur NTS2 était distribuée dans l’axe rostrocaudal de la substance grise périaqueductal (SGPA) et dans tous les noyaux de la RVM. Les résultats sont similaires avec l’anticorps anti-APJ démontrant que ces deux récepteurs sont impliqués dans le contrôle de la douleur. Aussi, les résultats en immunohistochimie dans la moelle épinière ont illustré la présence du récepteur APJ dans les laminae superficielles. Dans les ganglions spinaux, APJ colocalise dans les neurones substance P. Les résultats aux tests comportementaux avec administration intra-RVM d’analogues modifiés neurotensinergiques ont montré une analgésie impliquée par l’activation de NTS2 dans la RVM. L’analgésie provoquée par le récepteur NTS2 serait médiée via la relâche de sérotonine au niveau de la moelle épinière en conditions de douleurs aiguë et tonique. Les résultats en douleur tonique avec les analogues Apeline-13 modifiés en position carboxy-terminale illustrent que les modifications comportant les groupements 2-naphtalenalanine (2 Nal) et de l’acide aminoisobutyrique (Aib) permettent une plus forte analgésie générale, cependant nos expériences à ce jour ne nous permettent pas de statuer sur les différentes voies de signalisation activées dans ces conditions. La modélisation moléculaire pourrait nous aider davantage afin d’explorer les différentes caractéristiques des ligands biaisés. Ces études sur la relation structure-activité, distribution et fonctions des récepteurs NTS2 et APJ dans la modulation de douleur ne sont qu’un début vers des nouveaux traitements contre la douleur.

Une methode de conception descendante par affinements successifs de spécifications est présentée. Le point de départ de la conception est la spécification initiale du système sous forme comportementale. L'étape suivante est la specification algorithmique du systeme qui consiste à définir une machine abstraite réalisant le systeme ainsi que la dérivé temporelle admissible sur les entrées et les sorties du système. Ensuite, deux types d'implantation sont proposes: l'implantation fidèle qui est la réalisation d'une machine concrète ayant un comportement semblable à la machine abstraite (à la dérivé temporelle près). Dans le cas contraire, une alarme est envoyée à l'environnement. Cette implantation peut être faite automatiquement grâce à l'interpréteur GRAFCET fidèle. Le deuxième type d'implantation est l'implantation sur ou par construction les contraintes de fonctionnement sont respectées

Le contrôle d'écoulement en utilisant des capteurs optiques est étudié dans un contexte expérimental. Le calcul de champs de vitesses en temps réel en utilisant une caméra pour l'acquisition et une carte graphique pour le calcul est détaillé. La validité de l'approche en terme de rapidité et de précision est étudiée. Un guide complet pour l'optimisation logicielle et matérielle est donné. Nous démontrons que le calcul dynamique de champs de vitesse est non seulement possible mais plus facile à gérer que l'utilisation d'un appareillage (PIV) classique. Un canal hydrodynamique est utilisé pour toutes les expériences. Celui-ci comporte une marche descendante pour le contrôle d' écoulements décollés. Les actionneurs sont des jets. Dans le cas de la marche descendante une étude paramétrique approfondie est faite pour qualifier les effets d'une injection en amont des jets, celle-ci étant traditionnellement effectuée à l'arrête de la marche.Plusieurs méthodes de contrôle sont étudiées. Un algorithme de contrôle basique de type PID est mis en place pour démontrer la viabilité du contrôle d'écoulement en boucle fermée par capteurs optiques. La zone de recirculation située derrière la marche est calculée en temps réel dans un plan vertical et horizontal. La taille de cette région est manipulée avec succès. Une approche basée sur des observations de la dynamique de l'écoulement est présentée.Des résultats précédents dans la littérature montrent que la recirculation peut être réduite avec succès en agissant sur l'écoulement à la fréquence naturelle de lâchés tourbillonnaires liés à l'instabilité de Kelvin-Helmholtz de la couche cisaillée crée par la marche. Une éthode basée de détection de vortex est introduite pour calculer cette fréquence, qui est ensuite utilisée dans une boucle de contrôle qui assure que l'écoulement est toujours pulsé à la bonne fréquence. Ainsi en utilisant des capteurs optiques la recirculation est réduite de façon simple.Ensuite nous implémentons un contrôle de type feed-forward dont l'efficacité a préalablement été démontrée en simulation. Cette approche vise à prévenir l'amplification de perturbations amont par la couche cisaillée. Nous montrons comment une telle méthode peut être implémentée avec succès dans un contexte expérimental. Enfin, nous implémentons également une approche radicalement différente basée sur un algorithme génétique. Des lois de contrôle aléatoires sont testées et évaluées. Les meilleurs sont répliquées, mutées et croisées. Ce processus se poursuit itérativement jusqu'à ce que le coût soit minimisé. Bien que lente à converger cette approche donne des résultats encourageants à travers une loi de commande originale. / Flow control using optical sensors is experimentally investigated. Real-time computation of flow velocity fields is implemented. This novel approach featuring a camera for acquisition and a graphic processor unit (GPU) for processing is presented and detailed. Its validity with regards to speed and precision is investigated. A comprehensive guide to software and hardware optimization is given. We demonstrate that online computation of velocity fields is not only achievable but offers advantages over traditional particle image velocimetry (PIV) setups. It shows great promise not only for flow control but for parametric studies and prototyping also.A hydrodynamic channel is used in all experiments, featuring a backward facing step for separated flow control. Jets are used to provide actuation. A comprehensive parametric study is effected to determine the effects of upstream jet injection. It is shown upstream injection can be very effective at reducing recirculation, corroborating results from the literature.Both open and closed loop control methods are investigated using this setup. Basic control is introduced to ascertain the effectiveness of this optical setup. The recirculation region created in the backward-facing step flow is computed in the vertical symmetry plane and the horizontal plane. We show that the size of this region can be successfully manipulated through set-point adaptive control and gradient based methods.A physically driven control approach is introduced. Previous works have shown successful reduction recirculation reduction can be achieved by periodic actuation at the natural Kelvin-Helmholtz frequency of the shear layer.A method based on vortex detection is introduced to determine this frequency, which is used in a closed loop to ensure the flow is always adequately actuated. Thus showing how recirculation reduction can be achieved through simple and elegant means using optical sensors. Next a feed-forward approach based on ARMAX models is implemented. It was successfully used in simulations to prevent amplification of upstream disturbances by the backward-facing step shear layer. We show how such an approach can be successful in an experimental setting.Higher Reynolds number flows exhibit non-linear behavior which can be difficult to model in a satisfactory manner thus a new approach was attempted dubbed machine learning control and based on genetic programming. A number of random control laws are implemented and rated according to a given cost function. The laws that perform best are bred, mutated or copied to yield a second generation. The process carries on iteratively until cost is minimized. This approach can give surprising insights into effective control laws.

Dans cette étude on présente les résultats de simulations numériques réalisées sur un écoulement de marche descendante. L'influence de la condition aux limites amont est examinée alors que les calculs sont menés au moyen de la méthode de Simulation des Grandes Echelles.<br />La première condition d'entrée considérée est constituée d'un profil de vitesse moyen turbulent perturbé par un bruit blanc. Les données de la seconde condition d'entrée sont quant à elles issues d'un calcul précurseur de couche limite turbulente.<br />Les visualisations de l'écoulement et l'examen des statistiques portant sur les vitesses et la pression montrent comment la couche cisaillée après la séparation est modifiée par la nature de la condition d'entrée.<br />Dans le cas de la simulation utilisant un calcul précurseur en entrée, l'étude révèle l'influence déterminante des structures de la couche limite incidente. Notamment, on montre de quelle manière les courants de basses et hautes vitesses ainsi que les tourbillons quasi-longitudinaux associés sont responsables de la déstabilisation précoce de la couche cisaillée, conduisant alors à la réduction de la taille de la bulle de recirculation.<br />Pourtant, malgré les différences de conditions initiales, les écoulements des deux simulations développent une structure relativement similaire à l'approche du rattachement, si bien que l'influence de la condition d'entrée est négligeable, dans cette zone et plus loin dans l'écoulement. Le contenu spectral des deux écoulements est aussi examiné, permettant ainsi de mettre en évidence les deux régimes d'oscillations basses fréquences caractéristiques de ce type de configuration : l'oscillation du rattachement moyen et le battement de la couche cisaillée. La modification de la nature du couplage entre la couche cisaillée et la recirculation principale est rendue responsable du décalage observé pour la fréquence de battement.

L’objectif de cette thèse est de proposer des méthodes innovantes de conception préliminaire d’actionneurs électromécaniques (EMA) et de les implémenter sous la forme d’outils logiciels rapidement disponibles pour les industriels. Cet objectif répond à une demande forte de l’industrie, en particulier en aéronautique dans le cadre du développement d’avions plus électriques. Dans un premier temps, cette thèse propose une méthode hybride (montante et descendante) de recherche systématique d’architectures solutions et de sélection vis-à-vis des exigences du cahier des charges et de l’état de l’art technologique. Dans un deuxième temps, des méthodes d’évaluation d’architectures en termes de puissance, d’intégration (enveloppe géométrique et masse), de fiabilité et de performances en boucle fermée sont proposées. L’implémentation de ces méthodes se base sur la modélisation acausale et la combinaison de simulations numériques inverses et directes. Des lois d’échelle, représentatives des phénomènes physiques dimensionnants, sont établies pour réduire la complexité d’utilisation des modèles et l'intervention d’experts de domaine dans les phases préliminaires. Les méthodes proposées et leur implémentation dans l'environnement de simulation Modelica/Dymola ont été appliquées avec succès aux exemples d’actionneurs électromécaniques d’orientation d’un train avant d’atterrissage, de commandes de vol primaires et de contrôle de la poussée vectorielle du premier étage de propulsion d’un lanceur spatial. De cette façon, la durée de la phase d’évaluation d’architectures a pu passer d’un ordre de grandeur en jour à un ordre de grandeur en heure / The aim of this thesis is to propose innovative methods for the preliminary design of electromechanical actuators (EMA), and to implement them in software tools rapidly available for the industry. This objective is motivated by a strong demand of the industry, especially in aeronautics within the frame of the development of more electric aircrafts. First, this thesis puts forward a hybrid methodology (top-down/bottom-up) to generate and select systematically architectures with respect to requirements and the state of the art of technology. Second, methods to evaluate architectures in terms of power, integration (geometrical envelop and mass), reliability and closed loop performances are developed. The implementation of these methods is based on non-causal modelling combined to direct and inverse numerical simulations. Scaling laws, representative of the main sizing phenomena, are established to reduce the complexity of the models and the need for domain experts during the preliminary phases. The proposed methods and their implementation within the simulation framework Modelica/Dymola have been applied successfully to the examples of electromechanical actuators for the steering of a nose landing gear, the primary flight control of an aircraft and the thrust vector control of a space launcher. As a result, the duration of the architecture evaluation has been reduced from day-scale to hour-scale

Le travail de recherche que nous présentons dans cette thèse s’inscrit dans le domaine de la conception des circuits et systèmes pour la numérisation des signaux radio large bande multistandard. La finalité de ces travaux est l’établissement de nouvelles méthodologies de conception des circuits analogiques et mixtes VLSI, et à faible consommation pour le convertisseur analogique numérique (CAN). Nous proposons l’utilisation d’un CAN de type S? complexe passe-bande à temps-continu pour l’architecture Low-IF. Ce qui permet de simplifier l’étage analogique en bande de base en esquivant le besoin de circuits tels que le contrôleur de gain automatique, le filtre anti-repliement et les filtres de rejection d’images. Le récepteur est plus linéaire et présente un degré d’intégrabilité adéquat pour les applications multistandard de type Radio logicielle Restreinte (SDR). La première contribution consiste à proposer une méthodologie originale et complètement automatisée de dimensionnement du modulateur ?? pour la réception SDR. Une nouvelle stratégie de stabilisation, basée sur le placement des zéros et des pôles du filtre de boucle, est élaborée permettant ainsi de simplifier le passage du temps-discret vers le temps-continu par une simple correspondance entre les domaines pour les intégrateurs et les résonateurs du filtre de boucle. La deuxième contribution concerne la construction d’une architecture générique du modulateur ?? complexe à temps-continu en suivant une méthodologie originale. Les éléments de base de cette architecture sont les deux modulateurs ?? passe-bas pour les voies I et Q à temps-continu. Les deux filtres de boucles sont en couplage croisé en structure polyphase, ce qui permet le décalage vers la fréquence intermédiaire du récepteur. Nous avons conçu un outil de dimensionnement sous MATLAB pour les modulateurs S? multistandard stables d’ordre élevés à temps-continu, passe bas, passe-bande réel et complexe. La troisième contribution de ces travaux concerne la proposition d’une méthodologie de conception avancée de circuits mixtes VLSI pour les CANs de type ??. Cette méthodologie de conception permet une combinaison des approches descendante ‘Top-down’ et montante ‘Bottom-up’, ce qui rend possible l’analyse des compromis de conception par l’utilisation concurrente des circuits au niveau transistor et des modèles comportementaux. Cette approche permet de faire allier à la fois la précision et la vitesse de processus de simulation lors de la conception des CANs de type ??. La modélisation comportementale du modulateur S?, en utilisant le langage VHDL-AMS, nous a permis de développé une bibliothèque de modèles permettant la prise en compte des imperfections tels que le bruit, le jitter, le retard de boucle au niveau comportemental. Afin d’illustrer la méthodologie de conception proposée, un exemple de la vérification par la simulation mixte est fourni à travers la conception d’un quantificateur en technologie CMOS. L’extraction des paramètres des imperfections du schéma au niveau transistor a permit d’enrichir le modèle comportemental et de prévenir les anomalies causant la dégradation des performances du modulateur S?. / Abstract

La méthode de conception logique de cellules MOS tient compte des problèmes d'implantation (diffusion, dépôt métallique (AL) et masquage) en technologies NMOS et CMOS dans l'ordonnancement optimise des variables. La forme arborescente série-parallèle est simplifiée par compactage des transistors. Étapes de minimisation. Application aux portes complexes NMOS et CMOS et aux macro-cellules les utilisant pour des fonctions logiques. Fonctions réalisées en logique de transfert se prêtant à l'implantation automatisée. Application à la conception de circuits complexes : circuit d'extraction de racine carrée et multiplicateur. Problèmes de synchronisation et temporisation.