231 |
Mathematical programming methods for complex cutting problems / Méthodes de programmation mathématiques pour des problèmes complexes de découpeViaud, Quentin 11 December 2018 (has links)
Cette thèse s’intéresse à un problème de bin-packing en deux dimensions avec des défauts sur les bins rencontré dans l’industrie verrière. Les plans de découpe sont guillotine 4-stage exact, les objets à couper sans défauts.Une possible résolution utilise la décomposition de Dantzig-Wolfe puis une génération de colonnes et un branch-and-price. Cela est impossible dans notre cas du fait d’instances de trop grande taille. Nous résolvons d’abord le problème de pricing sans défauts par un algorithme incrémental de labelling basé sur un programme dynamique (DP), représenté par un problème de flot dans un hypergraphe. Notre méthode est générique pour les problèmes de sac-à-dos guillotine mais ne résout pas de larges instances en un temps de calcul raisonnable. Nous résolvons alors le problème de bin-packing sans défauts grâce à un DP et une heuristique de diving. Le DP génère des colonnes “non propres”,ne pouvant pas participer à une solution entière. Nous adaptons le diving pour ce cas sans perte d’efficacité. Nous l’étendons alors au cas avec défauts. Nous réparons d’abord heuristiquement une solution du problème sans défauts. La fixation des colonnes dans le diving sans-défaut est ensuite modifiée pour gérer les défauts. Les résultats industriels valident nos méthodes. / This thesis deals with a two-dimensional bin-packing problem with defects on bins from the glass industry. Cutting patterns have to be exact 4-stage guillotine and items defect-free. A standard way to solve it isto use Dantzig-Wolfe reformulation with column generation and branch-and price.This is impossible in our case due to large instance size. We first study and solve the defect-free pricing problem with an incremental labelling algorithm based on a dynamic program (DP), represented as a flow problem in a hypergraph. Our method is generic for guillotine knapsack problems but fails to solve large instance in a short amount of time. Instead we solve the defect freebin-packing problem with a DP and a diving heuristic. This DP generatesnon-proper columns, cutting patterns that cannot be in an integer solution.We adapt standard diving heuristic to this “non-proper” case while keeping itseffectiveness. We then extend the diving heuristic to deal with defects. Ourfirst proposal heuristically repairs a given defect-free solution. Secondly the defect-free diving heuristic is adjusted to handle defects during column fixing.Our industrial results outline the effectiveness of our methods.
|
232 |
Caractérisation du phénotype hypercoagulable et de ses déterminants dans l’insuffisance cardiaque aiguë / Characterization of the hypercoagulable phenotype in patients with acute heart failurePopovic, Batric 12 April 2016 (has links)
Malgré le bénéfice observé par de nouvelles thérapeutiques, le devenir des patients hospitalisés pour une insuffisance cardiaque aigue (ICA) reste sombre. Ce pronostic péjoratif est en partie influencé par la survenue fréquente d’événements thrombotiques qui sont à parfois directement à l’origine du décès des patients. Les mécanismes physiopathologiques de cette hypercoagulabilité pourraient être considérés comme des cibles thérapeutiques d’intérêt. L’objectif de ce travail est de démontrer qu’une défaillance des systèmes biologiques contrôlant la thrombose est impliquée dans la physiopathologie de l’ICA. Notre travail met en évidence la présence d’une hypercoagulabilité de ces patients qui se caractérise par une génération de thrombine exagérée pendant la phase aigüe de la décompensation cardiaque et qui se normalise ensuite à distance. Cette élévation de la génération de thrombine est la conséquence d’une augmentation du nombre de microparticules procoagulantes circulantes et d’une altération de l'activité d’un système naturel anticoagulant représenté par la voie de la protéine C / Acute heart failure (AHF) is a syndrome with an increasing prevalence and a high mortality whose management is challenging given the incomplete understanding of its pathophysiology. This doomed prognosis is partly influenced by thromboembolic events and is often the cause of death. The present study demonstrates a significant shift towards a prothrombotic biological profile at the acute phase of decompensated heart failure. Using a comprehensive exploration of the dynamics of thrombin generation and inhibition, we found an increased overall thrombin-generating capacity in AHF patients during hospital course. Both increased in circulating procoagulant microparticles and impairment in the downregulation of thrombin generation by the anticoagulant C protein pathway represent mechanisms contributing to this hypercoagulable state in AHF
|
233 |
Rôle des cellules musculaires lisses vasculaires et des intégrines dans la génération de thrombine dans le compartiment sanguin et vasculaire / Role of vascular smooth muscle cells and integrins in the thrombin generation on vascular and blood compartmentsMohamadi, Amel 21 October 2016 (has links)
Une des propriétés majeures de la thrombine est le caractère pléiotropique de ses effets physiologiques et pathologiques, à la fois dans le compartiment sanguin et tissulaire de la paroi. Notre hypothèse est que les changements phénotypiques des cellules musculaires lisses vasculaires (CMLVs) participent aux modifications des propriétés pro- et anticoagulantes de la paroi. Les objectifs ont été d’étudier : (i) le rôle prothrombotique des CMLVs dans l’hypertension chez le rat SHR et le syndrome métabolique (Smet) chez le rat Zucker, (ii) les mécanismes de régulation de la génération de thrombine par l’intégrine αvβ3 des CMLVs (récepteur de la pro- thrombine), et de développer des glyco-peptides fluorés pour l’imagerie permettant d’évaluer l’activité de cette intégrine dans la paroi, et (iii) d’évaluer l’effet de variants génétiques du locus 9p21 de susceptibilité aux maladies coronariennes sur le phénotype de coagulation. Résultats : Les CMLVs sont responsables du phénotype prothrombotique de la paroi artérielle associée à l’hypertension chez le rat SHR. Les acides gras libres et l’inflammation vasculaire augmentent la génération de thrombine dans les 2 compartiments ce qui se traduit par une fibrinolyse diminuée et une activité métallo-protéinase augmentée chez Le rat Zucker. L’invalidation de l’intégrine αvβ3 des CMLVs diminue la génération de thrombine dans les 2 compartiments et ralentit la survenue de thrombose carotidienne en réponse à une stimulation l’angiotensine. Le traçage de l’intégrine αvβ3 par des glyco-peptides comprenant une séquence RGD a été validé au niveau plaquettaire et des CMLVs. La souris invalidée pour le locus 9p21 exprime un phénotype pro-thrombotique qui est retrouvé chez l’homme pour certains variants (rs10120688 et rs1333040) dans ce locus. En conclusion, la CML est un support cellulaire clé de réactions procoagulants et pourrait être impliqué via les intégrines et/ou ses récepteurs pour la thrombine dans un couplage thrombine tissulaire – rigidité cellulaire dans les pathologies vasculaires / One of the major properties of thrombin is the pleiotropic character of its physiological and pathological effects, both in the blood compartment and the tissue of the arterial wall. We hypothesized that the phenotypic changes of vascular smooth muscle cells (VSMCs) are involved in modifications of pro- and anti-coagulant properties of the arterial wall. The objectives were to examine: (i) the prothrombotic role of VSMCs in hypertension of SHR rats and in the metabolic syndrome (Smet) of Zucker rats, (ii) regulatory mechanisms of thrombin generation by integrin αvβ3 of VSMCs (a pro-thrombin receptor), and to develop fluorinated glyco- peptides for imaging, to assess the activity of this integrin in the wall, and (iii) evaluate the effect of genetic variants of the 9p21 locus that give a susceptibility to coronary heart disease on the coagulation phenotype. Results: The VSMCs are responsible for the prothrombotic phenotype of the arterial wall associated with hypertension in SHR rats. Free fatty acids and vascular inflammation increase thrombin generation in the two compartments resulting in decreased fibrinolysis and an increased metallo-proteinase activity in the Zucker rats. The invalidation of integrin αvβ3 of VSMCs reduced thrombin generation in the two compartments and slowed angiotensin-induced carotid thrombosis. Tracing of the integrin αvβ3 by glyco-peptides including RGD was validated at the platelet level and VSMCs. Mice invalidated for the 9p21 locus express a prothrombotic phenotype that is found in humans for certain variants (rs10120688 and rs1333040) in this locus. In conclusion, the VSMC is a cell supported key to procoagulant reactions and may be involved via integrins and/or its receptors for thrombin in the ”tissular thrombin - cell rigidity” coupling in vascular pathologies
|
234 |
Fiabilité et sûreté des systèmes informatiques critiques / Reliability and Safety of Critical Device Software SystemsSingh, Neeraj Kumar 15 November 2011 (has links)
Les systèmes informatiques envahissent notre vie quotidienne et sont devenus des éléments essentiels de chacun de nos instants de vie. La technologie de l'information est un secteur d'activités offrant des opportunités considérables pour l'innovation et cet aspect paraît sans limite. Cependant, des systèmes à logiciel intégré ont donné des résultats décevants. Selon les constats, ils étaient non fiables, parfois dangereux et ne fournissaient pas les résultats attendus. La faiblesse des pratiques de développement constitue la principale raison des échecs de ces systèmes. Ceci est dû à la complexité des logiciels modernes et au manque de connaissances adéquates et propres. Le développement logiciel fournit un cadre contribuant à simplifier la conception de systèmes complexes, afin d'en obtenir une meilleure compréhension et d'assurer une très grande qualité à un coût moindre. Dans les domaines de l'automatique, de la surveillance médicale, de l'avionique..., les systèmes embarqués hautement critiques sont candidats aux erreurs pouvant conduire à des conséquences graves en cas d'échecs. La thèse vise à résoudre ce problème, en fournissant un ensemble de techniques, d'outils et un cadre pour développer des systèmes hautement critiques, en utilisant des techniques formelles à partir de l'analyse des exigences jusqu'à la production automatique de code source, en considérant plusieurs niveaux intermédiaires. Elle est structurée en deux parties: d'une part des techniques et des outils et d'autre part des études de cas. La partie concernant des techniques et des outils présente une structure intégrant un animateur de modèles en temps-réel, un cadre de correction de modèles et le concept de charte de raffinement, un cadre de modélisation en vue de la certification, un modèle du coeur pour la modélisation en boucle fermée et des outils de générations automatiques de code. Ces cadres et outils sont utilisés pour développer les systèmes critiques à partir de l'analyse des exigences jusqu'à la production du code, en vérifiant et en validant les étapes intermédiaires en vue de fournir un modèle formel correct satisfaisant les propriétés souhaitées attendues au niveau le plus concret. L'introduction de nouveaux outils concourt à améliorer la vérification des propriétés souhaitées qui ne sont pas apparentes aux étapes initiales du développement du système. Nous évaluons les propositions faites au travers de cas d'études du domaine médical et du domaine des transports. De plus, le travail de cette thèse a étudié la représentation formelle des protocoles médicaux, afin d'améliorer les protocoles existants. Nous avons complètement formalisé un protocole réel d'interprétation des ECG, en vue d'analyser si la formalisation était conforme à certaines propriétés relevant du protocole. Le processus de vérification formelle a mis en évidence des anomalies dans les protocoles existants. Nous avons aussi découvert une structure hiérarchique pour une interprétation efficace permettant de découvrir un ensemble de conditions qui peuvent être utiles pour diagnostiquer des maladies particulières à un stade précoce. L'objectif principal du formalisme développé est de tester la correction et la consistance du protocole médical / Software systems are pervasive in all walks of our life and have become an essential part of our daily life. Information technology is one major area, which provides powerful and adaptable opportunities for innovation, and it seems boundless. However, systems developed using computer-based logic have produced disappointing results. According to stakeholders, they are unreliable, at times dangerous, and fail to provide the desired outcomes. Most significant reasons of system failures are the poor development practices for system development. This is due to the complex nature of modern software and lack of adequate and proper understanding. Software development provides a framework for simplifying the complex system to get a better understanding and to develop the higher fidelity quality systems at lower cost. Highly embedded critical systems, in areas such as automation, medical surveillance, avionics, etc., are susceptible to errors, which can lead to grave consequences in case of failures. This thesis intends to contribute to further the use of formal techniques for the development computing systems with high integrity. Specifically, it addresses that formal methods are not well integrated into established critical systems development processes by defining a new development life-cycle, and a set of associated techniques and tools to develop highly critical systems using formal techniques from requirements analysis to automatic source code generation using several intermediate layers with rigorous safety assessment approach. The approach has been realised using the Event-B formalism. This thesis has mainly two parts: techniques and tools and case studies. The techniques and tools section consists of development life-cycle methodology, a framework for real-time animator, refinement chart, a set of automatic code generation tools and formal logic based heart model for close loop modeling. New development methodology, and a set of associated techniques and tools are used for developing the critical systems from requirements analysis to code implementation, where verification and validation tasks are used as intermediate layers for providing a correct formal model with desired system behavior at the concrete level. Introducing new tools help to verify desired properties, which are hidden at the early stage of the system development. We also critically evaluate the proposed development methodology and developed techniques and tools through case studies in the medical and automotive domains. In addition, the thesis work tries to address the formal representation of medical protocols, which is useful for improving the existing medical protocols. We have fully formalised a real-world medical protocol (ECG interpretation) to analyse whether the formalisation complies with certain medically relevant protocol properties. The formal verification process has discovered a number of anomalies in the existing protocols. We have also discovered a hierarchical structure for the ECG interpretation efficiently that helps to find a set of conditions that can be very helpful to diagnose particular disease at the early stage. The main objective of the developed formalism is to test correctness and consistency of the medical protocol
|
235 |
Quelle prise en compte des dynamiques urbaines dans la prévision de la demande de transport ? / How well are urban dynamics taken into account in travel demand forecasting?Cabrera Delgado, Jorge 01 July 2013 (has links)
Dans la pratique de la planification urbaine, la prévision de la demande de transport fait en général appel au modèle à quatre étapes (génération, distribution, répartition modale et affectation), malgré des avancées théoriques considérables dans le domaine. Cette persistance s’explique par une facilité relative de mise en oeuvre, liée notamment à la forme des données disponibles et susceptibles d’alimenter les modèles. Cependant, la nature statique de l’approche pose des interrogations quant à sa pertinence pour faire des prévisions de moyen-long terme. Cette thèse étudie, la validité de l’hypothèse de stabilité temporelle des trois premières étapes du modèle de prévision. Pour ce faire, en prenant l’agglomération lyonnaise comme terrain d’étude, nous avons codifié des réseaux routiers et de transports en commun à différentes dates (1985, 1995 et 2006). Cette donne, généralement indisponible, combinée aux enquêtes ménages déplacements correspondantes, nous permet de calibrer les trois premières étapes du modèle traditionnel et de tester leur capacité prédictive. Pour les modèles de génération, on note des prévisions acceptables à un horizon de 10 ans. À 20 ans, certaines évolutions dans les styles de vie se sont traduites par une baisse du nombre moyen de sorties pour le motif travail, que les modèles traditionnels ne permettent pas de prévoir complètement. Au niveau de la distribution, l’allongement des distances entre lieux de réalisation de certaines activités et le lieu de domicile peut être relativement bien reproduit par des modèles gravitaires avec des paramètres stables dans le temps. Au niveau de la répartition modale, les paramètres ne sont pas stables et les modèles estimés n’auraient pas permis de prévoir le regain de parts de marché des transports en commun observé ces dernières années. / In the practice of urban planning, travel demand forecasts are generally obtained by using the four-step model (generation, distribution, modal split and assignment), despite considerable theoretical advances in the field. This persistence can be explained by the relative ease of implementation of the four-step modelling sequence, which is related, in particular, to the kind of data available that could be used as an input in a model. However, the static nature of the approach raises questions as it pertains to its relevance in producing medium and long range forecasts. This thesis investigates the validity of the hypothesis of temporal stability of the parameters of the first three stages of the traditional forecasting sequence. To do this, taking the Lyon conurbation as our case study, we coded the road and transit networks at different points in time (1985, 1995 and 2006). We then combine this temporal data, which is generally unavailable, with the corresponding household travel surveys in order to calibrate the first three steps of the traditional model and test their predictive ability. For the generation models tested, we note acceptable performance for a 10-year forecast. For a 20-year forecast, some changes in lifestyles have resulted in a decrease in the average number of work trips that traditional models do not predict accurately. Regarding trip distribution, the increase in travel distances observed for certain purposes is reproduced fairly well by the gravity model. At the modal split level, the parameters are not stable and the estimated models would be unable to predict accurately the recent increase in the market share of public transport.
|
236 |
Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks : and its application to linear algebra basic blocksNajahi, Mohamed amine 10 December 2014 (has links)
Pour réduire les coûts des systèmes embarqués, ces derniers sont livrés avec des micro-processeurs peu puissants. Ces processeurs sont dédiés à l'exécution de tâches calculatoires dont certaines, comme la transformée de Fourier rapide, peuvent s'avérer exigeantes en termes de ressources de calcul. Afin que les implémentations de ces algorithmes soient efficaces, les programmeurs utilisent l'arithmétique à virgule fixe qui est plus adaptée aux processeurs dépourvus d'unité flottante. Cependant, ils se retrouvent confrontés à deux difficultés: D'abord, coder en virgule fixe est fastidieux et exige que le programmeur gère tous les détails arithmétiques. Ensuite, et en raison de la faible dynamique des nombres à virgule fixe par rapport aux nombres flottants, les calculs en fixe sont souvent perçus comme intrinsèquement peu précis. La première partie de cette thèse propose une méthodologie pour dépasser ces deux limitations. Elle montre comment concevoir et mettre en œuvre des outils pour générer automatiquement des programmes en virgule fixe. Ensuite, afin de rassurer l'utilisateur quant à la qualité numérique des codes synthétisés, des certificats sont générés qui fournissent des bornes sur les erreurs d'arrondi. La deuxième partie de cette thèse est dédiée à l'étude des compromis lors de la génération de programmes en virgule fixe pour les briques d'algèbre linéaire. Des données expérimentales y sont fournies sur la synthèse de code pour la multiplication et l'inversion matricielles. / To be cost effective, embedded systems are shipped with low-end micro-processors. These processors are dedicated to one or few tasks that are highly demanding on computational resources. Examples of widely deployed tasks include the fast Fourier transform, convolutions, and digital filters. For these tasks to run efficiently, embedded systems programmers favor fixed-point arithmetic over the standardized and costly floating-point arithmetic. However, they are faced with two difficulties: First, writing fixed-point codes is tedious and requires that the programmer must be in charge of every arithmetical detail. Second, because of the low dynamic range of fixed-point numbers compared to floating-point numbers, there is a persistent belief that fixed-point computations are inherently inaccurate. The first part of this thesis addresses these two limitations as follows: It shows how to design and implement tools to automatically synthesize fixed-point programs. Next, to strengthen the user's confidence in the synthesized codes, analytic methods are suggested to generate certificates. These certificates can be checked using a formal verification tool, and assert that the rounding errors of the generated codes are indeed below a given threshold. The second part of the thesis is a study of the trade-offs involved when generating fixed-point code for linear algebra basic blocks. It gives experimental data on fixed-point synthesis for matrix multiplication and matrix inversion through Cholesky decomposition.
|
237 |
Programmation de mouvements de locomotion et manipulation pour robots humanoïdes et expérimentations / Programming humanoid robots for locomotion and manipulation with experimentsVaillant, Joris 28 May 2015 (has links)
Cette thèse propose une approche pour générer un mouvement corps complet avec contacts non coplanaires, permettant à un robot de se déplacer dans un environnement, de manipuler des objets complexes ou de collaborer avec différents agents. Les méthodes développées dans cette thèse tentent de prendre en compte une grande variété de robots, de l'humanoïde au manipulateur à base fixe en passant par les objets sous actionnés. En premier lieu, nous abordons le problème du choix des positions des points de contacts qu'un robot sous-actionné doit prendre pour se déplacer dans l'environnement. Nous calculons, en un seul problème d'optimisation non-linéaire, une séquence de postures qui satisfait une séquence de contacts donnés. Cette formulation permet de trouver la position des contacts optimale, car le choix de la position d'un contact d'une posture va prendre en compte les postures précédentes et suivantes. Elle permet aussi d'effectuer des tâches pour certaines postures qui prendront en compte l'aspect prioritaire du déplacement. Nous introduisons ensuite une méthode de génération de mouvement qui, en se basant sur la programmation quadratique, permet de résoudre le problème de géométrie inverse et de la dynamique inverse pour un robot à base fixe ou mobile, tout en satisfaisant des contraintes d'égalités et d'inégalités.Cette génération de mouvement est assez rapide pour fonctionner à la vitesse de la boucle de contrôle des robotsHRP2-10 et HRP4, et peut donc être utilisé en temps réel. À l'aide d'une machine à état, nous transformons la séquence de postures calculée à priori en une série de tâches à effectuer par le générateur de mouvement, ce qui permet à notre robot de se déplacer dans un environnement complexe. Nous étendons alors notre méthode de génération de mouvement pour calculer la commande d'un nombre arbitraire de robots. Cette extension nous permet de gérer des tâches de manipulation d'objets complexes, de collaboration entre plusieurs agents et de mouvement dans un environnement dynamique. Nous pouvons aussi spécifier directement les tâches dans le repère de l'objet manipulé pour faciliter l'élaboration de notre consigne. Dans l'optique de valider cette méthode sur un robot réel, nous formulons le problème d'estimation des paramètres inertiels d'un objet manipulé grâce à l'algèbre vectorielle spatiale. Finalement, nous validons nos travaux sur les robots HRP2-10 et HRP4. Sur le premier robot, nous validons la génération de posture et la génération de mouvement mono-robot sur le scénario demonté d'une échelle verticale aux normes industrielles. La manipulation d'objets et l'estimation des paramètres inertiels sont validées par la suite sur le robot HRP4. / This PhD proposes a whole body motion generation approach with non coplanar contacts that allowsa robot to move in an environment, manipulate complex objects or collaborate with differentagents.Methods developed in this PhD try to manage many kinds of robots, from the humanoid to thefixed base manipulator and also handling underactuated objects.Firstly, we address the problem contacts positioning that an underactuated robot should taketo move in its environment.We compute in one non-linear optimization problem a sequence of postures that fulfill aninputed contact list. This formulation allows to find the optimal contact placement regardingprevious and next stances. It also allows to execute a task for some posture while taking into accountthe priority of the motion.Next, we introduce a motion generation method that uses quadratic programming to solveinverse kinematics and dynamics problems for a fixed or mobile base robot under equality andinequality constraints.This motion generation is fast enough to fit the HRP2-10 and HRP4 control loop andcan be used in real-time.With a finite state machine we turn the posture sequence into a list of tasks that should beexecuted by the motion generation to allow a robot to move in a complex environment.We extend this motion generation scheme to compute the motion of an arbitrary number of robots.This extension allows us to manage complex object manipulation tasks, multi-agent collaboration andmotion in a dynamic environment. We can also specify a task in the manipulated object frameto ease motion design.To validate this method on a real robot, we formulate inertial parametersestimation of manipulated objects with spatial vector algebra.Finally, we validate our works on the HRP2-10 and HRP4 robot. On the first one,we validate the posture and mono-robot motion generation on a scenario where the robot climbs anindustry standard vertical ladder.On the second one, we validate object manipulation and inertial parameters estimation.
|
238 |
Mémoire, identité et représentation de l’exilé chez Émile Ollivier et Dany LaferrièreGendron-Troestler, Mariane 08 1900 (has links)
No description available.
|
239 |
Nouvelles tendances de la poésie écrite en Afrique noire francophone de 1970 à 2000 / New trends in written poetry in black francophone Africa from 1970 to 2000N'Gbesso, Hélène 16 June 2014 (has links)
Cette thèse sur la poésie écrite a pour sujet, la connaissance du genre dans la période comprise entre 1970 et 2000. Elle propose sur une base d’auteurs et de textes une ébauche de critique des styles et des formes comme celle du contenu. Quatorze pays qui composent le corpus. Il s’agit du Benin, Burkina Faso, du Cameroun, de la Centrafrique, du Congo, de la RD Congo, de la Cote d’lvoire, du Gabon, de la Guinée, du Mali, du Niger, du Sénégal, du Tchad et du Togo. Ce travail est traité sur trois parties : les itinéraires littéraires, les thèmes importants et les styles.Du point de vue thématique, les poèmes ont permis de déceler plusieurs itinéraires dont le plus pertinent montre les étapes de la déliquescence sociale. Depuis les années 70 se sont succédé les thèmes du désenchantement, du désarroi et du mal-être correspondant aux périodes des années 70/80 ; 80/90 et de 90 à 2000. Toutes ses idées étaient étiquetées dès les premières œuvres de Tchicaya U Tamsi, le précurseur de cette génération de poètes. Parallèlement, se développe une autre orientation qui, elle, donne sur l’espoir. Ce sont les thèmes de la race, de l’amour et de la révolution. Quant à l’écriture poétique, il se passe une éclosion de formes dont certaines revêtent des caractères de plus en plus osés. Très souvent, l’imagination va puiser, dans les tréfonds des cultures, des matériaux de création. Des poèmes intégralement allégoriques (oscillant entre rêve et réalité) aux poèmes, fusion parfaite entre plusieurs genres poétiques (là où on est amené à parler d’influence de la poésie orale sur la poésie écrite) à côté des poèmes plus classiques bâtis sur la recherche de formes fixes. / This thesis on written poetry has for object the knowledge of the kind between 1970 and 2000. It provides on a base of authors and texts, critical insight of the styles and the shapes like the content’s. Fourteen countries are included in the corpus. There are Benin, Burkina Faso, Cameroon, Central Afiican Republic, Congo, DR Congo, Cote d'Ivoire, Gabon, Guinea, Mali, the Niger, Senegal, Chad and Togo. This work is treated in three parts : the literary routes, important themes and the styles. On the thematic point of view, the poems have helped identify several routes of which the most relevant shows stages of the social deliquescence. Since the 70, themes of disillusionment, dismay and discomfort succeeded one another, corresponding to periods of the years 70/80, 80/90 and the 90s to 2000. All this ideas were labeled in the early works of Tchicaya U Tamsi, the precursor of this generation of poets. Meanwhile, a different trend, which carries hope, develops itself. These are the themes of race, love and revolution. As for poetry writing, an outbreak of forms happens, some carries more and more daring characters. Very often, the imagination will draw from the depths of cultures from creation materials. From fully allegorical poems (oscillating between dream and reality) to poems, perfect fusion between several poetic genres (where one is led to speak of the influence of oral poetry on written poetry) alongside more traditional poems built on the quest of fixe shape.
|
240 |
Analyse des fluctuations discrètes du courant d’obscurité dans les imageurs à semi-conducteurs à base de silicium et Antimoniure d’IndiumDurnez, Clémentine 23 November 2017 (has links) (PDF)
Le domaine de l’imagerie a toujours fait l’objet de curiosité, que ce soit pour enregistrer une scène, ou voir au-delà des limites de l’oeil humain grâce aux détecteurs infrarouges. Ces deux types d’imagerie sont réalisés avec différents matériaux. Dans le domaine du visible, c’est le silicium qui domine, car son absorbance spectrale correspond bien au spectre visible et que ce matériau a été très étudié dans les dernières décennies. Dans le domaine de l’infrarouge, plus particulièrement le MWIR (Middle Wave InfraRed), l’InSb est un bon candidat car il s’agit d’un matériau très stable. Cependant, certaines contraintes telles qu’une bande interdite étroite peuvent être limitantes et cela nécessite une température d’opération cryogénique. Dans ces travaux, un signal parasite commun à ces deux matériaux est étudié : il s’agit du signal des télégraphistes (RTS : Random telegraph Signal) du courant d’obscurité. Ce phénomène provient d’un courant de fuite de l’élément photosensible du pixel (photodiode). En effet, même dans le noir, certains pixels des imageurs vont avoir une réponse temporelle qui va varier de façon discrète et aléatoire. Cela peut causer des problèmes de calibration, ou de la mauvaise détection d’étoiles par exemple. Dans cette étude, deux axes principaux sont étudiés : la caractérisation du signal pour pouvoir mieux l’appréhender, et la localisation des sources à l’origine du RTS dans la photodiode afin d’essayer de l’attén
|
Page generated in 0.1874 seconds