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-26T20:48:56Z (GMT). No. of bitstreams: 1 Javier Ignacio Toro Gonzalez.pdf: 864358 bytes, checksum: d7676ee8793227ea2f982b836f3be573 (MD5) Previous issue date: 2009-04-30 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This paper analyzes the assumption and refinancing agreement of the internal public debt held by the Municipality of Sao Paulo with the brazilian Federal Government as signed in May 2000. The first chapter presents the theoretical basis of the economic policy, especially the fiscal policy, adopted by Brazil in the 1990 s and also presents the context that led to the refinancing agreement and to the Law of Fiscal Responsibility. In the second chapter the strategic role of the city of Sao Paulo in Brazil s national economy is discussed as well as the behavior of its public finances since 1995. In the third and final chapter the terms and conditions of the agreement itself as well as its sustainability are analyzed. The results point to the unsustainability of the agreement under the two approaches adopted: the Accounting and the Present Value. It is evident that the agreement - which forbids new indebtedness - harms the ability of the Municipality of Sao Paulo to perform as an entrepreneur of new projects in infrastructure, essential for a modern metropolis like Sao Paulo to meet the challenges it faces, and preventing it from fully exercising its role as a Global City in the greater context of the national Brazilian economy / Esta dissertação analisa o acordo de assunção e refinanciamento da dívida pública interna do Município de São Paulo junto ao Governo Federal assinado em maio de 2000. O primeiro capítulo apresenta a fundamentação teórica da política econômica, em especial da política fiscal, adotada no Brasil na década de 1990 e também o contexto interno que deu origem ao acordo de refinanciamento da dívida interna dos governos subnacionais e à Lei de Responsabilidade Fiscal. No segundo capítulo discute-se o papel estratégico da cidade de São Paulo para a economia brasileira e o comportamento das finanças do Município desde 1995. O terceiro e último capítulo, apresenta a análise dos termos e condições do acordo e da sua sustentabilidade. Os resultados apontam para a insustentabilidade do acordo nas duas abordagens adotadas: a Contábil e do Valor Presente. Fica evidente que o acordo, ao proibir novos endividamentos, prejudica o desempenho do Município como empreendedor de novos projetos de infra-estrutura, essenciais para fazer frente aos desafios de uma metrópole moderna como São Paulo, impedindo-a de exercer plenamente o papel de Cidade Global dentro da economia brasileira

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.

