Made available in DSpace on 2013-08-07T18:43:12Z (GMT). No. of bitstreams: 1 000440021-Texto+Completo-0.pdf: 859301 bytes, checksum: 74c835c02a03141cc25fe26c323fab1d (MD5) Previous issue date: 2012 / Transactional Memory is considered by many researchers to be one of the most promising solutions to address the problem of programming multicore processors. This model provides the scalability of fine-grained locking while avoiding common issues of tradicional mechanisms, such as deadlocks. During these almost twenty years of research, several studies were carried out to identify approaches in order to maximize the use of Transactional Memories in the Parallel Programming scenario. Furthermore, several TM systems have been developed in different types of implementations as well as new Benchmarks were proposed for evaluation and testing of TM systems. However, despite advances in the area, Transactional Memory is not considered yet a ready solution by the scientific community, due to unanswered questions in the literature, such as: “How to identify if an application has an advantage using Transactional Memory?” and “Why some applications do not benefit from the use of Transactional Memories?”, This work presents a comparative evaluation of a set of transactional applications and systems, introducing the field current state-of-the-art, understanding the existing problems and identifying growth opportunities in the STM systems in order to contribute to answer the questions that remain open in the scientific community. / Memórias Transacionais são consideradas por muitos pesquisadores como a mais promissora solução para resolver problemas de programação multicore. Esse modelo promete escalabilidade com pequena granularidade, enquanto elimina os problemas comuns nos mecanismos convencionais de locks, como deadlocks por exemplo. Durante esses quase vinte anos de pesquisas, diversos estudos foram realizados visando identificar abordagens para maximizar o uso de Memórias Transacionais no cenário de Programação Paralela. Além disso, diversos sistemas TM foram desenvolvidos em diferentes tipos de implementações, bem como novos Benchmarks foram propostos para avaliação e testes de sistemas TM. Entretanto, apesar do avanço da área, Memória Transacional não é considerada uma solução pronta para comunidade científica devido às perguntas ainda não respondidas na literatura, tais como: “Como identificar se uma aplicação terá vantagem na utilização de memórias transacionais?” e “Porque algumas aplicações não se beneficiam com o uso de Memórias Transacionais?”. Esse trabalho realiza uma avaliação comparativa de um conjunto de sistemas e aplicações transacionais, apresentando o estado da arte atual, compreendendo os problemas existentes e identificando oportunidades de crescimento nos sistemas STM de maneira a contribuir para responder as perguntas ainda em aberto na comunidade científica.

