• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1267
  • 418
  • 122
  • 33
  • 17
  • 8
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 1862
  • 369
  • 189
  • 151
  • 114
  • 110
  • 105
  • 105
  • 102
  • 102
  • 98
  • 97
  • 96
  • 95
  • 90
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
241

Ranking-based Semantics for Abstract Argumentation / Sémantiques à base de classement pour l'argumentation abstraite

Delobelle, Jérôme 12 December 2017 (has links)
La théorie de l'argumentation abstraite de Dung est un formalisme permettant d'utiliser un système d'argumentation afin de représenter des informations conflictuelles. Des sémantiques à base d'extensions ont d'abord été introduites dans le but de déterminer quels arguments peuvent être conjointement acceptés. Cependant, ces sémantiques ne sont pas appropriées pour certaines applications, c'est pourquoi des sémantiques à base de classement, permettant de classer les arguments du plus acceptable au moins acceptable, ont été introduites. Le but de cette thèse est donc de proposer et d'étudier ces sémantiques à base de classement dans le contexte de l'argumentation abstraite.Nous définissons d'abord une nouvelle famille de sémantiques à base de classement basées sur un principe de propagation permettant de contrôler l'influence des arguments non-attaqués sur l'acceptabilité des arguments. Nous étudions les propriétés de ces sémantiques, les relations entre elles ainsi qu'avec d'autres sémantiques existantes.Nous proposons ensuite deux méthodes pour comparer les sémantiques à base de classement. La première est une comparaison empirique sur des systèmes d'argumentation générés aléatoirement donnant un aperçu des similitudes et des différences entre ces sémantiques. La seconde est une comparaison axiomatique de toutes ces sémantiques à la lumière des propriétés proposées visant à mieux comprendre le comportement de chaque sémantique.Enfin, nous remettons en question la capacité des sémantiques existantes à capturer certains principes de persuasion et introduisons une nouvelle sémantique paramétrée à base de classement plus appropriée pour ce contexte précis. / Dung’s theory of abstract argumentation is a formalism that represents conflicting information using an argumentation framework. Extension-based semantics have been introduced to determine, given an argumentation framework, the justifiable points of view on the acceptability of the arguments. However, these semantics are not appropriate for some applications. So alternative semantics, called ranking-based semantics, have recently been evolved. Such semantics produces, for a given argumentation framework, a ranking on its arguments from the most acceptable to the least one(s). The overall aim of this thesis is to propose and study ranking-based semantics in the context of abstract argumentation. We first define a new family of ranking-based semantics based on a propagation principle which allow us to control the influence of non-attacked arguments on the acceptability of arguments. We investigate the properties of these semantics, the relationships between them but also with other existing semantics. Then, we provide a thorough analysis of ranking-based semantics in two different ways. The first one is an empirical comparison on randomly generated argumentation frameworks which reveals insights into similarities and differences between ranking-based semantics. The second one is an axiomatic comparison of all these semantics with respect to the proposed properties aiming to better understand the behavior of each semantics. At last, we question the ability of the existing ranking-based semantics to capture persuasion settings and introduce a new parametrized ranking-based semantics which is more appropriate in this context.
242

Comprendre l'arthrose : analyse histomorphométrique de l'unité os-cartilage / Understanding Arthritis : histomorphometric analysis of the bone-cartilage unit

