• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 625
  • 20
  • 19
  • 19
  • 18
  • 18
  • 13
  • 6
  • 6
  • 6
  • 2
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 651
  • 234
  • 206
  • 103
  • 97
  • 76
  • 63
  • 60
  • 53
  • 48
  • 47
  • 46
  • 44
  • 44
  • 43
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
321

Corpo inciso, vazado, transmudado : inscrições e temporalidades / Body interpolated proposition, leaked, transformed: registrations and temporalities

Pires, Beatriz Helena Fonseca Ferreira 08 January 2006 (has links)
Orientador: Carmen Lucia Soares / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-08-06T22:43:29Z (GMT). No. of bitstreams: 1 Pires_BeatrizHelenaFonsecaFerreira_D.pdf: 20561331 bytes, checksum: 2f6dfce3ae1d6b4d728a9dfe27746586 (MD5) Previous issue date: 2006 / Doutorado / Educação, Conhecimento, Linguagem e Arte / Doutor em Educação
322

Partejar e narrar: O ofício de parteira ao sul do Rio Grande do Sul (1960-1990) / "Partejar" y narrar: el oficio de partera al sur de Rio Grande do Sul (1960-1990)

Silva, Eduarda Borges da 16 March 2017 (has links)
Submitted by Kenia Bernini (kenia.bernini@ufpel.edu.br) on 2018-10-18T21:20:37Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Eduarda_Borges_Silva_Dissertação.pdf: 1864127 bytes, checksum: 27f93d31cd5543fed1660ec054c0013d (MD5) / Approved for entry into archive by Aline Batista (alinehb.ufpel@gmail.com) on 2018-10-19T19:51:35Z (GMT) No. of bitstreams: 2 Eduarda_Borges_Silva_Dissertação.pdf: 1864127 bytes, checksum: 27f93d31cd5543fed1660ec054c0013d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Aline Batista (alinehb.ufpel@gmail.com) on 2018-10-19T19:51:42Z (GMT) No. of bitstreams: 2 Eduarda_Borges_Silva_Dissertação.pdf: 1864127 bytes, checksum: 27f93d31cd5543fed1660ec054c0013d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-10-19T19:51:49Z (GMT). No. of bitstreams: 2 Eduarda_Borges_Silva_Dissertação.pdf: 1864127 bytes, checksum: 27f93d31cd5543fed1660ec054c0013d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-03-16 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / Esta dissertação analisa o ofício de parteira ao sul do Rio Grande do Sul entre 1960 a 1990, a partir de três campos de análise: os saberes, as transformações do ofício e as relações de gênero. Utiliza como fonte três manuais: um para supervisão; um para treinamento de parteiras e outro para as gestantes; e doze entrevistas de história oral temática, sendo dez realizadas com parteiras que atenderam a domicílio na cidade e na zona rural e em hospitais, uma entrevista com um médico que também foi coordenador da vigilância sanitária e outra com uma auxiliar de Enfermagem. As metodologias empregadas para a dissertação são, portanto, a História Oral e a análise documental de manuais. O primeiro campo de análise engloba discussões sobre a cura e o cuidado, reflete sobre a condição de narradoras idosas e sobre as formas específicas de rememorar nessa faixa etária. Aborda o caminho metodológico percorrido pela pesquisadora e os saberes específicos do partejar e outros conhecimentos adquiridos, como a benzedura, o uso de ervas e técnicas básicas de atendimento em saúde. Em um segundo momento, se observa as transformações do ofício a partir dos processos higienista, de industrialização do parto e do movimento de humanização do parto. É discutido o movimento higienista e seu interesse em disciplinar o corpo das mães, por ver nelas propagadoras em potencial dessa política sanitarista; os conflitos profissionais entre parteiras, enfermeiras e médicos; o uso de tecnologias, ferramentas e atendimento invasivo às parturientes e a institucionalização do parto como um evento que se tornou hegemonicamente hospitalar; ainda, o movimento social de humanização do parto, o instinto materno e o protagonismo no momento de dar à luz. E, finalmente, no terceiro campo de análise são discutidas as relações de gênero na parturição. No princípio deste é mencionada a possibilidade de uma escrita feminista à História e as diversas formas de viver as maternidades, paternidades e feminismos. Em seguida o debate é centrado nos direitos reprodutivos e consequentemente, nas violências sofridas durante o processo de parir. A pesquisa é finalizada com formas de reciprocidade desenvolvidas entre as parteiras entrevistadas e suas comunidades, especialmente o conceito de ―comadrio‖, compreendido como uma relação de gênero tática entre mulheres, parteiras e parturientes. / Esta tesis analiza el oficio de partera/comadrona al sur de Rio Grande do Sul entre 1960-1990, a partir de tres campos de análisis: los conocimientos, la transformación del oficio y las relaciones de género. Utiliza como fuente tres manuales: uno para la supervisión; uno para la formación de parteras y otro para las mujeres embarazadas; y doce entrevistas de historia oral, diez con las parteras que asistieron en casa en la ciudad y en el campo y en los hospitales, una entrevista con un médico que también fue coordinador de la vigilancia sanitaria y otra con una auxiliar de Enfermería. Las metodologías utilizadas para la tesis son, por lo tanto, la historia oral y la análisis documental de manuales. El primer campo de análisis incluye discusiones sobre la cura y el cuidado, reflexiona sobre la condición de los narradores de edad avanzada y las formas específicas de recordar de esto grupo de edad. Aborda la ruta metodológica adoptada por la investigadora y los conocimientos específicos de la partería y otros conocimientos adquiridos, como benzedura, el uso de hierbas y técnicas básicas de salud. En un segundo momento, se observa los cambios de lo oficio con los procesos higienista, de industrialización del parto y el movimiento de humanización del parto. Se discute el movimiento higienista y su interés en disciplinar el cuerpo de la madre, por ver en ellas propagadoras potenciales de esta política higienista; los conflictos profesionales entre parteras, enfermeras y médicos; el uso de tecnologías, herramientas y el cuidado invasivo de las pacientes y la institucionalización del parto como un evento que se ha convertido hegemónicamente hospitalario; todavía, el movimiento social de humanización del parto, el instinto maternal y el protagonismo en el momento de dar a luz. Y, por último, en el tercer campo del análisis se discuten las relaciones de género en el parto. A principios de este se menciona la posibilidad de una escritura feminista para la Historia y las diferentes formas de vivir la maternidad, la paternidad y los feminismos. A continuación, el debate se centra en los derechos reproductivos y en consecuencia la violencia sufrida durante el proceso de dar a luz. Por fin, las formas de reciprocidad desarrolladas entre las parteras entrevistadas y sus comunidades, en especial el concepto de "comadrio", entendido como una táctica de relaciones de género entre las mujeres, parteras y mujeres embarazadas.
323