O presente trabalho tem como objetivo analisar duas traduções para o português da obra literária japonesa Kinkakuji, escrita por Yukio Mishima (1925-1970) e publicada em 1956, para fazer considerações sobre a tradução indireta e a interferência da versão intermediadora entre o texto-fonte e o texto-alvo, sob o ponto de vista do conceito de equivalência. Tratam-se da tradução realizada por Eliana Sabino (1988) a partir da versão em inglês por Ivan Morris (1959) e a tradução direta do japonês feita por Shintaro Hayashi (2010). Para esse objetivo, primeiramente, apresentamos um perfil geral de Mishima e suas obras; o romance Kinkakuji, considerando o seu contexto de criação e avaliação de críticos; e de um conceito de tradução indireta e diversas visões a respeito. Além disso, faremos uma apresentação da tradução da literatura de Mishima em português, nas tradições de tradução da literatura japonesa no Brasil. Será feita a análise cotejando as traduções acima referidas e o trabalho original em japonês, visando identificar as transformações ocorridas que impeçam os leitores da tradução de compreender o sentido da obra original. Como resultado, concluímos que tais deformações ocorrem na tradução indireta com maior frequência, mas ocorrem também na tradução direta, dificultando a transmissão do universo do romance elaborado pelo autor. Os resultados nos ajudaram a perceber que a tradução em inglês causa a deformação do texto original de certa forma e influi inevitavelmente na tradução indireta em português, porém, a tradução em inglês não é a única razão desta deformação. Na tradução direta em português, apesar de identificarmos alguns casos de deformação, observou-se que o tradutor teria se preocupado com a manutenção do estilo de estrita do autor do texto original, além do sentido textual. Podemos dizer, nesse caso, que o tradutor conseguiu produzir um texto mais próximo, sob o ponto de vista de manutenção da equivalência, daquele ao qual o leitor da obra em japonês tem acesso. / The work aims to analyze two translations of the Japanese literary work Kinkakuji, written by Yukio Mishima (1925-1970), published in 1956. to carry out a consideration of the indirect translation and of how much the intermediate version interferes between the source text and the target text, from the standpoint of the concept of equivalence. The selected translation into Portuguese are by Eliana Sabino (1988), who translated from the English version by Ivan Morris (1959), and the direct translation from the original text in Japanese by Shintaro Hayashi (2010). For this purpose, I introduce Mishima and his works; the novel Kinkakuji, considering the context in which the author wrote it and its critical reception; and a concept of indirect translation, as well as various views on it. In addition, I present the translation of Mishimas literature into Portuguese, in the translation tradition of Japanese literature in Brazil. I carry out the analysis by comparing the translations with the original work in Japanese to identify the transformations that have prevented the readers of the translations from understanding the sense of the original work. I reached the conclusion that such deformations occur more frequently in the indirect translation, but also in the direct translation, hindering the transmission of the universe developed by the author in the novel. The results allowed me to realize that the English translation causes deformations in the source text in a certain way and that it inevitably influences the indirect translation into Portuguese, but the English translation is not the only reason for this. In the direct translation into Portuguese, although I identified some cases of deformation, I noticed that the translator was concerned with maintaining Mishimas writing style, not only in the textual sense. In this case, it can be affirmed that the translator has been able to produce a text that is closer, from the point of view of maintaining the equivalence, to the one to which the reader of the Japanese work has access.

Le ciment est la principale source des impacts sur l’environnement de l’utilisation du matériau béton. Afin d’optimiser ce dernier d’un point de vue environnemental, il est nécessaire de réduire son dosage en ciment. Cela peut être entrepris en remplaçant une partie du ciment par des additions minérales lors de sa fabrication.Ces travaux de thèse visent à étudier les phénomènes physico-chimiques ayant lieu lors du processus de carbonatation de bétons à forts taux de remplacement du ciment par des additions minérales ainsi que leur résistance à ce type d’attaque.Une campagne expérimentale a été menée sur des bétons de référence préparés à base de ciments courants et sur des Écobétons préparés en substituant une partie du ciment par des cendres volantes ou du laitier de haut-fourneau. Les différentes études menées portent sur la durabilité des Écobétons vis-à-vis de la carbonatation, sur l’équivalence de performances des Écobétons avec celles des bétons de référence, et sur les paramètres de composition et de microstructure contrôlant la cinétique de carbonatation. La carbonatation a été étudiée en conditions accélérées et naturelles. Les résultats montrent que les Écobétons à forts taux de substitution du ciment par des cendres (50 %) ou du laitier (75 %) pourraient remplacer, dans certains cas, les bétons conformes à la norme en vigueur.En complément à l’étude expérimentale, des simulations numériques du couplage hydratation/séchage ont été menées en vue de déterminer l’effet du séchage sur les propriétés contrôlant la cinétique de carbonatation accélérée des bétons étudiés (la porosité, la quantité de Portlandite et le degré de saturation en eau liquide). Les résultats montrent que la cinétique de séchage augmente avec le taux de substitution du ciment par des additions. Ils remettent aussi en cause la pertinence du préconditionnement des échantillons lors de l’essai de carbonatation accélérée mené selon la norme française XP P 18-458 actuellement en vigueur. / Cement is the main source of environmental impacts of concrete use. It is thus recognized that the most pragmatic solution for minimizing environmental impacts of concrete is the reduction of the cement content. This could be achieved by replacing a part of cement by mineral additions such as fly ash or blast-furnace slag during concrete mixing.The present work aims at studying the physico-chemical phenomena occurring during the process of carbonation of concrete mixtures with high substitution rates of cement by mineral additions and their resistance against this type of attack.An experimental campaign was conducted on reference concrete mixtures prepared with common cements and on other concrete mixtures, called “Écobétons” (Green concretes), prepared by replacing a part of cement by fly ash or blast-furnace slag. The study focused on the Écobétons durability, especially their resistance against carbonation, on the equivalence of Écobétons performances with the reference mixtures performances and on the composition and microstructure parameters controlling the kinetics of carbonation. Carbonation has been studied in natural and accelerated conditions. The results show that Écobétons mixtures with high substitution rates of cement by fly ash (50 %) and blast-furnace slag (75 %) could replace, in some cases, concretes that are in accordance with the current standard.In addition to the experimental study, numerical simulations of the coupling between hydration and drying were conducted in order to determine the effect of drying on the properties controlling the accelerated carbonation kinetics of the studied concrete mixtures (porosity, Portlandite content and water saturation degree). The results show that the kinetics of drying increases with the degree of substitution of cement by mineral additions. They also question the relevance of the preconditioning of the samples during accelerated carbonation test conducted according to the French standard XP P 18-458.

