Eu mesma matei meu filho: do filicídio materno como poética trágica em Eurípides, Goethe e García Lorca

A presente tese investiga as poéticas do trágico nas obras teatrais de Eurípides (Grécia, c. 484 406 a.C.), Johann Wolfgang von Goethe (Alemanha, 1749 1832) e Federico García Lorca (Espanha, 1898 1936) e defende que, nos três autores, as concepções estéticas do trágico se constituem principalmente sobre a representação poética do filicídio materno. A antinomia trágica engendrada, metaforicamente, no assassinato da criança pelas mãos daquela que lhe deu a vida é tema de Medeia (431 a.C.), Tragédia de Margarida (1790) e Yerma (1934), obras fundamentais para compreender a visada trágica dos três poetas aqui, em respectivo, estudados. O conflito com o sagrado e com a razão, ao apontar para a afirmação trágica do corpo e do feminino, frequenta as três obras. O paralelismo entre as dimensões política e estética é, por conseguinte, patente nos três dramas, ao mesmo tempo em que cada um dos autores, com contexto e assinatura próprios, configura uma ideia estética acerca do trágico inteiramente singular. O diálogo entre literatura e filosofia, ou entre intuição e conceito, atravessa, nesta tese, a leitura do trágico na metáfora do filicídio. Sob tal perspectiva, a Medeia de Eurípides impõe-se no centro do debate entre socráticos e sofistas, e aborda temas, como o domínio das paixões sobre a razão, que também aliciaram autores como Platão, Aristóteles e Nietzsche. A Gretchentragödie, de Goethe, apresenta-se, por sua vez, como obra poética aonde convergem as mais calorosas discussões estéticas do moderno pensamento alemão, como as questões do sublime (Kant, Schiller) e da vontade (Schopenhauer). Yerma, de García Lorca, será também uma obra de convergência filosófica, expressando a nueva manera espiritualista que marca a última fase da produção lorquiana: a perspectiva trágica de Nietzsche, na afirmação do corpo como grande razão, assim como o diálogo de Lorca com o pensamento de Miguel de Unamuno sobre El sentimiento trágico de la vida, caracteriza uma espécie de tragédia às avessas, que nega o sagrado e afirma o trágico como síntese libertária do eu, do corpo e do feminino

Modelo de engenharia de software para o desenvolvimento de jogos e simulações interactivas

Dissertação apresentada à Universidade Fernando Pessoa como partes dos requisitos para a obtenção do grau de Mestre em Engenharia Informática, ramo de Computação Móvel

« Et ils prophétiseront » : la prophétie de Jl 3,1-5 reprise en Ac 2, 17-21 : clé d'interprétation du phénomène pentecostal

Cette présente recherche vise à défendre le point de vue selon lequel le don de l’Esprit dans le récit de la Pentecôte (Ac 2, 1-13) s’interprète principalement comme l’investissement d’une puissance habilitant au témoignage. À cette fin, nous posons l’hypothèse que le contenu d’Ac 2, 17-21 est un axe fondamental de la théologie pneumatique de l’œuvre lucanienne, lequel interprète la manifestation pentecostale dans une perspective prophétique. La démonstration se fait par le biais d’une analyse rédactionnelle d’Ac 2, 17-21, une citation de Jl 3,1-5 insérée dans un discours explicatif de Pierre du phénomène pentecostal. Nous examinons d’abord le lieu d’inscription de ce passage dans l’œuvre lucanienne afin d’évaluer la valeur stratégique de son emplacement (chapitre 1). Nous étudions ensuite l’interprétation que fait Luc de cette prophétie pour en venir à la conclusion qu’il envisage l’intervention de l’Esprit essentiellement dans une perspective d’habilitation à la prophétie (chapitre 2). Nous vérifions cette première conclusion dans l’Évangile de Luc (chapitre 3); puis ensuite dans les Actes des Apôtres (chapitre 4). Nous en arrivons ainsi à établir un parallélisme entre les étapes initiatiques du ministère de Jésus dans le troisième évangile et celui des disciples dans les Actes, pour y découvrir que, dans les deux cas, l’effusion de l’Esprit habilite à l’activité prophétique. Le ministère des disciples s’inscrit de la sorte dans le prolongement de celui du Maître. Nous soutenons, en fait, que tout le discours pneumatique de l’Évangile de Luc converge vers l’effusion initiale de l’Esprit sur les disciples dans le récit pentecostal, d’une part, et que cette effusion jette un éclairage sur l’ensemble de l’œuvre missionnaire des Actes, d’autre part. Bref, le passage explicatif du phénomène pentecostal, en l’occurrence Ac 2, 17-21, met en lumière un axe central des perspectives de Luc sur l’Esprit : Il s’agit de l’Esprit de prophétie. Dans cette optique, l’effusion de l’Esprit à la Pentecôte s’interpréterait essentiellement comme l’investissement du croyant d’une puissance en vue du témoignage.

