• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 165
  • 26
  • 25
  • 25
  • 25
  • 18
  • 7
  • 7
  • 7
  • 7
  • Tagged with
  • 167
  • 167
  • 78
  • 38
  • 33
  • 28
  • 28
  • 27
  • 26
  • 25
  • 25
  • 22
  • 20
  • 19
  • 18
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
31

Detecção de alterações de conteúdo em Redes P2P para transmissões de mídia contínua ao vivo

Schimidt, Emanuel Amaral 05 December 2011 (has links)
Resumo: E notável o crescente uso da Internet para a transmissão de vídeos, sejam eles estáticos, com conteúdo previamente armazenado, ou dinâmicos, com conteúdo gerado ao vivo, no momento de sua exibição. Enquanto em transmissães estáticas pode-se carregar completamente o conteúdo e assisti-lo sem saltos, em uma transmissão dinâmica essa característica é impraticável. As redes peer-to-peer (P2P) têm sido cada vez mais utilizadas para transmissões de mídias contínuas ao vivo. Um servidor fonte é responsável pela inserção inicial dos dados na rede. Cada usuário que está acompanhando a ransmissão, também chamado de peer, repassa os dados recebidos para outros usuários, ou seja, cada peer participante compartilha com os demais o conteúdo que possui. Essa estratégia diminui otencialmente a carga sobre o servidor fonte que realiza a transmissão. Como os usuários são esponsáveis pela difusão dos dados, um problema surge: a poluição de conteúdo. Um dado fica poluído quando, intencionalmente ou não, algum usuário repassa conteúdo incorreto para seus vizinhos, ou seja, um conteúdo diferente daquele gerado pelo fonte. O presente trabalho expõe uma nova solução para a detecção de alterações de conteúdo utilizando o diagnóstico baseado em comparações. Para realizar o diagnóstico, os participantes da rede P2P executam comparações sobre o conteúdo recebido de seus vizinhos. O resultado destas comparações permite a classificação dos peers em conjuntos com o objetivo de detectar se há poluição de conteúdo e quem são os peers poluídos. Essa estratégia foi implementada no Fireflies, um protocolo escalável para redes overlai tolerante a intrusões. Os resultados obtidos através de experimentos de simulação demonstraram que essa estratégia é viável para a detecção de alterações no conteúdo transmitido entre os usuários, além de apresentar baixa sobrecarga no tráfego da rede.
32

Programação de horários usando um algoritmo de busca em vizinhança variável

Silva, Odilon Novaes [UNESP] 20 December 2013 (has links) (PDF)
Made available in DSpace on 2014-06-11T19:22:34Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-12-20Bitstream added on 2014-06-13T20:29:05Z : No. of bitstreams: 1 000750866.pdf: 4302130 bytes, checksum: efac3d1d795a3f0286001041f918cb45 (MD5) / Por se tratar de uma tarefa complexa, as instituições passaram a recorrer a diversas metaheurísticas no intuito de resolver um problema árduo e complexo que é a elaboração de grade horária. No Brasil, com o advento do desenvolvimento da microinformática a partir da década de 90, do século XX, esse problema foi tratado com o uso de ferramentas de programação linear e métodos matemáticos baseados em otimização clássica. Posteriormente, passou a ser executado pelas universidades públicas e privadas a partir de propostas computacionais, desenvolvidas para a resolução desse tipo de problema, usando técnicas fundamentadas no uso de metaheurísticas. O presente trabalho visa projetar e implementar computacionalmente um algoritmo tipo VNS (do inglês Variable Neighborhood Search) para resolver o problema de programação de horários em ambientes universitários; realizar uma análise teórica e experimental do desempenho do algoritmo VNS e discutir a aplicação desse algoritmo na otimização de outros problemas da família de problemas do tipo timetabling. Para isso foi desenvolvido um algoritmo de busca em vizinhança variável para resolver um tipo de problema da família timetabling em ambientes universitários. / Building of timetables is a hard work to accomplish due to its complexity, so that institutions started to make use of several Metaheuristics for solving timetabling problems. In Brazil, the development of Computer Science from the Nineties, within the late 20th century, allowed to handle this kind of problem with Linear Programming Tools and Mathematical Methods based upon Classical Optimization Techniques. Afterwards, the same task was carried out by private and public universities using computational proposals based upon Metaheuristics. The aim of this work is to project and implement VNS algorithm computationally to solve timetabling problems in university environments; to provide a theoretical and experimental analysis of the VNS algorithm performance and discuss its application in order to optimize any other type of timetabling family problems. Thus, an algorithm of variable neighborhood search was developed for solving problems of timetabling family in university environments.
33

