• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 654
  • 219
  • 55
  • 3
  • 2
  • 2
  • 1
  • Tagged with
  • 930
  • 727
  • 427
  • 340
  • 200
  • 178
  • 151
  • 145
  • 120
  • 116
  • 105
  • 89
  • 84
  • 72
  • 72
  • 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.
201

Le réalisme des relations : étude des réponses apportées au problème de la différence entre la relation et son fondement (1250-1350) / Realism about relations : study of the answers given to the problem of the difference between a relation and its foundation (1250-1350)

Girard, Charles 21 May 2015 (has links)
La question de savoir si la relation est différente réellement de son fondement se rencontre fréquemment dans les textes médiévaux à partir du milieu du treizième siècle. Elle se pose avant tout dans un cadre aristotélicien de discussion des catégories et revient à se demander si la catégorie de relation ajoute véritablement une chose supplémentaire, la relation, dans la réalité. Cette question s'inscrit dans une représentation réaliste des relations : pour la plupart des auteurs du treizième et du quatorzième siècle, le fait que des choses soient réellement reliées entre elles ne fait pas de doute. Deux hommes de même taille sont bel et bien égaux, c'est-à-dire réellement reliés entre eux par une relation d'égalité. La difficulté est alors de comprendre comment ces choses sont reliées entre elles, ou encore, ce qu'est exactement cette relation dont il est alors question. Faut-il dire que l'égalité dans chacun des hommes de même taille est une nouvelle chose qui s'ajoute à la substance de chacun d'eux et aux accidents de taille, appartenant à la catégorie de quantité, sur lesquels ces relations d'égalité sont fondées ? Ou faut-il dire que l'égalité est réelle d'une autre manière, c'est-à-dire sans pour autant ajouter une nouvelle chose à ce à quoi elle advient ? Ce problème, qui se rencontre déjà dans les tensions existant entre les différents exposés qu'Aristote a consacrés à cette catégorie, a reçu de multiples réponses. Celles-ci nous éclairent sur la manière dont le réel est appréhendé au Moyen-Âge et sur les débats ontologiques de l'époque. Le travail ici résumé entreprend de délimiter précisément ces réponses et propose une manière de les classer. / Whether relation is really distinct from its foundation or not is a question that can easily be found in medieval texts from the mid-thirteenth century onwards. It comes from an aristotelian background, the discussion about the categories, and asks if the category of relation really posits another thing, i.e. a relation, in reality. It results from a realist perspective on relations. In fact, most thirteenth and fourteenth century thinkers held without doubt that things outside the mind are really connected between them. Two men sharing the same height are really equal, that is, really linked to each other by a relation of equality. What is then left to understand is how these things are linked between them, or the exact nature of the aforementioned relation. Should we say that the equality in each of the equally sized men is a new thing that adds to the substance of each of them and to the accidents of height, belonging tho the category of quantity, on which these relations are founded? Or should we say that equality is real in another way, that is, without adding a new thing to the subject acquiring it? We can already find this issue in Aristotle himself, emerging from disagreeing texts devoted to this category. It received various answers that enable us to understand better how reality was defined in the Middle Age and some of the ontological debates of the time. The work that is here summed up attempts to precisely delineate these various answers and to provide a way of classifying them.
202

Implantation dans le matériel de fonctionnalités temps-réel dans une caméra intelligente ultralégère spécialisée pour la prise de vue aérienne / Implementation of real-time functionalities in in the hardware of ultra-light intelligent camera specialized for the aerial imaging

