Made available in DSpace on 2016-03-15T19:48:29Z (GMT). No. of bitstreams: 1 Renato Rodrigues Borges.pdf: 1019593 bytes, checksum: eca56feb775ab91485080ad4498df567 (MD5) Previous issue date: 2014-02-24 / The objective of this paper is to reflect about the atheology proposed by Onfray, focusing mainly on the Traité d'Atheologie (2005) work, which proposes the foundations of his philosophical atheism. Still has the intention to identify and present the network of assumptions onfrayana postmodern atheology and describe the system of reference used by the atheist philosopher and french educator. Considering the overview of developments in atheistic ideas from modernity, the current work also seeks to present the contributions of onfrayana atheology with regard to its philosophical proposal. Thus, what is presented in this study is a critical approach than Michel Onfray calls atheology as well as analysis of the philosophical categories that underlie the postmodern atheism and its description in terms of the atheological treaty. / O objetivo deste trabalho é refletir a respeito da ateologia proposta por Onfray, tendo como foco principal a obra Traité d Atheologie (2005), na qual propõe as bases de seu ateísmo filosófico. Tem-se ainda a pretensão de identificar e apresentar a rede de pressupostos da ateologia pós-moderna onfrayana, bem como descrever o sistema de referência ateísta utilizado pelo filósofo e educador francês. Considerando o panorama da evolução das ideias ateístas desde a modernidade, o corrente trabalho também busca apresentar as contribuições da ateologia onfrayana no que se refere à sua proposta filosófica. Assim, o que se apresenta neste estudo é uma abordagem crítica do que Michel Onfray chama de ateologia, bem como a análise das categorias filosóficas que fundamentam o ateísmo pós-moderno e sua descrição no que tange à proposta do tratado ateológico.

Made available in DSpace on 2016-04-27T14:30:43Z (GMT). No. of bitstreams: 1 Monica dos Santos Mandaji.pdf: 3566058 bytes, checksum: 4fa0777859519f0249b64b8e89a12a15 (MD5) Previous issue date: 2011-05-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The current research is connected to the Post-Graduate Program in Education: Curriculum at Catholic University of Sao Paulo (PUC-SP) in the research group New Technologies in Education . This study proposes to analyse the development of the collaboration process in coauthoral works developed in learning management systems. The research aimed to contribute for the evolution of the mark which recognizes the importance of collaboration in processes of teaching and learning in learning management systems through the construction of categories and models for the analysis of collaborative practices. The theoretical concepts were established upon two themes of origin: the concept of collaboration itself, with references, among others, in Amoretti; Simon; Maturana and Varela; Fiorentini; Johnson and Jonhson; and the evolution of communication, the consequent characterization of the information society and the evolution of the Web 2.0 as an effective possibility to use in processes of teaching and learning upon the concepts established by Ausubel; Barbero; Boavida and Ponte; Castells; Cunningham, Schons among others. The research universe was constituted of courses in continuous education and undergraduate distance learning courses, with focus on the following cases: the course Distance Learning and Musical Education developed by the Association of Friends of the Guri Project of the State Department of Culture of São Paulo and the course Culture in the space of diversity, sustainable development and inclusion CEDSI-Pe taught within the undergraduate Pedagogy course of UAB Ufscar Open University of Brazil at Federal University of São Carlos. Its analysis was made through the study of the relations established by the participants in the development of activities of coauthoring. As methodology it was used the bricolage method, since it comprehends an extensive group of possibilities and admits the use of techniques of qualitative and quantitative analysis with an observation directed towards the practices of the individual upon which one aims to break with the reductionism, the idea of installments, the fragmentation and the scientific neutrality of positivist methods, according to Kincheloe and Berry. Identified the repetition of actions in the relationships between individuals in the process of development of coauthoral activities it is possible to evidentiate as main contribution that the development of models for analysis categories may make it easier to accompany this process for teachers and collaboration managers in virtual learning spaces; and that the categorization of relationships makes it possibile for an evolution of the quantitative analysis for its qualification; with that new possibilities are open, such as the development of specialist systems in the field of Artificial Intelligence / A presente investigação está vinculada ao Programa de Pós Graduação em Educação: Currículo da Pontifícia Universidade Católica de São Paulo (PUC-SP) na linha de pesquisa de Novas Tecnologias em Educação . Este Estudo tem como proposta a análise do desenvolvimento do processo de colaboração em trabalhos de coautoria desenvolvidos em ambientes virtuais de aprendizagem. A pesquisa procurou contribuir para a evolução do marco que reconhece a importância da colaboração em processos de ensino e de aprendizagem em ambientes virtuais por meio da construção de categorias e de matrizes para a análise das práticas colaborativas. Os pressupostos teóricos foram estabelecidos a partir de duas temáticas: o conceito de colaboração, com referências, entre outros, em Amoretti; Simon; Maturana e Varela; Fiorentini; Johnson e Jonhson; e a evolução da comunicação, a consequente caracterização da sociedade da informação e a evolução da Web 2.0 como possibilidade efetiva de utilização nos processos de ensino e de aprendizagem a partir dos conceitos estabelecidos por Ausubel; Barbero; Boavida e Ponte; Castells; Cunningham, Schons entre outros. O universo da pesquisa foi formado por cursos de formação continuada e de graduação a distância, tendo como casos: o curso EaD e Educação Musical desenvolvido pela Associação Amigos do Projeto Guri da Secretaria do Estado da Cultura do Estado de São Paulo e a disciplina A cultura no espaço da diversidade, sustentabilidade e inclusão CEDSI-Pe ministrada junto ao curso de Pedagogia da UAB Ufscar Universidade Aberta do Brasil da Universidade Federal de São Carlos. A análise foi realizada a partir do estudo das relações estabelecidas pelos participantes no desenvolvimento de atividades de coautoria. Como metodologia foi utilizado o método da Bricolagem, pois possibilita um leque de possibilidades e admite o uso de técnicas de análise qualitativa e quantitativa com olhar dirigido as práticas do indivíduo na qual se almeja romper com o reducionismo, o parcelamento, a fragmentação e a neutralidade científica dos métodos positivistas, segundo Kincheloe e Berry. Identificada a recorrência de ações nas relações entre os indivíduos no processo de desenvolvimento de atividades em coautoria destaca-se como contribuição principal que a utilização de matrizes de categorias de análises pode facilitar o acompanhamento desse processo por parte de professores e gestores da colaboração em espaços virtuais de aprendizagem; e que a categorização das relações possibilita uma evolução da análise quantitativa para a qualitativa; com isso são abertas novas possibilidades como o desenvolvimento de sistemas especialistas como apoio à análise dos processos de elaboração de projetos de coautoria