Paralelização do detector de Bordas Canny para a Biblioteca ITK utilizando Cuda

Lourenço, Luis Henrique Alves 16 January 2012 (has links)
Resumo: Aplicações de Processamento de Imagens podem exigir poder de processamento tão alto que a computação tradicional não é capaz de fornecer. Uma alternativa eficiente é a computação de Propósito Geral em Placas Gráficas (GPGPU). CUDA ´e a API da NVidia que implementa o modelo de programação em placas gráficas. Muitas aplicaces que foram reimplementadas em CUDA estão alcançando ganhos significativos de desempenho. Este trabalho tem como objetivo aproveitar o processamento paralelo das placas gráficas através do modelo de computação CUDA para proporcionar melhor desempenho ao detector de bordas Canny na biblioteca de processamento de imagens ITK. Para isso, é apresentado um estudo sobre as arquiteturas CUDA e ITK, conceitos pertinentes e as abordagens utilizadas para implementar filtros ITK para executar em placas gráficas. Além do detector de bordas Canny, foram desenvolvidos o cálculo de gradiente Sobel e a Suavização Gaussiana, assim como uma classe de configuração CUDA para o ITK. O desempenho desses filtros foram avaliados mostrando ganhos em qualquer arquitetura de placa gráfica da NVidia. Além disso, técnicas eficientes de programação foram propostas e avaliadas nas arquiteturas de placas da NVidia G80, GT200 e Fermi. Palavras-chave: Computação em Placas Gráficas; GPGPU; CUDA; Processamento de Imagens; ITK; Canny; Suavização Gaussiana; Convolução; Sobel.
34

Desenvolvimento de algoritmo para modelagem e simulação de sistemas por grafos de ligação /

Negrão, Celso Garcia. January 2012 (has links)
Orientador: Nazem Nascimento / Banca: Mauro Hugo Matias / Banca: José Geraldo Trani Brandão / Banca: Viktor Pastoukhov / Banca: Luiz Heleno Moreira Duque / Resumo: Este trabalho propõe a utilização da técnica de modelagem para obtenção das equações do movimento de sistemas dinâmicos, apresentando uma contribuição para o desenvolvimento do algoritmo computacional e implementado através da técnica de grafos de ligação. O objetivo é entender o desempenho do algoritmo desenvolvido através dos grafos de ligações e, assim, avaliar e validar as propostas deste trabalho. O problema da busca para obter uma equação do modelo de sistemas dinâmicos com geração automática em plantas industriais tem levantado a necessidade de desenvolver um algoritmo para sistemas que forneça a equação do movimento do modelo dinâmico. A proposição desta Tese consiste na aplicação da técnica de grafos de ligação para a determinação das equações de estado a partir do algoritmo desenvolvido com um programa computacional para geração automática das equações do movimento na forma de equações de estado. Os algoritmos foram desenvolvidos em ambiente matemático simbólico. Alguns estudos de caso (aplicações) foram utilizados para validação do algoritmo, constituindo estudo de casos sistemáticos, sendo: -Sistema dinâmico viga-bola, sistema mecânico massa-mola-amortecedor e seu análogo o circuito RLC e sistema servo-válvula eletro-hidráulica. No primeiro caso, sistema dinâmico viga-bola (sistema não-linear), o sistema compreende de uma viga fixada ao eixo do motor e uma bola deslizando sobre a viga, onde foi obtida a modelagem via grafos de ligação, utilizando o algoritmo computacional e encontrado o modelo na forma de equação de estado. No segundo caso, sistema mecânico massa-mola-amortecedor e seu análogo circuito RLC, foi obtido o grafo... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: This work proposes the use of the technique of modeling for getting the equations of the movement of dynamic linear and non-linear systems, presenting a contribution for the development of the computational algorithm and implemented through the technique of bond graphs. The objective is the understanding of the performance of the algorithm developed by the bond graphs and thus to evaluate and validate the proposals in this work. The problem of the search to obtain an equation of the model of dynamic systems with automatic generation in industrial plants has been lifting the necessity of developing an algorithm for systems which supply the equation of the movement of the dynamic model. The proposition of this Thesis consists in the application of the bond graphs technique for the determination of the equations of state from the algorithm developed with a computational program for automatic generation of the equations of the movement in the form of equations of state. The algorithms were developed in symbolic mathematical environment. Some case studies (applications) were used for validation of the developed algorithm. The first case is a non-linear system, while the second and third thing cases are linear, constituting systematic case study, being: Dynamic system beam-ball, mechanical system mass-spring-damper and its analogue the RLC circuit and electro-hydraulic servo valve system . In the first case, dynamic system beam-ball (non-linear systems), the system consists of a beam attached to the motor shaft and a ball sliding on the beam, where the modeling was obtained by bond graphs, using the computational algorithm and the model was found in the form of equation of state. In the second case, mechanical system mass-spring-damper and its analogue RLC circuit, the validation was carried out... (Complete abstract click eletronic access below) / Doutor
35

