Tesi: "Analyse interprétative"

1

Touchette, Martine. "Analyse dialogique de l'activité interprétative chez Freud et Bakhtine". Thesis, McGill University, 1995. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=22631.

Testo completo

Abstract (sommario):

Even if they rely on apparently quite different investigation domains and ideologies, both Freud and Bakhtin participate to that current which in the XXth century would upset the foundation of the positivist thought and would modify profoundly the traditional conception of science, language and the cartesian vision of the conscience and of the human subject. The thought of one as of the other, therefore, surpasses largely the principal reason of their research: If Freud applies the principles of the interpretation of dreams to the study of literary works, Bakhtin expands on the novel theory and questions polyphony and dialogism of all language. In conception of the literary speech of Bakhtin and of the dreams of Freud, the signs, the speeches and the multiple intentions or affects that animate them are constantly in dynamic interaction and obey it seems, to mechanism of similar transformation. The problem of interpretation is at the center of their works. The two authors are at the same time theoreticians and analysts of whom the theory of literature, of speeches, of work and dreams, pass necessarily by an act of interpretation. We are aware of the role played by the novels of Dostoievski on the theoretical work of Bakhtin. For Freud also, the principles of the work on dreams, according to his own affirmation develop with the interpretation process. We have to think that for him as for the Russian researcher, the theory is always in a link of active complicity with the interpretation; that one and the other are constantly mutually reflected and determined. A compared analysis of their texts can put in evidence the proximity of the thought processes of the thinkers, but can reveal also the differences, with their consequences from the point of view of ideology, ontology, even ethics.

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Colletta, Jean-Marc. "Analyse d'échanges exocommunicatifs en contexte judiciaire : essai de pragmatique interprétative". Grenoble 3, 1992. http://www.theses.fr/1992GRE39006.

Testo completo

Abstract (sommario):

Afin de decrire des interactions exocommunicatives entre migrants et magistrats en contexte judiciaire, nous avons elabore un modele analyse pragmatique et interpretative des interactions verbales. Ce modele permet la description precise des conduites langagieres, de leur agencement dans le discours et l'interaction et de leur sens, valeur et fonction en contexte. Il permet egalement le mettre a jour la valeur symbolique des conduites langagieres, soit leur participation aux contraintes sociales et aux jeux psycho-sociaux qui ont cours dans toute interaction socialement situee. Les interactions enregistrees proviennent d'audiences lors desquelles le juge des enfants recoit en son cabinet des familles d'origine etrangere. Leur analyse conduit au constat selon lequel les malentendus les plus consequents sont moins lies a l'ecart linguistique entre migrants et magistrats qu'a des ecarts de nature communicative ou culturelle. Des solutions sont envisagees pour ameliorer la communication et le contact entre migrants et magistrats
To investigate exocommunicative intercourses between judges and immigrants in juvenile court, we have worked out a pragmatic and interpretative analysis model of verbal interaction. Such a model allows precise description of linguistic behaviour, of its organisation in discourse and interaction, of its meaning and pragmatic function within the communicative context. It also allows an insight on the symbolic value of linguistic behaviour, which is due to its involoment in socio-psychological constraints and stakes that run through docially marked intercourses. The object of our study are tape-recorded hearings within which the judge summons immigrants to his office. Their analysis leads us to state that the most consistent misunderstanding that occur in these settings are less due to a linguistic gap between immigrants and judges than to communicative and cultural gaps. Solutions are sought to improve communication and contact between judges and immigrants

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Lauzier, Sophie. "L'identification à Romipen, entre le possible et la peur : analyse interprétative d'entretiens avec des Roma d'ex-Tchécoslovaquie". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape2/PQDD_0017/MQ56759.pdf.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Samaei, Farshid. "Etude interprétative des séquences binominales [N1N2]N en Français : approche contrastive avec le Persan". Thesis, Lyon 2, 2014. http://www.theses.fr/2014LYO20001.

Testo completo

Abstract (sommario):

Cette recherche a pour objectif la mise en application d’approches théoriques et méthodologiques en vue de l’interprétation des séquences [N1N2] N en français, avec une étude contrastive des séquences similaires en persan. La thèse se divise en deux grandes parties. La première partie apporte une vue d’ensemble historique et linguistique sur les mots composés en présentant les théories anciennes et modernes. Elle aborde l’histoire de la composition dans les langues sanscrite, grecque et latine, puis les différentes approches de la langue française, syntaxiques et morphologiques, jusqu’aux approches les plus récentes de la linguistique. À la fin de cette partie, on propose un aperçu des études sur la composition en persan. Cette première partie nous permet d’avoir une vision claire de la problématique des noms composés. Elle sert de base à une réflexion sur les critères d’analyse pertinents pour l’étude de nos données, en nous permettant d’élaborer une approche multidimensionnelle à la frontière entre la syntaxe, la morphologie et la sémantique. La deuxième partie présente deux approches principales pour l’analyse et l’interprétation des séquences nominales N1N2 en français (corpus dictionnairique et non dictionnairique) et des séquences similaires en persan. La première approche, celle d’Arnaud & Renner, est une classification morpho-sémantique et référentielle des séquences N1N2, en deux catégories principales appelées subordinative et coordinative. La seconde approche, proposée par Noailly, consiste à analyser les N1N2 dans le cadre de quatre classes interprétatives dont la qualification, la complémentation, la coordination, et l’identification. Elle permet d’interpréter les séquences en voie de lexicalisation et les séquences non-dictionnairiques.Cette étude nous permet d’analyser les suites binominales d’un point de vue multifonctionnel, de comprendre les mécanismes de l’irrégularité interprétative et de montrer qu’un certain nombre de séquences sont aptes à produire deux ou plusieurs interprétations potentielles
This research has for objective the application of theoretical and methodological approaches to the interpretation of [N1N2] N sequences in French, with a contrastive study of the similar sequences in Persian.The thesis divides in two major parts. The first part provides a historic and linguistic overview of binominal compounds alongside the old and modern theories in this field. It deals with the history of composition in Sanskrit, Greek and Latin as well as different syntactic and morphological aspects of the French language, until the most recent approaches in the modern linguistics. At the end of this part, the studies on the composition in Persian have been reviewed. This historical vision of the subject can be used as a basis for discussing the relevant criteria of analysis for the study of our data, by allowing us to develop a multidimensional and inter-modular approach to the syntax, morphology and semantics. The second part presents two main approaches to the analysis and interpretation of nominal N1N2 sequences in French (dictionary based and non-dictionary based corpora) and the similar sequences in Persian. The first approach of Arnaud & Renner is a morpho-semantic and referential classification of N1N2 sequences in two main categories.of subordinative and coordinative compounds. The second approach, proposed by Noailly, consists in analysis of the N1N2 combinations within the framework of four interpretative classes including qualification, complementation, coordination, and identification. These two models also make the interpretation of the sequences that are in the process of lexicalization as well as those that are not entered the dictionnaries yet possible.This study allows us to analyze binominal sequences from a multifunctional point of view, to understand the mechanisms of the interpretative irregularity, and to show that a number of sequences are capable of producing two and more potential interpretations

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Marcoux, Gilles. "Engagement organisationnel et distanciation sociale : analyse interprétative de la situation expérimentée par des agents de service en centre d'appel". Thesis, Université Laval, 2007. http://www.theses.ulaval.ca/2007/24660/24660.pdf.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Grenier, Chantal. "Le vécu des enseignants de musique dans le contexte de l'intégration scolaire en classe ordinaire : une analyse phénoménologique interprétative". Master's thesis, Université Laval, 2017. http://hdl.handle.net/20.500.11794/27523.

Testo completo

Abstract (sommario):

Au Québec, les enseignants titulaires de classe et les enseignants spécialistes en musique au préscolaire et au primaire ont les mêmes obligations face à l’intégration scolaire des élèves handicapés ou en difficulté d’adaptation ou d’apprentissage [HDAA]. À ce jour, aucune étude québécoise ne semble s’être intéressée à l’enseignement de la musique aux élèves HDAA en contexte de classe ordinaire. Une recension de la littérature anglophone en éducation musicale a mis en évidence des problèmes liés à ce phénomène. Dès lors, il est apparu important d’explorer l’expérience vécue des enseignants spécialistes en musique en lien avec l’intégration des élèves HDAA en classe ordinaire dans le contexte du système scolaire québécois. Les objectifs de la présente recherche sont les suivants : 1) décrire en profondeur l’expérience vécue d’enseignants spécialistes en musique au préscolaire et au primaire et 2) décrire comment se manifestent dans leur vécu les principaux facteurs reconnus pour faciliter l’intégration. Afin de répondre aux objectifs ciblés, un devis de recherche phénoménologique basé sur l’approche de l’analyse phénoménologique interprétative (IPA) de Smith, Flowers et Larkin (2009) a été adopté. Trois entrevues individuelles semi-dirigées en profondeur ont été menées et une analyse phénoménologique interprétative des données récoltées a été effectuée. Les résultats ont mis en évidence la présence de huit dimensions expérientielles communes au vécu des trois participants. Enfin, la mise en dialogue de facteurs favorisant l’intégration scolaire qui sont issus d’une recension des écrits québécois et de l’expérience des enseignants ayant participé à la recherche suggère un décalage entre ce qui est préconisé et ce qui est vécu.
In the province of Quebec, classroom teachers and specialist music teachers in primary schools have the same obligations in regards to the mainstreaming of special needs students. To date, no study in the province of Quebec has examined the music education of special needs students in the context of the regular classroom. A literature review of English studies in the field of music education has documented the problems resulting from this phenomenon. Therefore, it appears important to explore the lived experience of specialist music teachers in primary schools in connection with the mainstreaming of special needs students in the regular classroom in the context of the Quebec school system. The objectives of the present research are: 1) to describe in depth the lived experience of specialist music teachers in primary schools in connection with the mainstreaming of special needs students in the regular music classroom; 2) to describe how the main factors known to facilitate mainstreaming manifest themselves in the teachers’ lived experience. In order to explore these objectives, a phenomenological research design grounded in the interpretative phenomenological analysis (IPA) approach of Smith, Flowers & Larkin (2009) was chosen. Three in-depth semi-structured interviews were conducted and an interpretative phenomenological analysis of the data was carried out. Eight experiential dimensions common to the lived experience of the three participants resulted from the data analysis. Finally, a gap seems to exist between the main factors known to facilitate mainstreaming in the Quebec literature and participants’ lived experience.

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Régimbald, Karine. "Contribution à l'analyse du mouvement étudiant de 2012 au Québec. Une analyse interprétative de l'Association pour une solidarité étudiante (ASSÉ)". Thesis, Université d'Ottawa / University of Ottawa, 2016. http://hdl.handle.net/10393/35061.

Testo completo

Abstract (sommario):

Dans cette thèse, nous chercherons à jeter un regard neuf sur le mouvement étudiant de 2012 au Québec. Tout en prenant en compte la dimension critique du mouvement des carrés rouges, nous voulons montrer son inscription dans une logique affirmative, en tant qu’il a été porteur d’'une dimension utopique (au sens où l’entend le philosophe Miguel Abensour). Pour ce faire, nous avons examiné le discours, en particulier, de l'Association pour une solidarité syndicale étudiante (ASSÉ) à partir de trois thématiques qui ont permis de susciter un débat dans l'espace public québécois : la gratuité scolaire, la démocratie directe, la désobéissance civile. De façon transversale, nous avons également analysé la question de la citoyenneté. Notre travail a été motivé par le peu de recherche effectuée sur le sujet au moment d'entamer cette thèse. Sans compter que, sauf quelques exceptions, l'essentiel de la recherche concernant le « printemps québécois » faisait fi de son discours orienté vers l’affirmation. Dans un premier temps nous procéderons à une mise en contexte du « printemps québécois ». Cette première partie, essentiellement descriptive et présentée de façon chronologique, vise à rappeler les événements liés à cette période d'action collective. Dans un second temps, nous nous intéresserons plus particulièrement à l'ASSÉ, le regroupement étudiant qui a mis sur pied la CLASSE. Il sera question de traiter de son contexte d'émergence, de sa culture générationnelle et de ses principes pour ensuite procéder à une analyse interprétative à partir des thématiques identifiées ci-dessus. Au terme de notre travail, apparaîtra une association étudiante qui porte résolument un discours tourné vers l'émancipation, arrimé à une quête de sens, dont le fil conducteur est une idée de l'humanité.

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Lovito, Giuseppe. "La dialectique interprétative entre texte et lecteur dans l'oeuvre théorique et romanesque d'Umberto Eco : la (més)interprétation de la réalité par la fiction". Thesis, Aix-Marseille, 2017. http://www.theses.fr/2017AIXM0378/document.

Testo completo

Abstract (sommario):