Cherief, Masnsen 15 December 2017 (has links)
L'importance de l'os sous-chondral dans la pathogenèse et la prise en charge de l'arthrose intéresse les cliniciens et la communauté scientifique. En effet, il existe des liens forts entre l'os sous-chondral et le cartilage, maintenant l'intégrité de ce dernier reposant sur l'os sous-chondral pour fournir un support mécanique et un soutien nutritionnel. Ici, nous avons étudié la relation entre les structures osseuses et cartilagineuses et l'approvisionnement vasculaire dans l'arthrose de la humaine.Nous avons recueilli 37 plateaux tibiaux arthrosiques prélevés après arthroplastie totale du genou. Dans ces mêmes plateaux, plusieurs carottes ont été prélevées et scannés par microtomographie. Les projections résultantes ont été reconstruites, puis segmentées manuellement pour séparer l'os sous-chondral de l'os trabéculaire et une analyse microarchitecturale a été développée sous les deux structures osseuses. Les échantillons ont été décalcifiés, coupés en sections de 16 heures, colorés dans de l'HES et classés en 6 groupes selon l'échelle OARSI. La surface de l'os sous-chondral et l'épaisseur et la surface du cartilage articulaire ont été cultivées. Le nombre de vaisseaux dans le sous-chondral a été compté par deux opérateurs différents et une coloration immunofluorescente avec du VEGF a été effectuée. Enfin, le cartilage, l'os sous-chondral et trabéculaire ont été utilisés pour mesurer les marqueurs ribonucléiques et protéiques liés à la vascularisation, l'innervation et l'inflammation.La microstructure de l'os a évolué au fur et à mesure que l'arthrose s'aggrave. L'os sous-chondral s'est épaissi et est devenu plus poreux. La fraction volumique osseuse, l'épaisseur trabéculaire, l'espacement et le nombre de trabécules ont été corrélés positivement avec le score OARSI. Une diminution significative du nombre de vaisseaux sanguins a été observée au dernier stade de l'arthrose. Enfin, les marqueurs ribonucléiques et protéiques liés à la vascularisation, à l'innervation et à l'inflammation ont été modulés au cours du développement de la pathologie. Pris ensemble, nos données montrent une interaction et des structures de soutien dynamiques entre l'os sous-chondral et le cartilage. La compréhension des voies de signalisation, l'unité biochimique du cartilage dans les articulations et la communication intercellulaire entre le cartilage et l'os sous-chondral peuvent mener à l'élaboration de stratégies plus efficaces pour traiter les patients souffrant d'arthrose. / The importance of subchondral bone in the pathogenesis and management of osteoarthritis retain the interest of clinicians and the scientific community. Indeed, there are strong links between the subchondral bone and the cartilage, maintaining the integrity of the latter resting on the subchondral bone to provide mechanical and nutritional support. Here, we investigated the relationship between bone and cartilage structures and vascular supply in human osteoarthritis.We collected 37 osteoarthritic tibial plates taken after total knee arthroplasty. In these same plates, several carrots were removed and scanned by microtomography. The resulting projections were reconstructed, then manually segmented to separate the subchondral bone from the trabecular bone and a microarchitectural analysis was done on both bone structures. The samples were decalcified, cut into 4 μm sections, stained in HES and classified into 6 groups according to the OARSI scale. The surface of the subchondral bone and the thickness and surface of the articular cartilage were measured. The number of vessels in the subchondral region was counted by two different operators and a VEGF immunofluorescent staining was performed. Finally, cartilage, subchondral and trabecular bone were used to measure ribonucleic and protein markers related to vascularization, innervation and inflammation.The microconstructure of the bone has evolved as osteoarthritis worsens. The subchondral bone has thickened and become more porous. Bone volume fraction, trabecular thickness, spacing and number of trabeculae were positively correlated with the OARSI score. A significant decrease in the number of blood vessels was observed in the last stage of osteoarthritis. Finally, ribonucleic and protein markers related to vascularization, innervation and inflammation were modulated during the development of the pathology. Taken together, our data show dynamic interaction and support structures between subchondral bone and cartilage. Understanding of signaling pathways, the biochemical unity of cartilage in the joints and intercellular communication between cartilage and subchondral bone can lead to the development of more effective strategies for treating patients with osteoarthritis.
243

Archéologie du peuplement médiéval et moderne de la plaine de Taroudant et des piémonts des Atlas (Maroc) / Medieval and modern settlement in the Taroudant plain and the Atlas foothills (Morocco) : an archaeological study

Godener, Morgane 23 June 2016 (has links)
La plaine du Sous, au cœur de laquelle est implantée la ville de Taroudant, est une grande plaine alluviale du Sud-ouest marocain. Les sources historiques témoignent de la richesse agricole de cette région, dont le contrôle a représenté un enjeu stratégique pour les pouvoirs centraux successifs tout au long des périodes médiévale et moderne. Elle offre ainsi l’opportunité d’examiner l’occupation d’un territoire entre centres de pouvoir, grands programmes d’aménagement, fortifications et établissements ruraux. Encadrée par les chaînes montagneuses du Haut Atlas et de l’Anti-Atlas, elle constitue également un espace privilégié pour analyser les liens entre zones de plaine et secteurs de piémont. Cette thèse propose ainsi d’examiner l’évolution du peuplement de la plaine et des piémonts adjacents, autour de la capitale Taroudant, du début de l’époque médiévale au début de l’époque moderne (VIIIe-début du XVIIe siècle). Fondée sur une enquête de terrain, cette étude s’appuie sur un corpus de sites archéologiques en grande partie inédit. L’analyse des modes de construction, des structures, et du mobilier de surface a permis de préciser les caractéristiques de la culture matérielle de la région. L’organisation et l’implantation des sites ont également été examinées afin de comprendre les modalités d’installation des populations et leur évolution sur l’ensemble de la période concernée. La ville de Taroudant a par ailleurs fait l’objet d’une analyse spécifique pour cerner l’évolution du centre urbain et son insertion dans un territoire à forte dominante agricole. Enfin, l’ensemble de ces données a été mis en perspective afin de proposer une analyse diachronique du peuplement de la région. / The Sous plain, in the heart of which the city of Taroudant is settled, is a large alluvial plain in south-west Morocco. Historical sources attest to the agricultural wealth of this region, whose control has been a strategic issue for successive central governments throughout the medieval and modern periods. It thus offers the opportunity to consider the occupation of territory between power centers, major development programs, fortifications and rural settlements. Surrounded by the mountain ranges of the High Atlas and Anti-Atlas, it is also a privileged space to analyze the connections between lowlands and foothills areas. This thesis proposes to examine the evolution of settlement in the plain and adjacent foothills, around the capital Taroudant, from early medieval times to early modern period (VIIIth-early XVIIth century). This study is based on fieldworks, and on a corpus of archaeological sites, which are new for the most of them. The analysis of modes of construction, structures, and surface material allowed to specify the characteristics of the material culture of the region. The organization and location of these sites were examined as well in order to highlight settlement forms and their evolution throughout the period. A specific analysis has also been carried out on the capital city, Taroudant, for identifying changes in the urban center and its insertion in an area dominated by agriculture. Finally, all of these data have been put in perspective to offer a diachronic analysis of the settlement in this region.
244

