Nesta tese, introduzimos o conceito de sequência convergente de permutações e provamos a existência de um objeto limite para tais sequências. Introduzimos ainda um novo modelo de permutação aleatória baseado em tais objetos e introduzimos um conceito novo de distância entre permutações. Provamos então que sequências de permutações aleatórias são convergentes e provamos a equivalência entre esta noção de convergência e convergência nesta nova distância. Obtemos ainda resultados de amostragem e quase-aleatoriedade para permutações. Provamos também uma caracterização para parâmetros testáveis de permutações. / We introduce the concept of convergent sequence of permutations and we prove the existence of a limit object for these sequences. We also introduce a new and more general model of random permutation based on these limit objects and we introduce a new metric for permutations. We also prove that sequences of random permutations are convergent and we prove the equivalence between this notion of convergence and convergence in this new metric. We also show some applications for samplig and quasirandomness. We also prove a characterization for testable parameters of permutations.

In 1970, Raoul Bott published The Periodicity Theorem for the Classical Groups and Some of Its Applications, in which he uses this famous result as a guideline to present some important areas and tools of Algebraic Topology. This dissertation aims to use the path Bott presented in his article as a guideline to address certain topics on Algebraic Topology. We start this incursion developing important tools used in Homotopy Theory such as spectral sequences and Eilenberg-MacLane spaces, exploring how they can be combined to aid in computation of homotopy groups. We then study important results of Morse Theory, a tool which was in the centre of Botts proof of the Periodicity Theorem. We also develop two extensions: Morse-Bott Theory, and the applications of such results to the loopspace of a manifold. We end by giving an introduction to generalised cohomology theories and K-Theory. / Em 1970, Raoul Bott publicou o artigo The Periodicity Theorem for the Classical Groups and Some of Its Applications no qual usava esse famoso resultado como um guia para apresentar importantes áreas e ferramentas da Topologia Algébrica. O presente trabalho usa o mesmo caminho traçado por Bott em seu artigo como roteiro para explorar tópicos importantes da Topologia Algébrica. Começamos esta incursão desenvolvendo ferramentas importantes da Teoria de Homotopia como sequências espectrais e espaços de Eilenberg-MacLane, explorando como estes podem ser combinados para auxiliar em cálculos de grupos de homotopia. Passamos então a estudar resultados importantes de Teoria de Morse, uma ferramenta que estava no centro da demonstração de Bott do Teorema da Periodicidade. Desenvolvemos ainda, duas extensões: Teoria de Morse-Bott e aplicações destes resultados ao espaço de laços de uma variedade. Terminamos com uma introdução a teorias de cohomologia generalizadas e K-Teoria.