Notre thèse de doctorat se propose de montrer, selon une perspective historique et analytique, que toute l’œuvre théorique et romanesque d’Umberto Eco peut être lue, de manière originalement organique et problématique, à travers le thème de la dialectique interprétative entre texte et lecteur. Présent dans tous ses différents écrits, dans lesquels il nous amène à instaurer entre eux un dialogue intertextuel et intratextuel, fécond et critique, ce thème nous permet ainsi de soutenir qu’il est possible, voire significatif, d’envisager les divers aspects de l’œuvre échienne de façon cohérente et complémentaire. À ce propos, notre conviction est que, si les livres de sémiotique d’Eco s’interrogent surtout sur les règles et les modalités fondamentales pour une fructueuse coopération interprétative entre lecteur et texte, en vue de la définition d’un sens partageable de ce dernier, ses romans, loin d’être entendus comme une simple illustration didactique de ses conceptualisations théoriques, doivent plutôt être vus comme des formes de leur enrichissement successif. En effet, en y représentant allégoriquement les conséquences dramatiques des dérives herméneutiques liées au rapport interprétatif entre texte et lecteur, Eco se sert de la fiction narrative pour justement critiquer l’emploi de la sémiotique à des fins d’abstraction intellectuelle et pour l’ancrer, à l’inverse, dans le terrain concret de l’histoire, en mettant ainsi en valeur sa fonction critique, sociale et culturelle
Our doctoral thesis intends to show, from a historical and analytical perspective, that all the theoretical and novelistic works by Umberto Eco can be read, in an originally organic and problematic way, through the theme of the interpretative dialectic between the text and the reader. The theme is present in all his different books. It leads us to establish a rich, critical, intertextual and intratextual dialogue and allows us to argue that it is possible, even significant, to consider the various aspects of his work in a coherent and complementary manner. In fact, our conviction is that, even though Eco’s semiotic books mainly focus on the fundamental rules and modalities of a fruitful interpretative cooperation between the reader and the text – in order to define a shared meaning of the latter –, his novels, far from being understood as a simple didactic illustration of his theoretical conceptualizations, should rather be regarded as forms of their successive enrichment. Indeed, through the allegorical representation of the dramatic consequences of hermeneutic practises pushed to the extreme – related to the interpretative relationship between the text and the reader –, Eco precisely uses narrative fiction to criticize the use of semiotics for the purposes of intellectual abstraction and to anchor it, on the contrary, in the concrete realm of history, thus highlighting its critical, social and cultural role

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Fayolle, Vincent. "Décrire le texte comme événement : enjeux d'une approche interprétative : réflexion menée à partir d'un choix de lettres écrites par Antonin Artaud". Paris 5, 2003. http://www.theses.fr/2003PA05H028.

Testo completo

Abstract (sommario):

Cette thèse souhaite mettre en évidence le fait que l'analyse linguistique d'un texte (écrit publié) doit prendre en compte l'hétérogenèse du sens qui s'y manifeste à partir d'un effort de conceptualisation concernant la notion d'interprétation. Un tel effort passe par exemple par un dialogue conséquent avec la tradition herméneutique représentée par Humboldt ou Schleiermacher. Ces premières réflexions rendent alors possible l'analyse des singularités langagières propres à un texte donné (nommé "système-texte" et déterminé comme "objet de l'analyse") à partir de la détermination de trois domaines principaux et de leurs corrélations : le domaine des genres et des micro-genres, le domaine de l'énonciation représentée. On tentera ici de mettre en place des éléments de méthode pour l'analyse. La mise en variation de la langue propre à un "système texte" peut alors s'analyser comme un style discursif, ensemble de mouvements mobilisant et reliant plusieurs dimensions sémiologiques et témoignant de la propriété événementielle (du travail de la langue et de la mise en mot par les affects extérieurs qui s'en saisissent et s'y déploient) de l'expression. La réflexion s'élaborera principalement à partir d'un corpus de neuf lettres publiées écrites par Antonin Artaud à Rodez
This thesis aims to show that the description of the heterogeneous characteristics of a text can only be achieved and completed by taking into account the concept of interpretation. One clarifies for example the possible relations between interpretation in linguistics and the tradition hermeneutics represented by Humboldt or Schleiermacher. One wants to as show as the taking into account of the event-driven character of a text requires a particular method. Analysis of the concept of interpretation and its importance for the linguistic reflexion show the different ways in which the linguist can take up the meaning of a text. This work considers the texts starting from three spheres : : genres, semantics and syntax and represented enunciation theories. Indeed, It's within the framework of these spheres that the texts draw their meanings. This analysis considers particularly nine letters from Antonin Artaud

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Laliberté, Geneviève. "Les facteurs liés à la perception du soutien dans un contexte de douleur chronique : une analyse interprétative phénoménologique auprès de femmes francophones". Thèse, Université d'Ottawa / University of Ottawa, 2013. http://hdl.handle.net/10393/30259.

Testo completo

Abstract (sommario):

L’objectif de cette étude a été d’examiner les facteurs liés à la perception du soutien offert de la part de son partenaire, telle que rapportée par des femmes francophones ayant une condition chronique impliquant la douleur comme symptôme primaire. Cinq participantes francophones, âgées de 32 à 66 ans, ont fait partie de l’étude en participant à une entrevue semi-structurée. Les résultats ont été obtenus en utilisant la méthode d’analyse interprétative phénoménologique (Interpretative Phenomenological Analysis, [Smith & Osborn, 2003]). Les analyses ont indiqué 8 sous-thèmes classifiés parmi 3 thèmes superordonnés : 1) la perception du soutien, 2) le concept de soi, et 3) la relation de couple. Ces thèmes, ainsi que les applications empiriques et les retombées cliniques, sont discutés.

Gli stili APA, Harvard, Vancouver, ISO e altri

11

Giordano, Florent. "La géographie (dés)organisante : savoirs, pouvoirs, normes : analyse interprétative du dispositif de gestion de la santé en région Centre-Val de Loire". Thesis, Tours, 2017. http://www.theses.fr/2017TOUR1010/document.

Testo completo

Abstract (sommario):

La question principale de cette thèse peut être formulée ainsi : Comment les discours, normes et pratiques spatiales peuvent, dans le cadre d’une relation inter-organisationnelle, produire un bon comportement spatial des agents dans une relation de délégation ? Ancré en management stratégique, notre cadre théorique mobilise des approches issues de la géographie et le concept foucaldien de dispositif. La méthodologie de recherche déployée repose sur une étude de cas unique portant sur la gestion de la santé en région Centre-Val-de-Loire. L’analyse du matériau empirique fait ressortir la création d’une chaîne d’auto-régulation inter-organisationnelle permettant de propager ce dispositif reposant sur trois types d’espace, absolu, relatif et relationnel en donnant l’illusion à chacun des maillons qu’il est responsable de ses actions. Nous mettons aussi en évidence le caractère autonome du dispositif qui produit à la fois des marges de manœuvres pour les acteurs et des résultats parfois contre-productifs vis-à-vis de la politique initialement portée par le mandant
The main question of this thesis can be formulated as follows: How can discourses, norms and spatial practices, in the context of inter-organisational relations, produce good spatial conduct of agents in a relation of delegation? Rooted in strategic management, our theoretical framework mobilise approaches from the domain of geography and the Foucauldian notion of dispositif. The methodology we used is based on a unique case study: the health system in the region of Centre-Valde- Loire. The analysis of the empirical material shows the creation of an inter-organisational self-regulation chain, enabling the dissemination of this dispositif based on three types of space (absolute, relative and relational) by giving the illusion to each one of these links that he is responsible for his actions. We also highlight the independent nature of the dispositif that can create room for manoeuvre for actors as well as results that are sometimes counter-productive with regard to the original policies of the mandator

Gli stili APA, Harvard, Vancouver, ISO e altri

12

Barré, Catherine. ""Pseudomonas aeruginosa" : analyse épidémiologique des isolements dans un hôpital chirurgical spécialisé, étude de l'activité bactériostatique des antibiotiques, analyse en fonction des principaux phénotypes de résistance, apport à la lecture interprétative". Paris 5, 1995. http://www.theses.fr/1995PA05P012.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

13

Pariseau-Legault, Pierre. "Handicap intellectuel et sexualité : une analyse phénoménologique interprétative du vécu des personnes identifiées comme ayant un handicap intellectuel et de leurs proches aidants". Thesis, Université d'Ottawa / University of Ottawa, 2016. http://hdl.handle.net/10393/35296.

Testo completo

Abstract (sommario):

Les questions associées à la sexualité en contexte de handicap intellectuel ont historiquement été au cœur de stratégies biopolitiques alliant santé collective et contrôle populationnel. S’étant distanciées de l’époque institutionnelle et des pratiques eugéniques la caractérisant, les interventions ciblant ce domaine se sont graduellement reconfigurées sous l’angle de la participation sociale, du partenariat de soin et d’approches normalisantes. Plus que jamais, cette dimension se situe à l’intersection de valeurs personnelles et collectives, la vie affective et sexuelle étant aux racines de l’identité individuelle et mobilisant également ses représentations idéalisées par l’imaginaire collectif. Toutefois, bien que le rôle infirmier en santé sexuelle et en planification familiale soit reconnu, plusieurs recherches illustrent qu’il reste confiné à sa dimension biomédicale et qu’il répond avec grande difficulté aux besoins spécifiques des personnes identifiées comme ayant un handicap intellectuel en cette matière. Alliant un cadre théorique inspiré des écrits de Michel Foucault et de Julia Kristeva à une approche méthodologique issue de l’Analyse Phénoménologique Interprétative, cette recherche explore le processus de construction de l’identité socioaffective en contexte de handicap intellectuel. Par cet intermédiaire, elle propose une meilleure compréhension du parcours de vie des personnes ayant un handicap intellectuel à l’égard de l’expression affective et sexuelle, ainsi que celui de leurs systèmes de soutien. La collecte des données s’est déployée sur une période de 6 mois et a recueilli, par le biais d’entrevues semi-dirigées, les récits de 16 participants. De ce groupe, 5 sont des usagers de services de réadaptation spécialisés en handicap intellectuel, 5 sont des proches aidants et 6 sont des intervenants œuvrant dans ces mêmes services.Cette recherche expose que l’expression affective et sexuelle s’inscrit au sein d’un large processus de négociation systémique et identitaire. Systémique, car répondant de systèmes de savoirs propres au handicap intellectuel et à la sexualité, autorisant de ce fait diverses interventions visant à normaliser la personne et à offrir une réponse aux modes de subjectivation de la personne dite « vulnérable » ou « dangereuse ». Identitaire puisque ces pratiques investissent l’ensemble des axes de l’existence affective et sexuelle, allant de l’habitation d’espaces austères à la reconfiguration du « moi » intime. Ces constats sont une mise à l’épreuve des prétentions holistiques de la pratique infirmière, plus spécifiquement de sa capacité à participer à l’émancipation des personnes identifiées comme ayant un handicap intellectuel ainsi qu’à la reconnaissance de leurs besoins et de leur droit à l’expression affective et sexuelle.

Gli stili APA, Harvard, Vancouver, ISO e altri

14

Dovi, Eliane. "L’accompagnement des aidants proches de personnes atteintes d’un trouble neuro-cognitif majeur :exploration qualitative d’une approche psycho-éducative de groupe". Doctoral thesis, Universite Libre de Bruxelles, 2021. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/323255.

Testo completo

Abstract (sommario):

Aujourd’hui, il est bien reconnu que l’aidant proche d’une personne atteinte d’un trouble neuro-cognitif majeur (démence) détient un rôle essentiel, complexe et taxant pouvant mener à des effets néfastes pour sa santé psychologique et physique. L’accompagnement psychologique de l’aidant proche s’est beaucoup développé dans les trois dernières décennies et les programmes psycho-éducatifs – visant à éduquer, à soutenir et à outiller les aidants proches – sont considérés comme efficaces à un degré modéré. Les études évaluant les programmes psycho-éducatifs sont principalement quantitatives et négligent de prendre en compte la particularité et la complexité des situations vécues par les aidants proches. L’objectif qui sous-tend cette thèse est d’investiguer les apports d’un accompagnement psycho-éducatif de groupe à travers l’exploration qualitative du vécu de l’aidant proche afin de mieux cerner les processus intra- et inter- personnels. Quatre articles structurent cette thèse et s’articulent autour d’un accompagnement psycho-éducatif de groupe destiné aux aidants proches. Le premier article explore le cheminement de l’aidant proche ainsi que ses attentes et sa motivation avant sa participation au groupe psycho-éducatif. Le deuxième article utilise une méthodologie qualitative et longitudinale pour investiguer les difficultés et les besoins non satisfaits des aidants proches avant et après leur participation au groupe psycho-éducatif. Il permet d’explorer comment la psycho-éducation tient compte de ces difficultés et besoins. Le troisième article détaille les différences de vécu des aidants proches avant leur participation. Il met en avant l’identification d’aidant proches « proactifs », « passifs » et « ambivalents ». Il détaille également l’évolution du vécu et de la perception des aidants proches après leur participation au groupe psycho-éducatif. Finalement, le quatrième article est une exploration comparative du vécu et des caractéristiques de deux groupes d’aidants proches :ceux ayant participé à l’entièreté du programme psycho-éducatif et ceux ayant abandonné leur participation. Cette thèse illustre la nécessité d’évaluer les situations et difficultés individuelles, évolutives et complexes des aidants proches avant de leur proposer un accompagnement psycho-éducatif « à taille unique ». Également, ces résultats témoignent des perceptions favorables vis-à-vis du groupe psycho-éducatif mais soulignent l’importance d’une compatibilité entre les besoins de l’aidant proche et de l’accompagnement psycho-éducatif proposé. Finalement, la temporalité dans le parcours de l’aidant proche et l’évolution des troubles neuro-cognitifs doivent également être prises en compte dans l’accompagnement psycho-éducatif.
Doctorat en Sciences psychologiques et de l'éducation
info:eu-repo/semantics/nonPublished

Gli stili APA, Harvard, Vancouver, ISO e altri

15

Gérard, Christophe. "Contribution à une sémantique interprétative des styles : étude de deux oeuvres de la modernité poétique : Jacques Dupin et Gérard Macé". Toulouse 2, 2004. https://halshs.archives-ouvertes.fr/tel-01093043.

Testo completo

Abstract (sommario):