Reconstruction de la circulation océanique à partir d'observations satellitaires à très haute résolution / Reconstruction of an oceanic flow from very high-resolution satellite observations

Duran Moro, Marina 14 December 2017 (has links)
Pendant la dernière décennie, il y a eu un incrément de la résolution spatiale des observations satellitaires. Cela est notamment dû aux avancées technologiques implémentées sur les satellites. La quantité d'information observée est vaste, et il faut donc identifier des techniques efficaces pour la traiter et pour produire de cartes précises de la dynamique en surface. La mission future SWOT collectera de données d'élévation de surface (SSH) à très haute résolution spatiale : une partie de la dynamique à petites longueurs d'onde, c'est-à-dire, de la sousméso-échelle, sera représentée dans ces observations. Les observations satellitaires servent à réaliser la reconstruction spatiale en surface et aussi à la projeter vers l'intérieur de l'océan et vers des autres variables. La question posée est donc quelles méthodes peuvent fournir ces estimés 3D et multivariés avec une bonne précision à des échelles proches de la sousméso-échelle.Nous nous situons dans ce travail de thèse dans un cadre d'assimilation de données et d'images : l'objectif du travail étant la reconstruction de façon précise de la dynamique dans la couche de surface de l'océan (~500 m) à partir d'observations satellitaires. Pour ce faire, nous implémentons une méthode qui utilise différentes observations en surface à deux étapes d'analyse séparées. Elle consiste d'abord d'une première étape d'assimilation de données qui réalise une correction linéaire de l'écoulement. La deuxième étape se base dans une méthode d'assimilation d'images (Gaultier et al, 2012) dont l'objectif est de bien localiser les structures lagrangiennes obtenues par le calcul des exposants de Lyapunov. Dans le but de fournir des incertitudes associées aux estimés, nous disposons d'une distribution de probabilité d'ébauche qui sera corrigé par notre méthode : (i) la première étape effectue une analyse SEEK pour corriger cette distribution d'ébauche en utilisant une observation d’élévation de SSH; (ii) la deuxième étape minimise une fonction coût en utilisant l'observation d'une image structure et nous obtenons ainsi une distribution de probabilité finale. Les estimés sont projetés dans la dimension verticale en utilisant des EOFs (Empirical Orthogonal Functions) 3D multivariées, de cette sorte nous avons des estimés de variables observées et des variables non-observées (Duran-Moro et al, 2017).La méthode est testée en utilisant des données synthétiques produites par un modèle numérique à haute résolution (~3 km) dans la Mer de Salomon (SOSMOD36). La méthode fournit des résultats positifs : les estimés sont bien reconstruites sur la vertical et aussi concernant les variables non-observées. Dans ce cadre, nous réalisons une évaluation de l'impact de diverses pseudo-observations altimétriques dans la performance de la méthode. Ceci est réalisé par l'implémentation des traces Jason et Envisat sur l'observation de SSH ainsi qu'à partir du simulateur SWOT développé au JPL. Ce dernier est utilisé pour générer des pseudo-observations SWOT ainsi que des erreurs et du bruit prévus pour cette mission. La corrélation significative de ces erreurs a motivé l'application de la technique dans Ruggiero et al, 2016 dans notre analyse. Des simulations à plus haute résolution spatiale (~1 km) récemment produites à partir du modèle numérique NATL60 en Atlantique Nord sont aussi utilisées pour tester la méthode. Cette étude permet d'évaluer la dépendance des résultats avec la variabilité saisonnière de la dynamique aux moyennes latitudes. / During the last decade, high resolution observations have significantly increased mainly due to the strong innovations of satellite technology. The amount of observed information from satellites is large, and it is necessary to identify effective techniques to treat and to generate surface maps of the ocean dynamics. The future SWOT mission will collect sea surface height (SSH) measurements with a high spatial resolution : some dynamics at small wavelengths, which is known as submeso-scale, will be present in these new observations. Satellite observations could be used to carry out a vertical projection into the deeper ocean and to other variables. The question that rises is which methods can be used to carry out a 3D multivariate analysis with a significant precision, especially at meso and submeso-scale.We work here in a data/image assimilation framework : our objective if to reconstruction with good precision the dynamics in the upper oceanic layer (~500 m) using satellite observations. To do so, we implement a two-step method that uses different observations of the sea surface. The first step consist on the SEEK filter which is a data assimilation technique to carry out a first linear correction of the flow. The second step uses an image assimilation method (Gaultier et al , 2012) to correct the location of the main dynamical structure. This main dynamical structure is obtained by the computation of the Lyapunov exponents. A probability approach is applied to provide uncertainties on the estimates at each step. A first probability distribution of a background state is supposed to be known : the two-step method corrects this probability distribution at each step in order to converge towards the real ocean state. The SEEK filter corrects the background probability distribution using a SSH observation. The second step continues this correction towards smaller scales by using an image structure observation. To carry out the vertical projection, an ensemble of 3D multivariate EOFs (Empirical Orthogonal Functions) is used (Duran-Moro et al, 2017).The method is tested using synthetic data generated by a numerical model in the Solomon Sea region (SOSMOD36). The spatial resolution of these simulations is of ~3 km. We evaluate the response of our method in an idealized case study by using pseudo-observations generated from the simulations. The method provides good results and the estimates are corrected also in the vertical and in terms of other variables. A more detailed exploration of the altimetric observation is realized, especially related to future SWOT observations. Errors of SWOT observations have strong spatial correlations and another technique needs to be used in our method : this modification is carried out following work done in Ruggiero et al, 2016. Simulations from another NEMO configuration in the North Atlantic region (NATL60) are also used to evaluate the method. This second test allows us to explore the method in a different latitude of the globe.
245