Apresentamos uma generalização para as classes das álgebras quase inclinadas e quase hereditárias, que chamamos de álgebras m-quase inclinadas e m-quase hereditárias. Para estas últimas, pode-se obter uma trissecção de suas categorias de módulos determinada pelas subcategorias L^m = {X indecomponível; dimensão projetiva de Y é menor ou igual a m, para cada antecessor Y de X} e R = {X indecomponível; dimensão injetiva de Y é menor ou igual a 1, para cada sucessor Y de X}, além de ser possível mostrar que se existe um módulo E_m de forma a obtermos a igualdade de conjuntos {X módulo; Hom(E_m, \\tau X) = 0} = {X módulo; dimensão projetiva de X é menor ou igual a m}, então E_m é soma de somandos de módulos em R e todo caminho de indecomponíveis com início em um somando E de E_m e final em um módulo projetivo pode ser refinado a um caminho de morfismos irredutíveis, que é ainda seccional. Como consequência desse resultado obtém-se que as álgebras m-quase hereditárias são caracterizadas pelo fato de que todos seus módulos projetivos pertencem a L^m. É possível verificar que toda álgebra m-quase inclinada de dimensão global m+1 é m-quase hereditária e, consequentemente, que toda álgebra hereditária por partes de tipo mod H, para alguma álgebra hereditária H, com dimensão global m+1 é m-quase hereditária. Apresentamos ainda um exemplo de uma álgebra 2-quase hereditária que não é 2-quase inclinada, não sendo válida, portanto, a recíproca do resultado acima. Buscamos, dessa forma, estabelecer condições que quando assumidas sobre uma álgebra 2-quase hereditária possam garantir que esta é 2-quase inclinada e, em particular, hereditária por partes. Recorremos, para isso, à aplicação obtida por meio de uma adaptação de resultados de Happel, Reiten e Smalo, que sob certas hipóteses permite concluir que uma álgebra é álgebra de endomorfismos de um objeto inclinante. Como resultado, mostra-se que uma álgebra 2-quase hereditária com certas outras propriedades e que satisfaz as condições (H1), (H2) e (H3) é 2-quase inclinada. / We present a generalization of the classes of quasitilted and almost hereditary algebras, which we call m-quasitilted and m-almost hereditary algebras. For the latter one, we can obtain a trisection of their module categories determined by the following subcategories L^m = {X indecomposable; projective dimension of Y is at most m for each predecessor Y of X} and R = {X indecomposable; injective dimension of Y is at most 1 for each successor Y of X}. Moreover, if there exists a module E_m such that {X; Hom(E_m, \\tau X) = 0} = {X; projective dimension of X is at most m} then E_m is a sum of direct summands of modules in R and any path of indecomposable modules starting in a module E which is a direct summand of E_m and ending in a projective module can be refined to a path of irreducible morphisms, which is also sectional. This result on paths allow us to obtain a characterization for m-almost hereditary algebras in terms of their projective modules. It is also possible to prove that any m-quasitilted algebra with global dimension m+1 is a m-almost hereditary algebra and as a consequence we can obtain that any piecewise hereditary algebra of type mod H, for some hereditary algebra H, and with global dimension m+1 is m-almost hereditary. We present an example of a 2-almost hereditary which is not 2-quasitilted, which entails that the converse of the above mentioned result does not hold true. Thus we seek for conditions which can ensure that a given 2-almost hereditary is 2-quasitilted and, in particular, a piecewise hereditary algebra. For this, we use the correspondence obtained as an adaptation of results of Happel, Reiten and Smalo, which under certain assumptions shows that an algebra is an endomorphism algebra of a tilting object. It is shown that a 2-almost hereditary algebra with some other properties and satisfying (H1), (H2) and (H3) is 2-quasitilted.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-12-04T21:36:40Z No. of bitstreams: 1 DanielRodrigoDeMacedoMagalhaes_DISSERT.pdf: 4160656 bytes, checksum: 949303dbbe50d96e30c1fec372cd9397 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-12-11T17:37:40Z (GMT) No. of bitstreams: 1 DanielRodrigoDeMacedoMagalhaes_DISSERT.pdf: 4160656 bytes, checksum: 949303dbbe50d96e30c1fec372cd9397 (MD5) / Made available in DSpace on 2017-12-11T17:37:41Z (GMT). No. of bitstreams: 1 DanielRodrigoDeMacedoMagalhaes_DISSERT.pdf: 4160656 bytes, checksum: 949303dbbe50d96e30c1fec372cd9397 (MD5) Previous issue date: 2017-11-24 / As ?reas Protegidas (AP) s?o a principal estrat?gia de conserva??o da biodiversidade. Entretanto, as ?reas protegidas s?o diferentes e variam, entre outras coisas, em seu objetivo de cria??o e grau de ocupa??o humana. O Brasil possu? 12 categorias de unidades de conserva??o. Dentre elas, as ?reas de Prote??o Ambiental (APA, categoria V na classifica??o da IUCN) ? a categoria com menores restri??es ao uso. Essa categoria atrai cr?ticos que afirmam que as APAs nem deveriam ser consideradas APs, e defensores, que afirmam que as APAs pertencem a um ?novo paradigma? em APs, que busca conciliar a prote??o da biodiversidade com o desenvolvimento humano. As APAs abrangem quase um ter?o das APs brasileiras, sendo mais de 60% da ?rea total protegida de biomas como a Mata Atl?ntica, Caatinga, Cerrado e Pampa, al?m de representarem mais de 80% da ?rea protegida marinha. Nesse trabalho n?s buscamos entender os padr?es de cria??o, ocupa??o, din?mica da cobertura do solo e gest?o dessas ?reas. N?s observamos que os n?veis de antropiza??o dentro das APAs s?o proporcionalmente menores que nos biomas, principalmente quando desconsiderada a ?rea das demais UCs e Terras Ind?genas. Mesmo assim, n?s constatamos que cerca de 7 milh?es de pessoas vivem em APAs, e que em 2016, a Amaz?nia era o ?nico bioma em que a cobertura de floresta dentro das APAs era superior a 50%. De acordo com nossas estimativas, desconsiderar as ?reas antropizadas no interior das APAs, da ?rea total coberta por Unidades de Conserva??o no Brasil, faria o pa?s passar de um total de 17,6% de ?rea protegida para 12,8%. Al?m disso, encontramos que apenas 18% das APAs possuem Plano de Manejo e 45% possuem Conselho Gestor. Por fim, n?s recomendamos que seja aberta uma discuss?o sobre a cria??o de mecanismos de apoio ? gest?o especificamente para a categoria APA. / Protected Areas are the main strategy to protected biodiversity. Protected Areas are not equal and vary in their management objectives and level of human occupation. Brazil has 12 protected area's categories. Among those, "Environment Protected Area" (EPA, Category V in IUCN Classification), is the one with least restriction to human activity. This category has many critics, that argue EPAs should not be account as Protected Areas, as has defenders who argue that EPA belong to a ?New Paradigm? of Protected Areas, aimed to reconcile biodiversity conservation and human development. EPAs has special importance because it covers a third of the protected land, and more than 60% on biomes such as Atlantic Forest, Cerrado, Caatinga and Pampa, and more than 80% of all marine protected areas in Brazil. Therefore, understand the implementation, land cover and management patterns is crucial for Brazilian biodiversity conservation. We find lower levels of human activity within EPAs when compared with biome and in areas without protection (protected areas and indigenous areas) within biome. Nonetheless, we found about 7 million people live inside EPA and that in 2016, Amazon biome was the only biome with more than 50% of forest land cover. We find that if we do not account for the area with anthropogenic use inside EPA, the total area covered by protected area in Brazil would go from 17,6% to 12,8%. We also found that only 18% of EPA had a "management plan" and 45% had a "management council". Lastly, we recommend starting a discussion about specific management and support mechanism to the EPA category.