Une architecture parallèle distribuée et tolérante aux pannes pour le protocole interdomaine BGP au cœur de l’Internet

L’augmentation du nombre d’usagers de l’Internet a entraîné une croissance exponentielle dans les tables de routage. Cette taille prévoit l’atteinte d’un million de préfixes dans les prochaines années. De même, les routeurs au cœur de l’Internet peuvent facilement atteindre plusieurs centaines de connexions BGP simultanées avec des routeurs voisins. Dans une architecture classique des routeurs, le protocole BGP s’exécute comme une entité unique au sein du routeur. Cette architecture comporte deux inconvénients majeurs : l’extensibilité (scalabilité) et la fiabilité. D’un côté, la scalabilité de BGP est mesurable en termes de nombre de connexions et aussi par la taille maximale de la table de routage que l’interface de contrôle puisse supporter. De l’autre côté, la fiabilité est un sujet critique dans les routeurs au cœur de l’Internet. Si l’instance BGP s’arrête, toutes les connexions seront perdues et le nouvel état de la table de routage sera propagé tout au long de l’Internet dans un délai de convergence non trivial. Malgré la haute fiabilité des routeurs au cœur de l’Internet, leur résilience aux pannes est augmentée considérablement et celle-ci est implantée dans la majorité des cas via une redondance passive qui peut limiter la scalabilité du routeur. Dans cette thèse, on traite les deux inconvénients en proposant une nouvelle approche distribuée de BGP pour augmenter sa scalabilité ainsi que sa fiabilité sans changer la sémantique du protocole. L’architecture distribuée de BGP proposée dans la première contribution est faite pour satisfaire les deux contraintes : scalabilité et fiabilité. Ceci est accompli en exploitant adéquatement le parallélisme et la distribution des modules de BGP sur plusieurs cartes de contrôle. Dans cette contribution, les fonctionnalités de BGP sont divisées selon le paradigme « maître-esclave » et le RIB (Routing Information Base) est dupliqué sur plusieurs cartes de contrôle. Dans la deuxième contribution, on traite la tolérance aux pannes dans l’architecture élaborée dans la première contribution en proposant un mécanisme qui augmente la fiabilité. De plus, nous prouvons analytiquement dans cette contribution qu’en adoptant une telle architecture distribuée, la disponibilité de BGP sera augmentée considérablement versus une architecture monolithique. Dans la troisième contribution, on propose une méthode de partitionnement de la table de routage que nous avons appelé DRTP pour diviser la table de BGP sur plusieurs cartes de contrôle. Cette contribution vise à augmenter la scalabilité de la table de routage et la parallélisation de l’algorithme de recherche (Best Match Prefix) en partitionnant la table de routage sur plusieurs nœuds physiquement distribués.

Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce

Avec la complexité croissante des systèmes sur puce, de nouveaux défis ne cessent d’émerger dans la conception de ces systèmes en matière de vérification formelle et de synthèse de haut niveau. Plusieurs travaux autour de SystemC, considéré comme la norme pour la conception au niveau système, sont en cours afin de relever ces nouveaux défis. Cependant, à cause du modèle de concurrence complexe de SystemC, relever ces défis reste toujours une tâche difficile. Ainsi, nous pensons qu’il est primordial de partir sur de meilleures bases en utilisant un modèle de concurrence plus efficace. Par conséquent, dans cette thèse, nous étudions une méthodologie de conception qui offre une meilleure abstraction pour modéliser des composants parallèles en se basant sur le concept de transaction. Nous montrons comment, grâce au raisonnement simple que procure le concept de transaction, il devient plus facile d’appliquer la vérification formelle, le raffinement incrémental et la synthèse de haut niveau. Dans le but d’évaluer l’efficacité de cette méthodologie, nous avons fixé l’objectif d’optimiser la vitesse de simulation d’un modèle transactionnel en profitant d’une machine multicoeur. Nous présentons ainsi l’environnement de modélisation et de simulation parallèle que nous avons développé. Nous étudions différentes stratégies d’ordonnancement en matière de parallélisme et de surcoût de synchronisation. Une expérimentation faite sur un modèle du transmetteur Wi-Fi 802.11a a permis d’atteindre une accélération d’environ 1.8 en utilisant deux threads. Avec 8 threads, bien que la charge de travail des différentes transactions n’était pas importante, nous avons pu atteindre une accélération d’environ 4.6, ce qui est un résultat très prometteur.

Une évaluation de la dimension de la lumière de boîtiers 0,018" provenant de quatre différents manufacturiers. Existe-t-il un standard dans l’industrie?

Introduction: The objective of this experimental research was to evaluate the slot’s vertical dimension and profile of four different 0.018″ self-ligating brackets and to identify the level of tolerance accepted by manufacturers during the fabrication process. It was then possible to calculate and compare the torque play of those brackets using the measured values and the nominal values. Material and Methods: Twenty-five 0.018″ self-ligating brackets of upper left central incisors from the following manufacturers, Speed® (Strite Industries, Cambridge, Ontario, Canada), InOvationR® (GAC, Bohemia, NY, USA), CarriereLX® (Ortho Organizers, Carlsbad, CA, USA) and SmartClip® (3M Unitek, Monrovia, CA, USA), were evaluated using electron microscopy with 150X images. The height of each bracket was measured at every 100 microns of depth from the lingual wall at five different levels. A Student T test was then used to compare our results with the manufacturer’s stated value of 0.018″. To determine if there was a significant difference between the four manufacturers, analysis of variance (ANOVA) was performed at the significance level of p<0.05. The torque play was then calculated using geometrical formulas. Results: On average, Speed brackets were oversized by 2.7%[MV 0.0185″ (SD:0.002)], InOvationR by 3.7% [MV 0.0187″ (SD:0.002)], CarriereLX by 3.2% [MV 0.0186″ (SD:0.002)] and SmartClipSL by 5.0% [MV 0.0189″ (SD:0.002)]. The height of all brackets was significantly higher than the nominal value of 0.018″ (p<0.001). The slot of SmartClip brackets was significantly larger than those of the other three manufacturers (p<0.001). None of the brackets studied had parallel gingival and occlusal walls; some were convergent and others divergent. These variations can induce a torque play up to 4.5 degrees with a 0.017″x0.025″ wire and 8.0 degrees with a 0.016″x0.022″ wire. Conclusion: All studied brackets were oversized. None of the brackets studied had parallel gingival and occlusal walls and there was no standard between manufacturers for the geometry of their slots. These variations can cause a slight increase of the torque play between the wire and the bracket compared with the nominal value.

Parallelization of SAT on Reconfigurable Hardware

Quoique très difficile à résoudre, le problème de satisfiabilité Booléenne (SAT) est fréquemment utilisé lors de la modélisation d’applications industrielles. À cet effet, les deux dernières décennies ont vu une progression fulgurante des outils conçus pour trouver des solutions à ce problème NP-complet. Deux grandes avenues générales ont été explorées afin de produire ces outils, notamment l’approche logicielle et matérielle. Afin de raffiner et améliorer ces solveurs, de nombreuses techniques et heuristiques ont été proposées par la communauté de recherche. Le but final de ces outils a été de résoudre des problèmes de taille industrielle, ce qui a été plus ou moins accompli par les solveurs de nature logicielle. Initialement, le but de l’utilisation du matériel reconfigurable a été de produire des solveurs pouvant trouver des solutions plus rapidement que leurs homologues logiciels. Cependant, le niveau de sophistication de ces derniers a augmenté de telle manière qu’ils restent le meilleur choix pour résoudre SAT. Toutefois, les solveurs modernes logiciels n’arrivent toujours pas a trouver des solutions de manière efficace à certaines instances SAT. Le but principal de ce mémoire est d’explorer la résolution du problème SAT dans le contexte du matériel reconfigurable en vue de caractériser les ingrédients nécessaires d’un solveur SAT efficace qui puise sa puissance de calcul dans le parallélisme conféré par une plateforme FPGA. Le prototype parallèle implémenté dans ce travail est capable de se mesurer, en termes de vitesse d’exécution à d’autres solveurs (matériels et logiciels), et ce sans utiliser aucune heuristique. Nous montrons donc que notre approche matérielle présente une option prometteuse vers la résolution d’instances industrielles larges qui sont difficilement abordées par une approche logicielle.