Sculpter le soi : le corps social comme dispositif de résistance, l'apparence comme poétique de survie / Styling ourselves : appearance as ways of life

Neutre, Lila 24 November 2017 (has links)
Dans nos sociétés occidentales contemporaines, esthétiques et spectaculaires, le corps est un objet de fétichisme social de même qu'un écran sur lequel il est possible de projeter une identité maniable et changeante. Considéré comme le support de l’individualité, il est l'objet de toutes les métamorphoses. De simple parti pris vestimentaire, le style peut parfois se faire l’expression d’un véritable mode de vie, d’une existence qui s'établit à l'encontre des normes imposées par une société. L’apparence devenant la manifestation ostentatoire (parfois caricaturale) d’une prise de position politique, philosophique ou sexuelle.Quels liens unissent la pratique du cabaret New-Burlesque, du Cosplay, de la Sape ou du Voguing ?En apparence dissemblables, voire peut-être antagonistes ; regroupant des membres d'âges, de sexes, d'origines différentes et s'ignorant la plupart du temps l'une l'autre ; ces communautés sous-culturelles partagent néanmoins des symboles, une idéologie, une organisation structurelle et sociale comparables. Dans une forme maîtrisée de l’artifice et du théâtre, tous utilisent leur apparence comme dispositif de résistance et interrogent la validité et les limites des impératifs sociétaux. C'est du moins ce que cette thèse tente de mettre en lumière, par la photographie et sur le terrain de la sociologie. / In our contemporary societies, the body has become not only an object of social fetishism but also a screen where we can take on any kind of identity. Apperance can be transformed in a playground and used as a tool to resist society's standards. From a simple choice of clothing, a look can in fact express a global lifestyle. Even if seemingly light, style can show the choice of a certain way of life and be an exit from social constraints. It can reveal existential choices, whether political, philosophical or sexual.This researches are involving different groups of people and communities. What could possibly link Congolese Sapers, Voguers, Cosplayers, Roller derby and New-Burlesque performers? A priori different, most likely antagonistic and gathering a large range of people from various ages, social classes or origins, these subcultures still share a lot of similarities. From a comparable ideology to the use of similar symbols and compatible social organizations, they all seek to re-enchant our world in a critique of cast societies and question the limits of their social imperatives.In both photography and sociology, this PhD aims at forming a kaleidoscope of various facets of self-presentation in our contemporary society, with all its hopes and disappointments.
246