Orientador: Marco Antonio de Assis / Resumo: Epífitas são plantas que, em algum estágio do ciclo de vida, sobrevivem sem estar conectadas ao solo. Estão presentes em todos os grandes grupos de traqueófitas e abrangem cerca de 10% de suas espécies. Diversos estudos têm sido feitos com o intuito de se conhecer a flora epifítica dos remanescentes florestais brasileiros, porém, apesar dos esforços dos pesquisadores, ainda há muito trabalho a ser feito, sendo a pesquisa taxonômica um instrumento importante para se compreender a biodiversidade. O presente trabalho foi desenvolvido no Parque Estadual do Morro do Diabo, uma área de Floresta Estacional Semidecidual localizada no extremo oeste do estado de São Paulo. Desse modo, pretendeu-se contribuir para o conhecimento da biodiversidade da região, realizando um inventário florístico das epífitas vasculares, com a elaboração de chaves de identificação dicotômicas e de um guia ilustrado das epífitas vasculares do Parque. As epífitas vasculares amostradas foram classificadas de acordo com categorias ecológicas e síndromes de dispersão. Foram coletadas 75 espécies de epífitas vasculares, distribuídas em 49 gêneros e 11 famílias. Orchidaceae, Bromeliaceae e Polypodiaceae foram as famílias mais representativas, totalizando 68% das espécies amostradas. Peperomia e Tillandsia foram os gêneros mais ricos. A categoria ecológica das holoepífitas características compreendeu 85% das espécies e a anemocoria foi a síndrome de dispersão predominante, ocorrendo em 76% das espécies. A análise d... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: Epiphytes are plants that at some stage in their life cycle survive without being connected to the soil. They are present in all major groups of tracheophytes and comprise about 10% of their species. Several studies have been done with the purpose of knowing the epiphytic flora of brazilian forest remnants, but despite the efforts of the researchers, there is still much work to be done, and taxonomic research is an important tool to understand biodiversity. The present work was developed in the Parque Estadual do Morro do Diabo, an area of semideciduous seasonal forest located in the extreme west of São Paulo state. The aimed of this present study was contribute to the knowledge of the region's biodiversity, by making a floristic inventory of the vascular epiphytes with the elaboration of dichotomous identification keys and an illustrated guide of the vascular epiphytes of the Parque. The vascular epiphytes sampled were classified according to ecological categories and dispersion syndromes. Seventy five species of vascular epiphytes were collected, corresponding 49 genera and 11 families. Orchidaceae, Bromeliaceae and Polypodiaceae were the most representative families, totalizing 68% of the sampled species. Peperomia and Tillandsia were the richest genera. The ecological category of the characteristic holoepiphytes comprised 85% and anemochory was the predominant dispersion syndrome, corresponding 76% of the species. The analysis of floristic similarity indicated an area in ... (Complete abstract click electronic access below) / Mestre

