Submitted by Isaac Francisco de Souza Dias (isaac.souzadias@ufpe.br) on 2016-07-08T18:20:15Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertacao_Versao_Digital.pdf: 3769752 bytes, checksum: 03891a74bed6d1446c1f5738946e6cef (MD5) / Made available in DSpace on 2016-07-08T18:20:15Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertacao_Versao_Digital.pdf: 3769752 bytes, checksum: 03891a74bed6d1446c1f5738946e6cef (MD5) Previous issue date: 2016-02-26 / CAPES / Dados registrados sequencialmente sobre um determinado período são frequentes em várias aplicações; tais como, em reconhecimento padrão (ISHI et al., 1998) e em processamento de imagens de radar (DUTRA, 1989). Diferentemente de contextos suportados pela independência das observações, dados desta natureza impõem uma estrutura de correlação que deve ser considerada nos modelos. Apresentamos inicialmente um estudo de desempenho via simulação de Monte Carlo para três métodos de estimação na classe de modelos ARMA: Máxima Verossimilhança Condicional, Não Condicional e Mínimos Quadrados Não Condicional. Vários estudos têm sido feitos neste sentido (vê, por exemplo, YU, 2004). Entretanto, faltam estudos que trabalhem sobre uma discretização razoável da região de estabilidade e que avaliem a influência da estimação sobre densidades ajustadas dos processos ARMA. Para vários pontos paramétricos da região de estabilidade, os três métodos são comparados à luz de medidas da Teoria da Informação, a saber as divergências de Kullback-Leibler, Jensen-Shannon, Battacharyya e Hellinger. Adicionalmente, as medidas utilizadas para quantificação do desempenho dos métodos de estimação são entendidas como elementos na classe (h, ) de divergências proposta por Salicrú et al. (1994) e cinco novos testes de hipótese bilaterais (caso em que não há testes uniformemente mais poderosos) para identificação de modelos ARMA são propostos e comparados com o teste da razão entre verossimilhanças. Além disso, vários trabalhos têm avançado quanto à proposta de critérios para seleção de modelos na classe ARMA. McQuarrie e Tsai (1998) utilizaram a probabilidade de overfitting (isto é, escolher o modelo com ordem maior dado que o modelo verdadeiro tem ordem menor) como critério de comparação. A ideia de quantificar o erro da escolha entre modelos de probabilidade também foi estudada por Shannon (1948) que propôs os conceitos de informação, entropia e divergência. Nesta dissertação, propomos novos critérios para seleção de modelos em séries temporais baseados em medidas de distância. O desempenho dos novos critérios quantificados em termos da probabilidade de overfitting é comparado com outros métodos da literatura. Finalmente, as medidas derivadas são utilizadas como classificadores em imagens PolSAR. / Data recorded sequentially on a given period are common on several applications; such as in pattern recognition (ISHI et al., 1998) and in radar image processing (DUTRA, 1989). Unlike contexts supported by independence assumption, data of this nature impose correlation patterns that should be considered in used models. In this dissertation, we first present a performance study of three estimation methods in the ARMA class: Conditional and Non-Conditional Maximum Likelihood and Least Squares. Several works have addressed the quantification of the performance on ARMA estimation methods. However, they neither present studies on several points of stability regions nor consider the effect of estimation procedures on ARMA process densities. These methods are compared by means of the Information Theory measures, say Kullback-Leibler, Jensen-Shannon, Battacharyya and Hellinger divergences. Further, the measures used to quantify the performance of the estimation methods are understood within the class (h, )–divergences proposed by Salicrú et al. (1994) and five new bilateral hypothesis tests (case on which there are not uniformly most powerful tests) for ARMA identification are proposed and compared with the likelihood ratio test. McQuarrie e Tsai (1998) considered the overfitting (to study and the performance of those methods) probability as a comparison criterion. The idea of quantifying the error of the model choose was introduced by Shannon (1948) who proposed the concepts of information, entropy and divergence. In this dissertation, we propose new selection criteria for time series models. The proposals are formulated taken into account distance measures between probability distributions. The performance of new criteria are quantified in terms of the overfitting probability and compared to those due to literature methods. Finally, the derived measures are employed as classifiers on PolSAR images.