La recherche translationnelle chez le blé tendre : comprendre l'évolution de son génome pour améliorer ses caractères agronomiques / Translational research in modern wheat

Pont, Caroline 06 October 2016 (has links)
Dans l’alimentation humaine, le blé joue un rôle capital du fait de sa valeur nutritive. Une hausse de la production de plus de 20 % sera nécessaire d’ici 2050 simplement pour garantir aux populations les standards actuels de consommation alimentaire. Prenant en compte les bouleversements climatiques créant des contraintes environnementales conséquentes, l’amélioration du rendement en blé sans perte de qualité devient un réel défi mondial. C’est dans ce contexte que s’inscrit ma thèse.La génomique translationnelle est une approche intégrative qui fait le lien entre Recherche Fondamentale et Appliquée, où les espèces modèles jouent le rôle de pivot pour étudier les espèces d’intérêt agronomique. J’ai mis en œuvre cette approche de recherche translationnelle pour étudier finement l’histoire évolutive, l’organisation et la régulation du génome du blé. Le blé est une espèce polyploïde qui a subi des duplications chromosomiques récentes (500 000 et 10 000 ans) et anciennes (<90 millions d’années). Mes travaux ont consisté à utiliser les espèces de céréales apparentées pour étudier l’impact de ces duplications sur la plasticité structurale et expressionnelle des copies de gènes dupliqués du blé moderne. Mes travaux ont montré que la polyploïdie chez le blé est suivie d’une diploïdisation. Cette diploïdisation est en cours chez le blé moderne ; elle consiste en l’accumulation de mutations, de perte de gènes ou de modification de l’expression des gènes dupliqués. Cette diploïdisation est non aléatoire ; elle génère des blocs chromosomiques dominants à forte stabilité et d’autres plus sensibles, à forte plasticité. Au travers de l’analyse du génome du blé, la polyploïdie apparaît comme une force majeure de l’évolution, voire de l’adaptation, en permettant la spécialisation structurale et fonctionnelle des gènes surnuméraires. Cette asymétrie de plasticité structurale et expressionnelle post-polyploïdie entraine in fine la diploïdisation des phénotypes. Mes travaux de thèse l’illustre au travers de l’analyse des bases génétiques de l’inhibition du tallage, contrôlée par une insertion de 109bp codant pour un microRNA porté uniquement par la région chromosomique 1A, dite sensible. Mes travaux montrent une quasi-complète diploïdisation structurale, expressionnelle et phénotypique du blé tendre moderne ouvrant la question d’une re-définition du concept « d’espèces polyploïdes » au regard des analyses génomiques qui peuvent être conduites aujourd’hui, comme cette thèse en est une illustration. / Wheat plays a key role in Human food due to its nutritional value. Wheat production needs to be increased by more than 20% by 2050 to guarantee current human consumption standards. Taking into account climatic changes with high level of environmental constraints, yield improvement without quality loss became a big challenge. This consists in the economical and societal context of the current doctoral thesis.The integrative translational genomic approach consists in transferring fundamental knowledge gained from model species to applied practices for breeding in crops. This strategy was used here to study the evolutionary history, the organization and the regulation of the modern bread wheat genome. Modern wheat is a polypoid species deriving from two hybridization events between diploid progenitors 500 000 and 10 000 years ago, as well as a more ancient that dated back to more than 90 million years ago. The current research consisted in using cereal species closely related to wheat to study the impact of these duplications on the structural and expression plasticity of duplicated genes in wheat.My results established that the diploidization process is in progress in wheat after the successive rounds of polyploidization events. This diploidization consists in the accumulation of mutations, gene loss or expression modification between duplicated genes. This diploidization is nonrandom at the genome level; generating dominant chromosomic regions with high stability in contrast to others regions more sensitive with high plasticity. Based on such wheat genome evolutionary analysis, polyploidy appears as a major evolutionary force driving plant adaptation through structural and expressional specialization of duplicated genes.Such post-polyploidy genomic asymmetry drives finally the phenotype diploidization as illustrated in the current research with the study of genetic basis of the tiller inhibition Trait. This trait seems to be driven by a 109 pb insertion coding for a microRNA located solely on the chromosome 1A, known as a sensitive genomic fraction.The current research established that the modern bread wheat has been quasi-entirely diploidized at the structural, expressional and phenotypic levels, now requiring a new definition of the polypoid concept in line with current genomic investigations, as illustrated in the current thesis.
247

Automatisation de la synthèse d’architectures appliquée aux aéronefs à voilure tournante / Automated architecture synthesis applied to rotary-wing aircrafts

