Made available in DSpace on 2018-06-27T19:13:18Z (GMT). No. of bitstreams: 2 Angelica Menegassi da Silveira.pdf: 3470885 bytes, checksum: 753862597c3ea33c3a3ff6bf9060a07c (MD5) Angelica Menegassi da Silveira.pdf.jpg: 3767 bytes, checksum: 25a0999e3b7ea0f969efa3b7e779f9f4 (MD5) Previous issue date: 2008-07-28 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The cur rent paper h as as purpos e to in ve st igat e i f the use of Cabri 3D softwar e on the act i vi t ies devel opment of a dida ct ic sequ enc e about Pr i sms and Pyr amid s suppor t s th e logic re asonin g devel opment of th e stud ent s and the propert i es compr ehension of thes e sol ids. Thi s res e arch wa s devel oped fol l owing the methodol ogy st eps from Dida ct ic Engineer and i t used as levy inst rument s a quest i on ary r elat ed to the school Math tea cher s, a diagnost i c test appl ied for t he student s and staves of obs ervat i on us ed by the t ea ch er . The study was re al ized wi th the 3r d grad e student s in a state high s ch ool from Santa Mar ia. It was devel oped a didact ic s equenc e relat ed to the conc ept s and proper t ie s of the sol id s Pr i sms and Pyr amids. The a ct i vi t ie s enable to ver i fy th e mor e fr equ ent di f ficul t ies of th e student s dur ing the ta sk s re al iz at ion, as wel l as adopted st r ategie s in the problem s solut i on. Th e obtain ed re sul t s indicate th at t he use of Cabr i3D softwar e cont r i buted t o th e const ruct i on and compr ehension from th e con cept i on s about the worked sol ids, be si de s promot in g the student s inter act i on in the problem´s re solut ion. It was observed that th e use of a comput ing r esour ce and the group work su ppor ted the di scussion and th e argumentat i on, beside s al lowing t o the student the view and the formulat i on of conj ecture s. Thi s exper ien ce revea led th at the h elp of d yn ami c geomet ry softwar e, in the Geomet ry cla sses, i s an al ternat i ve to over come some di f ficul t ies in und er standing th e conc ept s and proper t ies of geomet r ic sol ids. / O presente trabalho teve como propósito investigar se a utilização do softwar e Cabr i3D n o des en vol viment o de at i vidades de uma seqüên cia didát ic a sobr e Pri smas e Pi râmides favore c e o des en vol viment o do raci ocíni o lógico dos alunos e a compr eensão da s propr iedades de ss es sól i dos. Esta pesqui sa foi des envol vida s eguindo os pas sos d a met odol ogia da Engenhar i a Didát ica e ut i l izou como inst rument os de colet a de d ados um quest i onár i o rel at i vo aos profes sore s de Mat emát ic a da e scol a, um teste diagnóst ico apl icad o aos alun os e paut as de obs ervaç ão ut i l izadas pela profe ssor a. O estudo re al izouse com alun os da 3ª s ér ie do Ensin o Médi o d e uma Escol a Est adual de Santa Mar i a. Foi des en vol vi da uma s eqüênci a did át ica r e ferente aos concei t os e propr ied ad es dos sól idos Pr i smas e Pi r âmides. As at i vidad es pos sibi l i taram ver i fi car as di ficul dades mai s fr eqüent es dos alunos dur ante a real iza ção das tare fas, bem como as est rat égias adotada s na solução dos problema s. Os resul tad os obt idos indic am que, a ut i l iza ç ão d o softwar e Cabr i 3D, cont r ibuiu n a con st ruç ão e n a compre ens ão dos concei t os dos sól idos t rabalhados, al ém de promo ver a interaç ão d os alun os na r esolução d os probl emas. Observou- se qu e a ut i l izaç ão de um recur so computaci onal e o t rabalho em grupo favore c eram a di scussão e a argumenta ção al ém de possibi l i tar em ao alun o a vi su al iz açã o e a formulaç ão de conje ctu ras. Essa exper i ênci a reve l ou que o auxí l io de um softwar e d e geomet r ia dinâmic a, na s aulas de Geomet r ia, const i tui -se em uma al tern at i va par a su per ar al guma s di fi culdad es d e compre ens ão d os conc ei tos e propr iedades dos sól idos geomét r icos.

