• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 91
  • 29
  • 14
  • 2
  • 1
  • Tagged with
  • 154
  • 48
  • 42
  • 35
  • 28
  • 21
  • 19
  • 19
  • 18
  • 17
  • 17
  • 17
  • 16
  • 15
  • 14
  • 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.
141

Usinage de l'Inconel 718 : Intégrité de surface, mesure de température et modèle analytique du fraisage périphérique

Le Coz, Gael 13 December 2012 (has links) (PDF)
Les composants des industries de l'aéronautique, du spatial ou de l'énergie sont souvent en fonctionnement dans des environnements sévères où les températures et les pressions peuvent atteindre des valeurs importantes. Les matériaux traditionnels sont alors remplacés par des superalliages dits réfractaires, l'Inconel 718 est un de ces matériaux. Ils sont en particulier caractérisés par la conservation de leurs propriétés mécaniques à hautes températures. L'Inconel 718 est un alliage à base nickel, réputé comme difficile à usiner. Cette difficulté de mise en forme, liée à ses caractéristiques physiques et mécaniques, impose généralement une utilisation très importante de fluides de coupe ; ceux-ci représentent une fraction significative du coût de la pièce usinée. L'objectif est alors de migrer vers l'usinage à sec et grande vitesse. Cependant, du fait des caractéristiques mécaniques et du caractère réfractaire de l'Inconel 718, les surfaces générées peuvent être affectées thermiquement durant l'opération d'usinage avec la mise en place de contraintes résiduelles en traction néfastes pour la tenue en service des pièces usinées. Au travers des travaux présentés, nous nous proposons de montrer la faisabilité de l'usinage à sec de l'Inconel 718 et ses conséquences sur l'intégrité des surfaces réalisées. Des essais de tournage sous lubrification et à sec ont été réalisés dans des conditions de semi-finition avec un outil en carbure de tungstène revêtu. Les surfaces et sous surfaces ont été observées et qualifiées par un ensemble de moyens : microscope à interférométrie, microscope électronique à balayage, microduromètre, goniomètre rayons X pour l'analyse des contraintes résiduelles. L'analyse de l'intégrité des surfaces a permis de mettre en évidence les principaux facteurs influents. La qualité des surfaces produites dépendant de la maîtrise de la température de coupe, une technique de mesure des températures a alors été développée pour une opération de fraisage ; elle est basée sur la technologie des thermocouples. Les essais menés ont permis de déterminer la température en surface et en sous surface ; ces informations sont des éléments importants de validation d'un modèle thermique de la coupe. Enfin, à la suite d'essais de fraisage périphérique et de la mesure des efforts pour différentes conditions de coupe, nous présentons une comparaison entre ces résultats expérimentaux et une modélisation du procédé. La modélisation correspond à une approche thermomécanique de la coupe. En termes d'efforts, la comparaison est tout à fait satisfaisante ; un prolongement de cette approche pour valider l'aspect thermique, est toutefois envisagé.
142

Prévision des flux de chaleur turbulents et pariétaux par des simulations instationnaires pour des écoulements turbulents chauffés

Didorally, S. 06 May 2014 (has links) (PDF)
Cette thèse s'inscrit dans le cadre de l'amélioration des prévisions aérothermiques qui suscite un intérêt croissant de la part des industriels aéronautiques. Elle consiste à évaluer l'apport des méthodes URANS avancées de type SAS dans la prévision des flux de chaleur turbulents et pariétaux pour des écoulements turbulents chauffés. Elle vise également à situer ces approches par rapport à des modèles URANS classiques de type DRSM et à des méthodes hybrides RANS/LES comme la ZDES. Nous avons dans un premier temps proposé une extension de l'approche SAS à un modèle DRSM afin d'obtenir une meilleure restitution des tensions de Reynolds résolues et modélisées. Ce nouveau modèle SAS-DRSM a été implanté dans le code Navier-Stokes elsA de l'ONERA. Nous avons ensuite évalué l'ensemble des approches SAS disponibles avec ce code sur la prévision de deux écoulements aérothermiques rencontrés sur avion dans un compartiment de moteur. Ces études numériques ont montré que les approches SAS améliorent la représentation des écoulements par rapport aux modèles URANS classiques. Elles aboutissent à des écoulements fortement tridimensionnels présentant de nombreuses structures turbulentes. Ces structures induisent un mélange turbulent plus important et permettent alors une meilleure prévision du flux de chaleur pariétal. Par ailleurs, nos travaux ont permis de situer plus clairement les approches de type SAS comme des méthodes plus précises que les méthodes URANS classiques sans augmentation importante de mise en œuvre ou de coût de calcul. Les modèles SAS ne permettent pas de résoudre les plus petites structures caractéristiques du mouvement turbulent par rapport à la ZDES qui montre ici des prévisions supérieures. Le modèle SAS-DRSM offre néanmoins la meilleure alternative de type SAS. Enfin, l'étude du flux de chaleur turbulent semble retrouver le fait que l'hypothèse de nombre de Prandtl turbulent constant classique des modèles URANS n'est pas valable dans toutes les zones de l'écoulement.
143

