Repositório RCAAP

Ferramentas de virtualização de redes podem ser utilizadas com a finalidade de criar experimentos envolvendo redes de computadores e sistemas distribuídos em diversas aplicações, seja este para avaliação e validação de um sistema distribuído, teste de novas configurações em um ambiente de produção, ou mesmo para uso educacional. Várias são as opções de ferramentas disponíveis para a realização de tais experimentos. Entretanto, as ferramentas disponíveis não oferecem um suporte adequado a virtualização de redes móveis. O presente trabalho de mestrado apresenta uma proposta para a modificação de uma ferramenta de virtualização de código livre chamada Netkit, de modo a viabilizar a criação de experimentos que envolvam redes móveis. Neste caso, a ferramenta prevê que os dispositivos possam ser localizados em um espaço virtual e deslocados, de modo que variações como intensidade de sinal, trocas de pontos de acesso e experimentos que envolvam a localização espacial dos dispositivos possam ser efetuados.

O teste de programas concorrentes é essencial para assegurar a qualidade das atuais aplicações distribuídas/paralelas em desenvolvimento. Apesar de ser essencial, essa atividade de teste é dificilmente empregada adequadamente, devido a fatores como: alto custo de execução, grande lacuna entre desenvolvedores e resultados de pesquisas em testes para programas concorrentes e acesso às ferramentas de teste de programas concorrentes que automatizem/viabilizem o emprego do teste. Este projeto visa definir os parâmetros da atividade de teste estrutural de programas concorrentes que nortearão a composição de diferentes serviços na Web. Tais serviços dão suporte à atividade de teste estrutural de programas concorrentes, estabelecendo fronteiras claras em ferramentas de teste para os módulos relativos ao modelo de teste, aos critérios de teste, à linguagem de programação e aos paradigmas de sincronização. Desse modo, novas ferramentas de teste poderão ser construídas de maneira mais flexível, com menos custo de desenvolvimento e com mais eficácia. Tal abordagem traz como benefícios diretos: (1) facilitar a interação entre os setores da indústria, ensino e pesquisa que estejam interessados no desenvolvimento de programas concorrentes com qualidade; (2) diminuir os custos de instalação e manutenção de ferramentas de teste estrutural pelos desenvolvedores; (3) facilitar a incorporação da atividade de teste de programas concorrentes no ciclo de desenvolvimento das aplicações distribuídas e paralelas; (4) aumentar a abrangência do projeto TestPar, permitindo que novos usuários (desenvolvedores, professores e outros grupos de pesquisa) possam utilizar facilmente os conhecimentos gerados no projeto; e (5) realimentar o projeto TestPar com novas demandas qualificadas, estas advindas de novos programas concorrentes submetidos para teste.