Os cloroplastos encontrados nas folhas de plantas e algas pertencem a uma classe de organelas subcelulares denominadas de plastídios. Os plastídios possuem seu próprio genoma (plastoma), o qual contêm genes que participam de funções essenciais no metabolismo vegetal, como fotossíntese, síntese de aminoácidos e outras rotas biossintéticas. O plastoma da maioria das plantas superiores tem tamanho entre 120 a 180 kb. Em angiospermas é caracterizado pela presença de duas regiões repetidas invertidas (IRs) separadas por duas regiões de cópia única; uma longa (LSC) e outra curta (SSC). Para o sequenciamento completo da molécula do DNA (cpDNA) de Eucalyptus grandis, foram preparadas bibliotecas que geraram 9.033 seqüências de DNA. A seqüência completa foi determinada e possui o tamanho de 160.292 pb. As regiões IRs apresentam ter 26.400 pb; a SSC, 18.501 pb e; a LSC, 88.991 pb. As regiões codificadoras foram anotadas por análise de similaridade ao plastoma de Eucalyptus globulus. Todas as categorias gênicas presentes neste plastoma foram encontradas no plastoma de E. grandis. Estas duas espécies possuem 99,57% de similaridade na seqüência de nucleotídeos e apresentam total similaridade na organização dos seus genes. A disponibilidade de plastomas completos de diferentes espécies de Eucalyptus, torna possível realizar estudos comparativos para a identificação de polimorfismos espécie-específicos, importantes para serem utilizados como marcadores moleculares no melhoramento genético de Eucalyptus. / The chloroplasts found in plant leaves and algae belong to a class of subcellular organelle called plastids. The plastids has its own genome (plastome) which contain genes that participate in mainly functions on plant metabolism like photosynthesis, amino acids synthesis and other biosynthetic pathways. The plastome of most of higher plants are between 120-180 kb in size. It is characterized in angiosperms by two inverted repeat regions (IRs) separated by two regions of unique single copies; one large (LSC) and another small (SSC). For the complete sequencing of the DNA (cpDNA) molecule of chloroplast from Eucalyptus grandis, libraries were prepareted and generated 9,033 DNA sequences. The complete sequence was determined and it is 160,292 bp in size. The IRs showed to have 26,400 bp; the SSC, 18,502 bp and; the LSC, 88.991 bp in size. The gene coding regions were annotated by similarity analysis against the Eucalyptus globulus plastome. All types of gene categories present in E. globulus were found in E. grandis plastome. These two species show 99.57% of similarity on nucleotide sequence and they both present total similarity in their gene organization. The availability of complete plastomes from different Eucalyptus species make possible to perform comparative studies to identify species-specific polymorphisms, wich are important to be used as molecular markers in Eucalyptus breeding programs.