Audi, Ahmad 14 December 2017 (has links)
Au cours des dernières années, les drones civils sont devenus un outil intéressant dans la photographie aérienne et dans les travaux de photogrammétrie. Cela a poussé le LOEMI (Laboratoire d’Opto-Electronique, Métrologie et Instrumentation) de l'IGN (Institut National de l'Information Géographique et Forestière) de mettre au point une nouvelle caméra aérienne mieux adaptée pour l'exploitation photogrammétrique et métrologiques des images que les caméras grand public. Cette caméra est composée essentiellement d'un capteur CMOS ``global-shutter'', d'une centrale inertielle IMU, et d'un système sur puce (FPGA + 2 CPUs) pour la gestion de l'acquisition des images. Ce SoC/FPGA ouvre la porte à l'implémentation temps-réel des algorithmes de traitement d'image. Parmi les travaux futurs de l'IGN, on peut distinguer certaines applications qui nécessitent l'acquisition des images aériennes avec un temps d'exposition long, comme par exemple les prises de vue aériennes en bande spectrale étroite et les prises de vue aériennes de nuit. Ce type de prises de vue manifeste un flou de bougé dans les images dû aux mouvements erratiques du drone. Cette thèse consiste en l'implémentation dans la caméra légère de l'IGN d'un algorithme qui permet de remédier ce problème de flou de bougé. La première partie de ce travail a été consacrée au développement de la méthode qui consiste à acquérir plusieurs images avec un temps de pose court, puis utiliser un algorithme de traitement d'image afin de générer une image empilée finale avec l'équivalent d'un temps de pose long. Les paramètres des orientations correctes pour le ré-échantillonnage des images sont obtenus par l'estimation de la transformation géométrique entre la première image et la nième image à partir des points d'intérêts détectés par FAST dans la première image et les points homologues obtenus par corrélation dans les autres images accélérées par les capteurs inertiels intégrés à la caméra. Afin d'accélérer le traitement de calcul de notre algorithme, certaines phases sont accélérées en les implémentant dans le matériel (SoC/FPGA).Les résultats obtenus sur des jeux de tests acquis avec un drone type Copter 1B UAV et la caméra ultra-légère de l'IGN montrent que l'image finale empilée ne présente pas un flou de bougé. Les résultats de temps des différentes phases de l'algorithme montrent aussi que l'exécution de notre algorithme a un temps quasi-nulle. Un des sous-produits intéressants de ces travaux est la ré-étalonnage des capteurs IMU / In the recent years, the civilian UAVs (Unmanned Aerial Vehicles) have become an interesting tool in aerial photography and in photogrammetry. This led the LOEMI (Laboratoire d'Opto-électronique, de Métrologie et d'Instrumentation) team of IGN (Institut National de l'Information Géographique) to design an light-weight digital camera better adapted for exploiting photogrammetry and metrology applications than consumer cameras. This camera consists essentially of a CMOS ``global shutter'' sensor, an inertial measurement unit IMU, and a system on chip (FPGA + 2 CPUs) used originally to acquire image data from the sensor. This SoC/FPGA-based camera opens the door to implement in hardware some real-time image processing algorithms. Night-time surveys and narrow spectral band with imagery are one of the next applications targeted by IGN, this type of applications needs a long-exposure time imagery that usually exhibits a motion blur due to erratic movements of the UAV. This thesis consists in the implementation on the light-weight IGN camera of an alogirithm which makes it possible to remedy this problem of motion blur. The first part of this work was devoted to the development of the method which consists in acquiring several images with a short exposure time and then using an image processing algorithm in order to generate a stacked image with the equivalent of a long-exposure time. To obtain the correct parameters for the resampling of images, the presented method accurately estimates the geometrical relation between the first and the nth image, taking into account the internal parameters and thedistortion of the camera. Features are detected in the first image by the FAST detector, than homologous points on other images are obtained by template matching aided by the IMU sensors. In order to speed up the processing of our algorithm, some phases are accelerated by implementing them in the hardware (SoC / FPGA).The results obtained on real surveys show that the final stacked image does not present a motion blur. The time results of the different phases of the algorithm also show that the execution of the algorithm has a quasi-zero time. One of the interesting byproducts of this work is the recalibration of the IMU sensors
203

Synthèse incrémentale de la parole à partir du texte / Incremental text-to-speech synthesis

