Made available in DSpace on 2017-06-01T18:25:05Z (GMT). No. of bitstreams: 1 maria_carmo_gomes_pereira_cavalcanti.pdf: 1174555 bytes, checksum: 61bab175737c0aef90fc88316db00e57 (MD5) Previous issue date: 2016-05-10 / Fundação de Amparo a Ciência e Tecnologia / Cette dissetartion jette un autre regard par rapport aux études du bégaiement, casse-tête difficil et compliqué, nommé bégaiement imprimé par Van Riper, qui était bègue et l un des plus expressifs précurseur dans la recherche de son etiologie. Les propositions thérapeutiques plus divulguées se partagent en deux paradigmes : l un centré dans le symptôme et l autre dans le sujet. Des Chercheurs liés au premier paradigme cherchent inscrire au corps la genèse du trouble ou de la pathologie, ainsi appelé par plusiers, laissant de coté les positions discursives, en considérant la connaissance ordinaire la dynamique dysphonctionnele de la famille en tant qu agent precepteur du bégaiement. Ce travail a pour but analyser le discours des familiers d enfants appelés bègues dans le Groupe d Études et Accueil au Bégaiement Enfantin(GEAGI) pour idenfier l évidence de Mythes, en plus du silence de l enfant, ainsi que faire de descripticion sur le changement de Formation Discursive dans le discours de la famille et la participation du chercheur no GEAGI. Ce projet aura un approche qualitatif et sera développé au GEAGI dans une Université à Recife, ayant comme population cinq familles qui ont cherché l hospitalité spontanée dans ce groupe. La méthode utilisée sera la discursive à partir du travail systématique avec l écoute familière et, comme procedure, des découpages discursifs des familles enregistrées en audio et transcrits littéralement pour une analyse postérieure ; ayant comme ancrage l interdiscursivité qui se manisfèste dans la dynamique familière et dans les scéances. Nous abordons dans cette recherche sur la perspective linguistique-discursive comme thérapeutique, pour croire que cela fait naître une saute qualificative dans la parole du sujet, favorisant le chanchement de position du sujet bègue au sujet courant. Nous avons utilisé le support méthodologique de l Analyse du Discours de ligne française AD, fondée par Pêcheux et développé au Brésil par Orlandi, et d autres studieux, articulant à des études de quelques spécialistes en bégaiment tel que Azevedo, Freire entre autres. En considérant l AD comme structure et évenement, nous cherchons mettre en évidence l espace discursif comme s il était le lieu où le bégaiment se trouve. En nous éloignant, ainsi, de perspectives organisationnistes et incluant le sujet et le langage au cadre de l orthophonie nous croyons, comme Azevedo, être le bégaiment un trouble du langage directement lié aux conditions de production et à l extériorité. On conclut en mettant en évidence les changements chez les Formations Discursives des familles etudiées, en resignifiant les conceptions de s exprimer avec aisance/sans aisance, ce qu engendre des effets pour la déconstruction d une approche autoritaire des parents ; de l image stigmatisé de bavard qui emprisonne l enfant, en favorisant la perception tant pour partie de l enfant comme pour des familles que la position discursive n est pas fixe, immuable. / Esta dissertação lança um outro olhar relativo aos estudos da gagueira, quebra-cabeças difícil e complicado, denominação de gagueira cunhada por Van Riper, que era gago e um dos mais expressivos precursores na busca de sua etiologia. As propostas terapêuticas mais divulgadas se dividem em dois paradigmas: o centrado no sintoma e o centrado no sujeito. Pesquisadores filiados ao primeiro paradigma procuram marcar, no corpo, a gênese do distúrbio ou patolo-gia, como é por muitos nomeada, negligenciando as posições discursivas, considerando co-nhecimento vulgar a dinâmica disfuncional da família como agente precipitador da gagueira. Este trabalho tem por escopo analisar o discurso de familiares de crianças ditas gagas no Gru-po de Estudos e Atendimento à Gagueira Infantil (GEAGI) para identificar a evidência de mitos, além do silenciamento da criança, bem como descrever a mudança de Formação Dis-cursiva no discurso da família de crianças identificadas como gagas e constatar a mudança da posição sujeito da criança a partir do discurso das famílias e participação do pesquisador no GEAGI. A abordagem desta pesquisa será qualitativa e desenvolvida no GEAGI em Univer-sidade do Recife, tendo como população cinco famílias que buscaram atendimento espontane-amente neste grupo. O método utilizado será o discursivo a partir do trabalho sistemático com escuta familiar e, como procedimento, recortes discursivos das famílias constituídos longitu-dinalmente gravados em áudio e transcritos literalmente para posterior análise, tendo como ancoragem a interdiscursividade que emerge na dinâmica familiar e nas sessões. Abordamos, nesta dissertação, a ótica linguístico-discursiva como possibilidade terapêutica, por acreditar-mos que esta suscita um salto qualitativo na fala do sujeito, favorecendo a mudança de posi-ção de sujeito gago para sujeito fluente. Utilizamos como aparato teórico metodológico a Análise do Discurso de linha francesa (AD), fundada por Pêcheux e desenvolvida no Brasil por Orlandi e outros estudiosos, articulando a estudos de alguns especialistas em gagueira como Azevedo, Freire, entre outros. Ao considerar a AD como estrutura e acontecimento, procuramos evidenciar o espaço discursivo como sendo o lugar em que a gagueira se encon-tra. Distanciamo-nos, assim, de perspectivas organicistas e incluimos o sujeito e a linguagem no cenário fonoaudiológico. Acreditamos, com Azevedo, ser a gagueira um distúrbio de lin-guagem diretamente relacionado às condições de produção e à exterioridade. Concluímos o trabalho, evidenciando as mudanças nas Formações Discursivas das famílias estudadas, a res-significação das concepções de fluência/disfluência, o que gera efeitos para a desconstrução de uma relação autoritária dos pais; da imagem estigmatizada de falante, que aprisiona a cri-ança, favorecendo a percepção, tanto por parte da criança como das famílias de que a posição discursiva não é fixa, imutável.