FPGA-based object detection using classification circuits

Dans l'apprentissage machine, la classification est le processus d’assigner une nouvelle observation à une certaine catégorie. Les classifieurs qui mettent en œuvre des algorithmes de classification ont été largement étudié au cours des dernières décennies. Les classifieurs traditionnels sont basés sur des algorithmes tels que le SVM et les réseaux de neurones, et sont généralement exécutés par des logiciels sur CPUs qui fait que le système souffre d’un manque de performance et d’une forte consommation d'énergie. Bien que les GPUs puissent être utilisés pour accélérer le calcul de certains classifieurs, leur grande consommation de puissance empêche la technologie d'être mise en œuvre sur des appareils portables tels que les systèmes embarqués. Pour rendre le système de classification plus léger, les classifieurs devraient être capable de fonctionner sur un système matériel plus compact au lieu d'un groupe de CPUs ou GPUs, et les classifieurs eux-mêmes devraient être optimisés pour ce matériel. Dans ce mémoire, nous explorons la mise en œuvre d'un classifieur novateur sur une plate-forme matérielle à base de FPGA. Le classifieur, conçu par Alain Tapp (Université de Montréal), est basé sur une grande quantité de tables de recherche qui forment des circuits arborescents qui effectuent les tâches de classification. Le FPGA semble être un élément fait sur mesure pour mettre en œuvre ce classifieur avec ses riches ressources de tables de recherche et l'architecture à parallélisme élevé. Notre travail montre que les FPGAs peuvent implémenter plusieurs classifieurs et faire les classification sur des images haute définition à une vitesse très élevée.

Logiciel de génération de nombres aléatoires dans OpenCL

clRNG et clProbdist sont deux interfaces de programmation (APIs) que nous avons développées pour la génération de nombres aléatoires uniformes et non uniformes sur des dispositifs de calculs parallèles en utilisant l’environnement OpenCL. La première interface permet de créer au niveau d’un ordinateur central (hôte) des objets de type stream considérés comme des générateurs virtuels parallèles qui peuvent être utilisés aussi bien sur l’hôte que sur les dispositifs parallèles (unités de traitement graphique, CPU multinoyaux, etc.) pour la génération de séquences de nombres aléatoires. La seconde interface permet aussi de générer au niveau de ces unités des variables aléatoires selon différentes lois de probabilité continues et discrètes. Dans ce mémoire, nous allons rappeler des notions de base sur les générateurs de nombres aléatoires, décrire les systèmes hétérogènes ainsi que les techniques de génération parallèle de nombres aléatoires. Nous présenterons aussi les différents modèles composant l’architecture de l’environnement OpenCL et détaillerons les structures des APIs développées. Nous distinguons pour clRNG les fonctions qui permettent la création des streams, les fonctions qui génèrent les variables aléatoires uniformes ainsi que celles qui manipulent les états des streams. clProbDist contient les fonctions de génération de variables aléatoires non uniformes selon la technique d’inversion ainsi que les fonctions qui permettent de retourner différentes statistiques des lois de distribution implémentées. Nous évaluerons ces interfaces de programmation avec deux simulations qui implémentent un exemple simplifié d’un modèle d’inventaire et un exemple d’une option financière. Enfin, nous fournirons les résultats d’expérimentation sur les performances des générateurs implémentés.

