[pt] As comunidades sociais online sao cada vez mais utilizadas como plataformas para diversas formas de interacao e compartilhamento de informacões, tanto em forma sincrona (em tempo real) quanto de forma assincrona. A perspectiva do acoplamento da computacao social com a capacidade atual de sensoriamento dos dispositivos moveis torna possível o desenvolvimento de aplicativos sociais com maior grau de sensibilidade ao contexto, de deteccao de atividades de individuos e grupos e também de uma interacao social implicita atraves do compartilhamento de informacoes de contexto. Alem do contexto pervasivo obtido a partir dos dispositivos moveis, os veinculos e interacoes do usuario nas redes sociais tambem podem ser considerados ricas fontes de informacao para aplicacoes pervasivas. O Mobile Social Gateway (MoSoGw) e um servico web que fornece uma interface generica para transferencia de informacao de uma forma otimizada entre os dispositivos moveis e diferentes redes sociais, bem como servicos de terceiros. Sua interface e generica na medida em que torna transparente para o aplicativo movel cliente a interacao com essas redes sociais e servicos de terceiros. O desempenho e a escalabilidade tambem foram levados em consideracao durante a concepcao e implementacao do MoSoGw. No contexto desta dissertacao, o termo escalabilidade deve ser entendido como a capacidade que a aplicacao tem de suportar um volume crescente de usuarios móveis ou estar preparada para esse crescimento. Assim, tanto a arquitetura quanto as tecnologias utilizadas em seu desenvolvimento foram cuidadosamente escolhidas de forma a escalar para milhares de clientes e suportar o alto volume de requisicoes simultaneas. / [en] Online social communities are increasingly used as platforms for manifold forms of interaction and information sharing, both in real-time and asynchronous. The prospect of coupling social computing with sensing capabilities of current mobile devices makes it possible to provide social applications with higher degrees of context-awareness, detection of activities of individuals and groups, as well as implicit social interaction through sharing of context-sensitive information. In addition to the pervasive context obtained from the mobile devices, the links and user interactions in social networks can be regarded as rich sources of information for pervasive applications. Mobile Social Gateway (MoSoGw) is a web service that provides a generic interface for optimized information transfer between mobile devices and different social networks, as well as third-party web services. Its interface is generic in that it makes transparent to the mobile client application the interaction with social networks and web services. Performance and scalability were major concerns when designing and implementing MoSoGw. Hence, its architecture and all technologies used in its development have been carefully chosen so as to scale to thousands of clients and support high volume of concurrent requests.

Submitted by Samira Prince (prince@ufpa.br) on 2012-05-17T13:46:06Z No. of bitstreams: 2 Dissertacao_ModeloAnaliseNegociacao.pdf: 452283 bytes, checksum: 01a58a2d3d37ba54fae92d95e5c67f31 (MD5) license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) / Approved for entry into archive by Samira Prince(prince@ufpa.br) on 2012-05-17T13:46:57Z (GMT) No. of bitstreams: 2 Dissertacao_ModeloAnaliseNegociacao.pdf: 452283 bytes, checksum: 01a58a2d3d37ba54fae92d95e5c67f31 (MD5) license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) / Made available in DSpace on 2012-05-17T13:46:57Z (GMT). No. of bitstreams: 2 Dissertacao_ModeloAnaliseNegociacao.pdf: 452283 bytes, checksum: 01a58a2d3d37ba54fae92d95e5c67f31 (MD5) license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Previous issue date: 2011 / A Modelagem de Sistemas vêm sendo cada vez mais aplicada nos meios de produção para as mais diversas finalidades, incluindo a área de Projeto de Sistemas, com o intuito de definir o número de pessoas na equipe, analisar o esforço, o tamanho do software e os custos totais do projeto. Este trabalho tem por finalidade desenvolver um modelo de apoio à análise baseado em Pontos de Caso de Uso (PCU). Para isso, utiliza-se de vários métodos de pesquisa entre elas a pesquisa exploratória e de laboratório para criar um modelo de apoio para a análise. / The systems modeling are being increasingly applied in the means of production for many different purposes, including the area of System Design, in order to set the number of people on the team, analyze the effort, software size and total project costs. This study aims to develop a model to support analysis based on Use Case Points (PCU). For this, we use various research methods including the exploratory research laboratory to create a model of support for analysis.