Les systèmes logiciels sont devenus omniprésents se substituant à l'homme pour des tâches délicates, souvent critiques, mettant en jeu des coûts importants voire des vies humaines. Les conséquences des défaillances imposent la recherche de méthodes rigoureuses pour la validation. L'approche par automates du model-checking est la plus classique des approches de vérification automatique. Elle prend en entrée un modèle du système et une propriété, et permet de savoir si cette dernière est vérifiée. Pour cela un model-checker traduit la négation de la propriété en un automate et vérifie si le produit du système et de cet automate est vide. Hélas, bien qu'automatique, cette approche souffre d'une explosion combinatoire du nombre d'états du produit.Afin de combattre ce problème, en particulier lors de la vérification des propriétés insensibles au bégaiement, nous proposons la première évaluation d'automates testeur (TA) sur des modèles réalistes, une amélioration de l'algorithme de vérification pour ces automates et une méthode permettant de transformer un TA en un automate (STA) permettant une vérification en une seule passe.Nous proposons aussi une nouvelle classe d'automates: les TGTA. Ces automates permettent une vérification en une seule passe sans ajouter d'états artificiels. Cette classe combine les avantages des TA et des TGBA (automates de Büchi). Les TGTA permettent d'améliorer les approches explicite et symbolique de model-checking. Notamment, en combinant les TGTA avec la saturation, les performances de l'approche symbolique sont améliorées d'un ordre de grandeur par rapport aux TGBA. / Software systems have become ubiquitous in our everyday life. They replace humans for critical tasks that involve high costs and even human lives. The serious consequences caused by the failure of such systems make crucial the use of rigorous methods for system validation. One of the widely-used formal verification methods is the automata-theoretic approach to model checking. It takes as input a model of the system and a property, and answers if the model satisfies or not the property. To achieve this goal, it translates the negation of the property in an automaton and checks whether the product of the model and this automaton is empty. Although it is automatic, this approach suffers from the combinatorial explosion of the resulting product. To tackle this problem, especially when checking stutter-invariant LTL properties, we firstly improve the two-pass verification algorithm of Testing automata (TA), then we propose a transformation of TA into a normal form (STA) that only requires a single-pass verification algorithm.
 We also propose a new type of automata: the TGTA. These automata also enable a check in a single-pass and without adding artificial states : it combines the benefits of TA and generalized Büchi automata (TGBA). TGTA improve the explicit and symbolic model checking approaches. In particular, by combining TGTA with the saturation technique, the performances of the symbolic approach has been improved by an order of magnitude compared to TGBA. Used in hybrid approaches TGTA prove complementary to TGBA.
 All the contributions of this work have been implemented in SPOT and LTS-ITS, respectively, an explicit and a symbolic open source model-checking libraries.