Pour la linguistique le défi que pose le style ne consiste pas à définir ce qu'il est mais ce qui relève du style dans son ordre propre de phénoménalité, en assumant la diversité des styles en tant qu'ils s'actualisent, se font reconnaître et se laissent décrire dans des textes au sein d'un corpus constitué. Dans cette optique, en dialogue avec différentes pratiques du texte (poétique, stylistique), on se propose de s'interroger sur les conditions, les objectifs puis les moyens d'une description linguistique des styles mais aussi, conjointement, des caractères textuels. La tâche d'une description des styles est alors confiée à une sémantique des textes qui répond à la question du style dans les termes d'une conception morphosémantique du texte et s'acquitte par là même de la spécificité de la poésie moderne. Les œuvres de J. DUPIN et G. MACE sont mises à contribution pour illustrer les différentes formes de singularisation qui font des phénomènes sémantiques autant de variations stylistiques saisies dans la perception et l'interprétation des textes lus
For linguistics, the challenge of style is not the definition of what it is, but of what belongs to style in its own phenomenality order, and assuming the diversity of styles as they are actualised, identified and described in texts within a built corpus. In this way, discussing with the other text approaches (poetics, stylistics), we question the conditions, objectives, and means of a linguistic description of styles, and, in the same time, the textual proper identities. The task of a description of styles is assigned to a text semantics which can respond to the question of style in terms of a morphosemantic conception of text, and thus give answers to the difficulties of describing modern poetry. To reach that goal, we use J. DUPIN and G. MACE's artworks. The analysis we make illustrate the differents forms of singularities which build the semantic phenomena as many as stylistic variations taken into the perception and interpretation of read texts

Gli stili APA, Harvard, Vancouver, ISO e altri

16

Idiatha, Guy Wilfried. "Le lecteur modèle : représentation, coopération interprétative et sens poétique chez Pierre Edgar Moundjegou Mangangue, Lucie Mba et Bellarmin Moutsinga". Paris 13, 2012. http://scbd-sto.univ-paris13.fr/secure/ederasme_th_2012_idiatha.pdf.

Testo completo

Abstract (sommario):

S’étant donné le projet d’examiner le Lecteur Modèle en tant que grille de lecture dans les recueils poétiques de Lucie Mba, Moundjégou-Magangue et Bellarmin Moutsinga, trois poètes gabonais, les études menées dans ce travail heuritique se situent au confluent de plusieurs disciplines littéraires et linguistiques dont la pragmatique, la réception et surtout de l’approche sémiotico-structurale du Lecteur Modèle telle qu’ Umberto Eco l’a développé dans son ouvrage Lector in fabula publié en 1979. Notre thèse détermine le statut du narrataire et, en conséquence, du Lecteur Modèle dans le texte poétique gabonais; elle analyse le processus germinatif du texte à travers la prévision du Lecteur Modèle et la programmation de sa propre actualisation, partant de l’architecture textuelle et surtout de la figure du narrataire du texte. De même, elle analyse comment le Lecteur Modèle par le moyen de la Coopération interprétative, parvient à donner le sens global de l’oeuvre poétique gabonais selon les voeux des auteurs qui entendent que le Lecteur Modèle qui a été « prévu » dans leurs textes agisse interprétativement comme eux, ont agit générativement. Le but étant de trouver le sens des oeuvres poétiques gabonaises. Aussi, le Lecteur Modèle chez les trois auteurs gabonais, au regard des occurrences linguistiques, géographiques, historiques ou sociologiques en dépit de son caractère universaliste est d’abord un lecteur des réalités sociales gabonaises, lesquelles sont appelées par les poètes à être renouvelées. D’autant que leur projet avéré reste finalement la visualisation et la construction d’un avenir désiré et constructif. A l’opposé de toute déchéance et de toute entropie ambiante
Having given the project to examine the Model Reader, her representation, interpretive cooperation and poetic sense in the poetry collections of Lucie Mba, MoundjégouMangangue and Bellarmin Moutsinga, three Gabonese authors. This thesis is located at the confluence of several literaries and linguistics disciplines like pragmatic, reception and above all inspired by the structural-semiotic approach as a "method of the text" of Model Reader whom Umberto Eco demonstrated in her book titled Lector in fabula published in 1979. Before all, our work determines the Model Reader’s status in the Gabonese poetry; how the work provided for in the germination process of the text and how it programs her own actualization, which based first on the narratee as Model Reader and also on the textual architecture. Similarly, it analyzes how the Model Reader by means of interpretive cooperation, manages to make sense in the poetic work according to the wishes of the authors assume that the reader act interpretatively as they acted generously. Our intention is being find the poetic sense of Gabonese texts. The Model Reader poetic texts of the three authors of Gabon, who under the language, history or political-geographical configurations, in spite of her universal character is at first a reader of the gabonese social realities, which are called by the poets to be renewed. Because their literary project being the visualization of a wished and constructive future. On the opposite side of the Chaos observed in their (real and present) society

Gli stili APA, Harvard, Vancouver, ISO e altri

17

Botero, Garcia Nataly. "Enjeux écologiques et imaginaires de la consommation. Analyse sémio-discursive de la presse écrite". Thesis, Paris Est, 2014. http://www.theses.fr/2014PEST0013.

Testo completo

Abstract (sommario):

Au vu des atteintes écologiques générées par les paradigmes économiques dominants, ces derniers ne semblent plus tenables. Toutefois depuis quelques années, le souci écologique a commencé à se cristalliser dans de modes de consommation, de valeurs, de pratiques et d’imaginaires associés à la mesure et à la sobriété. Nous nous attachons ainsi à scruter ce changement de paradigme à travers la médiatisation des enjeux environnementaux en France. Il s’agit d’examiner la mise en mots et en discours des problématiques écologiques dans la presse écrite française, aussi bien dans son versant généraliste (journaux quotidiens nationaux) que spécialisé(magazines associatifs et écologistes). L’objectif principal de cette recherche est d’analyser et de comprendre l’émergence et la mise en place de discours et de représentations qui participent à la construction d’un nouvel imaginaire socio-culturel de référence, dit de mesure ou de sobriété
In view of the ecological infringements generated by the economic paradigms,those do not seem any more bearable. However since a few years, the ecologicalproblems began to crystallize in modes of consumption, values, practices andimaginaries associated to measure and sobriety.We attempt to study this change of paradigm through the media coverage of theenvironmental stakes in France. Our aim it’s to exanimate the words and the speech ofthe ecological problems in the French press: national daily newspapers (non-specializedpress) and associative and ecologist magazines (specialized press).The main objective of this research is to analyze and to understand the emergenceof speeches and representations which participate in the construction of a newsociocultural imaginaries

Gli stili APA, Harvard, Vancouver, ISO e altri

18

Mailhiot, Pierre-Luc. "Regard sur la réalité des intervenant(e)s travaillant ou ayant travaillé auprès de la clientèle des centres jeunesse du Québec et pratiquant la présence attentive : une analyse phénoménologique interprétative". Master's thesis, Université Laval, 2020. http://hdl.handle.net/20.500.11794/67231.

Testo completo

Abstract (sommario):

Au Québec, les intervenant(e)s des centres jeunesse font face à une multitude de situations stressantes, les mettant ainsi à risque d’épuisement professionnel. À ce jour, aucune étude québécoise ne s’est intéressée au vécu d’intervenant(e)s en centres jeunesse, en lien avec leur perception du bien-être au travail, et pratiquant la présence attentive. Une recension de la littérature a mis en évidence les bienfaits de la pratique de la présence attentive face aux risques d’épuisement professionnel. Il nous est donc apparu pertinent d’investiguer si cela s’appliquait également aux intervenant(e)s des centres jeunesse. Les objectifs de la présente recherche étaient les suivants : 1) explorer la perception du bienêtre au travail des intervenant(e)s, 2) décrire la pratique de la présence attentive telle que vécue par les intervenant(e)s et le sens qu’elles y accordent et 3) explorer les effets perçus de la présence attentive dans leur rapport au travail. Afin de répondre à ces objectifs, un devis de recherche qualitatif basé sur l’approche de l’analyse phénoménologique interprétative (IPA) de Smith, Flowers et Larkin (2009) a été utilisé. Quatre entrevues individuelles semi-dirigées ont été conduites et une analyse phénoménologique interprétative des données recueillies a été effectuée. Les résultats ont mis en évidence l’existence de douze dimensions expérientielles communes au vécu des quatre participantes. Finalement, la mise en dialogue des résultats de la recherche et de la recension des écrits au sujet de la présence attentive et du milieu de réinsertion sociale suggère que plusieurs éléments affectent la perception du bien-être au travail des intervenantes interviewées. La présence attentive pour sa part constitue un atout important, mais représente davantage un moyen parmi d’autres de favoriser ce bien-être.

Gli stili APA, Harvard, Vancouver, ISO e altri

19

Mandel, Eléonore. "Mythicization, Recontextualization and the Maintenance of International Business Relationships : A Processual and Interpretative Analysis of a French SME's Experience Across Four Cultural Contexts". Thesis, Paris Est, 2015. http://www.theses.fr/2015PESC0014.

Testo completo

Abstract (sommario):

Ce projet de recherche décrit, analyse et propose une interprétation du processus par lequel les PME maintiennent leurs relations d'affaires dans des contextes culturels différents. La littérature en marketing sur la relation B-to-B part du postulat que les relations d'affaires durables améliorent la performance, offrent aux partenaires des niveaux de satisfaction plus élevés et un avantage concurrentiel sur le marché national et les marchés internationaux. Il a été démontré que le maintien d'une relation d'affaires requiert que les entreprises développent, selon un cycle de vie séquentiel, confiance, engagement et valeur de la relation. En contexte international, il faut surmonter des difficultés supplémentaires : gérer les importantes distances géographiques et faire face aux « frictions » inhérentes à la communication interculturelle, aux différentes échelles de valeurs et de comportements. Cette thèse se concentre sur le processus de maintien des relations d'affaires internationales dans les PME, qui est le type d'entreprise considéré comme le moins à même de surmonter les obstacles de l'internationalisation. La méthodologie choisie associe une approche longitudinale rétrospective et en temps réel afin de comparer et mettre en perspective quatre relations d'affaires internationales durables : une ethnographie focale – entre un fabricant Français et son distributeur Japonais - et trois études de cas – entre l'entreprise française centrale et un distributeur respectivement Sud-Coréen, Néerlandais et Belge. Ce travail décrypte la complexité du processus de maintien des relations d'affaires internationales à travers l'analyse et l'articulation de trois perspectives : la narration du cycle de vie de la relation reconstruit et objectivé, le processus de communication au cours de de la relation et le processus culturel de « sensemaking » des incidents critiques et événements saillants. Mobilisant l'approche interprétative, la thèse montre que les relations d'affaires internationales peuvent se maintenir bien que les expériences et les perspectives des acteurs sur leurs interactions soient différentes de part et d'autre de la relation. La communication interculturelle est le vecteur des représentations « recontextualisées » des partenaires i.e : modelées par les univers de sens inhérents aux contextes de perception distincts dans chaque relation dyadique. En dépit de recontextualisations asymétriques, les partenaires peuvent développer des attitudes compatibles d'engagement et de confiance l'un envers l'autre. Ce travail met plus particulièrement en lumière le rôle que jouent les visions mythifiées de la relation d'affaires - les représentations constamment élaborées, réinterprétées et recontextualisées de certains aspects de la relation, qui sont ainsi favorablement ou défavorablement déformés. Il apporte une contribution à la littérature en proposant un modèle du processus de maintien de la relation d'affaires internationale. Il suggère que les concepts d'engagement et de confiance méritent davantage d'attention en associant des approches processuelles, interprétatives, et psychologiques
This research project documents, analyzes and offers a processual interpretation of how business relationships are maintained in SMEs across cultural contexts. The B-to-B relationship marketing literature posits that long-lasting business relationships enhance performance, offer business partners higher levels of satisfaction and a competitive advantage in domestic and international markets. Maintaining business relationships is shown to require the development of trust, commitment and relationship value between the firms through a sequential lifecycle. In international contexts, additional difficulties must be overcome due to operating at large geographical distances and facing frictions inherent to cross-cultural communication, value incongruence and behavioral differences. This thesis focuses on the relationship maintenance process specifically in SMEs as this organizational type is considered to be least able to overcome the internationalization hurdles. The chosen methodology combines a retrospective and invivo longitudinal approach, comparing and contrasting four long-lasting international business relationships among SMEs: the focal ethnography involves a French manufacturer with a Japanese distributor; followed by three comparative case studies between the French pivotal firm respectively with a South Korean, Dutch and Belgian distributor. This work deciphers the complex process of international business relationships' maintenance through the analysis and articulation of 3 perspectives: the narrative of the objectivized reconstructed relationship lifecycle, the relationship communication process and the dyadic cultural sensemaking of critical incidents and salient events. Using the interpretative approach, the thesis shows that international relationships can be maintained in spite of different experiences and perspectives from each side of the dyad concerning their interactions. The cross-cultural communication mediates the partners' representations, which are ‘recontextualized', i.e: shaped by the universes of meaning existing in the dyads' distinct perceptual context. In spite of asymmetrical recontextualizations partners can develop compatible attitudes of commitment and trust toward each other. This work particularly sheds light on the role played by the mythicized visions of the business relationship— constantly shaped, reinterpreted, and recontextualized representations of certain aspects of the relationship that are favorably or unfavorably distorted.. It contributes to the literature by proposing a model of the international business relationship maintenance process. It suggests that the concepts of commitment and trust deserve further attention through a combination of processual, interpretative and psychological approaches

Gli stili APA, Harvard, Vancouver, ISO e altri

20

Borderieux, Julien. "La construction textuelle du brevet d'invention : analyse et théorisation de la strate contributionnelle". Phd thesis, Université d'Orléans, 2013. http://tel.archives-ouvertes.fr/tel-01004409.

Testo completo