Nos eucariotos, a evolução dos sistemas de transporte molecular foi essencial pois seu alto grau de compartimentalização requer mecanismos com maior especificidade para a localização de proteínas. Com o estabelecimento das mitocôndrias e plastídeos como organelas da célula eucariota, grande parte dos genes específicos para sua atividade e manutenção foram transferidos ao núcleo. Após a transferência gênica, a maioria das proteínas passaram a ser codificadas pelo núcleo, sintetizadas no citosol e direcionadas às organelas por uma maquinaria complexa que envolve receptores nas membranas das organelas, sequências de direcionamento nas proteínas e proteínas citossólicas que auxiliam o transporte. A importação depende em grande parte de uma sequência na região N-terminal das proteínas que contém sinais reconhecidos pelas membranas organelares. No entanto, muito ainda não é compreendido sobre o transporte de proteínas organelares e fatores ainda desconhecidos podem influenciar o direcionamento sub-celular. O objetivo deste trabalho foi a caracterização da General Regulatory Factor 9 (GRF9), uma proteína da família 14-3-3 de Arabidopsis thaliana potencialmente envolvida no direcionamento de proteínas organelares, e a geração de um genótipo para ser utilizado na obtenção de uma população mutante para genes que afetam o direcionamento da proteína Tiamina Monofosfato Sintetase (TH-1). Após experimentos in vivo e in planta, foi observado que GRF9 interage com as proteínas duplo-direcionadas Mercaptopyruvate Sulfurtransferase1 (MST1) e a Thiazole Biosynthetic Enzyme (THI1), e com a proteína direcionada aos cloroplastos TH-1. Experimentos de deleção e interação in vivo mostraram que a região Box1 de GRF9 é essencial para a interação com THI1 e MST1. Com a finalidade de dar continuidade a caracterização da GRF9 e para realização de testes com relação a sua função no direcionamento de proteínas organelares foi gerada uma linhagem homozigota que superexpressa GRF9. Plantas expressando o transgene TH-1 fusionado a Green Fluorescent Protein (GFP) em genótipo deficiente na TH-1 (CS3469/TH-1-GFP) foram obtidas para a geração de população mutante que possibilitará a descoberta de componentes genéticos ainda desconhecidos e responsáveis pelo direcionamento de proteínas aos cloroplastos. / In Eukaryotes, the evolution of molecular transport in the cell was essential due to their increase in compartmentalization, which requires more specific mechanisms for the correct localization of proteins. With the establishment of mitochondria and plastids as organelles, a great number of their genes, either specific for their metabolic functions or maintenance of their own transcription/translation processes, were transferred to the nucleus of the cell. These transfers caused most of the organellar proteins to be coded by the nucleus, then synthesized in the cytosol and targeted to the organelles by a complex machinery which involves membrane receptors in the organelles, targeting sequences in the proteins, and cytosolic proteins which assist them with the transport. Protein import depends greatly on an N-terminal sequence in proteins which has recognizable signals for the organellar membrane receptors. However, much is still not understood about the transport of organellar proteins, and unknown factors may still influence subcellular targeting. The goal of this work was the characterization of General Regulatory Factor 9 (GRF9), a protein of the 14-3-3 family in Arabidopsis thaliana potentially involved in the targeting of organellar proteins, and generating a genotype to be used in obtaining a mutant population for genes affecting the targeting of the protein Thiamine Requiring 1 (TH-1). After in vivo and in planta experiments it was observed that GRF9 interacts with the dual-targeted proteins Mercaptopyruvate Sulfurtransferase1 (MST1) and Thiazole Biosynthetic Enzyme (THI1), and with the chloroplast targeted protein TH-1. Deletion experiments followed by in vivo interaction assays showed that Box 1 region of GRF9 is essential for the interaction with THI1 and MST1. For the continuing characterization of GRF9 and for following tests of its function in the targeting of organellar proteins, a homozygous line was generated overexpressing GRF9. Plants expressing the transgene TH-1 fused to the Green Fluorescent Protein (GFP) in a TH-1 deficient genotype (CS3469/TH-1-GFP) were obtained for the generation of a mutant population which will allow the discovery of genetic components still unknown responsible for targeting proteins to the chloroplasts.

A complexidade de um módulo M, sobre uma álgebra de dimensão finita R, é a medida do crescimento da dimensão de suas sizigias. No nosso trabalho, estudamos esse conceito, nos concentrando muito mais no caso das álgebras autoinjetiva. Relacionamos esse crescimento com o comportamento da componente do carcás de Auslander-Reiten, a qual o módulo M pertence. Em particular, estudamos, com bastante cuidado, o caso em que a complexidade é 1, o que significa que a dimensão das sizigias são eventualmente constante. Surpreendentemente, o comportamento de todos os módulos numa mesma componente é muito parecido. / The complexity of a module M under a finite dimensional algebra R is the measure of the growth of its syzygies\' dimension. In our work, we study this concept concentrating on the case of the selfinjective algebras. We relate this growth with the behavior of the Auslander-Reiten component containing this module. In particular, we study, carefully, the case in which the complexity is 1. Surprisingly, the behavior of every module in the same component as M is very similar.