Orientador: Jacques Wainer / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-21T10:57:52Z (GMT). No. of bitstreams: 1 Monteiro_AnaMaria_M.pdf: 2474089 bytes, checksum: eb28e3b04a983ea35e09120139c1d298 (MD5) Previous issue date: 1996 / Resumo: O termo agente é usado com freqüência na área de representação de conhecimento e raciocínio. Diferentes sistemas foram propostos para modelar um agente raciocinando acerca de seu ambiente, um ambiente que, em muitas aplicações, pode incluir outros agentes. Assim, um agente, às' vezes, deve interagir com outros agentes para levar a cabo uma tarefa ou atingir um objetivo. Neste caso, pode ser importante para o agente representar o conhecimento dos outros agentes com os quais ele interage e pode necessitar raciocinar acerca do conhecimento desses agentes para comunicar-se com eles. Por outro lado, no contexto dos sistemas inteligentes, um agente pode necessitar realizar inferências na presença de informação incompleta ou obter conclusões em ausência de informação em contrário. Então o agente necessita dispor de mecanismos de raciocínio não-monotônicos. O trabalho apresentado aqui relaciona-se com as duas questões anteriores: a, proposta de lógicas não-monotônicas que não só modelam o agente raciocinando não-mono tonicamente a respeito do mundo, mas também a respeito do conhecimento de outros agentes. Este trabalho propõe a extensão de duas famílias de lógicas, para permitir o tratamento de fórmulas que contêm operadores de crenças. Mais especificamente: - desenvolvemos duas lógicas condicionais que permitem raciocinar acerca das crenças de um outro agente (o qual raciocina também na lógica condicional). Discutimos também as propriedades de tais lógicas. -propomos uma lógica preferencial multiagentes, baseada numa relação de preferência proposicional, de forma que tudo ,aquilo que é capturado por essa relação de preferência proposicional translada-se "corretamente" à lógica multiagentes. / Abstract: The term agent is frequently used in the area of knowledge representation and reasoning. Different systems have been proposed to model an agent reasoning about his environment, which in many applications includes other agents. Thus, an agent sometimes must interact with other agents to accomplish a task or a goal. If that is the case, it may be important for the agent to represent the knowledge of other agents with whom it interacts and may find it necessary to reason about their knowledge in order to communicate with them. On the other hand, in the framework of an intelligent system, an agent must make certàin inferences in the face of incomplete information or reach conclusions which rely, in part, on the "absence of evidence to the contrary". Then the agent need to be invested with non-monotonic reasoning mechanisms. The work presented here is concerned with the two issues above: the proposa:l of nonmonotonic logics that not only model the agent reasoning non-monotonically about the world, but also about the knowledge of other agents. This work proposes extensions of two families of logics in such a way that those extensions are able to deal with formulas that contain belief operators. More specifically: - we develop two conditionallogics that allow one to reason about the belief of another agent (which reasons in conditionallogic himself). We also discuss the properties of such logics. - we propose a multi-agent preferential logic, based on a propositional preference relation, in such a way that, whatever is captured by the propositional preference relation, it is carried over "correctly" to the multi-agent logic. / Mestrado / Mestre em Ciência da Computação

Orientador: Renato Baldini Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-22T04:28:51Z (GMT). No. of bitstreams: 1 GarciaFernandez_EvelioMartin_M.pdf: 1303687 bytes, checksum: bf6bd2431a8dd87fa85f3f90a571f5b0 (MD5) Previous issue date: 1997 / Resumo: Esta tese apresenta um método para procurar códigos que combinem características de controle de erros e propriedades de codificação de linha. Tradicionalmente isto tem sido feito através de duas operações de codificação em cascata. Existem algumas desvantagens com este tipo de configuração: a natureza não linear do decodificador de linha pode levar a propagação de erros, e mais ainda, ambas as operações de codificação introduzem redundância na mensagem digital para faze-la compatível com as características físicas do canal de comunicação. Como a redundância é introduzida duas vezes, a taxa de transmissão de dados é reduzida. No método apresentado neste trabalho, os códigos de blocos com "runlength" limitado são obtidos a partir de uma classe lateral apropriada de um código de bloco linear transparente. O método é baseado na modificação da matriz geradora na forma sistemática do código de bloco transparente e não da matriz de verificação de paridade como usualmente é feito. Vários algoritmos são apresentados para determinar o limitante mínimo para o "runlength" e para encontrar um código específico que satisfaz esse limitante. Os resultados para vários códigos são apresentados em tabelas. Finalmente, o efeito da limitação do "runlength" desses códigos é examinado em termos do espectro de potência dos mesmos. As principais vantagens do método proposto são sua simplicidade e generalidade, ou seja, o método pode ser aplicado em qualquer código de bloco transparente sem restrições de comprimento ou distância mínima de Hamming / Abstract: The present work presents a method to find codes which combine error control with linecoding features. Traditionally, this has been achieved by cascading these two separate coding operations. There are some disadvantages with this type of coding configuration; in particular, the non linear nature of the line decoder can lead to error propagation. On the other hand, both coding operations involve the introduction of redundancy into a digital message to make it compatible with the physical characteristics of the available channel. As redundancy is introduced twice, at each stage the rate of the transmitted data is reduced in the method presented here, the combined codes are obtained by taking an appropriate coset of a modified linear transparent error control code. The method is based on the modification of the generator matrix of the transparent linear systematic block code instead of the parity check matrix as usual. Algorithms are presented for determining the minimum runlength bound for a given code and for finding the particular code that satisfies these runlength bounds. The results for a wide range of codes are presented in tabular form. Finally, the effect of limiting the runlength of these codes is examined in terms of its power spectrum. The main advantages of the method presented here are its simplicity and generality, i.e., it can be applied in any transparent block code with no restriction of block length or minimum Hamming distance / Mestrado / Mestre em Engenharia Elétrica