Dentre as técnicas de mineração existentes encontra-se a associação, responsável por identificar relações que ocorrem no conjunto de dados. Embora a associação seja uma das técnicas mais utilizadas, a quantidade de padrões extraídos pode vir a sobrecarregar o usuário de tal maneira que encontrar algo interessante dentre a imensidão de padrões obtidos passa a ser um novo desafio. Para solucionar esse problema, uma grande parte dos trabalhos relacionados à associação está voltada a etapa de pós-processamento. Esses trabalhos geralmente propõem abordagens de pós-processamento que visam, segundo determinada estratégia, facilitar a busca pelos padrões interessantes ao domínio. Nos últimos anos, essas abordagens têm incluído no processo o conhecimento e/ou interesse do usuário sobre o domínio. Contudo, nas abordagens atualmente existentes, o usuário deve, por meio de algum formalismo descrever explicitamente seu conhecimento e/ou interesse, requerendo do usuário um tempo considerável, podendo levar, inclusive, a especificações incompletas e/ou incorretas. Além disso, na maioria das vezes, o usuário não tem ideia do que é provavelmente interessante, nem a partir de quais relações iniciar a busca. Nota-se, portanto, que um dos desafios dessas abordagens é considerar o conhecimento e/ou interesse do usuário. Além disso, é necessário considerar também o número de regras que o usuário analisará. A análise de regras feita por um especialista é custosa e, na maioria dos casos, o usuário quer explorar as regras geradas sem limitar a exploração ao conhecimento que ele já possui. Portanto, é importante que o usuário avalie o menor número de regras possível e, com base nessa avaliação, abordagens de pós-processamento consigam o auxiliar na busca pelas regras que ele poderá considerar interessante. Para tanto, é proposto neste trabalho que o pós-processamento seja tratado como um problema de classificação semissupervisionada transdutiva, uma vez que permite que o usuário rotule, considerando classes pré-definidas (por exemplo, \"Interessante\" ou \"Não Interessante\"), apenas algumas regras do conjunto a ser explorado para que todas as outras regras sejam automaticamente rotuladas. Além disso, por meio da definição dos rótulos de algumas regras, é possível capturar implicitamente o conhecimento e/ou interesse do usuário sobre o domínio. Para tanto, é necessário que as regras sejam modeladas de maneira a permitir: (a) selecionar as regras a serem rotuladas pelo usuário a fim de capturar implicitamente seu conhecimento e/ou interesse; (b) propagar os rótulos das regras já classificadas pelo usuário a todas as outras regras não rotuladas. Desse modo, neste trabalho, as regras foram modeladas via redes, uma vez que: (i) uma vasta quantidade de medidas de exploração de redes pode ser utilizada, em conjunto com as informações fornecidas pelo usuário, a fim de viabilizar o item (a); (ii) algoritmos de propagação de rótulos podem ser utilizados a fim de viabilizar o item (b). Diante do apresentado, ressalta-se que as contribuições deste trabalho estão na capacidade de se extrair o conhecimento e/ou interesse do usuário de acordo com as características da base de dados e direcionar sua exploração sem a necessidade de se definir previamente o que será explorado. Além disso, os resultados obtidos demonstram a capacidade da PARLP em direcionar o usuário para o conhecimento considerado interessante, reduzindo, para tanto, a quantidade de regras a serem exploradas. Por fim, este trabalho contribui também para demonstrar que é possível tratar o pós-processamento de regras de associação como um problema de propagação de rótulos.

Cursos Online, Abertos e Massivos (MOOCs) têm despertado o interesse e a atenção da comunidade como uma forma de educação continuada com o potencial de trazer muitos benefícios para a sociedade, tais como: (i) contribuir para ampliar a diversidade no acesso à educação; (ii) incentivar a aprendizagem ao longo da vida; e (iii) motivar os educadores na criação de recursos educacionais e na adoção de estratégias pedagógicas ativas e centradas no aprendiz. Vídeo é um recurso educacional muito utilizado para apoiar a aprendizagem dos participantes dos MOOCs. Entretanto, educadores, projetistas de aprendizagem e tecnologistas educacionais têm enfrentado vários desafios durante o processo de design de vídeos educacionais para esse contexto. Entre esses desafios, destaca-se a falta de estratégias bem definidas, validadas, e que descrevam quais etapas devem ser seguidas e quais adaptações são necessárias para apoiar de forma eficaz todo o processo de design de vídeos educacionais para MOOCs. Adicionalmente, também existe uma dificuldade das equipes em construir vídeos para MOOCs sob o ponto de vista dos princípios de Recursos Educacionais Abertos (REAs). Considerando esse contexto, o objetivo principal deste trabalho consistiu em estabelecer uma estratégia que representasse as melhores práticas de design educacional de vídeos para MOOCs, considerando aspectos pedagógicos e as especificidades de cursos nesse formato. Para isso, foi definida e validada uma linguagem de padrões de design educacional denominada VideoMOOC-PL. A linguagem possui 15 padrões e visa apoiar equipes de MOOCs durante todo o processo de produção de vídeos educacionais. A VideoMOOC-PL também busca incentivar a criação de vídeos educacionais para serem disponibilizados como REAs. Ela foi validada por meio de um estudo experimental, duas revisões por especialistas em padrões e uma avaliação por especialistas em design educacional. Os resultados obtidos evidenciam que a VideoMOOC-PL apresenta um impacto positivo sobre a eficácia no processo de design de vídeos educacionais para o contexto dos MOOCs, apoiando as equipes durante todo o percurso.

Uma parte significativa dos escoamentos encontrados em aplicações tecnológicas é caracterizada por envolver altos números de Reynolds, principalmente aqueles em regime turbulento e com superfície livre. Obter soluções numéricas representativas para essa classe de problemas é extremamente difícil, devido à natureza não-linear das equações diferenciais parciais envolvidas nos modelos. Conseqüentemente, o tema tem sido uma das principais preocupações da comunidade científica moderna em dinâmica de fluidos computacional. Aproximações de primeira ordem para os termos convectivos são as mais adequadas para amortecer oscilações que estão associadas às aproximações de alta ordem não-limitadas. Todavia, elas introduzem dissipação artificial nas representações discretas comprometendo os resultados numéricos. Para minimizar esse efeito não-físico e, ao mesmo tempo, conseguir aproximações incondicionalmente estáveis, é indispensável adotar uma estratégia que combine aproximações de primeira ordem com as de ordem mais alta e que leve em conta a propagação de informações físicas. Os resultados dessa composição são os esquemas "upwind" limitados de alta ordem. Em geral, espera-se que esses esquemas sejam apropriados para a representação das derivadas convectivas nos modelos de turbulência kappa-varepsilon. No contexto de diferenças finitas, a presente tese dedica-se à solução numérica das equações de Navier-Stokes no regime de números de Reynolds elevados. Em particular, ela contém uma análise de algoritmos monotônicos e antidifusivos e modelos de turbulência kappa-varepsilon para a simulação de escoamentos incompressíveis envolvendo superfícies livres. Esquemas de convecção são implementados nos códigos GENSMAC para proporcionar um tratamento robusto dos termos convectivos nas equações de transporte. Duas versões do modelo kappa-varepsilon de turbulência são implementadas nos códigos GENSMAC, para problems bidimensionais e com simetria radial, para descrever os efeitos da turbulência sobre o escoamento médio. Resultados numéricos de escoamentos com simetria radial são comparados com resultados experimentais e analíticos. Simulações numéricas de problemas tridimensionais complexos são apresentadas para avaliar o desempenho de esquemas "upwind". Finalmente, os modelos de turbulência kappa-varepsilon são utilizados para a simulação de escoamentos confinados e com superfícies livres.

Sistemas de Recuperação de Imagens por Conteúdo (SiRICs) têm como objetivo realizar buscas em grandes coleções de imagens, recuperando aquelas cujos conteúdos são mais similares à uma imagem fornecida como parte do predicado de busca. A similaridade é expressada por uma função de distância (dissimilaridade) que calcula a relação entre um par de imagens para permitir que ambas sejam comparadas. Funções de distância usam características extraídas de cada imagem por um conjunto de algoritmos chamados extratores de características. Para melhorar o desempenho do processo de buscas, as características selecionadas são extraídas de cada imagem no momento em cada uma é armazenada na base de dados, criando um vetor de características para cada imagem. As operações subsequentes da busca são realizadas usando os vetores de características no0 lugar das imagens. Antes de extrair as características, outros algoritmos de processamento de imagem são utilizados para pré-processar cada imagem, de forma a prepará-la para os extratores. Adicionalmente, é comum a existência de vários critérios que podem ser considerados no processo de cálculo da similaridade de duas imagens. Nos SiRICs atuais, para comparar imagens, é preciso definir (1) o critério de comparação, (2) os pré-processamentos necessários para execução dos extratores, (3) quais são os extratores utilizados, (4) quais características devem ser consideradas, (5) e qual função de distância deve ser aplicada. Todas essas definições têm de ser configuradas antes da comparação ser realizada. A complexidade desse processo levou ao desenvolvimento de SiRICs com poucas opções para configuração das operações de comparação. Além disso, não existe nenhuma representação formal do processo SiRIC como uni todo. Este trabalho apresenta uma representação formal do conjunto completo de operações que compõem o processo de buscas por conteúdo em imagens, objetivando consultas por similaridade em grandes bases de dados relacionais. A aplicação desse formalismo é apresentada com os resultados experimentais gerados sobre imagens médicas de urna base de dados hospitalar.

Este trabalho apresenta parte de um sistema de simulação integrado para escoamento de fluido incompressível bidimensional, usando malhas não estruturadas, chamado Umflow- 2D. O sistema consiste de três módulos: um módulo modelador, um módulo simulador e um módulo visualizador. A parte do sistema apresentado neste trabalho é o módulo modelador, o módulo visualizador e o gerador de malhas. O módulo modelador tem uma interface gráfica que auxilia o usuário a rotular o domínio computacional, a malha, as condições de contorno, e a inicialização de outros dados. A malha não estruturada pode ser gerada usando dois algoritmos: Algoritmo de Refinamento de Chew e Ruppert. O módulo de visualização é um sistema que permite a visualização dos resultados gerados pelo módulo de simulação. Este trabalho usa uma estrutura de dados chamada Singular Handle Edge (SHE) para manipular e representar as malhas.

Vehicles will use pseudonyms instead of relying on long-term certificates to provide security and privacy. Pseudonyms are short-term public key certificates that do not contain identity-linking information about the vehicle. However, there is a constant risk that authorised vehicles may send fake messages or behave selfishly, and this can affect the performance of the Vehicular Ad hoc NETwork (VANET). In this context, trust management is another important component of security services in VANETs, which provides a unified system for establishing a relationship between the nodes and helps by keeping record of the behaviour of the vehicles. Nevertheless, it is a challenging task to monitor the evolving pattern of the vehicular behaviour, since communication between the vehicles is anonymous. It is not easy to find a balanced solution that meets the requirements of security, privacy, and trust management in VANET. In view of this, we put forward a Preserving-Privacy Reputation Scheme (PPRS) applied to VANETs, in which a reputation server through a Roadside Unit receives feedback about the behaviour of the vehicles. The server updates and certifies the reputation of the vehicles by matching their anonymous identities with their real ones. Our scheme introduces geographical areas of security, in which the security of an area can be adapted to higher or lower levels depending on the reputation of the vehicles. In addition, complex reputation is examined, in which the reputation of a vehicle is linked to several behavioural factors. A further key area that is explored is the performance evaluation of PPRS which is conducted through a set of simulations in a grid scenario, based on an opportunistic message forwarding application. The results showed the effectiveness of PPRS in terms of assessing the behaviour of the vehicles and taking measures against the misbehaving vehicles. We used SUMO to simulate the mobility model; OMNET++ and Veins supported the simulation of the network model. In addition, Crypto++ was used to implement the elliptical curve cryptographic functions of signature and verification of messages, as recommended by the security standards. Finally, we employ a pseudonym changing strategy in which the reputation is discretised at two levels of reputation. The strategy was implemented in a realistic traffic simulation scenario, and was compared with the so called status and synchronous strategies through a serie of simulations. The results showed that the number of pseudonyms used in our strategy is lower than the strategies mentioned above, and maintains the rate of success of changing pseudonym achieved by the synchronous strategy.

Complex networks have been successfully applied to different fields, being the subject of study in different areas that include, for example, physics and computer science. The finding that methods of complex networks can be used to analyze texts in their different complexity levels has implied in advances in natural language processing (NLP) tasks. Examples of applications analyzed with the methods of complex networks are keyword identification, development of automatic summarizers, and authorship attribution systems. The latter task has been studied with some success through the representation of co-occurrence (or adjacency) networks that connect only the closest words in the text. Despite this success, only a few works have attempted to extend this representation or employ different ones. Moreover, many approaches use a similar set of measurements to characterize the networks and do not combine their techniques with the ones traditionally used for the authorship attribution task. This Masters research proposes some extensions to the traditional co-occurrence model and investigates new attributes and other representations (such as mesoscopic and named entity networks) for the task. The connectivity information of function words is used to complement the characterization of authors writing styles, as these words are relevant for the task. Finally, the main contribution of this research is the development of hybrid classifiers, called labelled motifs, that combine traditional factors with properties obtained with the topological analysis of complex networks. The relevance of these classifiers is verified in the context of authorship attribution and translationese identification. With this hybrid approach, we show that it is possible to improve the performance of networkbased techniques when they are combined with traditional ones usually employed in NLP. By adapting, combining and improving the model, not only the performance of authorship attribution systems was improved, but also it was possible to better understand what are the textual quantitative factors (measured through networks) that can be used in stylometry studies. The advances obtained during this project may be useful to study related applications, such as the analysis of stylistic inconsistencies and plagiarism, and the analysis of text complexity. Furthermore, most of the methods proposed in this work can be easily applied to many natural languages.

In this doctoral thesis, we propose new iterative methods for solving a class of convex optimization problems. In general, we consider problems in which the objective function is composed of a finite sum of convex functions and the set of constraints is, at least, convex and closed. The iterative methods we propose are basically designed through the combination of incremental subgradient methods and string-averaging algorithms. Furthermore, in order to obtain methods able to solve optimization problems with many constraints (and possibly in high dimensions), generally given by convex functions, our analysis includes an operator that calculates approximate projections onto the feasible set, instead of the Euclidean projection. This feature is employed in the two methods we propose; one deterministic and the other stochastic. A convergence analysis is proposed for both methods and numerical experiments are performed in order to verify their applicability, especially in large scale problems.

Este trabalho de mestrado apresenta o desenvolvimento de uma extensão no benchmark Bench4Q. A extensão proposta é uma nova funcionalidade para o benchmark. O referido framework é utilizado para gerar carga sintética para um sistema e-commerce acoplado ao benchmark. Seu principal emprego na literatura tem sido em avaliação de desempenho sob carga estacionária. Contudo, recentes pesquisas tem apresentado interesse no estudo de arquiteturas adaptativas de autogerenciamento de recursos, o que implica em responder às perturbações e atender os requisitos de desempenho em regime transiente propostos para o sistema. No entanto, este benchmark não abrange os estados transiente do sistema. O presente trabalho tem por objetivo estender o benchmark Bench4Q acrescentando-lhe capacidade de excitar a resposta transiente do sistema mediante as perturbações da carga de trabalho. Para isso, o software foi acrescido de funcionalidade capaz de gerenciar a modulação da carga de trabalho. Os experimentos foram executados em um ambiente multicamadas que apresentou resultados compatíveis ao objetivo, representando contribuições para a área de avaliação de desempenho. A motivação da pesquisa, inserção em outros trabalhos em andamento e direções futuras são introduzidas.

Esta trabalho apresenta a utilização de Queuing SLatecharts para a especificação de modelos de sistemas computacionais em um sistema de simulação automático. Durante o trabalho de mestrado, foi implementado o Módulo de Interface Gráfica com o Usuário e o Módulo Avaliador Nívl 1 do ASDA (Ambiente de Simulação Automática Distribuída), e o desenvolvido urri gerador de programas de simulação para a extensão funcional SMPL (Simulation Prograrnming Language). Forma definidas as estruturas de dados que permitem o armazenamento, a alteração e recuperação do modelo. O módulo de Interface com o Usuário implementado permite que o usuário defina o modelo, a parametrização e o gerenciamento das informações dos usuários do ambiente que atua cm conjunto com o Módulo Avaliador Nível I consiste na definição das regras para a verificação da consistência do modelo e a validação dos parâmetros. O gerador de programas de simulação desenvolvido possibilita que o usuário gere automaticamente seus programas de simulação a partir da especificação gráfica e dos parâmetros do modelo definidos pelo usuário de simulação. As regras para a verificação da consistência do modelo e da validação dos parâmetros foram definidas durante o desenvolvimento do Módulo Avaliador Nível 1. O gerador para programas de simulação desenvolvido neste trabalho permite ao usuário utilizar o modelo armazenado na estrutura de dados e gerar automaticamente o seu programa de simulação. São apresentados exemplos e resultados de programas de simulação gerador.

Fotografias aéreas possuem aplicações nos mais variados tipos de atividades. Como exemplos, pode-se citar agricultura, vigilância, mapeamento e planejamento urbano, levantamento de malha rodoviária, levantamento topográfico e atividades militares, entre outras. E de grande importância a associação de imagens aéreas às coordenadas geográficas do local onde são obtidas. Esse tipo de associação é chamado de georeferenciamento, e é necessário para que seja possível utilizar, de forma satisfatória, os dados contidos nas imagens. Recentemente, o avanço da tecnologia na área de posicionamento global tem fornecido sensores capazes de determinar coordenadas geográficas em tempo real com grande precisão. Isso permite a criação de sistemas que automatizam o processo de georeferenciamento das imagens a um baixo custo. Além disso, o uso de equipamentos de fotografia aérea de pequeno formato associado ao uso de aeronaves do tipo ultraleve como plataforma também tem permitido uma significativa redução no custo de obtenção de imagens aéreas. Neste trabalho de mestrado foi desenvolvido o SciaGeo, um sistema para aquisição automática de imagens aéreas georefcrenciadas utilizando aeronaves do tipo ultraleve. Foram obtidos bons resultados com o SciaGeo, por meio de testes em campo, realizados em uma região agrícola, sobre culturas de soja e milho. Esses testes geraram imagens georeferenciadas de boa qualidade, permitindo a extração de informações importantes da cultura por meio de processamento digital de imagens.

Simulações por computador permitem reduzir custo e, muitas vezes, realizar experimentos que na vida real seriam impraticáveis, ou por questões ambientais (explosões nucleares), ou por fatores que estão fora do controle do ser humano (colisões entre estrelas). Entretanto, e muito difícil manipular e analisar as centenas de gigabytes, ou mesmo terabytes, que tais simulações produzem como resultado. Os trabalhos que lidam com tais conjuntos de dados, tipicamente, empregam tanto técnicas de visualização científica como técnicas de visualização da informação, em geral refletindo o comportamento dos dados em um único instante de tempo. Entretanto, a análise da evolução temporal e a disponibilização de representações visuais integradas ainda é um grande desafio. Esse trabalho introduz diversas estratégias buscando tratar estes problemas, as quais tem em comum a utilização de projeções multidimensionais para apoiar a análise exploratória dos de dados, tanto em um instante de tempo específico, como ao longo da evolução temporal. O objetivo é favorecer a localização de grupos de elementos com comportamento similar e acompanhar sua evolução ao longo da simulação. Uma das estratégias introduzidas resume o comportamento temporal dos dados multidimensionais em uma única visualização, o que permite rastrear as entidades com comportamento similar e analisá-las ao longo da simulação

Neste trabalho propomos algumas soluções para problemas de seleção e controle introduzidos por Marsh e Zellner (1994). Estudamos soluções ótimas obtidas através de diferentes funções de perda e comparamos tais soluções com a chamada \"solução do diretor\". Além disso, enfocamos os problemas de controle de uma forma distinta da proposta em Marsh e Zellner, utilizando o conceito de densidade preditiva. Introduzimos o modelo de regressão logística em problemas de seleção e controle com heterogeneidade, obtendo soluções via Inferência Clássica e Inferência Bayesiana Assintótica. Analisamos um conjunto de dados simulados a fim de exemplificar o emprego do modelo de regressão logística em tais problemas. Baseando-nos em Geisser (1982), utilizamos funções de perda e densidade preditiva para obter soluções ótimas para problemas de seleção e controle. Procedemos a uma análise para verificar qual o impacto da função de perda na escolha dos parâmetros da distribuição a priori de O: probabilidade dos indivíduos aceitarem uma oferta para um curso a ser realizado. Na tentativa de solucionar problemas de captura-recaptura através de problemas de controle investigamos um estimador bastante conhecido, o estimador de Petersen (1896) e, através da Inferência Bayesiana, propomos um ajuste para o mesmo, similar às correções de Bartlett (1937). Através de um exemplo com dados simulados é possível verificar que o ajuste melhora sensivelmente as estimativas do tamanho de uma população animal.

Neste trabalho é apresentado um ambiente integrado para o auxílio à paralelização de aplicações escritas na linguagem Fortran. O sistema foi desenvolvido com o objetivo de sanar uma necessidade de melhores ferramentas para programação paralela, conforme identificado na revisão bibliográfica apresentada. Diversas técnicas de Engenharia de Software são utilizadas neste trabalho. A análise do sistema é apresentada, e são discutidos os seus objetivos e a descrição das suas características principais. O projeto do sistema e o modelo de geração do código paralelo são descritos. E feita uma análise dos algoritmos envolvidos na sua implementação. Também são apresentados exemplos de utilização do sistema e os resultados obtidos são avaliados. Finalmente, podem ser encontradas diversas sugestões de novos projetos, importantes para a continuidade do trabalho até aqui desenvolvido.

Esta dissertação apresenta uma discussão de diversos algoritmos paralelos para ordenação encontrados na literatura. Os algoritmos são analisados visando selecionar os mais adequados para a implementação em sistemas distribuídos. O algoritmo base utilizado foi o Quicksort Paralelo, que foi implementado em uma rede de SUNs utilizando a plataforma de programação PVM (Parallel Virtual Machine). Os resultados obtidos foram analisados e alterações visando adequar os algoritmos ao sistema utilizado (máquinas heterogêneas, granularidade grossa) foram propostas. Dentre as modificações propostas cabe ressaltar: a divisão não uniforme dos vetores a serem ordenados com o intuito de obter melhor balanceamento de carga; a divisão de vetores utilizando-se pivôs para que as listas geradas em paralelo não necessitem de intercalação; e a liberação do processador mestre, evitando que este seja sobrecarregado com a ordenação de uma lista. Os resultados obtidos com as modificações são analisados.

Este trabalho apresenta o GASC (Gerador de Aplicação para Sistemas Concorrentes) constituído de uma linguagem de especificação, um analisador estruturural e semântico, e um gerador de código. A linguagem do GASC é baseada em características de outras linguagens de programação e de especificação formal. O objetivo do GASC é oferecer uma ferramenta de fácil utilização para especificação de sistemas concorrentes, juntamente com a validação da especificação e a geração automática de código na linguagem de programação OCCAM. Os conceitos envolvidos com processamento paralelo, especificações formais e geradores de aplicações são apresentados e discutidos com o objetivo de se formar uma base para o desenvolvimento do trabalho. Exemplos de todas as fases, desde a representação do problema até a geração do código, são apresentados.

Este trabalho de pesquisa apresenta um protótipo de servidor Web distribuído com diferenciação de serviços baseado em QoS relativa e absoluta. São implementados e comparados diferentes algoritmos de escalonamento. Um dos algoritmos avaliados é o EBS. O objetivo é transpor a teoria da política para o mundo real, e comparar o seu comportamento com os resultados das simulações, utilizando o tempo de resposta como medida de desempenho. Além do EBS, outros algoritmos são avaliados, tais como, Round-Roubin e Weighted Round Robin

Esta Tese apresenta um conjunto de técnicas propostas com o objetivo de aprimorar processos de Agrupamento de Dados (AD). O principal objetivo é fornecer à comunidade científica um ferramental para uma análise completa de estruturas implícitas em conjuntos de dados, desde a descoberta dessas estruturas, permitindo o emprego de conhecimento prévio sobre os dados, até a análise de seu significado no contexto em que eles estão inseridos. São dois os pontos principais desse ferramental. O primeiro se trata do algoritmo para AD fuzzy semi-supervisionado SSL+P e sua evolução SSL+P*, capazes de levar em consideração o conhecimento prévio disponível sobre os dados em duas formas: rótulos e níveis de proximidade de pares de exemplos, aqui denominados Dicas de Conhecimento Prévio (DCPs). Esses algoritmos também permitem que a métrica de distância seja ajustada aos dados e às DCPs. O algoritmo SSL+P* também busca estimar o número ideal de clusters para uma determinada base de dados, levando em conta as DCPs disponíveis. Os algoritmos SSL+P e SSL+P* envolvem a minimização de uma função objetivo por meio de um algoritmo de Otimização Baseado em População (OBP). Esta Tese também fornece ferramentas que podem ser utilizadas diretamente neste ponto: as duas versões modificadas do algoritmo Particle Swarm Optimization (PSO), DPSO-1 e DPSO-2 e 4 formas de inicialização de uma população inicial de soluções. O segundo ponto principal do ferramental proposto nesta Tese diz respeito à análise de clusters resultantes de um processo de AD aplicado a uma base de dados de um domínio específico. É proposta uma abordagem baseada em Mineração de Textos (MT) para a busca em informações textuais, disponibilizadas digitalmente e relacionadas com as entidades representadas nos dados. Em seguida, é fornecido ao pesquisador um conjunto de palavras associadas a cada cluster, que podem sugerir informações que ajudem a identificar as relações compartilhadas por exemplos atribuídos ao mesmo cluster