Autômatos não-seqüenciais constituem um domínio semântico categorial do tipo não-intercalação para sistemas reativos, comunicantes e concorrentes.É baseado em sistemas de transições etiquetados, inspirado em "Redes de Petri são Monóides" de Meseguer e Montanari, onde as operações de sincronização e encapsulação são funtoriais e as reificações constituem uma classe de morfismos especiais. Do que se tem conhecimento, é o primeiro modelo de concorrência a satisfazer a composicionalidade diagonal, ou seja, onde as reificações compõem (verticalmente) e distribuem-se sobre a composição paralela (verticalmente). Adjunções entre autômatos não-seqüenciais, redes de Petri e autômatos seqüenciais são introduzidas estendendo a abordagem de Winskel, Nielsen e Sassone onde é proposta uma classificação formal para modelos de concorrência. Dos passos que envolvem a passagem de um modelo para outro, pode-se inferir que os autômatos não-seqüenciais são mais concretos do que as redes de Petri e os autômatos seqüenciais. Para experimentar o domínio semântico proposto, é dada semântica a uma linguagem concorrente, baseada nos objetos, denominada Náutilus. Trata-se de uma versão simplificada e revisada da linguagem de especificação orientada aos objetos GNOME, onde são introduzidos algumas facilidades especiais, inspiradas no domínio semântico, como a reificação e a agregação. Neste contexto, a composicionalidade diagonal é uma propriedade essencial para dar a semântica. / Nonsequential automata constitute a non-interleaving categorial semantic domain for reactive, communicating and concurrent systems. It is based on labeled transition systems, inspired by Meseguer and Montanari's "Petri Nets are Monoids", where synchronization and encapsulation operations are functorial and a class of morphisms stands for reification. It is, for our knowledge, the first model for concurrency which satisfies the diagonal compositionality requirement, i. e., reifications compose (vertical) and distribute over the parallel composition (horizontal). Adjunctions between nonsequential automata, Petri nets and sequential automata are provided extending the approach of Winskel, Nielsen and Sassone where a scene for a formal classification of models for concurrency is set. The steps of abstraction involved in moving between models show that nonsequential automata are more concrete than Petri nets and sequential automata. To experiment with the proposed semantic domain, a semantics for a concurrent, object-based language named Nautilus is given. It is a simplified and revised version of the object-oriented specification language GNOME, introducing some special features inspired by the semantic domain such as reification and aggregation. The diagonal compositionality is an essential property to give semantics in this context.