Hartmann, Chris 30 January 2018 (has links)
Les travaux, présentés dans ce manuscrit de thèse, s’inscrivent dans les courants de l’Ingénierie Système et de la synthèse assistée par ordinateur. Une méthodologie outillée à l’aide d’un logiciel a été développée et est détaillée. Le processus de synthèse semi-automatisé est organisé en trois grandes phases : l’extraction du besoin et sa transformation en spécification du système à concevoir, une synthèse des architectures logiques et une analyse des architectures physiques. L’extraction et la transformation du besoin est une étape manuelle dans la méthodologie proposée. Elle s’appuie grandement sur des travaux précédents du champ de l’Ingénierie Système. L’objectif de ce sous-processus est d’obtenir une représentation du système compréhensible par l’utilisateur et interprétable par le logiciel. Les parties prenantes, les situations de vie que le système va rencontrer, les besoins, les exigences et les interfaces avec l’environnement sont modélisés. La synthèse, ou génération, des architectures logiques, est le résultat de la modélisation précédente du système. Un code C++ permet la transformation du problème de synthèse en expressions mathématiques qui sont résolues à l’aide d’un solveur CSP entier. Le résultat de ce sous-processus est un ensemble de graphes, triés par famille. Ces graphes représentent toutes les architectures logiques viables vis-à-vis des connexions entre ses sous-systèmes. L’analyse des architectures physiques permet d’écrire, pour chaque architecture logique, un système d’équations physiques non-linéaires mais non différentielles pour une première étape de prédimensionnement. Ces systèmes, écrits sous la forme de problèmes d’optimisation sont ensuite résolus à l’aide d’un solveur CSP réel. Au final, les architectures sont triées suivant la valeur d’une variable d’état commune à toutes les alternatives. / The research work presented in this thesis is related to the System Engineering field and the computer aided synthesis field. A methodology realized by a newsoftware is developed and introduced. The synthesis process is semi-automated and is devided into three phases: the need extraction and its translation into system requirements, a logical architecture synthesis and a physical architecture analysis. The need extraction and its translation into system requirements are highly inspired from previous work from the System Engineering field. Nevertheless, the objective, at this step, is to provide the software and the user with a unique model understandable to both. Stakeholders, life situations, needs, requirements and interfaces with the environment are modelized. The logical architecture synthesis, or logical architecture generation, is in accordance with the models we build previoulsy. That is to say that all logical architectures are instantiations of the system requirements expressed before. A C++ code translates this model into mathematical equations solved by an integer CSP solver. The result of this part of the methodology is a set of graphs, ranked by family. These graphs are views of the logical architectures. They express all the possible links between the sub-systems of the architectures. The physical architecture analysis step is an automated equation writer. The equations are non-linear and non differential and they are written for each logical architecture generated at the previous step. They are used for a first step of pre-sizing. These systems are then solved by a CSP solver for real numbers through an optimization. At the end, all the feasible architectures are ranked according to a unique state variable that iscommon to all possible solutions.
248

Caractérisation phénotypique et fonctionnelle des sous-populations de monocytes dans les réponses immunitaires / Phenotypical and functionnal characterization of monocyte subpopulations in immune response