Submitted by Irvana Coutinho (irvana@ufpa.br) on 2011-03-30T16:38:01Z No. of bitstreams: 2 ROCHA, Vanderlene Covre PPGEngenharia Elétrica.pdf: 2493637 bytes, checksum: ac14f60ec89cf61fb6b7fd05ccdbf266 (MD5) license_rdf: 22876 bytes, checksum: 0a4e855daae7a181424315bc63e71991 (MD5) / Made available in DSpace on 2011-03-30T16:38:01Z (GMT). No. of bitstreams: 2 ROCHA, Vanderlene Covre PPGEngenharia Elétrica.pdf: 2493637 bytes, checksum: ac14f60ec89cf61fb6b7fd05ccdbf266 (MD5) license_rdf: 22876 bytes, checksum: 0a4e855daae7a181424315bc63e71991 (MD5) Previous issue date: 2009 / Eletronorte - Centrais Elétricas do Norte do Brasil S/A / FAPESPA - Fundação Amazônia de Amparo a Estudos e Pesquisas / A number of initiatives to improve the software process has emerged recently to improve quality and productivity in software organizations. Some models and standards have focused the implementation of improvements in the software development process area; MPS.BR model is an example of thiese models. This process improvement model aims to improve software quality, preferably for micro, small and medium enterprises in order to meet the needs of their business model and was chosen to be explored in this work. Several advantages are gained during process improvement effort, one of them is the definition of a systematic process for software development, which helps to achieve the process quality and productivity and also the developed product quality. The use of a defined process model brings several benefits associated with standardization, such as the optimization, the re-work cost reduction, less defects in products, among others. But there is a lack of models that can be applied directly to a specific company of software development and therefore it is necessary to model the process, customizing it with the ultimate goal of creating a model that adequately represents the organization process. One of the difficulties for the implementation of models such as MPS.BR is the lack of methodologies that shows how the implementation of improvements to be made and not only what should be done. In this context, this work proposes a methodology for the implementation of the MPS.BR model based on IDEAL model, through a specific tool, called WebAPSEE, which works to coordinate the methodology execution. The methodology was tested in a local organization called CTIC - Center for Information Technology and Communication of UFPA which was assessed as level of G MPS.BR. / Uma série de iniciativas para melhoria do processo de software surgiu recentemente visando melhorar a qualidade e a produtividade em organizações de desenvolvimento de software. Alguns modelos e normas têm buscado a implantação de melhorias no processo de desenvolvimento de software, o MPS.BR é um deles. Esse modelo de melhoria de processo é voltado para as micro, pequenas e médias empresas, de forma a atender as suas necessidades de negócio e foi o modelo escolhido para ser explorado nesse trabalho. Várias são as vantagens adquiridas com a implantação de um modelo de melhoria, umas delas é a definição de um processo sistemático de desenvolvimento de software, que auxilie tanto na qualidade e produtividade do processo quanto na qualidade do produto desenvolvido. Com um modelo de processo definido a organização pode contar com diversos benefícios associados à padronização, como, por exemplo, a otimização, a redução de custos com retrabalho, a redução de defeitos nos produtos, dentre outros. Mas não existem modelos prontos que possam ser aplicados diretamente a uma empresa específica de desenvolvimento de software e, por isso, é necessário modelar o processo, customizando-o, com o objetivo final de gerar um modelo que adequadamente represente o processo da organização. Uma das dificuldades para a implantação de modelos como o MPS.BR é a falta de metodologia que mostre como a implantação de melhoria deve ser feita e não apenas o que deve ser feito. Este trabalho propõe uma metodologia para a implementação do modelo MPS.BR baseada no modelo de implantação IDEAL, através de uma ferramenta específica, chamada WebAPSEE. A metodologia foi experimentada no CTIC - Centro de Tecnologia da Informação e Comunicação da UFPA que ao final do trabalho foi avaliado Nível G do MPS.BR.