Détection et classification de cibles multispectrales dans l'infrarouge

Maire, F. 14 February 2014 (has links) (PDF)
Les dispositifs de protection de sites sensibles doivent permettre de détecter des menaces potentielles suffisamment à l'avance pour pouvoir mettre en place une stratégie de défense. Dans cette optique, les méthodes de détection et de reconnaissance d'aéronefs se basant sur des images infrarouge multispectrales doivent être adaptées à des images faiblement résolues et être robustes à la variabilité spectrale et spatiale des cibles. Nous mettons au point dans cette thèse, des méthodes statistiques de détection et de reconnaissance d'aéronefs satisfaisant ces contraintes. Tout d'abord, nous spécifions une méthode de détection d'anomalies pour des images multispectrales, combinant un calcul de vraisemblance spectrale avec une étude sur les ensembles de niveaux de la transformée de Mahalanobis de l'image. Cette méthode ne nécessite aucune information a priori sur les aéronefs et nous permet d'identifier les images contenant des cibles. Ces images sont ensuite considérées comme des réalisations d'un modèle statistique d'observations fluctuant spectralement et spatialement autour de formes caractéristiques inconnues. L'estimation des paramètres de ce modèle est réalisée par une nouvelle méthodologie d'apprentissage séquentiel non supervisé pour des modèles à données manquantes que nous avons développée. La mise au point de ce modèle nous permet in fine de proposer une méthode de reconnaissance de cibles basée sur l'estimateur du maximum de vraisemblance a posteriori. Les résultats encourageants, tant en détection qu'en classification, justifient l'intérêt du développement de dispositifs permettant l'acquisition d'images multispectrales. Ces méthodes nous ont également permis d'identifier les regroupements de bandes spectrales optimales pour la détection et la reconnaissance d'aéronefs faiblement résolus en infrarouge.
144

L'Agriculture et le peuple mapuche / Agriculture and the Mapuche people