Mourah, Fadila 29 September 2017 (has links)
Les monocytes sont des leucocytes circulants dont la caractérisation est longtemps restée difficile. La dissection de l’ensemble de ces cellules en sous-populations fonctionnelles chez l’homme reste à ce jour insuffisante. Les monocytes sont cependant des précurseurs circulants de plusieurs populations de cellules dendritiques et de macrophages tissulaires, et occupent donc à ce titre une place prépondérante dans la mise en place des réponses immunitaires normales et pathologiques.À l'heure actuelle, trois sous-populations sont décrites chez l’homme : les monocytes classiques CD14+CD16neg, les non-classiques CD14dimCD16+ et les intermédiaires CD14+CD16+. Fonctionnellement, ces sous-populations sont diverses et hétérogènes et dotées de propriétés pro- et anti-inflammatoires apparemment redondantes. En pathologie, une augmentation du ratio entre CD16+ et CD16neg monocytes a été décrite en situation inflammatoire, suggérant un rôle des premières dans le développement et/ou l’amplification de l’inflammation. Parmi les monocytes non-classiques, des cellules capables de détecter des altérations de l’endothélium et ayant donc des propriétés spécifiques de surveillance du lit vasculaire ont été identifiées et caractérisées. Dans le but d’obtenir une meilleure définition des populations monocytaires et de les subdiviser en sous-populations où l’identification des fonctions de ces cellules serait plus accessible, je me suis attachée, dans ce travail de thèse, à analyser les différentes populations de monocytes humains circulants de manière aussi exhaustive que possible et avec les outils d’analyse biologiques et informatiques actuels. Les résultats, obtenus par l’analyse en cytométrie de flux de PBMC de 28 donneurs sains après marquage des cellules par vingt anticorps dirigés contre les molécules de surface, ont révélé l’existence d’une population de monocytes de plus grande taille. Ces « large » monocytes se subdivisent également en populations CD16neg et CD16+ (monocytes la14+16neg et la14+16+). Les monocytes restant ou « small » se composent de sm14+16neg largement majoritaires, de sm14+16+, et de sm14dim16+ auxquels se rajoutent des monocytes sm14lo16neg dont nous confirmons l’existence. L’expression des divers marqueurs sélectionnés a été faite par des méthodes d’analyse classiques, manuelles, ainsi que par l’utilisation d’algorithmes d’analyse non-supervisée. Les résultats ont montré les particularités d’expression propres à chaque population mais ont aussi indiqué que l’hétérogénéité phénotypique à l’intérieur de ces six populations de monocytes reste importante. Cependant, des profils d’expression qui sont partagés par plusieurs donneurs sains ont été identifiés. L’expression des molécules d’adhésion telles que CD49d, CD62L, CD162, ainsi que CD43 a été particulièrement utile pour cette identification. Quatre groupes phénotypiques majeurs ont ainsi été définis chez les 28 donneurs sains analysés. / Monocytes are circulating leukocytes which characterization has long been difficult. Dissection of these cells into functional subpopulations in humans is still insufficient. Monocytes are however circulating precursors of several populations of dendritic cells and tissue macrophages, and play a prominent role in the development of immune response in steady state and pathology. At present, three monocyte subpopulations are described in humans: classical CD14+CD16neg, non-classical CD14dimCD16+ and intermediates CD14++CD16. Functionally, these subpopulations are diverse and heterogeneous and with apparently redundant pro - and anti-inflammatory properties. In pathology, an increase in the ratio of CD16 + to CD16neg monocytes has been described in inflammatory situation, suggesting a role of the former in the development and amplification of inflammation. Among the non-classical monocytes, cells that can detect changes in the endothelium and having then specific properties of vascular bed monitoring have been identified and characterized. In order to get a better definition of monocyte populations and break them down into subpopulations in which the identification of the cell functions would be more accessible, I endeavoured in this thesis work to analyse different populations of circulating human monocytes as comprehensively as possible and with state of the art analytical and computer tools. The results of flow cytometry analysis of PBMC from 28 healthy donors after cell staining with twenty antibodies directed against surface molecules revealed the existence of a population of monocytes of larger size.
249

Coopération entre véhicules sous-marins autonomes : une approche organisationnelle réactive multi-agent / Cooperation between Autonomous Underwater Vehicles : A multi-agent reactive organizational approach

