Spelling suggestions: "subject:"simbólico""
41 |
SpecNL : uma ferramenta para gerar descrições em linguagem natural a partir de especificações de casos de testeTORRES, Dante Gama January 2006 (has links)
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
|
42 |
O mito edênico e o drama da decisão jurídica: uma análise retórica de gênesis 2 e 3 e suas implicações para a prática judicialDantas da Silva, Martonelli 31 January 2008 (has links)
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
|
43 |
Utilização das logicas booleana e fuzzy para analise metalogenetica na Folha Pilar do Sul (SP) via sistema de informações geograficasBraghin, Marcelo Antonio 23 July 2018 (has links)
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
|
44 |
Um estudo de C omega em calculo de sequentes e dedução naturalMoura, José Eduardo de Almeida 27 July 2018 (has links)
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
|
45 |
Semantica categorial generalizadaSbardellini, Luis Augusto 05 August 2001 (has links)
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
|
46 |
Paisagens sonoras Amazônicas na obra de Arnaldo RebelloKienen, João Gustavo 18 July 2014 (has links)
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.
|
47 |
O mal e as entidades ficcionais: uma perspectiva ontológica na compreensão da simbólica do malPaula, Adna Candido de 24 February 2017 (has links)
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 / - / -
|
48 |
Normalização forte via ordinal naturalAlves, Daniel Durante Pereira, 1968- 09 January 1999 (has links)
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
|
49 |
O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes CnCastro, Milton Augustinis de 27 April 1998 (has links)
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
|
50 |
Um estudo do sistema Oyster-Clam, implementação de reescrita de tipos e uma formalização parcial da teoria dos grafosPellegrini, Jerônimo 25 July 2018 (has links)
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
|
Page generated in 0.0518 seconds