The forest species have been used since the beginning of the times for the most several ends. However, the unrestricted and inadequate use, especially of native examples of great economical value, it is causing great environmental problems. The form, commonly adopted, to reduce the pressure on the native forests it is the use of exotic species. For the importance that those species reached, it exists at the country a vast area planted with homogeneous stands, prevailing the Pinus and Eucalyptus. That demand generates a demand every time larger for more productive forests and of quality, contemplating, this way, in the production of seedlings. However, there is still a lot to be improved in that section, especially in the scientific field. The statistics, if well explored, it can contribute to that. Therefore, this work had as objectives, to verify the distribution of the variables diameter and height of the seedlings of Pinus spp. and to characterize similar behaviors of the variables, in seedlings production trays, as well as, to estimate the sample size for seedlings of Pinus spp. in forest nursery. For the present study data were collected from seedlings of Pinus spp., produced in the Technological Center of Forestry of Santa Maria's Federal University. The data used for the development of the works were coming of experiments with Pinus taeda, accomplished in the first semester of the year of 2005 and other with Pinus elliottii var. elliottii, accomplished in the second semester of the year of 2005. The seedlings were willing in three trays (B1, B2 and B3). The observed variables were diameter and height of the seedling, appraised of 15 in 15 days (B1 and B2) and of 25 in 25 days (B3), where the first evaluation was accomplished to the 50 (B1 and B2) and 25 (B3) days after the emergency of the seedlings and the last to the 140 (B1 and B2) and 175 (B3) days. The statistical analyses were accomplished through application of the Run Test and sample size. The growth in seedlings of Pinus taeda was heterogeneous, being verified the non randomness in the distribution of the observations of the variables height and diameter. Already, for Pinus elliottii var. elliottii the growth of the seedlings was aleatory. The sample size varies in function of the age and randomness of the seedlings for both studied variables, where the number of sample units, for a semi-width of 10%, for Pinus taeda, went from 25 to height and twelve seedlings for the diameter and for Pinus elliottii var. elliottii went of nine seedlings to height and ten for the diameter, when considered the non randomness. / As espécies florestais têm sido utilizadas desde o início dos tempos para os mais diversos fins. Porém, o uso irrestrito e inadequado, principalmente de exemplares nativos de grande valor econômico, vem causando grandes problemas ambientais. A forma, comumente adotada, para reduzir a pressão sobre as florestas nativas é a utilização de espécies exóticas. Pela importância que essas espécies alcançaram, existe no país uma vasta área plantada com povoamentos homogêneos, predominando os de Pinus e Eucalyptus. Essa demanda gera uma exigência cada vez maior por florestas mais produtivas e de qualidade, refletindo, desta forma, na produção de mudas. Entretanto, ainda há muito que ser melhorado nesse setor, especialmente no campo científico. A estatística, se bem explorada, pode contribuir para isso. Portanto, este trabalho teve como objetivos, verificar a distribuição das variáveis diâmetro do colo e altura das mudas de Pinus spp. e caracterizar comportamentos similares das variáveis, dentro das bandejas de produção de mudas, assim como, estimar o tamanho de amostra para mudas de Pinus spp. em viveiro florestal. Para o presente estudo foram coletados dados de mudas de Pinus spp., produzidas no Centro Tecnológico de Silvicultura da Universidade Federal de Santa Maria. Os dados utilizados para o desenvolvimento dos trabalhos foram provenientes de experimentos com Pinus taeda, realizado no primeiro semestre do ano de 2005 e outro com Pinus elliottii var. elliottii, realizado no segundo semestre do ano de 2005. As mudas foram dispostas em três bandejas (B1, B2 e B3). As variáveis observadas foram diâmetro do colo e altura da muda, avaliadas de 15 em 15 dias (B1 e B2) e de 25 em 25 dias (B3), onde a primeira avaliação foi realizada aos 50 (B1 e B2) e 25 (B3) dias após a emergência das plântulas e a última aos 140 (B1 e B2) e 175 (B3) dias. As análises estatísticas foram realizadas via aplicação do Teste de Seqüência e tamanho de amostra. O crescimento em mudas de Pinus taeda foi heterogêneo, sendo constatada a não aleatoriedade na distribuição das observações das variáveis altura e diâmetro do colo. Já, para Pinus elliottii var. elliottii o crescimento das mudas foi aleatório. O tamanho de amostra varia em função da idade e aleatoriedade das mudas para ambas as variáveis estudadas, onde o número de unidades amostrais ideal, para uma semi-amplitude de 10%, para Pinus taeda, foi de 25 para altura e de doze mudas para o diâmetro e, para Pinus elliottii var. elliottii foi de nove mudas para altura e dez para o diâmetro, quando considerada a não aleatoriedade.