Submitted by Jaqueline Silva (jtas29@gmail.com) on 2014-09-04T17:02:47Z No. of bitstreams: 2 Dissertacao Elisangela Silva Dias.pdf: 846122 bytes, checksum: 357f425f14050b1601ed04cbcd4d9165 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2014-09-04T17:02:47Z (GMT). No. of bitstreams: 2 Dissertacao Elisangela Silva Dias.pdf: 846122 bytes, checksum: 357f425f14050b1601ed04cbcd4d9165 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2010-03-26 / A defensive alliance in graph G = (V;E) is a set of vertices S V satisfying the condition that every vertex v 2 S has at most one more neighbor in V 􀀀S than S. Due to this type of alliance, the vertices in S together defend themselves to the vertices in V 􀀀S. This dissertation introduces the basic concepts for the understanding of alliances in graphs, along with a variety of alliances and their numbers and provides some mathematical properties for these alliances, focusing mainly on defensive alliances in graphs. It shows theorems, corollaries, lemmas, propositions and observations with appropriate proofs with respect to the minimum degree of a graph G d(G), the maximum degree D(G), the algebraic connectivity μ, the total dominanting set gt(G), the eccentricity, the edge connectivity l(G), the chromatic number c(G), the (vertex) independence number b0(G), the vertex connectivity k(G), the order of the largest clique w(G) and the domination number g(G). It also shows a generalization of defensive alliances, called defensive kalliance, and the definition and properties of a security set in G. A secure set S V of graph G = (V;E) is a set whose every nonempty subset can be successfully defended of an attack, under appropriate definitions of “attack” and “defence”. / Uma aliança defensiva no grafo G = (V;E) é um conjunto de vértices S V satisfazendo a condição de que todo vértice v 2 S tem no máximo um vizinho a mais em V 􀀀S que em S. Devido a este tipo de aliança, os vértices em S juntam para se defenderem dos vértices em V 􀀀S. Nesta dissertação, são introduzidos os conceitos básicos para o entendimentos das alianças em grafos, junto com uma variedade de tipos de alianças e seus respectivos números, bem como são fornecidas algumas propriedades matemáticas para estas alianças, focando principalmente nas alianças defensivas em grafos. Apresentamos teoremas, corolários, lemas, proposições e observações com as devidas provas com relação ao grau mínimo de um grafo G d(G), ao grau máximo D(G), à conectividade algébrica μ, ao conjunto dominante total gt(G), à excentricidade, à conectividade de arestas l(G), ao número cromático c(G), ao número de independência (de vértices) b0(G), à conectividade de vértices k(G), à ordem da maior clique w(G) e ao número de dominação g(G). Também é mostrada a generalização de alianças defensivas, chamada k-aliança defensiva, e a definição e propriedades de um conjunto seguro em G. Um conjunto seguro S V do grafo G = (V;E) é um conjunto no qual todo subconjunto não-vazio pode ser defendido com sucesso de um ataque, sob as definições apropriadas de “ataque” e “defesa”.

