Spelling suggestions: "subject:"conséquence""
51 |
Evolution des programmes transcriptionnels développementaux des ascidies Ciona robusta et Phallusia mammillata / Evolution of regulation of ascidian speciesMadgwick, Alicia 07 November 2017 (has links)
Comment la morphogenèse embryonnaire peut-elle être conservée malgré une divergence importante des séquences codantes et non-codantes ? Pour répondre à cette question, nous avons travaillé sur le développement précoce d’ascidies divergentes, Phallusia mammillata et Ciona intestinalis. Ces espèces partagent une morphogénèse pratiquement identique et des lignages cellulaires stéréotypés. Or, leurs génomes sont tellement divergents que leurs séquences ne peuvent pas être alignées.Nous avons choisi d’étudier les cellules précurseuses de l’endoderme au cours de deux processus développementaux conservés : spécification du destin et la gastrulation. Nous avons comparé par hybridation in situ l’expression transcriptionelle des gènes régulateurs orthologues dans Phallusia et Ciona. Nous avons trouvé que l’expression dans l’endoderme de 8 gènes régulateurs impliqués dans ces processus développementaux est qualitativement conservée entre les deux espèces.Pour étudier comment ces gènes ont conservé leur régulation malgré une divergence non-codante importante, nous avons collaboré avec l’équipe Gomez-Skarmeta pour cartographier, par ATAC-seq, la chromatine ouverte dans les deux espèces pour identifier les régions régulatrices actives à l’échelle du génome. 35 sur les 39 séquences ouvertes avoisinant les gènes de l’endoderme ont été trouvé active avant le stade larval, par éléctroporation. La plupart des séquences testées ont conservé leur activité dans les deux espèces malgré la divergence de séquence. Nous avons alors identifié des sites de fixations pour facteurs de transcription potentiels se trouvant dans les enhancers pour l’endoderme pour identifier les régulateurs dans Phallusia et Ciona.Nos résultats suggèrent des changements assez importants de l’ordre des sites de fixations sans pour autant avoir de changement dans l’architecture dans les réseaux de gènes régulateurs ; ceci explique la conservation qualitative de l’expression des gènes entre ces ascidies divergentes. En outre, nous avons trouvé que les shadow enhancers sont plus répandus qu’anticipé. / How can embryonic morphogenesis be evolutionarily conserved in spite of extensive divergence in coding and non-coding genome sequences? To address this question, we worked on the early development of two very divergent ascidians, Phallusia mammillata and Ciona intestinalis. These species share an almost identical early morphogenesis and stereotyped cell lineages. Remarkably, however, their genomes are divergent to the extent that their non-coding sequences cannot be aligned and gene order has not been conserved.We focus our attention on the behaviour of endoderm precursors throughout two important evolutionarily conserved developmental processes: initial fate specification and early gastrulation. We first compared by in situ hybridisation the transcriptional expression of orthologous regulatory genes in Phallusia and in Ciona. We found that the endodermal expression of 8 regulatory genes known to be involved in these developmental processes is qualitatively conserved between the two species.To study how these genes conserved their regulation in spite of extensive non-coding sequence divergence, we collaborated with the Gomez-Skarmeta lab to map, by ATAC-seq, open chromatin regions in both species to identify active regulatory regions genomewide. Three quarters of the 39 open chromatin regions for endodermal genes behaved as active regulatory sequences by the larval stage, when tested by electroporation in embryos. Many of the tested sequences had conserved cis-regulatory activity in both species in spite of sequence divergence. We have identifed putative transcription factor binding sites in endodermal enhancers in both species to identify conserved upstream regulators shared between Phallusia and Ciona.Taken together our results suggest that extensive transcription factor binding site turn over, without radical change in GRNs architecture, may explain the qualitative conservation of gene expression patterns between highly divergent ascidian genomes. Furthermore, we found that shadow enhancers are much more prevalent than initially anticipated.Taken together our results suggest that extensive transcription factor binding site turn over, without radical change in GRNs architecture, may explain the qualitative conservation of gene expression patterns between highly divergent ascidian genomes. Furthermore, we found that shadow enhancers are much more prevalent than initially anticipated.
|
52 |
Pour une théorisation des utilisations de la chanson en classe de langue : genres, contextes et publics : contribution à une définition de la chanson en tant que genre et perspectives méthodologiquesGourvennec, Ludovic 10 November 2011 (has links)
Cette thèse a pour objectif général de proposer une approche renouvelée de l'exploitation méthodologique de la chanson en classe de langue. Elle propose d'abord une définition théorique du genre de discours "chanson" (et notamment son ancrage dans la complexité du rapport création / production / diffusion / réception qui le définit). Cette démarche définitoire conduit à considérer un hypergenre (la chanson), décliné en trois genres de discours (la chanson interprétée version studio, la chanson représentée version en concert, la chanson illustrée version clip vidéo), chacun ayant ses spécificités génériques. Elle étudie ensuite l'inscription de ce genre dans la problématique méthodologique, en particulier telle qu'elle est présentée dans le CECRL. A la lumière d'une lecture critique des nombreuses contributions publiées depuis une quarantaine d'années et de témoignages d'enseignants, elle envisage quels objectifs l'enseignement/apprentissage peut viser par l'utilisation de chansons, quelles compétences cette exploitation peut permettre d'acquérir (la compétence générique s'avérant centrale) et comment l'exploitation de la chanson peut répondre aux enjeux induits par la notion de "tâche" et celle de "séquence didactique". Elle présente enfin des options méthodologiques concrètes, articulées selon différentes cohérences séquentielles, dont celles basées sur la tâche ou définies par la pédagogie du projet. / The general purpose of the thesis is to offer a renewed approach in the method of using songs in a language course. At first, the thesis gives a genral definition of the genre "song" (in particular its link with the complex chain creation / production / broadcast / reception which defines it). This defintion attempt leads up to the notion of a hyper genre (song), comprising three sub genres (studio recorded song, live song, illustrated song in a video clip), each one having its own generic specificity. The work then deals with the way this genre can be inscribed in the methodological questioning, in particular as it is presented in the CECRL.Through a critical reading of the numerous contributions published during the last forty years, the thesis presents which objectives the teaching/learning process can aim at through songs, which competences this pedagogy through songs allows to gain (as the generic competence appears to be central) and how it can constitute a means to tackles the specificities involved by the notions of "task" and "didactical sequence". Lastly, the thesis presents actual methodological options, in relation to the different sequence organisations, among which those based or defined by the pedagogy of project.
|
53 |
Vers une meilleure connaissance de la spécificité des interactions protéiques dans la signalisation cellulaire - les domaines PDZ au centre des approches informatiques et expérimentales / Towards a better understanding of protein interaction specificities in cell signalling - PDZ domains in the spotlight of computational and experimental approachesLuck, Katja 19 October 2012 (has links)
Les domaines PDZ reconnaissent des motifs C-terminaux (PBMs), à l'origine de nombreuses interactions qui sont souvent impliquées dans la régulation de la polarité cellulaire. Dans cette thèse, nous avons étudié divers aspects de la spécificité des interactions PDZ-PBM. Nous avons mis en évidence les faibles performances de deux prédicteurs d'interaction entre PDZs et PBMs, considérés sous leurs formes les plus courtes. Ensuite, nous avons développé des protocoles basés sur les méthodes BIAcore et HoldUp pour valider expérimentalement et à grande échelle des prédicteurs d'interaction PDZ-PBM et pour étudier l'influence du contexte de séquence (comme les séquences flanquantes ou les domaines voisins) des PDZs et des PBMs sur l’affinité et la spécificité de leurs interactions. Nous avons identifié des interactions potentielles impliquant les protéines humaines à PDZ MAGI1 et SCRIB soulignant leur implication dans les réseaux de signalisation des protéines G. Une revue de la littérature, combinée avec nos propres résultats, a révélé des mécanismes par lesquels le contexte de séquence influence les affinités et spécificités des interactions impliquant les PDZs. Nous avons discuté ces mécanismes dans une revue publiée. Les connaissances obtenues à partir de cette thèse pourront influencer positivement de futures études sur les interactions PDZ-PBM, en particulier, et sur les interactions domaine-motif linéaire en général. / PDZ domains recognize C-terminal PDZ-binding motifs (PBMs) thereby mediating protein interactions that are often involved in cell polarity regulation. In this thesis, we studied under various aspects the specificity of PDZ-PBM interactions. We identified weak performances of two published predictors for interactions between core PDZ domains and short PBMs. Next, we developed protocols based on BIAcore and HoldUp to experimentally validate on a large scale predicted PDZ-PBM interactions and to study the influence of sequence context (e.g. flanking regions or neighbouring domains) of PDZs and PBMs on their interaction affinity and specificity. We identified new potential interactions involving the human PDZ proteins MAGI1 and SCRIB underpinning their implication in G protein signalling pathways. A literature survey combined with our own findings reveal structural mechanisms, by which sequence context influences PDZ interaction affinities and specificities. We have discussed those in a published review. Insights gained from this thesis may positively impact future studies on PDZ-PBM interactions in particular and on domain-linear motif interactions in general.
|
54 |
Reelaboração de gêneros: uma questão para a sala de aula / Retravailler des genres: une question de la salle de classeFeitosa, Raudete Cunha January 2016 (has links)
FEITOSA, Raudete Cunha. Reelaboração de gêneros: uma questão para a sala de aula. 2016. 145f. - Dissertação (Mestrado) – Universidade Federal do Ceará, Programa de Pós-graduação em Linguística, Fortaleza (CE), 2016. / Submitted by Gustavo Daher (gdaherufc@hotmail.com) on 2017-01-04T14:08:28Z
No. of bitstreams: 1
Dissertacao de RAUDETE CUNHA FEITOSA.pdf: 10348933 bytes, checksum: eee82957f7a921f87c5849fc0f82e596 (MD5) / Rejected by Maria Josineide Góis (josineide@ufc.br), reason: on 2017-01-06T12:01:42Z (GMT) / Submitted by Gustavo Daher (gdaherufc@hotmail.com) on 2017-01-06T13:50:21Z
No. of bitstreams: 1
2016_dis_rcfeitosa.pdf: 10348933 bytes, checksum: eee82957f7a921f87c5849fc0f82e596 (MD5) / Approved for entry into archive by Márcia Araújo (marcia_m_bezerra@yahoo.com.br) on 2017-01-25T10:43:02Z (GMT) No. of bitstreams: 1
2016_dis_rcfeitosa.pdf: 10348933 bytes, checksum: eee82957f7a921f87c5849fc0f82e596 (MD5) / Made available in DSpace on 2017-01-25T10:43:02Z (GMT). No. of bitstreams: 1
2016_dis_rcfeitosa.pdf: 10348933 bytes, checksum: eee82957f7a921f87c5849fc0f82e596 (MD5)
Previous issue date: 2016 / A presente pesquisa propõe investigar as implicações da aplicação de uma sequência didática (SD) voltada para trabalhar a reelaboração de gêneros em aula de língua portuguesa com vista ao aprimoramento da competência comunicativa dos alunos do 9º ano do Ensino Fundamental de uma escola pública estadual de Fortaleza. É objetivo desta pesquisa responder às seguintes questões: Que implicações têm um estudo dos gêneros reelaborados em sala de aula para o desenvolvimento da competência comunicativa do aluno? Que dificuldades com a leitura produção de gêneros reelaborados podem ser identificadas através da produção inicial dos alunos? De que forma pode-se desenvolver a competência linguística e textual dos alunos necessárias ao domínio dos gêneros reelaborados? A que conclusão se pode chegar sobre a abordagem dos gêneros reelaborados em sala de aula para o desenvolvimento da competência comunicativa do aluno? Para tanto, o estudo toma por base os dados gerados a partir das produções iniciais do gênero panfleto dos alunos, um corpus composto de 60 panfletos, e realiza uma análise contrastiva entre a produção inicial e a final dos alunos após a aplicação de uma sequência didática elaborada seguindo os postulados teóricos e metodológicos de Schneuwly, Noverraz e Dolz (2004). Para construção da sequência didática e análise dos dados, utilizou-se como embasamento teórico principal, no que diz respeito ao gênero e a sua reelaboração, as contribuições do filósofo russo Mikhail Bakhtin (2011) articulada à tipologia operacional da transmutação (reelaboração) proposta por Zavam (2009). Além disso, para assegurar análise qualitativa do gênero panfleto e a possibilidade de reelaboração, utilizou-se uma grade avaliativa elaborada a partir dos pressupostos teóricos de Bach (2012). Seguindo, então, estes pressupostos teóricos, analisou-se o desempenho dos alunos do 9º ano diante de atividades voltadas para a produção do gênero focalizado. Os resultados demonstraram que os alunos, ao produzirem os panfletos, reelaboram o gênero baseando-se nas suas práticas de recortar, copiar e colar que utilizam nas redes sociais. A análise dos dados permitiu identificar também os progressos observados nas produções após a aplicação da sequência didática, comprovando a eficiência do procedimento como proposta de intervenção para melhorar o desempenho do aluno na tarefa de produzir textos. Abordar os gêneros e, sobretudo, o fenômeno da reelaboração em sala de aula é primordial para o desenvolvimento da competência comunicativa dos alunos, tendo em vista que o ensino de língua portuguesa deve basear-se na interação, pois as práticas de linguagem são reflexos das práticas sociais.
|
55 |
As fórmulas de rotina em correspondência pessoal : proposta de sequência didática para o ensino de FLEBrunet, Clarissa Gregory January 2015 (has links)
L’objet de ce travail est l’élaboration d’une séquence didactique qui permet à l’apprenant de connaître à la fois le fonctionnement et l’utilisation des Formules Routinières (FR). Pour ce faire, nous considérons les débats de la Phraséologie, de la Phraséodactique, des analyses sur la constitution des genres textuels et la Pédagogie des Projets. Ayant comme base un ensemble de textes poduits à partir du genre correspondance personnel. Dans des expériences pédagogiques passées, nous avons constitué un corpus textuel, sur lequel nous avons sélectionné un ensemble de FR. Nous les avons classées en plusieurs groupes et niveaux selon leur fonction dans les textes. Les catégories identifiées étaient: les formules discursives, sousdivisées en formules d’ouverture, de clôture et de transition, et les formules psycho-sociales catégorisées comme formule d’expression, de consentiment, directive, assertive, rituels et miscellaneous. Les formules directives, à leur tour, sont sousdivisées en formules d’exortation, contraires, d’entousiasme et d’information. Il a fallu aussi élargir cette classification en annexant un sous-groupe de formules directives, (l’autobiographie, le langage, la quantité, le temps, la localisation, les préférences, la nourriture, les achats). Après cette classification nous avons établi des paramètres pour la construction de la séquence didactique présentée à la fin de ce mémoire. Comme résultat de notre recherche nous présentons: l’identification d’un ensemble de FR collectées dans un corpus qui s’origine de la pratique concrète des apprenants brésiliens de FLE; le classement des FR en accordant deux propositions complémentaires de Corpas Pastor (1996) et Nattinger et DeCarrico (1992); l’établissement des paramètres pour l’élaboration de la séquence didactique et la construction de cette séquence. À travers ce travail nous espérons apporter un support pour ce qui concerne l’enseignement de la Phraséologie aux professeurs brésiliens de FLE, à qui il manque encore des matériaux didactiques pour utiliser en classe, surtout dans des écoles publiques. / Esta dissertação tem como objetivo a elaboração de uma sequência didática que possibilite ao aprendiz tanto conhecer o funcionamento das Fórmulas de Rotina (FR) como utilizar essas combinações léxicas. Para dar conta do objetivo proposto, revisaram-se as contribuições da Fraseologia, da Fraseodidática, das reflexões sobre a constituição do gênero e suas implicações para o Ensino Baseado em Projetos. A partir de um conjunto de textos produzidos em experiências pedagógicas anteriores, envolvendo o gênero correspondência pessoal, constituiu-se o corpus textual no qual se selecionou um conjunto de FR. Categorizaram-se essas FR em vários grupos e níveis segundo sua função nos textos. As categorias identificadas foram: fórmulas discursivas, subdivididas em abertura, fechamento e transição, e fórmulas psicossociais classificadas em de expressão, de consentimento, diretivas, assertivas, rituais e miscelânea. Por sua vez, as fórmulas diretivas subdividem-se em fórmulas de exortação, contrárias, de ânimo e de informação. Foi necessário, ainda, para dar conta de todas as FR encontradas nos textos analisados, ampliar essa classificação, acrescentando mais um subgrupo de fórmulas diretivas, os tópicos necessários (autobiografia, linguagem, quantidade, tempo, localização, preferências, comida, compras). Após a classificação, estabeleceram-se parâmetros para a construção da sequência didática, apresentada no final da dissertação. Como resultados da pesquisa pode-se destacar: a identificação de um conjunto de FR coletadas em um corpus oriundo da prática concreta de estudantes brasileiros de FLE, a classificação das FR combinando duas propostas complementares de Corpas Pastor (1996) e de Nattinger e DeCarrico (1992), o estabelecimento de parâmetros para a elaboração da sequência didática e a própria construção dessa sequência. Espera-se com este trabalho poder oferecer alguns subsídios sobre o ensino da fraseologia aos professores brasileiros de FLE, ainda carentes de materiais didáticos para utilização em sala de aula, principalmente nas escolas públicas.
|
56 |
Étude de la symbiose dans le plancton marin par une approche transcriptome et méta-transcriptome / Study of symbiosis in marine plankton by a transcriptome and meta-transcriptome approachMeng, Arnaud 15 December 2017 (has links)
Les relations symbiotiques entre organismes sont essentielles pour l’évolution de la bio- diversité et le fonctionnement des écosystèmes. En milieu terrestre ou en milieu marin benthique les symbioses sont assez bien décrites. Si dans le plancton marin, les relations entre hôtes hétérotrophes et symbiontes photosynthétiques sont des phénomènes observés dès le 19ème siècle, les mécanismes fonctionnels qui régissent ces symbioses restent largement inconnus. C’est le cas de la symbiose entre certaines espèces de radiolaires et leurs symbiontes dinoflagellés. Il s’agit d’un modèle symbiotique, composé de deux unicellulaires eucaryotes, sur lequel je me suis concentré au cours de cette thèse. Ces deux organismes sont connus pour être largement répandus dans les océans et pour leur importance au sein des écosystèmes marins, et il est donc important de mieux caractériser ces symbioses afin d’approfondir nos connaissances de ces organismes. Grâce aux technologies de séquençage haut-débit il est désormais possible d’obtenir, pour ces organismes non cultivables mais isolés depuis l’environnement, une quantité sans précédent d’information génomique. Ces approches représentent une opportunité de décrypter les mécanismes à l’oeuvre dans ces interactions symbiotiques. Mon travail de thèse a combiné la création d’outils bioinformatiques dédiés à l’analyse de données de transcriptomique des holobiontes de radiolaires et dinoflagellés et l’étude de ce modèle de symbiose. Ce travail de doctorat contribue à une meilleure compréhension des mécanismes d’adaptation fonctionnelle et évolutive des organismes photosymbiotiques marins. / Symbiotic associations between organisms are essentials in biodiversity evolution and ecosystems functioning. In terrestrial environments or in the benthic marine environment, the symbioses encountered are fairly well described and studied. In the marine plankton, photosymbioses are phenomena described and observed since the 19th century. However, if the actors of these associations begin to be identified, the fundamental functional mechanisms for the establishment and the maintenance of these symbioses remain largely unknown. This is particularly true for the symbiotic association between symbiotic radiolarians and their dinoflagellate photosymbionts, two unicellular eucaryotes, which I was interested in during this thesis. These two organisms are known to be widespread in the oceans and for their key role in marine ecosystems, and it is therefore important to characterize these symbiotic events in order to deepen our knowledge of these organisms. Thanks to high-throughput sequencing technologies it is now possible to obtain an unprecedented amount of data for these unicellular organisms that are not cultivable and need to be directly isolated from the environment. These new technologies represent a unique opportunity to better characterized the mechanisms involved in these intimate cellular interactions. My Ph.D. work has combined the implementation of bioinformatics protocols and tools dedicated to the assembly and analysis of RNA-seq data as well as to the study of holobiont transcriptomes of radiolarians and dinoflagellates. This thesis contributes to a better understanding of the mechanisms of functional and evolutionary adaptation of marine photosymbiotic organisms.
|
57 |
As fórmulas de rotina em correspondência pessoal : proposta de sequência didática para o ensino de FLEBrunet, Clarissa Gregory January 2015 (has links)
L’objet de ce travail est l’élaboration d’une séquence didactique qui permet à l’apprenant de connaître à la fois le fonctionnement et l’utilisation des Formules Routinières (FR). Pour ce faire, nous considérons les débats de la Phraséologie, de la Phraséodactique, des analyses sur la constitution des genres textuels et la Pédagogie des Projets. Ayant comme base un ensemble de textes poduits à partir du genre correspondance personnel. Dans des expériences pédagogiques passées, nous avons constitué un corpus textuel, sur lequel nous avons sélectionné un ensemble de FR. Nous les avons classées en plusieurs groupes et niveaux selon leur fonction dans les textes. Les catégories identifiées étaient: les formules discursives, sousdivisées en formules d’ouverture, de clôture et de transition, et les formules psycho-sociales catégorisées comme formule d’expression, de consentiment, directive, assertive, rituels et miscellaneous. Les formules directives, à leur tour, sont sousdivisées en formules d’exortation, contraires, d’entousiasme et d’information. Il a fallu aussi élargir cette classification en annexant un sous-groupe de formules directives, (l’autobiographie, le langage, la quantité, le temps, la localisation, les préférences, la nourriture, les achats). Après cette classification nous avons établi des paramètres pour la construction de la séquence didactique présentée à la fin de ce mémoire. Comme résultat de notre recherche nous présentons: l’identification d’un ensemble de FR collectées dans un corpus qui s’origine de la pratique concrète des apprenants brésiliens de FLE; le classement des FR en accordant deux propositions complémentaires de Corpas Pastor (1996) et Nattinger et DeCarrico (1992); l’établissement des paramètres pour l’élaboration de la séquence didactique et la construction de cette séquence. À travers ce travail nous espérons apporter un support pour ce qui concerne l’enseignement de la Phraséologie aux professeurs brésiliens de FLE, à qui il manque encore des matériaux didactiques pour utiliser en classe, surtout dans des écoles publiques. / Esta dissertação tem como objetivo a elaboração de uma sequência didática que possibilite ao aprendiz tanto conhecer o funcionamento das Fórmulas de Rotina (FR) como utilizar essas combinações léxicas. Para dar conta do objetivo proposto, revisaram-se as contribuições da Fraseologia, da Fraseodidática, das reflexões sobre a constituição do gênero e suas implicações para o Ensino Baseado em Projetos. A partir de um conjunto de textos produzidos em experiências pedagógicas anteriores, envolvendo o gênero correspondência pessoal, constituiu-se o corpus textual no qual se selecionou um conjunto de FR. Categorizaram-se essas FR em vários grupos e níveis segundo sua função nos textos. As categorias identificadas foram: fórmulas discursivas, subdivididas em abertura, fechamento e transição, e fórmulas psicossociais classificadas em de expressão, de consentimento, diretivas, assertivas, rituais e miscelânea. Por sua vez, as fórmulas diretivas subdividem-se em fórmulas de exortação, contrárias, de ânimo e de informação. Foi necessário, ainda, para dar conta de todas as FR encontradas nos textos analisados, ampliar essa classificação, acrescentando mais um subgrupo de fórmulas diretivas, os tópicos necessários (autobiografia, linguagem, quantidade, tempo, localização, preferências, comida, compras). Após a classificação, estabeleceram-se parâmetros para a construção da sequência didática, apresentada no final da dissertação. Como resultados da pesquisa pode-se destacar: a identificação de um conjunto de FR coletadas em um corpus oriundo da prática concreta de estudantes brasileiros de FLE, a classificação das FR combinando duas propostas complementares de Corpas Pastor (1996) e de Nattinger e DeCarrico (1992), o estabelecimento de parâmetros para a elaboração da sequência didática e a própria construção dessa sequência. Espera-se com este trabalho poder oferecer alguns subsídios sobre o ensino da fraseologia aos professores brasileiros de FLE, ainda carentes de materiais didáticos para utilização em sala de aula, principalmente nas escolas públicas.
|
58 |
Symbolic analysis of scenario based timed models for component based systems : Compositionality results for testing / Analyse symbolique de modèles à base de scénarios temporisés pour les systèmes à composants : résultats de compositionalité pour le testBannour, Boutheina 14 June 2012 (has links)
Dans cette thèse, nous décrivons comment on peut utiliser un diagramme de séquence UML avec des contraintes de temps MARTE pour spécifier complètement le comportement des systèmes à base de composants tout en faisant abstraction des rôles fonctionnels des composants. Nous avons proposé une approche qui permet d'analyser ces spécifications d'une manière modulaire. Pour cela, nous avons attribué une sémantique opérationnelle aux diagrammes de séquence en les traduisant vers les TIOSTS qui sont des automates symbolique et temporisé. Nous avons utilisé des techniques d'exécution symbolique pour calculer les exécutions du système sous la forme d'un arbre symbolique. Nous avons défini des mécanismes de projection pour extraire l'arbre d'exécution associé à un composant sous-jacent. L'arbre résultant de la projection caractérise les comportements attendus du composant et peut être utilisé comme une référence pour valider le système bout par bout. Pour ce faire, nous nous sommes intéressés à des techniques de test. Nous avons présenté un résultat qui ramène la conformité du système à la conformité des composants qui le composent. Sur la base de ces résultats, nous avons proposé une méthodologie incrémentale de test basé sur des spécifications décrites sous la forme de diagrammes de séquence. / In this thesis, we describe how to use UML sequence diagrams with MARTE timing constraints to specify entirely the behavior of component-based systems while abstracting as much as possible the functional roles of components composing it. We have shown how to conduct compositional analysis of such specifications. For this, we have defined operational semantics to sequence diagrams by translating them into TIOSTS which are symbolic automata with timing constraints. We have used symbolic execution techniques to compute possible executions of the system in the form of a symbolic tree. We have defined projection mechanisms to extract the execution tree associated with any distinguished component. The resulting projected tree characterizes the possible behaviors of the component with respect to the context of the whole system specification. As such, it represents a constraint to be satisfied by the component and it can be used as a correctness reference to validate the system in a compositional manner. For that purpose, we have grounded our validation framework on testing techniques. We have presented compositional results relating the correctness of a system to the correctness of components. Based on these results, we have defined an incremental approach for testing from sequence diagrams.
|
59 |
Séquences de maillages : classification et méthodes de segmentation / Mesh sequences : classification and segmentationArcila, Romain 25 November 2011 (has links)
Les séquences de maillages sont de plus en plus utilisées. Cette augmentation des besoins entraîne un développement des méthodes de génération de séquences de maillages. Ces méthodes de générations peuvent produire des séquences de maillages de natures différentes. Le nombre d’applications utilisant ces séquences s’est également accru, avec par exemple la compression et le transfert de pose. Ces applications nécessitent souvent de calculer une partition de la séquence. Dans cette thèse, nous nous intéressons plus particulièrement à la segmentation en composantes rigides de séquences de maillages. Dans un premier temps, nous formalisons la notion de séquence de maillages et proposons donc une classification permettant de désigner quelles sont les propriétés attachées à un type de séquence, et ainsi de décrire précisément quel type de séquence est nécessaire pour une application donnée. Dans un second temps, nous formalisons la notion de segmentation de séquence de maillages, et présentons également l’état de l’art des méthodes de segmentation sur les séquences de maillages. Ensuite, nous proposons une première méthode de type globale pour les séquences stables de maillages, fondée sur la fusion de régions. Par la suite, nous présentons deux autres méthodes, reposant sur la classification spectrale. La première, produit un ensemble de segmentations globales, tandis que la seconde génère une segmentation globale ou une segmentation temporellement variable. Nous mettons également en place un système d’évaluation quantitative des segmentations. Enfin, nous présentons les différentes perspectives liées à la segmentation. / Mesh sequences are becoming a common tool in computer graphics as can be seen in video games or medical imaging. As a consequence, mesh sequences generation’s methods have been developed. Sequences can be created using a modeler or by multicameras acquisition. These methods can generate sequences which have different properties. Moreover, different applications using mesh sequences have been proposed such as compression or pose transfer. Most of these applications require to compute a segmentation as a pre-processing step. This thesis deals with mesh sequence segmentation into rigid components. First, we formalize the notion of mesh sequence, and propose a nomenclature, allowing us to design the properties attached to each kind of mesh sequence, and to describe precisely what kind of sequence an algorithm requires as input. Next, we propose a formalization of mesh sequence segmentation by providing different definitions of segmentation.We then present mesh sequences segmentation state of the art. We then propose a first segmentation method, producing a global segmentationand taking as input a stable mesh sequence. This method is based on a region-growing process. Next, we present two segmentation methods, both based on spectral clustering and taking as input an unconstrained mesh sequence. The former method produces a set of global segmentations, while the latter generate either a global segmentation or a timevarying segmentation. We also propose a quantitative segmentation evaluation system. Finally, we provide future work leads on mesh sequence segmentation.
|
60 |
L’ouverture et la clôture de l’interaction dans la visite familière en France et en Jordanie : une approche multimodale / Opening and closing of the interaction in familiar visits in France and JordanMansi, Faten 30 September 2014 (has links)
L’objet de cette recherche réside dans l’étude de l’interaction dans des visites familières en France et en Jordanie. Il concerne plus particulièrement l’analyse des deux séquences encadrantes de l’interaction : la séquence d’ouverture et la séquence de clôture. La méthode comparative a été adoptée afin de dégager les échanges et les actes qui composent ces séquences dans les deux pays. Cette étude a montré que la plupart des actes de langages sont attestés dans les deux corpus. Ce qui change, c’est la modalité de production et le fonctionnement des actes dans l’interaction. La formulation des actes lors de l’ouverture et de la clôture reflète les valeurs sociales et le profil socio-culturel des locuteurs français etjordaniens, tels qu’ils apparaissent dans les interactions de tous les jours. / The aim of this research is to study interaction in familiar visits in France and Jordan. It focuses particularly on the two framing sequences of interaction: the opening sequence, and the closing sequence. A comparative method was adopted to describe the exchanges and acts that make up these sequences in the two countries. The study showed that most acts are used in each corpus. The differences concern the mode of production and functioning of these acts in the interaction. Their formulation in the opening and closing sequence reflects the social values and the socio-cultural profile of French and Jordanian speakers, as they appear in everyday interaction.
|
Page generated in 0.0439 seconds