A verificação funcional é o conjunto de tarefas destinado a descobrir erros gerados durante o projeto de circuitos integrados, e representa um importante desafio ao influenciar fortemente a eficiência do ciclo inteiro de produção. Estima-se que até 80% dos custos totais de projeto são devidos à verificação, tornando esta atividade o gargalo principal para reduzir o time-to-market. Tal problemática tem provocado a aparição de diversas estratégias para diminuir o esforço, ou para aumentar a capacidade de cobertura da verificação. Por um lado existe a simulação, que permite descobrir um número razoável de erros de projeto; porém, a lentidão da simulação de descrições RTL torna mínima a cobertura real de estados. Por outro lado, os métodos formais de verificação fornecem alta cobertura de estados. Um deles é a checagem de modelos, que checa a validade de um conjunto de propriedades para todos os estados do projeto sob verificação. No entanto, esta técnica padece do problema de explosão de estados, e da dificuldade de especificar um conjunto robusto de propriedades. Outra alternativa formal é a checagem de equivalência que, ao invés de verificar propriedades, compara o projeto com um modelo de referência. No entanto, a checagem de equivalência tradicional é aplicável, unicamente, a descrições no mesmo nível de abstração, e com interfaces idênticas. Como fato importante, não foram encontrados registros na literatura de sobre a verificação formal de descrições RTL, considerando ambos os aspectos computacionais (presentes no modelo de referência) e de comunicação às interfaces (provenientes da especificação funcional de protocolo). Neste trabalho apresenta-se uma metodologia de verificação formal, através do uso de técnicas de checagem de equivalência para determinar a validade de uma implementação em RTL, comparando-a com um modelo de referência em alto nível, e com um modelo formal do protocolo de comunicação. Para permitir tal checagem, a metodologia baseia-se no conceito de sequências de estados, ao invés de estados individuais como na checagem de equivalência tradicional. As discrepâncias entre níveis diferentes de abstração são consideradas, incluindo alfabetos diferentes, mapeamento entre estados, e dessemelhanças temporais. A caracterização e solução do problema são desenvolvidas através de um quadro teórico, onde se apresentam conceitos, e definições, cuja validade é provada formalmente. Uma ferramenta para aplicação prática da metodologia foi desenvolvida e aplicada sobre diferentes tipos de descrições RTL, escritas nas linguagens VHDL e SystemC. Os resultados demonstram efetividade e eficiência na verificação formal de circuitos digitais que incluem, mas não se limitam à correção de erros, encriptação, processamento de imagens, e funções matemáticas. Também, evidencia-se a capacidade da ferramenta para descobrir erros de tipo combinatório e sequencial injetados propositalmente, relacionados com a funcionalidade do modelo de referência, assim como, com a da especificação do protocolo de comunicação, dentro de tempos e número de iterações praticáveis em casos reais. / Functional verification is the group of tasks aiming the discovery of bugs created during integrated circuit design, and represents an important challenge by its strong influence on efficiency throughout production cycles. As an estimative, up to 80% of the whole design costs are due to verification, which makes verification the greatest bottleneck while attempting to reduce time-to-market. Such problem has given rise to a series of techniques to reduce the effort, or to increase verification coverage capability. On the one side, simulation allows finding a good number of bugs, but it is still far from reaching high state coverage because of RTL cycle-accurate slowness. On the other side, formal approaches supply high state coverage. Model checking, for instance, checks the validness of a set of properties for all designs states. However, a strong disadvantage resides in defining and determining the quality of the set of properties to verify, not to mention state explosion. Sequential equivalence checking, which instead of checking properties compares the design with a reference model. Nevertheless, traditionally it can only be applied between circuit descriptions where a one-to-one correspondence for states, as well as for memory elements, is expected. As a remarkable issue, no works were found in literature that dealt with formal verification of RTL designs, while taking care of both computational aspects, present in the high-level reference model, and interface communication aspects, which proceed from the protocol functional specification. This work presents a formal verification methodology, which uses equivalence checking techniques, to validate RTL descriptions through direct comparison with a high-level reference model, and with formal model of the communication protocol. It is based on extracting and comparing complete sequences of states, instead of single states as in traditional equivalence checking, in order to determine if the design intention is maintained in RTL implementation. The natural discrepancies between system level and RTL code are considered, including non-matching interface and memory elements, state mapping, and process concurrency. For the complete problem characterization and solution, a theoretical framework is introduced, where concepts and definitions are provided, and whose validity is formally proved. A tool to apply systematically the methodology was developed and applied on different types of RTL descriptions, written in VHDL and SystemC languages. The results show that the approach may be applied effectively and efficiently to verify formally digital circuits that include, but are not limited to error correction, encryption, image processing, and math functions. Also, evidence has been obtained about the capacity of the tool to discover both combinatory and sequential bugs injected on purpose, related with computational and protocol functionalities, on real scenarios.

Made available in DSpace on 2016-04-28T19:34:03Z (GMT). No. of bitstreams: 1 Giovana Flavia de Oliveira.pdf: 2072405 bytes, checksum: d4a597544cc9c639eefbaf8a3a349d4e (MD5) Previous issue date: 2016-02-23 / The compositional structure of Marina Colasanti s fairy tales is the subject of this Doctoral dissertation, which is inserted in the research line Oral and written text and discourse of the Postgraduate Studies Program in Portuguese Language at the Catholic University of São Paulo. Our hypothesis is that Marina Colasanti s fairy tales have regularity in its compositional structure with text plans consisting of complete narrative sequences, comprising the five basis narrative macropropositions (ADAM, 2011). Guided by this proposition, we define the following research questions: how are the text plans in Marina Colasanti s fairy tales with regard to narrative sequences? How are the narrative sequences organized in each part of the text plan of the author s fairy tales? Our goal is to verify the narrative compositional structure in Marina Colasanti s fairy tales. In order to achieve this goal, we set the following objectives: a) identify the text plans in the fairy tales of the author, based on the narrative sequences; b) describe the organization of narrative sequences in each part of these fairy tales text plans; c) analyze the characteristics of text plans and narrative sequences of the author s fairy tales; d) characterize the compositional structure of Marina Colasanti s fairy tales. The theoretical-methodological basis consists of the assumptions of Textual Linguistics and Textual Analysis of the Discourses. The corpus of this research, which is descriptive, with interpretative basis, consists of six fairy tales of Marina Colasanti, two published in the book Uma ideia toda azul, and four published in the book Doze reis e a moça no labirinto do vento. We establish as categories of analysis the basis narrative macropropositions. Through the analysis undertaken, we observed that the text plans in Marina Colasanti s fairy tales, with regard to narrative sequences, have two levels of organization, a global and a local one. At the global level, regularity appears in complete narrative sequences. At the local level, regularity appears in some aspects of the organization of the narrative sequences, specifically in the configuration of the female characters, in the spatial organization, in the temporality and in the action sequences / A estrutura composicional dos contos de fadas de Marina Colasanti constitui o tema desta tese, que se insere na linha de pesquisa Texto e discurso nas modalidades oral e escrita do Programa de Estudos Pós-Graduados em Língua Portuguesa da Pontifícia Universidade Católica de São Paulo. Nossa hipótese é que os contos de fadas de Marina Colasanti têm regularidade em sua estrutura composicional com planos de texto compostos por sequências narrativas completas, constituídas pelas cinco macroproposições narrativas de base (ADAM, 2011). Guiados por essa proposição, definimos as seguintes perguntas de pesquisa: como se constituem os planos de texto dos contos de fadas de Marina Colasanti no que diz respeito às sequências narrativas? Como se organizam as sequências textuais narrativas em cada parte do plano de texto dos contos de fadas da autora? Temos como objetivo geral verificar a estrutura composicional narrativa em contos de fadas de Marina Colasanti. De modo a alcançarmos esse objetivo, estabelecemos como objetivos específicos: a) identificar os planos de texto nos contos de fadas da autora, considerando como base as sequências textuais narrativas; b) descrever a organização das sequências textuais narrativas em cada parte do plano de texto desses contos de fadas; c) analisar as características dos planos de texto e das sequências textuais narrativas dos contos de fada da autora; d) caracterizar a estrutura composicional dos contos de fadas de Marina Colasanti. O embasamento teórico-metodológico é constituído pelos pressupostos da Linguística Textual e da Análise Textual dos Discursos. O corpus desta pesquisa, que é descritiva, de base interpretativa, é composto por seis contos de fadas de Marina Colasanti, dois publicados no livro Uma ideia toda azul e quatro publicados no livro Doze reis e a moça no labirinto do vento. Estabelecemos como categorias de análise as macroproposições narrativas de base. Por meio da análise empreendida, observamos que os planos de texto dos contos de fadas de Marina Colasanti, no que diz respeito às sequências textuais narrativas, apresentam dois níveis de organização, um global e um local. No nível global, a regularidade aparece nas sequências narrativas completas. No nível local, a regularidade aparece em alguns aspectos da organização das sequências textuais narrativas, mais especificamente na configuração das personagens femininas, na organização espacial, na temporalidade e nas sequências acionais

