Made available in DSpace on 2014-06-12T15:59:28Z (GMT). No. of bitstreams: 2 arquivo5130_1.pdf: 962505 bytes, checksum: c110ca4ca2100795b71140dd9ec201cf (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / Teste de Software é uma tarefa central, porém muito cara, no processo de desenvolvimento de software. Estudos sugerem que as tarefas de teste chegam até 50% do custo total de desenvolvimento do software. Com o objetivo de automatizar e otimizar as atividades de teste, várias ferramentas têm sido utilizadas para assistir o processo de testes, desde a geração dos testes até a sua execução. As ferramentas de geração de testes geralmente especificam os casos de teste gerados em uma linguagem não natural (normalmente uma linguagem formal). Entretanto, essa linguagem pode ser não trivial para os engenheiros que executarão manualmente os casos de teste. Com isso, seria de grande ajuda uma ferramenta que mapeasse os casos de teste gerados em uma linguagem natural. Este trabalho propõe uma ferramenta para gerar descrições em linguagem natural (LN) a partir de casos de teste especificados em linguagem formal, com o intuito de ajudar os engenheiros de teste a executarem testes manuais. Para validar a ferramenta proposta, nós desenvolvemos um protótipo que recebe como entrada casos de teste especificados na linguagem formal CSP. Como saída, o sistema devolve um texto em inglês que descreve os passos do caso de teste para aplicações móveis. O protótipo foi codificado na linguagem Java, e procurou manter critérios desejáveis de qualidade de software, como reusabilidade, extensibilidade e modularidade. Este trabalho faz parte de um projeto maior desenvolvido em parceria entre o CIn-UFPE e a Motorola

Made available in DSpace on 2014-06-12T17:22:33Z (GMT). No. of bitstreams: 2 arquivo6281_1.pdf: 643500 bytes, checksum: fa9c4a963256c2274330309ea7c8cb59 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Tendo como elemento central a análise retórica do mito edênico (Gn. 2 e 3), esta dissertação aborda a força que tal narrativa tem tido para forjar, tanto no Ocidente como no Oriente, um comportamento de submissão e passividade diante das autoridades que se colocam no poder. Vê, contudo, igualmente presente no texto, um convite à abstenção da prática de julgamentos dos comportamentos morais (desconhecer o bem e o mal), que é apresentado como sendo tarefa de Deus e não dos homens. Estes, segundo o autor, ao se arvorarem a prolatar sentenças em relação aos seus semelhantes, findam por externar preconceitos, os quais se firmam na sociedade por meio de mecanismos de violência simbólica. Finda, o autor, em face da impossibilidade prática e imediata de uma via de convivência social sem que nela esteja presente as estruturas de poder e de controle, entre as quais destaca o judiciário, convidandonos a adotar uma postura mais humilde e fraterna quando do momento da decisão, com o fito de minorar os efeitos da brutalidade potencial e real que as sentenças tendem a realizar

Orientador: Ardemirio de Barros Silva / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Geociencias / Made available in DSpace on 2018-07-23T14:10:47Z (GMT). No. of bitstreams: 1 Braghin_MarceloAntonio_M.pdf: 5272136 bytes, checksum: 024ef4cadc3afa842b814ad62ecc83c5 (MD5) Previous issue date: 1998 / Resumo: Esta tese descreve aplicações do uso da lógica boo/eana e fuzzy para uma análise metalogenética na Folha Pilar do Sul, SP. Para tanto, tais metodologias são desenvolvidas utilizando-se ferramentas de um Sistema de Informações Geográficas. Uma das maiores diferenças entre as lógicas estudadas é justamente a possibilidade de considerar as incertezas inerentes aos dados geológicos. Isto torna-se importante, haja visto as diversas fontes de incerteza numa base de dados espaciais com informações geológicas. A lógica boo/eana que permite apenas definir o que é verdadeiro ou falso pode gerar algumas dúvidas que podem ser melhor tratadas com o uso de uma abordagem da lógica fuzzy. As análises efetuadas mostraram que a definição das incertezas nos resultados é um fator importante neste tipo de análise espacial. Com a lógica fuzzy houve um aumento nas áreas de interesse, mas principalmente pôde ser definidas as prioridades de uma forma mais segura / Abstract: This work aims to describe methodological procedures to implement the use of Boolean and fuzzy logic applied to metallogenetical analysis. The study area is located in São Paulo state (Pilar do Sul quadricule) and focus to identify target areas for Cu and Pb. The use of Geographical Information Systems (GIS) is essential to achieve good results and sophisticated logical operations produces maps and reports which no longer necessarily represent a single integration. The main difference between the Boolean and fuzzy logics is the possibility to handle uncertainties, the former shows sharp contrasts, the later shows diffuse limits. The use of GIS and non-cumulative algebra on geological data set, with inherent uncertainties, provided the definition of target areas. Target areas defined by the fuzzy logic are better spatial distributed than those defined by the Boolean logic / Mestrado / Mestre em Geociências

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas,Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-27T20:38:33Z (GMT). No. of bitstreams: 1 Moura_JoseEduardodeAlmeida_D.pdf: 6732549 bytes, checksum: bf228cc3830350eb48de2759857a076e (MD5) Previous issue date: 2001 / Resumo: A partir dos trabalhos de Raggio, datados de 1968 e 1978, sobre os sistemas Cn1<n>w, desenvolve-se uma análise de Cw em Cálculo de Seqüentes e Dedução Natural, apresentando como resultados mais destacados os Teoremas de Eliminação do Corte e a de Normalização Forte. Características relevantes são o tratamento dado à negação e a permissividade da definição de prova normal / Abstract: Following Raggio's 1968 and 1978 papers on Cn1<n>w systems, it isdeveloped here an analysis of Cw in Sequent Calculus and Natural Deduction, presenting respectively the Cut Elimination and the Strong Normalization Theorems as main results. Relevant characteristics are the treatment applied to negation and the permissibility of normal proof definition / Doutorado / Doutor em Filosofia

Orientador: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-31T14:53:37Z (GMT). No. of bitstreams: 1 Sbardellini_LuisAugusto_M.pdf: 6203251 bytes, checksum: 2194621e6912483f7d0be2f2f3722695 (MD5) Previous issue date: 2001 / Resumo: o presente trabalho trata de semântica categorial, isto é, da interpretação de linguagens de primeira ordem em categorias. Propomos aqui uma generalização da semântica categorial usual (no sentido de [9]) através da modificação adequada da interpretação de símbolos de constantes. Na nossa nova abordagem, qualquer objeto de categoria pode interpretar a sorte de uma constante, mesmo que ele não tenha elementos globais. Exemplificamos os resultados conseguidos através do estudo de feixes e pré-feixes e realizamos uma comparação com as abordagens tradicional e estendida (em [3])...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: The present work treats of categorial semantics, that is, the interpretation of first order languages in categories. We propose here a generalization of the usual categorial semantics (in the sense of [9]) through the suitable modification of the interpretation of symbols of constants. In our approach, any categorial object may interpret the sort of a constant, even of it does not have global elements. We exemplified the results obtained through the study of sheaves and presheaves and established a comparison with the traditional and extended approaches (in [3])....Note: The complete abstract is available with the full electronic digital thesis or dissertations / Mestrado / Mestre em Filosofia

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-11-25T13:19:05Z No. of bitstreams: 1 Dissertação - João Gustavo Kienen.pdf: 2773787 bytes, checksum: bf099c322843a9ae72bb387e730493b4 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-11-25T13:19:29Z (GMT) No. of bitstreams: 1 Dissertação - João Gustavo Kienen.pdf: 2773787 bytes, checksum: bf099c322843a9ae72bb387e730493b4 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-11-25T13:19:45Z (GMT) No. of bitstreams: 1 Dissertação - João Gustavo Kienen.pdf: 2773787 bytes, checksum: bf099c322843a9ae72bb387e730493b4 (MD5) / Made available in DSpace on 2016-11-25T13:19:45Z (GMT). No. of bitstreams: 1 Dissertação - João Gustavo Kienen.pdf: 2773787 bytes, checksum: bf099c322843a9ae72bb387e730493b4 (MD5) Previous issue date: 2014-07-18 / The Amazon played by Arnaldo Rebello in his body of work is an important part of the musical production of northern Brazil. The scientific and interpretive occurrences music on Amazon are still a significant lack from the point of view of music history. In order to identify instances of Amazon in the work of Arnaldo Rebello, we proceeded to catalog the compositional output for piano, the songs list and locate the performances of this composer as pianist, teacher, published in Brazilian music. Understanding of the state of the field and habitus in which interacted the composer was the theoretical and methodological basis for the unveiling the options of compositional networks and Amazonian conceptions built up from the social. Of multiple interpretations of Amazon we analyze the pianistic repertoire, localizing sounds, people and landscapes in which the composer was influenced. With also the influences of the music scene at the time composed especially by metal bands from Manaus to the early 20th century and the intense activity old-fashioned compared piano. We conclude that synaesthetic Amazon is very present in this repertoire the sonorities, colors, flavors and sounds, as well as relations of Arnaldo Rebello sociabilities, present in the titles, in dedications, and especially in sonorities that are presented, as well as its placement in the musical field and in several instances of validation. / A Amazônia interpretada por Arnaldo Rebello no conjunto de sua obra é parte importante da produção musical da região norte do Brasil. As ocorrências científico-interpretativas da música na Amazônia são ainda uma carência significativa do ponto de vista da história da música. Com intuito de identificar as ocorrências de Amazônia na obra de Arnaldo Rebello, procedemos a catalogação da produção composicional para piano, elencamos as canções, e localizamos as atuações deste compositor como pianista, professor, divulgados da música brasileira. A compreensão do estado do campo e do habitus no qual interagiu o compositor foi a base teórico-metodológica para o desvelamento das redes de opções composicionais e concepções amazônicas construídas a partir do social. Das múltiplas interpretações de Amazônia analisamos o repertório pianístico, localizando sonoridades, pessoas e paisagens no qual o compositor foi influenciado. Com também as influências do cenário musical à época composto especialmente pelas bandas de metais de Manaus do início do século XX e da intensa atividade pianística coeva. Concluímos que essa Amazônia sinestésica é muito presente neste repertório, as sonoridades, cores, sabores e sons, bem como as relações de sociabilidades de Arnaldo Rebello, presentes nos títulos, nas dedicatórias, e especialmente nas sonoridades que são apresentadas, bem como a sua colocação no campo musical e nas variadas instâncias de validação.

Submitted by Geandra Rodrigues (geandrar@gmail.com) on 2018-10-11T11:27:17Z No. of bitstreams: 0 / Rejected by Adriana Oliveira (adriana.oliveira@ufjf.edu.br), reason: on 2018-10-16T13:50:56Z (GMT) / Submitted by Geandra Rodrigues (geandrar@gmail.com) on 2018-10-16T13:52:04Z No. of bitstreams: 0 / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2018-10-16T14:36:15Z (GMT) No. of bitstreams: 0 / Made available in DSpace on 2018-10-16T14:36:16Z (GMT). No. of bitstreams: 0 Previous issue date: 2017-02-24 / - / -

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-24T13:30:02Z (GMT). No. of bitstreams: 1 Alves_DanielDurantePereira_D.pdf: 10917931 bytes, checksum: b3a281be70541ba02394f30b44bda708 (MD5) Previous issue date: 1999 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Doutor em Filosofia

Orientador: Carlos Alberto Lungarzo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-24T16:29:44Z (GMT). No. of bitstreams: 1 Castro_MiltonAugustinisde_M.pdf: 3539736 bytes, checksum: 4f144a2bbdab30d1239bf7c8b631cfa7 (MD5) Previous issue date: 1998 / Resumo: A aplicação do método de dedução natural, via o método de provas subordinadas, nas lógicas proposicionais paraconsistentes Cn (1 '< ou =' n'< ou =' ¿ômega¿) é apresentada neste trabalho. Através desse método elabora-se uma hierarquia de sistemas de dedução natural DNCn, constituídos exclusivamente por regras de dedução (ou esquemas de dedução), dispensando, quaisquer esquemas de postulados. Provamos que esses sistemas DNCn (0 '< ou =' n '< ou =' ¿ômega¿) são logicamentes equivalentes aos sistemas Cn(0 '< ou =' n '< ou =' ¿ômega¿) de DA COSTA. Elaboramos uma valoração bivalente e provamos vários temas sintáticos e semânticos referentes aos sistemas formais, tais como, consistência, corretude forte, completude forte no caso dos sistemas DNCn(1 '< ou =' '< ou =' ¿ômega¿). Provamos a decidibilidade dos sistemas paraconsistentes de dedução natural DNCn(1 '< ou =' n '< ou =' ¿ômega¿) pelo método de tableau. Provamos a equivalência entre os sistemas DNCn (1 '< ou =' n '< ou =' ¿ômega¿) e o sistemas de tableau TDNCn (1 '< ou =' n '< ou =' ¿ômega¿), a corretude e a decidibilidade desses sistemas. Duas novas formulações para a hierarquia de sistemas proposicionais paraconsistentes Cn (0 '< ou =' n '< ou =' ¿ômega¿) são apresentadas / Abstract: In this paper, we present an application of the method of natural deduction, via the method of subordinate proofs. By using this method, we develop a hierarchy of logical systems of natural deduction DNCn containing just deduction rules (or schemes of deduction) with no axioms schemes. We proved that these systems DNCn(0 '< ou =' n '< ou =' ¿ômega¿) are logically equivalent to the da Costas's systems Cn (0 '< ou =' n '< ou =' ¿ômega¿). By introducing of a special bivalent valuation concept, we prove some the standard syntactical as well as semantical properties of formal systems, like consistency, strong soundness, and strong completeness in the case of the DNCn(1 '< ou =' n '< ou =' ¿ômega¿). The decidability of the paraconsistent systems of natural deduction DNCn(1 '< ou =' n '< ou =' ¿ômega¿) is proved by specifically introduced systems of tableau. We prove the logical equivalence between the systems DNCn(1 '< ou =' n '< ou =' ¿ômega¿) and the tableau system TDNCn (1 '< ou =' n '< ou =' ¿ômega¿) and also prove the soundness and decidability of these systems. Two new formulations for the hierarchy of da Costa's systems Cn (0 '< ou =' n '< ou =' ¿ômega¿) are introduced. / Mestrado / Logica e Epistemologia / Mestre em Lógica e Filosofia da Ciência

Orientador: Jacques Wainer / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-25T14:49:11Z (GMT). No. of bitstreams: 1 Pellegrini_Jeronimo_M.pdf: 6805368 bytes, checksum: 59cb8230ad8b2216cb3006f776de3d8c (MD5) Previous issue date: 1997 / Resumo: Nesta tese, mostramos uma implementação do processo de diagonalização de Cantor no sistema de prova de teoremas Oyster-Clam. Para isto, tivemos que estender o Oyster com comparação e indução em tipos, e desenvolvemos um método e algumas regras de reescrita. As regras de reescrita lidam com tipos, o que não era suportado ainda no sistema Oyster-Clam; algumas modificações foram feitas para que isto se tornasse possível. Também desenvolvemos esquemas de indução para grafos neste sistema, e provamos alguns teoremas. / Abstract: In this thesis, we show an implementation of Cantor's digitalization process in the Oyster-Clam theorem proving system. To achieve that, we have extended the Oyster logic with comparison and induction on types, and developed a method and some rewrite rules. The rewrite rules deal with types, what was not supported yet in the Oyster-Clam system, and some modifications were done to make that possible. We have also developed induction schemes for graphs in that system, and some theorems were proven. / Mestrado / Mestre em Ciência da Computação