Made available in DSpace on 2016-04-28T20:56:19Z (GMT). No. of bitstreams: 1 Elisabete Honorio Custodio Cezar.pdf: 5116283 bytes, checksum: 3466b870d377071b29fc6faa9d47a642 (MD5) Previous issue date: 2010-11-26 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / The failure of school continues to be part of the reality of our country, mainly in elementary school in São Paulo. Many students present performance deficient, so we need to search new methodologies to help students. Behavioral researchers have conducted studies based on the equivalence of stimuli model, with positive results. The present work proposes to teach adequate use of verbs to 20 students retained at the end of the elementary school. The teaching program is based in the equivalence of stimuli model and was applied with educational software Mestre® (Goyos e Almeida, 1996). First, there was the assessment of the Repertoire of Verbal Agreement by the Repertoire in Verbal Agreement (DRCV) which evaluated different relationships between name/number/pronoun/person of verbal/verb conjugation present perfect/past tense/ future with regular conjugation. Some relations were teached and, after than, emergence of other not trained and held the Test of Generalization for other verbs not taught. Finally, the DRCV was applied again, to measure performance after the experimental treatment. Comparing the prior performance with performance obtained with of the teaching procedure, except one participant, all the others presented have improved performance, getting the desirable goal, which was 80% correct answer at their least. The results show the adequate use of relations between name, number, pronoun, person of verbal conjugation by participants and point out that equivalence relations can be use with efficacy to improve the adequate use of verbs by individuals / O fracasso escolar continua a fazer parte da realidade de nosso país, principalmente em alunos concluintes do Ciclo II do Ensino Fundamental. Muitos apresentam desempenho deficitário para a relação série/idade, por isso é necessário realizar pesquisas com novas metodologias que auxiliem os alunos em seu aprendizado. Pesquisadores da abordagem comportamental têm realizados estudos baseados no paradigma de equivalência de estímulos, com resultados positivos. O presente trabalho teve como propósito aplicar uma programação de ensino de Concordância Verbal em alunos retidos no final do Ciclo II do Ensino Fundamental, tendo como base o paradigma de equivalência de estímulos e utilizando o software educativo Mestre® (Goyos e Almeida, 1996). Participaram 20 alunos do Ensino Fundamental de uma escola estadual da grande São Paulo. Inicialmente, ocorreu a avaliação do repertório de Concordância Verbal, por meio do Diagnóstico do Repertório em Concordância Verbal (DRCV), no qual se avaliaram diferentes relações entre nome/número/pronome/pessoa da conjugação verbal/verbo no presente/verbo no pretérito perfeito/ verbo no futuro do presente, sendo os verbos no Modo Indicativo com terminações AR, ER, IR com conjugação regular. Ocorreu o ensino de diferentes relações, e testou-se a emergência de outras relações não treinadas e realizou-se o Teste de Generalização para outros verbos não ensinados. Por fim, reaplicou-se o instrumento de avaliação do repertório de Concordância Verbal após encerrado o procedimento de ensino. Comparando o desempenho prévio com o apresentado após finalizado o ensino programado, verificou-se que todos os participantes melhoraram o desempenho, sendo que, com exceção de um deles, todos chegaram ao patamar desejável de 80% de acertos no mínimo. Os resultados mostrando o uso adequado das relações entre nome, número, pronome, pessoa da conjugação verbal e declinações do verbo pelos participantes, evidenciam que propostas de ensino com base na equivalência de estímulos, são eficazes no aperfeiçoamento do repertório de Concordância Verbal