Abstract (sommario):

Ce travail s'attache à la construction textuelle du brevet d'invention (type de texte spécialisé très normé) par l'étude des contraintes pragmatiques le structurant et notamment celles le définissant comme une contribution au sens gricéen (Grice), post-gricéen (Nemo, Portuguès) ou non-gricéen (Clark et Schaefer). Il étudie ses stratégies textuelles, par exemple en termes de rhétorique de la revendication, en se penchant sur son format particulier dans lequel sont isolés des éléments récurrents et autonomes, les ensembles contributionnels, et leurs liaisons.La première partie présente l'approche contributionnelle du texte de brevet d'invention. Il s'agit d'une part de décrire le texte comme un objet contributionnel, et d'autre part de se demander dans quelle mesure la confrontation avec un texte hyperformaté conduit à reconsidérer les maximes (gricéennes) régulant les contributions. Le corpus d'étude est constitué d'une base textuelle de brevets d'invention transformée en base de données contributionnelles. L'analyse de celle-ci permet une modélisation contributionnelle du texte de brevet fondée sur des marqueurs délimitant des ensembles contributionnels soumis à un schéma général invariant, prédictible et reproductible. La phase de modélisation est l'occasion de reformuler une partie des maximes gricéennes encadrant la production d'ensembles contributionnels. Dans le cadre d'une conception plurisémique de l'interprétation, la fin de l'étude dégage les propriétés de la strate contributionnelle, en montrant notamment qu'à partir de la contrainte de complétude du texte en train de se construire et au travers des différentes sous-contributions qui le constituent se met en place une mécanique textuelle reposant sur des enchaînements contributionnels spécifiques aux textes formatés. Ces considérations sur la matière contributionnelle des textes permettent d'aborder les fondements d'une théorie contributionnelle du texte.

Gli stili APA, Harvard, Vancouver, ISO e altri

21

Feret, Jérôme. "Analyse des systèmes mobiles par interprétation abstraite". Phd thesis, Ecole Polytechnique X, 2005. http://pastel.archives-ouvertes.fr/pastel-00001303.

Testo completo

Abstract (sommario):

Un système mobile est un ensemble de composants qui peuvent interagir entre eux, tout en modifiant dynamiquement le système lui-même. Ces interactions contrôlent ainsi la création et la destruction des liaisons entre les composants, mais aussi la création dynamique de nouveaux composants au sein du système. La taille d'un tel système varie au cours du temps, elle n'est pas bornée en général. Un système mobile peut représenter des réseaux de télécommunication, des systèmes reconfigurables, des applications client-serveur sur la toile, des protocoles cryptographiques, ou des systèmes biologiques. Plusieurs modèles sont disponibles selon le domaine d'application et la granularité du niveau d'observation. Dans cette thèse, nous proposons un cadre de travail unifiant pour découvrir et prouver statiquement (avant leur exécution) et automatiquement les propriétés des systèmes mobiles. Nous proposons un méta-langage dans lequel nous encodons les modèles les plus couramment utilisés dans la littérature (le p-calcul, le calcul des ambients, le join-calcul, le spi-calcul, les BIO-ambients, etc). Pour chaque modèle encodé, le méta-langage calcule une sémantique enrichie dans laquelle à la fois les composants et les objets qu'ils manipulent (adresses mémoires, noms de canaux, clefs secrètes ou partagées, etc) sont identifiés par l'historique de leur création. Ainsi, nous n'utilisons pas de relation de congruence (ni de renommage), ce qui rend l'analyse plus facile. Le cadre général de l'Interprétation Abstraite nous permet ensuite de dériver des sémantiques abstraites, qui sont décidables, correctes, et approchées. Dans cette thèse, nous donnons trois analyses génériques que nous instancions selon le compromis désiré entre le temps de calcul et la précision de l'analyse. La première analyse se concentre sur les propriétés dynamiques du système. Elle infère des relations entre les historiques des objets qui sont manipulés par les composants du système. Cette analyse distingue les instances récursives d'un même objet, et ce, même lorsque le nombre de ces instances n'est pas borné. à titre d'exemple, cette analyse prouve dans le cas d'une application client-serveur à nombre illimité de clients, que les données de chaque client ne sont pas communiquées aux autres clients. La deuxième analyse se concentre sur des propriétés de concurrence. Cette analyse compte le nombre de composants du système. Elle permet de détecter que certains composants ne peuvent pas interagir, car ils ne coexistent jamais. Elle peut aussi garantir à un système qu'il n'épuisera pas les ressources physiques disponibles. Une troisième analyse mêle concurrence et dynamicité.

Gli stili APA, Harvard, Vancouver, ISO e altri

22

Monniaux, David. "Analyse de programmes probabilistes par interprétation abstraite". Phd thesis, Université Paris Dauphine - Paris IX, 2001. http://tel.archives-ouvertes.fr/tel-00084287.

Testo completo

Abstract (sommario):

L'étude de programmes probabilistes intéresse plusieurs domaines de l'informatique : les réseaux, l'embarqué, ou encore la compilation optimisée. C'est tâche malaisée, en raison de l'indécidabilité des propriétés sur les programmes déterministes à états infinis, en plus des difficultés provenant des aspects probabilistes.

Dans cette thèse, nous proposons un langage de formules permettant de spécifier des propriétés de traces de systèmes de transition probabilistes et non-déterministes, englobant celles spécifiables par des automates de Büchi déterministes. Ces propriétés sont en général indécidables sur des processus infinis.

Ce langage a à la fois une sémantique concrète en termes d'ensembles de traces et une sémantique abstraite en termes de fonctions mesurables. Nous appliquons ensuite des techniques d'interprétation abstraite pour calculer un majorant de la probabilité dans le pire cas de la propriété étudiée et donnons une amélioration de cette technique lorsque l'espace d'états est partitionné, par exemple selon les points de programme. Nous proposons deux domaines abstraits convenant pour cette analyse, l'un paramétré par un domaine abstrait non probabiliste, l'autre modélisant les gaussiennes étendues.

Il est également possible d'obtenir de tels majorants par des calculs propageant les mesures de probabilité en avant. Nous donnons une méthode d'interprétation abstraite pour analyser une classe de formules de cette façon et proposons deux domaines abstraits adaptés à ce type d'analyse, l'un paramétré par un domaine abstrait non probabiliste, l'autre modélisant les queues sous-exponentielles. Ce dernier permet de prouver la terminaison probabiliste de programmes.

Les méthodes décrites ci-dessus sont symboliques et ne tirent pas parti des propriétés statistiques des probabilités. Nous proposons d'autre part une méthode de Monte-Carlo abstrait, utilisant des interpréteurs abstraits randomisés.

Gli stili APA, Harvard, Vancouver, ISO e altri

23

Bouissou, Olivier. "Analyse statique par interprétation abstraite de systèmes hybrides". Phd thesis, Ecole Polytechnique X, 2008. http://pastel.archives-ouvertes.fr/pastel-00004412.

Testo completo

Abstract (sommario):