Orientador: Jacques Wainer / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-23T12:34:38Z (GMT). No. of bitstreams: 1 Nalon_Claudia_M.pdf: 2467341 bytes, checksum: 9f24d9238b525a65fc41d8409dadac9b (MD5) Previous issue date: 1997 / Resumo: As lógicas não-monotônicas podem ser classificadas, segundo as conclusões que podem ser obtidas, em fracas ou fortes. As lógicas fortes, entre as quais se incluem sistemas nãomonotônicos clássicos [Reiter, 80] [McCarthy,80] [Moore, 85] [Marek e Truszczynski, 91], permitem conclusões não desejáveis, deixando de tratar aspectos como, por exemplo, especificidade. Lógicas não-monotônicas fracas, como as condicionais [Delgrande, 87] [Boutilier, 94], não permitem algumas conclusões desejáveis, como as que tratam de irrelevância e herança de propriedades, por exemplo. Esta tese apresenta a semântica da Lógica Condicional Forte (LCF), que atende às características gerais da relação de conseqüência não-monotônica preferencial [Kraus et aI, 90], suportadas pelas lógicas condicionais, mas que, além disso, também lida com outros modos de raciocínio (irrelevância, herança e ambigüidade) não tratados por tais lógicas. A definição da semântica do condicional é mais resttitiva e, além disso, diferentemente de enfoques recentes, que procuram fortalecer lógicas já existentes através de filtros sobre o conjunto de modelos, é proposto um método para a construção dos modelos a partir de. informação local (obtida dos condicionais individualmente) e global (obtida dos condicionais conjuntamente) extraídas diretamente da base de conhecimento / Abstract: Not informed / Mestrado / Mestre em Ciência da Computação

Orientador: Jaime Portugheis / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-23T16:01:49Z (GMT). No. of bitstreams: 1 Holanda_CarlosEduardoAlbuquerquede_M.pdf: 3661981 bytes, checksum: 5ab288fb821a9f9ac0f4f89268f1b4da (MD5) Previous issue date: 1998 / Resumo: Neste trabalho estuda-se a terminação da treliça de codificadores convolucionais catastróficos binários através dos métodos" Zero Tail" (ZT) e "Tail Biting" (TB). É observado que o método TB não pode ser aplicado de maneira simples para o caso em que o codificador é catastrófico. Sendo assim, um método TB modificado é sugerido. Uma busca computacional de codificadores catastróficos baseada no algoritmo de Larsen foi feita. Alguns codificadores que possuem distância linha atingindo o limitante de Heller foram obtidos. Sistemas de modulação 4-PSK codificada foram projetados baseados nos códigos obtidos. Estes sistemas apresentam melhor desempenho (em canais AWGN e com desvanecimento Rayleigh) do que sistemas similares derivados de codificadores não-catastróficos / Abstract: In this work, trellis termination of binary catastrophic convolutional encoders obtained by the Zero Tail (ZT) and Tail Biting (TB) methods is studied. It is observed that the TB method can not be applied in a simple way when the encoder is catastrophic. Thus, a modified TB method is suggested. Catastrophic encoders were obtained by using a computer search based on Larsen's algorithm. Some of these encoders have their row distance reaching the Heller bound. 4- PSK coded modulation schemes were designed based on these obtained codes. These schemes outperform (on an AWGN and a Rayleigh fading channel) similar schemes derived from non-catagtrophic encoders / Mestrado / Mestre em Engenharia Elétrica