Made available in DSpace on 2016-04-28T20:57:25Z (GMT). No. of bitstreams: 1 Marcia Aparecida Pasqual Fernandes.pdf: 3040700 bytes, checksum: c5332efb75824298dd2c5940f1aa9b1a (MD5) Previous issue date: 2008-05-09 / Secretaria da Educação do Estado de São Paulo / The schooling success in the initial grades of elementary school is an important factor for the satisfactory development in the school process, in view on the fact; this is the period that necessary academics repertoires to learning of all the contents that surround the schooling environment are taught. The difficulties in learning of reading have been studied in different approaches, such as the Behavior Analysis, that has investigated the efficacy on the stimulus equivalence paradigm, involving teaching of words and phrases. Besides, the stimulus equivalence paradigm also helped to the elaboration of educational software Mestre®, present in some of these studies. The current study had the goal of implementing a word-reading teaching proposal to eight students from the second grade of elementary school, with a diagnosis of insufficient repertoire. After evaluating the participants repertoire of previous reading, it was carried out a procedure of teaching twenty-four words formed by simple and complex syllables, developed by conditional discriminated tasks by matching process according to the model (MTS) and the choice according to the model of constructed responses (CRMTS) that were programmed with the assistance of Mestre®. The relations between dictated words (A) and picture (B) and between dictated word (A) and printed word (C) were taught. In the tasks that involved constructed responses, the relation between printed word (C) and letters that were composed the printed word (E) and between the dictated word (A) and letters that were composed the spoken word (E) were trained. After these trainings, emergency tests of non-trained relations (B-C and C-D) were executed, such as expressive reading, involving relation C-D. Also reading generalization tests composed by 15 words formed by 15 simple syllables, 15 complex syllables and 5 phrases were carried out. The results show that all the participants, but one who, did not finish the teaching program, obtained satisfactory performance levels in tests which involved reading of the training words. In relation to reading generalization of simple words, two participants reached 100% of rightness, one reached level of 93,3%, one reached level of 60% and two of them presented results less than 30%. In reading of complex syllables words, two participants reached a level further than 80% of rightness, two participants presented results less than 40%, while the others did not read any of the presented words. In relation to phrases, only one participant presented null performance; the others read more than one phrase, and one of them read the five proposed ones. For such results, more superior to the ones obtained in the evaluation of previous repertoire, it was concluded that teaching proposal permitted amplification of reading repertoire of all participants and that is possible, teaching relation between different modalities of stimuli through Mestre®, making the generalized of reading emergency possible, including the bigger units, such as phrases / O sucesso escolar nas séries iniciais do ensino fundamental é fator importante para o desenvolvimento satisfatório do processo de escolarização, visto que é neste período que são ensinados os repertórios acadêmicos necessários à aprendizagem dos demais conteúdos que circulam no ambiente escolar. As dificuldades na aprendizagem de leitura têm sido objeto de estudo em diferentes abordagens, entre elas a Análise do Comportamento, que tem investigado a eficácia do paradigma de equivalência de estímulos na ampliação de repertório de leitura, envolvendo ensino de palavras e de frases. Além disso, tal paradigma serviu de base, também, para a elaboração do software educacional Mestre®, presente em alguns desses estudos. O presente estudo teve por objetivo implementar uma proposta de ensino de leitura de palavras a oito alunos de segunda série do ensino fundamental, com diagnóstico de repertório insuficiente. Após avaliar o repertório prévio de leitura dos participantes, realizou-se um procedimento de ensino de 24 palavras formadas por sílabas simples e complexas, desenvolvido por meio de tarefas de discriminação condicional por procedimento de escolha de acordo com o modelo (MTS) e de escolha de acordo com o modelo com respostas construídas (CRMTS) que foram programadas com o auxílio do Mestre®. Foram ensinadas as relações entre palavra ditada (A) e figura (B) e entre palavra ditada (A) e palavra impressa (C). Nas tarefas envolvendo respostas construídas, foram treinadas as relações entre palavra impressa (C) e letras que compunham a palavra impressa (E) e entre palavra ditada (A) e letras que compunham a palavra falada (E). Após o treino das relações citadas, foram conduzidos testes de emergência de relações não treinadas (B-C e C-B), bem como de leitura expressiva, envolvendo a relação C-D. Foram conduzidos, também, testes de generalização de leitura compostos por 15 palavras formadas por sílabas simples, 15 formadas por sílabas complexas e por 5 frases. Os resultados mostram que todos os participantes, exceto um que não finalizou o programa de ensino, obtiveram índices de desempenho satisfatórios nos testes envolvendo a leitura das palavras treinadas. Em relação à generalização de leitura de palavras com sílabas simples, dois participantes atingiram 100% de acertos, um atingiu o índice de 93,3%, um atingiu o índice de 60% e dois deles apresentaram resultados inferiores a 30%. Na leitura de palavras com sílabas complexas, dois participantes atingiram índices acima de 80% de acertos, dois participantes atingiram índices inferiores a 40%, enquanto que os demais não leram nenhuma das palavras apresentadas. Em relação às frases, apenas um participante apresentou desempenho nulo; os demais leram uma ou mais frases, sendo que um deles leu as cinco frases propostas. Por tais resultados, muito superiores aos obtidos na avaliação do repertório prévio, conclui-se que a proposta de ensino permitiu a ampliação do repertório de leitura de todos os participantes e que é possível, ensinando-se as relações entre as diferentes modalidades de estímulos, por meio do Mestre®, possibilitar a emergência de leitura generalizada, inclusive de unidades maiores, como frases