Si l'interet et l'eﬃcacite des methodes d'analyse statique par interpretation abstraite pour la veriﬁcation des programmes critiques embarques ne sont plus a demontrer, il est maintenant necessaire d'obtenir des methodes les plus precises possibles. Si l'utilisation de domaines abstraits relationnels de plus en plus elabores permet de diminuer la surapproximation dont souﬀre les domaines les plus simples, les analyses actuelles souﬀrent toujours d'une mauvais prise en compte des entrees du programme. Ces entrees sont fournies par un capteur qui mesure une grandeur physique, et sont generalement surapproximees par un intervalle. Une piste d'etude recente pour mieux gerer ces entrees continues consiste a etudier, outre le programme lui-meme, l'environnement physique dans lequel il est execute. On obtient ainsi un systeme plus complexe comprenant une dynamique discrete (le programme) et une dynamique continue (l'environnement). L'etude de tels systemes hybrides repose actuellement essentiellement sur des extensions des automates a etats ﬁnis et des algebres de processus introduisant une dynamique continue. L'analyse de ces systemes par des techniques de model-checking souﬀre encore d'une explosion combinatoire excluant leur utilisation pour les logiciels embarques critiques les plus gros. La premiere contribution de cette these est une extension des langages de programmation imperatifs permettant de d´ecrire a la fois le programme, l'environnement exterieur et les interactions entre le programme et l'environnement. L'environnement physique est d´ecrit par un ensemble d'equations diﬀerentielles representant chacune un mode continu, et les interactions entre le programme et l'exterieur sont modelises par deux mots cles representant les capteurs et actionneurs. Nous donnons a l'ensemble (programme plus environnement physique) une semantique denotationnelle qui reste tres proche de celle deﬁnie pour les langages imperatifs classiques. La diﬃculte majeure dans la construction de cette semantique a ete de deﬁnir une semantique pour la partie continue : les solutions des equations diﬀ´erentielles sont exprimees comme le plus petit point ﬁxe d'un operateur monotone dans un CPO, et nous montrons que les iterees de Kleene convergent vers ce point ﬁxe. La seconde contribution est une methode d'analyse statique par interpretation abstraite de ces systemes hybrides. Cette methode fonctionne en deux temps. Tout d'abord, sous certaines restrictions portant sur le programme a analyser, on construit un recouvrement de l'espace des variables d'entree via une analyse par intervalle couplee a une analyse d'atteignabilite en avant. On obtient ainsi une abstraction de l'impact qu'a le programme sur l'evolution continue : l'espace d'entree du programme est d´coupe en zones dans lesquelles on est sur qu'un actionneur sera active. Dans un deuxieme temps, nous utilisons ce recouvrement et une methode d'integration garantie des equations diﬀerentielles pour obtenir une surapproximation de l'evolution continue. Un analyseur prototype implementant ces techniques a ete developpe et les tests sur les exemples classiques de systemes hybrides montrent de bons resultats. Enﬁn, la troisieme contribution de cette these est une nouvelle methode d'integration garantie nommee GRKLib. Contrairement aux methodes existantes, GRKLib se fonde sur un schema d'integration numerique non garantie (nous avons choisi un schema de Runge-Kutta d'ordre 4, mais n'importe quelle autre convient) et nous calculons, en utilisant l'arithmetique d'intervalles, l'erreur globale commise lors de l'integration numerique. Cette erreur s'exprime comme la somme de trois termes : l'erreur sur un pas, la propagation de l'erreur et l'erreur due aux nombres ﬂottants. Chaque terme est calcule separement et des techniques avancees permettent de les reduire et de controler au mieux le pas d'integration pour limiter l'accroissement de l'erreur globale. Une librairie C++ implementant ces concepts a ete developpee, et les resultats presentes dans cette these sont prometteurs.

Gli stili APA, Harvard, Vancouver, ISO e altri

24

Ferrara, Pietro. "ANALYSE STATIQUE DE LOGICIELS MULTITÂCHES PAR INTERPRÉTATION ABSTRAITE". Phd thesis, Ecole Polytechnique X, 2009. http://tel.archives-ouvertes.fr/tel-00417502.

Testo completo

Abstract (sommario):

Le but de cette thèse est de présenter une analyse statique générique pour des programmes multitâche écrits en Java.
Les programmes multitâche exécutent plusieurs tâches en parallèle. Ces tâches communiquent implicitement par le biais de la mémoire partagée et elles se synchonisent sur des moniteurs (les primitives wait-notify, etc..). Il y a quelques années, les architectures avec double processeurs ont commencé à être disponibles sur le marché à petit prix. Aujourd'hui, presque tous les ordinateurs ont au moins deux noyaux, la tendance actuelle du marché étant de mettre de plus en plus de processeurs par puce. Cette révolution amène également de nouveaux défis en matière de programmation, car elle demande aux développeurs d'implanter des programmes multitâche. Le multitâche est supporté en natif par la plupart des langages de programmation courants, comme Java et C#.
Le but de l'analyse statique est de calculer des informations sur le comportement d'un programme, de manière conservative et automatique. Une application de l'analyse statique est le développement d'outils qui aident au débogage des programmes. Plusieurs méthodes d'analyse statique ont été proposées. Nous suivrons le cadre de l'interprétation abstraite, une théorie mathématique permettant de définir des approximations correctes de sémantiques de programmes. Cette méthode a déjà été utilisée pour un large spectre de langages de programmation.
L'idée fondamentale des analyseurs statiques génériques est de développer un outils qui puissent être interfacé avec différents domaines numériques et différentes propriétés. Pendant ces dernières années, beaucoup de travaux se sont attaqués à cet enjeu, et ils ont été appliqué avec succès pour déboguer des logiciels industriels. La force de ces analyseurs réside dans le fait qu'une grande partie de l'analyse peut être réutilisée pour vérifier plusieurs propriétés. L'utilisation de différents domaines numériques permet le développement d'analyses plus rapides mais moins précises, ou plus lentes mais plus précises.

Dans cette thèse, nous présentons la conception d'un analyseur générique pour des programmes multitâche. Avant tout, nous définissons le modèle mémoire, appelé happens-before memory model. Puis, nous approximons ce modéle mémoire en une semantique calculable. Les modéles mémoire définissent les comportements autorisés pendant l'exé-cution d'un programme multitâche. Commençant par la définition (informelle) de ce modèle mémoire particulier, nous définissons une sémantique qui construit toutes les exécutions finies selon ce modèle mémoire. Une exécution d'un programme multitâche est décrite par une function qui associe les tâches à des séquences (ou traces) d'états. Nous montrons comment concevoir une sémantique abstraite calculable, et nous montrons formellement la correction des résultat de cette analyse.
Ensuite, nous définissons et approximons une nouvelle propriété qui porte sur les comportements non-déterministes causés par le multitâche, c'est à dire aux entrelacements arbitraires pendant l'exécution de differentes instructions de lecture. Avant tout, le non déterminisme d'un programme multitâche se définit par une différence entre plusieurs exécutions. Si deux exécutions engendrent des comportements différents dus au valeurs qui sont lues ou écrites en mémoire partagée, alors le programme est non déterministe. Nous approximons cette propriété en deux étapes: dans un premier temps, nous regroupons, pour chaque tâche, la valeur (abstraite) qui peut être écrite dans la mémoire partagée à un point de programme donné. Dans un deuxième temps, nous résumons toutes les valeurs pouvant être écrites en parallèle, tout en nous rapellant l'ensemble des tâches qui pourraient les avoir écrites. à un premier niveau d'approximation, nous introduisons un nouveau concept de déterminisme faible. Nous proposons par ailleurs d'autres manière affaiblir la propriété de déterminisme, par exemple par projection des traces et des états, puis nous définissons une hierarchie globale de ces affaiblissements. Nous étudions aussi comment la présence de conflit sur les accès des données peut affecter le déterminisme du programme.
Nous appliquons ce cadre de travail théorique à Java. En particulier, nous définissons une sémantique du language objet de Java, selon sa spécification. Ensuite, nous approximons cette sémantique afin de garder uniquement l'information qui est nécessaire pour l'analyse des programmes multitâche. Le cœur de cette abstraction est une analyse d'alias qui approxime les références afin d'identifier les tâches, de vérifier les accès en mémoire partagée, et de détecter quand deux tâches ont un moniteur commun afin d'en déduire quelles parties du code ne peuvent pas être éxécutées en parallèle.
L'analyseur générique qui est décrit ci-dessus a été entierement implanté, dans un outils appelé Checkmate. Checkmate est ainsi le premier analyseur générique pour des programmes multitâche écrits en Java. Des résultats expérimentaux sont donnés et analysés en détails. En particulier, nous étudions la précision de l'analyse lorsqu'elle est appliquée à des schémas courants de la programmation concurrente, ainsi qu'à d'autres exemples. Nous observons également les performances de l'analyse lorsqu'elle est appliquée à une application incrémentale, ainsi qu'à des exemples de références bien connus.
Une autre contribution de cette thèse est l'extension d'un analyseur générique existant qui s'appelle Clousot et qui permet de vérifier le non débordement des mémoires tampons. Il s'avère que cette analyse passe à l'échelle des programmes industriels et qu'elle est précise. En résumé, nous présentons une application d'un analyseur statique générique industriel existant pour détecter et prouver une propriété présentant un intérêt pratique, ce qui montre la puissance de cette approche dans le développement d'outils qui soient utiles pour les développeurs.

Gli stili APA, Harvard, Vancouver, ISO e altri

25

Garoche, Pierre-Loïc. "Analyse statique d'un calcul d'acteurs par interprétation abstraite". Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2008. http://tel.archives-ouvertes.fr/tel-00310923.

Testo completo

Abstract (sommario):

Le modèle des Acteurs, introduit par HEWITT et AGHA à la fin des années 80, décrit un système concurrent comme un ensemble d'agents autonomes au comportement non uniforme et communiquant de façon point-à-point par l'envoi de messages étiquetés. Le calcul CAP, proposé par COLAÇO, est un calcul de processus basé sur ce modèle qui permet de décrire sans encodage complexe des systèmes réalistes non triviaux. Ce calcul permet, entre autre, la communication de comportements via les messages et est, en ce sens, un calcul d'ordre supérieur. L'analyse de propriétés sur ce calcul a déjà fait l'objet de plusieurs travaux, essentiellement par inférence de type en utilisant des types comportementaux et du sous-typage.
Par ailleurs, des travaux plus récents, effectués par VENET puis FERET, proposent une utilisation de l'interprétation abstraite pour l'analyse de calculs de processus. Ces approches permettent de calculer des propriétés non uniformes : elles permettent, par exemple, de différencier les instances récursives d'un même processus.
Cette thèse s'inscrit donc dans la suite de ces deux approches, en appliquant l'interprétation abstraite à l'analyse de CAP. Suivant le cadre proposé par FERET, CAP est, tout d'abord, exprimé dans une forme non standard facilitant les analyses. L'ensemble des configurations atteignables est ensuite sur-approximé via une représentation, correcte par construction, dans des domaines abstraits.
Des domaines abstraits généraux sont ensuite introduits afin d'améliorer les analyses existantes ou de représenter des propriétés locales à un sous-terme.
Des propriétés spécifiques à CAP, la linéarité des termes et l'absence de messages orphelins, sont alors étudiées dans ce cadre. Des domaines spécifiques sont définis et utilisés pour vérifier ces propriétés. Le cadre présenté permet de lever toutes les restrictions existantes des analyses précédentes quant à la forme des termes ou l'utilisation du passage de comportement.
L'intégralité des analyses présentées a été implantée dans un prototype.

Gli stili APA, Harvard, Vancouver, ISO e altri

26

Miné, Antoine. "Analyse statique par interprétation abstraite de programmes concurrents". Habilitation à diriger des recherches, Ecole Normale Supérieure de Paris - ENS Paris, 2013. http://tel.archives-ouvertes.fr/tel-00903447.

Testo completo

Abstract (sommario):

Ce mémoire d'habilitation résume la majeure partie de mes recherches, depuis la fin de mon doctorat, fin 2004, jusqu'à aujourd'hui. Le but essentiel de mes recherches est le développement de méthodes fondées sur des bases mathématiques et performantes en pratique pour s'assurer de la correction des logiciels. J'utilise des approximations pour permettre une bonne performance, tandis que la validité des résultats est garantie par l'emploi exclusif de sur-approximations des ensembles des comportements des programmes. Ma recherche est basée sur l'interprétation abstraite, une théorie très puissante des approximations de sémantiques permettant aisément de les développer, les comparer, les combiner. Je m'emploie en particulier au développement de nouveaux composants réutilisables d'abstraction, les domaines abstraits, qui sont directement implantables en machine, ainsi qu'à leur utilisation au sein d'analyseurs statiques, qui sont des outils de vérification automatique de programmes. Mes premières recherches concernaient l'inférence de propriétés numériques de programmes séquentiels, tandis que mes recherches actuelles se tournent vers l'analyse de programmes concurrents, d'où le titre de ce mémoire. Les deux premiers chapitres de ce mémoire constituent une introduction, tandis que les suivants présentent mon travail d'habilitation proprement dit. Le premier chapitre est une introduction informelle à la problématique de l'analyse de programmes, aux méthodes existantes, leurs forces et leurs faiblesses. Le deuxième chapitre présente de manière formelle les outils dont nous aurons besoin par la suite : les bases de l'interprétation abstraite, quelques domaines abstraits existants et la construction d'analyses statiques par interprétation abstraite, ainsi que quelques résultats utiles que j'ai obtenu en doctorat. Le troisième chapitre est consacré aux aspects spécifiques de l'analyse de programmes concurrents. Cette recherche, très personnelle, a abouti à la construction d'une méthode d'analyse de programmes concurrents, paramétrée par le choix de domaines abstraits, et basée sur une notion d'interférence abstrayant les interactions entre threads. Ainsi, l'analyse construite est modulaire pour les threads. Cette méthode est reliée aux preuves rely-guarantee proposées par Jones, ce que nous montrons formellement dans une première partie. Nous construisons ensuite une analyse à grands pas basée sur les interférences, efficace et facile à implanter. Les deux dernière parties étudient les liens entre l'analyse et les modèles mémoires faiblement cohérents (désormais incontournables) ainsi que le raffinement de l'analyse pour tenir compte des propriétés spécifiques des ordonnanceurs temps-réels (nous étudions en particulier l'effet des priorités des threads et l'emploi d'objets de synchronisation). Le quatrième et le cinquième chapitres sont consacrés à la constructions de domaines abstraits. Ceux-ci ne sont pas spécifiquement liés au problème de la concurrence ; ils sont utiles à l'analyse de tous programmes, séquentiels comme concurrents. Le chapitre 4 étudie des domaines numériques inférant des égalités et inégalités affines, développés en collaboration avec Liqian Chen, alors doctorant en visite à l'ENS. La motivation première était l'emploi de nombres à virgule flottante afin d'améliorer l'efficacité du domaine des polyèdres, mais ces travaux ont également débouché sur la découverte de nouveaux domaines, basés sur les relations affines à coefficients intervalles, que nous présentons également. Le chapitre 5 étudie les abstractions de types de données réalistes, comme ceux rencontrés dans le langage C : les entiers machines, les nombres à virgule flottante, et les blocs structurés (tableaux, structures, unions). Nos abstractions modélisent finement les détails de l'encodage en mémoire des données afin de permettre l'analyse de programmes qui en dépendent (par exemple, ceux utilisant le type-punning). Ces abstractions sont motivées par nos expériences d'analyses, avec les outils Astrée et AstréeA, de programmes C industriels ; ceux-ci employant fréquemment ce type de constructions de bas niveau. Le sixième chapitre est consacré aux applications des méthodes présentées ci-dessus à la construction d'outils d'analyse statique. Il décrit en particulier mon travail sur l'outil Astrée que j'ai co-développé avec l'équipe Abstraction pendant et après mon doctorat, et qui a été industrialisé en 2009. Mes résultats théoriques et appliqués ont contribué au succès d'Astrée, tandis que celui-ci m'a fourni de nouveaux thèmes de recherches, sous la forme de problèmes concrets dont la résolution n'a pu se faire que grâce à des développements théoriques. Ce chapitre décrit également AstréeA, une extension d'Astrée utilisant l'abstraction d'interférences proposée plus haut pour l'analyse de programmes concurrents (Astrée étant limité aux programmes séquentiels). Il décrit également Apron, une bibliothèque de domaines abstraits numériques que j'ai co-développée. Il s'agit d'un outil plus académique, dont le but est d'encourager la recherche sur les domaines numériques abstraits. Le mémoire se conclue par quelques perspectives sur des recherches futures.

Gli stili APA, Harvard, Vancouver, ISO e altri

27

Garoche, Pierre-Loïc. "Analyse statistique d'un calcul d'acteurs par interprétation abstraite". Toulouse, INPT, 2008. http://ethesis.inp-toulouse.fr/archive/00000629/.

Testo completo

Abstract (sommario):

Le modèle des Acteurs, introduit par Hewitt et Agha à la fin des années 80, décrit un système concurrent comme un ensemble d'agents autonomes au comportement non uniforme et communiquant de façon point-à-point par l'envoi de messages étiquetés. Le calcul CAP, proposé par Colaço, est un calcul de processus basé sur ce modèle qui permet de décrire sans encodage complexe des systèmes réalistes non triviaux. Ce calcul permet, entre autre, la communication de comportements via les messages et est, en ce sens, un calcul d'ordre supérieur. L'analyse de propriétés sur ce calcul a déjà fait l'objet de plusieurs travaux, essentiellement par inférence de type en utilisant des types comportementaux et du sous-typage. Par ailleurs, des travaux plus récents, effectués par Venet puis Feret, proposent une utilisation de l'interprétation abstraite pour l'analyse de calculs de processus. Ces approches permettent de calculer des propriétés non uniformes : elles permettent, par exemple, de différencier les instances récursives d'un même processus. Cette thèse s'inscrit donc dans la suite de ces deux approches, en appliquant l'interprétation abstraite à l'analyse de CAP. Suivant le cadre proposé par Feret, CAP est, tout d'abord, exprimé dans une forme non standard facilitant les analyses. L'ensemble des configurations atteignables est ensuite sur-approximé via une représentation, correcte par construction, dans des domaines abstraits. [. . . ]
The Actor model, introduced by Hewitt and Agha in the late 80s, describes a concurrent communicating system as a set of autonomous agents, with non uniform interfaces and communicating by the use of labeled messages. The CAP process calculus, proposed by Colaço, is based on this model and allows to describe non trivial realistic systems, without the need of complex encodings. CAP is a higher-order calculus: messages can carry actor behaviors. Multiple works address the analysis of CAP properties, mainly by the use of inference-based type systems using behavioral types and sub-typing. Otherwise, more recent works, by Venet and later Feret, propose the use of abstract interpretation to analyze process calculi. These approaches allow to compute non-uniform properties. For example, they are able to differentiate recursive instances of the same thread. This thesis is at the crossroad of these two approaches, applying abstract interpretation to the analysis of CAP. Following the framework of Feret, CAP is firstly expressed in a non standard form, easing its analysis. The set of reachable states is then over-approximated via a sound by construction representation within existing abstract domains. [. . . ]

Gli stili APA, Harvard, Vancouver, ISO e altri

28

Roussel, Mylène. "Analyse et interprétation d'images appliquées aux algues microscopiques". Compiègne, 1993. http://www.theses.fr/1993COMP560S.

Testo completo

Abstract (sommario):

L'étude du séquencement de méthodes permettant de classifier et d'identifier des objets à partir d'images brutes est peu usitée. On s'intéresse ici au cas des algues microscopiques présentes dans l'eau douce. Les images brutes sont issues d'un microscope optique. Elles présentent les caractéristiques suivantes : dynamique en contraste faible, fonds non homogènes, présence d'artefacts. . . Le séquencement de méthodes s'articule autour de deux parties au travers d'une méthodologie de résolution permettant d'élargir le champ d'application des processus au cas plus général d'objets biologiques. La première partie porte sur les traitements bas-niveau de segmentation, de localisation des objets, de suivis des contours et de reconstruction, afin d'obtenir des contours représentatifs des objets rendant possible l'extraction de caractéristiques. La deuxième partie traite de l'extraction de caractéristiques pertinentes, de la sélection basée sur une méthode d'analyse en composantes principales de caractéristiques discriminantes, permettant d'entreprendre avec succès une classification. L'ensemble de données limité nous porte vers le choix d'une méthode de classification basée sur les arbres de décision binaires

Gli stili APA, Harvard, Vancouver, ISO e altri

29

Boutonnet, Rémy. "Analyse modulaire de propriétés numériques par interprétation abstraite". Thesis, Université Grenoble Alpes, 2020. http://www.theses.fr/2020GRALM004.

Testo completo

Abstract (sommario):

La présence de bugs ou de dysfonctionnements dans les systèmes critiques peut avoirdes conséquences terribles. La validation et l’analyse des programmes embarqués dans lessystèmes critiques est d’une importance majeure pour garantir que les logiciels présentssoient conformes à leur spécification et dépourvus d’erreurs à l’exécution.L’analyse statique par interprétation abstraite calcule une approximation sûre del’ensemble des états accessibles d’un programme. Elle permet de découvrir des propriétésinvariantes des programmes en les représentant par des éléments d’un domaine abstrait.Les domaines abstraits numériques, comme le domaine des octogones ou des polyèdresconvexes, ont des niveaux de précision différents. Les outils industriels d’analyse statiquen’utilisent généralement pas les domaines abstraits numériques les plus expressifs, commele domaine des polyèdres convexes, à cause de la complexité de leurs opérations.Nous présentons dans cette thèse une analyse modulaire des programmes pour ladécouverte de propriétés numériques, basée sur le calcul de résumés disjonctifs et relationnels de procédures. Les résumés de chaque procédure sont calculés de manière ascendante (bottom-up) et utilisés dans l’analyse de l’effet des appels de procédure. Bien quenotre approche soit appliquée à l’analyse de relations linéaires, ou interprétation abstraitepolyédrique, pour améliorer son passage à l’échelle, elle est définie dans un cadre pluslarge applicable à n’importe quel domaine abstrait relationnel.Les résumés disjonctifs de procédures sont des ensembles finis de relations d’entrée-sortie représentées par des éléments d’un domaine abstrait relationnel. Ils sont calculésen utilisant un partitionnement de la précondition d’une procédure. Nous proposonsdes heuristiques pour calculer des partitions de préconditions. Nous présentons aussi desaméliorations concernant la précision du calcul des résumés, notamment grâce à un traite-ment particulier des préconditions. Notre approche s’applique également aux procéduresrécursives, où les résumés sont calculés en fonction d’eux-mêmes.Notre analyse modulaire à été implémentée dans un nouvel outil d’analyse statiquepour les programmes C, appelé mars. Nos expérimentations montrent que notre approchepeut réduire significativement le temps d’analyse pour l’analyse des relations linéaires, parcomparaison avec une analyse classique qui analyse les procédures dans chaque contexted’appel. La précision des résultats n’est pas considérablement diminuée et peut mêmeêtre améliorée grâce à l’usage de la disjonction dans les résumés.Dans une seconde partie, nous présentons une approche pour l’analyse modulaire dessystèmes réactifs. Nous proposons une représentation flexible des composants réactifs appelée Automates Relationnels de Mode, ou Relational Mode Automata (RMA), permettantune analyse des systèmes réactifs à différents niveaux d’abstraction. Les automates relationnels de mode peuvent être construits automatiquement à partir des résumés disjonctifsdes procédures implémentant la réaction de chaque composant. Les résultats de l’analysede chaque composant peuvent être réutilisés dans l’analyse de systèmes réactifs de plusgrande taille où chaque composant peut être instancié plusieurs fois. Cette approche estappliquée à l’analyse d’un système simplifié de contrôle d’un réseau de métro
Any software bug or device malfunction in safety-critical systems can have catastrophicconsequences. The validation and analysis of programs in critical systems is of paramountimportance to guarantee that the software satisfies its specification and that it is devoidedof runtime errors.Static program analysis by abstract interpretation computes a sound approximationof the set of reachable states of a program. It discovers invariant properties of programswhich are represented by elements of an abstract domain. Most industrial static analysistools do not use expressive relational numerical abstract domains like convex polyhedradue to their computational cost.We propose a new modular analysis for the automatic discovery of numerical propertiesbased on the computation of disjunctive relational summaries of procedures. Proceduresummaries are computed once and for all, and used to compute the effect of procedurecalls, in a bottom-up fashion. Our approach is especially applied to improve the scalabilityof Linear Relation Analysis, or abstract interpretation with convex polyhedra, althoughit is based on a more general framework usable with any relational abstract domain.Disjunctive relational summaries are finite sets of abstract input-output relations represented by elements of a relational abstract domain. They are computed based on apartitioning of procedure preconditions. We give heuristics to compute an abstract partition of a procedure precondition. We also give ways to improve the precision of summarycomputation, notably through a careful treatment of preconditions during analysis. Ourapproach also applies to recursive procedures where summaries are computed recursivelyin terms of themselves.We implemented our approach in a new static analysis platform for C programs calledmars. We conducted experiments on programs from the Mälardalen benchmark showingthat our approach can significantly reduce the analysis time for Linear Relation Analysiscompared to a full context-sensitive analysis where procedures are analyzed completelyin each call context. Analysis precision is not significantly damaged and can even beimproved due to the use of disjunction.In a second part, we present an approach for the modular analysis of reactive systems for numerical properties. We propose a flexible representation of the behavior ofreactive components called Relational Mode Automata (RMA), which allows the analysisof reactive systems behavior at various levels of abstraction. RMA can be constructedautomatically from disjunctive summaries of the procedures implementing componentreactions. The analysis results of individual components using RMA can be reused toanalyze larger reactive systems with multiple component instantiations in a modular way.We give an application of this approach to the analysis of a simplified automated subwaycontrol system

Gli stili APA, Harvard, Vancouver, ISO e altri

30

Foucherot, Irène. "Analyse syntaxique et interprétation de clauses de Horn". Dijon, 1995. http://www.theses.fr/1995DIJOS055.

Testo completo

Abstract (sommario):

Please est un système permettant d'évaluer des programmes en clauses de Horn pures en utilisant des algorithmes de génération d'analyseurs syntaxiques LR. Ce système permet à l'utilisateur d'écrire ses programmes de façon totalement déclarative, ce qu'il ne peut pas faire avec un système prolog classique. Notre système intègre des prédicats prédéfinis d'entrée/sortie et de manipulation dynamique de clauses qui conservent son caractère déclaratif et prennent en compte la cohérence du programme. De tels prédicats ont pu être ajoutes grâce à l'adaptation d'algorithmes de génération incrémentale d'analyseurs. Nous avons défini une sémantique opérationnelle de notre système dans le langage des clauses de Horn augmentées de la négation.

Gli stili APA, Harvard, Vancouver, ISO e altri

31

Kpalma, Kidiyo. "Analyse et Interprétation d'Images : Analyse Multiéchelle pour la Description des Formes Planaires". Habilitation à diriger des recherches, Université Rennes 1, 2009. http://tel.archives-ouvertes.fr/tel-00446030.

Testo completo

Abstract (sommario):

L'essor technologique, induit une production d'énormes masses de données électroniques et oblige à une adaptation des traitements du flux d'information correspondant. D'où un besoin d'outils d'aide à l'interprétation permettant des prises de décision dans les délais raisonnables. En matière d'imagerie numérique, les champs d'application sont vastes allant de l'utilisation domestique (appareil photo numérique, webcam ou simplement téléphone portable) jusqu'aux applications de type télédétection. L'évolution croissante du volume des données s'accompagne de contraintes, qu'il s'agisse du dépouillement des images de télédétection et c'est là que se situe un premier axe de nos travaux, ou du tri de photos, ou de la recherche d'une photo spécifique, prise à une certaine occasion en un lieu donné et c'est là le second axe de nos travaux. S'agissant de la télédétection, la multitude de satellites d'observation nous fournit une grande variété d'images. Celles-ci nous apportent des informations à la fois redondantes et complémentaires. Aussi s'avère-t-il judicieux de les combiner dans un processus de fusion pour en tirer des renseignements plus consistants et plus intelligibles. Traditionnellement, l'indexation et la recherche d'une photo se fait à l'aide d'une annotation par mots-clés. Compte-tenu des limitations de cette procédure, l'enjeu, aujourd'hui, est la détermination de descripteurs efficaces basés sur le contenu des images pour leur indexation. Toutes ces considérations visent à proposer des solutions alliant différents descripteurs dans un processus de fusion pouvant fournir un index hybride prenant en compte l'aspect sémantique du contenu de l'image. C'est dans ce contexte d'analyse d'images pour leur interprétation que se situent nos travaux de recherche dont le présent mémoire fait l'objet. Il s'articule en trois parties. Dans la première partie, nous présentons un résumé des activités tant du point de vue de l'enseignement que de la recherche : un aperçu de nos travaux de recherche retrace les études réalisées pour des applications de fusion en télédétection et pour la description des formes. La deuxième partie reprend plus en détails l'une de nos études sur le thème de l'analyse multi-échelle de contours d'objets planaires pour des applications de description et de reconnaissance de formes. On y présente ainsi la méthode MSGPR basée sur la carte des points d'intersection, méthode que nous proposons pour l'extraction d'un descripteur pour l'indexation des objets planaires. Pour finir, la dernière partie présente quelques articles représentatifs de nos activités de recherche : analyse de textures, recalage d'images, fusion d'image, analyse espace-échelle, reconnaissance de formes.

Gli stili APA, Harvard, Vancouver, ISO e altri

32

Pechoux, Romain. "Analyse de la complexité des programmes par interprétation sémantique". Phd thesis, Institut National Polytechnique de Lorraine - INPL, 2007. http://tel.archives-ouvertes.fr/tel-00321917.

Testo completo

Abstract (sommario):

Il existe de nombreuses approches développées par la communauté Implicit Computational Complexity (ICC) permettant d'analyser les ressources nécessaires à la bonne exécution des algorithmes. Dans cette thèse, nous nous intéressons plus particulièrement au contrôle des ressources à l'aide d'interprétations sémantiques.
Après avoir rappelé brièvement la notion de quasi-interprétation ainsi que les différentes propriétés et caractérisations qui en découlent, nous présentons les différentes avancées obtenues dans l'étude de cet outil : nous étudions le problème de la synthèse qui consiste à trouver une quasi-interprétation pour un programme donné, puis, nous abordons la question de la modularité des quasi-interprétations. La modularité permet de diminuer la complexité de la procédure de synthèse et de capturer un plus grand nombre d'algorithmes. Après avoir mentionné différentes extensions des quasi-interprétations à des langages de programmation réactif, bytecode ou d'ordre supérieur, nous introduisons la sup-interprétation. Cette notion généralise la quasi-interprétation et est utilisée dans des critères de contrôle des ressources afin d'étudier la complexité d'un plus grand nombre d'algorithmes dont des algorithmes sur des données infinies ou des algorithmes de type diviser pour régner. Nous combinons cette notion à différents critères de terminaison comme les ordres RPO, les paires de dépendance ou le size-change principle et nous la comparons à la notion de quasi-interprétation. En outre, après avoir caractérisé des petites classes de complexité parallèles, nous donnons quelques heuristiques permettant de synthétiser des sup-interprétations sans la propriété sous-terme, c'est à dire des sup-interprétations qui ne sont pas des quasi-interprétations. Enfin, dans un dernier chapitre, nous adaptons les sup-interprétations à des langages orientés-objet, obtenant ainsi différents critères pour contrôler les ressources d'un programme objet et de ses méthodes.

Gli stili APA, Harvard, Vancouver, ISO e altri

33

Strat, Sabin Tiberius. "Analyse et interprétation de scènes visuelles par approches collaboratives". Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00959081.

Testo completo

Abstract (sommario):

Les dernières années, la taille des collections vidéo a connu une forte augmentation. La recherche et la navigation efficaces dans des telles collections demande une indexation avec des termes pertinents, ce qui nous amène au sujet de cette thèse, l'indexation sémantique des vidéos. Dans ce contexte, le modèle Sac de Mots (BoW), utilisant souvent des caractéristiques SIFT ou SURF, donne de bons résultats sur les images statiques. Notre première contribution est d'améliorer les résultats des descripteurs SIFT/SURF BoW sur les vidéos en pré-traitant les vidéos avec un modèle de rétine humaine, ce qui rend les descripteurs SIFT/SURF BoW plus robustes aux dégradations vidéo et qui leurs donne une sensitivité à l'information spatio-temporelle. Notre deuxième contribution est un ensemble de descripteurs BoW basés sur les trajectoires. Ceux-ci apportent une information de mouvement et contribuent vers une description plus riche des vidéos. Notre troisième contribution, motivée par la disponibilité de descripteurs complémentaires, est une fusion tardive qui détermine automatiquement comment combiner un grand ensemble de descripteurs et améliore significativement la précision moyenne des concepts détectés. Toutes ces approches sont validées sur les bases vidéo du challenge TRECVid, dont le but est la détection de concepts sémantiques visuels dans un contenu multimédia très riche et non contrôlé.

Gli stili APA, Harvard, Vancouver, ISO e altri

34

Péchoux, Romain. "Analyse de la complexité des programmes par interprétation sémantique". Thesis, Vandoeuvre-les-Nancy, INPL, 2007. http://www.theses.fr/2007INPL084N/document.

Testo completo

Abstract (sommario):

Il existe de nombreuses approches développées par la communauté Implicit Computational Complexity (ICC) permettant d'analyser les ressources nécessaires à la bonne exécution des algorithmes. Dans cette thèse, nous nous intéressons plus particulièrement au contrôle des ressources à l'aide d'interprétations sémantiques. Après avoir rappelé brièvement la notion de quasi-interprétation ainsi que les différentes propriétés et caractérisations qui en découlent, nous présentons les différentes avancées obtenues dans l'étude de cet outil : nous étudions le problème de la synthèse qui consiste à trouver une quasi-interprétation pour un programme donné, puis, nous abordons la question de la modularité des quasi-interprétations. La modularité permet de diminuer la complexité de la procédure de synthèse et de capturer un plus grand nombre d'algorithmes. Après avoir mentionné différentes extensions des quasi-interprétations à des langages de programmation réactifs, bytecode ou d'ordre supérieur, nous introduisons la sup-interprétation. Cette notion généralise la quasi-interprétation et est utilisée dans des critères de contrôle des ressources afin d'étudier la complexité d'un plus grand nombre d'algorithmes dont des algorithmes sur des données infinies ou des algorithmes de type diviser pour régner. Nous combinons cette notion à différents critères de terminaison comme les ordres RPO, les paires de dépendance ou le size-change principle et nous la comparons à la notion de quasi-interprétation. En outre, après avoir caractérisé des petites classes de complexité parallèles, nous donnons quelques heuristiques permettant de synthétiser des sup-interprétations sans la propriété sous-terme, c'est à dire des sup-interprétations qui ne sont pas des quasi-interprétations. Enfin, dans un dernier chapitre, nous adaptons les sup-interprétations à des langages orientés-objet, obtenant ainsi différents critères pour contrôler les ressources d'un programme objet et de ses méthodes
There are several approaches developed by the Implicit Computational Complexity (ICC) community which try to analyze and control program resources. In this document, we focus our study on the resource control with the help of semantics interpretations. After introducing the notion of quasi-interpretation together with its distinct properties and characterizations, we show the results obtained in the study of such a tool: We study the synthesis problem which consists in finding a quasi-interpretation for a given program and we tackle the issue of quasi-interpretation modularity. Modularity allows to decrease the complexity of the synthesis procedure and to capture more algorithms. We present several extensions of quasi-interpretations to reactive programming, bytecode verification or higher-order programming. Afterwards, we introduce the notion of sup-interpretation. This notion strictly generalizes the one of quasi-interpretation and is used in distinct criteria in order to control the resources of more algorithms, including algorithms over infinite data and algorithms using a divide and conquer strategy. We combine sup-interpretations with distinct termination criteria, such as RPO orderings, dependency pairs or size-change principle, and we compare them to the notion of quasi-interpretation. Using the notion of sup-interpretation, we characterize small parallel complexity classes. We provide some heuristics for the sup-interpretation synthesis: we manage to synthesize sup-interpretations without the subterm property, that is, sup-interpretations which are not quasi-interpretations. Finally, we extend sup-interpretations to object-oriented programs, thus obtaining distinct criteria for resource control of object-oriented programs and their methods

Gli stili APA, Harvard, Vancouver, ISO e altri

35

Debon, Renaud. "Analyse d'images échographiques de loesophage, reconstruction 3D et interprétation". Rennes 1, 2005. http://www.theses.fr/2005REN1S196.

Testo completo

Abstract (sommario):

Ce travail concerne l'évaluation des approches orientées « système à base de connaissances » pour l'interprétation des images médicales, en application à l'échoendoscopie oesophagienne et le développement d'un système d'aide au « staging » des tumeurs. Il est montré comment les approches intelligentes (systèmes experts et fusion d'information) peuvent permettre de rationaliser l'utilisation de l'ensemble de connaissances à priori. L'extraction pertinente de structures anatomiques, dans notre cas, la structure oesophagienne, devient une application naturelle de l'ingénierie des connaissances. Cette extraction s'appuie sur une segmentation des images. La robustesse requise pour ces algorithmes impose le développement d'architectures avancées de traitement permettant de compenser le faible contenu numérique de ces images. Trois exemples concrets sont détaillés : l'extraction 2D de l'interface oesophagienne interne, l'extraction 3D des interfaces oesophagiennes et , le suivi spatial avec la reconstruction 3D de l'artère aorte. Les connaissances sont représentées par des modèles statiques ou dynamiques (modèles flous, géométriques ou évidentiels). Nous avons examiné une approche qui exploite la complémentarité des probabilités et de la logique floue pour obtenir une représentation « fidèle » des connaissances à priori. Modèles flous et réalité statistique sont mis en adéquation dans une base d'apprentissage. Il est montré comment toutes ces composantes peuvent être intégrées dans une architecture cohérente et hiérarchiquement organisée
This work concerns the approach evaluations, which are oriented « knowledge based system » for medical images interpretation applied to esophagus echoendoscopy and the development of aid system for tumor staging. It's shown how the intelligent approaches (expert system and information fusion) can allow rationalizing the using of a priori knowledge. The pertinent extraction of anatomic structures, in our case, esophagus structure, becomes a natural application in the knowledge engineering. This extraction is based on the image segmentation. The required robustness for these algorithms impose the advanced architectures development allowing the compensation of low numerical content of these images. Three concrete examples are detailed : 2D extraction of the esophagus' interface, 3D extraction of the esophagus' interfaces and spatial following with 3D reconstruction of the aorta. Knowledge is represented by static or dynamical model (fuzzy, geometric or evidential models). The approach using the complementarities of probabilities and fuzzy logic to obtain presentation « exact » of knowledge a priori. Fuzzy models and statistic reality are synchronized by a knowledge base. It's shown that all components can be integrated in a coherent architecture hierarchically organized

Gli stili APA, Harvard, Vancouver, ISO e altri

36

Cassé, Hugues. "Analyse des références mémoires en C par interprétation abstraite". Toulouse 3, 2001. http://www.theses.fr/2001TOU30205.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

37

Pajot, Gwendoline. "Caractérisation, analyse et interprétation des données de gradiométrie en gravimétrie". Phd thesis, Institut de physique du globe de paris - IPGP, 2007. http://tel.archives-ouvertes.fr/tel-00341117.

Testo completo

Abstract (sommario):

La mesure des dérivées spatiales du champ de pesanteur, ou gradiométrie en gravimétrie, est née au début du XXe siècle avec la balance de torsion d'Eötvös, premier gradiomètre. Utilisée avec succès pour la prospection géophysique, cette technique fut cependant délaissée pour un temps au profit de la gravimétrie, plus facile et moins coûteuse. Cependant, les développements instrumentaux en gradiométrie ont continué, et les gradiomètres actuels permettent la mesure simultanée des gradients de pesanteur dans trois directions indépendantes de l'espace. La gradiométrie en gravimétrie connaît ainsi une renaissance, et l'Agence Spatiale Européenne lancera en 2008 le satellite GOCE, avec à son bord le premier gradiomètre spatial, permettant la cartographie globale de la pesanteur avec une résolution spatiale sans précédent. Cette étude est consacrée au signal de gradiométrie en gravimétrie, de l'acquisition des données à leur interprétation. Plus spécifiquement, dérivant d'un même potentiel, l'accélération de la pesanteur et ses dérivées peuvent être considérées comme des mesures interdépendantes d'une même quantité. Nous avons élaboré une méthode permettant, en exploitant cette redondance, de réduire le bruit dans les données de gradiométrie et, plus efficacement, dans celles de gravimétrie. Nous utilisons également une propriété spécififique des gradients de pesanteur, l'existence d'invariants scalaires combinant les différents gradients, que nous relions à la géométrie des sources à l'origine des anomalies de pesanteur. Nous avons ainsi développé une méthode, complémentaire à la déconvolution d'Euler des données de gravimétrie, qui améliore la localisation de ces sources.

Gli stili APA, Harvard, Vancouver, ISO e altri

38

Lonjou, Vincent. "L'annihilation des positrons galactiques : analyse et interprétation des données INTEGRAL". Phd thesis, Université Paul Sabatier - Toulouse III, 2005. http://tel.archives-ouvertes.fr/tel-00011121.

Testo completo

Abstract (sommario):

L'origine des positrons galactiques reste un des sujets les plus controversés de l'Astrophysique des hautes énergies depuis la découverte de la raie d'annihilation électron-positron en provenance du centre galactique à la fin des années 1970. L'étude de la raie d'annihilation à 511 keV est actuellement un des objectifs majeurs de SPI : le spectromètre d'INTEGRAL.
Cette thèse s'ouvre sur l'étude de la partie centrale de SPI: son plan de détection. La procédure de calibration en énergie ainsi que l'étude de la dégradation des détecteurs sont reportées. Par la suite, une étude approfondie du bruit de fond instrumental permet d'utiliser SPI dans les meilleures conditions. Le traitement des données aboutit alors à des cartes du ciel et des spectres avec une précision inégalée. Pour finir, les contributions des diverses sources potentielles de positrons galactiques sont confrontées aux résultats obtenus.

Gli stili APA, Harvard, Vancouver, ISO e altri

39

Collin, Suzanne. "Interprétation de la cotation des dessins techniques par analyse syntaxique". Vandoeuvre-les-Nancy, INPL, 1992. http://www.theses.fr/1992INPL005N.

Testo completo

Abstract (sommario):

L'objectif de cette thèse est d'extraire et analyser l'ensemble de la cotation de plans de dessins techniques. Ce travail se scinde en deux parties. La première partie est consacrée à la vectorisation du plan et à l'extraction du texte et des symboles de flèches. La vectorisation est effectuée à partir d'appariements des segments résultant de l'approximation polygonale des contours. L'ensemble du texte est séparé du graphique par analyse de la structure des composantes connexes. Une technique de template matching sur les segments permet d'extraire les flèches. La seconde partie est consacrée à l'analyse de la cotation. Celle-ci est modélisée par une plex-grammaire: terminaux et non terminaux sont assembles grâce à des operateurs de superposition de pôles et de relations topographiques. Une analyse syntaxique ascendante, descendante et démarrant d'un point quelconque de l'image permet d'extraire l'ensemble de la cotation. Nous avons utilisé les avantages du langage à objets smalltalk (héritage et liaison dynamique, en particulier) pour réaliser cette dernière partie

Gli stili APA, Harvard, Vancouver, ISO e altri

40

Parrennes, Fabrice. "Analyse de sûreté du logiciel par interprétation abstraite et contraintes". Paris 6, 2002. http://www.theses.fr/2002PA066286.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

41

Santos, Claire Gomes dos. "Governança na cooperação internacional para o "desenvolvimento": contradições e desafios na relação entre organizações intergovernamentais do Norte e organizações não-governamentais do Sul". reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2011. http://hdl.handle.net/10183/30377.

Testo completo

Abstract (sommario):

L’attention portée sur la notion de “gouvernance” est expliqué pour être associé, dans cette thèse, au domaine de la coopération internationale pour le "développement". La “gouvernance”, dans ce sens, est compris comme un réseau d'interactions, à un ensemble d'acteurs et d'organisations, avec les relation qu'ils soient conformes à l'autre, marqué par des contradictions et des défis. C'est parce que la pratique de la coopération internationale pour le “développement” se produit dans des conditions asymétriques, dans lesquelles un groupe dominant d’acteurs a plus de pouvoir pour fixer des règles du jeu (HERMET, 2002; 2003; 2005; HERMET; KAZANCIGIL, 2005; NAVARRO-FLORES, 2007), ce qui potentialise l’apparition de conflits. Aussi le "développement", un terme profondément idéologisé, est une autre source de conflit sur le processus d'articulation des acteurs impliqués dans des actions de coopération internationale. Cette thèse vise à contribuer à la compréhension du modèle de gouvernance dominante dans la coopération Nord-Sud orientée pour le “développement”. Une étude de cas interprétative simple qui caractérise le type d'étude dans cette thèse. La méthode de recherche est composé des techniques de l’Analyse Interprétative ainsi que des méthodes comparative et d'observation. Comme résultats, les données de recherche indiquent, entre autres choses, une distribution centralisée des ressources, en se concentrant surtout sur les résultats et la diffusion des “bonnes pratiques”, un manque d’articulation entre les différents acteurs concernés, en particulier en matière de communication. En plus, la focalisation de l'attention est la dimension instrumentale du processus pour les acteurs stratégiques, sans égard à la dynamique et la spécificité du processus luimême.
A atenção colocada sobre a noção de “governança” é explicada na medida em que esta é associada, nesta tese, ao campo da cooperação internacional para o “desenvolvimento”. “Governança”, neste sentido, é compreendida como uma rede de interações, no sentido de um conjunto de atores e de organizações, juntamente com as relações que estes conformam entre si, pautada por contradições e desafios. Isto porque a prática da cooperação internacional para o “desenvolvimento” ocorre sob condições assimétricas, em que um grupo dominante de atores tem mais poder para definir as regras do jogo (HERMET, 2002; 2003; 2005; HERMET; KAZANCIGIL, 2005; NAVARRO-FLORES, 2007), o que potencializa a ocorrência de conflitos. Também o “desenvolvimento”, termo profundamente ideologizado, constitui outra fonte de conflito incidente sobre o processo de articulação dos atores em torno de ações de cooperação internacional. Esta tese tem por objetivo contribuir para a compreensão do modelo de governança dominante na cooperação Norte-Sul orientada para o “desenvolvimento”. Um estudo de caso interpretativo simples caracteriza o tipo de estudo desta tese, sendo o método de investigação composto por técnicas da Análise Interpretativa bem como pelos métodos de comparação e observação. Como resultados, os dados da pesquisa apontam, entre outros elementos, uma distribuição de recursos centralizada, com foco principal no resultado e na disseminação de “boas práticas”, uma carência de articulação entre os diversos atores implicados, sobretudo com relação à comunicação, além do foco de atenção ser a dimensão instrumental do processo por parte dos atores estratégicos, sem atentar para a dinâmica e para a especificidade do próprio processo.

Gli stili APA, Harvard, Vancouver, ISO e altri

42

Vaxivière, Pascal. "Interprétation de dessins techniques mécaniques". Vandoeuvre-les-Nancy, INPL, 1995. http://www.theses.fr/1995INPL032N.

Testo completo

Abstract (sommario):

Dans le problème de la conversion CAO d'images de documents techniques, nous nous intéressons plus particulièrement aux plans mécaniques. Les travaux décrits dans cette thèse se rapportent au système d'analyse CELESSTIN. Nous décrivons une méthode de vectorisation par sous-échantillonnage de l'image de départ, puis un regroupement des vecteurs par une interprétation contextuelle fondée sur des connaissances technologiques de haut niveau : règles de cinématique et de démontage d'un ensemble mécanique

Gli stili APA, Harvard, Vancouver, ISO e altri

43

Dejos, Virginie. "Analyse et interprétation des six dernières sonates pour piano d’Alexandre Scriabine". Thesis, Paris 4, 2014. http://www.theses.fr/2014PA040224/document.

Testo completo

Abstract (sommario):

La thèse porte sur les six dernières sonates de Scriabine. L’analyse des œuvres a été pensée en relation avec l’interprétation pianistique. L’univers de référence et l’imaginaire sonore de Scriabine sont reconstitués à partir de la perception des œuvres et des indications d’interprétation présentes dans les partitions. Une méthode inspirée par l’analyse schenkerienne est développée pour étudier les logiques d’écriture d’un langage dans lequel la notion de tonalité est considérablement élargie. La dernière partie, plus directement liée à l’interprétation, étudie les spécificités de l’écriture pianistique et des paramètres du timbre et du temps en s’appuyant sur l’étude d’enregistrements historiques
The following thesis focuses on the six final piano sonatas by Alexander Scriabin from the point of view of pianistic interpretation. The first part reconstitutes Scriabin’s unique musical and image-oriented universe from the basis of the listener’s perspective. The second part analyses the works from a musicological stand-point, taking into consideration indications on interpretation found in the scores. In order to more clearly identify the logic and structure of the musical language, which is marked by the usage of extended tonality, the analyses presented are inspired from Schenkerian traditions. The third part, directly linked to performance practises, explores the pianistic writing style as well as the timbral and temporal parameters, with an important place given to historical recordings

Gli stili APA, Harvard, Vancouver, ISO e altri

44

Semboloni, Elisabetta. "Mesure et interprétation du cisaillement cosmologique". Paris 6, 2006. https://tel.archives-ouvertes.fr/tel-00114489.

Testo completo

Abstract (sommario):

L’analyse du cisaillement cosmologique est aujourd’hui un puissant moyen d’étude des propriétés du spectre de la matière noire. On a aussi montré que l’approche tomographique permet de contraindre l’équation d’état de l’énergie sombre. Aujourd’hui, des relevés de galaxies de plus en plus vastes et profonds permettent d’analyser le cisaillement et de contraindre les paramètres cosmologiques avec une précision encore jamais atteinte. Parallèlement, il est nécessaire d’affiner les méthodes d’extraction du signal tout en contrôlant le biais qui pourrait conduire à une interprétation erronée. Le sujet de cette thèse s’inscrit dans ce contexte scientifique. On y décrit la méthode d’extraction du signal, ensuite appliquée aux données des relevés CFHTLS Wide et Deep. Les résultats de l’analyse montrent le potentiel prometteur de cette génération de relevés. D’autres aspects liés à l’interprétation du signal mesuré et aux différents types de biais susceptibles de l’affecter sont abordés.

Gli stili APA, Harvard, Vancouver, ISO e altri

45

Archier, Paul. "Etude analytique et interprétation de la composition polyphénolique des produits de Vitis vinifera". Aix-Marseille 3, 1992. http://www.theses.fr/1992AIX30077.

Testo completo

Abstract (sommario):

Ce travail relate la mise au point de methodes d'analyse par c. L. P. H. Des anthocyanes et des polyphenols rencontres dans les divers produits de la vigne. On determine la composition anthocyanique des pellicules d'une cinquantaine de cepages ou clones. La methode permet egalement le dosage des anthocyanes dans les vins et d'y deceler la presence de diglucosides. Elle est aussi appliquee a des jus de pulpe de cepages teinturiers, pour lesquels il existe une grande difference de composition entre les pellicules et la pulpe. L'analyse factorielle appliquee aux compositions anthocyaniques des pellicules permet de differencier des cepages sages classes en huit groupes et des cepages variant fortement d'une annee sur l'autre en fonction de facteurs climatiques. Enfin un suivi par clph de la reaction anthocyane-tanins en presence d'acetaldehyde est realise. Notre methode d'analyse des phenols non colores permet de doser dans le vin, par injection directe, une vingtaine de polyphenols. On etudie l'influence sur la separation de la polarite de l'acidite et de la force ionique du solvant, ainsi que de la polarite des colonnes et de la temperature. La composition phenolique d'un vin est fonction du cepage dont il provient ainsi que de son age. Une etude est menee sur des vins provenant de monocepages differents, dont on etudie le vieillissement. Certains phenols sont absents des vins jeunes et semblent apparaitre durant les premiers mois. Ils pourraient jouer le role de marqueurs de l'age

Gli stili APA, Harvard, Vancouver, ISO e altri

46

Tzolovski, Stanislav. "Raffinement d'analyses statiques par interprétation abstraite". Palaiseau, Ecole polytechnique, 2002. http://www.theses.fr/2002EPXX0044.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

47

Alvarez, Christophe. "Masques Op. 34, Karol Szymanowski : étude de l’implication structurelle des différents niveaux du parcours harmonique : Analyse du discours et problématiques interprétatives". Thesis, Université Côte d'Azur (ComUE), 2017. http://www.theses.fr/2017AZUR2018/document.

Testo completo

Abstract (sommario):

L’objectif de cette étude est de montrer – par une analyse rigoureuse des principes harmoniques qui gouvernent les multiples sections du tryptique pour piano Masques Op. 34 de Karol Szymanowski – qu’au-delà d’une apparente hétérogénéité de surface, le discours musical est organisé de façon cohérente et subtile par l’interpénétration du niveau de perception immédiate du corps sonore et du niveau infra-sensible qui procède de l’ordre des fondamentales harmoniques. Cette thèse propose également des conseils d’interprétation, déterminés par l’expérience analytique
The purpose of this study is to show—by means of a rigorous analysis of the harmonic principles which govern the multiple sections of the piano triptych Masques Op. 34 of Karol Szymanowski — that beyond the apparently heterogeneous surface the musical discourse is subtly and coherently organised by the interpenetration of two layers: the immediate perception of sound structure and the underlayer which proceeds from the order of the harmonic fundamentals. This thesis also proposes suggestions for interpretation, determined by the analytical experience

Gli stili APA, Harvard, Vancouver, ISO e altri

48

Treguer-Felten, Geneviève. "Le leurre de l’anglais lingua franca. Une étude comparative de documents professionnels produits en anglais par des locuteurs chinois, français et nord-américains". Thesis, Paris 3, 2009. http://www.theses.fr/2009PA030132.

Testo completo

Abstract (sommario):

Cette thèse a pour objectif d’éclairer les liens entre culture et discours à partir d’une étude empirique de discours professionnels. Elle allie deux démarches complémentaires : l’analyse linguistique du discours et la recherche des « chaînes signifiantes » porteuses de culture, au sens de P. d’Iribarne (2008). Deux angles d’approche ont été mobilisés sur deux corpus différents. La première analyse porte sur des documents en anglais lingua franca (ELF) relevant d’un même genre discursif : des brochures d’entreprise et des présentations générales institutionnelles prélevées sur l’internet. Ces discours, produits dans une situation de communication exolingue, ont été (ou sont) effectivement ou virtuellement échangés par des locuteurs chinois et français cherchant à se convaincre réciproquement. La description de la matérialité discursive permet de reconstruire l’ethos qui se manifeste dans les discours et de montrer les influences culturelles à l’origine des dissemblances relevées. La deuxième analyse prend pour objet deux versions, états-unienne et française, d’un même code éthique, produites au terme de processus d’écriture complexes visant à garantir l’identité du message et impliquant des locuteurs français et états-uniens. Cependant, ni les univers de travail ni les portraits de la Direction ainsi schématisés ne se recouvrent, mettant en lumière l’autonomie toute relative du locuteur : son discours témoigne d’un dialogisme « culturel ». C’est d’ailleurs la conclusion qu’on peut tirer de l’ensemble de cette recherche : les discours appartenant au même genre discursif « national » témoignent d’un « esprit » commun qu’on pourrait appeler « culture »
This dissertation reports on a research performed on two different corpora of written professional discourse. It aims to shed some light on the links between culture and discourse through an empiric study articulating two interpretative approaches: linguistic discourse analysis and the search for d’Iribarne’s (2008) cultural “significative chains”. The first corpus consists of Chinese and French corporate brochures and company presentations (downloaded from the Internet), written in ELF (English as a lingua franca). In spite of their belonging to the same discursive genre, the discourse description leads to the exposure of two different ethe which can be linked to the writers’ different cultural backgrounds. The analysis of the two versions [North-American and French] of the same code of ethics completes the research. Accompanied by detailed information on the writing procedures applied [ELF, editing by U.S. nationals, translation into French and final editing of both texts] testifying to the precautions taken to produce an identical message, this corpus reveals two different working environments and top management’s constructs. Confronted with two reference corpora taken from the “national” genres, these discrepancies point towards a dialogical kinship that does not lie so much in the linguistic forms as in the “spirit” underpinning the discourse. The results of both analyses lead to the conclusion that the influence exerted on business discourse writers can only be accounted for by their cultural environments

Gli stili APA, Harvard, Vancouver, ISO e altri

49

Porté, Natacha. "Analyse et interprétation d'expériences de diffusion facilitée de protéines individuelles sur l'ADN". Paris 6, 2010. http://www.theses.fr/2010PA066655.

Testo completo

Abstract (sommario):

Depuis quelques années, des expériences à l’échelle de la molécule individuelle ont permis d’apporter des informations nouvelles sur de nombreux processus impliqués dans le fonctionnement cellulaire, et en particulier les interactions entre ADN et protéines. Il est aujourd'hui possible, et c'est une des thématiques développées dans l'équipe « optique et biologie » du laboratoire Kastler Brossel, de visualiser par microscopie de fluorescence des protéines individuelles interagissant avec des molécules d'ADN étirées et positionnées sur une surface. Notre équipe aborde en particulier un problème important en biochimie : la diffusion facilitée des protéines sur l’ADN. Certaines protéines spécifiques de site sont en effet capables de trouver leur cible sur l’ADN avec une efficacité remarquable, en interagissant avec de l'ADN à proximité de la séquence-cible. Dans ce cadre, notre équipe a montré que l'enzyme de restriction EcoRV diffuse linéairement et saute le long de l’ADN pour atteindre sa cible. Mon apport à cette thématique se situe en aval de ces expériences. J'ai d'une part développé des outils d'analyse des films obtenus dans nos expériences afin d'en extraire précisément et rapidement la trajectoire d'EcoRV lors de son mouvement le long de l'ADN, puis de déterminer le coefficient de diffusion linéaire ainsi que la distribution des sauts de l'enzyme. J'ai également proposé une approche d'analyse par ondelettes des images de ces films. D'autre part, j'ai implémenté des simulations Monte-Carlo destinées à reproduire les distributions expérimentales de sauts de l'enzyme. J'ai ainsi pu caractériser les sauts trop petits pour être détectés par des méthodes optiques.

Gli stili APA, Harvard, Vancouver, ISO e altri

50

Slassi-Sennou, Mohamed. "Instabilités dynamiques des générateurs de vapeur : simulation, analyse expérimentale et interprétation théorique". Paris 11, 1987. http://www.theses.fr/1987PA112105.

Testo completo

Abstract (sommario):

Les phénomènes d'instabilités sont généraux et peuvent affecter tous les systèmes d'écoulement où se produit l'ébullition d'un fluide. En France, les centrales nucléaires sont équipées de deux types de générateurs de vapeur: le générateur de vapeur à « recirculation » pour la filière à eau pressurisée (REP) et le générateur de vapeur à « passe unique » pour la filière à neutrons rapides (RNR). Plusieurs domaines ont été analysés dans l’étude des instabilités de l’écoulement diphasique : simulation numérique, analyse expérimentale et interprétation théorique à l’aide d’un modèle simple. Le progiciel de fonctionnement thermo-hydraulique SICLE a été enrichi d’un nouveau modèle d’écoulement qui rend compte des effets des déséquilibres thermiques et mécaniques. Les résultats expérimentaux provenant des maquettes relatives à chaque type de générateur de vapeur ont été reproduits correctement par le modèle de simulation développé. Les oscillations « d’onde de densité » sont responsables de l’apparition des instabilités et les effets d’hystérésis d’origine thermique qui peuvent accompagner ces instabilités ont été simulés, leur mécanisme a pu être compris. De même, le couplage entre les dynamiques du primaire et du secondaire a été étudié et son influence sur la stabilité a été déterminée. A partir de ces résultats, des hypothèses simplificatrices ont permis l’élaboration d’un modèle théorique à faible nombre de paramètre. Un système d’équations aux dérivés ordinaires en temps reliant la dynamique du front d’ébullition et la vitesse d’entrée, a été obtenu. L’analyse de ce système a montré que pour certains régimes de fonctionnement, des cycles limites de stabilité existent, ces cycles limites traduisent les instabilités observées.

Gli stili APA, Harvard, Vancouver, ISO e altri

Tesi sul tema "Analyse interprétative"

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili