Made available in DSpace on 2015-03-04T18:57:57Z (GMT). No. of bitstreams: 1 thesis_final_raqueline.pdf: 1818351 bytes, checksum: 040ff54327a69213f7a1ff0da4a7fd7a (MD5) Previous issue date: 2014-03-14 / Quantum Markov chains or quantum walks have been playing an important role in the development of efficient quantum algorithms. Therefore, studying its properties, analyzing its behavior in different topologies, and seeing the impact of decoherence on these walks and its algorithms is fundamental to the development of the area. In this context, we contribute through the analysis of the following issues. For Szegedy's quantum walk, we analytically study its behavior in the cycle; we describe how to calculate the limit distribution by providing examples for the two-dimensional grid, cycle and complete graph; we study a model of decoherence inspired by percolation, where we define the decoherent quantum hitting time and we establish a intensity range of decoherence where the decoherent quantum hitting time is quadratically smaller than the classic; the detection algorithm has a quadratic gain for the same range, under the action of decoherence. For the coined quantum walk, we present simulations of the algorithm for evaluating boolean formulas, also considering a faulty oracle model. / As cadeias de Markov quânticas ou passeios quânticos tem desempenhado um papel importante no desenvolvimento de algoritmos quânticos eficientes. Dessa forma, estudar suas propriedades, analisar o seu comportamento em diferentes topologias, e ver o impacto da descoerência sob esses passeios e seus algoritmos e fundamental para o desenvolvimento da area. Nesse contexto, contribuímos com a analise das seguintes questões. Para o passeio quântico de Szegedy, estudamos analiticamente o seu comportamento no ciclo; descrevemos como calcular a distribuição limite apresentando exemplos para a malha bidimensional, grafo completo e ciclo; estudamos um modelo de descoerência inspirado em percolação, em que definimos o tempo de alcance quântico descoerente e estabelecemos um intervalo da intensidade de descoerência em que o tempo de alcance quântico descoerente e quadraticamente menor que o clássico; o algoritmo de detecção sob ação da descoerência continua com ganho quadrático para o mesmo intervalo. Para o passeio quântico com moeda, presentamos simulações do algoritmo para avaliar fórmulas booleanas, também considerando um modelo de oráculo defeituoso.

Submitted by Edisangela Bastos (edisangela@ufpa.br) on 2018-04-12T17:35:53Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_IdentificacaoParametrosModelos.pdf: 887694 bytes, checksum: bfde1ad38f06b5e3d7ff62cfbd701be1 (MD5) / Approved for entry into archive by Edisangela Bastos (edisangela@ufpa.br) on 2018-05-04T14:07:49Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_IdentificacaoParametrosModelos.pdf: 887694 bytes, checksum: bfde1ad38f06b5e3d7ff62cfbd701be1 (MD5) / Made available in DSpace on 2018-05-04T14:07:49Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_IdentificacaoParametrosModelos.pdf: 887694 bytes, checksum: bfde1ad38f06b5e3d7ff62cfbd701be1 (MD5) Previous issue date: 1982 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nos modelos de crescimento populacional aparecem parâmetros que precisam ser estimados de modo a ajustar estes modelos a dados observados. Estes modelos são expressos por sistemas de equações diferenciais não lineares as quais, geralmente, não podem ser explicitamente resolvidas, tornando assim, difícil o processo de estimação de parâmetros. Desta forma, o objetivo deste trabalho é estimar parâmetros em modelos discretos, obtidos com fundamento nos modelos anteriormente citados, e escolher a melhor técnica para isto. Sendo assim, no Capítulo I, com o propósito de motivação, é feito um estudo do modelo de crescimento populacional de duas espécies, competindo pelos mesmos recursos limitados, para mostrar a importância dos parâmetros. Em seguida o problema é formulado. No Capítulo II, devido às características próprias do modelo, o problema é abordado como um problema de estimação de parâmetros lineares. Por este motivo é feita urna descrição do método dos quadrados mínimos linear. No Capítulo III é mostrado que o problema considerado é um problema de estimação de parâmetros não lineares e em seguida é apresentado o método de Levenberg--Marquardt o qual é específico para resolver problemas deste tipo. Devido à não simplicidade do cálculo das derivadas, exigidas por este método, é mostrado também como foram obtidas estas derivadas. As dificuldades encontradas na aplicação de métodos que usam derivadas para resolver problemas do tipo considerado são citadas no Capítulo I. Assim é apresentado, neste capítulo, o método de Bremermann o qual dispensa o cálculo das derivadas e tem se mostrado, conforme o próprio autor, eficiente na resolução de problemas de estimação de parâmetros não lineares. Finalmente, no Capitulo V, são mostrados os resultados obtidos com os sistemas testes considerados e é feita a comparação entre os métodos citados.

Made available in DSpace on 2015-02-04T21:45:25Z (GMT). No. of bitstreams: 1 Rita de Cassia Ferraz.pdf: 1866679 bytes, checksum: b770cbcd115bf907dcc776658e072e9e (MD5) Previous issue date: 2007-08-07 / Este trabalho apresenta um Modelo de Estudante e um Modelo de Grupo para um ambiente desenvolvido para a Web que suporta a atividade de grupo no ensino com estudos de casos. Este ambiente é composto, entre outros, por uma ferramenta de chat e um editor de texto colaborativo. Através das interações realizadas via chat, as intenções de frases dos estudantes enviadas ao grupo são analisadas para identificar as habilidades colaborativas. O objetivo é verificar a convergência da comunicação entre os estudantes baseado nestas habilidades colaborativas e, quando necessário, fazer uma intervenção a fim de que a comunicação entre os membros do grupo possa se tornar efetiva.

Made available in DSpace on 2015-02-04T21:45:25Z (GMT). No. of bitstreams: 1 Silvio Luiz.pdf: 2742047 bytes, checksum: 10de74b8cc8c906d49315ee2f47f3470 (MD5) Previous issue date: 2008-05-07 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O desenvolvimento de material multimídia e interativo é uma atividade que tem ganhado importância cada vez maior no âmbito da aprendizagem eletrônica. O uso de tais materiais juntamente com novas e modernas abordagens pedagógicas pode tornar mais significativa a experiência de aprendizagem. A produção destes materiais é um processo complexo e caro, pois envolve um grande número de especialistas de diferentes áreas que devem trabalhar de maneira colaborativa. Segundo a experiência do LabVirt conduzida pela Universidade de São Paulo, para que tal produção seja eficiente, é necessário compartilhar objetos de aprendizagem desenvolvidos em outros processos de produção, além disso, o envolvimento dos estudantes no processo de produção contribui significativamente para a melhoria do aprendizado dos próprios estudantes. Este trabalho tem o objetivo de propor e avaliar infra-estruturas baseadas em grades computacionais no suporte à implementação das funções essenciais à produção, armazenamento e catalogação de objetos de aprendizagem. A tecnologia de grades computacionais prove suporte efetivo à criação de comunidades voltadas ao desenvolvimento e à utilização de objetos de aprendizagem, que estejam geograficamente dispersas e que envolvam pessoas de diferentes instituições trabalhando de forma colaborativa.

Made available in DSpace on 2015-02-04T21:45:26Z (GMT). No. of bitstreams: 1 Elcio Abrahao.pdf: 1127215 bytes, checksum: 685b20475f874a3f691c04eb7233574e (MD5) Previous issue date: 2007-03-19 / Neste trabalho foram desenvolvidas duas frentes de pesquisa. Na primeira foram estudados protocolos de comunicação para etiquetas identificadas por rádio freqüência (RFID). As também chamadas etiquetas inteligentes são capazes de armazenar informações e fazer algumas operações computacionais elementares. Estas informações podem ser lidas através de um aparelho leitor sem necessidade de contato físico ou visada, como nas etiquetas de código de barras. A comunicação é feita remotamente por rádio freqüência e esta característica permite que a etiqueta seja suscetível a uma série de ataques que tentam fraudar ou obter informações do usuário sem sua autorização. Um ponto importante na utilização dessas etiquetas é a transferência de propriedade de um usúario para outro. A fim de garantir a segurança e privacidade do usuário nesse momento foi desenvolvida uma nova funcionalidade emum protocolo já existente de comunicação entre etiqueta e leitor a fim de permitir que a etiqueta fosse transferida de dono sem riscos à segurança e à privacidade. O protocolo modificado foi chamado ROTEP. Na segunda frente de pesquisa foi proposta uma nova e mais rápida camada de difusão para a cifra de bloco AES. Essa nova camada substitui as camadas de rotação de bytes e transformação linear sobre colunas por uma nova matriz MDS e involutória. O objetivo é prover difusão completa em uma única iteração, melhorando significativamente a segurança da cifra. Os elementos da nova matriz MDS possuem baixo peso Hamming para proporcionar boa performance tanto na operação de ciframento quanto na de deciframento. Foi utilizada uma matriz de Cauchy ao invés de uma construção circular como na matriz original do AES, pois uma matriz circular não pode ser ao mesmo tempo MDS e involutória. O algoritmo modificado foi chamado MDS-AES.