Made available in DSpace on 2013-08-07T18:43:31Z (GMT). No. of bitstreams: 1 000419091-Texto+Completo-0.pdf: 1710212 bytes, checksum: fb252592a2b3a6d343bfe2c68ca40c20 (MD5) Previous issue date: 2008 / The pervasive computing allows a range of applications in which the user does not need to worry about the computer system and begins to focus on their task order, or even stop worrying about secondary tasks and focus on a primary task. This change is another step toward the concept of Ubiquitous Computing (ubiquitous / Pervasive Computing) introduced by Mark Weiser [WEI91]. Weiser therefore proposes a continuous integration between environment and technology in the task of assisting users in their most varied daily activities. However, there are a number of requirements to be analyzed and verified in the development of projects in pervasive computing. The development of pervasive computing devices become filled with electronic computing features that will be able to recognize and respond to contextual and individual needs of each person. For example, in a classroom, students have adapted to the context of the teacher, (discipline and content), so that it enters the room. For this to become reality, an important feature of this type of application is the ability to recognize the context of the user a more transparent way possible, making the electronic devices of the environment even less visible to the user. This pervasive computing environment consists of a variety of nodes of various types: fixed and mobile, interconnected applications and services. In this case, pervasive computing is also synonymous with pervasive connectivity, and reflects a highly dynamic and distributed computing. Today, the focus of research is to provide key technologies, to support this new computing environment. Within these needs, this paper presents a model manager discovered service pervasive (MgDsP) for use in mobile applications, sensitive to the context. / A computação pervasiva possibilita uma série de aplicações na qual o usuário não precisa se preocupar com o sistema computacional e passa a se focar na sua tarefa fim, ou até mesmo deixar de se preocupar com tarefas secundárias e se concentrar em uma tarefa principal. Esta mudança é mais um passo em direção ao conceito de Computação Ubíqua (Ubiquitous/Pervasive Computing) introduzido por Mark Weiser [WEI91]. Weiser propõe, assim, uma integração contínua entre ambiente e tecnologia na tarefa de auxiliar os usuários nas suas mais variadas atividades cotidianas. Entretanto, existe uma série de requisitos a serem analisados e verificados na elaboração de projetos de computação pervasiva. O desenvolvimento da computação pervasiva tornará os dispositivos eletrônicos repletos de funcionalidades computacionais que serão capazes de reconhecer e responder às necessidades contextuais e individuais de cada pessoa. Por exemplo, em uma sala de aula, os alunos se adaptariam ao contexto do professor, (disciplina e do conteúdo), assim que o mesmo entrar na sala. Para essa situação tornar-se realidade, uma característica importante desse tipo de aplicação é a capacidade de reconhecer o contexto do usuário de forma mais transparente possível, tornando os dispositivos eletrônicos do ambientes ainda menos perceptíveis para o usuário. Este ambiente computacional pervasivo consiste de uma grande variedade de nodos de diversos tipos: móveis e fixos, aplicações e serviços interconectados. Neste caso, computação pervasiva também é sinônimo de conectividade pervasiva, e reflete uma computação altamente dinâmica e distribuída. Hoje, a concentração das pesquisas está em disponibilizar tecnologias chave, para suportar este novo ambiente computacional. Dentro dessas necessidades, este trabalho apresenta um modelo gerenciador de descoberta de serviços pervasivos (MgDsP) para utilização em aplicações móveis, sensíveis ao contexto.