Made available in DSpace on 2016-04-28T20:57:44Z (GMT). No. of bitstreams: 1 Andreia da Silva Tulon.pdf: 1514511 bytes, checksum: b4706ad8a9ee22bc672a2e4ed1701c20 (MD5) Previous issue date: 2008-11-03 / Secretaria da Educação do Estado de São Paulo / According to the majority of educator s elementary school students show difficulties in learning complex mathematic concepts, such as fractions. Such results urgently recommend the development of new teaching methodologies able to help students to overcome their difficulties. Behavioral analyst researchers have been making use of the stimulus equivalence paradigm in order to teach a mathematical repertoire. This paradigm allows to account for the emergency of new behaviors from other previously instructed, and that happens when different stimulus classes are made to be equivalents. Based on this paradigm point the present work elaborated and tested a procedure for teaching fractions using the MESTRE (GOYOS, ELIAS & RIBEIRO, 2005) software as a tool. Three stimulus classes were used: dictated proportional fractions (A), pictorial fractions (B) and printed proportional fractions (C), all of them with values lower than 9.Participated of the study two children age 9, in the 3rd grade of two private elementary schools of São Paulo city. The teaching Schedule was applied over two participants with nine years old, students of the third grade in private educational institutes (Sao Paulo South Square). Design involved pre-tests, teaching phase and tests for emerging relations and generalization test. The AB and BC relations were taught; relations BD, CB, AC and CD were only tested for emergency of other relations (subjects should read printed proportional fractions). Generalization was tested submitting students to fractions not previously taught. Part of these had denominators which had not been employed during the training phase. Results indicated that not trained relations BD, CB, AC and CD (where subjects should read printed proportional fractions) emerged showing that stimulus classes A, B and C became equivalents. Besides students proved to be able to read fractions without explicit training, making evident that the educational program was effective and that the equivalence paradigm is a helpful tool the fill the gaps left behind by ongoing educational practices / Os educadores em geral detectam grande dificuldade dos alunos na aprendizagem de conceitos matemáticos complexos, como é o caso das frações; as avaliações diagnósticas são unânimes em apontar uma urgente necessidade de desenvolvimento de novas metodologias de ensino que potencializem a aquisição desse conteúdo por parte dos alunos. Pesquisadores da abordagem comportamental têm ensinado repertórios matemáticos com base no paradigma da equivalência de estímulos. Tal paradigma permite explicar a emergência de comportamentos novos, a partir de outros previamente ensinados; para tanto, classes de estímulos diferentes devem se tornar equivalentes. Com base em tal paradigma, a presente pesquisa teve por objetivos elaborar e testar uma proposta de ensino de frações, utilizando como recurso o software educativo MESTRE (GOYOS, ELIAS & RIBEIRO, 2005). Foram utilizadas três classes de estímulos: frações proporcionais ditadas (A), frações pictoriais (B) e frações proporcionais impressas (C), com valores inferiores a 9. A programação de ensino foi aplicada a dois participantes com a idade de 9 anos, alunos da 3ª série (4º ano de escolarização) de instituições educacionais privadas da zona sul da cidade de São Paulo. Foi proposto delineamento envolvendo Pré-Teste, Ensino, Teste de emergência de relações, Teste de generalização. Foram ensinadas as relações AB e BC, avaliando-se se emergiam, sem ensino prévio, as relações BD, CB, AC e CD (leitura pelo aluno de frações proporcionais impressas). Verificou-se a generalização do desempenho do aluno através de um teste contendo frações não ensinadas, parte delas com denominadores ensinados e outra parte contendo denominadores inéditos. Os resultados indicaram a emergência das relações não ensinadas BD, CB, AC e CD (leitura pelo aluno de frações proporcionais impressas), evidenciando que as classes de estímulos A, B e C tornaram-se equivalentes, além de evidenciar que ocorreu generalização para frações inéditas, indicando que a programação de ensino foi eficiente. Os resultados obtidos demonstram ser o ensino, tendo por base o paradigma da equivalência de estímulos, um possível caminho a ser trilhado no sentido de preencher lacunas deixadas pelas metodologias predominantes nas escolas