Made available in DSpace on 2015-02-04T21:45:26Z (GMT). No. of bitstreams: 1 Vanderlei Costa.pdf: 1535805 bytes, checksum: 1edf57ffedf62a0db7a4c94312b486d6 (MD5) Previous issue date: 2008-10-03 / Plataformas de grade computacional têm sido adotadas para promover o compartilhamento, agregação e coordenação de grandes quantidades de recursos geograficamente distribuídos e multi-institucionais. Em tais ambientes, que envolvem grandes quantidades de recursos localizados em diversos domínios administrativos e sujeitos a uma diversidade de políticas de controle de acesso, o controle de acesso é obrigatório. Como principal contribuição, o presente trabalho estende o arcabouço (framework) de portais GridSphere com o objetivo de fornecer ferramentas de controle de acesso que podem ser utilizadas para o desenvolvimento de aplicaçõess para grades computacionais. Os mecanismos e ferramentas propostos também realizam o controle de acesso no nível de invocação de serviço, que pode ser usado por qualquer aplicação compatível com OGSA que realize invocações a serviços de grade. Nossa abordagem permite a integração e consistência entre políticas de autorização aplicadas no lado do portal e no lado do provedor de serviço.

Made available in DSpace on 2015-02-04T21:45:28Z (GMT). No. of bitstreams: 1 Cayton Marques.pdf: 891116 bytes, checksum: e853859839384d700926d77414c4a3d1 (MD5) Previous issue date: 2006-02-09 / Modelos de componentes são evoluções naturais para as tecnologias de objetos distribuídos, o modelo de componentes CORBA (CCM ou CORBA Component Model) descreve um framework para a criação de aplicações CORBA baseadas em componentes e que encapsulam os detalhes de implementação de servidores CORBA. Componentes criados usando CCM são mais flexíveis do que os criados usando outros modelos de componentes como: COM+/.NET e EJB, em especial quanto a customização de seu comportamento. O trabalho tem como objetivo geral avaliar os aspectos funcionais internos de um contêiner que suporta componentes CCM, para este fim desenvolveu-se um protótipo funcional que implementa um subconjunto da especificação do modelo de componentes CORBA sobre o qual se executou uma aplicação de exemplo. Os resultados das experiências realizadas durante o estudo, interpretação da especificação, a implementação e execução tanto do contêiner quanto da aplicação de testes são descritos e comentados.

Made available in DSpace on 2017-07-21T19:25:49Z (GMT). No. of bitstreams: 1 MARLITEREZINHA.pdf: 5194218 bytes, checksum: 81d845c93e39f09376651751368680fb (MD5) Previous issue date: 2008-01-28 / We considered coupled maps lattices with long-range interactions to study chaos synchronization. Coupled map lattices have been intensively investigated since early 80's as models to understand many spatiotemporal phenomena observed in extended spattially system, consequently spatiotemporal chaos. We used the complex order parameter to quantify chaos synchronization for a one-dimensional chain of coupled logistic maps with a coupling strength which varies with the lattice in a power-law fashion. Depending on the range of the interactions, complete chaos synchronization may be attained. Furthermore, we also calculated the Lyapunov spectrum which give us information about the degreeof chaoticity of the lattice. / Consideramos redes de mapas acoplados com interacões de longo alcance para estudar a sincronizacão de caos. Redes de mapas acoplados têm sido investigadas intensivamente desde os anos 80 como modelos para entender muitos fenômenos espaço temporais observados em sistemas espacialmente estendidos, consequentemente caos espaço temporal. Usamos o parâmetro de ordem complexo para quantificar a sincronização de caos em uma rede unidimensional de mapas logosticos acoplados com a intensidade de acoplamento variando conforme uma lei de potência. Dependendo do número de mapas, da intensidade de acoplamento e do alcance das interacões, a sincronizacão de caos completa pode ser obtida. Além disso, também calculamos o espectro de Lyapunov que fornece as informações sobre o grau de caoticidade da rede.