A verificação funcional é o conjunto de tarefas destinado a descobrir erros gerados durante o projeto de circuitos integrados, e representa um importante desafio ao influenciar fortemente a eficiência do ciclo inteiro de produção. Estima-se que até 80% dos custos totais de projeto são devidos à verificação, tornando esta atividade o gargalo principal para reduzir o time-to-market. Tal problemática tem provocado a aparição de diversas estratégias para diminuir o esforço, ou para aumentar a capacidade de cobertura da verificação. Por um lado existe a simulação, que permite descobrir um número razoável de erros de projeto; porém, a lentidão da simulação de descrições RTL torna mínima a cobertura real de estados. Por outro lado, os métodos formais de verificação fornecem alta cobertura de estados. Um deles é a checagem de modelos, que checa a validade de um conjunto de propriedades para todos os estados do projeto sob verificação. No entanto, esta técnica padece do problema de explosão de estados, e da dificuldade de especificar um conjunto robusto de propriedades. Outra alternativa formal é a checagem de equivalência que, ao invés de verificar propriedades, compara o projeto com um modelo de referência. No entanto, a checagem de equivalência tradicional é aplicável, unicamente, a descrições no mesmo nível de abstração, e com interfaces idênticas. Como fato importante, não foram encontrados registros na literatura de sobre a verificação formal de descrições RTL, considerando ambos os aspectos computacionais (presentes no modelo de referência) e de comunicação às interfaces (provenientes da especificação funcional de protocolo). Neste trabalho apresenta-se uma metodologia de verificação formal, através do uso de técnicas de checagem de equivalência para determinar a validade de uma implementação em RTL, comparando-a com um modelo de referência em alto nível, e com um modelo formal do protocolo de comunicação. Para permitir tal checagem, a metodologia baseia-se no conceito de sequências de estados, ao invés de estados individuais como na checagem de equivalência tradicional. As discrepâncias entre níveis diferentes de abstração são consideradas, incluindo alfabetos diferentes, mapeamento entre estados, e dessemelhanças temporais. A caracterização e solução do problema são desenvolvidas através de um quadro teórico, onde se apresentam conceitos, e definições, cuja validade é provada formalmente. Uma ferramenta para aplicação prática da metodologia foi desenvolvida e aplicada sobre diferentes tipos de descrições RTL, escritas nas linguagens VHDL e SystemC. Os resultados demonstram efetividade e eficiência na verificação formal de circuitos digitais que incluem, mas não se limitam à correção de erros, encriptação, processamento de imagens, e funções matemáticas. Também, evidencia-se a capacidade da ferramenta para descobrir erros de tipo combinatório e sequencial injetados propositalmente, relacionados com a funcionalidade do modelo de referência, assim como, com a da especificação do protocolo de comunicação, dentro de tempos e número de iterações praticáveis em casos reais. / Functional verification is the group of tasks aiming the discovery of bugs created during integrated circuit design, and represents an important challenge by its strong influence on efficiency throughout production cycles. As an estimative, up to 80% of the whole design costs are due to verification, which makes verification the greatest bottleneck while attempting to reduce time-to-market. Such problem has given rise to a series of techniques to reduce the effort, or to increase verification coverage capability. On the one side, simulation allows finding a good number of bugs, but it is still far from reaching high state coverage because of RTL cycle-accurate slowness. On the other side, formal approaches supply high state coverage. Model checking, for instance, checks the validness of a set of properties for all designs states. However, a strong disadvantage resides in defining and determining the quality of the set of properties to verify, not to mention state explosion. Sequential equivalence checking, which instead of checking properties compares the design with a reference model. Nevertheless, traditionally it can only be applied between circuit descriptions where a one-to-one correspondence for states, as well as for memory elements, is expected. As a remarkable issue, no works were found in literature that dealt with formal verification of RTL designs, while taking care of both computational aspects, present in the high-level reference model, and interface communication aspects, which proceed from the protocol functional specification. This work presents a formal verification methodology, which uses equivalence checking techniques, to validate RTL descriptions through direct comparison with a high-level reference model, and with formal model of the communication protocol. It is based on extracting and comparing complete sequences of states, instead of single states as in traditional equivalence checking, in order to determine if the design intention is maintained in RTL implementation. The natural discrepancies between system level and RTL code are considered, including non-matching interface and memory elements, state mapping, and process concurrency. For the complete problem characterization and solution, a theoretical framework is introduced, where concepts and definitions are provided, and whose validity is formally proved. A tool to apply systematically the methodology was developed and applied on different types of RTL descriptions, written in VHDL and SystemC languages. The results show that the approach may be applied effectively and efficiently to verify formally digital circuits that include, but are not limited to error correction, encryption, image processing, and math functions. Also, evidence has been obtained about the capacity of the tool to discover both combinatory and sequential bugs injected on purpose, related with computational and protocol functionalities, on real scenarios.

Vibrio cholerae é uma bactéria autóctone em ecossistemas aquáticos, os fatores responsáveis pela virulência podem contribuir com a patogenicidade, influenciados por fatores genéticos e ambientais. Considerando a importância de conhecer e monitorar o V. cholerae, o estudo pretende caracterizar isolados da especie e padronizar uma metodologia para detecção em amostras de água. Os isolados foram avaliados por metodologias clássicas e moleculares, para confirmar espécie. Também, foi avaliada a presença de genes de virulência, susceptibilidade aos antibióticos e resposta em modelo invertebrado. Tres marcadores moleculares foram avaliados por PCR quantitativa. Observou-se que setenta dos isolados pertenciam a espécie V. cholerae e mostraram variação na prevalência dos genes de virulência e ao perfil de suscetibilidade ao antibióticos. Mostrou uma influencia da temperatura e concentração do inoculo no modelo invertebrado. Os marcadores moleculares selecionados mostraram a viabilidade da metodologia proposta neste estudo pela alta especificidade e sensibilidade. / Vibrio cholerae is an autochthonous bacterium in aquatic ecosystems, factors responsible for virulence may contribute to pathogenicity, influenced by genetic and environmental factors. Considering the importance of knowing and monitoring V. cholerae, the study pretend to characterize selected isolates and to standardize a methodology for detection in water samples. The isolates were evaluated by classical and molecular methodologies to confirm species. Also, the presence of factors associated with virulence, antibiotics susceptibility and response in invertebrate model were evaluated. Three molecular markers were evaluated by quantitative PCR. It was observed that seventy of the isolates belonged to the V. cholerae species and showed a variation in the prevalence of the virulence genes and the antibiotic susceptibility profile. Also, showed an influence of the inoculum temperature and concentration on the invertebrate model. The selected molecular markers showed the viability of the methodology proposed in this study for the high specificity and sensitivity.

Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2016-05-09T15:11:23Z No. of bitstreams: 1 Natalia Labella-Sánchez_.pdf: 9641497 bytes, checksum: 0fbb878aac8067d86bc0f7493a8512dc (MD5) / Made available in DSpace on 2016-05-09T15:11:23Z (GMT). No. of bitstreams: 1 Natalia Labella-Sánchez_.pdf: 9641497 bytes, checksum: 0fbb878aac8067d86bc0f7493a8512dc (MD5) Previous issue date: 2016-02-29 / Milton Valente / Esta pesquisa, de natureza qualitativa, trata do planejamento e concepção de material didático destinado ao ensino de espanhol para fins específicos em torno a gêneros de texto para a modalidade subsequente de um Instituto Federal do sul do Brasil: o curso Técnico em Transações Imobiliárias. Sendo cursos que objetivam dar formação e qualificação profissional para os estudantes, os cursos técnicos subsequentes apresentam um contexto propício para o ensino de línguas para fins específicos (ELFE). Para cursos de ELFE, é essencial realizar uma análise de necessidades que sirva como base para o planejamento e concepção de materiais voltados para atender às demandas acadêmicas ou profissionais específicas dos estudantes (HUTCHINSON; WATERS, 1996). Assim, com o interesse de conceber uma proposta didática de ensino de espanhol com base em gêneros de texto para esse tipo de curso, considerou-se a questão dos gêneros desde a etapa de análise de necessidades. Os pressupostos teóricos utilizados para embasar essa análise advêm da sociorretórica, em especial, a proposta teórico-metodológica de estudo do sistema de atividades (BAZERMAN, 2005) para a identificação e compreensão dos gêneros de texto que circulam em determinado contexto sociocomunicativo. Para a etapa de análise e didatização das características dos gêneros identificados, utilizou-se o quadro teórico-metodológico do interacionismo sociodiscursivo (ISD), mais especificamente a proposta de didatização das capacidades de linguagem necessárias para a produção e/ou recepção de gêneros de texto, por meio da elaboração de sequências didáticas (SCHNEUWLY, 1998; 2004; DOLZ; SCHNEUWLY, 1998; SCHNEUWLY; DOLZ, 2004a, DOLZ; NOVERRAZ; SCHNEUWLY, 2004). O corpus foi constituído por meio da aplicação de questionários e da realização de entrevistas semiestruturadas, notas de campo e coleta de exemplares de gêneros de texto. Entre os procedimentos metodológicos adotados para analisar o sistema de atividades dos corretores imobiliários, utilizou-se a proposta metodológica de Bazerman (2005) e as técnicas e procedimentos da teoria fundamentada nos dados para codificar, categorizar e relacionar as informações (STRAUSS; CORBIN, 2008; CHARMAZ, 2009). Já para a análise das características didatizáveis dos gêneros de texto identificados, utilizaram-se as sugestões metodológicas do quadro do ISD (DOLZ; SCHNEUWLY, 1998; CRISTOVÃO et al., 2010; CRISTOVÃO; STUTZ, 2011). Os resultados apontaram que a análise do sistema de atividades dos corretores imobiliários de Porto Alegre e a identificação dos gêneros de texto em espanhol que podem ser utilizados por esses profissionais, no atendimento a clientes hispanofalantes, geraram relevante subsídio informativo para: (a) conhecer as capacidades de linguagem que constituem os gêneros de texto nessa língua, especialmente as de nível pré-textual; (b) orientar o planejamento de um material didático de espanhol para corretores, organizados por meio de sequências didáticas; (c) elaborar enunciados e atividades que explorem as capacidades de linguagem características dos gêneros levando em conta as situações sociocomunicativas necessárias para a sua produção e/ou recepção. Foi possível concluir que a relação de intersecção e complementaridade entre o estudo do sistema de atividades (BAZERMAN, 2005) e a proposta de didatização do ISD tem potencial para subsidiar o planejamento de material didático para ELFE, organizado em sequências didáticas. / This qualitative research focuses on the design and conceptualization of learning materials aimed at the teaching of Spanish for specific purposes based on genres for the subsequent modality course of a Federal Institute in the southern of Brazil: the course of Technician in Real Estate. Because vocational education courses aim to train and professionally qualify students, they provide the right context for the teaching of languages for specific purposes (LSP). For courses of LSP, it is essential to carry out a needs analysis that supports the design and conceptualization of learning materials aimed to meet the specific professional and academic needs of students (HUTCHINSON; WATERS, 1996). Thus, with the intent to conceptualize a didactic proposal for the teaching of Spanish based on genres for vocational education courses, the concept of genres have been considered since the needs analysis stage in the research. The theoretical foundations used to support such an analysis come from the Rhetorical Genre Studies, specially, the theoretical and methodological proposal of the study of activity systems (BAZERMAN, 2005) to identify and comprehend the genres that circulate in a specific socio-communicative context. For the stage of analysis and didactization of the characteristics of the identified genres, the theoretical and methodological framework of the Sociodiscursive Interactionism (SDI) has been used, more specifically the proposal of didactization of language capacities needed for the production and/or consumption of genres, based on the production of didactic sequences (SCHNEUWLY, 1998; 2004; DOLZ; SCHNEUWLY, 1998; SCHNEUWLY; DOLZ, 2004a, DOLZ; NOVERRAZ; SCHNEUWLY, 2004). The corpus was generated through surveys and semi-structured interviews, field notes and the gathering of exemplars of genres. Among the methodological procedures adopted to analyse the activity systems of the real estate agents, Bazerman’s methodological proposal (2005) and the techniques and procedures of grounded theory to code, categorize and relate pieces of information were used (STRAUSS; CORBIN, 2008; CHARMAZ, 2009). In relation to the analysis of the didactic characteristics of the genres identified, the methodological suggestions of the SDI framework were used (DOLZ; SCHNEUWLY, 1998; CRISTOVÃO et al., 2010; CRISTOVÃO; STUTZ, 2011). The findings indicate that the analysis of the activity systems of real estate agents of Porto Alegre and the identification of the genres in Spanish that can be used by such professionals, to engage with Hispanic-speaker clients, generated relevant informative subsidy to: (a) know the language capacities, especially those of the pre-textual level of analysis, that constitute the genres in Spanish; (b) guide the design of Spanish teaching material for real estate agents based on didactic sequences; (c) produce instructions and activities that explore the language capacities characteristic of genres based on the socio-communicative situations needed for their production and/or consumption. The study allowed the conclusion that the relation of intersection and complementarity between the study of activity systems (BAZERMAN, 2005) and the proposal of didactization of SDI have potential to subsidize the design of learning materials for the teaching of languages for specific purposes.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This Thesis proposes a Space Vector Modulation for cascaded miltilevel converters with asymmetric cells under normal conditions and with faults in the power cells, avoiding converter saturation as much as possible. The switching state vectors and the voltage references are represented in the output line-to-line voltages coordinate system. Under this representation, the switching state vectors have only integer entries, easing the implementation of the proposed algorithm. The modulation is developed in a way such as to guarantee that the higher voltage cells switch at low frequency by the choice of only one vector per switching period, minimizing the switching losses. For the lower voltage cells (1pu), that switch with PWM, three algorithms were developed for defining the switching sequences: (i) offline, (ii) online and (iii) hybrid, where a carrier-based geometrical modulation and the SV are mixed in a simple and unified approach. The algorithm is described in a generic way, for converters with any number of levels, and then, simulation and experimental results are shown for, respectively, cascaded miltilevel converters with asymmetric cells with DC bus voltages ratio of 1:2:4pu and 1:2pu. The algorithm does not use conventional separation lines to find where the multiple references for the power cells are located inside the SV diagram. It also avoids converter saturation and, when it is unavoidable, detects its occurrence and changes the operation mode to overmodulation. This one is treated as a modification of the orignal algorithm, allowing the converter to operate with a wider range of modulation indexes and fault conditions. It is shown that two overmodulation modes can occur: in the first, there is still an area inside the SV diagram where overmodulation is avoided, and, in the second, the converter overmodulates during almost all the time. Modulation strategies are proposed for both cases, including the insertion of a bandpass filter in the second case, so as to minimize the distortions and unbalances that arise on the converter output line-to-line voltages during this operation mode. For the overmodulation, simulation and experimental results are also shown for cascaded miltilevel converters with asymmetric cells with DC bus voltages ratio of 1:2:4pu and 1:2pu. Finally, the final conclusions are drawn and future works are proposed. / Esta Tese propõe uma estratégia de modulação Space Vector (SV) para conversores multiníveis com células assimétricas em cascata durante operação normal e com faltas nas células de potência, garantindo a não ocorrência de saturação do conversor sempre que esta não for desejada, especialmente durante faltas. Os vetores de comutação e as referências de tensão são representados no sistema de coordenadas das tensões de linha de saída. Desta forma, os vetores de comutação apresentam apenas coordenadas inteiras, facilitando a implementação do algoritmo proposto. A modulação é desenvolvida de forma a garantir que as células de maior tensão comutem em baixa frequência, pela escolha de apenas um vetor por período de comutação, minimizando as perdas de comutação do conversor. Para as células de menor tensão (1pu), que comutam com PWM, foram desenvolvidos três algoritmos para definição das sequências de comutação: definição (i) offline, (ii) online e (iii) híbrida, onde as modulações geométrica com portadora e SV são mescladas em uma abordagem única e simplificada. O algoritmo SV é descrito de maneira genérica, para conversores com qualquer número de níveis, e, na sequência, são apresentados resultados de simulação e experimentais para, respectivamente, conversores multiníveis com células assimétricas em cascata com razão das tensões dos barramentos CC de 1:2:4pu e 1:2pu. Este algoritmo não faz uso de retas de separação convencionais para encontrar os domínios onde as múltiplas referências para as células de potência se encontram dentro do diagrama SV. Também evita ao máximo a saturação do conversor, e, quando esta é inevitável, detecta sua ocorrência e muda o modo de operação para sobremodulação. Esta é tratada por meio de modificações no algoritmo original, permitindo a operação do conversor com um maior número de índices de modulação e condições de falta. É mostrado que existem dois casos de sobremodulação durante faltas nas células de potência: no primeiro, ainda há uma área no interior do diagrama SV onde a sobremodulação é evitada, e, no segundo, o conversor sobremodula durante praticamente todo o tempo. São propostas estratégias de modulação para ambos os casos, incluindo a inserção de um filtro passa-faixa no segundo, para minimizar as distorções e os desequilíbrios que surgem nas tensões de linha de saída do conversor, quando este se encontra neste modo de operação. Para a sobremodulação, também são apresentados resultados de simulação e experimentais para os conversores multiníveis com células assimétricas em cascata com razão das tensões dos barramentos CC de 1:2:4pu e 1:2pu. Por fim, as conclusões finais são apresentadas e são propostos trabalhos futuros.