Muito embora a eletroencefalografia continue sendo amplamente empregada no estudo e diagnóstico da epilepsia, as imagens funcionais de ressonância magnética tornaram-se uma das principais ferramentas de acesso não invasivo às funções normais do cérebro. Atualmente, é uma realidade clínica a aplicação dessas técnicas para o mapeamento pré-cirúrgico e também nos estudos básicos em neurociência. Entretanto, em muitos casos é necessário um estudo combinado dessas duas técnicas. De um modo geral os sinais obtidos em experimentos de ressonância magnética funcional (fMRI) devem ser processados a fim de revelar o mapa de ativação, relativo ao estímulo aplicado. Entretanto até a presente data não há um método consensual para a análise dos sinais de fMRI. Nesse sentido, apresentamos nesse trabalho dois novos métodos para a análise de sinais de fMRI baseados em conceitos de teoria de informação utilizando a entropia de Tsallis. O primeiro método consiste em uma alternativa para análise de fMRI obtida através de paradigmas evento-relacionados, sem que a forma da resposta ao estímulo seja levada em conta. Utilizando a teoria de informação, consideramos a evolução temporal da entropia do sinal sem realizar nenhuma hipótese sobre a forma da função de resposta. O método se mostrou capaz de discriminar regiões ativas e não ativas em paradigmas motores e visuais. Através de simulações, observamos que o nosso método se apresenta mais estável com o o aumento do ruído quando comparado com o método clássico. O segundo método que desenvolvemos para análise de dados de fMRI (paradigmas em bloco) baseia-se no conceito de informação mútua generalizada (GMI). Neste sentido, obtivemos um amplo espectro de resultados dependentes do parâmetro q de Tsallis. Assim, realizaram-se análises em dados simulados de modo a construir as curvas características de um sistema receptor (curvas ROC). Determinando os parâmetros que avaliam a qualidade das curvas otimizamos os valores de q . Tanto os resultado obtidos das simulações quanto os obtidos através de imageamento em voluntários forma analisados comparando-se os métodos clássicos com o GMI. Outrossim, a determinação do foco epileptogênico é de grande interesse no diagnóstico e profilaxia da epilepsia. Essa determinação envolve muitas vezes a detecção da atividade anormal que ocorre entre as crises (atividades interictais). Esta tarefa demanda muito tempo dos neurofisiologistas por ser realizada através de inspeção visual. Os eventos anormais mais comumente observados apresentam duas componentes, uma de alta freqüência (ponta) e outra de mais baixa (onda). Assim sendo, desenvolvemos um algoritmo que se utiliza do conceito de multiresolução para detecção automática das atividades anormais e localização aproximada do foco epileptogênico. Como resultado, a localização do foco obtida através do algoritmo coincidiu com a indicada pelo neurofisiologista através da metodologia usual. As duas técnicas EEG e fMRI juntamente com os métodos propostos constituem o primeiro passo para um sistema de auxílio diagnóstico e planejamento cirúrgico.

Orientador: Jaime Portugheis / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T20:42:33Z (GMT). No. of bitstreams: 1 Cosac_MiguelDavid_M.pdf: 1166469 bytes, checksum: 717c078b10a61078c901345a0bcc2bc1 (MD5) Previous issue date: 2004 / Mestrado

Orientador: Helio Waldman / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-25T15:08:31Z (GMT). No. of bitstreams: 1 Silva_RonyMarkda_M.pdf: 4446208 bytes, checksum: 7bd3e97e3e0309cbd788a2951f0917a4 (MD5) Previous issue date: 1999 / Resumo: Este trabalho objetiva o estudo de códigos de linha aplicados à transmissão óptica visando uma economia do número de fótons por bit necessários a este tipo de comunicação. Os códigos escolhidos são aqueles com restrições (d,k) e RLL ( Runlengthlimited). É definido genericamente um Ganho de Eficiência Fotônica, obtido quando uma codificação de linha é empregada. A seguir, são obtidas expressões para o cálculo deste ganho e para a determinação das curvas de entropia versus esparsidade, visando encontrar-se o ponto de operação de Máxima Eficiência Fotônica. A análise das curvas conseguidas é apresentada, bem como os métodos numéricos usados na sua confecção. Um exemplo de aplicação é desenvolvido, mostrando-se o estudo e análise do projeto completo de um código com restrição d =2. Como conclusão, os resultados conseguidos demonstraram que a codificação de linha na transmissão óptica é uma alternativa interessante para se reduzir a potência óptica inserida na fibra, com conseqüente diminuição dos efeitos não-lineares da mesma, tendo uma potencial aplicação em Sistemas WDM (Wavelength Division Multiplexing ) / Abstract: The present work aims at the study of line codes for Optical Transmission leading to an economy in the number of photons per bit required by this kind of communication. The codes chosen are those with (d,k) and RLL (Runlength-limited) constraints. A Photonic Efficiency Gain is generically defined, which takes place when a line coding is used. Next, the mathematical expressions to calculate that gain and to allow the construction of graphics of Entropy versus sparseness are obtained, so that a Maximum Photonic Efficiency operating point can be determined. Then, a graphical analysis is presented, as well as the numerical methods used to obtain those graphics. An application example is developed, showing the study and analysis of a complete project of acode with the d =2 constraint. As a conclusion, the results obtained throughout the work showed that line coding in optical transmission is an interesting alternative to reduce the optical power inside the fiber, decreasing its non-linear effects, with a potential practical application in WDM Systems / Mestrado / Mestre em Engenharia Elétrica

