Spelling suggestions: "subject:"actif"" "subject:"ctif""
121 |
Borne de Cramér-Rao déterministe pour l'analyse des performances asymptotiques en estimation d'un radar actif / Deterministic Cramér-Rao bounds for analysis the asymptotic performances of estimation for an active radarMenni, Tarek 17 September 2012 (has links)
L’émergence des formes d'onde numériques en radar et l’engouement de la communauté scientifique pour leur versatilité éprouvée en télécom, soulèvent naturellement chez les ingénieurs radaristes la question de l’amélioration effective des performances opérationnelles par ces nouvelles formes d’onde, notamment en matière de haute-résolution. Les travaux publiés sur le sujet sont prometteurs, à ceci près qu’ils sont le plus souvent basés sur des modèles théoriques un peu éloignés de la réalité opérationnelle ou sur des scénarios simplistes relativement à la capacité haute résolution envisagée (par exemple le faible nombre de sources pris en compte). En effet la prise en compte d’un modèle d’observation réaliste (large bande, à fréquence d’échantillonnage élevée) et de scénario à grand nombre de contributeurs conduit à des estimateurs dont la complexité d’implémentation n’est pas compatible des puissances de calcul actuelles. Une approche alternative, et compatible des puissances de calcul actuelles, pour la qualification des performances haute résolution est l’utilisation des bornes inférieures d’estimation, principalement la borne de Cramèr-Rao déterministe. L’examen de la littérature courante (notamment les monographies de référence) sur la borne de Cramèr-Rao déterministe a fait apparaître des lacunes relatives à sa formulation dans le contexte radar qui nous intéresse, à savoir MIMO large bande, multisources, multiparamètres à observations multiples. En effet dans la littérature courante, les observations multiples sont définies comme des réalisations multiples indépendantes d’un même modèle d’observation, alors qu’en radar il s’agit en général de la combinaison de modèles d’observation différents (variation de la forme d’onde). Ce constat a motivé l’essentiel de ce travail, à savoir l’établissement d’une expression analytique générale de la borne de Cramèr-Rao déterministe MIMO large bande, multisources, multiparamètres à modèles d’observations multiples pour la qualification (asymptotique) des performances en estimation d’un radar actif. Ce travail fournit un outil de comparaison des performances haute-résolution des différentes formes d’onde, dont les nouvelles formes d’onde numériques. De façon générale, l’expression analytique générale de la borne de Cramèr-Rao obtenue fournit la base théorique pour le développement des futurs radars à haute résolution. / The emergence of digital waveforms in radar and the enthusiasm of the scientific community for their versatility proven in telecom raise the question for radar engineers about improving operational performance by using these new waveforms, particularly in high-resolution scenarios. The results on the subject in open literature are promising, except that they are often based on theoretical models which are a little away from the operational reality or used in simplistic scenarios (e.g. the low number of sources taken into account). Indeed, taking into account a realistic observation model (wideband, high sampling frequency and multisource scenario) leads to estimators whose implementation complexity is not compatible with the computation power available nowadays. An alternative approach is the use of lower bounds on the mean square error of estimators, mainly the deterministic Cram´er-Rao bound. The review of the open literature (including reference books) on the deterministic Cramér-Rao bound reveals lacks in its formulation in the context of radar that interests us, namely MIMO wideband, multisource, multiparameter and multiple observations. Indeed, in the current literature, multiple observations are defined as multiple independent realizations of the same observation model, whereas in radar it is usually a combination of different observation models (waveforms change). This has motivated much of our work, namely the derivation of a general analytical expression for the Cram´er-Rao bound for deterministic MIMO wideband active radar. This work provides a tool for comparing the performance of different highresolution waveforms, including new digital waveforms. In general, the analytical expression of the general Cramér-Rao bound obtained provides the theoretical basis for the development of future high-resolution radar.
|
122 |
Motivations intrinsèques et contraintes maturationnelles pour l'apprentissage sensorimoteurBaranès, Adrien 13 December 2011 (has links)
Apprendre de nouvelles connaissances et savoir-faire sensorimoteurs dans des environnements réels entraine un grand nombre de défis majeurs pour les robots d'aujourd'hui. Pour acquérir de nouveaux comportements, ceux-ci ont besoin d'explorer des espaces sensorimoteurs qui possèdent généralement les caractéristiques d'être de grande dimensionnalité, de grands volumes, redondants, et de comporter des zones de complexités différentes. Dans cette thèse qui entre dans le cadre de la robotique développementale, nous proposons différents processus permettant de guider et contraindre une acquisition autonome de comportements sensorimoteurs nouveaux dans de tels espaces. Nous proposons une approche unifiée de résolution de ces problèmes qui prend inspiration des phénomènes de contraintes développementales présentés en biologie et psychologie, et plus particulièrement des motivations intrinsèques et des contraintes maturationnelles. Après la formalisation de cadres computationnels basés sur ces notions, nous présentons trois architectures algorithmiques différentes, chacune réutilisée de manière intégrée dans la suivante:La première, appelée RIAC, pour Robust-Intelligent Adaptive Curiosity, correspond à l'implémentation d'un algorithme d'apprentissage actif développemental permettant d'orienter l'exploration dans des espaces bornés et de dimensionnalité connue, possédant des régions de différents niveaux de complexités. Ce système, qui utilise des heuristiques prenant inspiration des mécanismes de motivations intrinsèques basées sur les connaissances, permet de diriger efficacement une exploration progressive de nouvelles connaissances sensorimotrices, qui correspondent à l'apprentissage de modèles directs. Il entraine aussi l'émergence de trajectoires développementales auto-organisées relatives à l'orientation de l'exploration sensorimotrice vers des activités de complexités intermédiaires.Ensuite, nous proposons l'algorithme SAGG-RIAC, pour Self-Adaptive Goal Generation - RIAC, en tant que mécanisme d'exploration intrinsèquement motivée basée sur les compétences, qui permet à des robots dont les espaces sensorimoteurs sont de grandes dimensions, hautement redondants, et possédant des schémas corporels différents, d'apprendre efficacement et activement de nouveaux comportements moteurs dans leurs espaces de tâches. L'idée principale de cet algorithme est d'orienter le robot à effectuer un babillage actif dans un espace des tâches de faible dimensionnalité, en opposition à un babillage moteur effectué dans un espace de contrôle de plus grande dimension, en auto-générant activement et adaptivement des objectifs dans les régions de l'espace des tâches qui fournissent les meilleures améliorations de compétences, pour l'atteinte d'objectifs précédemment tentés. Enfin, nous introduisons l'algorithme McSAGG-RIAC, pour Maturationally-Constrained SAGG-RIAC, qui repose sur le couplage de modèles computationnels de motivations intrinsèques et de contraintes maturationnelles physiologiques. Nous argumentons que ces mécanismes peuvent avoir des interactions bidirectionnelles complexes permettant le contrôle actif de l'augmentation de la complexité du développement sensorimoteur, afin de diriger une exploration et un apprentissage efficaces. Nous introduisons plus particulièrement un modèle fonctionnel des contraintes maturationnelles inspiré par le processus de myélinisation chez les humains, et montrons comment celui-ci peut être couplé avec l'algorithme SAGG-RIAC. Nous montrons qualitativement et quantitativement que cette approche intégrée des trois architectures présentées pendant cette thèse permet de répondre à certaines des problématiques des environnements réels, en contrôlant la complexité, le volume, la dimensionnalité et la redondance des comportements explorés de manière intrinsèque au robot, diminuant de manière importante la nécessité de contraindre et préparer l'environnement de manière externe. / Learning new sensorimotor knowledge and know-how in real environments leads to an important number of challenges for today's robots. In order to learn new skills, they need to explore sensorimotor spaces which are generally high-dimensional, high-volume, redundant, and possess areas of heterogenous levels of complexity. In this thesis, introduced within the developmental robotics domain, we propose different processes in order to guide and constrain the autonomous acquisition of new sensorimotor skills in such spaces. We propose an unified approach in order to resolve these problems which takes inspiration from phenomenon of developmental constraints introduced in biology and psychology, and more particularly intrinsic motivations and maturational constraints. After formalizing a computational framework based on these notions, we present three different algorithmic architectures, each one reused in an integrated manner within the next one:The first one, called RIAC, for Robust-Intelligent Adaptive Curiosity, corresponds to the implementation of an active learning algorithm which orients the exploration in bounded spaces whose dimensionality is known and which possess regions of different levels of complexity. This system, which uses heuristics taking inspiration from knowledge based intrinsic motivations mechanisms, effectively directs a progressive exploration of new sensorimotor knowledge, which corresponds to the learning of forward models. It also leads to the emergence of self-organized developmental trajectories related to the orientation of the sensorimotor exploration toward activities of intermediate complexity. Then, we propose the SAGG-RIAC algorithm for Self-Adaptive Goal Generation - RIAC, as a competence based intrinsic motivations exploration mechanism, which allows highly-redundant robots whose sensorimotor spaces are high-dimensional to learn effectively and actively new motor skills in their task spaces. The main idea of this algorithm is to guide the robot to do active babbling in a low-dimensional task space, in contrast with a motor babbling carried out in a higher-dimensional control space, by actively and adaptively self-generating goals in regions of the task space which bring the highest improvement of competences for reaching previously attempted goals.Finally, we introduce the McSAGG-RIAC algorithm for Maturationally-Constrained SAGG-RIAC, which is based on a coupling of computational models of intrinsic motivation and physiological maturational constraints. We argue that these mechanisms may have complex bidirectional interactions allowing the active control of the increase of complexity in the sensorimotor development, in order to direct efficient learning and exploration processes. We introduce more particularly a functional model of maturational constraints inspired by the biological process of myelination, and show how this can be coupled with the SAGG-RIAC algorithm. We show qualitatively and quantitatively that this integrated approach of the three architectures introduced in this thesis answers some problematics raised by real environments, by controlling the complexity, volume, dimensionality and redundancy of skills explored in a manner intrinsic to the robot, thus decreasing in an important extent the necessity of constraining and preparing the environment in en external manner.
|
123 |
Modeling of the viscoelastic honeycomb panel equipped with piezoelectric patches in view of vibroacoustic active control design / Modélisation du comportement viscoélastique de panneaux sandwich nid d'abeille équipés de pastilles piézoélectriques pour l'aide à la conception de contrôle actif vibroacoustiqueFlorens, Corine 22 January 2010 (has links)
Le contrôle actif a souvent été considéré pour la maîtrise du bruit basse fréquence rayonné par les panneaux d’habillage dans les cabines des avions et hélicoptères. Ces panneaux sont classiquement réalisés en matériaux sandwich nid d’abeille (nida), du fait de leur très bon rapport résistance/masse. La mise en œuvre des techniques de contrôle actif sur des panneaux de type nida n’a pas toujours donné des résultats à la hauteur des attentes. Le travail présenté dans cette thèse introduit un modèle coque/volume/coque (SVS) de panneau nida équipé de pastilles piézoélectriques, valide ce modèle expérimentalement et propose une analyse des limitations de performance du contrôle actif. Pour la modélisation des panneaux nida, la principale difficulté est d’estimer les propriétés effectives d’un matériau homogène équivalent au cœur. On introduit une procédure d’homogénéisation numérique à partir d’un modèle 3D très détaillé de la structure du nida. Cette procédure est basée sur la corrélation des modes périodiques du modèle 3D et du modèle SVS. L’utilisation de modes périodiques permet l’analyse détaillée de l’influence des constituants dans le comportement vibratoire du nida, en particulier de la couche de colle et des peaux du sandwich. Des essais vibratoires mettent en évidence les effets viscoélastiques présents pour les nida à base de papier Nomex. Ces effets sont pris en compte dans le modèle SVS en utilisant des paramètres élastiques dépendant de la fréquence. On intègre ensuite des actionneurs et capteurs piézoélectriques au modèle de panneau nida validé. Différentes stratégies pour l’intégration du modèle proposé dans un processus de conception sont discutées. On montre enfin que la réponse statique à une tension électrique correspond à une cloque, flexion très localisée des peaux plutôt que flexion globale du panneau. Il en résulte une mauvaise performance des actionneurs. Cet effet local est retrouvé sur un modèle de panneau d’habillage réaliste étudié à l’ONERA. / Active control has often been considered for low frequency control of noise radiated by trim panels inside aircraft or helicopter cabins. Trim panels are usually made of honeycomb core sandwich because of their high strength to mass ratio. Active control techniques applied to honeycomb panel have not always given results as good as expected and this thesis aims to understand these limitations based on validated mechanical models of the active panels. For the modeling of honeycomb panels, the main difficulty is to estimate equivalent properties for the core. A numerical homogenization procedure is introduced to estimate effective parameters of a shell/volume/shell model based on the correlation with periodic modes of a detailed 3D model. The use of periodic modes allows a detailed analysis of the influence of constituent properties, especially glue and skin. Tests show that the considered Nomex based honeycomb has significantly viscoelastic behavior. In the model, the viscoelastic behavior of the core is taken into account by a frequency dependence of material parameters. Piezoelectric actuators and sensors are included in the validated honeycomb model. Strategies for integration in a numerical design process are discussed. Finally, the static response to an applied voltage is shown to correspond to a blister shape with local bending of the skin rather than global bending of the panel. This behavior results in poor actuator performance, which is also found in a realistic panel configuration studied at ONERA.
|
124 |
Riboflavin-based amphiphiles for tumour-targeted nanosystems / Dérivés amphiphiles de la riboflavine pour le développement de nanosystèmes à ciblage tumoralSubbotina Beztsinna, Nataliia 26 November 2015 (has links)
La riboflavine (RF) est une vitamine essentielle pour la croissance et le développement cellulaire. Elle possède des propriétés physico-chimiques intéressantes et est internalisée dans les cellules par des transporteurs spécifiques. Le premier objectif de ce projet était de synthétiser des dérivés amphiphiles de la RF (RFA) et d'étudier leurs capacités d'auto-assemblages. Le second objectif était d'insérer les RFA dans des liposomes et d'évaluer leur efficacité de ciblage tumoral in vitro et in vivo. La préparation des différents RFA repose sur l'ajout d'un lipide en différentes positions de la RF. L’un d'eux, de type phospholipide (RfdiC14) a été capable de former des objets tridimensionnels de taille μm constitués de lamelles multicouches dont l’architecture et la dynamique sont très différentes de celles des phospholipides classiques. L’insertion de RfdiC14 dans des liposomes est efficace et n’influence pas leurs propriétés physico-chimiques. Les liposomes fonctionnalisés ont montré une internalisation cellulaire spécifique dans les lignées A431, PC3 et HUVECs. Afin de tester l’efficacité du ciblage tumoral in vivo, un analogue de RfdiC14 portant un espaceur PEG a été préparé puis inséré dans des liposomes péguylés. Grâce à un marquage adéquat (ICG et DiR), leur accumulation tumorale a été suivie par imagerie photoacoustique dans un modèle A431 et leur biodistribution évaluée par imagerie μCT/FMT dans un modèle PC3. Les résultats montrent une légère amélioration de l’accumulation tumorale dans les xénogreffes A431 et une augmentation du ciblage vasculaire dans le modèle tumoral PC3. La biodistribution globale des liposomes marqués est comparable à celle des contrôles. / Riboflavin (RF) is an essential vitamin for cell growth and development. It possesses interesting physicochemical properties and is internalized by the cells through specific transporters. The first aim of this study was to prepare amphiphile derivatives of RF (RFA) and study their auto-assembly. The second aim was to insert RFA into established drug delivery systems and test their tumour-targeting potential in vitro and in vivo. RFA were prepared by the molecule functionalization with lipid moieties in different positions. One of them, a phospholipid-like derivative (RfdiC14) was able to self-assembly in aqueous solutions into μm-sized 3D objects constituted from slightly curved multilayer lamellas. The bilayer architecture and dynamics were very different from ordinary phospholipids. In contrast, the insertion of small amount of RfdiC14 in a liposome did not influence membrane dynamics and physicochemical characteristics. RfdiC14-functionalised liposomes displayed high and specific uptake in vitro in A431, PC3 cells and HUVECs. The efficiency of RF targeting was also tested in vivo. For that purpose, liposome composition was optimized and a new RF amphiphile with a PEG spacer between RF and lipid was prepared. The tumour accumulation of the liposomes labelled with ICG was studied by photoacoustic imaging in A431 tumour model. The biodistribution of DiR labelled liposomes was accessed by combined μCT/FMT imaging in PC3 tumour model. The results show slight improvement of the tumour accumulation in A431 xenographts and the enhancement of vascular targeting in PC3 tumour model. The overall biodistribution of the RF-targeted liposomes was comparable to control.
|
125 |
Modeling and control of magnetic shape memory alloys using port hamiltonian framework / Modelisation et commande des alliages à mémoire de forme magnétique dans le cadre des hamiltonien à port sCalchand, Nandish Rajpravin 12 June 2014 (has links)
Les matériaux actifs sont des matériaux qui réagissent quand on leur applique un champ extérieur comme la température, la lumière, un champ magnétique ou un champ électrique. Ces champs changent les propriétés du matériau comme la longueur, la susceptibilité magnétique ou la permittivité électrique. Ces changements peuvent être utilisé pour faire du travail. Quelques exemples sont les matériaux piézoélectriques, qui changent de longueur quand on applique un champ électrique, les alliages à mémoire de forme qui changent leur longueur sous l’action de la température. Un matériau plus récent qu’on appelle les alliages mémoire de forme magnétique se de forme sous l’action d’un champ magnétique. Dans cette thèse, on utilise ce matériau pour Confectionner un actionneur. Pour ce faire, on utilise la thermodynamique des procédés irréversibles pour modéliser le matériau. La thermodynamique s’avère très versatile pour ce type de matériau car il permet de quantifier l’ échange et la transformation d’ énergie dans le matériau. Aussi, étant donné que le matériau se comporte d’une façon non-linéaire et hystérique, le cadre énergétique nous permets justement de prendre en compte ces non- linearités. Cette thèse utilise l’approche énergétique notamment les Hamiltonien à ports pour modéliser un actionneur à base d’alliage à mémoire de forme. Cette méthode nous permets aussi de concevoir des lois de commande pour contrôler le matériau. / Active materials are a class of material which react to an external stimulus such as temperature,photons, magnetic field or electric field. These stimuli cause some properties of the material tochange usually their length. Some examples are piezoelectric material which change their lengthunder the action of an electric field, Shape Memory alloys which alter their shape on applicationof heat, and more recently Magnetic Shape Memory Alloys (MSMA) which undergo a deformationon application of a magnetic field. Harnessing this property of MSMAs, we hereby present anactuator using this novel material. We extensively make use of an energy framework, namely thethermodynamics of irreversible processes to model the material. This framework has been provento be very versatile in modelling energy exchange and transformation as it occurs in the materialand also to incorporate hysteresis which arises naturally in such materials. Another advantage of thismethod is its ability to give us constitutive laws based on simple assumptions. Furthermore, usingan energy framework allows us to apply some energy based control. Port Hamiltonian Control is onesuch method and it is not limited only to linear models. This latter characteristic has proven veryuseful since MSMAs are very non-linear in nature.
|
126 |
Aux frontières de la vie active: gouvernementalité et politiques d'activation des jeunes « NEEF »Binet, Jonathan 22 May 2020 (has links)
Cette thèse de doctorat en service social porte sur la catégorie des jeunes NEEF, c’est-à-dire des jeunes qui ne sont ni en emploi, ni aux études, ni en formation. Elle repose sur une démarche de recherche ethnographique au sein du Carrefour jeunesse emploi de l’Outaouais et en particulier du programme Service spécialisé jeune qui cible des jeunes NEEF âgés de 18 à 29 ans. Elle a comme objectifs : 1)d’analyser les façons dont les trajectoires de ces jeunes se construisent en lien avec les changements sociodémographiques et les nouvelles attentes normatives et institutionnelles ; 2) d’examiner les politiques et les pratiques qui visent à gouverner ces jeunes pour les insérer et les maintenir en emploi, aux études et en formation. Cette thèse fait appel au concept de gouvernementalité, à des résultats qui proviennent d’une année d’observation participante au cœur de ce programme, d’entretiens semi-directifs (n=10) réalisés auprès de jeunes ainsi que d’entretiens de groupe (n=3) effectué auprès des personnes qui l’incarne quotidiennement. Les résultats et analyses qui en découlent illustrent l’instabilité des parcours qui caractérise les trajectoires de plusieurs de ces jeunes aujourd’hui, mais aussi que ce programme constitue un dispositif de gouvernement des conduites des acteurs chargés d’intervenir auprès d’eux. Ils mettent en évidence que les pratiques d’intervention qu’il reconduit prennent la forme d’une insertion par activation selon laquelle les jeunes sont sollicités à gouverner, par eux-mêmes, leur trajectoire sur les voies de l’emploi, des études et de la formation. Enfin, ils mettent en lumière que ces pratiques, si elles permettent à certains jeunes de s’insérer, elles contribuent à produire une population en surplus, dont les membres, tout en étant invités à s’insérer et à demeurer actifs au sein des configurations actuelles des systèmes éducatifs et du travail, sont confrontés à des freins et à des blocages structurels et relationnels qui les empêchent de stabiliser leurs trajectoires et de vivre une mobilité ascendante.
|
127 |
Fonctionnalisation de liposomes par des aptamères pour le ciblage actif des cellules cancéreuses / Functionalizing liposomes with aptamers for active targeting of tumor cellsAlshaer, Walhan 21 March 2016 (has links)
Dans ce travail, nous avons pu sélectionner par la méthode SELEX un aptamère à ARN modifié, appelé Apt1, qui se lie avec une haute affinité au récepteur CD44. L'aptamère sélectionné a été modifié avec par des 2'-F-pyrimidines afin d’augmenter sa stabilité vis-à-vis des nucléases pour une application thérapeutique. Cet aptamère a été ensuite greffé sur des liposomes contenant des séquences de siRNA dirigées contre un gène rapporteur, dans le but d’un ciblage actif des cellules tumorales exprimant le récepteur CD44. Cette fonctionnalisation a été réalisée par la conjugaison d’un dérivé 3'-thiol de Apt1 et un dérivé maléimide de phospholipides, directement à la surface des liposomes, ou bien séparément puis par post-insertion sur les liposomes. Les liposomes ainsi formulés présentent une forte affinité pour les cellules exprimant le CD44 sans déclencher de réponse inflammatoire au sein de ces cellules. En outre, nous montrons que l'inhibition du gène rapporteur est augmentée et prolongée lorsque l’aptamère est couplé aux liposomes chargés aux siRNA, in vitro ainsi qu’in vivo sur un modèle murin orthotopique de cancer du sein. De tels vecteurs de siRNA constituent donc un outil prometteur pour le ciblage actif de tumeurs exprimant le récepteur CD44. L'étape suivante consistera charger ces vecteurs par des séquences de siRNA permettant de réprimer des oncogènes. / In this work we succeeded to select a modified RNA aptamer, named Apt1, to bind the human CD44 receptor protein with high affinity using the Systemaic Evolution of Ligands by EXponential enrichment (SELEX) method. The selected aptamer was modified with 2'-F-pyrimidines to increase its stability against nucleases for therapeutic applications. Furthermore, we designed and characterized aptamer-functionalized liposomes loaded with siRNA molecules against a reporter gene as a model drug delivery system for the active targeting CD44-expressing tumor cells in vitro and in vivo. Such functionalization was performed by conjugation of 3'-thiol-modified Apt1 to maleimide-modified phospholipids, either on the surface of liposomes, or separately, followed by post-insertion onto liposomes. The targeted liposomes displayed high affinity for CD44-positive cells without triggering any inflammatory response within these cells. Moreover, we show that a higher and prolonged inhibition of the targeted gene can be achieved when siRNA-loaded liposomes are functionalized by the aptamer, both in vitro and in vivo on a murine orthotopic breast cancer model. Such a delivery system may thus be a useful tool for the active targeting of CD44-expressing tumors and silencing oncogenes in vivo.
|
128 |
Support à l'exécution pour objets actifs multi-threadés : conception et implémentation / Execution support for multi-threaded active objects : design and implementationRochas, Justine 22 September 2016 (has links)
Pour aborder le développement d'applications concurrentes et distribuées, le modèle de programmation à objets actifs procure une abstraction de haut niveau pour programmer de façon concurrente. Les objets actifs sont des entités indépendantes qui communiquent par messages asynchrones. Peu de systèmes à objets actifs considèrent actuellement une exécution multi-threadée. Cependant, introduire un parallélisme contrôlé permet d'éviter les coûts induits par des appels de méthodes distants. Dans cette thèse, nous nous intéressons aux enjeux que présentent les objets actifs multi-threadés, et à la coordination des threads pour exécuter de façon sûre les tâches d'un objet actif en parallèle. Nous enrichissons dans un premier temps le modèle de programmation, afin de contrôler l'ordonnancement interne des tâches. Puis nous exhibons son expressivité de deux façons différentes: d'abord en développant et en analysant les performances de plusieurs applications,puis en compilant un autre langage à objets actifs avec des primitives de synchronisation différentes dans notre modèle de programmation. Aussi, nous rendons nos objets actifs multi-threadés résilients dans un contexte distribué en utilisant les paradigmes de programmation que nous avons développé. Enfin, nous développons une application pair-à-pair qui met en scène des objets actifs multi-threadés. Globalement, nous concevons un cadre de développement et d'exécution complet pour les applications hautes performances distribuées. Nous renforçons notre modèle de programmation en formalisant nos contributions et les propriétés du modèle. Cela munit le programmeur de garanties fortes sur le comportement du modèle de programmation. / In order to tackle the development of concurrent and distributed applications, the active object programming model provides a high-level abstraction to program concurrent behaviours. Active objects are independent entities that communicate by mean of asynchronous messages. Very few of the existing active object frameworks consider a multi-threaded execution of active objects. Introducing a controlled parallelism enables removing some latency induced by remote method invocations. In this thesis, we take interest in the challenges of having multiple threads inside an active object, and in their safe coordination to execute tasks in parallel. We enhance this programming model by adding language constructs that control the internal scheduling of tasks. We then show its expressiveness in two ways: first with a classical approach, by developing and analysing the performance of several applications, and secondly, by compiling another active object language with different synchronisation primitives into our programming model. Also, we make multi-threaded active objects resilient in a distributed context through generic engineering constructs, and by using our programming abstractions. Finally, we develop a peer-to-peer application that shows multi-threaded active objects and their features in action. Overall, we design a thorough framework for the development and execution of high performance distributed applications. We reinforce our programming model by formalising our work and the model’s properties
|
129 |
Nanoparticules polymères ciblant le récepteur CXCR3 : élaboration et évaluation sur modèles de tumeur / CXCR3-targeting polymer nanoparticles : synthesis and evaluation on tumor modelsRodrigues, Laura 10 July 2018 (has links)
La thèse présentée porte sur l’élaboration de nanoparticules polymères fonctionnalisées par le ligand SCH546738 afin de cibler le récepteur CXCR3 surexprimé sur les cellules cancéreuses. La synthèse des copolymères à blocs Poly(triméthylène carbonate)-b-Poly(éthylène glycol) (PTMCb- PEG) et PTMC-b-PEG-SCH546738, puis leurs auto-assemblages dans l’eau avec des pourcentages différents de l’un par rapport à l’autre et enfin l’activité biologique de ces nanoparticules in vitro ont été réalisés. Une série de PTMC-b-PEG de fraction hydrophile massique f différentes (entre 34 et 6%) ont été obtenus par polymérisation par ouverture de cycle (ROP) du monomère triméthylène carbonate (TMC) amorcée par un PEG (MW= 2000 g/mol). Les études d’auto-assemblage ont montré que la fraction hydrophile était liée à la morphologie des objets obtenus (micelles et vésicules) et que la taille et la morphologie pouvaient être modulées en fonction du protocole utilisé. Des PTMC-b-PEG-SCH546738 ont été obtenus par couplage convergent entre le PEG-SCH546738 et le bloc PTMC. Le co auto-assemblage entre les copolymères fonctionnalisés et non fonctionnalisés a été réalisé par nanoprécipitation contrôlée par un système de microfluidique qui permet d’obtenir des polymersomes monodisperses de tailles contrôlées. Le pourcentage molaire de SCH546738 en surface des polymersomes a été fixé à 5, 10 et 20 % et à l’aide d’une nanoparticule contrôle ces échantillons ont pu être testés in vitro sur cellules HEK 293 et U87 surexprimant le CXCR3-A. L’influence du ligand et son pourcentage sur l’internalisation des nanoparticules à différents temps et sur le blocage des voies de signalisation des cellules cancéreuses ont été observés. / This thesis deals with the elaboration of polymeric nanoparticles functionalized by the ligand SCH546738 to target the CXCR3 receptor overexpressed in human healthy or tumoral cells. Poly(trimethylene carbonate-b-Poly(ethylene glycol) (PTMC-b-PEG) blocks copolymers and PTMC-b-PEG-SCH546738 synthesis, then their self-assembly with different ratios in water, and finally biological activity in vitro of these different nanoparticles were studied. A serie of PTMC-b-PEG with different hydrophilic mass fractions f (between 34 and 6%) were obtained by ring opening polymerization (ROP) of trimethylene carbonate (TMC) initiated by a block PEG (MW: 2000 g/mol). Self-assembly studies showed that the hydrophilic mass fraction was related to the morphology of the nano objects (micelles and vesicles) and that size and morphology of nano objects can be changed by the self-assembly protocol. PTMC-b-PEG-SCH546738 were obtained by the convergent coupling between PEG-SCH546738 and PTMC block. The co self-assembly of functionalized and not functionalized copolymers was done by nanoprecipitation controlled by a microfluidic system that allows monodisperse polymersomes with controlled size to be produced. The molar percentage of SCH546738 at the surface of polymersomes was fixed at 5, 10 and 20 %, and with the control nanoparticle, these samples were tested in vitro on HEK 293 and U87 cells overexpressing the CXCR3-A. The influence of the ligand and its percentage on nanoparticles internalization and signaling pathways blocking on cells were analyzed.
|
130 |
Caractérisation et comparaison du site actif de MMEL1 à celui de l'endopeptidase neutreFortin, David January 2002 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
|
Page generated in 0.0557 seconds