Made available in DSpace on 2017-07-21T19:26:06Z (GMT). No. of bitstreams: 1 Marli Terezinha Van Kan.pdf: 11927221 bytes, checksum: 471c3fab90a79cbb9d68147d12d6f6f6 (MD5) Previous issue date: 2013-06-18 / Networks of coupled map are used as models to understand the spatiotemporal phenomena in spatially extended systems. In this work it is considered a network of coupled logistic maps in which the interaction among the elements decays according to a power law. In order to characterize the spatial distribution of the logistic map network state variables it was used diagnostic complex order parameter to quantify the synchronization of chaos. The synchronization and suppression of chaos were obtained in the parameter space through coupling values of the intensity and range of interaction among network elements. Others measures were calculated as the spectrum of Lyapunov, Lyapunov dimension and Kolmogorov-Sinai entropy. From the study of the coupled maps network, it was investigated the dynamics of a neuron network by means of collective behavior, and the synchronized state. Hindmarsh-Rose model is the model neuron chosen in this work, and it is described by a system of three first order differential equations coupled in the state variable that represents the membrane potential which shows a succession of alternating activity and rest state. The simulation allowed us to understand the case of a neuron Hindmarsh-Rose and its dynamic properties generation of pulses. The coupling case between two neurons in the master-slave configuration and synchronization in the network of neurons with non-local coupling were used in this work. The network of coupled logistic maps and the Hindmarsh-Rose neurons networks were investigated in the parameter spaces since the two networks constituents are different. / Redes de mapas acoplados são utilizados como modelos para entender fenômenos espaçotemporais em sistemas espacialmente estendidos. Neste trabalho considera-se uma rede de mapas logísticos acoplados onde a interação entre os elementos decai segundo uma lei de potência. Para caracterizar a distribuição espacial das variáveis de estado da rede de mapas logísticos acoplados foi utilizado o diagnóstico parâmetro de ordem complexo a fim de quantificar a sincronização de caos. A sincronização e a supressão de caos foram obtidas no espaço de parâmetros por meio de valores da intensidade de acoplamento e do alcance de interação entre os elementos da rede. Outras medidas foram calculadas sendo o espectro de Lyapunov, a dimensão de Lyapunov e a entropia de Kolmogorov-Sinai. A partir do estudo da rede de mapas acoplados, foi investigada a dinâmica de uma rede de neurônios por meio do comportamento coletivo e do estado sincronizado. O modelo Hindmarsh-Rose é o modelo de neurônio escolhido para estudo, descrito por um sistema de três equações diferenciais de primeira ordem acopladas em que a variável de estado que representa o potencial de membrana mostra uma sucessão de alternância entre estado de atividade e de repouso. A simulação possibilitou a compreensão do caso de um neurônio Hindmarsh-Rose e suas propriedades dinâmicas de geração de pulsos. O caso de acoplamento entre dois neurônios na configuração mestre-escravo e a sincronização na rede de neurônios com acoplamento não local foram tratados neste trabalho. A rede de mapas logísticos acoplados e a rede de neurônios Hindmarsh-Rose foram investigadas no espaço de parâmetros, uma vez que os constituintes das duas redes são diferentes.

Made available in DSpace on 2017-07-24T19:37:58Z (GMT). No. of bitstreams: 1 dissertacao parcial.pdf: 448686 bytes, checksum: 709cf1be3dcb35f744daa6682aa956b5 (MD5) Previous issue date: 2008-03-14 / There has been substantial interest in the properties of substituted meso-tetraarylporphyrins and metallo porphyrins as catalysts for oxidation of hydrocarbons and oxygen detection, among others. This work describes the synthesis of a new porphyrin, TBMPP 27, and its metallo complexes 28 and 29. Herein it was used a readily available reactant as starting material 22, vanilin, which was submitted too alkylation with n-bromobutane affording the synthetic precursos 25. The desired porphyrin 27, was obtained by reacting pyrrole and the corresponding aldehyde in the presence of propionic acid (Alder - Longo method). The purified porphyrin 27 was then subjected to the meallation process. the synthesized compounds were characterized by IR, UV-Vis, NMR and EPR spectroscopy; / O interesse pela síntese de porfirinas e derivados vem se tornando cada vez mais crescente, devido à grande eficiência catalítica de seus derivados metalados em reações de oxidação de hidrocarbonetos e detecção de oxigênio, entre outras. Neste sentido foi realizado um estudo visando a síntese de uma nova porfirina, a TBMPP 27, e seus derivados metalados 28 e 29. A porfirina 27 foi preparada à partir de um reagente acessivel e de baixo custo, a vanilina 22. A alquilação de 22 com n-bromobutano levou ao precursos sintetico 25 que foi então submetido às condições de Adler-Longo, pirrol e ácido propiônico, fornecendo a porfirina desejada 27. A porfirina base livre purificada foi entao submetida ao processo de metalação. Os novos compostos sintetizados foram caracterizados por espectroscopia de IV, UV-Vis,RMN e RPE.