Neste trabalho abordamos o problema de coloraÃÃo de vÃrtices via programaÃÃo inteira. Uma versÃo expandida da formulaÃÃo por conjuntos independentes à utilizada para abrigar outras sub-estruturas do grafos alÃm dos vÃrtices. Cada uma dessas sub-estruturas define uma restriÃÃo que determina quantos conjuntos independentes sÃo necessarios para cobrir aquele subgrafo. Experimentos com um mÃtodo de geraÃÃo de cortes e colunas para o problema sÃo feitos para determinar um limite inferior para um conjunto de instÃncias classicas para esse problema a biblioteca DIMACS. / In this work the vertex coloring problem is approached via integer programming. A tighter version of the independent set formulation is used, where the vertex-related constraints are substituted by subgraph-related constraints. Each constraint establishes a lower bound on the number of independent sets intersecting a subgraph H. It is shown a sufficient condition for this inequality to define a facet of the associated polytope. Basically, H is required to be color critical, not included in another color critical subgraph, and to have a connected complement. Also, the column generation algorithm proposed by Mehotra and Trick (INFORMS Journal in Computing, 1996) is adapted to allow the addition of cutting planes and to provide lower bounds along the process, which may abbreviate its end. Some computational experiments are reported.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-23T23:24:20Z (GMT). No. of bitstreams: 0 / A tecnologia de Serviços Web provê uma abordagem para o desenvolvimento de aplicações distribuídas utilizando interfaces simples e bem definidas. Devido à flexibilidade desta arquitetura, é possível a composição de processos de negócios, integrando serviços em sistema de larga escala. Apesar de toda a flexibilidade provida pela tecnologia de Serviço Web para construção de soluções distribuídas, aspectos ligados a confiabilidade e a tolerância a faltas, tão necessário para aplicações em ambiente complexo, não foram objetos de padronização. O presente trabalho propõe uma abordagem própria para arquiteturas orientadas a serviço que busca atender os requisitos de confiabilidade. Esta abordagem está centrada no conceito de statefull para Serviços Web tolerantes a faltas. A abordagem é implementada no contexto de uma infra-estrutura de serviço chamada de FTWS-Orch, que combina a utilização de mecanismos de transação e de técnicas de replicação ativa e passiva, fazendo o uso para tanto, da orquestração de Serviços Web. Este modelo foi centrado sob a premissa de ocorrência de faltas de parada (crash).

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica / Made available in DSpace on 2013-03-04T18:40:34Z (GMT). No. of bitstreams: 1 308809.pdf: 10651634 bytes, checksum: 9517f0a2ee3192dc539da1109dd368a5 (MD5) / O constante avanço na fabricação de circuitos integrados com a miniaturização da tecnologia, o aumento da frequência de operação e a diminuição da tensão de alimentação fazem deles cada vez mais sensíveis à radiação. A preocupação com a sensibilidade de circuitos integrados não é mais restrita a projetos de aplicações espaciais onde o ambiente é mais hostil quanto à radiação. Circuitos fabricados com tecnologias em escala nanométrica são potencialmente sensíveis a partículas que se encontram na atmosfera terrestre e até no nível do mar. A importância da tolerância a falhas em semicondutores existe desde quando anomalias foram observadas no comportamento de dispositivos operando no espaço. A larga presença de circuitos integrados em diversas áreas do nosso cotidiano faz com que técnicas de tolerância a falhas ganhem importância também para aplicações terrestres. Desse modo, formas eficientes de avaliação dessas técnicas de tolerância a falhas são essenciais para lidar com essa demanda. É importante que essa avaliação possa ser realizada em etapas iniciais do projeto de circuitos integrados tolerantes à radiação de forma a reduzir o custo com locação de instalações que utilizam equipamentos de radiação induzida para verificação. Nesse contexto, o trabalho de dissertação apresenta um estudo sobre diferentes técnicas de injeção de falhas. Além do estudo, foi desenvolvida uma plataforma de emulação de soft errors (PLAESER) visando a análise experimental de técnicas de tolerância a falhas. A plataforma PLAESER provê suporte ao fluxo proposto para avaliação de técnicas de tolerância a falhas em fase inicial do projeto de circuitos robustos através da prototipação rápida em FPGAs. Os resultados obtidos com os casos de teste utilizados procuram mostrar o emprego do fluxo proposto para análise de técnicas de tolerância a falhas. / The continuous improvements in the integrated circuits manufacture process considering the miniaturization of technology, increase of clock frequencies and limitation of power supply, make them more susceptible to radiation. The concern with circuit sensitivity is no longer restricted to space applications, in harsh environment. Integrated circuits manufactured with nanometric technologies are potentially sensitive to particles present in the atmosphere and also at the sea level. Fault tolerance strategies applied to semiconductors have been around since upsets were first experienced in space applications. The large usage of integrated circuits in several areas of everyday life makes fault tolerance techniques important also for terrestrial applications. Therefore, efficient hardness evaluation solutions are essential to deal with this demand. Such evaluation is important and should be performed earlier in hardened integrated circuit designs in order to reduce costs with rental of radiation facilities. In this context, this work presents a evaluation of different fault injection techniques. Moreover, a soft error emulation platform (PLAESER) has been developed in order to analyze fault tolerance techniques experimentally. PLEASER gives support to the flow proposed to evaluate fault tolerance techniques earlier in hardened circuit designs through rapid prototyping. The results obtained with the selected test cases show the employment of the proposed flow to analyze fault tolerance techniques.

