Made available in DSpace on 2015-04-14T13:09:17Z (GMT). No. of bitstreams: 1 424184.pdf: 1198251 bytes, checksum: 5d2facf89d08e6d64c8ae6c201a342f7 (MD5) Previous issue date: 2010-02-22 / Desde 2003 o uso de um marcador molecular para identifica??o de esp?cies surgiu como uma solu??o plaus?vel para uma grande variedade de pesquisas da biodiversidade. Na literatura, o n?mero que trabalhos que conseguiu observar padr?es de diversidade desconhecidos aumenta cada vez mais. O presente estudo prop?e a utiliza??o de uma abordagem molecular para a identifica??o de esp?cies de roedores encontradas no trato digestivo de quatro esp?cies de gatos selvagens neotropicais (Leopardus tigrinus, L. geoffroyi, L. wiedi? e Puma yogouaroundil, e realizar uma compara??o entre os h?bitos alimentares de L. tigrinus e L. geoffroyi. Fomos capazes de identificar 59o/o das nossas amostras em n?vel de esp?cie, e separar os itens n?o identificados em agrupamentos, atrav?s de uma an?lise de dist?ncia, que tornou poss?vel evidenciar a diversidade de esp?cies amostradas, mesmo sem uma identifica??o taxon?mica precisa. Os t?xons identificados foram Cavia mogna, Mus musculus, Sooretamys angouya, Oligoryzomys nigripes, Rottus rattus, Oxymycterus quaestor, Oxymycterus sp., Akodon paranaensis e Akodon azoroe. Al?m disso, cinco outros agrupamentos foram identificados, n?o correspondendo a qualquer das esp?cies amostradas. Estes grupos provavelmente correspondem a t?xons de n?vel espec?fico, possivelmente n?o descritos ou n?o reconhecidos como ocorrentes na regi?o investigada. Este resultado salienta o potencial da aplica??o desta t?cnica ao conte?do da dieta de predadores para inventariar a diversidade de suas presas, inclusive com a possibilidade de descoberta de formas ainda desconhecidas. A an?lise ecol?gica comparativa de L. tigr?nus e L. geoffroyi evidenciou um forte padr?o de especializa??o da dieta para ambas as esp?cies e uma fraca sobreposi??o de nicho entre elas. Tendo em vista que a identifica??o detalhada de presas destas esp?cies tem se mostrado historicamente muito dif?cil, com base em m?todos tradicionais, os resultados aqui obtidos ilustram a utilidade deste m?todo para que se possa efetuar uma compara??o aprofundada da dieta destes predadores, viabilizando uma melhor compreens?o de sua interface ecol?gica em ?reas de simpatria no sul do Brasil.

Made available in DSpace on 2015-04-14T13:09:34Z (GMT). No. of bitstreams: 1 438924.pdf: 1388538 bytes, checksum: afb7ca8f25e199e05b398d5b916bb622 (MD5) Previous issue date: 2012-03-26 / The pampas cat, Leopardus colocolo, is a little-known species of Neotropical felid that has a broad geographic distribution in South America, and is strongly associated with grasslands. The presence of phenotypic differences among geographic populations of this species has raised questions about the demographic history and taxonomy of this felid. More recently, initial phylogeographic studies showed that this species indeed possesses a strong genetic structure, but were mostly restricted to Andean samples, so that much of its distribution was not analyzed in detail. Furthermore, the recent discovery of evidence of hybridization between L. colocolo and another Neotropical felid (L. tigrinus) in central and northeastern Brazil, added an even greater complexity to the evolutionary history of this species, and emphasized the need for more detailed studies on its phylogeographic patterns and historical demography. Previous studies have indicated that this hybridization event is relatively old, and is currently detected only as an introgression of L. colocolo mitochondrial DNA (mtDNA) into L. tigrinus populations, without any trace so far identified in the nuclear genome. Therefore, the aim of this study was to analyze four mitochondrial segments in L. colocolo individuals sampled broadly across their geographic distribution, along with samples of L. tigrinus hybrids from central and northeastern Brazil. The analysis of 2,141 base pairs of the mtDNA control region and ATP8, ND5 and Cyt-b genes revealed a strong population structure in L. colocolo, with high haplotype and nucleotide diversity in comparison with others Neotropical cats. Haplotypes from Chile, Bolivia and Argentina were positioned as the most basal in the phylogeographic structure of L. colocolo, while samples from Brazil and Uruguay formed recent, internal groups, suggesting a west-to-east colonization for this species. Demographic analyses indicated the occurrence of two episodes of population expansion, an earlier one (ca. 200,000 years ago) in the west, and another ca. 50,000 years ago in the east. The latter coincides with paleoclimatic and paleogeographic studies that indicated an expansion of grasslands in Brazil and consequent loss of forests. The joint analysis with the L. tigrinus hybrid samples revealed a complex history of hybridization. We found no haplotype sharing between L. colocolo and L. tigrinus hybrids, supporting the hypothesis that this hybridization event is quite old. Moreover, the analysis of population structure revealed that the pampas cat populations from southern Brazil and Uruguay are phylogenetically closer to L. tigrinus hybrid haplotypes than to the extant lineages of L. colocolo from central and northeastern Brazil. The most plausible interpretation to this unusual pattern is that ancestral L. colocolo haplotype lineages from central Brazil have only been sampled in present-day hybrids, and may be extinct in their original species. The observed pattern also indicates that southern Brazil and Uruguay were colonized by L. colocolo from central Brazil, with no immediate connection to nearby populations still present in Argentina. This has direct consequences for the conservation of this group, which is geographically isolated and appears to evolve without gene flow (at least mitochondrial) with nearby populations. If this result is confirmed with nuclear markers, it will emphasize the immediate prioritization of these populations for conservation and management. From an evolutionary standpoint, our results showed the importance of analyzing L. colocolo populations from eastern South America, as well as the inclusion of L. tigrinus hybrids, because an essential portion of the pampas cat mitochondrial history seems to be currently recorded only by these introgressed haplotypes. / Leopardus colocolo (popularmente conhecido como gato-palheiro) ? uma esp?cie pouco conhecida de fel?deo neotropical que possui uma ampla distribui??o geogr?fica na Am?rica do Sul, sendo fortemente associada a habitats com vegeta??o aberta. A presen?a de diferen?as fenot?picas entre popula??es geogr?ficas desta esp?cie levantou quest?es quanto ? taxonomia e a hist?ria demogr?fica deste t?xon. Posteriormente, estudos filogeogr?ficos iniciais indicaram que a esp?cie apresenta realmente uma forte estrutura gen?tica, mas ficaram predominantemente restritos a amostras de regi?es andinas, de forma que grande parte da distribui??o deste fel?deo n?o foi analisada detalhadamente. Al?m disso, a recente descoberta de evid?ncias de hibrida??o entre L. colocolo e outra esp?cie de fel?deo neotropical, Leopardus tigrinus, nas regi?es centro-oeste e nordeste do Brasil, revelou uma complexidade ainda maior de sua hist?ria evolutiva, e enfatizou a necessidade de estudos mais detalhados acerca de seus padr?es filogeogr?ficos e demografia hist?rica. Estudos pr?vios revelaram que este evento de hibrida??o ? relativamente antigo, sendo atualmente detectado apenas como uma introgress?o de DNA mitocondrial (mtDNA) de L. colocolo em popula??es de L. tigrinus, sem qualquer vest?gio at? o momento identificado no genoma nuclear. Assim sendo, o objetivo deste trabalho foi analisar quatro segmentos mitocondriais de indiv?duos de L. colocolo amostrados amplamente em sua distribui??o geogr?fica, em conjunto com amostras de L. tigrinus h?bridos provenientes das regi?es centro-oeste e nordeste do Brasil. A an?lise de 2141 pares de bases da regi?o controle e dos genes ATP8, ND5 e Cit-b do DNA mitocondrial indicou uma forte estrutura??o populacional em L. colocolo, com altas diversidades haplot?pica e nucleot?dica em compara??o com outros fel?deos neotropicais. Os hapl?tipos chilenos, bolivianos e argentinos foram posicionados como os mais basais na estrutura filogeogr?fica de L. colocolo, enquanto as amostras brasileiras e uruguaias formaram grupos mais recentes, sugerindo uma coloniza??o oeste leste das linhagens desta esp?cie. An?lises demogr?ficas indicaram uma expans?o populacional h? aproximadamente 50 mil anos, o que coincide com estudos paleoclim?ticos e paleogeogr?ficos que indicam uma expans?o das vegeta??es do tipo savana no Brasil e consequente diminui??o das florestas. As an?lises em conjunto com as amostras de L. tigrinus h?bridos revelaram uma hist?ria complexa de hibrida??o. N?o encontramos compartilhamento de hapl?tipos entre L. colocolo e L. tigrinus h?bridos quando os segmentos mitocondriais foram analisados em conjunto (concatenados), apoiando a hip?tese de que este evento de hibrida??o seja bastante antigo. Al?m disto, a an?lise da estrutura populacional revelou que as popula??es do gato-palheiro oriundas do sul do Brasil e do Uruguai s?o mais pr?ximas a amostras de L. tigrinus h?bridos do que a linhagens atuais de L. colocolo do centro-oeste e do nordeste brasileiro. Este fato, al?m de surpreendente do ponto de vista evolutivo, tem consequ?ncias diretas para a conserva??o destes grupos do sul, os quais se encontram isolados geograficamente e parecem evoluir sem fluxo g?nico (ao menos mitocondrial) com popula??es pr?ximas. Caso este resultado seja confirmado com marcadores nucleares, isto enfatizaria a prioriza??o imediata destas popula??es para fins de manejo e conserva??o. Do ponto de vista evolutivo, este trabalho evidenciou a import?ncia de analisar as popula??es de L. colocolo do leste da Am?rica do Sul em conjunto com as amostras de h?bridos de L. tigrinus, visto que uma parte essencial da hist?ria mitocondrial do gato-palheiro parece estar sendo retratada apenas pela inclus?o de amostras desta outra esp?cie.

Made available in DSpace on 2015-04-14T13:22:01Z (GMT). No. of bitstreams: 1 437299.pdf: 917619 bytes, checksum: 530ee17890bb7c0d89ece85394e6283f (MD5) Previous issue date: 2012-01-11 / The theme discussed in this paper emerged from a desire to deepen the knowledge about the psychological practices in the ambit of public health policies and the contemporary time. To this end, the study is presented in two complementary sections. The first uses the notions of space and time as basic categories of existence and human relationships to place psychological practices that want to be understood. Between the time of institutionalization and integration of public policy, between the performance space of the psychiatric hospital and the Center for Psychosocial Care (CAPS), psychology practice has focused on the pursuit of a fixed place that legitimizes it. In this sense, practices are focused on the bio-medical model and the logical productivity seems to contribute to the persistence of the traditional perspective of attention. Thus, the reformulation of the notion of space as "between" two fixed locations indicates the importance of professional psychologists who take the non-place that allows the flow of life's desire. The second section, in turn, carries the reflections developed in the first section to perform a research in the field. Data was collected from participation in different discussion forums on mental health, from notes in field diaries, from documents of public domain and narrative interviews with CAPS professionals. From a qualitative approach, the interviews were analyzed based on the proposal of Sch?tze presented by Bauer and Jovchelovitch (2002). The results of the chosen trajectory confirmed the already stated in literature, but also amazed because of the tension between progress and deviations that the consolidation of public mental health policy still finds as obstacles in their path. Given this, it points out the importance of continuing to support studies of psychological practices which can be developed between the experiential and geographic territories. / O presente trabalho surgiu do desejo em aprofundar o conhecimento a respeito das pr?ticas psicol?gicas no espa?o das pol?ticas p?blicas de sa?de e no tempo da contemporaneidade. Para tanto, o estudo ? apresentado em duas se??es complementares. A primeira utiliza as no??es de tempo e espa?o entendidas como categorias b?sicas da exist?ncia e das rela??es humanas para situar as pr?ticas psicol?gicas que se pretende compreender. Entre o tempo da institucionaliza??o e o da inser??o nas pol?ticas p?blicas, entre o espa?o de atua??o do hospital psiqui?trico e o do Centro de Aten??o Psicossocial (CAPS), a psicologia apresenta pr?ticas voltadas para a busca de um lugar fixo que a legitime. Nesse sentido, pr?ticas centradas no modelo biom?dico e na l?gica produtivista parecem contribuir para a persist?ncia da perspectiva tradicional de aten??o. Diante disso, a reformula??o da no??o de espa?o, como entre dois lugares fixos, indica a import?ncia de os profissionais da psicologia assumirem o n?o-lugar que permite o fluir dos desejos da vida. A segunda se??o, por sua vez, transporta as reflex?es desenvolvidas na primeira para a realiza??o de uma pesquisa em campo. Os dados foram coletados atrav?s da participa??o em espa?os de discuss?o sobre sa?de mental, de anota??es em di?rio de campo, de documentos e de entrevistas narrativas com profissionais de CAPS. Partindo de uma abordagem qualitativa, as entrevistas foram analisadas com base na proposta de Sch?tze, apresentada por Bauer e Jovchelovitch (2002). Os resultados, por um lado, confirmam o exposto na literatura existente e, por outro, surpreendem pela tens?o entre desvios e avan?os que a consolida??o das pol?ticas p?blicas de sa?de mental encontra como obst?culos. Por fim, ? apontada a import?ncia da continuidade de estudos que sustentem pr?ticas psicol?gicas poss?veis de serem realizadas entre os territ?rios geogr?fico e vivencial.

Made available in DSpace on 2015-04-14T13:37:45Z (GMT). No. of bitstreams: 1 410666.pdf: 983288 bytes, checksum: e59a75bbc2e64f35967fabe644d62662 (MD5) Previous issue date: 2009-01-13 / Com o presente trabalho desejamos realizar um estudo de car?ter hist?rico-te?rico da problem?tica do Movimento-Wh em frases interrogativas, durante as diferentes fases evolutivas da Teoria da Gram?tica (TG), de 1957 at? a atualidade. Discutimos as tr?s fases principais da TG, a saber: a Gram?tica Gerativo-Transformacional, o Programa de Princ?pios e Par?metros e o Programa Minimalista. Consideramos que o Movimento-Wh Interrogativo nas l?nguas sempre constituiu um fen?meno merecedor de tratamento investigativo especial, exigindo descri??es e explica??es minuciosas. Tais exig?ncias acabaram por provocar, mesmo que indiretamente, altera??es no arcabou?o te?rico da TG, impulsionando os importantes processos evolutivos pelos quais a teoria passou ao longo das d?cadas. Procuramos desenhar um panorama hist?rico-te?rico das fases da TG em rela??o ?s solu??es encontradas por cada uma delas para descrever e explicar tal fen?meno ling??stico. Ilustramos a ocorr?ncia do Movimento-Wh com exemplos em diversas l?nguas, especialmente em portugu?s brasileiro e ingl?s. A partir da compila??o realizada, acreditamos ter condi??es de compreender a evolu??o da TG na tentativa constante de melhor explicar e descrever o Movimento-Wh, destacando os detalhamentos e aspectos relevantes concernentes a tal fen?meno sint?tico presente nas mais diversas l?nguas

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-06-06T18:06:16Z No. of bitstreams: 1 TES_FELIPE_SZYSZKA_KARASEK_COMPLETO.pdf: 1441847 bytes, checksum: b3a78df6bb528cb94266651a77cb66b1 (MD5) / Made available in DSpace on 2016-06-06T18:06:16Z (GMT). No. of bitstreams: 1 TES_FELIPE_SZYSZKA_KARASEK_COMPLETO.pdf: 1441847 bytes, checksum: b3a78df6bb528cb94266651a77cb66b1 (MD5) Previous issue date: 2016-03-21 / This doctoral dissertation addresses the analysis of the contemporary debate that puts forward the relation between Friedrich Nietzsche?s thought and philosophical naturalism. From this analysis, I argue that Nietzsche's thought cannot be related, prima facie, to any preconceived type of naturalist proposal. To achieve this goal, I analyze the following arguments: (i) the current debate about naturalism in Nietzsche tends to value a typology and wards off the meaning of philosophy proposed by him; (ii) it is not possible to relate Nietzsche's thought to any kind of preconceived concept of naturalism, though one can find naturalistic perspectives in his philosophy; (iii) Nietzsche can only be considered a naturalistic philosopher insofar as his philosophy is to represent a new approach away from the naturalistic categories that can be found in contemporary philosophy; (iv) his naturalistic perspectives are related to a notion of nature remote from the concept of nature proposed by contemporary naturalism; (v) the problem of morality in Nietzsche is related to his project of a transvaluation of values which is upheld by his notion of nature; (vi) the problem of morality in Nietzsche intends to seize the tragic element in its constitution. / O objetivo deste estudo ? analisar o debate contempor?neo que prop?e a rela??o do pensamento de Friedrich Nietzsche com o naturalismo filos?fico. A partir dessa an?lise, procuro demonstrar que o pensamento de Nietzsche n?o pode ser relacionado com nenhum tipo de proposta naturalista fechada. Para atingir esse objetivo, analiso os seguintes argumentos: (i) o debate atual a respeito do naturalismo em Nietzsche tende a valorizar uma tipologia e se afasta do significado de filosofia proposto por ele; (ii) n?o ? poss?vel relacionar o pensamento de Nietzsche a um tipo de naturalismo fechado, mas ? poss?vel encontrar perspectivas naturalistas em sua filosofia; (iii) Nietzsche s? pode ser considerado um fil?sofo naturalista se a sua filosofia representar um novo tipo de abordagem, diferente das categorias naturalistas que existem na filosofia contempor?nea; (iv) suas perspectivas naturalistas est?o relacionadas com uma no??o de natureza distante do conceito de natureza proposto pelo naturalismo contempor?neo; (v) o problema da moral em Nietzsche est? conectado com o seu projeto de transvalora??o dos valores, o qual est? sustentado pela sua no??o de natureza; (vi) o problema da moral em Nietzsche pretende apreender o elemento tr?gico em sua constitui??o.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-07-11T20:27:23Z No. of bitstreams: 1 DIS_OLGA_NANCY_PENA_CORTES_COMPLETO.pdf: 805709 bytes, checksum: 0616c13e591b80c819158de1cd1ff103 (MD5) / Made available in DSpace on 2016-07-11T20:27:23Z (GMT). No. of bitstreams: 1 DIS_OLGA_NANCY_PENA_CORTES_COMPLETO.pdf: 805709 bytes, checksum: 0616c13e591b80c819158de1cd1ff103 (MD5) Previous issue date: 2016-03-02 / The starting point of French philosopher and sociologist Pierre Bourdieu?s theoretical construct are inequalities in social reality. In seeking to understand social reality and the individual's position in it, the author develops a theory aimed at overcoming the dichotomy between the subjectivist and objectivist theories of his time. Taking relational thinking as a guide to the theory identified as structuralist constructivism or constructivist structuralism, the author proposes to highlight from empirical research the practical sense in the actions of social agents. This proposal results in a practice theory or praxeology, in which practice is the driver of positions, dispositions and position-taking by social agents. Thus, the concepts of habitus, field and capital are developed to provide an overview of the social environment from the notion of social space. On these grounds, the aim of this dissertation is to demonstrate the interrelationship between the triad of concepts: habitus, field and capital. In order to achieve this goal, it proposes an initial contextualization of the Bourdieusian thought in space-time, followed by an independent presentation of each concept, and finally a survey of the points which help demonstrate the interrelations between the triad of Bourdieusian concepts. / O ponto de partida do constructo te?rico do fil?sofo e soci?logo franc?s Pierre Bourdieu s?o as desigualdades existentes na realidade social. Na busca pela compreens?o da realidade social e a posi??o do indiv?duo perante a mesma, o autor elabora uma teoria a qual visa ? supera??o da dicotomia das teorias subjetivistas e objetivistas presentes em sua ?poca. Assimilando o pensamento relacional como fio condutor da teoria identificada como construtivismo estruturalista ou estruturalismo construtivista, o autor prop?e relevar das pesquisas emp?ricas o senso pr?tico das a??es dos agentes sociais. Tal proposta apresenta uma teoria da pr?tica ou praxiologia, na qual a pr?tica ? considerada o motor propulsor das posi??es, disposi??es e tomadas de posi??o do agente social. Com isso as no??es de habitus, campo e capital s?o elaboradas oportunizando uma vis?o global do meio social a partir da no??o de espa?o social. A partir disso, a proposta desta pesquisa dissertativa possui como objetivo demonstrar a inter-rela??o da tr?ade de no??es: habitus, campo e capital. No intuito de alcan?ar esse objetivo, inicialmente se prop?e a contextualiza??o do espa?o-tempo do pensamento bourdieusiano, seguido da apresenta??o isolada de cada no??o para finalizar com o levantamento dos pontos que auxiliam a demonstra??o da inter-rela??o da tr?ade das no??es bourdieusianas.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-07-26T14:20:24Z No. of bitstreams: 1 DIS_RAMON_FRAGA_PEREIRA_COMPLETO.pdf: 1672915 bytes, checksum: 3cf47a5c224b3f99a343aab57bf00bf3 (MD5) / Made available in DSpace on 2016-07-26T14:20:24Z (GMT). No. of bitstreams: 1 DIS_RAMON_FRAGA_PEREIRA_COMPLETO.pdf: 1672915 bytes, checksum: 3cf47a5c224b3f99a343aab57bf00bf3 (MD5) Previous issue date: 2016-03-15 / Recognition of goals and plans using incomplete evidence from action execution can be done efficiently by using automated planning techniques. In many applications it is important to recognize goals and plans not only accurately, but also quickly. In order to address this challenge, we develop recognition approaches based on planning techniques that rely on planning landmarks to filter candidate goals and plans from observations. In automated planning, landmarks are properties or actions that cannot be avoided to achieve a goal. We address the task of recognizing goals and plans without pre-defined static plan libraries, and instead we use a planning domain definition to represent the problem and the expected agent behavior. In this work, we show the applicability of planning techniques for recognition tasks in three settings: first, we use planning landmarks to develop a heuristic-based plan recognition approach; second, we refine an existing planningbased plan recognition approach; and finally, we use planning techniques to develop an approach for detecting plan abandonment. The plan abandonment detection approach we develop aims to analyze a sequence of observations and a monitored goal to determine if an observed agent is still pursuing, or has no intention to complete such monitored goal. These recognition approaches are evaluated in experiments over several planning domains. We show that our plan recognition approach yields not only accuracy comparable to other state-of-the-art techniques, but also substantially lower recognition time over such techniques. Furthermore, our plan abandonment detection approach yields high accuracy at low computational cost to detect which actions do not contribute for achieving a particular monitored goal. / T?cnicas de planejamento autom?tico s?o eficientes no reconhecimento de objetivos e planos a partir da execu??o de a??es e evid?ncias incompletas. Para muitas aplica??es ? importante reconhecer objetivos e planos n?o somente acuradamente, mas tamb?m de maneira r?pida e precisa. Assim, para lidar com esse desafio, desenvolvemos uma abordagem a qual utiliza uma heur?stica baseada em t?cnicas de planejamento autom?tico, guiando-se por pontos-de-refer?ncia, que filtra poss?veis objetivos e planos a partir de observa??es. Em planejamento autom?tico, pontosde- refer?ncia s?o propriedades (ou a??es), em que todo o plano precisa alcan?ar (ou executar), em alguma determinada parte da execu??o do plano a fim de atingir um objetivo estipulado. Neste trabalho, formalizamos a tarefa de reconhecimento de objetivos e planos sem a utiliza??o de biblioteca de planos, ou seja, utilizamos uma defini??o de dom?nio para planejamento autom?tico. Sendo assim, estabelecemos o problema e o comportamento do agente a ser observado (a??es e objetivos) utilizando uma linguagem de planejamento autom?tico. A partir disso, mostramos a aplicabilidade da nossa abordagem baseada em t?cnicas de planejamento de tr?s formas: (1) desenvolvendo uma heur?stica baseada em pontos-de-referencia para reconhecer objetivos e planos; (2) refinando uma abordagem existente para reconhecimento de planos; e for fim, (3) desenvolvendo uma abordagem para reconhecer abandono de planos. A abordagem para reconhecimento de abandono de planos desenvolvida tem como objetivo analisar uma seq??ncia de observa??es (a??es), afim de detectar quais n?o contribuem para alcan?ar o objetivo o qual est? sendo monitorado. Para fins de avalia??o e experimenta??o, utilizou-se v?rios dom?nios de planejamento autom?tico, e com isso, foi poss?vel mostrar que nossa abordagem para reconhecimento de planos comporta-se acuradamente e rapidamente quando comparada com o estado-da-arte. Ainda, demonstramos que a nossa abordagem para detectar abandono de planos comporta-se com precis?o e com baixo custo computacional, detectando precisamente a??es que n?o contribuem para alcan?ar um determinado objetivo monitorado.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-08-04T16:39:32Z No. of bitstreams: 1 TES_ODORICO_MACHADO_MENDIZABAL_COMPLETO.pdf: 1253774 bytes, checksum: 8ab2360ff12ca83b15b415cba7eda7de (MD5) / Made available in DSpace on 2016-08-04T16:39:32Z (GMT). No. of bitstreams: 1 TES_ODORICO_MACHADO_MENDIZABAL_COMPLETO.pdf: 1253774 bytes, checksum: 8ab2360ff12ca83b15b415cba7eda7de (MD5) Previous issue date: 2016-05-16 / A well-established technique used to design fault-tolerant systems is state machine replication. In part, this is explained by the simplicity of the approach and its strong consistency guarantees. The traditional state machine replication model builds on the sequential execution of requests to ensure consistency among the replicas. Sequentiality of execution, however, threatens the scalability of replicas. Recently, some proposals have suggested parallelizing the execution of replicas to achieve higher performance. Despite the success of parallel state machine replication in accomplishing high performance, the implication of such models on the recovery is mostly left unaddressed. Even for the traditional state machine replication approach, relatively few studies have considered the issues involved in recovering faulty replicas. The motivation of this thesis is clarifying the challenges and performance implications involved in checkpointing and recovery for parallel state machine replication. The thesis also aims to advance the state-of-the-art by proposing novel algorithms for checkpointing and recovery in the context of parallel state machine replication. Performing checkpoints efficiently in such parallel models is more challenging than in classic state machine replication because the checkpoint operation must account for the execution of concurrent commands. In this thesis, we review checkpointing techniques for parallel approaches to state machine replication and compare their impact on performance through simulation. Furthermore, we propose two checkpoint techniques for one of these parallel models. Recovering a replica requires (a) retrieving and installing an up-to-date replica checkpoint, and (b) restoring and re-executing the log of commands not reflected in the checkpoint. Parallel state machine replication render recovery particularly challenging since throughput under normal execution (i.e., in the absence of failures) is very high. Consequently, the log of commands that need to be applied until the replica is available is typically large, which delays the recovery. We present two novel techniques to optimize recovery in parallel state machine replication. The first technique allows new commands to execute concurrently with the execution of logged commands, before replicas are completely updated. The second technique introduces ondemand state recovery, which allows segments of a checkpoint to be recovered concurrently. We experimentally assess the performance of our recovery techniques using a full-fledged parallel state machine replication prototype and compare the performance of these techniques to traditional recovery mechanisms under different scenarios. / A replica??o m?quina de estados ? uma t?cnica bem estabelecida para desenvolvimento de sistemas tolerantes a faltas. Em parte, isso ? explicado pela simplicidade da abordagem e sua garantia de consist?ncia forte. O modelo de replica??o m?quina de estados tradicional baseia-se na execu??o sequencial de requisi??es para garantir consist?ncia forte entre as r?plicas. A sequencialidade da execu??o, no entanto, compromete a escalabilidade. Recentemente, algumas propostas sugeriram paralelizar a execu??o de algumas requisi??es visando um aumento na vaz?o. Apesar do sucesso da replica??o m?quina de estados paralela em obter alto desempenho, as implica??es deste modelo em procedimentos de recupera??o s?o desprezadas. Mesmo para a abordagem de replica??o m?quina de estados tradicional, poucos estudos t?m considerado as quest?es envolvidas na recupera??o de r?plicas defeituosas. A motiva??o desta tese ? elucidar os desafios e implica??es no desempenho decorrentes de mecanismos de pontos de verifica??o e recupera??o em replica??o m?quina de estados paralela. A tese tamb?m avan?a no estado-da-arte, propondo novos algoritmos para pontos de verifica??o e recupera??o no contexto de replica??o m?quina de estados paralela. Criar pontos de verifica??o de forma eficiente em tais modelos ? mais desafiador do que na replica??o m?quina de estados cl?ssica porque deve-se considerar a execu??o concorrente de comandos. Nesta tese, n?s revisitamos as t?cnicas para pontos de verifica??o em abordagens paralelas de replica??o m?quina de estados e comparamos o impacto destas no desempenho atrav?s de simula??o. Al?m disso, n?s propomos duas t?cnicas de ponto de verifica??o para um destes modelos paralelos. Recuperar uma r?plica requer: (a) obter e instalar o estado de um ponto de verifica??o de uma r?plica atualizada, e (b) recuperar e re-executar os comandos n?o refletidos no ponto de verifica??o. T?cnicas paralelas para replica??o m?quina de estado tornam a recupera??o de r?plicas particularmente dif?cil uma vez que a vaz?o de processamento durante a execu??o normal (isto ?, na aus?ncia de falhas) ? muito alta. Consequentemente, o registo de comandos que precisa ser re-executado ? tipicamente grande, o que atrasa a recupera??o. N?s apresentamos duas novas t?cnicas para otimizar a recupera??o em replica??o m?quina de estados paralela. A primeira t?cnica permite que novos comandos sejam executados em paralelo com a re-execu??o dos comandos n?o refletidos no ponto de verifica??o. Isto ocorre antes da r?plica estar completamente atualizada. A segunda t?cnica introduz recupera??o de estado sob-demanda, permitindo que segmentos de um ponto de verifica??o possam ser recuperados apenas quando necess?rios, ou ainda, concorrentemente. N?s avaliamos o desempenho de nossas t?cnicas de recupera??o usando um prot?tipo completo para replica??o m?quina de estados paralela e comparamos o desempenho destas t?cnicas com mecanismos tradicionais de recupera??o em diferentes cen?rios.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-08-18T11:19:43Z No. of bitstreams: 1 TES_ADRIANA_BREDA_COMPLETO.pdf: 5914098 bytes, checksum: c502ebf0f6f2ecc859119c32970c6a0a (MD5) / Made available in DSpace on 2016-08-18T11:19:43Z (GMT). No. of bitstreams: 1 TES_ADRIANA_BREDA_COMPLETO.pdf: 5914098 bytes, checksum: c502ebf0f6f2ecc859119c32970c6a0a (MD5) Previous issue date: 2016-03-28 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / Esta investigaci?ntiene como objetivo generalanalizar, por medio de los trabajos de fin de m?ster, el significado de la mejora de la ense?anza de las matem?ticas asignado por los profesores que realizar?n el M?ster Profesional en Matem?ticas en la Red Nacional. Paraello, se realiz? primero una revisi?n de la literatura sobre: i) la eficacia de los programas de desarrollo profesional docente y ii) las principales tendencias sobre la ense?anza de las matem?ticas, las cuales se presentan como una gu?a para la implementaci?n de procesos de ense?anza de matem?ticas de calidad. A continuaci?n, se realiz?un estudio sobrelas argumentacionesque dan los profesores en sus TFMpara justificar la calidad de sus propuestas did?cticas, utilizando para ello los criterios de idoneidad did?ctica propuestos por el Enfoque Ontosemi?tico de la Cognici?n y Instrucci?n Matem?tica (EOS) como marco te?rico. Para ello, fueron seleccionadas veintinuevememorias de trabajo de fin de m?ster, presentadasen el estado de Rio Grande del Sur y publicadasen los a?os 2013 y 2014. El an?lisis de los datos, de car?cter cualitativo, se desarroll? en dos etapas: en la primera, se clasificaron los veintinueve TFM seg?n el tipo de innovaci?n propuesto y la fase del proceso de instrucci?ncontemplada; en la segunda etapa, mediante un proceso de triangulaci?n de expertosen el usodel EOS, se analizaron las razones que los autores de los TFM utilizan para justificar la calidad de la innovaci?n que proponen. Este an?lisis consisti? b?sicamente en la selecci?n de evidencias que muestran el uso expl?cito o impl?cito de algunos de los componentes y los descriptores de los diferentes criterios de idoneidad did?ctica propuestos por el EOS. Los resultados muestran que los profesores tienen en cuenta, b?sicamente, tres tipos de innovaci?n: i) matem?tica, en la que se contempla la incorporaci?n de contenidos de nivel superior en la Educaci?n B?sica, o bien el estabelecimiento de conexiones intramatem?ticas o extramatem?ticas; ii) de recursos, que se caracteriza por la incorporaci?n de materiales visuales y manipulativos y la incorporaci?n de recursos inform?ticos; iii) en valores, d?ndese introduce el pensamiento cr?tico y la ciudadan?a. Con relaci?n a la fase del proceso de instrucci?n contemplada, trece de los TFM presentan la planificaci?n de una secuencia did?ctica, 11 realizan la implementaci?n, s?lo uno incluye el redise?o y cuatro no presentan ning?n proceso deinstrucci?n. Con relaci?n a los criterios de idoneidad utilizados por los autores para justificar que sus propuestas promueven una mejora en la ense?anza de las matem?ticas, se observ?, sobre todo, el uso de los criterios de idoneidad epist?mica y ecol?gica y, en menor medida, el criterios mediacional; sin embargo, otros criterios como el cognitivo, emocional e interaccional, o no fueron contemplados o bien se utilizaron con poca profundidad. Por ?ltimo hay que destacarque los profesores que implementaron su propuesta did?ctica en el aularealizan un an?lisis did?ctico m?s detallado en comparaci?n con los profesores que no lo hicieron ya que: i) manejan un mayor n?mero de criterios, ii) los componentes y descriptores de los criterios de idoneidad que utilizan, se infieren a partir de argumentaciones que muestran un alto nivel de reflexi?n y iii) se muestran preocupados por conseguir un equilibrio entre los diferentes criterios (epist?mico, cognitivo, mediacional, interaccional, emocional y ecol?gico). / Esta pesquisa tem como objetivo geral analisar, a partir do estudo dos trabalhos de conclus?o de curso, o significado de melhoria do ensino de matem?tica atribu?do pelos professores que cursaram o Mestrado Profissional em Matem?tica em Rede Nacional.Para isso, apresentou-se uma revis?o da literatura sobre: i) a efic?cia dos programas de desenvolvimento profissional docente e ii) as principais tend?ncias relacionadas ? Educa??o Matem?tica, as quais se apresentam como um guia para a implementa??o de processos de ensino de matem?tica de qualidade. Realizou-se, tamb?m, um estudo sobre os argumentos dados pelos professores para justificar a qualidade de suas propostas did?ticas, utilizando como marco te?rico, os crit?rios de idoneidade did?tica propostos pelo Enfoque Ontossemi?tico da Cogni??o e Instru??o Matem?tica (EOS). Metodologicamente foram selecionados vinte e nove trabalhos de conclus?o de curso apresentados no estado do Rio Grande do Sul e publicadas nos anos de 2013 e 2014. A an?lise dos dados, de cunho qualitativo, desenvolveu-se em duas etapas: na primeira, classificaram-se os vinte e nove TCC segundo o tipo de inova??o proposto e segundo a fase do processo de instru??o contemplada; na segunda etapa, por meio de um processo de triangula??o de investigadores que trabalham com o EOS, analisaram-se as raz?es que os autores dos TCC utilizam para justificar a qualidade da inova??o que prop?em. Tal an?lise consistiu basicamente na sele??o de evid?ncias que mostram o uso expl?cito ou impl?cito de alguns dos componentes e descritores dos diferentes crit?rios de idoneidade did?tica propostos por dito enfoque. Os resultados mostram que os professores t?m em conta, basicamente, tr?s tipos de inova??o: i) matem?tica, na qual se contempla ou a incorpora??o de conte?dos de n?vel superior na Educa??o B?sica, ou o estabelecimento de conex?es intramatem?ticas ou extramatem?ticas); (ii) inova??o em recursos, que se caracteriza pela incorpora??o de materiais visuais e manipulativos ou pela incorpora??o de recursos inform?ticos; (iii) em valores onde se introduz o pensamento cr?tico e a cidadania. Quanto ? fase do processo de instru??o contemplada, treze dos TCC apresentam o planejamento de uma sequ?ncia did?tica, onze realizam a implementa??o, apenas um incorpora o redesenho e quatro n?o apresentam processo de instru??o. Com rela??o aos crit?rios de idoneidade utilizados pelos autores para justificar que suas propostas promovem uma melhora no ensino de matem?tica, observou-se, sobre tudo, o uso dos crit?rios de idoneidade epist?mica e ecol?gica e, em menor medida, o crit?rio mediacional; contudo, outros crit?rios como o cognitivo, o emocional e o interacional, ou n?o foram contemplados ou foram utilizados com pouca profundidade. Por fim, destaca-se que os professores que implementaram sua proposta did?tica em sala de aula, realizam uma an?lise em did?tica mais detalhada comparado com os que n?o implementaram, visto que: i) manejam um maior n?mero de crit?rios, ii) aprofundam, de maneira significativa, o uso de componentes relacionados a determinado crit?rio e iii) mostram-se preocupados em conseguir um equil?brio entre os diferentes crit?rios (epist?mico, cognitivo, mediacional, interacional e ecol?gico).

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-09-01T14:25:59Z No. of bitstreams: 1 DIS_RODRIGO_BUENAVIDES_WESZ_COMPLETO.pdf: 3502910 bytes, checksum: a897a41f4e7e0bc84816f91694e717ca (MD5) / Made available in DSpace on 2016-09-01T14:25:59Z (GMT). No. of bitstreams: 1 DIS_RODRIGO_BUENAVIDES_WESZ_COMPLETO.pdf: 3502910 bytes, checksum: a897a41f4e7e0bc84816f91694e717ca (MD5) Previous issue date: 2015-03-11 / O desenvolvimento de programas para controle de rob?s m?veis n?o ? uma tarefa trivial. Isso motivou a cria??o de v?rios frameworks para facilitar essa tarefa. Para cada novo comportamento racional adicionado ao rob?, cresce o n?mero de eventos que o rob? tem de lidar, e desenvolver esses comportamentos racionais atrav?s do uso dos frameworks pode resultar em um c?digo com mais identificadores e grandes blocos de condicionais, dificultando a modulariza??o e reuso de c?digo. Este trabalho apresenta uma forma de programar comportamentos racionais para rob?s m?veis atrav?s do uso de uma linguagem de programa??o de agentes. Isto permite ao programador de rob?s o desenvolvimento de comportamentos racionais usando um n?vel de abstra??o mais alto e de forma modular, resultando em um desenvolvimento mais simples, e c?digos mais leg?veis, menores e reutiliz?veis. / Developing programs responsible for controlling mobile robots is not a trivial task. This led to the creation of several robot development frameworks to simplify this task. For each new rational behavior added to the robot, the number of events that the robot has to handle grows. Therefore, the development of the rational behaviors by using the frameworks may result in a source code which has more identifiers and large blocks of conditional statements, making difficult modularization and code reuse. This work presents a mechanism to program rational behaviors for mobile robots through the use of an agent programming language. This allows the robots programmer to develop rational behaviors using a higher level of abstraction in a modular fashion, resulting in simpler development and smaller, more readable and reusable code.