ARAÚJO, Alexandra Maria de Castro e Santos. O complexo TAM (Tempo, Aspecto e Modalidade) em materiais didáticos de Francês e Português Língua Estrangeira. 2016. 426f. – Tese (Doutorado) – Universidade Federal do Ceará, Departamento de Letras Vernáculas, Programa de Pós-graduação em Linguística, Fortaleza (CE), 2016. / Submitted by Márcia Araújo (marcia_m_bezerra@yahoo.com.br) on 2016-06-15T10:22:08Z No. of bitstreams: 1 2016_tese_amcsaraujo.pdf: 15418727 bytes, checksum: e5f99f9ef56211f08af25ac94de6447b (MD5) / Approved for entry into archive by Márcia Araújo (marcia_m_bezerra@yahoo.com.br) on 2016-06-15T11:38:26Z (GMT) No. of bitstreams: 1 2016_tese_amcsaraujo.pdf: 15418727 bytes, checksum: e5f99f9ef56211f08af25ac94de6447b (MD5) / Made available in DSpace on 2016-06-15T11:38:26Z (GMT). No. of bitstreams: 1 2016_tese_amcsaraujo.pdf: 15418727 bytes, checksum: e5f99f9ef56211f08af25ac94de6447b (MD5) Previous issue date: 2016 / À luz de pressupostos funcionalistas, esta Tese apresenta uma análise do tratamento dado às categorias Tempo, Aspecto e Modalidade nos materiais didáticos tanto de Francês quanto de Português Língua Estrangeira, utilizados nos cursos de Extensão da Universidade Federal do Ceará (UFC). Em relação ao Tempo, verificamos se os materiais didáticos correlacionam forma > funções e função > formas, ou seja, se mencionam o fato de uma forma codificar mais de uma função e/ou de uma função ser codificada por mais de uma forma, e se abordam diferentes mecanismos de marcação de Tempo: morfossintáticos e semântico-discursivos. Quanto ao Aspecto, tratamos dos traços aspectuais de duratividade (habitualidade x iteratividade) e telicidade e da marcação Aspectual: inerente e composicional. Para Modalidade, analisamos mecanismos de marcação da Modalidade por meio do verbo, advérbio e adjetivo (em posição predicativa) e correlação dos usos modais à fonte e ao alvo. O corpus é composto por duas coleções: Latitudes, de Francês Língua Estrangeira, contendo três volumes, três cadernos de exercícios e três guias pedagógicos; e Bem-Vindo!, de Português Língua Estrangeira, contendo cinco volumes e dois cadernos de exercícios. Os resultados apontaram que dos 2.232 exercícios no conjunto de materiais de Francês, 144 relacionaram-se à categoria Tempo, 82 à categoria Aspecto e 199 à categoria Modalidade. Quanto ao conjunto de exercícios de Português, dos 768 exercícios, 57 foram para Tempo, 29 para Aspecto e 57 para Modalidade. Observamos que, nos materiais de Francês, a categoria Modalidade sobressaiu-se em relação às categorias de Tempo e Aspecto. Nos materiais de Português, Tempo e Modalidade apresentaram o mesmo quantitativo, já Aspecto foi a categoria com menos exercícios em relação a Tempo e Modalidade em ambos os materiais. Para a categoria Tempo, nos materiais de Francês, os índices percentuais para forma-funções e função-formas foram, respectivamente, 0,09% e 0,94%; para mecanismos morfossintáticos de codificação temporal, o percentual foi de 4,39% e para mecanismos semântico-discursivos de codificação temporal, 1,03%. Para a categoria Tempo, nos materiais de Português, os índices estão assim distribuídos: forma-funções (0,52%); função-formas (1,30%); mecanismos morfossintáticos de codificação temporal (4,81%) e mecanismos semântico-discursivos de codificação temporal (0,78%). Para a categoria Aspecto, nos materiais de Francês, o índice percentual para traços aspectuais foi 1,34%, prevalecendo o traço duratividade em detrimento do traço telicidade; quanto aos mecanismos de marcação aspectual: há 1,12% para aspecto inerente e 1,20% para composicional. Nos materiais de Português, há 1,30% de atividades que consideram o traço aspectual de duratividade, 1,17% para mecanismos de marcação aspectual inerente e 1,30% para mecanismos composicionais. Para a categoria Modalidade, nos materiais de Francês, observamos mecanismos de marcação da modalidade: verbo (6,04%), advérbio (0,67%) e adjetivo em posição predicativa (1,61%); e correlação dos usos modais à fonte e ao alvo [0,58%, sendo fonte (0,18%) e alvo (0,40%)]. Nos materiais de Português, os índices percentuais para mecanismos de marcação da modalidade são: verbo (4,03%), advérbio (1,17%) e adjetivo em posição predicativa (0,39%); para a correlação dos usos modais à fonte e ao alvo, há 1,82%, sendo fonte (0,39%) e alvo (1,43%).