Deteccão de complexos QRS em eletrocardiogramas baseada na decomposição em valores singulares em multirresolução /

Oliveira, Bruno Rodrigues de. January 2015 (has links)
Orientador: Jozué Vieira Filho / Banca: Marco Aparecido Queiroz Duarte / Banca: Roberto Kawakami Harrop Galvão / Resumo: O Eletrocardiograma (ECG) e um exame de extrema importância para avaliar a saúde do coração de um individuo. A analise de seu traçado possibilita diagnosticar uma serie de doenças e anomalias. Para isso, sistemas computacionais precisam segmentar os sinais de ECG, cujo primeiro passo e a detecção dos complexos QRS (ondas Q, R e S). Mui- tos métodos tem sido propostos para tal finalidade. Os primeiros utilizavam técnicas de filtragem e diferenciação, mas recentemente alguns pesquisadores tem concebido metodologias baseadas na analise de multirresolução da transformada Wavelet. Seguindo caminho semelhante, neste trabalho e proposta uma metodologia baseada na decomposição em valores singulares em multirresolução (MRSVD), para solução do problema de detecção dos complexos QRS de um sinal de ECG, que pode ser dividida em quatro etapas essenciais: pré-processamento, inspeção, decisão e correção. Em quase todas elas ha implementações inovadoras: na primeira utiliza-se, de forma inédita, a MRSVD; na segunda etapa exploram-se características fisiológicas do músculo cardíaco para certificar-se de que um determinado segmento compreende ou não uma onda R autentica; na ultima, são corrigidas as detecções baseadas nas amplitudes das ondas R. A avaliação da qualidade de detecção, para os experimentos realizados, mostra que o algoritmo proposto atingiu taxa de previsibilidade de 99, 20%, taxa de sensibilidade de 99, 70% e erro de apenas 1,10%, contra 97, 10%, 99, 00% e 3, 70%, respectivamente, obtidas por outro método / Abstract: The electrocardiogram (ECG) is a test of utmost importance to evaluate the heart health of a person. The analysis of its layout enables diagnose a number of diseases and abnor- malities. For computer systems that need to segment the ECG signal, the first step the detection of QRS complexes. The earliest methods used filtering techniques and differen- tiation. Recently some researchers have designed methodologies based the multiresolution analysis the wavelet transform. Following similar path, this work proposes a methodology based on singular value decomposition in multiresolution (MRSVD), to solve the prob- lem of detection of QRS complexes of an ECG signal, which can be divided in four key stages: preprocessing, inspection, decision and correction. In of all, there are innovative proposals: in the first, it is used, in an unprecedented manner, the MRSVD; the second stage explores the physiological characteristics of the heart muscle, to make sure that a particular segment comprises or not a genuine R wave and, the last, corrects detections based on the amplitudes of the R wave. The evaluation of quality of detection for the experiments shows that the proposed algorithm has reached a predictive and sensitivity rates of of 99.20% and 99.70%, respectively, and error of only 1.10%, in comparation to another method which obtained 97, 10%, 99, 00% and 3, 70%, respectively / Mestre
36

Proposta de modelo para cálculo de disponibilidade em redes IP baseado na decomposição de espaço de estados