Estudo de variaveis experimentais no desempenho de colunas recheadas para cromatografia liquida de alta eficiencia (CLAE)

Queiroz, Sonia Claudia do Nascimento de 20 July 2018 (has links)
Orientador: Isabel Cristina Sales Fontes Jardim / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Quimica / Made available in DSpace on 2018-07-20T22:50:17Z (GMT). No. of bitstreams: 1 Queiroz_SoniaClaudiadoNascimentode_M.pdf: 1598541 bytes, checksum: 81987cce87ab785d2438fe0a43931f82 (MD5) Previous issue date: 1995 / Mestrado
324

Uma aplicação da algebra geometrica a mecanica classica = a transformação de Kustaanheimo-Stiefel / An application of the geometric algebra to the classical mechanic : the Kustaanheimo-Stiefel transformation

Souza, Jose Vicente Cipriano de, 1964- 15 August 2018 (has links)
Orientador: Jayme Vaz Jr. / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-15T04:12:56Z (GMT). No. of bitstreams: 1 Souza_JoseVicenteCiprianode_M.pdf: 1091003 bytes, checksum: 9c23a3d5fde13a39b607a4ada7ade738 (MD5) Previous issue date: 2010 / Resumo: Nessa dissertação apresentamos a Álgebra Geométrica do Espaço Euclidiano e estudamos algumas de suas propriedades. Para exemplificar suas aplicações, estudamos a Transformação Kustaanheimo-Stiefel em termos de Álgebra Geométrica. Para isso apresentamos inicialmente a Transformação KS, que regulariza o movimento de Kepler em três dimensões removendo uma singularidade na origem, da forma como foi originalmente formulada, baseando-se em álgebra de matrizes. Feito isso, a Transformação KS é apresentada com Álgebra Geométrica, o que torna o seu entendimento geométrico mais claro e seu desenvolvimento mais simplificado. Para tal o uso do conceito de spinors é de grande importância / Abstract: In this dissertation we presented the Geometric Algebra of Euclidean Space and studied some of its properties. To exemplify its applications, we studied the Kustaanheimo-Stiefel Transformation in terms of Geometric Algebra. This purpose we presented initially the KS Transformation which regularizes the Kepler motion in three dimensions by removing a singularity at the origin, as it was originally formulated, based on matrix algebra. Done, the KS transformation is presented with Geometric Algebra, making clearer its geometric understanding and its development more simplified. With this goal the spinors concept use is of great importance / Mestrado / Fisica-Matematica / Mestre em Matemática Aplicada
325