Submitted by Andrea Hayashi (deachan@gmail.com) on 2016-06-27T14:41:59Z No. of bitstreams: 1 dissertacao-william-tito-schuman-marinho.pdf: 1564748 bytes, checksum: 901cf14e5cdf77cf922cb8a7fc6e229a (MD5) / Approved for entry into archive by Andrea Hayashi (deachan@gmail.com) on 2016-06-27T15:09:14Z (GMT) No. of bitstreams: 1 dissertacao-william-tito-schuman-marinho.pdf: 1564748 bytes, checksum: 901cf14e5cdf77cf922cb8a7fc6e229a (MD5) / Made available in DSpace on 2016-06-27T15:09:14Z (GMT). No. of bitstreams: 1 dissertacao-william-tito-schuman-marinho.pdf: 1564748 bytes, checksum: 901cf14e5cdf77cf922cb8a7fc6e229a (MD5) Previous issue date: 2013-10-18 / A ideia central da teoria da justiça de John Rawls, a justiça como equidade, como elaborada desde os seus escritos iniciais até a “edição-tradução revista” de A theory of justice, é apresentar uma concepção de justiça que generalize e eleve a um nível mais alto de abstração a tradicional concepção do contrato social, tal como estabelecida por Locke, Rousseau e Kant. O contrato social, no entanto, é substituído por uma situação inicial que contém certas restrições (sobre a concepção de bem e pelo véu de ignorância) aos argumentos, com o objetivo de conduzir as partes a um consenso justo sobre princípios de justiça. Essa interpretação (mais geral e abstrata da concepção do contrato social) é alcançada por intermédio da ideia, tanto intuitiva, quanto fundamental e de justificação, da posição original. A posição original é apresentada como artifício hipotético e heurístico de representação, verdadeiro experimento do pensamento, e a sua construção é analisada segundo suas categorias próprias. Em linhas gerais, é ela uma situação hipotética de liberdade igual (definição) sobre o justo no status quo que, semelhante ao estado de natureza do contrato social (fundamento filosófico), assegura que pessoas livres e iguais (pressupostos), de forma racional, na condição de representantes dos cidadãos de uma sociedade bem-ordenada, sob um véu de ignorância (característica), escolham certa concepção de justiça, com a finalidade de chegar a um consenso sobre os princípios de justiça para a regulação, na cooperação entre todos, da estrutura básica da sociedade (objetivo). A perspectiva adotada na pesquisa é tanto histórica quanto interpretativa. É sugerida, logo na Introdução, uma reanálise da leitura da obra de John Rawls, considerando-a, na perspectiva histórico-evolutiva, não segundo sua “data de publicação”, mas segundo a “evolução de seus conceitos”. Por isso, a edição-revista de A theory of justice e Justice as fairness: A restatement, sob tal justificativa, são realocadas. No Capítulo 1 é apresentada uma visão geral sobre os pontos de vistas morais adotados, como justificativas, pela justiça como equidade. No Capítulo 2 é iniciada a descrição da “evolução conceitual” da posição original, segundo os escritos iniciais de John Rawls, em consideração aos anos de 1950 até 1971. Neste período são apresentados os elementos estruturais da posição original. No Capítulo 3 é analisada a posição original como estabelecida em A theory of justice, nos aspectos que diferem dos escritos anteriores e no que veio a ser considerado como mais polêmico. A “natureza” da posição original como “experimento do pensamento” é discutida. O Capítulo 4 retoma a descrição da “evolução conceitual” da posição original, mas, agora, a partir dos escritos posteriores a 1971, e institui um diálogo das ideias de John Rawls com outros, a partir de seus esclarecimentos, de suas réplicas e de suas (eventuais) revisões, considerando as críticas que lhe foram dirigidas após a edição original de A theory of justice até 1975, ano de publicação da sua “edição-tradução revista” em alemão. Como Conclusão, sugiro que a posição original, ao menos até 1975, é essencial ao sistema filosófico sobre a justiça de John Rawls; porém, isolada, é insuficiente para, no seu plano, justificar, seja inicialmente, a escolha dos dois princípios de justiça da justiça como equidade, ou, seja posteriormente, estabilizá-los. A justiça como equidade, nestas duas etapas ou graus de justificação, de escolha e de estabilidade – e sem considerar o “giro” do liberalismo político –, além da posição original, necessita, como “complemento”, de outras ideias fundamentais: a de pessoa, a de sociedade bem-ordenada e a de equilíbrio reflexivo. / The central idea of John Rawls’ theory of justice, the justice as fairness, as elaborated from his first writings up to the “translated-edition revised” of A theory of justice, is to present a conception of justice that generalizes and elevates to a higher level of abstraction the traditional concept of social contract, such as established by Locke, Rousseau and Kant. The social contract, however, is replaced by an initial situation that contains certain restrictions (about the conception of good and by the veil of ignorance) to the arguments, with the purpose of conducting the parties to a fair consensus about the principles of justice. This interpretation (more general and abstract of the conception of social contract) is reached through the idea, both intuitive and fundamental, and of justification of the original position. The original position is presented as hypothetical and heuristic artifice of representation, a real thought experiment, and its construction is analyzed according to its own categories. In outline, it is a hypothetical situation of equal liberty (definition) about the just in the status quo that, similar to the state of nature of the social contract (philosophical fundament), assures that free and equal persons (presuppositions), in a rational way, in the condition of representatives of citizens of a well-ordered society, under the veil of ignorance (characteristic), choose certain conception of justice, with the purpose of reaching a consensus about the principles of justice for the regulation, in the cooperation among all, of the basic structure of society (objective). The perspective adopted in the research is both historical and interpretative. It is suggested, soon in the Introduction, a re-analysis of the reading of John Rawls’s work, considering it, in the historicalevolutional perspective, not according to “the date of its publication”, but according to the “evolution of their concepts”. For that reason, the revised-edition of A theory of justice and Justice as fairness: A restatement, under such justification, are relocated. On Chapter 1 is presented a general view about the moral point of views adopted, as justifications, by the justice as fairness. On Chapter 2 is initiated a description of the “conceptual evolution” of the original position, according to John Rawls’s initial writings, in consideration to years 1950 to 1971. In that period, the structural elements of the original position are presented. On Chapter 3 is analyzed the original position as established in the A theory of justice, in the aspects that differ from previous writings and which came to be considered as the most controversial. The “nature” of original position as “thought experiment” is discussed. The Chapter 4 retakes the description of the “conceptual evolution” of the original position, but now beginning from writings after 1971 and establishes a dialogue of John Rawls’s ideas with others, starting from his explanations, his replies and his (eventual) revisions, considering the critiques directed to him after the original edition of A theory of justice, up to 1975, year of the publication of the “translatededition revised” in German. As Conclusion, I suggest that the original position, at least until 1975, it is essential to the John Rawls’s philosophical system about justice; however, isolated, it is not sufficient to, in his plan, justify, be initially, the choice of the two principles of justice of the justice as fairness, or, be later, to stabilize them. The justice as fairness, in these two stages or justifications degrees, of choice and of stability – and without considering the political liberalism’s “turn” – besides the original position, needs, as “complement”, of other fundamental ideas: of person, of well-ordered society and of reflective equilibrium.