Corrêa, Maximira Carlota 08 1900 (has links)
Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2008. / Submitted by Luana Patrícia de Oliveira Porto (luana_porto_23@hotmail.com) on 2010-03-11T17:16:29Z No. of bitstreams: 1 2008_MaximiraCarlotaCorrea.pdf: 1987262 bytes, checksum: 74c24d8124f981e6b103a304b3a8a60e (MD5) / Approved for entry into archive by Lucila Saraiva(lucilasaraiva1@gmail.com) on 2010-04-06T20:27:38Z (GMT) No. of bitstreams: 1 2008_MaximiraCarlotaCorrea.pdf: 1987262 bytes, checksum: 74c24d8124f981e6b103a304b3a8a60e (MD5) / Made available in DSpace on 2010-04-06T20:27:38Z (GMT). No. of bitstreams: 1 2008_MaximiraCarlotaCorrea.pdf: 1987262 bytes, checksum: 74c24d8124f981e6b103a304b3a8a60e (MD5) Previous issue date: 2008-08 / Nos últimos anos observou-se um aumento considerável no uso de redes de comunicação de dados. Quanto mais pessoas fazem uso das redes de computadores e quanto maior o número de serviços que estão sendo prestados nestas redes, mais é necessário garantir que a rede esteja disponível para o uso de seus clientes. Este trabalho visa propor um método para avaliação e cálculo da disponibilidade em redes IP, de forma que as prestadoras de serviço de comunicação de dados disponham de uma ferramenta segura de análise da variação da disponibilidade da rede quando a mesma sofre alterações e/ou falhas. Este trabalho foi dedicado às redes IP e seu foco será o calculo da disponibilidade entre dois pontos A e B quaisquer.A revisão bibliográfica, além de contextualizar o assunto de redes de computadores, irá focar na teoria da decomposição de espaço de estados. Depois será descrito o algoritmo proposto e sua implementação em linguagem Perl. Então serão apresentados os testes realizados nos trechos selecionados das redes em estudo.Na conclusão deste trabalho foi validado o método proposto para o cálculo de disponibilidade em redes IP. __________________________________________________________________________________________ ABSTRACT / In recent years there was a considerable growth in computer networks applications. The more people use computer networks and the greatest the number of services these networks provide the greatest the necessity to make sure the network is available for its clients to use. This work comes to provide the means to evaluate e calculate the availability of IP networks in order to offer the communication service provides a secure tool for the analysis of the network availability variation when the network is altered or fail. This work will be dedicated to the analysis of IP networks and its scope is the evaluation of the availability between two given points A and B. The bibliography review will contextualize the matter of computer networks, with focus in the Theory of State Space Decomposition. Then the algorithm will be described with its implementation in Perl programming language. Last, the tests performed in selected parts of the network will be presented. At the conclusion of this work the provided method for availability calculus in IP networks is valid was considered valid.
37

Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem

Avelar, Andréia Borges 03 December 2009 (has links)
Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2009. / Submitted by Marília Freitas (marilia@bce.unb.br) on 2011-05-04T19:47:15Z No. of bitstreams: 1 2009_AndreiaBorgesAvelar.pdf: 569913 bytes, checksum: b9c7b5fd67d3f7351a8c69fe64218b4a (MD5) / Approved for entry into archive by Daniel Ribeiro(daniel@bce.unb.br) on 2011-05-07T01:10:24Z (GMT) No. of bitstreams: 1 2009_AndreiaBorgesAvelar.pdf: 569913 bytes, checksum: b9c7b5fd67d3f7351a8c69fe64218b4a (MD5) / Made available in DSpace on 2011-05-07T01:10:24Z (GMT). No. of bitstreams: 1 2009_AndreiaBorgesAvelar.pdf: 569913 bytes, checksum: b9c7b5fd67d3f7351a8c69fe64218b4a (MD5) / Neste trabalho apresenta-se uma formalização do teorema de existência de unificadores mais gerais em teorias de primeira ordem. Tal formalização foi desenvolvida na linguagem de especificação de ordem superior, do assistente de prova PVS. A prova mecânica e muito semelhante as provas encontradas em livros-texto, as quais se baseiam na correção do já conhecido algoritmo de unificação de Robinson de primeira ordem. A prova do teorema foi aplicada dentro de uma teoria completa, desenvolvida em PVS, para sistemas de reescrita de termos, a m de obter uma formalização completa do Teorema dos Pares Críticos de Knuth-Bendix. Para chegar a esta formalização foi construída uma especificação em PVS de uma teoria para unificação de primeira ordem, onde foram formalizadas as propriedades de generalidade e terminação de uma versão do algoritmo de unificação de Robinson restrito a termos unificáveis. _________________________________________________________________________________ ABSTRACT / This work presents the formalization of the theorem of existence of most general unifiers in first-order theories. The formalization was developed in the higher-order speciation language, of the proof assistant PVS. The mechanical proof is very similar to that found in textbooks, which are based on proving the correction of the well-known Robinson's first-order unification algorithm. The proof of the theorem was applied within a complete theory, also developed in PVS, for term rewriting systems in order to obtain the full formalization of the Knuth-Bendix Critical Pair theorem. To reach this formalization, it was build in PVS a specification of a theory first-order unification, where properties of generality and termination of a version of the Robinson's unification algorithm restricted to unifiable terms were formalized.
38