A coccidiose aviária é uma doença entérica causada por protozoários parasitas do gênero Eimeria. Visando uma maior compreensão dos mecanismos moleculares envolvidos na regulação do ciclo de vida dos parasitas, foram geradas 15.000 seqüências expressas (ORESTES) para cada uma das três espécies mais importantes: E. tenella, E. maxima e E. acervulina. O presente trabalho consistiu no desenvolvimento de componentes de anotação automática de seqüências para o sistema EGene, plataforma previamente desenvolvida pelo nosso grupo (Durham et al. Bioinformatics 21: 2812-2813, 2005) para a construção de processamentos encadeados (pipelines). Estes componentes foram utilizados para a construção de pipelines de anotação automática de seqüências-consenso obtidas a partir da montagem dos ORESTES de Eimeria spp. A anotação consistiu na identificação dos genes e atribuição da função dos respectivos produtos protéicos, baseando-se em um conjunto de evidências. As seqüências também foram classificadas e quantificadas utilizando-se um vocabulário controlado de termos de ontologia gênica (GO). / Avian coccidiosis is an enteric disease caused by protozoan parasites of the genus Eimeria. Aiming at obtaining a better understanding of the molecular mechanisms that regulate the life cycle of the parasites, our group generated 15,000 expressed sequences (ORESTES) for each one of the three most important species: E. tenella, E. maxima and E. acervulina. In the present work, we report the development of a set of components for the automated sequence annotation through EGene, a platform for pipeline construction previously described by our group (Durham et al. Bioinformatics 21: 2812-2813, 2005). These components were used to construct pipelines for the automated annotation of assembled sequences of ORESTES of Eimeria spp. The annotation process consisted in the identification of genes and the corresponding protein function based on a set of evidences. The sequences were also mapped and quantified using a controlled vocabulary of gene ontology (GO) terms.