Carlési, Nicolas 19 December 2013 (has links)
Les applications sous-marines actuelles exigent la réalisation de travaux de différentes natures dans des zones de plus en plus vastes et toujours plus profondes. La conception et l'utilisation de flottilles d'AUV dans ce contexte est un véritable challenge. Les bénéfices attendus sontmultiples. Premièrement, cela doit permettre de minimiser les coûts grâce à une répartition de ceux-ci sur l'ensemble de la flottille : la perte d'un AUV ou son mauvais fonctionnement ne remettront pas en cause l'intégralité de la mission. Deuxièmement, l'utilisation d'une flottilledoit de fait permettre de réduire le temps d'exécution d'une mission grâce à la parallélisation de certaines tâches. Enfin, la réalisation d'une mission par une flottille permet de conserver le caractère spécialisé des AUV et donc d'envisager plus facilement leur réutilisation dansd'autres contextes. Cependant, les approches de coopération multi-AUV existantes sont limitées par deux principaux verrous : (1) le nombre de communications induit et (2) la gestion de l'hétérogénéité potentielle d'une flottille.L'approche que nous proposons vise à répondre à ces problématiques.L'idée principale est de combiner une approche de coopération réactive avec une approche organisationnelle. L'approche de coopération réactive permet l'échange des signaux de communication très simples. Cependant, elle ne permet de résoudre que des problèmes de coopération de nature assez restreinte qui concernent essentiellement la coordination spatiale de véhicules homogènes. La première contribution de cette thèse est l'extension de l'approche satisfaction-altruisme. Un nouveau mécanisme décisionnel réactif, capable de considérer des actions coopératives de diverses natures, est proposé. La deuxième contribution consiste à spécifier les contextes d'interactions réactives à l'aide d'une approche organisationnelle. Le modèle organisationnel Agent/Groupe/Rôle est utilisé pour avoir une représentation explicite de l'organisation de la flottille. Les concepts de groupe, mais surtout de rôle, sont employés dans l'adressage des signaux de communication et permettent la mise en oeuvre d'interactions hétérogènes avec une grande modularité. L'ensemble est intégré dans une nouvelle architecture logicielle, appelée REMORAS, destinée à équiper des véhicules sous-marins autonomes. Une validation de la faisabilité de notre approche est proposée à l'aide d'une simulation de plusieurs scénarios mettant en jeu des AUV hétérogènes. / Underwater marine applications are nowadays branching into various fields covering larger and deeper zones. Performing the required tasks with the aid of AUV flotillas is a real challenge. However, the advantages of using such a new technology are numerous. Firstly, this would highly reduce the cost of the mission thanks to the distribution of this former among the various AUV: the loss of one AUV or its bad functioning will not degrade the performance of the flotilla in general. Secondly, the use of a flotilla reduces the execution time of a mission given the parallelization of certain tasks. Finally, any mission can be accomplished by the flotilla by taking into consideration the specificity of each AUV. In fact, each of these vehicles holds different characteristics rendering the global architecture heterogeneous and therefore applicable in different contexts. However, the methods concerned with multi-AUV cooperation are hindered by two main limitations: (1) the number of communications induced and (2) the management of the heterogeneity in the flotilla.The proposed approach aims at responding to these challenges. The principal idea is to combine this reactive cooperational approach with an organizational one. The reactive cooperational approach allows the exchange of simple communication signals. However, it does not help in solving the problems of cooperation that are very constrained and that mainly concern the spatial coordination of homogeneous vehicles. The first contribution in this thesis is the extension of the satisfaction-altruism approach. A new reactive decisional mechanism capable of considering the cooperative actions of various natures is proposed. The second contribution consists in specifying the context of reactive interactions based on an organizational approach. The organizational model Agent/Group/Role is used in order to have an explicit representation of the flotilla. The concepts of "group" and especially "role" are used in the attribution of the communication signals allowing the accomplishment of heterogeneous interactions with a big modularity. A new concept is therefore born and is integrated in a new software architecture called REMORA intended to equip autonomous underwater vehicles. This proposed new method has been validated through various numerical simulations in different scenarios putting at stake heterogeneous AUV.
250

Étude et fabrication de MOSFET III-V à ionisation par impact pour applications basse consommation / Study and fabrication of III-V impact ionization MOSFET for low power applications

Lechaux, Yoann 23 June 2017 (has links)
La réduction de la puissance consommée des transistors à effet de champ (MOSFETs) est un challenge pour le futur de la nanoélectronique. En 2025, l’Agence Internationale de l’Énergie (AIE) estime qu’il y aura environ 50 milliard d’objets autonomes et nomades nécessitant alors une faible puissance consommée. L’apparition de nouveaux dispositifs tels que les transistors à effet tunnel (TFETs) ou les transistors à ionisation par impact (I MOSFETs) permettra potentiellement de réduire la puissance consommée de ces objets. Dans ce travail de thèse, nous avons étudié pour la première fois le transistor à ionisation par impact à base de matériaux III V des filières arséniée et antimoniée. La structure pin, composant principal du I MOSFET, est tout d’abord étudiée. L’ensemble des briques technologiques des I MOSFET a ensuite été développé, et en particulier l’interface entre l’oxyde et le semiconducteur III-V qui a été optimisée par un traitement innovant par plasma d’oxygène (O2). Ce traitement a montré une amélioration de la qualité de l’interface oxyde/semiconducteur conduisant à une commande des charges beaucoup plus efficace. Pour finir, nous avons montré les études, fabrications et caractérisations d’un transistor à effet tunnel InGaAs et d’un I MOSFET GaSb présentant une architecture verticale où la grille est auto-alignée. / The reduction in the power consumption of field effect transistors (MOSFETs) is a challenge for the future of nanoelectronics. By 2025, the International Energy Agency (IEA) estimates that there will be around 50 billion autonomous and nomadic objects requiring low power consumption. The appearance of new devices such as tunnel effect transistors (TFETs) or impact ionization transistors (I¬ MOSFETs) will potentially reduce the power consumption of these objects.In this thesis work, we studied for the first time the impact ionization transistor based on materials III-V, especially arsenic and antimony based materials. The pin structure, the main component of the I MOSFET, is first studied. We then developed all the process steps of the I-MOSFET fabrication, and in particular we optimized the interface between the oxide and the III-V semiconductor by an innovative treatment using oxygen plasma (O2). This special treatment has shown a clear improvement in charge control. Finally, we have shown studies, fabrications and characterizations of an InGaAs based TFET and a GaSb based I MOSFET with a vertical architecture, where the gate is self-aligned.

Page generated in 0.0486 seconds