Made available in DSpace on 2014-06-11T19:30:50Z (GMT). No. of bitstreams: 0 Previous issue date: 2012-05-04Bitstream added on 2014-06-13T18:40:58Z : No. of bitstreams: 1 utida_ma_dr_ilha.pdf: 1354826 bytes, checksum: 6130b79cafcdbe010b4b1482ede44474 (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / O problema de carregamento de contêiner consiste em carregar um número conhecido de caixas de tipos diferentes e dimensões conhecidas dentro de um contêiner, de modo a utilizar o espaco do contêiner da melhor maneira possível, ou seja, de modo a diminuir os espacos não ocupados. O problema de carregamento de contêiner e um problema NP-difícil e, portanto, muito complexo de ser resolvido de forma exata usando um modelo matemático de programacao inteira e pacotes comerciais de otimizacao baseados em técnicas tipo branch and bound. Neste trabalho e realizada a elaboracao, assim como a implementacao computacional, de dois algoritmos de otimizacao. A primeira proposta de otimizacao consiste de um algoritmo heurístico construtivo. A segunda proposta de otimizacao um algoritmo GRASP que usa, na fase construtiva, uma generalizacao do algoritmo heurístico construtivo desenvolvido neste trabalho. A metaheurística GRASP desenvolvida neste trabalho apresentou resultados promissores quando foram realizados testes usando 13 instâncias conhecidas na literatura especializada / The container loading problem is to load a known number boxes of different dimensions and known within a container, in order to use the space of the container the best way possible, ie, in order to reduce the empty spaces. The problem of container loading is NP-hard and therefore too complex to be solved using an exact mathematical model integer programming and commercial packages based on optimization techniques branch and bound type. In this work the preparation, as well as the computational implementation of two optimization algorithms. The first proposal consists of an optimization constructive heuristic algorithm. The second proposal is an optimization GRASP that uses in construction phase, a generalization of the algorithm constructive heuristic developed in this work. The GRASP developed in this work showed promising results when tests were performed using 13 known instances in the literature specialized

Submitted by LIVIA FREITAS (livia.freitas@ufba.br) on 2013-10-11T12:05:23Z No. of bitstreams: 1 dissertacao_mestrado_jose-grimaldo.pdf: 19406681 bytes, checksum: d108855fa0fb0d44ee5d1cb59579a04c (MD5) / Approved for entry into archive by LIVIA FREITAS(livia.freitas@ufba.br) on 2013-10-11T19:14:00Z (GMT) No. of bitstreams: 1 dissertacao_mestrado_jose-grimaldo.pdf: 19406681 bytes, checksum: d108855fa0fb0d44ee5d1cb59579a04c (MD5) / Made available in DSpace on 2013-10-11T19:14:00Z (GMT). No. of bitstreams: 1 dissertacao_mestrado_jose-grimaldo.pdf: 19406681 bytes, checksum: d108855fa0fb0d44ee5d1cb59579a04c (MD5) / Accuracy in image object detection has been usually achieved at the expense of much computational load. Therefore a trade-o between detection performance and fast execution commonly represents the ultimate goal of an object detector in real life applications. Most images are composed of non-trivial amounts of background nformation, such as sky, ground and water. In this sense, using an object detector against a recurring background pattern can require a signi cant amount of the total processing time. To alleviate this problem, search space reduction methods can help focusing the detection procedure on more distinctive image regions. Among the several approaches for search space reduction, we explored saliency information to organize regions based on their probability of containing objects. Saliency detectors are capable of pinpointing regions which generate stronger visual stimuli based solely on information extracted from the image. The fact that saliency methods do not require prior training is an important bene t, which allows application of these techniques in a broad range of machine vision domains. We propose a novel method toward the goal of faster object detectors. The proposed method was grounded on a multi-scale spectral residue (MSR) analysis using saliency detection. For better search space reduction, our method enables ne control of search scale, more robustness to variations on saliency intensity along an object length and also a direct way to control the balance between search space reduction and false negatives caused by region selection. Compared to a regular sliding window search over the images, in our experiments, MSR was able to reduce by 75% (in average) the number of windows to be evaluated by an object detector while improving or at least maintaining detector ROC performance. The proposed method was thoroughly evaluated over a subset of LabelMe dataset (person images), improving detection performance in most cases. This evaluation was done comparing object detection performance against di erent object detectors, with and without MSR. Additionally, we also provide evaluation of how di erent object classes interact with MSR, which was done using Pascal VOC 2007 dataset. Finally, tests made showed that window selection performance of MSR has a good scalability with regard to image size. From the obtained data, our conclusion is that MSR can provide substantial bene ts to existing sliding window detectors. / Salvador

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T12:50:44Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T18:10:47Z : No. of bitstreams: 1 171566.pdf: 2453201 bytes, checksum: 1fe0fcddefec8082e822c67806360487 (MD5) / Atualmente os sistemas de gerência de redes são poderosos, porém possuem plataformas centralizadas e proprietárias, limitando com isso, o controle em decorrência do grande crescimento das redes de computadores. Este fator gera a necessidade de explorar-mos novas tecnologias que podem ser usadas para o projeto de um ambiente de gerência de redes.Os recentes avanços na área de objetos distribuídos utilizando o CORBA (Common Object Request Broker Architeture) e o grande crescimento da Internet e a grande utilização da linguagem de programação Java surgem como poderosos mecanismos para o desenvolvimento de aplicações distribuídas que podem ser utilizadas com grande sucesso neste projeto de gerência de redes. Este trabalho descreve a utilização dessas tecnologias para o projeto de um ambiente de gerência de redes de computadores distribuída, que é independente de plataforma e utiliza páginas Web para realizar a interface com o usuário final.

Resumo não disponível.

SILVA, Antônio Everton Sousa da. O ajuste de retas pelo método dos mínimos quadrados e secções didáticas de solução LSQ para o ensino médio. 2015. 65 f. Dissertação (Mestrado em Matemática em Rede Nacional) – Centro de Ciências, Universidade Federal do Ceará, Juazeiro do Norte, 2015. / Submitted by Erivan Almeida (eneiro@bol.com.br) on 2015-11-13T12:38:20Z No. of bitstreams: 1 2015_dis_aessilva.pdf: 1284775 bytes, checksum: aa69ea1b3e2b0832f25396e2299023d1 (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2015-11-18T13:29:00Z (GMT) No. of bitstreams: 1 2015_dis_aessilva.pdf: 1284775 bytes, checksum: aa69ea1b3e2b0832f25396e2299023d1 (MD5) / Made available in DSpace on 2015-11-18T13:29:00Z (GMT). No. of bitstreams: 1 2015_dis_aessilva.pdf: 1284775 bytes, checksum: aa69ea1b3e2b0832f25396e2299023d1 (MD5) Previous issue date: 2015 / Try to represent a line through the data of an experiment, so that it can draw inferences,enables the experience develop important hypothesis about a phenomenon. This work aims to present the method of least squares as a way to find the line that best fits a set of points. For development of this research, it was decided to do a whole literature, allowing to make theoretical survey about some concepts and differential calculus demonstrations, analytical geometry on the straight and linear algebra, as yet, define the method of least squares and apply LSQ solution to resolve an impossible system in the usual sense. Also explored in this study using Excel software as a teaching support tool and its use in the classroom. We finish with a hint of an interdisciplinary lecture on the subject, which in turn, is in an accessible and clear language to the teacher. This class has been developed for teaching steps, in which the latter is performed using Excel software as an auxiliary tool. For a deeper attachment content, we enumerated the end of class several practical exercises. / Representar através de uma reta os dados de um experimento de modo que possa fazer inferências, possibilita,ao experimentar, elaborar hipóteses importantes sobre um determinado fenômeno. Este trabalho tem por objetivo apresentar o método dos Mínimos Quadrados como caminho para encontrar a reta que mais se ajusta a um conjunto de dados. Para o desenvolvimento desta investigação, optou-se por fazer uma pesquisa inteiramente bibliográfica, permitindo realizar um levantamento teórico acerca de alguns conceitos e demonstrações de Cálculo Diferencial, Geometria Analítica na Reta e Álgebra Linear, como ainda, definir o método dos mínimos quadrados e aplicar a solução LSQ na resolução de um sistema impossível no sentido usual. Também se explorou neste estudo o uso Software Excel como ferramenta de apoio didático e sua aplicabilidade em sala de aula. Finaliza-se com sugestão de aula interdisciplinar sobre o tema, que por sua vez, está em uma linguagem acessível e clara ao professor. Essa aula foi desenvolvida em etapas didáticas, na qual a última, utiliza-se o Software Excel como ferramenta auxiliar. Na perspectiva de uma fixação mais profunda do conteúdo, enumeramos ao final da aula,vários exercícios de aplicação.

Programa de Pós-Graduação em Engenharia de Materiais. Pró-Reitoria de Pós-Graduação, Universidade Federal de Ouro Preto. / Submitted by Marise Leite (marise_mg@yahoo.com.br) on 2016-04-20T15:20:17Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) TESE_ModelosEfetivosSeparação.pdf: 5919738 bytes, checksum: 0c9ff2be0b0390017843d47d012ec2a8 (MD5) / Approved for entry into archive by Gracilene Carvalho (gracilene@sisbin.ufop.br) on 2016-04-25T14:39:41Z (GMT) No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) TESE_ModelosEfetivosSeparação.pdf: 5919738 bytes, checksum: 0c9ff2be0b0390017843d47d012ec2a8 (MD5) / Made available in DSpace on 2016-04-25T14:39:41Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) TESE_ModelosEfetivosSeparação.pdf: 5919738 bytes, checksum: 0c9ff2be0b0390017843d47d012ec2a8 (MD5) Previous issue date: 2016 / A escassez de água potável nos mais diversos países tem se mostrado um problema cada vez mais relevante. Estima-se que, atualmente, aproximadamente 748 milhões de pessoas no planeta não têm acesso à fontes de água potável. Sob esse aspecto, a dessalinização de água do mar tem se mostrado uma alternativa promissora, não apenas por 97% da água do planeta estar concentrada nos oceanos e mares mas também pelo fato do percentual de água obtido desta maneira ainda ser muito pequeno. Em especial, o processo de dessalinização da água através de nanoporos tem recebido grandes esforços científicos e tecnológicos. Apesar dos resultados animadores, um dos problemas encontrados é que o processo de dessalinização de água é tipicamente macro. Mesmo com o poder computacional disponível atualmente, é impossível simular este problema em escala-macro. Daí a importância de se procurar modelos mais simples e computacionalmente mais baratos. Nesse sentido, uma alternativa eficaz para a simulação computacional de fluidos complexos é a utilização dos potenciais efetivos do tipo caroço atenuado (core-softened potentials). Estes potenciais tem sido utilizados para investigar fluidos anômalos dando bons resultados na descrição de propriedades dinâmicas, termodinâmicas e estruturais desses fluidos. Devido à sua simplicidade, as simulações se tornam mais rápidas e tratamentos matemáticos se tornam possíveis. Baseado nesses potenciais, este trabalho propõe um modelo para a separação soluto solvente a partir de osmose reversa. O comportamento das partículas filtradas de solvente e as propriedades, tais como rejeição de soluto e fluxo volumétrico de solvente, foram comparadas com resultados prévios apresentados na literatura para modelos moleculares clássicos. O objetivo deste trabalho é o de dar os primeiros passos para o desenvolvimento de um modelo coarse-grained de dessalinização de água, onde a abordagem de problemas em escalas maiores, tanto em tempo quanto em tamanho, possam ser viáveis computacionalmente. ______________________________________________________________________________________ / ABSTRACT: Currently, the shortage of potable water in several countries has been an increasingly relevant problem. It is estimated that nowadays approximately 748 million people around the globe no longer have access to drinking water sources. Seawater desalination has proven to be a promising alternative, not only because 97% of water on the planet is located in the oceans and seas, but also because the percentage of water obtained in this way is still very small. Especially water desalination through nanopores has received great scientific and technological efforts. Despite encouraging results, the water desalination problem is typically macro. Considering the modern computational power available, it is literally impossible to study this problem using an all-atoms approach in a macro size scale. In this sense, it is important to seek for cheaper, alternative procedures to attack this problem. An alternative to computationally model water-like fluids in an effective manner relies on core-softened potentials. Such potentials have been used to investigate anomalous fluids giving good results in the description of dynamic, thermodynamic and structural properties of these fluids. Due to their simplicity, computational simulations become faster and mathematical treatments are possible. This work propose an effective model for solute separation from fluids through reverse osmosis based on core-softened potentials. The behavior of solvent particles filtered and properties such as solute rejection and solvent volumetric flow rate were compared with previous results reported in the literature for classical molecular models. The purpose of this work is to pave the first steps towards coarse-grained models for water desalination processes which addressing problems at larger scales, both in time and in size, can be computationally feasible.