Orientador: Jacques Marie Edme Vielliard / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Artes / Made available in DSpace on 2018-08-04T16:35:46Z (GMT). No. of bitstreams: 1 SouzaFilho_NilsonEvilasiode_M.pdf: 2433772 bytes, checksum: 78d848f98ed9323710a846e64e57312b (MD5) Previous issue date: 2004 / Resumo: Baseando-se em estudos sobre o repertório vocal da espécie Turdus rufiventris (Aves, Passeriformes, Turdinae), o objetivo nesta pesquisa é elaborar um método para classificação semi-automática de notas (unidades contínuas de som) baseado em cálculos de correlação aplicados a imagens, cuja técnica é conhecida como "Template Matching". Como se trata de imagens espectrográficas, o método foi chamado de SITM ("SpectrographicImage Template Matching").Essa técnica de comparação de imagens está sendo incorporada como tIIIiaforma compacta de análise bioacústica, facilitando o cálculo de parâmetros relacionados à teoria da comunicação.A avaliação de desempenho do SITM foi realizada com a utilização de gravações do canto de três indivíduos da espécie T. rufiventris obtidas na natureza, e depositadas no Arquivo Sonoro Neotropical (ASN) da Universidade Estadual de Campinas - UNICAMP. Os resultados demonstraram que o SITM reconhece corretamente, com uma confiança de 96%, de 77% a 97% das notas do indivíduo 08, de 64% a 82% das notas do indivíduo 15 e de 74% a 97% das notas do indivíduo 26. Esses resultados apresentaram intervalos de confiança significativos, entretanto não o suficiente para que o SITM possa ser utilizado.em laboratório. Como os erros ocorridos no processo da pesquisa podem ser corrigidos no futuro, o' SITM pode se tomar um método muito eficaz. Otimizando o algoritmo de classificação e utilizando-se novos recursos é possível criar um software científicomodernona área de bioacústica / Abstract: Based on studies of vocal repertoire of the Rufous-bellied Thrush Turdus rufiveniris (Aves, Passerifonnes, Turdinae), the objective in this research is to elaborate a method for semi-automatic c1assification of the songs notes (continuous units of sound). This research is based on calculations of correlation applied to images; through the technique know as Template Matching. As it deals with spectrographic images, the method was called SITM (Spectrographic Image Template Matching). This technique of comparison of images is begging incorporated into a compact fonn of bioacustic anaIysis, faciIitating the calculation of parameters related to the theory of communication. The evaluation of perfonnance of SITM was carried out using songs of three individuaIs of T. rufiventris, recorded in the wild and deposited in the Neotropical Sound Archive (ASN) of the State University of Campinas (UNICAMP), Brazil. The results had demonstrated that SITM recognizes correct1y,with a 96% confidence, 77 to 97% of the notes of individual 08, 64' to 82% of the notes of individual 15 and 74 to 97% of the notes of individual 26. These results are that occurred in this process can be corrected in the future, when SITM can become a very efficient method. Optimizing the c1assificationalgorithm and using new tools, it will be possible to create modem scientific software in the biocustic area / Mestrado / Mestre em Multimeios

Orientador: Renato Baldini Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e Computação / Made available in DSpace on 2018-08-03T16:19:21Z (GMT). No. of bitstreams: 1 Barros_JosedaSilva_M.pdf: 832396 bytes, checksum: 7c6800b84777316838807b03162e680f (MD5) Previous issue date: 2003 / Mestrado