Made available in DSpace on 2016-04-28T20:57:53Z (GMT). No. of bitstreams: 1 Marcelo de Abreu Cesar.pdf: 2292539 bytes, checksum: a50321278edde551bd92402edb850613 (MD5) Previous issue date: 2009-04-27 / The reading and writing repertoire acquisition in the initial grades of the basic education Cycle II is configuring as one of the main difficulties to be overcome. Internal and external indicators of evaluation - such as SAEB, SARESP and the own school evaluation-, point that a good part of the children that frequent the public school, the less favored class children, mainly, has achieve the 5ª and 6ª grades without knowing to read and to write. Due the low level of performance presented by the pupils in reading and writing in the national systematic evaluations, it is necessary implement practical applications for improve the reading repertoire, especially in the initial grades of basic education. Behavior Analysis has been producing reading research based on the paradigm of stimulus equivalence, focusing the reading behavior as relations between different modalities of stimulus: sound (A) picture\image (B) text (C). Based on equivalence studies, the present work has as objective: 1) To elaborate an educational program in order to improve the reading repertoire of children from 5ª and 6ª grades; 2) To apply and to evaluate this educational program, implemented in collective space with the assistant of Mestre® software. The participants were 17 students of basic education of Cycle II which frequented supplementary classes of a public institution from the city of Mogi das Cruzes. The procedure was carried through four stages: 1) Evaluation of the previous reading repertoire, focusing on the relations between the different modalities of stimulus (A, B and C); 2) Training of relations CC, AB, AC, BC, CE, BE and AE and test of expressive reading (CD relation) of words composed by simple syllables. 3) Test of Generalization of reading (using words and sentences composed by simple syllables). 4) Test of Maintenance of reading after 180 days. The procedure was implemented in collective space, even though the pupils worked in their own rhythm. During the procedure, the teacher responsible for the supplementary classes worked as assistant of the researcher. Comparing the student s previous performance with the one presented after the teaching procedure, it was verified that the majority of the participants presented generalized reading of new words composed by simple syllables, and also some of them had started to read sentences / A aquisição do repertório de leitura e escrita nas séries iniciais do Ensino Fundamental do Ciclo II vem se configurando como uma das principais dificuldades a serem sanadas. Indicadores internos e externos de avaliação - tais como SAEB, SARESP e os da própria escola -, apontam que uma boa parte das crianças que freqüentam os bancos escolares, principalmente as crianças de classes menos favorecidas, tem chegado nas 5ª e 6ª séries sem saber ler e escrever. Frente ao baixo nível de desempenho apresentado pelos alunos em leitura e escrita nas avaliações sistemáticas nacionais, urge que sejam derivadas, de pesquisas, aplicações práticas para a área da Educação, a fim de que esta se beneficie dos recursos da informática e possibilite, ao aprendiz, a aquisição e aperfeiçoamento do repertório de leitura, especialmente nas séries iniciais do Ensino Fundamental. A área da Análise do Comportamento vem produzindo pesquisas em leitura que se baseiam no paradigma de equivalência de estímulos, propondo o ensino de relações entre diferentes modalidades de estímulos (somtexto- figura) por meio do procedimento de escolha de acordo com o modelo. Enfocando o comportamento de leitura como rede de relações é que o presente trabalho teve como objetivos 1) Elaborar uma programação de ensino a fim de aperfeiçoar o repertório de leitura de crianças de 5ª e 6ª séries que freqüentam aulas de reforço escolar; 2) Aplicar e avaliar tal programação de ensino, implementada em espaço coletivo com o auxílio do software Mestre® (Goyos e Almeida, 1996). Participaram 17 alunos do Ensino Fundamental do Ciclo II de uma instituição pública estadual da cidade de Mogi das Cruzes. O procedimento foi realizado em quatro etapas: 1ª) Avaliação do repertório prévio de leitura, focalizando relações entre as diferentes modalidades de estímulos - (A) som, (B) figura/imagem e (C) Texto/palavra impressa 2) Aplicação da programação de ensino das relações CC, AB, AC, BC, CB, CE, BE e AE e teste da leitura expressiva (relação CD) de palavras compostas por sílabas simples. 3) Teste de Generalização de Leitura de palavras e frases novas compostas por sílabas simples. 4) Manutenção do desempenho em leitura de palavras e frases com sílabas simples. O procedimento foi implementado em espaço coletivo, ou seja, embora os alunos trabalhassem em ritmo próprio, eles o fizeram ao lado de outros colegas, contexto esse próximo ao cotidiano escolar. Durante o procedimento, contou-se com a presença do professor da escola responsável pelas aulas de reforço, o qual participou como auxiliar de pesquisa. Comparando o desempenho prévio com o apresentado após o procedimento de ensino, verificou-se que a maioria dos participantes, os quais apresentavam dificuldade em leitura de palavras com sílabas simples, passou a apresentar leitura generalizada de palavras novas compostas por sílabas simples, sendo que alguns deles passaram a ler, também, frases compostas por palavras novas