Gramática de grafos é uma linguagem formal bastante adequada para sistemas cujos estados possuem uma topologia complexa (que envolvem vários tipos de elementos e diferentes tipos de relações entre eles) e cujo comportamento é essencialmente orientado pelos dados, isto é, eventos são disparados por configurações particulares do estado. Vários sistemas reativos são exemplos desta classe de aplicações, como protocolos para sistemas distribuídos e móveis, simulação de sistemas biológicos, entre outros. A verificação de gramática de grafos através da técnica de verificação de modelos já é utilizada por diversas abordagens. Embora esta técnica constitua um método de análise bastante importante, ela tem como desvantagem a necessidade de construir o espaço de estados completo do sistema, o que pode levar ao problema da explosão de estados. Bastante progresso tem sido feito para lidar com esta dificuldade, e diversas técnicas têm aumentado o tamanho dos sistemas que podem ser verificados. Outras abordagens propõem aproximar o espaço de estados, mas neste caso não é possível a verificação de propriedades arbitrárias. Além da verificação de modelos, a prova de teoremas constitui outra técnica consolidada para verificação formal. Nesta técnica tanto o sistema quanto suas propriedades são expressas em alguma lógica matemática. O processo de prova consiste em encontrar uma prova a partir dos axiomas e lemas intermediários do sistema. Cada técnica tem argumentos pró e contra o seu uso, mas é possível dizer que a verificação de modelos e a prova de teoremas são complementares. A maioria das abordagens utilizam verificadores de modelos para analisar propriedades de computações, isto é, sobre a seqüência de passos de um sistema. Propriedades sobre estados alcançáveis só são verificadas de forma restrita. O objetivo deste trabalho é prover uma abordagem para a prova de propriedades de grafos alcançáveis de uma gramática de grafos através da técnica de prova de teoremas. Propõe-se uma tradução (da abordagem Single-Pushout) de gramática de grafos para uma abordagem lógica e relacional, a qual permite a aplicação de indução matemática para análise de sistemas com espaço de estados infinito. Definiu-se gramática de grafos utilizando estruturas relacionais e aplicações de regras com linguagens lógicas. Inicialmente considerou-se o caso de grafos (tipados) simples, e então se estendeu a abordagem para grafos com atributos e gramáticas com condições negativas de aplicação. Além disso, baseado nesta abordagem, foram estabelecidos padrões para a definição, codificação e reuso de especificações de propriedades. O sistema de padrões tem o objetivo de auxiliar e simplificar a tarefa de especificar requisitos de forma precisa. Finalmente, propõe-se implementar definições relacionais de gramática de grafos em estruturas de event-B, de forma que seja possível utilizar os provadores disponíveis para event-B para demonstrar propriedades de gramática de grafos. / Graph grammars are a formal language well-suited to applications in which states have a complex topology (involving not only many types of elements, but also different types of relations between them) and in which behaviour is essentially data-driven, that is, events are triggered basically by particular configurations of the state. Many reactive systems are examples of this class of applications, such as protocols for distributed and mobile systems, simulation of biological systems, and many others. The verification of graph grammar models through model-checking is currently supported by various approaches. Although model-checking is an important analysis method, it has as disadvantage the need to build the complete state space, which can lead to the state explosion problem. Much progress has been made to deal with this difficulty, and many techniques have increased the size of the systems that may be verified. Other approaches propose to over- and/or under-approximate the state-space, but in this case it is not possible to check arbitrary properties. Besides model checking, theorem proving is another wellestablished approach for verification. Theorem proving is a technique where both the system and its desired properties are expressed as formulas in some mathematical logic. A logical description defines the system, establishing a set of axioms and inference rules. The process of verification consists of finding a proof of the required property from the axioms or intermediary lemmas of the system. Each verification technique has arguments for and against its use, but we can say that model-checking and theorem proving are complementary. Most of the existing approaches use model checkers to analyse properties of computations, that is, properties over the sequences of steps a system may engage in. Properties about reachable states are handled, if at all possible, only in very restricted ways. In this work, our main aim is to provide a means to prove properties of reachable graphs of graph grammar models using the theorem proving technique. We propose an encoding of (the Single-Pushout approach of) graph grammar specifications into a relational and logical approach which allows the application of the mathematical induction technique to analyse systems with infinite state-spaces. We have defined graph grammars using relational structures and used logical languages to model rule applications. We first consider the case of simple (typed) graphs, and then we extend the approach to the non-trivial case of attributed-graphs and grammars with negative application conditions. Besides that, based on this relational encoding, we establish patterns for the presentation, codification and reuse of property specifications. The pattern has the goal of helping and simplifying the task of stating precise requirements to be verified. Finally, we propose to implement relational definitions of graph grammars in event-B structures, such that it is possible to use the event-B provers to demonstrate properties of a graph grammar.