Vivallo Pinares, Ángel Gabriel de María 11 May 2011 (has links)
Cette thèse démontre l’existence de l’agriculture comme une activité importantedu peuple mapuche à travers l’histoire, avant la conquête espagnole jusqu’auXXIème siècle. La recherche démontre la capacité des Mapuche à résister etcombattre des ennemis puissants et féroceset également l’intelligenteadaptation à toutes les invasions étrangères, même celles de l’Etat Chilien. Lathèse montre les changements dans l’agriculture et la capacité du peuplemapuche à innover, depuis l’invasion des incas au XVème siècle, la conquêtedes espagnols du XVIème au XIXème siècle et l’occupation chilienne jusqu’auXXIème siècle. Au moment de la conquête espagnole, les Mapuche étaient unpeuple en pleine sédentarisation qui occupait un territoire de façon autonome.Les communautés peuplaient des terrains délimités et pratiquaient uneagriculture de subsistance culturelle, en plus de la cueillette, de la pêche et dela chasse. Selon les concepts de culture de UNESCO (2003), Taylor (1977) etla civilisation de Braudel (1966,1968,1970)), les Mapuches possédaient uneculture et une civilisation.La société était organisée en groupes de lignéesmatricielles, ils avaient une cosmovision, une culture et une organisationsociale. Pendant la colonie, ils adoptent et s’approprient les technologieseuropéennes, ils développent un élevage puissant qui s’étend à la pampaargentine. Cette activité génère un échange commercial puissant et diversifiéentre le territoire mapuche et le Royaume du Chili, fait de produits animaux,d’objets manufacturés et de produits alimentaires. L’échange était défavorableaux Mapuche et dut être régulé par des traités. La République commence àreconnaitre les territoires mapuche, mais ensuite, pour des raisons d’expansionéconomique, elle les envahit à feu et à sang. Les Mapuche résistent mais sontmis en déroute par l’armée chilienne, qui a gagné la guerre du Pacifique. LesMapuches commencent le XXème siècle spoliés de 95% de leurs terres, depresque tout leur élevage puissant, de leurs biens capitaux, des machines, deséquipements, des charrues, des semences et des plantations. Mais surtout ilssont exclus, mis en ségrégation et confrontés à des stratégies d’assimilation etd’extermination. Ils meurent d’inanition, de maladies et d’épidémies. C’est à cemoment qu’est générée la vraie dette historique de l’Etat du Chili envers lesmapuche. Les Réformes Agraireset particulièrement celles de l’Unité Populaire(1970-1973) soulèvent le problème des terres usurpées, elles proposent etmettent en oeuvre des solutions, que la dictature militaire (1973-1990) annule.La Concertation pour la Démocratie (1990-2010) reconnait les spécificités dupeuple mapuche et résout une partie des conflits pour la terre. Actuellement, lesmapuche de la campagne sont confrontés à de puissantes stratégiesd’assimilation et d’extermination de leur culture, cependant au niveau descommunautés rurales, on observe la capacité manifeste du peuple mapuche às’adapter aux changements, résister et imposer les termes de base desconditions nécessaires pour se reconstruire comme peuple originaire du Chili. / This thesis demonstrates that, throughout history, before the Spanish conquestuntil the 21st Century, agriculture has been an important activity of the mapuchepeople. Research conducted points out the ability of the mapuche to resist andbattle against powerful and ferocious foes, and in addition, their intelligentadaptation to foreign invasions, including that of the State of Chile. The thesisdemonstrates the changes that took place in agriculture and the ability of themapuche people to innovate, since the Inca invasion in the 15th century, theSpanish conquest through the 16 to 19th centuries, and the Chilean occupationthat extends reaching the 21st century. At the start of the Spanish conquest,mapuches constituted people that autonomously occupied a territory, were fullysedentary, communities populated clearly delimited areas, and conductedagriculture of cultural subsistence, in addition to harvesting native vegetation,fishing and hunting. Society was matricially organized by lineages, by groups,had a cosmic view, culture and social organization. During the Colony, theyadopt and appropriate European technology, develop a powerful animalhusbandry that extends through the Argentinian pampa; this activity generates astrong and diversified commercial exchange between the mapuche territory andthe Kingdom of Chile, of animal products, handicrafts and food products.Exchange was unfavorable for the mapuche and had to be regulated throughparliaments. The Chilean Republic at first recognized the mapuche territories,but later, for reasons of economic expansion, occupies them through war.Mapuches resist and are defeated by the Chilean army that had recently wonthe Pacific Ocean War against Peru and Bolivia. The mapuche enter the 20thcentury deprived of 95% of their territory, almost the total of their powerfulanimal husbandry, their capital goods, machinery, equipment, annual andperennial crops. But above all, they are excluded, segregated, faced withassimilation and extermination strategies, they die from hunger, diseases andpests. The real historical debt of the State of Chile with the mapuche generatesat that point. Agrarian reforms, in particular that of the Popular Unity (1970-73)political government faces the problem of usurped lands and initiates solutions,later reversed by the Military Government (1973-90). Concertation forDemocracy governments (1990-2010), recognizes the specificities of themapuche people and partially solves land conflicts. At present, rural mapucheface powerful strategies of assimilation and cultural extermination; however, atthe rural communities’ level, the ability of the mapuche people to adapt tochanges, adequate, resist, and impose the basic terms of the conditionsnecessary to reconstruct themselves as a Chilean original people has becomeclearly evident. / Esta tesis demuestra la existencia de la agricultura como actividad importantedel pueblo mapuche a través de la historia antes de la conquista hasta el sigloXXI. La investigación demuestra la capacidad de los mapuches para resistir ycombatir a enemigos poderosos y feroces y además la inteligente adaptación atodas las irrupciones extranjeras incluidas las del Estado de Chile. La tesismuestra los cambios en la agricultura y la capacidad del pueblo mapuche parainnovar, desde la invasión de los incas en el siglo XV, la conquista de losespañoles entre los siglos XVI y XIX y la ocupación chilena hasta llegar alsiglo XXI. Los mapuches al momento de la conquista española eran un puebloque ocupaba un territorio en forma autónoma en plena sedentarización, lascomunidades poblaban terrenos delimitados y desarrollaban agricultura desubsistencia cultural, además de la recolección, la pesca y la caza. La sociedadestaba organizada por linajes matricialmente, por grupos, tenían unacosmovisión, una cultura y una organización social. Durante la colonia, adoptany se apropian de tecnologías europeas, desarrollan una poderosa ganaderíaque se extiende por la pampa Argentina; esta actividad genera un fuerte ydiversificado intercambio comercial entre el territorio mapuche y el Reino deChile, de productos animales, artesanado y productos alimentarios. Elintercambio era desfavorable a los mapuches y debió ser regulado medianteparlamentos. La República comienza reconociendo los territorios mapuche,pero luego, por razones de expansión económica los ocupa a sangre y fuego.Los mapuche resisten y son derrotados por el ejército Chileno que ganó laguerra del Pacifico. Los mapuches entran al siglo XX despojados del 95% desus tierras de casi toda su poderosa ganadería, de sus bienes de capital,maquinas, equipos, arreos, siembras y plantaciones. Pero sobre todo sonexcluidos, segregados enfrentados a estrategias de asimilación y exterminio,mueren de inanición, por enfermedades y por la peste. Allí se genera laverdadera deuda histórica del Estado de Chile con los mapuches. LasReformas Agrarias, especialmente la de la Unidad Popular, levantan elproblema de tierras usurpadas y propones y ejecuta soluciones, que ladictadura militar anula. La Concertación por la Democracia reconoce lasespecificidades del pueblo mapuche y soluciona una parte de los conflictos porla tierra. Actualmente los mapuche del campo enfrentan poderosas estrategiasde asimilación y exterminio de su cultura, sin embargo a nivel de lacomunidades rurales se pone de manifiesto la capacidad del pueblo mapuchepara adaptarse a los cambios, adecuarse, resistir e ir imponiendo los términosbásicos de las condiciones necesarias para reconstruirse como pueblooriginario de Chile.
145