Made available in DSpace on 2016-04-28T20:57:54Z (GMT). No. of bitstreams: 1 Nelma Maria Felix Capi Villaca de Souza Barros.pdf: 11216905 bytes, checksum: 8e2496321e49f65e67405bbde825da02 (MD5) Previous issue date: 2009-05-06 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The increasing number of students with special educational needs in regular education demands for new methodologies which can help the teacher in his professional activities. Reading is the basis for acquiring further academic repertoires, as well as for the individual s participation in society. Unfortunately difficulty in reading has been identified in different grades of the academic period of Brazilian s students. Reading has been an object of study in different approaches, including the Behavior Analysis, which presents studies based on the stimulus-equivalence paradigm, with good results in teaching basic reading repertoires (words and phrases). A part of the studies was carried out using the Mestre® software; however, there are very few studies in which the participants are only individuals with Down s Syndrome. The objectives of this study are evaluating the reading repertoire of individuals with Down s Syndrome and implementing a program to teach reading using the Mestre® educational software. The participants were four students with Down s Syndrome, with ages between nine and twenty-five. The study was developed in three stages: 1) Evaluation of the participants previous reading repertoire. 2) Implementation of a teaching procedure with 15 words composed by simple syllables, focusing on the relations between stimulus of different modalities: spoken word (A), picture (B), printed word (C). The CC, AB, AC, CE and AE relations were taught and the emergence of the BC, CB, CD and BE relations was tested. 3) Application of Generalized Reading Test with news words and phrases composed by simple syllables. The repertoire of four participants was evaluated and three of them were submitted to teaching procedure. It was verified that two participants showed satisfactory performances in the trained relations as well as in the tested relations, reaching 100% correct results in expressive reading (CD relation); on the other hand, the levels in the word and phrase in the Generalized Reading Test were low, leading to assume that they were not under the control of minimal units (syllables). The participant that did not complete the teaching procedure showed positive performance changes, compared to the previously evaluated repertoire. Taking into account the short training period (a maximum of 13 hours and 35 minutes) and the number of sessions (a maximum of 21 sessions) and also the extremely small initial reading repertoire, the conclusions are that it is possible to teach reading based on the stimulus equivalence and that the Mestre® software is a valuable tool to improve reading to students with Down s Syndrome / Diante do crescente número de inclusões na rede regular de ensino em nosso país, fazem-se necessárias pesquisas em novas metodologias que auxiliem o professor no processo de ensino de pessoas com necessidades educacionais especiais, principalmente na leitura, que é base para a aquisição dos demais repertórios acadêmicos e atuação do indivíduo na sociedade. É fato também que a dificuldade na aprendizagem de leitura tem sido identificada em diferentes anos no período acadêmico. A leitura tem sido objeto de estudo em diferentes abordagens, entre elas a Análise do Comportamento, a qual tem estudos pautados no paradigma da equivalência de estímulos, com resultados promissores para a aquisição e aperfeiçoamento de repertórios básicos de leitura, envolvendo o ensino de palavras e de um segmento mais amplo como frases. Parte dos estudos foi realizada com o software Mestre®, no entanto são escassos os estudos tendo como participantes apenas indivíduos com Síndrome de Down. O presente estudo teve por objetivo, avaliar o repertório de leitura de indivíduos com Síndrome de Down e implementar uma proposta de ensino de leitura, utilizando o software educativo Mestre®. Participaram da pesquisa quatro indivíduos, tendo entre nove e vinte e cinco anos, todos com diagnóstico de Síndrome de Down. O estudo foi desenvolvido em três etapas: 1) Avaliação do repertório prévio dos participantes em leitura. 2) Implementação de um procedimento para o ensino de 15 palavras compostas por sílabas simples, focalizando as relações entre estímulos de diferentes modalidades: palavra falada (A), figura (B), palavra impressa (C), sendo ensinadas as relações: CC, AB, AC, CE e AE e testada a emergência das relações BC, CB, CD e BE. 3) Teste de Leitura Generalizada de palavras e frases formadas por sílabas simples. Dos quatro participantes, três passaram pelo procedimento de ensino. Verificou-se que os dois participantes que concluíram o procedimento obtiveram desempenhos satisfatórios tanto nas relações treinadas, quanto nas relações testadas, atingindo 100% de acertos na leitura expressiva (relação CD); porém nos testes de generalização de leitura de palavras e frases os patamares foram baixos, levando a pressupor que eles não ficaram sob controle de unidades mínimas (sílabas). O participante que não concluiu o procedimento de ensino teve alterações positivas no desempenho, comparativamente ao repertório prévio avaliado. Considerando o pequeno tempo de treino (máximo de 13 horas e 35 minutos) e de sessões (máximo de 21 sessões) a que os participantes se submeteram durante o procedimento de ensino e os desempenhos apresentados e levando em conta o baixíssimo repertório inicial de leitura, conclui-se que é possível pautar-se na equivalência de estímulos para o ensino de leitura e que a utilização do software Mestre® mostrou-se uma ferramenta valiosa para o ensino e aperfeiçoamento da leitura em pessoas com Síndrome de Down