Made available in DSpace on 2014-06-11T19:26:49Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-05-06Bitstream added on 2014-06-13T20:55:27Z : No. of bitstreams: 1 candido_fm_me_arafcl.pdf: 676521 bytes, checksum: 580c9e0d445ea04ddf1e6ef8524e4ea6 (MD5) / Esta pesquisa tem como objetivo investigar os diferentes padrões das construções nas quais o pois está inserido, visto que, como se observa, as gramáticas tradicionais fazem uma descrição superficial e inadequada do comportamento desse elemento. Analisa-se, também, essas construções sob a ótica da gramaticalização, a fim de verificar quais dessas construções estão mais gramaticalizadas. A gramaticalização é uma ferramenta de descrição lingüística por meio da qual é possível depreender mudanças semânticas e categoriais de um item ou uma construção. Pode ser analisada a partir de duas perspectivas: (i) diacrônica, que investiga a origem das formas gramaticais, descrevendo os caminhos que essa forma percorre durante o processo de mudança; e (ii) sincrônica, na qual é possível investigar os usos lingüísticos do ponto de vista dos padrões fluidos da linguagem, dentro de um determinado recorte de tempo. São sob esses enfoques que se analisam os usos do pois encontrados nos corpora. Para alcançar esse objetivo, adotam-se alguns critérios sintáticos e semânticos propostos por Bally (1965), além dos critérios que foram aplicados ao pois nos estudos lingüísticos descritivos de Guimarães (2007), Vogt (1978) e na discussão de Carone (1991) sobre coordenação e subordinação. A respeito dos pressupostos da gramaticalização, recorre-se às propostas de Traugott (1982), Traugott e König (1991) e Sweetser (1990) que focalizam a mudança semântico-pragmática, às hipóteses de Heine et al. (1991) e aos critérios de Hopper (1991), com o objetivo de verificar o grau de gramaticalidade das construções encontradas nos corpora. Com relação aos corpora, eles estão divididos quanto ao grau de formalidade e são compostos por textos epistolares e oratórios do século XVI ao XX, organizados por Barbosa (2008). Por essa investigação... / This research aims at investigating the different patterns in constructions presenting the word “pois”, taking into account that the description of this element’s behavior, in traditional grammars, is superficial and inadequate. Such constructions are also analyzed under the perspective of grammaticalization in order to verify which constructions are more grammaticalized. The grammaticalization is a tool used in linguistic description through which is possible to infer semantic and categorical changes suffered by an item or a construction. It can be analyzed considering two perspectives: (i) diachronic, that investigates the origin of the grammatical forms, describing all changes that such form has passed; and (ii) synchronic, in which is possible investigate the linguistic applications through the point of view of the language fluid patterns for a specific period of time. It is under this focus that the applications related to “pois” found in the corpora are analyzed. Besides the criteria applied to “pois” in the descriptive linguistic studies of Guimarães (2007), Vogt (1978) and the Carone’s discussion (1991) about coordination and subordination, some syntactic and semantic criteria proposed by Bally (1965) are also utilized in order to achieve the objective of this work. In respect to the grammaticalization’s presuppositions, the Traugott’s proposals (1982), Traugott and Konig (1991) and Sweetser (1990) who focus semantic-pragmatic change, the hypotheses of Heine el al. (1991) and the Hopper’s criteria (1991) are applied with the purpose of verifying the degree of grammaticality of the constructions found in the corpora. Related to the corpora, they are divided taking the degree of formality into account and they are composed of epistolary and oratory texts from the XVI and XX centuries, organized by Barbosa (2008). In this research, it was possible... (Complete abstract click electronic access below)