Transcripción cinematográfica de la mirada erótica del fotógrafo Bellocq en Pretty Baby de Louis Malle

[en] In the first years of the twentieth century Ernest James Bellocq used his camera to capture the image of New Orleans’prosti¬tutes. Years later, in 1978, Louis Malle would be taking the life of this mysterious photographer to the screen in the controversial film Pretty Babe. Delving deeper into the work of these authors, we raise three questions. The first, will be to study the correspondence between the figure of Bellocq and that which Malle recreates. A second approach, will focus on the cinematic representation of them, in which the girls are portrayed in a brothel in Storyville. Finally, we will discuss the photographic act in its entirety and determine the transcription that the filmmaker builds, more definitively how Bellocq’s erotic vision and that of Louis Malle merge in the footage of the director. [fr] Au début du XXe siècle Ernest James Bellocq a photographié avec son appareil photo l’image des prostituées de la Nouvelle-Orléans. Des années plus tard, Louis Malle a donné vie à ce mystérieux photographe sur l’écran dans le contreversé film La petite (Pretty Baby, 1978). Trois questions se posent en faisant un étude précis des oeuvres de ces auteurs. L’une d’elles se centre sur le parallélisme entre le personnage de Bellocq et celui que Malle a recrée dans son film. Une deuxième question est en rapport avec la représentation cinématographique des filles photographiées dans le bordel de Storyville. Et finalement, on va aborder l’acte photographique pour déterminer la transcription construite par le cinéaste.

La lecture deleuzienne de Spinoza: ou comment Deleuze inscrit sa philosophie de la différence dans l’histoire de la philosophie

Cette thèse propose de suivre la lecture deleuzienne de Spinoza afin de montrer comment Deleuze inscrit sa philosophie de la différence dans l’histoire de la philosophie et de la métaphysique. Loin d’être condescendant envers l’histoire de cette discipline, Deleuze légitime sa conception bi-univoque de la différence à l’aide du parallélisme entre la Nature naturante et la Nature naturée de Spinoza. La différenciation de l’actuel (les modes, l’événement) se fait dans la différentiation du virtuel et c’est en procédant de la sorte que Deleuze participe de plain-pied à la tradition immanentiste de la philosophie où l’être se dit seulement de la différence qu’il exprime. Plus encore, cette thèse explique comment Deleuze reprend les principes de cette métaphysique immanentiste pour établir sa conception de la subjectivité. Là aussi, sa lecture de Spinoza est essentielle, car en affirmant la non-substantialisation de l’âme comme le fait Spinoza, Deleuze peut attaquer, à la racine, les fondements épistémologiques des philosophies du sujet de son époque (existentialisme et phénoménologie en tête). Pour Deleuze, cette conception modale de l’âme et de la subjectivité appuie, métaphysiquement parlant, une épistémologie fondée sur la passivité du sujet. Loin d’être le fondement de la vérité des idées, la conscience d’un moi dans l’âme est, pour Deleuze, un résultat synthétisé, jamais une fonction synthétisante. En ce sens, l’ultime réduction de la philosophie n’est plus l’ego cogito cartésien, mais consiste à reconnaître la fêlure du Je. Deleuze construit ainsi, en envisageant la place de l’imagination dans la puissance de connaître l’âme, une autre épistémologie que celle du sujet fondateur transcendantal ou transcendant. Pour lui, le constat est clair : comment pouvons-nous croire que nous sommes responsables de l’idée que nous formons de nous-mêmes (et s’établir sur celle-ci pour fonder, épistémologiquement, nos idées sur les choses) si nous ne savons même pas ce que peut notre corps, ni comment celui-ci peut affecter et être affecté par notre âme ? Ce principe de « l’inconnu du corps » relativise l’éminence de l’âme et inscrit Deleuze à la fois dans l’une des plus importantes batailles philosophiques de la Modernité (celle de Spinoza contre Descartes) et dans la crise de la subjectivité qui caractérise la pensée française au moment des années soixante. Mots clés : Deleuze ; Spinoza ; Descartes ; histoire de la philosophie ; métaphysique ; épistémologie ; subjectivité ; différence ; actuel ; virtuel ; Je fêlé ; corps ; imagination ; éthologie.