Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2012. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2013-04-11T12:42:16Z No. of bitstreams: 1 2012_DanielSundfeldLima.pdf: 2274332 bytes, checksum: 03f64cd52764929edc5ad78619656562 (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2013-05-20T14:40:19Z (GMT) No. of bitstreams: 1 2012_DanielSundfeldLima.pdf: 2274332 bytes, checksum: 03f64cd52764929edc5ad78619656562 (MD5) / Made available in DSpace on 2013-05-20T14:40:19Z (GMT). No. of bitstreams: 1 2012_DanielSundfeldLima.pdf: 2274332 bytes, checksum: 03f64cd52764929edc5ad78619656562 (MD5) / O alinhamento múltiplo de sequências biológicas é um problema muito importante em Biologia Molecular, pois permite que sejam detectadas similaridades e diferenças entre um conjunto de sequências. Esse problema foi provado NP-Difícil e, por essa razão, geralmente algoritmos heurísticos são usados para resolvê-lo. No entanto, a obtenção da solucão ótima é bastante desejada e, por essa razão, existem alguns algoritmos exatos que solucionam esse problema para um número reduzido de sequências. Dentre esses algoritmos, destaca-se o método exato Carrillo-Lipman, que permite reduzir o espaço de busca utilizando um limite inferior e superior. Mesmo com essa redução, o algoritmo com Carrillo-Lipman executa-se em tempo exponencial. Com o objetivo de acelerar a obtenção de resultados, plataformas computacionais de alto desempenho podem ser utilizadas para resolver o problema do alinhamento múltiplo. Dentre essas plataformas, destacam-se as Unidades de Processamento Gráfico (GPU) devido ao seu potencial para paralelismo massivo e baixo custo. O objetivo dessa dissertação de mestrado é propor e avaliar uma estratégia paralela para execução do algoritmo Carrillo-Lipman em GPU. A nossa estratégia permite a exploração do paralelismo em granularidade na, onde o espaço de busca é percorrido por várias threads em um cubo tridimensional, divido em janelas de processamento que são diagonais projetadas em duas dimensões. Os resultados obtidos com a comparação de conjuntos de 3 sequências reais e sintéticas de diversos tamanhos mostram que speedups de até 8,60x podem ser atingidos com a nossa estratégia. ______________________________________________________________________________ ABSTRACT / Multiple Sequence Alignment is a very important problem in Molecular Biology since it is able to detect similarities and di erences in a set of sequences. This problem has been proven NP-Hard and, for this reason, heuristic algorithms are usually used to solve it. Nevertheless, obtaining the optimal solution is highly desirable and there are indeed some exact algorithms that solve this problemfor a reduced number of sequences. Carrillo-Lipman is a well-known exact algorithmfor the Multiple Sequence Alignment problemthat is able to reduce the search space by using inferior and superior bounds. Even with this reduction, the Carrillo-Lipman algorithm executes in exponential time. High Performance Computing (HPC) Platforms can be used in order to produce results faster. Among the existing HPC platforms, GPUs (Graphics Processing Units) are receiving a lot of attention due to their massive parallelism and low cost. The goal of this MsC dissertation is to propose and evaluate a parallel strategy to execute the Carrillo-Lipman algorithm in GPU. Our strategy explores parallelism at ne granularity, where the search space is a tridimensional cube, divided on processing windows with bidimensional diagonals, explored by multiple threads. The results obtained when comparing several sets of 3 real and synthetic sequences show that speedups of 8.60x can be obtained with our strategy.

Dois problemas de planejamento de trajetórias são tratados nesta dissertação, sendo um discreto e outro contínuo. O problema discreto consiste em estabelecer todos os estados intermediários de uma trajetória para levar um conjunto de quatro blocos de uma posição inicial à uma posição meta. O problema contínuo consiste em planejar e controlar a trajetória do braço mecânico PUMA 560. A classe de modelos que se utilizou nesta dissertação foram os modelos parcialmente recorrentes. O problema discreto foi utilizado com a finalidade de comparar os seis modelos propostos, buscando obter um modelo com bom desempenho para resolução de problemas de produção de seqüências temporais. Para o problema contínuo aplicou-se apenas o modelo que apresentou melhor desempenho na resolução do problema discreto. Em ambos os casos são apresentados como entrada para a rede, o ponto inicial e o ponto meta. Dois tipos de testes foram aplicados as arquiteturas: teste de produção e de generalização de seqüências temporais. Para cada problema foram criados quatro tipos distintos de trajetórias, com graus de complexidades diferentes. Para o problema discreto, em média, a arquitetura com realimentação da camada de saída para a camada de entrada e da camada de entrada para ela mesma, todos-para-todos, foi a que apresentou menor número de épocas e também os menores valores de erro durante o treinamento. Foi o único que conseguiu recuperar todos os padrões treinados e de forma geral apresentou melhor capacidade de generalização. Por isto, este modelo foi escolhido para ser aplicado na resolução do problema contínuo, tendo bom desempenho, conseguindo reproduzir as trajetórias treinadas com grande precisão. Para o problema discreto todos os modelos apresentaram baixa capacidade de generalização. Para o problema contínuo o modelo abordado apresentou-se de forma satisfatória mediante o acréscimo de ruído. / Two trajectory planning problems are discussed in this work, one of them being discrete and the other continuous. The discrete problem consists in establishing all the intermediate states o f a trajectory to move a set of four blocks from a initial to a goal position. The continuous problem consists in planning and controlling the trajectory of the PUMA 560 mechanical arm. The class of models utilized in this work were the partially recurrent models. The discrete problem was used in order to compare the six proposed models, aiming at the acquisition of a model with a good performance for the resolution of production of temporal sequence problems. For the continuous problem, only the model that presented better performance in solving the discrete problem was applied. The initial and goal point are presented as input for the network in both problems. Two types of tests were applied to the architectures: production and generalization of temporal sequence tests. Four distinct types of trajectories with different complexity levels were created for each problem. In average, for the discrete problem, the architecture with feedback from the output to the input layer and from input layer to itself all-to-all presented the lowest epoch number in addition to the lowest error values during the training. This was the only model that managed to recover all the patterns trained and in general presented better generalization capacity. For this reason, this model was chosen to be applied in the resolution of the continuous problem. It presented a good performance to the production of mechanical arm trajectories, managing to reproduce the trained trajectories with great accuracy. For the discrete problem, all the models presented low generalization capacity. For the continuous problem, the approached model presented itself in a satisfactmy manner by means of noise addition.

Submitted by (lucia.rodrigues@ufrpe.br) on 2017-03-29T13:33:25Z No. of bitstreams: 1 Fabiano Neves Nader.pdf: 355299 bytes, checksum: 1b2a2621a49984f5afa2c5660f9b322a (MD5) / Made available in DSpace on 2017-03-29T13:33:25Z (GMT). No. of bitstreams: 1 Fabiano Neves Nader.pdf: 355299 bytes, checksum: 1b2a2621a49984f5afa2c5660f9b322a (MD5) Previous issue date: 2014-08-19 / This study aims to build the entire theoretical basis for the understanding and use of the Sturm theorem, which is a tool very well grounded to find the number of real roots of a polynomial with real coefficients. During the development of this study sought to illustrate with examples and applications in great detail so that students and teachers are able to understand and use this beautiful algorithm. / Este trabalho tem por finalidade construir toda a base teórica para a compreensão e utilização do Teorema de Sturm, que é uma ferramenta muito bem fundamentada para encontrar a quantidade de raízes reais de um polinômio com coeficientes reais. Durante o desenvolvimento desse estudo procurei ilustrar com exemplos e aplicações de forma bem detalhada para que alunos e professores tenham condições de entender e utilizar este belíssimo algoritmo.

Orientador: Miguel Natálio Abadi / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-16T15:39:00Z (GMT). No. of bitstreams: 1 Lambert_Rodrigo_M.pdf: 3549677 bytes, checksum: 663438e1feb8f7092723382b6846bc9c (MD5) Previous issue date: 2010 / Resumo: Seja x um alfabeto finito ou enumerável, e considere o espaço de todas as sequências finitas compostas por concatenação de símbolos desse alfabeto. A essas sequências daremos o nome de palavras. Denotaremos por xn conjunto de todas as palavras de tamanho n. No presente trabalho, consideramos uma função que leva cada palavra de tamanho n em um número inteiro entre 0 e n - 1. Essa função é definida pelo maior tamanho possível de uma sobreposição da palavra com uma cópia dela mesma transladada, e é chamada de função de sobreposição. A ela daremos o nome de Sn. A relevância da função de sobreposição foi colocada em evidência, entre outros casos, na análise estatística da Recorrência de Poincaré, e possui relação explícita com a entropia do processo. Nesse trabalho, provamos a convergência da distribuição da função de sobreposição, quando a sequência _e escolhida de acordo com relação a n variáveis aleatórias independentes e identicamente distribuídas no alfabeto x. Também apresentamos um limitante para a velocidade dessa convergência. Como consequência, mostramos também a convergência da esperança e da variância da função de sobreposição. / Abstract: We consider the set of finite sequencies of length n over a finite or contable alphabet x. We consider the function defined over xn which gives the size of the maximum overlap of a given sequence with a (shifted) copy of itself. That function will be denoted by overlapping function. We prove the convergence of the distribution of this function when the sequence is chosen according to a product measure, with identically distributed marginals. We give a point-wise upper bound for the velocity of this convergence. As a byproduct, we show the convergence of te mean and the variance of the overlapping function. / Mestrado / Probabilidade / Mestre em Estatística

Orientador: Zanoni Dias / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-16T22:45:38Z (GMT). No. of bitstreams: 1 Souza_MariaAngelicaLopesde_M.pdf: 2988201 bytes, checksum: 0742d490b058c7a3dae6fddd7314aba4 (MD5) Previous issue date: 2010 / Resumo: O alinhamento múltiplo dc sequências é uma tarefa de grande relevância cm Bioin-formática. Através dele é possível estudar eventos evolucionários c restrições estruturais ou funcionais, sejam de sequências de proteína, DNA ou RNA, tornando possível entender a estrutura, função c evolução dos genes que compõem um organismo. O objetivo do alinhamento múltiplo é a melhor representação do cenário dc evolução das sequencias ao longo do tempo, considerando a possibilidade dc ocorrerem diferentes eventos de mutação. Encontrar um alinhamento múltiplo dc sequencias ótimo é um problema NP-Difícil. Desta forma, diversas abordagens têm sido desenvolvidas no intuito de encontrar uma solução heurística que represente da melhor maneira possível o cenário dc evolução real, dentre elas está a abordagem progressiva. O alinhamento progressivo c uma das maneiras mais simples dc se realizar o alinhamento múltiplo, pois utiliza pouco tempo c memória computacional. Ele c realizado cm três etapas principais: determinar a distância entre as sequências que serão alinhadas, construir uma árvore guia a partir das distâncias c finalmente construir o alinhamento múltiplo. Este trabalho foi desenvolvido a partir do estudo de diferentes métodos para realizar cada etapa dc um alinhamento progressivo. Foram construídos 342 alinhadores resultantes da combinação dos métodos estudados. Os parâmetros dc entrada adequados para a maioria dos alinhadores foram determinados por estudos empíricos. Após a definição dos parâmetros adequados para cada tipo dc ahnhador, foram realizados testes com dois subconjuntos de referencia do BAliBASE. Com esses testes observamos que os melhores alinhadores foram aqueles que utilizam o agrupamento dc perfil para gerar o alinhamento múltiplo, com destaque paTa os que utilizam pontuação afim para penalizar buracos. Observamos também, que dentre os alinhadores dc agrupamento por consenso, os que utilizam função logarítmica, para penalizar buracos demonstraram melhores desempenhos / Abstract: The multiple sequence alignment is a relevant task in Bioinf'ormatics. Using this technique is possible to study evolutionary events and also structural or functional restrictions of protein, DNA, or RNA sequences. This study helps the understanding of the structure, function, and evolution of the genes that make up an organism. The multiple sequence alignment tries to achieve the best representation of a sequence evolution scenario, considering different mutation events occurrence. Finding an optimal multiple sequence alignment is a NP-Hard problem. Thus, several approaches have been developed in order to find an heuristic solution that represents the real evolution cenário, such as the progressive approach. The progressive alignment is a simple way to perform the multiple alignment, because its low memcny usage and computational time. It is performed in three main stages: (i) determining the distance between the sequences to be aligned, (ii) constructing a guide tree from the distances and finally (hi) building the multiple alignment guided by the tree. This work studied different methods for performing each step of progressive alignment and 342 aligners were built combining these methods. The input parameters suitable for most aligners were determined by empirical studies. After the parameters definition for each type of aligner, which where tested against two reference subsets of BAliBASE. The test results showed that the best aligners were those using the profile alignment to generate the multiple alignment, especially those using affine gap penalty function. In addition, this work shows that among the aligners of grouping by consensus, those that use the logarithmic gap penalty function presented better performance / Mestrado / Bioinformatica / Mestre em Ciência da Computação

No cenário mundial, o Brasil ocupa a terceira posição de maior produtor de frutas no mundo. E para a economia nacional, a importância desse setor de frutas fica evidenciada, pois o mercado de frutas corresponde a aproximadamente 10% do PIB agropecuário, sendo que as frutas frescas movimentaram mais de 270 milhões de dólares em 2009 e o mercado de sucos e néctares mais de 1,8 bilhão de dólares. No entanto, as empresas compradoras de frutas estão sofrendo pelo efeito da flutuação da demanda na produção, ineficiência coletiva, falta de compreensão da dinâmica do processo de fornecimento e redução na rentabilidade de todos os membros da cadeia de frutas. O gerenciamento de suprimentos tem sido apontado como uma das formas de diminuir esta instabilidade e melhorar os resultados de todos os envolvidos na entrega do produto. No entanto, as evidências empíricas não estão relacionadas ao setor de frutas. Na tentativa de contribuir com a solução deste problema, o presente estudo tem o objetivo de caracterizar a cadeia de suprimentos de frutas, analisar o planejamento e gestão da cadeia de suprimento de uma empresa compradora de fruta e identificar contribuições e melhorias as teorias, métodos e modelos relacionados ao gerenciamento da cadeia de suprimentos para propor um método para o planejamento e gestão da cadeia de suprimentos de empresas compradoras de frutas. Foram utilizadas entrevistas em profundidade para caracterização da cadeia de manga e o estudo de caso único de uma empresa compradora de manga com especialistas do setor para avaliar a aplicabilidade, funcionalidade e utilidade do ponto de vista gerencial do método proposto. A análise dos dados se deu por meio da triangulação do referencial teórico com os métodos e modelos de gerenciamento da cadeia de suprimentos e com a descrição do caso. Os resultados do estudo indicaram que a cadeia de suprimentos de frutas pode ser caracterizada como receptiva à melhorias de planejamento e gestão da cadeia de suprimentos; que a análise do planejamento e gestão da cadeia de suprimentos de frutas no Brasil se mostrou eficiente para avaliar os seus fornecedores em quatro regiões produtoras distintas; que existe congruência e sinergias entre a teoria, métodos e modelos do gerenciamento da cadeia de suprimentos; e permitiram a elaboração de um método de planejamento e gestão da cadeia de suprimentos de empresas compradoras de frutas. Com a proposição desse método, espera-se contribuir com uma sequência de passos que auxilie nas atividades de planejamento e gestão da cadeia de suprimentos por gestores e especialistas de uma empresa compradora de fruta. / On the world stage, Brazil is the third largest world fruit producer. As for the Brazilian economy, the importance of the fruit sector is evidenced because the fruit market accounts for approximately 10% of agricultural GDP, while fresh fruits accounted for more than 270 million dollars in 2009 and the market for juices and nectars for more than 1.8 billion dollars. However, purchasing fruit companies are suffering from the effects of fluctuations in production and demand, collective inefficiency, lack of understanding of the dynamics of supply and reduction in profitability for all members of the fruit production chain. The supply chain management has been touted as one of the ways to reduce this volatility and improve outcomes for all involved with the fruit supply. However, empirical evidence does not relate to the fruit industry. To solve this problem, the present research aimed to characterize the supply chain of fruits, to analyze the planning and management of the supply chain of a company buying fruit and identify contributions and improvements to the theories, methods and models related to supply chain management supply to propose a method for planning and managing the supply chain of buying fruit companies. It was conducted a case study from a single purchasing fruit company and in-depth interviews with industry experts to assess the applicability, functionality and usefulness from the managerial point of view of the proposed method. In-depth interviews were used to characterize the chain sleeve and a single case study of a purchasing company sleeve with industry experts to evaluate the applicability, functionality and usefulness of the managerial point of view of the proposed method. Data analysis was done through the triangulation of the theoretical with the methods and models of supply chain management and the description of the case. The results of the study indicated that the supply chain of fruits can be characterized as receptive to improvements in planning and managing the supply chain, the analysis of the planning and management of the supply chain of fruit in Brazil is efficient to evaluate their suppliers into four distinct regions, that there is consistency and synergy between theory, models and methods of supply chain management, and allowed the elaboration of a method for planning and managing the supply chain of companies purchasing fruit. With the proposition of this method is expected to contribute with a sequence of steps to assist in planning and management of supply chain managers and specialists from a buyer fruit company.

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2015-05-15T12:17:57Z No. of bitstreams: 2 Dissertação - Nara Reges Faria de Paiva Pereira - 2015.pdf: 435464 bytes, checksum: 6776c7dd920e750745f00bb8099efa97 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2015-05-15T12:24:25Z (GMT) No. of bitstreams: 2 Dissertação - Nara Reges Faria de Paiva Pereira - 2015.pdf: 435464 bytes, checksum: 6776c7dd920e750745f00bb8099efa97 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-05-15T12:24:25Z (GMT). No. of bitstreams: 2 Dissertação - Nara Reges Faria de Paiva Pereira - 2015.pdf: 435464 bytes, checksum: 6776c7dd920e750745f00bb8099efa97 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2015-03-02 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this work we study some results about Davenport’s constant for finite abelian groups. We also study some weighted zero-sum problems for especific cyclic groups and for this we prove some relations between the invariants sA, gA e hA for such groups. / Neste trabalho estudamos resultados sobre a constante de Davenport para grupos abelianos finitos. Estudamos também alguns problemas de soma-zero com peso para grupos cíclicos específicos e, para isto, provamos relações entre os invariantes sA, gA e hA para tais grupos.

Submitted by Lúcia Brandão (lucia.elaine@live.com) on 2015-12-14T15:50:01Z No. of bitstreams: 1 Dissertação - Jefferson Pereira de Oliveira.pdf: 1117410 bytes, checksum: 910b8971f3872beae3b19350ee5cadd9 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-01-20T17:20:35Z (GMT) No. of bitstreams: 1 Dissertação - Jefferson Pereira de Oliveira.pdf: 1117410 bytes, checksum: 910b8971f3872beae3b19350ee5cadd9 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-01-20T17:21:35Z (GMT) No. of bitstreams: 1 Dissertação - Jefferson Pereira de Oliveira.pdf: 1117410 bytes, checksum: 910b8971f3872beae3b19350ee5cadd9 (MD5) / Made available in DSpace on 2016-01-20T17:21:35Z (GMT). No. of bitstreams: 1 Dissertação - Jefferson Pereira de Oliveira.pdf: 1117410 bytes, checksum: 910b8971f3872beae3b19350ee5cadd9 (MD5) Previous issue date: 2013-08-23 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this work we try a new approach in the construction of the real numbers . We know that the real numbers are addressed in order to cite fi in high school , so that students end up acquiring knowledge ín fi mo or almost non-existent on this important issue . This work begins with an increase in the number of concept in the first chapter . From there situations are created problems in order to need to work with real numbers . Done that build the set of real numbers via pairs of Cauchy sequences and fi m, approach the study of real numbers from high school in a different way from view in high school. / rabalho procuramos fazer uma nova abordagem na construção dos números reais. Sabemos que os números reais são abordados de forma deficitária no Ensino Médio, de modo que os discentes acabam por adquirir conhecimentos ínfimo ou quase inexistente sobre esse assunto tão importante. Esse trabalho começa com evolução do conceito de número no primeiro capítulo. A partir daí são criadas situações problemas de modo a se necessitar trabalhar com números reais. Feito isso construiremos o conjunto dos números reais através dos pares de sequências de Cauchy e por fim, abordaremos o estudo dos números reais no ensino médio de uma forma diferenciada da vista no ensino médio.

Made available in DSpace on 2014-07-29T16:19:08Z (GMT). No. of bitstreams: 1 Elementos socioculturais na aula de e le.pdf: 1190549 bytes, checksum: 8c53ed8ed078c4bde0d73418b204071a (MD5) Previous issue date: 2012-06-15 / A partir da ação de reorientação curricular apresentada como um projeto político pedagógico no governo do estado de Goiás referente à gestão 2007/2010, as Sequências Didáticas (SDs) foram selecionadas como material didático para ser utilizado em todas as disciplinas do Ensino Fundamental (EF). As SDs são construídas, segundo Dolz, Noverraz e Schneuwly (2010, p. 82), a partir do encadeamento de módulos de ensino que são estruturados de forma sistemática, em torno de um gênero oral ou escrito . Esta pesquisa se fundamenta nos estudos sobre a linguagem como prática social e dialógica de Bakhtin (2003), na teoria sociointeracional de aprendizagem com base nos estudos de Vigotski (1998), além do trabalho com a cultura no processo de ensino-aprendizagem de línguas que institui uma pedagogia com base na relação intercultural, segundo Casal (1999), López (2004), Mendes (2007). Propusemo-nos a realizar uma pesquisa que, além de colaborar com a formação continuada das professoras participantes, pudesse de algum modo contribuir com a reflexão sobre o papel do material didático como mediador da prática docente, refletir sobre a indissociabilidade dos conceitos de língua e cultura no processo de ensino-aprendizagem de E/LE e analisar a prática pedagógica de duas professoras participantes ao trabalharem os conteúdos culturais presentes na sequência didática (SD) com duas turmas de espanhol do 9º ano do EF. Realizamos uma pesquisa qualitativa, de cunho interpretativista e etnográfico (LÜDKE; ANDRÉ, 1996; WATSON-GEGEO, 2010), aplicada a um estudo de caso de duas participantes que são professoras de língua espanhola (PE1 e PE2) na rede pública de ensino. Os resultados obtidos nos revelam a necessidade de investir cuidadosamente na elaboração de materiais didáticos de E/LE. Apesar de na primeira narrativa escrita as duas professoras participantes terem conceitos diferentes de língua e cultura, ao analisarmos as interações ocorridas na sala de aula, fica claro que ambas guiaram-se pelas sugestões promovidas pela SD em relação ao ensino-aprendizagem do gênero provérbio. Desse modo, o fato de o material didático funcionar como mediador da prática docente é necessário que seja bem elaborado, porque, ao guiar-se por ele, o docente tem a oportunidade de refletir, (re)pensar sobre sua prática pedagógica ou simplesmente seguir o que é recomendado pelo material.

Made available in DSpace on 2016-02-26T14:51:48Z (GMT). No. of bitstreams: 1 JulianaSanchesNieri.pdf: 1833195 bytes, checksum: 6cdfd71d35246c3553d0b5ac5cce201d (MD5) Previous issue date: 2011-03-18 / This paper aims to present a didactic intervention applied to an educational institution located in the city of Douradina MS. This intervention refers to the application of a didactic sequence (henceforth DS) about the school dissertation genre. Thus, the general objective of this research is to prove that the DS, combined with textual/interactive correction and checklists, favors the teaching of textual genres in the school environment, since it is a teaching tool potentiating / catalyzing the teaching of textual production. As theoretical basis, the research has the support on the work of the Geneva group of language teaching (Dolz, Schneuwly, Pasquier et al.) and Bronckart's epistemology social interactionist (2003, 2006), as well as the dialogic conception of language proposed by Bakhtin (2003 [1979]). In the analysis of the corpus texts of school dissertation genre, produced by students in the 3rd year of the high school from ―Escola Estadual Barão do Rio Branco‖ action, discursive and linguistic-discursive capabilities are evaluated in the written productions. The intervention shows that the teaching through DS favors a higher language proficiency of students in the textual genre production / O presente trabalho apresenta uma intervenção didática aplicada a uma instituição de ensino localizada no município de Douradina MS. Tal intervenção refere-se à aplicação de uma Sequência Didática (doravante SD) referente ao gênero dissertação escolar. Assim, o objetivo geral dessa pesquisa é o de averiguar que a SD, aliada à correção textual-interativa e as listas de controle, favorece o ensino dos gêneros textuais no ambiente escolar, já que constitui uma ferramenta didática potencializadora/catalisadora do ensino da produção textual. Como aporte teórico, a pesquisa apoia-se nos trabalhos do grupo genebrino de didática de línguas (Dolz, Schneuwly, Pasquier et al.) e epistemológica Sociointeracionista de Bronckart (2003, 2006), assim como na concepção dialógica da linguagem proposta por Bakhtin (2003 [1979]). Na análise do corpus textos do gênero dissertação escolar produzidos por alunos do 3º ano do Ensino Médio da Escola Estadual Barão do Rio Branco avaliam-se as capacidades de ação, discursivas e linguístico-discursivas das produções escritas. A intervenção permite concluir que o ensino por meio de SD favorece maior proficiência linguística dos alunos na produção do gênero em foco