Dos empórios aos pegue-pague: a modernização das casas de comércio de Jataí

Oliveira, Carolina Oliveira e 11 June 2010 (has links)
Submitted by Marlene Santos (marlene.bc.ufg@gmail.com) on 2014-10-29T17:30:54Z No. of bitstreams: 2 dissertação -Carolina Oliveira e Oliveira.pdf: 2078994 bytes, checksum: 0cfd8ec168dbca1ef277b8811edf310b (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2014-10-30T10:03:46Z (GMT) No. of bitstreams: 2 dissertação -Carolina Oliveira e Oliveira.pdf: 2078994 bytes, checksum: 0cfd8ec168dbca1ef277b8811edf310b (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2014-10-30T10:03:46Z (GMT). No. of bitstreams: 2 dissertação -Carolina Oliveira e Oliveira.pdf: 2078994 bytes, checksum: 0cfd8ec168dbca1ef277b8811edf310b (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2010-06-11 / Emancipated in 1895, Jataí, a city located in southwestern Goias, had as main economic activities, since its inception, animal husbandry and subsistence agriculture. From the second half of the twentieth century, with the shift of the economic frontier for the region, Jataí urbanized and modernized to invest in new agricultural techniques. The process of modernization of the city can be seen in the transformation of the commercial sector. From simple emporiums warehouses, the shops have specialized, rationalized its work, and gradually turned into "take-pay", expanding its structure, more recently, for large format supermarkets. This dissertation examines what were the main changes in the trading houses of the city in the twentieth century, specifically in the 1950s to 1970 when the city was modernized, and how people coped with these changes. / Emancipada em 1895, Jataí, cidade localizada no sudoeste de Goiás, teve como principais atividades econômicas, desde seu surgimento, a pecuária e a agricultura de subsistência. A partir da segunda metade do século XX, com o deslocamento da fronteira econômica para a região, Jataí se urbanizou e modernizou ao investir em novas técnicas agrícolas. O processo de modernização da cidade pode ser observado nas transformações do setor comercial. De simples empórios ou armazéns, os estabelecimentos comerciais se especializaram, racionalizaram o seu trabalho e aos poucos se transformaram em ―pegue-pague‖, ampliando sua estrutura, mais recentemente, para o formato de grandes supermercados. Esta dissertação analisa quais foram as principais transformações ocorridas nas casas de comércio da cidade no século XX, especificamente nas décadas de 1950 à 1970, quando a cidade se moderniza, e como a população lidou com essas mudanças.
326

Teorema de Napoleão: origem, demonstrações e aplicações / Theorem of Napoleon: source, demonstrations and properties

Gonzaga, Gean Carlos Sousa 06 August 2015 (has links)
Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2015-11-19T12:25:23Z No. of bitstreams: 2 Dissertação - Gean Carlos Sousa Gonzaga - 2015.pdf: 2479646 bytes, checksum: d85220319554b1544933aa25ea2c672c (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2015-11-19T12:27:30Z (GMT) No. of bitstreams: 2 Dissertação - Gean Carlos Sousa Gonzaga - 2015.pdf: 2479646 bytes, checksum: d85220319554b1544933aa25ea2c672c (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-11-19T12:27:30Z (GMT). No. of bitstreams: 2 Dissertação - Gean Carlos Sousa Gonzaga - 2015.pdf: 2479646 bytes, checksum: d85220319554b1544933aa25ea2c672c (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2015-08-06 / This paper addresses the theorem of Napoleon on historical, conceptual perspectives, and focusing on demonstrations and applications properties as well. In the rst chapter, are discussed aspects of the history and Napoleon Bonaparte biography. In the second chapter are addressed notions of Plane Geometry, Linear Algebra, of Rigid Transformation of Complex Numbers and Related Transformations. In the third chapter, statements are presented, generalizations (especially the so-called Barlotti Theorem), properties and applications in exercises. / O presente trabalho aborda o teorema de Napoleão em perspectivas históricas e conceituais, enfocando demonstrações e propriedades. No primeiro capítulo, são abordados aspectos da biogra a de Napoleão Bonaparte. No segundo capítulo são abordadas no- ções de Geometria Plana, de Álgebra Linear, de Transformações Rígidas, de Números Complexos e Transformações A ns. No terceiro capítulo, são apresentadas demonstra ções, generalizações (em especial, o chamado Teorema de Barlotti), propriedades e aplicações em exercícios.
327

Mudanças e transições na Inglaterra no século XX em Howards End, de E. M. Forster

Aguiar, Alexandre Menezes de 24 April 2015 (has links)
Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-10-21T15:04:23Z No. of bitstreams: 1 Dissertação - Alexandre M. Aguiar.pdf: 8594585 bytes, checksum: c3945e3c68b06eb68321ddb20ca69d85 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-10-21T15:08:27Z (GMT) No. of bitstreams: 1 Dissertação - Alexandre M. Aguiar.pdf: 8594585 bytes, checksum: c3945e3c68b06eb68321ddb20ca69d85 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-10-21T15:14:08Z (GMT) No. of bitstreams: 1 Dissertação - Alexandre M. Aguiar.pdf: 8594585 bytes, checksum: c3945e3c68b06eb68321ddb20ca69d85 (MD5) / Made available in DSpace on 2015-10-21T15:14:08Z (GMT). No. of bitstreams: 1 Dissertação - Alexandre M. Aguiar.pdf: 8594585 bytes, checksum: c3945e3c68b06eb68321ddb20ca69d85 (MD5) Previous issue date: 2015-04-24 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / This master´s dissertation completes a historical-literary analysis of the novel Howards End, written by the English novelist E. M. Forster. The first chapter presents the author´s life, as well as his travels abroad and novels published. Secondly, we analyze the narrative; emphasize the facts, characters and symbolic elements described by the author. Finally, the third chapter, we compare Howards End with On Beauty by Zadie Smith, approaching the facts, characters and symbolic elements written in these works. Howards End was published in 1910 during the Eduardian time, when the Victorian era is over. There was a conflict in England during this time of intense transition between the “new” and “old”, since England has no longer control over its colonies and political and economic questions in Europe seem to increase with totalitarian regimes in German and Italy. In the narrative, there is a resistance to the new changes represented by the sisters Schlegels who are intellectual and emancipated, daughters of an English mother and a German father. On the other hand, the impositions of traditions represented by the clan Wilcox, as well as the integration of another nucleus, the Basts, originally proletarians in that society. The initial conflict begins when the matriarch of the Wilcox, for a symbolic gesture of friendship, decides to leave her old cottage house, Howards End, to the old sister (Margaret), without letting her know about this decision. The families have their paths crossed with that conflict which is the core of most parts of the novel of E. M. Forster, as he seems to suggest that personal relationships represent the only possibility to comprehension of a chaotic world. / Esta dissertação de mestrado faz uma análise histórico-literária do romance Howards End, do escritor inglês E. M. Forster. O primeiro capítulo apresenta a vida do autor, assim como suas viagens ao exterior e os romances publicados. No segundo, faremos uma análise da narrativa; enfatizando os fatos, as personagens e os elementos descritos pelo autor. Por fim, no terceiro, compararemos Howards End com On Beauty, de Zadie, e faremos uma abordagem dos fatos, das personagens, e elementos descritos nessas obras. Howards End foi publicado em 1910 durante a época Eduardiana, quando o período conhecido como Era Vitoriana se encerra. Nesse momento de intensa transição na Inglaterra havia o conflito entre o “novo” e o “velho”, já que a Inglaterra não possuía mais controle sobre suas colônias, e questões políticas e econômicas na Europa parecem surgir com a ascensão de regimes totalitários na Alemanha e Itália. Na narrativa, há a resistência ao novo representado pelas irmãs Schlegel que são intelectuais e emancipadas, filhas de mãe inglesa e pai alemão e, do outro lado, a imposição das tradições representadas pelo clã Wilcox, assim como a integração de outro núcleo, os Bast, de origem proletária e marginalizada naquela sociedade. O conflito inicial se dá quando a matriarca dos Wilcox, por um gesto simbólico de amizade, decide deixar sua velha casa de campo, Howards End para a irmã mais velha Schlegel (Margaret), sem que essa tome conhecimento da decisão. As famílias têm seus destinos entrecruzados a partir desse conflito que é o cerne de boa parte da obra de E. M. Forster, quando ele parece sugerir que as relações interpessoais representam a única possibilidade de compreensão de um mundo caótico.
328

Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking

Rocha, Herbert Oliveira 03 July 2015 (has links)
Submitted by Lúcia Brandão (lucia.elaine@live.com) on 2015-12-11T18:49:43Z No. of bitstreams: 1 Tese - Herbert Oliveira Rocha.pdf: 2090300 bytes, checksum: 94ec40933733aec0a76afd0916b0f8cb (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-01-19T14:41:05Z (GMT) No. of bitstreams: 1 Tese - Herbert Oliveira Rocha.pdf: 2090300 bytes, checksum: 94ec40933733aec0a76afd0916b0f8cb (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-01-19T14:54:32Z (GMT) No. of bitstreams: 1 Tese - Herbert Oliveira Rocha.pdf: 2090300 bytes, checksum: 94ec40933733aec0a76afd0916b0f8cb (MD5) / Made available in DSpace on 2016-01-19T14:54:32Z (GMT). No. of bitstreams: 1 Tese - Herbert Oliveira Rocha.pdf: 2090300 bytes, checksum: 94ec40933733aec0a76afd0916b0f8cb (MD5) Previous issue date: 2015-07-03 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Oneofthemainchallenges insoftwaredevelopment istoensurethesafetyofthesoftwaresystems, especially in critical embedded systems, such as aircraft or healthcare, where several constraints (e.g., response time and data accuracy) must be met and measured in accordance with the user requirements, otherwise a failure can lead to catastrophic situations. Thus, software verification and testing techniques are essential items for the software development with quality, where such techniques aim to confirm the user requirements, as well as, the predetermined behaviors for the software. In the software verification context, aiming the product quality, the formal verification technique called model checking has been used to find subtle errors in actual projects of the software systems. However, the use of the model checking technique presents some challenges such as dealing with the model’s state explosion problem, integration with software testing environments more familiar to designers, and handling counter-examples to reproduce the identified errors. In order to deal with these problems, a possible solution is to explore the characteristics already provided by the model checkers, e.g., verification of the safety properties and generation of counter-examples. Exploring this set of characteristics, coupled with the use of program invariants inference and a special kind of model checking, called Bounded Model Checking (BMC), this thesis presents a set of methods to complement and enhance the scalability and accuracy of the verification performed by Bounded Model Checkers. These methods adopted code transformation techniques to explore the characteristics of Bounded Model Checkers to analyze the safety properties and demonstrate errors in programs written inthe C programming language. The methods presented in this thesis are: (1) The automatic generation and verification of the test cases based on safety properties generated by a Bounded Model Checker for unit tests; (2) Automating thecollection andmanipulation of thedatafrom thecounter-examples, todemonstrate the main cause of the identified error; and (3) Adopting program invariants dynamically/statically inferred from the analyzed program, to restrict the exploration of the states sets while performing the verification by the BMC. This way, helping to improve the verification performed by a BMC, related to assist in the verification and accuracy of results, by adoption of the program invariants. The proposed approaches when used separately, provide additional options to the verification, and interconnected, improving the code verification. Theexperimental results of theproposed methods show to be efficient over public available benchmarks of C programs, finding errors not previously found byother methods that are state-of-the-art. / Um dos principais desafios no desenvolvimento de software é garantir a funcionalidade dos sistemas de software, especialmente em sistemas embarcados críticos, tais como aeronáutico ou hospitalar, onde diversas restrições (por exemplo, tempo de resposta e precisão dos dados) devem ser atendidas e mensuradas de acordo com os requisitos do usuário, caso contrário uma falha pode conduzir a situações catastróficas. Logo, técnicas de verificação e teste de software são itens indispensáveis para um desenvolvimento com qualidade, onde tais técnicas visam confirmar os requisitos do usuário, bem como os comportamentos pré-estabelecidos para osoftware. No contexto de verificação de software, visando à qualidade geral do produto, a técnica de verificação formal model checking tem sido utilizada para descobrir erros sutis em projetos de sistemas de software atuais. Contudo, a utilização da técnica model checking apresenta alguns desafios, tais como, lidar com a explosão do espaço de estados do modelo, integração com outros ambientes de testes mais familiares aos projetistas e tratamento e análise de contra-exemplos para reprodução de erros. De modo a lidar com estes problemas, uma possível solução é explorar as características já providas pelos model checkers, por exemplo, a verificação de propriedades de segurança e geração de contra-exemplos. Explorando este conjunto de características, juntamente com autilização dainferência deinvariantes eumtipo especial demodelchecking, denominado de BoundedModelChecking (BMC),esta tese apresenta um conjunto de métodos para complementar e aprimorar a escalabilidade e acurácia da verificação efetuada por Bounded Model Checkers. Estes métodos utilizam técnicas de transformações de código para explorar as características de Bounded Model Checkers, a fim de analisar propriedades de segurança e demonstrar erros em códigos escritos na linguagem de programação C. Os métodos apresentados nesta tese são: (1) A geração e verificação automática de casos de teste baseado em propriedades de segurança geradas por um Bounded Model Checker para testes de unidade; (2) Automatizar acoleta emanipulação das informações dos contra-exemplos, de modo a demonstrar a causa principal do erro identificado; e (3) Utilização de invariantes dinamicamente/estaticamente inferidas, a partir do programa analisado, para restringir a exploração dos conjuntos de estados durante a execução da verificação pelo BMC. Desta forma, ajudando no aprimoramento da verificação efetuada por um BMC, no que concerne em auxiliar a sua verificação e na precisão dos resultados, pela utilização de invariantes de programas. As abordagens propostas, quando utilizadas isoladamente, fornecem alternativas complementares a verificação e, interligadas, aprimoram a verificação de código. Os resultados experimentais dos métodos propostos demonstram ser eficientes sobre benchmarks públicos de programas em C, encontrando defeitos não anteriormente encontrados por outros métodos que são estado-da-arte.
329

Hometetia e semelhança de triângulos: uma proposta de ensino utilizando materiais concretos e manipuláveis

Soares Filho, Edson 20 October 2014 (has links)
Submitted by Lúcia Brandão (lucia.elaine@live.com) on 2015-12-14T18:24:20Z No. of bitstreams: 1 Dissertação - Edson Soares Filho.pdf: 12284215 bytes, checksum: 42b9125b8cb8523f3af5e1eba0dcf752 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-01-20T18:22:55Z (GMT) No. of bitstreams: 1 Dissertação - Edson Soares Filho.pdf: 12284215 bytes, checksum: 42b9125b8cb8523f3af5e1eba0dcf752 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-01-20T18:25:21Z (GMT) No. of bitstreams: 1 Dissertação - Edson Soares Filho.pdf: 12284215 bytes, checksum: 42b9125b8cb8523f3af5e1eba0dcf752 (MD5) / Made available in DSpace on 2016-01-20T18:25:21Z (GMT). No. of bitstreams: 1 Dissertação - Edson Soares Filho.pdf: 12284215 bytes, checksum: 42b9125b8cb8523f3af5e1eba0dcf752 (MD5) Previous issue date: 2014-10-20 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work was motivated by our concern as a teacher-educator, for the dif fi culties faced by students from the ninth grade of elementary school in understanding the concept of similar triangles, as well as their application in problem situations encountered in daily life. As theoretical background, we turn to the history of geometry, the theorists who have studied the difficulties in the process of teaching and learning of mathematics, the pedagogical guidelines of the National Curriculum Parameters and a study of Geometric Transformations that preserve distances (isometries) and those without preserve the distances, but preserve angles (homotheties). The methodology used was action research, which is born of the need for rapprochement between theory and practice and is characterized by intervention in the process. This research was conducted in two groups of a state school, which has revealed some factors that affect the construction of the concept of similarity of triangles. To validate our hypotheses, we have developed two different models deliver the same content: One of them introducing the concept of Dilation and the other only the similarity of triangles, along with team and individual activities. One hypothesis is associated with teaching practice, which depends on the scienti fi c knowledge, knowledge of teachers and teaching resources used. As didactic intervention, we suggest some activities with concrete, manipulative materials that contribute to the construction of the concept of similarity of triangles. / Este trabalho foi motivado pela nossa inquietação como professor-educador, quanto às dificuldades enfrentadas pelos alunos do nono ano do Ensino Fundamental na compreensão do conceito de semelhança de triângulos, bem como à sua aplicação em situações-problema encontradas no cotidiano. Como fundamentação teórica, recorremos à História da Geometria, aos teóricos que estudaram as dificuldades no processo de ensino-aprendizagem da matemática, as orientações pedagógicas dos Parâmetros Curriculares Nacionais e um estudo das Transformações Geométricas, que preservam as distâncias (isometrias) e as que não preservam as distâncias, mas preservam os ângulos (homotetias). A metodologia utilizada foi a pesquisa-ação, que nasce da necessidade de aproximação entre a teoria e a prática e se caracteriza pela intervenção no decorrer do processo. Esta pesquisa foi realizada em duas turmas de uma Escola Estadual, que nos revelou alguns fatores que interferem na construção do conceito de semelhança de triângulos. Para validar nossas hipóteses, desenvolvemos dois modelos diferentes de ministrar o mesmo conteúdo: Um deles introduzindo o conceito de Homotetia e o outro apenas o de semelhança de triângulos, acompanhado de atividades em equipe e individual. Uma das hipóteses está associada à prática docente, que depende dos saberes científicos, dos saberes docentes e dos recursos didáticos utilizados. Como intervenção didática, sugerimos algumas atividades com materiais concretos e manipuláveis que contribuem para a construção do conceito de semelhança de triângulos.
330

Regimes e transformações cosmológicas da pajelança Sateré-Mawé

Souza, Kalinda Félix de 20 September 2011 (has links)
The dissertation aims on an ethnographic analysis "Schemes and Transformations of shamanism Cosmological Sateré-Mawé." The survey was designed from a consideration of changes in ways of doing the healing, as evidenced in the practices of shamans and members of indigenous communities Sateré-Mawe. Speakers from the Tupi language trunk, according to Curt Nimuendaju (1948) to tongue-Sateré Mawé since the eighteenth century has incorporated many words of general language. The survey was conducted between the years 2009 and 2010 in Manaus in the villages Y'apyrehyt (third glove of Tucandeira) and Waikiru (star) located in the neighborhood of redemption, together Santos Dumont, in the villages Tarumã Acu-Hiwy (Hawk) and Inhaã-Beé (rattle knee) and in the town of Iranduba / Am in the village, Sahu-Apé (armadillo shell) located in Estrada Manoel Urbano, 37 km. We identified a total of 42 families in the villages Sateré-Mawé covered. The most economically dependent on the sale and production of handicrafts, which involves adults, youth, children of both sexes. The Sateré-Mawé are known as the "sons of the Guaraná" because their ancestors were domesticated Cupana sorbilis - Guaraná (Waranã in the mother tongue). In field research we found several specialists as shamans, blesser (s), sorcerers, these departing partners' own names and indicate the constant presence of "shamanism" among Sateré-Mawé, even without the presence of these experts. Assuming the cosmology we find the origin of this science, for example, knowledge of medicinal plants to cure and prevent disease, "prayers," obedience to certain rules of social behavior. According to the Sateré- Mawé may arise among them one (a) shaman, who through dreams can predict the future and tragedies in the village, this approach is the "spirit healers", who teach through dreams, cures for diseases, and notify you of certain events that could endanger the life in the village. Therefore we can say preliminarily that what determines the action of shamanism is a system of healing which interweaves rules, behaviors, norms to be followed. The "cure," "bewitch," "blessed," are full of intentions that power involves contact with the immaterial beings "invisible", "spirits" and with humans. The practice of shamanism are part of the world's indigenous and non indigenous peoples that is somehow inserted into the cosmology that is changing everyday practices. The reasons for seeking healing through participatory shows that the system seeks the establishment of healing and balance of health, the main purpose Sateré-Mawé and non-Indians. / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / A dissertação objetiva uma análise etnográfica sobre os Regimes e Transformações Cosmológicas da Pajelança Sateré-Mawé . A pesquisa foi pensada a partir de uma reflexão sobre as mudanças nos modos de proceder a cura, evidenciada nas práticas dos pajés e membros das comunidades indígenas Sateré-Mawé. Falantes do tronco lingüístico Tupi, segundo Curt Nimuendaju (1948) a língua Sateré-Mawé desde o século XVIII vem incorporando numerosas palavras da língua geral. A pesquisa foi realizada entre os anos de 2009 e 2010 em Manaus nas aldeias Y apyrehyt (terceira luva da Tucandeira) e Waikiru (estrela) localizadas no bairro da Redenção, conjunto Santos Dumont, no Tarumã-Açu nas aldeias Hiwy (Gavião) e Inhaã-beé (chocalho do joelho) e, no município de Iranduba/Am na aldeia Sahu-Apé (casco de tatu) localizada na Estrada Manoel Urbano, Km 37. Identificou-se um total de 42 famílias Sateré-Mawé nas aldeias percorridas. A maioria depende economicamente da venda e produção do artesanato, o qual envolve adultos, jovens, crianças de ambos os sexos. Os Sateré-Mawé são conhecidos como os filhos do guaraná , devido seus ancestrais terem domesticado a Cupana sorbilis guaraná (waranã na língua materna). Na pesquisa de campo encontramos vários especialistas como pajés, benzedores(as), feiticeiros, essas denominações partem dos próprios interlocutores e indicam a constante presença de pajelança entre os Sateré-Mawé, mesmo sem a presença desses especialistas. Partindo do principio da cosmologia encontramos a origem dessa ciência, como por exemplo, o conhecimento de plantas medicinais para curar e prevenir doenças, as rezas , a obediência a certas regras de comportamento social. Segundo os Sateré-Mawé poderá surgir entre eles um(a) pajé, que através de sonhos consegue prever o futuro e tragédias na aldeia, isto ocorre pela aproximação de espíritos curandeiros , que ensinam através de sonhos, as curas para doenças, e avisam de certos acontecimentos que poderiam vir a prejudicar a vida na aldeia. Portanto, podemos dizer preliminarmente que o que determina a ação de pajelança é um regime de cura, que entrelaça regras, comportamentos, normas a serem seguidas. O curar , enfeitiçar , benzer , estão repletos de intenções em que o poder envolve o contato com seres imateriais invisíveis , espíritos , e com os humanos. As práticas de pajelança fazem parte do mundo do indígena e não indígena que de alguma forma está inserido na cosmologia que vem se transformando nas práticas cotidianas. As razões para buscar a cura por meio participativo demonstra que o regime de cura procura o estabelecimento e equilíbrio da saúde, propósito principal dos Sateré-Mawé e não índios.

Page generated in 0.063 seconds