Orientador : Marcio Luiz de Andrade Neto / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T00:15:58Z (GMT). No. of bitstreams: 1 Buck_ThomasdeAraujo_M.pdf: 14858382 bytes, checksum: 7afc9e4988a7045055efe5bba094ca5d (MD5) Previous issue date: 1990 / Resumo: o problema de Reconhecimento de Padrões é dividido em classificação e descrição dos padrões, nos quais são utilizadas técnicas de Lógica Nebulosa, de modo a permitir maior flexibilidade no processo de reconhecimento, dando capacidade de tolerância mais elevada para o sistema. Dentre as várias técnicas matemáticas distintas usadas na solução do problema do reconhecimento de padrões, existe a chamada aproximação lingufstica, onde os padrões são representados como uma cadeia, árvore ou grafo de suas primitivas e relações, e o processo de decisão é geralmente um procedimento de análise gramatical. Com ênfase na descrição estrutural dos padrões, a aproximação sintática tenta estabelecer uma analogia entre a análise da estrutura das imagens e a sintaxe de uma linguagem formal. Os padrões são vistos como sentenças em uma Teoria de Linguagens Formais para Visão por intermédio de uma gramática / formal. Uma das principais necessidades no projeto de um sistema estrutural de reconhecimento de padrões é o desenvolvimento experimental de uma gramática, capaz de representar a análise sintática necessária para se efetuar a classificação de forma automática. Ainda que não exista um conjunto universal de primitivas para o reconhecimento lingutstico de padrões, as expressões PDL de Alan Shaw são utilizadas para diversas aplicações, dentre as quais o reconhecimento de caracteres alfanuméricos / Abstract: The Pattern Recognition problem is divided into classification and description of the patterns, in which are used Fuzzy Logic techniques, giving flexibility 1n the recogn1t1on process and a tolerance capability to the system. From the var10us dist1ncts mathematical techniques used in the solution of the pattern recogn1t10n problem, there 1s the so called linguistic approach, where the patterns are represented as a string, tree or graph of its primitives and relations, and the decision process is in general a gramatical analysis procedure. With emphasis in the structural description of patterns, the syntactic approach try to establish an analogy between the structural analysis of the images and the syntax of a formal language. The patterns are seen as sentences in a Formal Theory of Vision Language by a formal grammar. One of the most important necessity in the project of a structural pattern recognition system is the experimental development of a grammar, capable of representing the needed syntactic analysis for doing the automatic classification. Even if a universal primitive set for the linguistic recognition of patterns does not exist yet, the PDL expressions of Alan Shaw can be utilized for various applications, from among the recognition of alphanumeric characters / Mestrado / Titulação

Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2013-12-05T19:29:55Z (GMT). No. of bitstreams: 0 Previous issue date: 1982Bitstream added on 2016-01-08T14:22:50Z : No. of bitstreams: 1 108685.pdf: 26771678 bytes, checksum: c67e040d5ec4b9b4d53ddf1616794881 (MD5)

Orientador : Luiz Paulo de Alcantara / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-14T02:44:00Z (GMT). No. of bitstreams: 1 SeoaneSeoane_JoseCarlos_M.pdf: 5952530 bytes, checksum: 2338ed178ae01cd64a0e466f94a54a57 (MD5) Previous issue date: 1991 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Filosofia

Orientador: Antonio Mario Antunes Sette / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-18T18:08:20Z (GMT). No. of bitstreams: 1 CifuentesVasquez_JoseCarlos_D.pdf: 2524797 bytes, checksum: 075a51ffdfe3d4f0012c2817c3615fd6 (MD5) Previous issue date: 1993 / Resumo: Não informado. / Abstract: Not informed. / Doutorado / Doutor em Matemática

Orientador: Jose Alexandre Durry Guerzoni / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-19T12:28:05Z (GMT). No. of bitstreams: 1 Magossi_JoseCarlos_M.pdf: 10085958 bytes, checksum: 78f696d242fe4880bc35c9334cf34e9c (MD5) Previous issue date: 1994 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Lógica e Filosofia da Ciência

Orientador: Andres Raggio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-20T02:47:32Z (GMT). No. of bitstreams: 1 Centenaro_IralinoFidencio_M.pdf: 1220197 bytes, checksum: eac1b52a24281e9708380f3d735c2f8b (MD5) Previous issue date: 1977 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática

Programa de Pós-Graduação em Ciências – Física de Materiais. Departamento de Física, Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto. / Submitted by Oliveira Flávia (flavia@sisbin.ufop.br) on 2015-04-24T17:35:02Z No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_EstudoModelosConservação.pdf: 1757239 bytes, checksum: c17144bfb0e5835c429c1560de8c8658 (MD5) / Approved for entry into archive by Gracilene Carvalho (gracilene@sisbin.ufop.br) on 2015-04-24T18:20:33Z (GMT) No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_EstudoModelosConservação.pdf: 1757239 bytes, checksum: c17144bfb0e5835c429c1560de8c8658 (MD5) / Made available in DSpace on 2015-04-24T18:20:33Z (GMT). No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_EstudoModelosConservação.pdf: 1757239 bytes, checksum: c17144bfb0e5835c429c1560de8c8658 (MD5) Previous issue date: 2015 / Nesse trabalho, investigamos o fenômeno de crescimento da superfície gerada pela deposição do tipo solido sobre sólido (SOS) segundo as regras que definem os autômatos celulares estocásticos propostos por Grassberger (modelos A e B), e pela propagação de danos no modelo de Ising unidimensional submetido a uma dinâmica proposta por Hinrichsen e Domany (HD). Esses modelos não pertencem à classe de universalidade da percolação direcionada (DP) e apresentam novos valores para expoentes críticos, cuja origem se deve à conservação de paridade (PC). Determinamos o expoente de persistência local _, expoente de crescimento _w, válido em tempos curtos, assim como os outros expoentes críticos associados ao crescimento de superfície (_ e z). Nossas estimativas para os expoentes _w, _ e z, se comparam bem com os resultados obtidos a partir de razões de inteiros propostas por Jensen para os expoentes _, || _ e __ . Além disso, através da introdução de um campo externo no modelo A de Grassberger mapeamos a transição da classe de universalidade da PC para a DP através do expoente _w. ______________________________________________________________________________________________ / ABSTRACT: In this work, we investigated the phenomena of surface growth by the solid-onsolid (SOS) deposition according to the rules that define the stochastic cellular automata proposed by Grassberger (A and B models), and the damage spreandig in an one-dimensional Ising model submitted to a dynamic proposed by Hinrichsen and Domany (HD). These models are known do not belong to the directed percolation universality class. They are characterized by different exponents, which are related to the parity conserving (PC). We estimated the local persistence exponent , growth exponent w, in short-time regimen, such as, other critical exponents associated to the surface growth ( and z). Our results for w, and z are in good agreement with those expected for parity conserving universality class. In the sequence, by introduction of an external symmetry breaking field on Grassbergers´s A model we studied the crossover from PC to DP universality class by surface growth.