Pouget, Maël 23 June 2017 (has links)
Ce travail de thèse porte sur un nouveau paradigme pour la synthèse de la parole à partir du texte, à savoir la synthèse incrémentale. L'objectif est de délivrer la parole de synthèse au fur et à mesure de la saisie du texte par l'utilisateur, contrairement aux systèmes classiques pour lesquels la synthèse est déclenchée après la saisie d'une ou plusieurs phrases. L'application principale visée est l'aide aux personnes présentant un trouble sévère de la communication orale, et communiquant principalement à l'aide d'un synthétiseur vocal. Un synthétiseur vocal incrémental permettrait de fluidifier une conversation en limitant le temps que passe l'interlocuteur à attendre la fin de la saisie de la phrase à synthétiser. Un des défi que pose ce paradigme est la synthèse d'un mot ou d'un groupe de mot avec une qualité segmentale et prosodique acceptable alors que la phrase qui le contient n'est que partiellement connue au moment de la synthèse. Pour ce faire, nous proposons différentes adaptations des deux principaux modules d'un système de synthèse de parole à partir du texte : le module de traitement automatique de la langue naturelle (TAL) et le module de synthèse sonore. Pour le TAL en synthèse incrémentale, nous nous sommes intéressé à l'analyse morpho-syntaxique, qui est une étape décisive pour la phonétisation et la détermination de la prosodie cible. Nous décrivons un algorithme d'analyse morpho-syntaxique dit "à latence adaptative". Ce dernier estime en ligne si une classe lexicale (estimée à l'aide d'un analyseur morpho-syntaxique standard basé sur l'approche n-gram), est susceptible de changer après l'ajout par l'utilisateur d'un ou plusieurs mots. Si la classe est jugée instable, alors la synthèse sonore est retardée, dans le cas contraire, elle peut s'effectuer sans risque a priori de dégrader de la qualité segmentale et suprasegmentale. Cet algorithme exploite une ensemble d'arbre de décisions binaires dont les paramètres sont estimés par apprentissage automatique sur un large corpus de texte. Cette méthode nous permet de réaliser un étiquetage morpho-syntaxique en contexte incrémental avec une précision de 92,5% pour une latence moyenne de 1,4 mots. Pour la synthèse sonore, nous nous plaçons dans le cadre de la synthèse paramétrique statistique, basée sur les modèles de Markov cachés (Hidden Markov Models, HMM). Nous proposons une méthode de construction de la voix de synthèse (estimation des paramètres de modèles HMM) prenant en compte une éventuelle incertitude sur la valeur de certains descripteurs contextuels qui ne peuvent pas être calculés en synthèse incrémentale (c'est-à-dire ceux qui portent sur les mots qui ne sont pas encore saisis au moment de la synthèse).Nous comparons la méthode proposée à deux autres stratégies décrites dans la littérature. Les résultats des évaluations objectives et perceptives montrent l’intérêt de la méthode proposée pour la langue française. Enfin, nous décrivons un prototype complet qui combine les deux méthodes proposées pour le TAL et la synthèse par HMM incrémentale. Une évaluation perceptive de la pertinence et de la qualité des groupes de mots synthétisés au fur et à mesure de la saisie montre que notre système réalise un compromis acceptable entre réactivité (minimisation du temps entre la saisie d'un mot et sa synthèse) et qualité (segmentale et prosodique) de la parole de synthèse. / In this thesis, we investigate a new paradigm for text-to-speech synthesis (TTS) allowing to deliver synthetic speech while the text is being inputted : incremental text-to-speech synthesis. Contrary to conventional TTS systems, that trigger the synthesis after a whole sentence has been typed down, incremental TTS devices deliver speech in a ``piece-meal'' fashion (i.e. word after word) while aiming at preserving the speech quality achievable by conventional TTS systems.By reducing the waiting time between two speech outputs while maintaining a good speech quality, such a system should improve the quality of the interaction for speech-impaired people using TTS devices to express themselves.The main challenge brought by incremental TTS is the synthesis of a word, or of a group of words, with the same segmental and supra-segmental quality as conventional TTS, but without knowing the end of the sentence to be synthesized. In this thesis, we propose to adapt the two main modules (natural language processing and speech synthesis) of a TTS system to the incremental paradigm.For the natural language processing module, we focused on part-of-speech tagging, which is a key step for phonetization and prosody generation. We propose an ``adaptive latency algorithm'' for part-of-speech tagging, that estimates if the inferred part-of-speech for a given word (based on the n-gram approach) is likely to change when adding one or several words. If the Part-of-speech is considered as likely to change, the synthesis of the word is delayed. In the other case, the word may be synthesized without risking to alter the segmental or supra-segmental quality of the synthetic speech. The proposed method is based on a set of binary decision trees trained over a large corpus of text. We achieve 92.5% precision for the incremental part-of-speech tagging task and a mean delay of 1.4 words.For the speech synthesis module, in the context of HMM-based speech synthesis, we propose a training method that takes into account the uncertainty about contextual features that cannot be computed at synthesis time (namely, contextual features related to the following words). We compare the proposed method to other strategies (baselines) described in the literature. Objective and subjective evaluation show that the proposed method outperforms the baselines for French.Finally, we describe a prototype developed during this thesis implementing the proposed solution for incremental part-of-speech tagging and speech synthesis. A perceptive evaluation of the word grouping derived from the proposed adaptive latency algorithm as well as the segmental quality of the synthetic speech tends to show that our system reaches a good trade-off between reactivity (minimizing the waiting time between the input and the synthesis of a word) and speech quality (both at segmental and supra-segmental levels).
204

Distribution d'une architecture modulaire intégrée dans un contexte hélicoptère

Bérard-Deroche, Émilie 12 December 2017 (has links) (PDF)
Les architectures modulaires intégrées (IMA) sont une évolution majeure de l'architecture des systèmes avioniques. Elles permettent à plusieurs systèmes de se partager des ressources matérielles sans interférer dans leur fonctionnement grâce à un partitionnement spatial (zones mémoires prédéfinies) et temporel (ordonnancement statique) dans les processeurs ainsi qu'une réservation des ressources sur les réseaux empruntés. Ces allocations statiques permettent de vérifier le déterminisme général des différents systèmes: chaque système doit respecter des exigences de bout-en-bout dans une architecture asynchrone. Une étude pire cas permet d'évaluer les situations amenant aux limites du système et de vérifier que les exigences de bouten- bout sont satisfaites dans tous les cas. Les architectures IMA utilisés dans les avions centralisent physiquement des modules de calcul puissants dans des baies avioniques. Dans le cadre d'une étude de cas hélicoptère, ces baies ne sont pas envisageables pour des raisons d'encombrement: des processeurs moins puissants, utilisés à plus de 80%, composent ces architectures. Pour ajouter de nouvelles fonctionnalités ainsi que de nouveaux équipements, le souhait est de distribuer la puissance de traitement sur un plus grand nombre de processeurs dans le cadre d'une architecture globale asynchrone. Deux problématiques fortes ont été mises en avant tout au long de cette thèse. La première est la répartition des fonctions avioniques associée à une contrainte d'ordonnancement hors-ligne sur les différents processeurs. La deuxième est la satisfaction des exigences de communication de bout-en-bout, dépendantes de l'allocation et l'ordonnancement des fonctions ainsi que des latences de communication sur les réseaux. La contribution majeure de cette thèse est la recherche d'un compromis entre la distribution des architectures IMA sur un plus grand nombre de processeurs et la satisfaction des exigences de communication de bout-en-bout. Nous répondons à cet enjeu de la manière suivante: - Nous formalisons dans un premier temps un modèle de partitions communicantes tenant en compte des contraintes d'allocation et d'ordonnancement des partitions d'une part et des contraintes de communication de bout-en-bout entre partitions d'autre part. - Nous présentons dans un deuxième temps une recherche exhaustive des architectures valides. Nous proposons l'allocation successive des fonctions avioniques en considérant au même niveau la problématique d'ordonnancement et la satisfaction des exigences de bout-en-bout avec des latences de communication figées. Cette méthode itérative permet de construire des allocations de partitions partiellement valides. La construction des ordonnancements dans chacun des processeurs est cependant une démarche coûteuse dans le cadre d'une recherche exhaustive. - Nous avons conçu dans un troisième temps une heuristique gloutonne pour réduire l'espace de recherche associé aux ordonnancements. Elle permet de répondre aux enjeux de distribution d'une architecture IMA dans un contexte hélicoptère. - Nous nous intéressons dans un quatrième temps à l'impact des latences de communication de bout-en-bout sur des architectures distribuées données. Nous proposons pour celles-ci les choix de réseaux basés sur les latences de communication admissibles entre les différentes fonctions avioniques. Les méthodes que nous proposons répondent au besoin industriel de l'étude de cas hélicoptère, ainsi qu'à celui de systèmes de plus grande taille.
205

Étude en temps réel des effets cellulaires et moléculaires des champs électromagnétiques radiofréquence environnementaux / Real-time study of cellular and molecular effects of electromagnetic fields

Ruigrok, Hermanus 29 September 2017 (has links)
Durant les quinze dernières années, une attention particulière a été portée aux effets potentiels sur le vivant des champs radiofréquence (RF) des communications sans fil. Malgré l’intensité des efforts de recherche sur les effets biologiques et sanitaires potentiels des RF, nos connaissances en bioélectromagnétisme n’ont pu suivre l’évolution rapide des technologies.[…] La capacité des RF à provoquer un échauffement des tissus est parfaitement caractérisée. Des recommandations et des normes ont été définies afin de protéger les populations des risques associés, sachant qu’aucun échauffement n’est provoqué par l’exposition aux dispositifs de communications sans fil en raison des très faibles niveaux correspondant. Il est donc capital de savoir si l’on peut totalement exclure que des effets non-thermiques des RF de faible niveau existent au niveau moléculaire au sein de la matière vivante. L’objectif de cette thèse est d’évaluer en temps réel et sur cellules vivantes, les effets de l'exposition aux champs radiofréquences (CW, GSM-1800, UMTS, Wi-Fi, WiMax, LTE), soit au niveau moléculaire en ciblant l’activité du canal ionique TRPV1 qui est l’un des thermorécepteurs de notre organisme, soit au niveau cellulaire en étudiant le comportement général de cellules exposées aux RF à l’aide d’une technique dite « sans marquage », l’impédancemétrie. Le suivi de l’activité du canal TRPV1 sous exposition RF a été réalisé à l’aide de la technique du transfert d’énergie en résonance de bioluminescence (BRET), une technique spectroscopique qui permet l’analyse des interactions protéines-protéines ou des changements de conformation des protéines en temps réel et sur cellules vivantes. La mise en place de cette technique a demandé la construction et la caractérisation de sondes BRET ciblant les canaux TRP ainsi que la mise au point d’un dispositif de mesure déporté des spectres de BRET à l’aide d’une fibre optique, afin de pouvoir exposer les échantillons aux champs RF. La conclusion de ce volet de la thèse est que les RF sont capables d’activer le canal TRPV1 en produisant un échauffement diélectrique, mais qu’en absence d’augmentation de la température il n’y a aucun effet des RF sur le niveau d’activité basal du canal TRPV1 ou sur l’efficacité de la Capsaïcine, un agoniste, à activer TRPV1. L’analyse du comportement global de cellules en culture sous exposition RF a été réalisée à l’aide d’un système xCELLigence modifié afin de pouvoir à la fois suivre le comportement cellulaire par impédancemétrie tout en utilisant le réseau d’électrodes des plaques de mesure pour exposer les cellules mises en culture aux RF. À l’aide de ce dispositif, nous avons pu réaliser des expositions de cellules SH-SY5Y avec un DAS de 24 W/Kg sans provoquer d’échauffement dans le milieu de culture ou dans les cellules. Aucun effet des RF sur le comportement de la lignée de neuroblastome SH-SY5Y n’a cependant pu être mis en évidence, que ce soit en absence ou en présence d’une co-stimulation par un agent chimique. La conclusion de cette étude est que dans des conditions où la température reste stable, nous n’avons pas pu mettre en évidence de modification du fonctionnement du vivant que ce soit au niveau moléculaire ou au niveau cellulaire. Les outils développés dans ce travail de thèse ouvrent, de plus, d’importantes perspectives tant dans le domaine du criblage de médicaments candidats à l’aide du BRET spectral, que pour de futures études en bioélectromagnétisme. / The biological and health effects of radiofrequency (RF) electromagnetic fields (EMF) exposure have been very actively studied in the past two decades, mainly triggered by concerns about potential health effects of wireless communication systems. This physical agent is among the most common, fastest-growing environmental factors, triggering concerns in the population, as even a minor effect of EMF exposure on health could have a major public health impact. While the effects of extremely low frequency electromagnetic fields (ELF EMF) on the excitation of nerve and muscle cells have been well-characterized, the only well-described effects of radiofrequency electromagnetic fields (RF EMF) on biological systems are caused by dielectric-relaxation heating. In contrast, “nonthermal” RF EMF effects refer to other potential biological effects that are not caused by temperature elevation of living tissue or cell culture medium. The investigation of such mechanisms has been hampered by the absence of robust, reliable and repeatable effects occurring as a consequence of low-level exposures, for which temperature elevation is minimal. Moreover, no plausible mechanistic hypotheses have been given concerning thermal or nonthermal effects of low-level RF EMF exposures, making difficult to draw conclusions on the basis of available experimental results. Nonetheless, in 2011, the International Agency for Research on Cancer (IARC) classified RF emitted by cell phones as “possibly carcinogenic to humans” (Class 2B). The characterization of nonthermal biological RF EMF effects is therefore of primary importance for setting safety limits since guidelines and standards have so far been set to protect from the known health risks associated only with the thermal effects of RF EMF exposures. The aim of this basic science thesis work is to characterize the effects of environmental RF EMF signals on living matter at the cellular and molecular level. In this work, we took advantage of modern and innovative methods to observe the behavior of living matter under RF EMF exposure in real time at various specific absorption rates (SAR). In particular, we have studied: (i) Specific RF EMF effects on the ionic channel TRPV1, a major thermoreceptor in our body. TRPV1 activation under RF EMF exposure was studied using the bioluminescence resonance energy transfer (BRET) technique. The implementation of this technique called for the construction and characterization of BRET probes targeting TRP channels as well as the development of a device for the remote measurement of BRET spectra, using an optical fiber. The conclusion of this part of the thesis is that RFs are able to activate the TRPV1 channel by producing a dielectric heating but in the absence of temperature increase there is no RF effect on the basal activation state of TRPV1 and no change of capsaicin maximal efficacy to activate TRPV1. (ii) The analysis of the global behavior of cells in culture under RF exposure was carried out using a modified xCELLigence system where the array of electrodes of the measuring plates were also used to expose the cells to RF EMF. Using this device, we were able to perform SH-SY5Y cell exposures with a SAR of 24 W/kg without causing heating in the culture medium or in the cell culture. No effect of RF EMF on the behavior of the neuroblastoma SH-SY5Y line could however be demonstrated, either in the absence or in the presence of a co-stimulation by a chemical agent. The conclusion of this study is that under conditions where the temperature remains stable, we have not been able to demonstrate any changes in the functioning of living cells, ether at the molecular level or at the cellular level. The tools developed in this thesis work offer important prospects both in the field of drug screening using spectral BRET, and pave the ways for future studies in bioelectromagnetics.
206

Architecture et processus de développement permettant la mise à jour dynamique de systèmes embarqués automobiles / Architecture and Development Process for Dynamic Updates within Automotive Embedded Systems

Martorell, Hélène 09 December 2014 (has links)
Dans le contexte automobile actuel, le standard pour les calculateurs enfouis est AUTOSAR. L'un des inconvénients majeurs de cette architecture est son manque de flexibilité. Cependant, les mises à jour et la personnalisation des systèmes embarqués sont de plus en plus, non seulement plébiscités, mais également nécessaires. En effet, la complexité grandissante des systèmes exige à présent de déployer des moyens supplémentaires pour permettre leur maintenance et leur évolution de manière plus aisée. Ainsi, partant de ces constats, ce travail étudie les possibilités de faire des mises à jour dans le contexte d'AUTOSAR. Les modifications nécessaires se retrouvent non seulement dans l'architecture, mais également au sein du processus de développement et des considérations temps-réel. Tous ces aspects sont donc regardés en détails pour permettre les mises à jour partielles dans le cadre du standard AUTOSAR. Cette thèse décrit donc le processus de développement logiciel AUTOSAR et propose certaines améliorations mises en place au cours de ce travail. Un certain nombre de concepts sont également définis, afin d'aménager des espaces d'adaptation logiciels. Ces espaces sont ensuite utilisés pour intégrer des mises à jour partielles dans le calculateur embarqué. Le processus de développement est également modifié pour intégrer ces concepts ainsi que les mécanismes nécessaires à la mise à jour. Les aspects temps-réel concernant la mise à jour partielle dans les systèmes embarqués automobiles sont également traités ici. Un modèle de tâches approprié est mis en place dans le cadre d'AUTOSAR. De plus l'analyse de sensibilité est utilisée spécifiquement pour déterminer la flexibilité disponible dans un système donné. Les aspects d'implémentation sont également détaillés. En particulier, la création de mises à jour dans un contexte donné, la gestion des différentes versions possibles pour une application, l'utilisation et l'écriture dans la mémoire embarquée et enfin, les moyens nécessaires à la prise en compte des aspects de sûreté de fonctionnement. Pour terminer, tous les concepts développés dans ce travail sont appliqués à une preuve de concept reposant sur une application embarquée fournie par Renault. L'approche proposée est donc appliquée de manière pratique. / Currently the standard for embedded ECUs (Electronic Control Unit) in the automotive industry is AUTOSAR. One of the drawbacks of this architecture lies in its lack of flexibility. However, updates and customization of embedded systems are increasingly demanded and necessary. Indeed, systems are more and more complex and therefore require new methods and means to ease maintenance. Thus, from these observations, we study the possibilities for updates and resulting modifications (both on an architectural level and within the development process, and from a real-time point of view) in order to integrate within the AUTOSAR standard partial updates. This PhD thesis describes the software development process in an AUTOSAR context with a number of improvement we designed in this work. We also define concepts that allow to introduce placeholders for further updates within the embedded ECU. The development process has to be subsequently modified for integrating spaces for the updates along with the necessary mechanisms. Real-time problematic regarding partial updates in automotive systems is also considered here. In particular, we deal with sensitivity analysis that helps determine flexibility within the system. A number of implementation aspects are also detailed. In particular, the creation of the updates, versions management, use of embedded memory and dependability. All these concepts are finally applied on a proof of concept using an embedded application from Renault. We present here in details how the proposed approach can be used in practice.
207

Topologie du monstre : la place logique du langage entre la trace et l'image-cristal / The topology of the Monster : between the trace and the crystal-image : the logical place of the logos

Chouchane, Chiraz 22 October 2016 (has links)
Le monstre est un terme paradoxal, il est à la fois mot et chose, mot blanc et mot ésotérique. Il désigne un invisible qui se manifeste toutefois sous la forme d'une information irrationnelle. Autrement dit, ce qui se révèle à travers le monstre, se présente souvent comme un non-sens, une aberration. Le monstre se donne alors comme un problème mathématique dans une situation où s'annonce une différence en soi, intangible. Cette différence, je l'étends dans l'étendue de l'écart entre zéro et zéro de l'expérience où fulgurance du geste créateur et œuvre d'art coïncident: un lieu topologique qui porte la trace de l'intellect en donnant une transparence à l'image, son « cristal ». Ce lieu impossible de l'expérience serait la place logique d'où provient le langage et vers quoi il converge. Dans cette recherche, il ne s'agit pas de monstres tératologiques, mais de mouvements, d'une puissance qui traverse l'artiste au risque de la rupture. C'est alors que nous attribuons au Monstre une haute définition de la création à l'épreuve de l'existence. / The term monster is paradoxical; it is at the same time word and thing, the former being bath blank and esoteric. lt designates an invisible that is nevertheless manifested in the form of irrational information. ln other words, that which is revealed through the monster often appears as nonsense, an aberration. As such, the monster is given in the guise of a mathematical question whereby difference, in itself intangible, is announced. ln the present research, difference is understood in the gaping stretch between the zero and the zero of experience where bath work of art and the dazzling speed of the creative act coïncide; a topological place that bears the trace of the intellect while endowing the image with transparency or its "crystal". This impossible place of experience would be the place of logic; a place towards which language converges and from which it emerges all at once. This research is primarily concerned with the question of movements rather than with the teratology of monsters; it deals with this force, thus described, as it traverses the artist facing the perils of rupture. For that matter, the monster is associated with a higher order of creation, one that is, nevertheless, constantly submitted to the test of existence.
208

La psychanalyse lacanienne et l'envers des normes : réponses à Michel Foucault / Lacanian psychoanalysis and the nether side of normalcy : responses to Michel Foucault

Pfauwadel, Aurélie 06 December 2016 (has links)
Lacan, diagnostiquant très tôt le déclin de l’ordre symbolique patriarcal traditionnel,élabore dans les années 70 les outils conceptuels aptes à saisir la dérégulation moderne des jouissances et les nouveaux régimes normatifs qui cherchent à les juguler. L’apport de la psychanalyse au questionnement philosophique sur les normes tient au caractère radicalement hors normes de cette expérience, qui permet de théoriser non seulement les processus de normalisation par l’Autre mais la normativité subjective et son pouvoir subversif.Ce travail vise à démontrer l’irréductible spécificité de la psychanalyse, là où les généalogies foucaldiennes la rabattent sans cesse sur d’autres discours (médical, psychiatrique,familial, juridique, spirituel…).Nous y montrons : 1/ que les thèses structuralistes du Lacan des années 50 qui promeuvent la Loi du Nom-du-Père comme Norme fondatrice ciblaient l’infléchissement normalisant de l’Ego psychology ; 2/ que la psychanalyse, au-delà des normes vitales et sociales, vise au traitement purement singulier et inventif de la jouissance par la lettre ; 3/ qu’elle n’est donc pas une technique clinique catégorisante mais une éthique a-normative ; 4/ que le Lacan des années 70, ayant critiqué en profondeur ses propres axiomes, passe à l’envers de lui-même, via la pluralisation des Noms-du-Père et la généralisation du symptôme ; 5/ que Lacan aboutit à une conception purement immanente des processus normatifs, sans pour autant verser dans l’historicisme ou le relativisme foucaldien. Lacan soutient en effet l’ex-sistence d’un impossible et d’un réel qui trouent le plan des pratiques, dont la seule économie ne suffit pas à l’intelligibilité des normes. / Diagnosing at a very early stage the decline in the traditional symbolic order, Lacan developed in the 1970s the conceptual tools that would be appropriate for grasping the modern deregulation of different forms of enjoyment and the new normative regimes that seek to keep them in check. Psychoanalysis’s contribution to the philosophical enquiry into norms hinges on how such experience lies radically beyond norms, allowing for a theorization not only of the processes of normalization by the Other, but also of subjective and subversive normalcy. This study demonstrates the specific irreducibility of psychoanalysis, where Foucauldian genealogies constantly downscale it to other discourses (medical, psychiatric, familial, legal,spiritual).We show: i. that Lacan’s structural theses of the 1950s promoting the Law of the Nameof-the-Father as a founding Norm, take aim at the normalizing drift of Ego Psychology; ii. that psychoanalysis targets, beyond the norms of life and society, a singular treatment of enjoyment through the letter; iii. that it is not, therefore, a technique that establishes categories, but rather ana-normative ethics; iv. that the Lacan of the 1970s, having offered an in-depth critique of his ownaxioms, proceeded to the nether side of his own teaching via a pluralisation of the Names-of-the-Father and a generalization of the symptom; v., that his thought culminated in a purely immanent conception of normative processes, while steering clear of historicism or Foucauldian relativism.Indeed, Lacan maintains the ex-sistence of an impossible and a real that puncture the plane of practice, whose economy alone is not sufficient for an intelligibility of norms.
209

La transgression du réel dans l'oeuvre dramatique de Michel Deutsch / The transgression of the real in the dramatic work of Michel Deutsch

Kazan, Darine 27 June 2015 (has links)
L‟intérêt porte sur l‟intervention ou la non-intervention du réel dans la représentation. Le réalisme dans l‟oeuvre dramatique se mesure à l‟aune de la mise au jour des actualités historiques, politico-sociales et des réalités existentielles. A la quête de l‟interprétation de la conception du “réel” s‟ajoute un questionnement esthétique : la manière de le montrer. Notre recherche a comme objet l‟oeuvre dramatique de Michel Deutsch. C‟est en donnant à voir les défaillances des individus et leur non-intégration sociale dans le monde actuel désorganisé que le dramaturge témoigne son approche réaliste. La configuration dramaturgique de l‟espace extrascénique et l‟usage vraisemblable des objets qui y sont installés en sont des arguments à l‟appui. “L‟annonciation/incarnation de la réalité” rajoute de l‟exactitude aux faits représentés et la mise en oeuvre de la fonctionnalité du symbolique en dépit des descriptions standards prévaut. Or, la non-accessibilité dudit réel est un défi lancé à la reproduction d‟une image globale et parfaite de tous les événements. L‟incongruité tributaire du “nowhere” et de l‟anti-naturalisme structurel et factuel de l‟espace dramatique culmine avec l‟exposition inappropriée des principes consubstantiels à l‟espace théâtral. Le brouillage des repères temporels et l‟atemporalité accentuent le dysfonctionnement. Le langage lacunaire déjoue l‟expression, l‟extériorisation, la compréhension et la communicabilité. Le rapport au vécu se creuse : la pensée et la parole individuelle s‟évincent en faveur de l‟irruption recommencée de “l‟auteur-rhapsode”. Si la non-identification, le démembrement ou l‟indétermination de la situation d‟énonciation de l‟individu est condamnable, son existence atomique ou sa non-existence l‟est davantage.Michel Deutsch opte pour la transgression du réel et préconise le rejet catégorique de la duplication imitative et le principe de la “déconstruction-reconstruction” dans la représentation. / The interest in the representation gets to the intervention or the nonintervention of the real in it. The realism in the dramatic work is measured by ell updating the historical and political-social actualities and the existing realities. In the quest for the interpretation of the conception of “real”, it is add the ethic questioning of how to show it.Our research aims the dramatic work of Michel Deutsch. Seeing the individuals failures and their social nonintegration in the actual disorganized world that the playwright testifies his realistic approach. The extrastage space dramatic configuration and the likely use of the objects installed are supporting arguments for it. “The annunciation-incarnation of reality” adds exactitude to the representing facts and prevails the implentation of symbolic feature despite the standard descriptions. Though, the non-availability of real is a challenge launch to the reproduction of a global and perfect image of all the events. The tributary incongruity of “nowhere” and the structural, factual antinaturalism of dramatic space culminates in the inappropriate exposition of consubstantials principles of the theatrical space. The jamming time markers and the timeless stress the dysfunction. The lacunar language foiled the expression, the externalization, the comprehension and the communicability. The relationship with life fails : the thinking and the individual speech ousting on account of the restarted irruption of the “rhapsode-author”. If the non-identification, the dismembrement or the indetermination of speech situation of every person is condemnable, its atomic existence or his non existence are worse.Michel Deutsch opt for the transgression of the real and preconize to reject categoricaly the imitative duplication and the principal of the deconstruction-reconstruction in the representation.
210

Étalonnage automatique des détecteurs pour scanner LabPET II

Jürgensen, Nadia January 2017 (has links)
Depuis une vingtaine d'années, le GRAMS et le CIMS travaillent en collaboration dans le domaine de l'imagerie médicale, plus précisément sur la tomographie d'émission par positrons destinée à la recherche préclinique sur petits animaux. Après le scanner TEP Sherbrooke en 1994 et le LabPET I commercialisé par Advanced Molecular Imaging (AMI) Inc., Gamma Medica Ideas et GE Healthcare au cours des années 2000, l'aspiration vers de meilleures performances est le moteur de la réalisation d'une nouvelle version : le LabPET II. L'augmentation importante du nombre de détecteurs, nécessaire pour atteindre une meilleure résolution spatiale, amène de nouveaux défis autant sur le plan matériel que logiciel. Un des défis est de compenser les disparités en gain des détecteurs à base de photodiodes à avalanche (PDA) qui engendrent des différences intercanaux. Le but de ce projet de maîtrise est de développer et d'implémenter un algorithme capable de corriger ces différences de façon automatisée.

Page generated in 0.0323 seconds