Tese (doutorado) - Universidade Federal de Santa Catarina, Florianópolis, 1996. / Made available in DSpace on 2013-12-05T20:31:12Z (GMT). No. of bitstreams: 1 106526.pdf: 14228173 bytes, checksum: ae8e946d9a17d327f01e723e06371fd0 (MD5) Previous issue date: 1996 / Neste trabalho é proposto um esquema de tolerância a faltas para sistemas distribuídos que faz uso extensivo dos recursos computacionais, através da replicação massiva de processos. Esse esquema, denominado MR (Múltiplas Replicações), apresenta uma estrutura adaptável a aspectos ligados às características de evolução de uma aplicação. No esquema MR, os algoritmos base de cada uma das replicações são soluções diferenciadas de um mesmo problema de aplicação. As diferentes replicações montadas a partir desses algoritmos são dispostas no esquema no sentido de atender os princípios da diversidade de projeto e da diversidade de dados. A tolerância a faltas de hardware é inerente pelo uso explícito de replicações. A cada execução do MR, com base em atributos dos dados de entrada é selecionada dinamicamente uma replicação própria para o processamento dos mesmos. Na verdade, essa seleção determina uma classe de algoritmos alternativos, apropriados para o processamento dos dados de entrada. Os algoritmos nessa classe estão dispostos, segundo critérios de precisão ou de desempenho, em uma ordem que determina o algoritmo preferencial e as alternativas. A replicação ativada executa o algoritmo preferencial da classe associada. Ao longo desse texto é mostrado todo o esforço realizado no sentido de verificar a viabilidade desse novo esquema. Usando o modelo de traços CSP, procuramos mostrar a adequação do mesmo às provas de correção da Teoria de Processos Replicados. Estudo sobre o desempenho e a segurança de funcionamento do MR, também são realizados no sentido da comparação com outros esquemas presentes na literatura.

Made available in DSpace on 2015-05-14T12:36:31Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1940743 bytes, checksum: bb735e70b492ac362a56323e53c914f4 (MD5) Previous issue date: 2012-03-23 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work describes the implementation of parallel algorithms whose main goal is to accelerate the implementation of numerical calculations existing in quantum chemistry programs. These programs use some methods whose order of complexity varies from O(n3) and O(n5), where n is the parameter related to the amount of atoms in a molecule. This becomes a limiting factor when one wants to work with molecular systems containing thousands of atoms, such as proteins, DNA and polysaccharides. It is explored both the parallelism provided by graphics cards and the CUDA programming model are also used libraries for manipulating sparse matrices, which are common in these calculations. The results show gains of more than 100% for test instances. / Este trabalho apresenta a implementação de algoritmos paralelos cujo objetivo principal é acelerar a execução de cálculos numéricos existentes em programas de Química Quântica. Estes programas utilizam alguns métodos cuja ordem de complexidade varia entre O(n3) e O(n5), onde o parâmetro n está relacionado à quantidade de átomos de uma molécula. Isto se torna um fator limitante quando se quer trabalhar com sistemas moleculares contendo milhares de átomos, como por exemplo, proteínas, DNA e polissacarídeos. É explorado tanto o paralelismo proporcionado pelas placas gráficas e pelo modelo de programação CUDA como também são utilizadas bibliotecas para manipulação de matrizes esparsas, que são comuns nestes cálculos. Os resultados obtidos demonstram ganhos superiores a 100% para as instâncias testes.

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / ComputaÃÃo em Nuvem ou Cloud Computing à um paradigma promissor de computaÃÃo orientada a serviÃos. O seu maior benefÃcio à a elasticidade, isto Ã, a capacidade do sistema de adicionar e remover recursos automaticamente em tempo de execuÃÃo. Para isso, à essencial projetar e implementar uma tÃcnica efetiva e eficiente que tire proveito da flexibilidade do sistema. Dessa forma, prover elasticidade requer monitorar continuamente (ou prever) a demanda do sistema por recursos, com objetivo de decidir quando adicionÃ-los e removÃ-los. Este trabalho apresenta um mÃtodo de monitoramento nÃo-intrusivo e contÃnuo de SGBDs relacionais em uma infraestrutura de nuvem, visando minimizar a quantidade de mÃquinas virtuais provisionadas para o processamento de consultas, e consequentemente maximizar o uso eficiente do ambiente do provedor. AlÃm disso, ele visa satisfazer um "acordo de nÃvel de serviÃo", em inglÃs service-level agrement (SLA), associado a cada consulta submetida ao sistema. Dessa forma, um objetivo desse trabalho tambÃm à minimizar a penalidade paga pelo provedor para os casos em que ocorre a violaÃÃo do SLA. AlÃm do mÃtodo de monitoramento, este trabalho tambÃm apresenta um mÃtodo de provisionamento de MVs para o processamento da consulta como contribuiÃÃes. Nossa estratÃgia de monitoramento à aplicada a consultas select-range e consultas com agregaÃÃo sobre uma Ãnica tabela. Os experimentos foram realizados na infraestrutura de nuvem da Amazon, confirmando que nossa tÃcnica à elÃstica, permitindo ajustar os recursos alocados no sistema de forma automÃtica e dinÃmica, com base no SLA acordado.