In recent years, there is a growing interest in many-valued logics in many areas such as computer sciences automated theorem proving, approximate reasoning, multi-agent systems, program verication electrical engineering and digital circuits, linguistics, mathematics and algebra, philosophy, etc. In this context, the general problem of nding an axiomatization for nite many-valued logics has not yet been solved satisfactorily. For this, we must demonstrate the correction and completeness theorems of these logic systems, both mathematically rigorous. Soundness theorem is straightforward, however, it is known that the demonstration of the "completeness theorem"is much more sosticated and unique for each logic system. Completeness is one of the most important notions in logic and the foundations of mathematics. Completeness means the possibility of getting all correct and reliable schemata of inference by use of logical methods. When one wishes to build or design a many-valued logic system, he or she is implicitly looking for a system with a minimal set of axioms and rules. The purpose of this thesis is to establish a general algorithmic completeness proof procedure for nite many-valued logics. It is shown that a matrix is characteristic (sound and complete) for a many-valued nite logic system when, all successive correct extensions of this matrix have the same set of tautologies. It is also shown that in order to determine if a matrix is characteristic, all one has to do is to fetch from all the unit extensions those which are correct and then verify if they are repetitions of the matrix being considered. How to implement a computational procedure to demonstrate the completeness of a many-valued nite logic system is shown from these results. The new approach is a simpler and more uniform solution for the problem of nite many-valued logics axiomatization. / Nos últimos anos tem crescido o interesse nas denominadas lógicas multivalentes: no ramo da computação, em áreas como prova automática de teoremas, raciocínio aproximado, sistemas multi-agente e vericação de programas; na engenharia elétrica como em circuitos digitais; na área da matemática pura, como em provas de independência ou consistência, na teoria generalizada de conjuntos e estruturas algébricas universais e mesmo na linguística e losoa. Nesse contexto, o problema de axiomatização geral de lógicas nitas multivalentes ainda não foi resolvido de forma satisfatória. Para tal, devemos demonstrar os teoremas da correção e completude desses sistemas lógicos, ambos teoremas matematicamente rigorosos. De forma geral, a demostração do teorema da correção não pode ser considerada como uma diculdade pois é direta, bastando uma vericação nos axiomas e regras de inferência. No entanto, é sabido que em geral a demonstração do teorema da completude é muito mais sosticada e particular para cada sistema lógico. A completude é uma das noções mais importantes na Lógica e nos fundamentos da Matemática. Completude signica a demonstração da possibilidade de obtermos todos os esquemas corretos de inferência através do uso de um sistema formal lógico. Além disso, quando desejamos construir ou desenhar um sistema lógico multivalente implicitamente estamos procurando por um sistema com um conjunto mínimo de axiomas e regras. A proposta dessa tese é estabelecer um método algorítmico para demonstra ção da completude em lógicas nitas multivalentes. Demonstra-se que se uma matriz M é correta para um sistema lógico nito multivalente L e todas as suas extensões unitárias corretas são repetições da matriz M, então M é uma matriz característica de L. A partir desse resultado, são implementados procedimentos computacionais que demonstram a completude de um sistema lógico nito multivalente. A nova abordagem soluciona de uma forma mais simples e uniforme o problema da axiomatização de lógicas nitas multivalentes. / Doutor em Ciências

Orientador: Michael Beaumont Wrigley / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-26T10:05:31Z (GMT). No. of bitstreams: 1 Sarmento_GaribaldiMonteiro_D.pdf: 2167671 bytes, checksum: 2b263ef3901972c08f6bbd92cd223477 (MD5) Previous issue date: 2000 / Resumo: Tomando-se por base uma análise lógico-epistemológica da noção Fregeana de analiticidade, e uma (re)definiçâo dessa noção em termos de teoria de modelos, proponho uma abordagem 'neo-logicista' para fundamentação da aritmética elementar. Este enfoque lógíco-reducionista consiste na derivação formal dos axiomas da Teoria Geral de Conjuntos (arcabouço semântico para a aritmética de Peano em segunda ordem) de um sistema lógico de ordem superior, cuja base axiomático-definicional é caracterizada pelo acréscimo do axioma da extensionalidade, a um fragmento da lógica de segunda ordem (total), e pela introdução de um princípio de abstração analítico que denominamos de 'princípio de equipolência lógica'. Além disso, estabeleço um critério Iógico-epistemológico para a demarcação de definições contextuais analíticas baseado na (re)definição de analiticidade e no princípio de equipolência lógica / Abstract: Taking as starting point a logico-epistemological analysis of Frege's notion of analyticity, and a (re)definition of this notion in model-theoretic terms, I offer a 'neo-logicisl' approach to the foundations of arithmetic. This logico-reductionist approach consists in the formal derivation of the axioms of General Set Theory (which is the semantic framework for second-order Peano arithmetic) from a higher-order logical system, whose axiomatic-definitional basis consists of axiom of extensionality and an analytic principle of abstraction which we shall call the "principle of logical equipollence". Furthermore, I establish a logico-epistemological criterion for demarcation of analytical contextual definitions based on the {redefinition of analyticity, here proposed, and the principle of logical equipollence / Doutorado / Doutor em Filosofia

Orientador : Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-14T11:11:33Z (GMT). No. of bitstreams: 1 CifuentesVasquez_JoseCarlos_M.pdf: 4387558 bytes, checksum: 53ae15e0d9bb7091eead68294bfd8ecc (MD5) Previous issue date: 1988 / Resumo: Não encontrado / Abstract: Not informed / Mestrado / Mestre em Matemática