Phénoménologie des mésons B à la recherche d'un signal au-delà du modèle standard / B Mesons Phenomenology to the Search of a Signal Beyond the Standard Model

Hebinger, Jeremy 18 September 2017 (has links)
Durant les dernières décennies, la désintégration induite par une boucle $b o sgamma$, a attiré beaucoup d'attention à cause de sa sensibilité potentielle à la nouvelle physique. Dans le model standard, les transitions $b o sgamma_{L(R)}$ et $overline{b} o overline{s}gamma_{R(L)}$ sont proportionnelles aux coefficients de Wilson $C_7(C'_7)$.La désintégration $B o Kpipigamma$ offre à travers l'analyse angulaire un observable P impaire ($lambda$) et à traversle mélange $B-overline{B}$ un observable CP impaire ($S_{ho Kgamma}$) tous deux étants sensibles au rapport $C'_7/C_7approx m_s/m_b$. La difficulté principale étant que $lambda$ et $S_{ho Kgamma}$ sont accompagnés par un facteur de dilution provenant de la désintégration forte. Ce travail est centré sur l'éstimation et la modélisation de ces facteurs de dilution. La transition $B o Kpipigamma$ se produit en tant quetrois désintégrations successives.La transition faible $B o K_{res}gamma$ est suivie par la désintégration forte en trois corps de la résonance kaonic $K_{res} o Kpipi$ via trois états intermediaires distincts $ho K$, $K^*pi$ et $kappapi$.L'observable $S_{ho Kgamma}$ est accessible avec l'état final $K^0pi^+pi^-gamma$, mais la présence de $K^{*pm}pi^mp$ et $kappa^pmpi^mp$, n'étants pas état propre de CP, induit le facteur de dilution $D$.Pour résoudre ce problème, nous dérivons l'expression de $D$ en fonction des ondes partielles $ho K$, $K^*pi$ et $kappapi$ et en incluant les résonances kaonic $K_1(1270/1400), K^*(1410)$ et $K_2^*(1430)$. Afin de calculer le facteur de dilution, les ondes partielles peuvent être extraites avec l'état final $K^{pm}pi^{mp}pi^{pm}gamma$, où la sensibilité expérimentale est plus élevée. Ensuite, nous proposons une nouvelle méthode, indépendante du model, pour déterminer $D$, qui consiste a extraire le facteur de dilution independamment de $S_{ho Kgamma}$ en utilisant des états finaux avec un pion neutre tels que $K^+pi^-pi^0gamma$. En exploitant des données existantes avec $m_{Kpipi} <1.8;$GeV$/c^2$, nous obtenons $D=0.92pm0.17$.Lorsque l'on considère juste $K_1(1270/1400)$ et $K^*(1410)$, $lambda$ peut être extrait de la distribution angulaire and de Dalitz avec une précision de l'ordre de $pm 10%$ pour un echantillon de $5.10^3$ évènements générés à l'aide de la méthode Monté Carlo. Mais cela demande une bonne connaissance de différentes quantités importantes pour la désintégration forte telles que l'angle de mélange de $K_1$, les rapports de branchement individuel $B o K_{res}gamma$ et les phases relatives. Nous montrons que certains de ces paramètres et $lambda$ peuvent être simultanément ajustés avec une perte de précision de juste quelques pourcents. Puis nous dérivons comment, en utilisant seulement la distribution angulaire, il est possible d'annuler partiellement les contributions provenants de la désintégration forte afin d'obtenir une limite inférieure pour $|lambda|$. / Over the last decades, the loop induced decay $b o sgamma$ has attracted a considerable amount of attention due to its potential sensitivity to new physics. In the standard model, the processes $b o sgamma_{L(R)}$ and $overline{b} o overline{s}gamma_{R(L)}$ are proportional to the Wilson coefficients $C_7(C'_7)$. The decay $B o Kpipigamma$ provides via angular analysis a parity odd observable ($lambda$) and via $B-overline{B}$ mixing a CP odd observable ($S_{ho Kgamma}$) both sensitive to the ratio $C'_7/C_7approx m_s/m_b$. The main issue is that both $lambda$ and $S_{ho Kgamma}$ are accompanied by a dilution factor originating from the strong decay. This work is focused on the estimation and modelisation of those dilution factors.The transition $B o Kpipigamma$ occurs as three subsequent decays. The weak process $B o K_{res}gamma$ is followed by the strong 3-body decay of the kaonic resonance $K_{res} o Kpipi$ via three distinct intermediate states $ho K$, $K^*pi$ and $kappapi$.The observable $S_{ho Kgamma}$ is accessible with the final state $K^0pi^+pi^-gamma$, but the presence of non CP eigenstates $K^{*pm}pi^mp$ and $kappa^pmpi^mp$ induce the dilution factor $D$.To deal with this inconvenience, we derive the expression of $D$ in terms of the partial waves $ho K$, $K^*pi$ and $kappapi$ and including the koanic resonances $K_1(1270/1400), K^*(1410)$ and $K_2^*(1430)$. The partial waves can then be fitted using the final state $K^{pm}pi^{mp}pi^{pm}gamma$, where the experimental sensitivity is higher, in order the compute the dilution factor. Then we propose a new model independent method to determine $D$, which consist in extracting the dilution factor independently of $S_{ho Kgamma}$ using final states with one neutral pion such as $K^+pi^-pi^0gamma$. Exploiting existing data with $m_{Kpipi} <1.8;$GeV$/c^2$, we obtained $D=0.92pm0.17$.When considering only $K_1(1270/1400)$ and $K^*(1410)$, fitting the angular and Dalitz plot distribution allows to extract $lambda$ with an accuracy of the order of $pm 10%$ for a sample of $5.10^3$ Monte Carlo generated events. But this require a good knowledge of different quantities of importance in the strong decay such as the $K_1$ mixing angle, individual $B o K_{res}gamma$ branching ratios and relative phases. We show that some of those parameters can simultaneously fitted with $lambda$ with a loss of accuracy of just a few percent. We derive how, using only the angular distribution, one can partially cancel contribution from the strong decay and obtain a lower bound on $|lambda|$.
146

Calcul numérique de la réponse acoustique d'un aubage soumis à un sillage turbulent

Clair, V. 26 November 2013 (has links) (PDF)
Le bruit généré par l'impact du sillage de la soufflante avec les aubes du redresseur est une source prédominante des turboréacteurs en conditions d'approche, et la composante à large-bande contribue fortement au niveau sonore global. Une méthode numérique basée sur un code CAA résolvant les équations d'Euler est développée dans cette thèse afin d'estimer le bruit d'interaction entre un sillage turbulent et un aubage de géométrie quelconque. Le sillage amont est modélisé à l'aide d'une méthode stochastique supposant un spectre de turbulence homogène isotrope et une représentation spatiale simplifiée du champ de vitesse. Ces fluctuations de vitesse sont injectées dans le code CAA via des conditions aux limites adéquates. La méthode ainsi mise en place est validée dans un premier temps sur des cas d'interaction avec une plaque plane en comparant les résultats numériques aux solutions du modèle d'Amiet. Un chaînage avec une méthode intégrale est aussi réalisé pour estimer le rayonnement acoustique. La méthode numérique est ensuite mise en œuvre pour simuler la réponse acoustique d'un profil isolé avec un bord d'attaque ondulé conçu et testé dans la soufflerie de l'ISVR dans le cadre du projet européen FLOCON. Enfin, la méthodologie est étendue à des configurations de grilles d'aubes annulaires en conduit. Après une étape de validation sur des cas monofréquentiels issus d'un benchmark CAA de la NASA, des simulations large bande sont réalisées, tout d'abord sur une configuration de grille d'aubes sans incidence (écoulement axial uniforme) testée en soufflerie au LMFA, puis sur une configuration plus complexe de grille d'aubes non chargée en écoulement tournant proposée par Atassi.
147

Caracterisation et modelisation du bruit basse frequence des composants bipolaires et a effet de champ pour applications micro-ondes

RENNANE, Abdelali 17 December 2004 (has links) (PDF)
Le travail presente dans ce memoire a pour objet principal l'etude des phenomenes de bruit du fond electrique basse frequence dans des transistors pour applications micro-ondes de type effet de champ (HEMT) sur SiGe et GaN ainsi que de type bipolaire a heterojonction (TBH) a base de silicium-germanium (SiGe). Dans un premier chapitre nous rappelons les caracteristiques et proprietes essentielles des sources de bruit en exces que l'on rencontre generalement dans ce type de composants et proposons une description des bancs de mesure de bruit mis en oeuvre. Dans les deuxieme et troisieme chapitres, nous proposons une analyse detaillee de l'evolution du bruit observe en fonction de la frequence, de la polarisation, et de la geometrie sur des HEMTs des deux familles technologiques SiGe et GaN. Nous avons en particulier etudie les deux generateurs de bruit en courant en entree et en sortie respectivement iG et iD ainsi que leur correlation. Ceci nous a permis, en nous appuyant aussi sur l'analyse des caracteristiques statiques des transistors, d'identifier les diverses sources de bruit en exces presentes dans ces composants et de faire des hypotheses sur leurs origines. Le dernier chapitre est consacre aux TBHs a base de SiGe. Dans une premiere partie nous etablissons comment varie le bruit basse frequence de TBHs, fabriques par un premier constructeur, en fonction de la polarisation, de la geometrie et de la fraction molaire de germanium. Dans une seconde partie nous mettons en evidence, d'apres nos observations effectuees sur des TBHs fabriques par un second constructeur, l'impact important sur le bruit BF de stress thermiques appliques sur ce type de composants.
148

SIAAM: Isolation dynamique pour une machine abstraite à base d'acteurs

Sabah, Quentin 04 December 2013 (has links) (PDF)
Dans cette thèse nous étudions l'isolation mémoire et les mesures de communications efficaces par passage de message dans le contexte des environnements à mémoire partagée et la programmation orientée-objets. L'état de l'art en la matière se base presque exclusivement sur deux techniques complémentaires dites de propriété des objets (ownership) et d'unicité de références (reference uniqueness) afin d'adresser les problèmes de sécurité dans les programmes concurrents. Il est frappant de constater que la grande majorité des travaux existants emploient des méthodes de vérification statique des programmes, qui requirent soit un effort d'annotations soit l'introduction de fortes contraintes sur la forme et les références vers messages échangés. Notre contribution avec SIAAM est la démonstration d'une solution d'isolation réalisée uniquement à l'exécution et basée sur le modèle de programmation par acteurs. Cette solution purement dynamique ne nécessite ni annotations ni vérification statique des programmes. SIAAM permet la communication sans copie de messages de forme arbitraire. Nous présentons la sémantique formelle de SIAAM ainsi qu'une preuve d'isolation vérifiée avec l'assistant COQ. L'implantation du modèle de programmation pour le langage Java est réalisé dans la machine virtuelle JikesRVM. Enfin nous décrivons un ensemble d'analyses statiques qui réduit automatiquement le cout à l'exécution de notre approche.
149

Modélisation du transfert ultra-rapide d'excitons dans les semiconducteurs organiques à base de fluorene

Denis, Jean-Christophe 03 December 2013 (has links) (PDF)
Nous présentons une étude théorique de la dynamique des excitons en solutions et films pour des molécules composées de fluorenes, complétée par des résultats expérimentaux fourni par nos collègues de l'université de St Andrews. Nous introduisons l'importance et l'intérêt d'une telle étude, et les méthodes que nous utilisons pour modéliser la photo-physique ultra-rapide (pico- et sous-picoseconde) des excitons dans ces systèmes. Nous démontrons ensuite que le transfert d'exciton en solution de molécules faites d'oligofluorenes, branchées en forme d'étoile, a pour origine la relaxation moléculaire, et à une échelle de temps plus lente, le transfert de Forster entre les bars de l'étoile. Les oligofluorenes droits ne montrent pas ce transfert ultra-rapide en solution. Enfin, nous introduisons des améliorations à la théorie standard du dipole linéaire que nous utilisons pour construire un modèle microscopique de la dynamique ultra-rapide des excitons dans les films de polyfluorenes. Nos résultats sont en très bon accord avec les expériences et permettent de gagner des connaissances détaillés des procédés de transfert d'excitons dans ces matériaux.
150

[en] THE EFFICIENCY OF THE COMPANY GRAPHIC SIGN: A FORM ACCLAIMED BY THE DESIGN FIELD ON THE LEVELS OF MODERN VISUAL CULTURE / [fr] L’EFFICACITÉ DU SIGNE GRAPHIQUE D’UNE ENTREPRISE: FORME CONSACRÉE PAR LE CHAMP DU DESIGN DANS LES INSTANCES DE LA CULTURE VISUELLE MODERNE / [pt] A EFICIÊNCIA DO SIGNO GRÁFICO EMPRESARIAL: FORMA CONSAGRADA PELO CAMPO DO DESIGN NAS INSTÂNCIAS DA CULTURA VISUAL MODERNA

MARCELO VIANNA LACERDA DE ALMEIDA 05 June 2013 (has links)
[pt] Quando se visualiza a profusão de signos gráficos de empresas, atualmente expostos no meio social, se manifestam várias indagações, dentre as quais uma é fundamental: o que possibilita a estas imagens gráficas deterem tamanha força, capaz de permitir o seu reconhecimento como representante da empresa a que pertence, ou como sinal de indicação da marca de produtos a que se devota o consumo? O propósito deste trabalho de pesquisa é apresentar o entendimento de como o signo gráfico empresarial atinge essa força, que aqui se entende por eficiência. Tal como efetuamos nossa análise do fenômeno, a eficiência do signo gráfico empresarial não pode ser compreendida a partir das características técnicas de sua configuração, mas pela construção cultural de um campo simbólico de produção - o campo do design. Esse fenômeno somente foi possível porque ocorreram transformações sociais de grande proporção, que aprofundaram sobremaneira a ruptura inicial de instauração da Idade Moderna. Uma delas foi a alteração do modelo de visualidade no século XIX, a qual possibilitou ao campo do design efetivar seus princípios legítimos de produção de imagens gráficas, e assim justificar, na sociedade, o domínio de sua fabricação. Outra alteração consistiu na mudança do modelo de satisfação subjetiva, que forneceu as bases do insaciável consumo moderno. Essa mudança ofereceu oportunidade para que se instituíssem a importância das marcas - imagens projetadas a partir de valores atribuídos aos empreendimentos - e a força de seus signos gráficos. Para a articulação dessas duas alterações com a análise da eficiência do signo gráfico, foram empregados os seguintes autores: Jonathan Crary e Colin Campbell, que contribuíram respectivamente com indicações relevantes das alterações que permitiram aos indivíduos das sociedades modernas, visualizar e consumir de maneira autônoma. Na análise do funcionamento do campo do design, utilizou-se um autor fundamental, Pierre Bourdieu, que explicita, por meio de sua teoria de produção dos campos simbólicos, a maneira pela qual um bem simbólico - por exemplo, uma imagem gráfica - alcança o reconhecimento como legítimo. A partir dessa produção simbólica do campo, é possível compreender que a eficiência do signo gráfico empresarial depende de sua legitimação, levada a efeito de maneira precisa entre os diversos agentes e instituições das instâncias desse campo autônomo do design, em luta constante por legitimidade na hierarquia social. / [en] When one visualizes the profusion of company graphic signs currently displayed in the social area, several questions arise, but nevertheless one is basic: what enables these graphic images to have so much strength which allows them to be recognized as representative of the companies to which they belong or as sign indicative of the trademarks of products whose consumption is desired? The purpose of this research work is to present the understanding of how the company graphic sign attains this strength, which in this work is understood as efficiency. As we perform our analysis of the phenomenon, the efficiency of the company graphic sign cannot be comprehended based on the technical characteristics of its configuration, but rather as the cultural construction of a symbolic field of production – the design field. This phenomenon was possible only because large-scale social transformations took place which greatly deepened the initial breakthrough of the establishment of the Modern Age. One of these was the change in the model for visualizing in the 19th century which enabled the design field to achieve its legitimate principles of graphic image production and thus justify to society the mastery of their production. Another change involved the shift in the model of subjective satisfaction, which furnished the bases for modern insatiable consumption. This change offered the opportunity for instituting the importance of trademarks – images projected based on values attributed to the undertakings – and the strength of their graphic signs. For the articulation of these two changes with the analysis of the graphic sign´s efficiency, the following authors were utilized: Jonathan Crary and Colin Campbell, who contributed respectively with relevant indications of these changes which allowed individuals in modern societies to visualize and consume in an independent way. In the analysis of the design field´s functioning, a fundamental author was utilized: Pierre Bourdieu, who makes explicit, by means of his theory of symbolic field production, the way in which a symbolic asset – for example, a graphic image – achieves recognition as legitimate. Based on this symbolic field production, it is possible to comprehend that the efficiency of the company graphic sign depends on its legitimizing, carried out in a precise way among the various agents and institutions on the levels of this independent field of design, in a constant struggle for legitimacy in the social hierarchy. / [fr] Quand on visualise la profusion des signes graphiques des entreprises actuellement exposés dans la société, plusieurs indagations se manifestent, cependant, une nous semble fondamentale: qu’est-ce que possibilite à ces images graphiques d’avoir telle force qui permet que l’on les reconaisse comme représentant de l’entreprise à laquelle elles appartiennent ou même comme indication de la marque des produits de consommation? L’objectif de ce travail est de comprendre comment le signe graphique d’une entreprise gagne cette force, qui dans ce travail on appelera efficacité. Selon la façon dont nous avons effectué notre analyse de ce phénomène, l’efficacité du signe graphique d’une entreprise ne peut pas être comprise à partir des caractéristiques techniques de sa configuration, mais à partir de la construction culturelle d’un champ symbolique de production – le champ du design. Cela a été possible grâce aux grandes transformations sociales qui ont aprofondi la rupture iniciale d’instauration de l’âge moderne. Une de ces transformations fût le changement de modèle de visualité au XIXème siècle qui a possibilité au champ du design d’effectuer ses príncipes légitimes de production des images graphiques et ainsi de justifier dans la société le domaine de sa fabrication. Une autre tranformation fût le changement de modèle de satisfaction subjective qui a donné les bases de la consommation exagérée de la modernité. Ce changement offrit l’opportunité de l’institution et de l’importance des marques – images projetées à partir des valeurs attribuées aux entreprises – et la force de leurs signes graphiques. Pour articuler ces deux changements deux auteurs ont été utilisés: Jonathan Crary et Colin Campbell qui ont fourni des indications relevantes à propos de ces changements qui permirent aux individus des sociétés modernes de visualiser et de consommer de manière autonome. Dans l’analyse du fonctionnement du champ du design, on a utilisé un auteur fondamental, Pierre Bourdieu qui explicite à travers sa théorie du champ de production symbolique, la façon dont un bien symbolique, une image graphique par exemple, obtient la reconnaissance comme légitime. À partir de cette production symbolique du champ, il est possible de comprendre que l’efficacité du signe graphique d’une entreprise dépend de sa propre légitimation parmi plusieurs agents et institutions de ce champ autonome du design, en lutte pour la légitimation dans l’hiérarchie sociale.

Page generated in 0.0476 seconds