Detecção de propriedades estaveis em sistemas distribuidos

Craveiro, Gisele da Silva 23 July 2018 (has links)
Orientador: Ricardo de Oliveira Anido / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-23T17:02:31Z (GMT). No. of bitstreams: 1 Craveiro_GiseledaSilva_M.pdf: 4309633 bytes, checksum: 221da7db8cdd6ce3e8ae00b42aaad9cb (MD5) Previous issue date: 1998 / Resumo: Elaborar uma solução para um problema distribuído que atenda aos critérios de segurança e progresso está muito longe de ser uma tarefa trivial. Nem mesmo algoritmos publicados escaparam de contestação posterior, mostrando que são incorretos. Com o objetivo de encontrar uma modelagem mais adequada, alguns pesquisadores tomam a direção das derivações. Verificando comportamentos similares e características comuns, pretende-se desenvolver um método que facilite o projeto de algoritmos distribuídos para resolver problemas que apresentem algumas similaridades. Uma característica muito importante comum a certos problemas é a propriedade da estabilidade, isto é, se o problema ocorre, ele persistirá até que seja detectado e tratado. Assim acontece com deadlocks e quando uma computação distribuída alcança o término de sua atividade. Esta dissertação concentra-se nos seguintes pontos. Do estudo das áreas de deadlock e terminação distribuídos resulta a apresentação da modelagem de cada problema, uma visão em largura das abordagens propostas para a detecção do deadlock distribuído e para a detecção da terminação distribuída e a discussão mais detalhada de alguns algoritmos propostos para esses dois problemas. Às contribuições citadas soma-se a proposição de um método que derive soluções para o problema da terminação distribuída a partir de algoritmos para a detecção do deadlock, preservando as propriedades de segurança e progresso da solução base / Abstract: Devising a solution to a distributed problem, satisfying the requirements of progress and safety is clearly not an easy task. Several published algorithms have been shown incorrect, despite having been "proven" correct at time of publication. An interesting approach to devise a new solution to a problem is to use a known solution to a different problem that has similar requirements and characteristics. In this dissertation we present a methodology to derive solutions to the problem of detecting the termination of a distributed computation based on solutions to the deadlock problem. A common characteristic of these problems is that both are persistent: once attained the condition of deadlock or termination, the condition will hold thereafter, until some external action is taken. Besides presenting the derivation methodology, this dissertation presents a broad study of the more interesting solutions to the deadlock and termination problems found in the literature / Mestrado / Mestre em Ciência da Computação
39

Visibilidade em cenas dinamicas com base numa grade regular

Batagelo, Harlen Costa 02 August 2018 (has links)
Orientador : Wu Shin-Ting / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-02T20:07:52Z (GMT). No. of bitstreams: 1 Batagelo_HarlenCosta_M.pdf: 608382 bytes, checksum: e61ed7585f24dc2d6939e44ac8117202 (MD5) Previous issue date: 2002 / Mestrado
40

Pavimentação hiperbolica : algoritmo e formulas de crescimento

Bobadilha, Karine 03 August 2018 (has links)
Orientador: Marcelo Firer / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-03T17:48:37Z (GMT). No. of bitstreams: 1 Bobadilha_Karine_M.pdf: 2137591 bytes, checksum: bbe7abe73f892510f16c253d802a08e6 (MD5) Previous issue date: 2003 / Mestrado / Mestre em Matemática

Page generated in 0.0952 seconds