Dissertação (mestrado) - Universidade Federal de Santa Catarina. Centro Tecnologico / Made available in DSpace on 2016-01-08T16:27:42Z (GMT). No. of bitstreams: 1 79706.pdf: 1973870 bytes, checksum: 74552acfcae93b2a8473fe617d98bd09 (MD5) Previous issue date: 1989 / O editor gráfico para Projeto Mecânico é um sistema desenvolvido para ser conectado a aplicativos na área de projeto mecânico. O objetivo do trabalho é a utilização dos recursos gráficos disponíveis nos microcomputadores tipo IBM-PC compatíveis, para tornar mais eficientes os programas de projeto, acoplando a parte gráfica às rotinas de cálculo e dimensionamento. Torna-se possível, então, o projeto de um componente desde a entrada de dados até sua saída em forma de desenho para a fabricação. Como exemplo foi elaborado um programa para dimensionamento de molas helicoidais de compressão. Este programa calcula a mola de forma a minimizar o parâmetro escolhido e convertido em elementos geométricos básicos, como linhas, arcos, círculos, etc., que são gravados num arquivo chamado arquivo gráfico. Este arquivo é interpretado pelo editor para gerar o desenho da mola na tela de vídeo ou nos dispositivos gráficos de saída como impressoras ou traçadores gráficos.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T20:58:03Z (GMT). No. of bitstreams: 1 104647.pdf: 2250643 bytes, checksum: c02bf4e9d39c4944634633221ed69640 (MD5) Previous issue date: 1996