A vinca (Catharanthus roseus) é uma planta perene, arbustiva, pertencente à família Apocinaceae, cujas folhas e raízes possuem propriedades medicinais. A presença de sintoma de mosaico e deformação foliar em plantas dessa espécie, associados com a presença de partículas alongadas e flexuosas, característica de vírus pertencentes ao gênero Potyvirus, conduziu a estudos complementares para a identificação e caracterização desse vírus. No estudo da gama parcial de hospedeiras foram testadas 28 espécies, envolvendo oito famílias botânicas. Catharanthus roseus e Nicotiana benthamiana apresentaram sintomas de mosaico foliar e Chenopodium amaranticolor e C. quinoa apresentaram lesões locais cloróticas nas folhas inoculadas. A transmissão do vírus com afídeos foi avaliada com as espécies Aphis gossypii, Myzus nicotianae e Toxoptera citricidus. Apenas Aphis gossypii e Myzus nicotianae transmitiram o vírus. O antissoro policlonal produzido contra este potyvirus reagiu com o vírus homólogo e com o Passionfruit woodiness virus (PWV) e Cowpea aphid-borne mosaic virus (CABMV), mas não com o Lettuce mosaic virus (LMV), Papaya ringspot virus - type W (PRSV-W), Potato virus Y (PVY) e Zucchini yellow mosaic virus (ZYMV). O peso molecular da proteína capsidial (CP) foi de aproximadamente 34 kDa. A reação de PCR realizada com os oligonucleotídeos universais de potyvirus e oligonucleotídeos específicos posteriomente confeccionados amplificaram três fragmentos de aproximadamente 0,8, 1,0 e 1,4 Kb, os quais após o seqüênciamento geraram um fragmento de 1654 nucleotídeos (nt) da região 3' terminal do genoma, que inclui parte do gene da replicase viral (Nib), a região codificadora completa do gene da proteína capsidial (CP), seguida de 286 nt da região 3' não traduzida (3'NTR). A identidade da seqüência de nucleotídeos do gene da CP variou de 67,0 a 76,0%, quando comparada com as de outros membros da família Potyviridae. A maior identidade foi com o Omphalodes virus Y (76,0%). A identidade dos aminoácidos deduzidos da proteína capsidial variou de 62,0 a 71,0%, sendo a maior com East Asian Passiflora virus (71%). Para a região não traduzida (3'NTR) a identidade variou de 16,8 a 28,6%. Em conjunto esses dados indicam que este vírus é uma nova espécie dentro do gênero Potyvirus, para o qual se propõe o nome de Vírus do mosaico do Catharanthus (Catharanthus mosaic virus - CatMV). / Catharanthus roseus is known as the common periwinkle or Madagascar periwinkle. It is a perennial, evergreen herb in the family Apocynaceae, which was originally native to the island of Madagascar, although both name and classification are contradictory in some literature. The plants grow up to 80 cm high; have glossy, dark green leaves and bloom during summer. The flowers range from white to hot pink to purple. The species has historically been used in popular medicine to treat a wide assortment of human diseases, as it contains more than 150 useful alkaloids. Plants of C. roseus exhibiting mosaic symptoms followed by malformation of the leaf blades and flower variegation were collected from a garden at the University of São Paulo, School of Agriculture (Piracicaba, State of São Paulo, Brazil). Preliminary electron microscopy exams of negatively stained leaf sap revealed that the symptoms were associated with potyvirus-like particles. The objective of the present work was to obtain further biological, immunological and molecular data to better characterize this species of the genus Potyvirus, family Potyviridae. Of 28 plant species from eight botanical families inoculated mechanically with this potyvirus, only C. roseus and Nicotiana benthamiana developed systemic mosaic, whereas Chenopodium amaranticolor and C. quinoa exhibited only chlorotic local lesions. The virus was transmitted by Aphis gossypii and Myzus nicotianae, but not by Toxoptera citricidus. Polyclonal antiserum raised against this potyvirus reacted with the homologous virus, Passion fruit woodiness virus (PWV) and Cowpea aphid borne mosaic virus (CABMV) in PTA-ELISA. The molecular mass of the coat protein (CP) was approximately 34 kDa. RT-PCR from viral RNA amplified a fragment of approximately 1654 nucleotides (nt) at the 3'-terminal of the viral genome, containing portion of the replicase gene (Nib), the entire CP gene and the 3' untranslated region (3'UTR) (286 nt). When the nucleotide sequence of the CP gene was compared with other members of the Potyviridae family, identities varied from 67.0 to 76.0%. The highest identity was with Omphalodes virus Y. Identity of the deduced amino acid of the CP varied from 62.0 to 71.0%, with the highest for East Asian Passiflora virus. For the 3' UTR, identities varied from 16.8 to 28.6%. The name Catharanthus mosaic virus (CatMV) is proposed for this new potyvirus.

Made available in DSpace on 2016-04-28T19:34:35Z (GMT). No. of bitstreams: 1 Laura Garcia Abrao.pdf: 648215 bytes, checksum: 5b03788db6c257ff7ef39c415353a600 (MD5) Previous issue date: 2009-04-27 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / A big challenge to a teacher is changing scientific knowledge into didactic content. To achieve this goal, complex theories have to be changed, without losing their properties and characteristics, to be assimilated by students. In this manner, the didactic transposition can be conceived as a body of acts that can change and become a wise knowledge to teaching knowledge , which brings in the core of the issue the conception that teaching can be built by the articulation of the academic competency plus pedagogic competency. In this context, we are able to see that inappropriate development of teachers impedes them from thinking about the didactic transposition practice and transforming it from expert awareness into instruction in behavior of Portuguese language. Here, we consider carefully the didactic transposition for an efficient teaching of Portuguese language. So we think about appropriate text theories of teaching Portuguese language and, assuming that universities don´t consider the didactic transposition, we have analyzed the Linguistics teaching courses of a public and private university searching for didactic transposition to apply in Portuguese lessons. We propose activities which go in the way of Linguistics education. It is possible to conclude that the supposition considered is true because the Linguistics courses that have been analyzed neither considered the didactic transposition nor the Linguistics education. So, we are able to conclude that didactic sequences are rich tools for teaching Portuguese language and, if used properly, it is possible to develop a work based on didactic transposition / Um grande desafio do professor é transformar um conhecimento científico em conteúdo didático e, para isso, teorias complexas, sem perder suas propriedades e características, precisam ser transformadas para serem assimiladas pelos alunos. Assim, a transposição didática pode ser concebida como um conjunto de ações transformadoras que tornam um saber sábio em saber ensinável , que traz em seu bojo a concepção de que a docência se constrói numa articulação da competência acadêmica com a competência pedagógica. Nesse contexto, percebemos que a formação inadequada do professor o impede de refletir sobre a prática da transposição didática para o ensino de língua portuguesa. Refletimos aqui sobre a transposição didática para um ensino de língua portuguesa mais eficaz. Para tanto, refletimos sobre as teorias de texto adequadas ao ensino de língua portuguesa, e, partindo da hipótese de que as universidades não contemplam a transposição didática, analisamos os programas de Prática de Ensino de Letras de uma universidade pública e uma particular, buscamos a transposição didática para aplicar na sala de aula de língua portuguesa e propomos atividades que percorram os caminhos da Educação Lingüística. A partir disso, concluímos que a hipótese levada em conta é verdadeira, os programas do curso superior de Letras analisados não levam em conta os princípios da transposição didática e não contemplam a Educação Lingüística. Chegamos à conclusão também de que as seqüências didáticas são ferramentas muito ricas para o ensino de língua portuguesa e, utilizando-as adequadamente, é possível desenvolver um trabalho de ensino à luz da transposição didática

Made available in DSpace on 2016-04-28T19:34:39Z (GMT). No. of bitstreams: 1 Sandra Mara Hossota Ribeiro.pdf: 599100 bytes, checksum: c983e247d21bdb51c10091e1c3278e01 (MD5) Previous issue date: 2009-05-21 / Secretaria da Educação do Estado de São Paulo / This work is in the Portuguese area and consists in submitting a proposal for teaching of tale of humor based on didactical sequence. In it, our biggest objective is to contribute to the improvement of educational practices at developing the competence of students reading the 8th and 9th grades. Contemporary research has emphasized the role of genres of discourse for the teaching and learning of languages, seeking to establish the relationship between text, context, discourse and society. Accordingly, we took into account the studies of Bakhtin (2003), which reflects on the activities of language and social practices; of Schneuwly and Dolz (2004), dealing with the teaching of genres by means of teaching sequences, and Coelho (1987) and Almeida (1999), showing the peculiarities of the tale of humor. In the presentation of the didactic sequence, we develop modules for teaching and learning activities that provide a reading of a tale of humor, with emphasis on the construction of meaning through the interaction between author, text and reader / Este trabalho insere-se na área de Língua Portuguesa e consiste na apresentação de uma proposta de seqüência didática para ensino do conto de humor. Nosso objetivo principal é contribuir para o aprimoramento de práticas pedagógicas que visem a desenvolver a competência leitora de alunos dos 8ª e 9ª anos. Pesquisas contemporâneas têm enfatizado o papel dos gêneros para o ensino e a aprendizagem de línguas, buscando estabelecer a relação entre texto, contexto, discurso e sociedade. Nessa perspectiva, levamos em consideração os estudos de Bakhtin (2003), que reflete sobre as atividades de linguagem como práticas sociais; de Dolz e Schneuwly (2004), que tratam do ensino de gêneros por meio de seqüências didáticas; de Coelho (1987) e Almeida (1999), que apresentam as peculiaridades do gênero conto de humor, e de Possenti (1998) e Travaglia (1990 e 1992) que tratam da relação entre humor e língua. Na seqüência didática, organizada em duas partes, propomos oficinas com atividades que julgamos significativas para o ensino do gênero conto de humor, com ênfase na construção do humor por meio da interação entre autor, texto e leitor. Também inserimos atividades com os gêneros piada, charge e crônica de humor, a fim de permitir ao aluno conhecer os mecanismos que permitem construir o humor em diferentes gêneros, que apresentam de certo modo regularidades em relação ao conto de humor

O teste de software engloba diferentes técnicas, métodos e conceitos capazes de garantir a qualidade dos mais variados tipos de sistemas. Dentre tais técnicas, encontra-se o teste baseado em Máquinas de Estados Finitos (MEFs), que visa a garantir a conformidade entre a implementação e a especificação de um software. Com esse propósito, diversos métodos foram propostos para a geração de seqüências de verificação que garantam cobertura total das possíveis falhas existentes em uma implementação. A maioria dos métodos conhecidos são baseados na utilização de seqüências de distinção. Esse recurso, porem, não existe para toda MEF. Alguns métodos buscam a geração de seqüências de verificação baseados em recursos alternativos as seqüências de distinção, contudo, as seqüências geradas são exponencialmente longas. Este trabalho apresenta um método para geração de seqüências de verificação que visa a reduzir o tamanho das seqüências geradas para o domínio de MEFs que não dispõem de seqüência de distinção. Para isso, o método proposto baseia-se na utilização de conjuntos de distinção. Uma avaliação experimental foi realizada afim de mensurar a redução proporcionada pelo método proposto em relação aos principais métodos existentes na literatura. Com esse intuito, foram geradas MEFs aleatórias sob a perspectiva diferentes fatores. Em relação a variação do número de estados, os resultados indicaram reduções acima de 99; 5% em comparação com os métodos existentes, quando analisadas 75% das MEFs geradas / Software testing involves several techniques, methods, and concepts employed to guarantee a high level of quality in different application domains. Among such techniques, Finite State Machine (FSM) based testing aims to guarantee the conformance between the implementation and the specification of a system under test. In this context, several methods were proposed to generate checking sequences that cover all the possible faults existing in an implementation. Most of these methods are based on a special sequence, named distinguishing sequence, which does not exist for every minimal machine. Some methods were proposed to generate checking sequences based on alternative solutions in order to be applied on FSMs that do not have distinguishing sequences. However, these methods generate checking sequences exponentially long. This work proposes a method to generate checking sequences using identification sets. These sets exist for every minimal FSM and also lead to shorter checking sequences. We conducted an experimental study to compare the proposed method with the main existing methods. In the experiments, we used random FSMs that have different configurations of states, inputs, and outputs. Concerning the variation of number of states, the results show reductions higher than 99:5% in comparison with the existing methods for 75% of the experimented machines

Made available in DSpace on 2016-04-29T13:18:18Z (GMT). No. of bitstreams: 1 Juliana Cristina de Carvalho Giolo.pdf: 806670 bytes, checksum: c2f7afe87b1ab6724743751eaf6b6e82 (MD5) Previous issue date: 2010-05-03 / The objective of this study was to analyze if the direct reinforcement of variable responding in a free-operant procedure can facilitate learning of a response sequence with low baseline frequency in human repertoires. It also aimed to verify if the distance between lateral keyboards may influence the variable performance. Eighteen participants were divided in three groups of six members each variability, yoked and control. Each group was composed of three participants with nearby keyboards and three participants with distant keyboards. The task involved constructing figures on a computer screen by pressing two keys (right and left) on lateral keyboards. The behavioral unit was a four key press sequence. Sequences that achieved the reinforcement criterion produced parts of the figure and a sound. The participants of the variability and the yoked groups, after a baseline phase in which all target sequences were reinforced, were exposed to a concurrent reinforcement schedule. In this schedule, the least completed sequence during baseline target sequence produced continuous reinforcement (CRF) while the other sequences produced reinforcement if they achieved the established reinforcement criteria. In the variability condition the reinforcement criteria was having the relative frequency of the sequence completed below a threshold value (RDF). In the yoked condition the same reinforcement distribution was used without the demand for variable performance. For the control group, after the baseline, only the target sequences were reinforced in CRF. The results including U indexes, number of completed sequences and percentage of each sequences completed indicates that the RDF contingency was effective to produce variable responding and the most participants that learned to emit target sequences were in the variability group, followed by the yoked group. The distance between the lateral keyboards produced differences in the variability measures for each group / Neste trabalho objetivou-se a analisar se o reforçamento direto do responder variável em um procedimento de operante livre pode ajudar na aprendizagem de uma seqüência com baixa ocorrência inicial no repertório de participantes humanos, assim como, verificar se a distância entre teclados laterais pode influenciar o desempenho variável. Dezoito participantes foram divididos em três grupos compostos por seis participantes cada variabilidade, acoplamento e controle. Cada grupo era composto por três participantes com teclados próximos e três participantes com teclados distantes. A tarefa envolvia construir figuras na tela do computador, pressionando duas teclas (direita e esquerda) de teclados laterais. A unidade comportamental foi constituída por uma seqüência de quatro pressões à essas teclas. Seqüências que atendiam ao critério de reforçamento produziam partes da figura e um som. Os participantes do grupo de variabilidade e de acoplamento, após a fase de linha de base na qual houve reforçamento para todas as seqüências alvo, foram expostos a um esquema de reforçamento concorrente. Neste esquema a seqüência menos completada na fase de linha de base seqüência alvo - produzia reforçamento contínuo (CRF) e as outras seqüências produziam reforçamento caso atendessem o critério de reforçamento estabelecido. Na condição de variabilidade, o critério de reforçamento foi a freqüência relativa da seqüência ser menor que um valor limiar (RDF). Na condição de acoplamento ocorreu a mesma distribuição de reforços sem a exigência de um desempenho variável. Para os participantes o grupo controle, após a fase de linha de base, apenas as seqüências alvo foram reforçadas em CRF. Os resultados apontam a partir das medidas do índice U, do número de diferentes seqüências completadas e porcentagem de cada seqüência completada que a contingência RDF foi eficaz em produzir um responder variável e a maioria dos participantes que aprenderam a completar a seqüência alvo foram do grupo de variabilidade, sendo seguidos pelos participantes do grupo de acoplamento. A distância entre os teclados laterais produziram diferenças na variabilidade produzida entre os grupos

Made available in DSpace on 2016-04-27T16:57:52Z (GMT). No. of bitstreams: 1 dissertacao_silvio_alves_silva.pdf: 895069 bytes, checksum: 5e146058d1fe2a92fdbfe8676ff9723b (MD5) Previous issue date: 2005-05-19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The aim of this work is to was investigating an approach to the teaching of trigonometry in the right triangle, where it was pretended to present the concepts underlying the trigonometric ratios sine, cosine and tangent. Our research hypotesis is that we can make a signyficative learning to the student through problem-situations that articuleded the geometry construction and the figural tratament in the abording of the trigonometric relations. We prepared a didactic sequence with four activities and we applied, supporting by Engineering Didactic fundaments, to aswer if the production of the teaching sequence abording the geometry constructions and geometry transformations articuladed to the figural tratament gives a significative learning to the students of the inicial serie of the high school of the concepts in the trigonometry right triangle. For to answer the research question, we analised the conceptions of the students over the aplication of the sequence, the resolution of the situations in the activities and the discution of this situations. We concluded that there was conceptual development of the students in the trigonometry relations / O objetivo deste trabalho foi de investigar uma abordagem de ensino da trigonometria no triângulo retângulo, em que se pretendeu introduzir as razões trigonométricas seno, co-seno e tangente. Nossa hipótese é que podemos construir uma aprendizagem significativa para o aluno por meio de situações-problema que articulam as construções geométricas e o tratamento figural na abordagem das relações trigonométricas. Elaboramos uma seqüência didática com quatro atividades e a aplicamos, com base nos princípios da Engenharia Didática, a fim de responder se a produção de uma seqüência de ensino enfatizando as construções e transformações geométricas articuladas ao tratamento figural proporciona uma apreensão significativa para o aluno de 1º ano do Ensino Médio dos conceitos da trigonometria no triângulo retângulo. Para respondermos à questão de pesquisa, analisamos as concepções dos alunos durante a aplicação da seqüência, a resolução das situações contidas nas atividades e sua discussão. Concluímos que houve evolução conceitual dos alunos das relações trigonométricas