Repositório RCAAP

Uma Arquitetura Operacional Extensível para Ferramentas de Gerenciamento de Redes

O avanço tecnológico em muito tem dificultado a atualização das ferramentas de gerenciamento de redes, principalmente por não existirem propostas concretas para uma arquitetura operacional. Este trabalho tem o propósito de suprir tais deficiências, apresentando uma avançada arquitetura operacional para sistemas de gerenciamento de redes, que possui como características a facilidade e flexibilidade de incorporação de novas tecnologias e adequação a diferentes plataformas. Os conceitos apresentados foram aplicados ao protótipo da nova ferramenta de gerenciamento de redes MultView, estendendo suas capacidades operacionais. Para tal foi dada especial atenção às tecnologias que apresentam-se como tendência, tais como Java, HTTP, CORBA, SSL, SNNIP, entre outras. O protótipo foi projetado para ser o núcleo de um sistema de gerenciamento de redes com recursos de adição, remoção e controle de módulos de aplicação em tempo real. Para tal foi definida uma interface de aplicação para ser utilizada como base na criação dos módulos a serem integrados ao sistema. A gestão das atividades de controle operacional é feita através de uma interface própria, codificada em HTML, e que pode ser acessada local ou remotamente com ajuda de um navegador Web qualquer. A ferramenta foi inteiramente codificada em linguagem Java, utilizando-se o pacote de desenvolvimento de domínio público JDK 1.0.2, nas plataformas Solaris e Windows NT.

Ano

2022-12-06T14:47:11Z

Creators

Rogério Borges Mouro

Estudo Sobre a Representação de Estruturas de Atributos Multivalorados em Base de Dados Orientada a Objetos

O suporte a Atributos Multivalorados em Sistemas de Bases de Dados Orientados a Objetos é um tema estudado nos diversos modelos existentes atualmente. A necessidade de um tratamento especial para este tipo de atributos foi o objeto de estudo deste trabalho. A forma rígida como os diversos modelos de dados orientados a objetos oferecem suporte aos atributos multivalorados exige que as aplicações assumam o trabalho de compatibilizar as suas necessidades com a forma como são suportados estes atributos. No decorrer deste trabalho é feita uma anáLlise de como os diversos modelos existentes dão suporte a estes atributos e é apresentada uma nova maneira de suportáJos. Assim permite-se a criação de um novo tipo de atributo, o de estrutura, para que um conjunto de valores possa ser estruturado de acordo com a necessidade da aplicação, sem que o seja feito de forma invariável pelo gerenciador. Esse novo tipo de atributo, o de estrutura, permite, por exemplo, que um mesmo conjunto de valores tenha estruturas diferentes de apresentação. Esse trabalho abrange, de forma mais aprofundada, a aplicação deste conceito em modelos de dados orientados a objetos como o Modelo de Representação de Objetos e o SIRruS.

Ano

2022-12-06T14:47:11Z

Creators

Wanderley Gazeta

RACIOCÍNIO BASEADO EM CASOS

Raciocínio Baseado em Casos (RBC) é um paradigma de Inteligência Artificial (IA) que, em essência, busca utilizar uma experiência prévia para entender e resolver um problema novo. O objetivo central deste trabalho é apresentar em detalhes esse paradigma de IA, analisar seus principais temas e propor uma metodologia para o desenvolvimento de um sistema de RBC. Além disso, a metodologia proposta é avaliada através da implementação dos principais algoritmos relacionados à: representação de conhecimento utilizando casos, indexação e armazenamento de casos, métricas de similaridade para recuperação e adaptação de casos.

Ano

2022-12-06T14:47:11Z

Creators

Alneu de Andrade Lopes

UTILIZAÇÃO DE ÁUDIO E VÍDEO EM SISTEMAS GERENCIADORES DE REDES DE COMPUTADORES

O crescente aumento na utilização da tecnologia de redes de computadores tem provocado uma demanda por ferramentas que auxiliem o seu gerenciamento. Paralelamente, os progressos nas indústrias de hardware e software estão dando origem a uma nova linhagem de aplicações que fazem uso de diversos meios, como áudio, imagens estáticas, vídeo, gráficos e texto para facilitar a interação entre usuários. Este trabalho apresenta uma experiência de introduzir funcionalidades multimidia em um Sistema de Gerenciamento de Redes, através do desenvolvimento de um sistema de captura, transmissão e apresentação de áudio e vídeo, utilizado para auxiliar a comunicação entre administradores e usuários de uma rede. O Sistema de Áudio e Vídeo implementado foi incorporado ao MultView (o Sistema de Gerenciamento de Redes em desenvolvimento no ICMSC-USP) e tem mostrado o ganho em qualidade que sistemas como este acrescentam às aplicações onde são empregados.

Ano

2022-12-06T14:47:11Z

Creators

Julio Fernando Lieira

Uma abordagem híbrida para detecção de relacionamentos causais aplicados à descoberta baseada em literatura

A quantidade de conhecimento acumulada em artigos científicos leva os pesquisadores a lidar com um número expressivo de publicações e a sua fragmentação em diferentes campos de especialidades ou disciplinas. No entanto, é possível fazer a conexão entre essas áreas por meio da Descoberta Baseada em Literatura. Essa abordagem tem como objetivo relacionar diferentes especialidades, a fim de encontrar relacionamentos implícitos potencialmente utilizáveis para o levantamento de novas hipóteses científicas. Para viabilizar esse processo e deixá-lo mais rápido e eficaz, a Descoberta Baseada em Literatura conta com o auxílio de técnicas de Mineração de Textos. Apesar de todo o progresso obtido nessas áreas, os pesquisadores ainda precisam lidar com a falta de explicações lógicas sobre as relações encontradas. Pesquisas recentes têm apresentado diversos avanços nesse sentido com o auxílio de técnicas baseadas em análises linguísticas, com foco em abordagens semânticas. Porém, a incorporação de uma abordagem que considere e explique os relacionamentos de causa e efeito entre os conceitos ainda é um desafio a ser superado. Nesse contexto, esta tese de doutorado foi motivada pelo potencial da semântica verbal e da representação do conhecimento em mapas conceituais, a fim de fornecer explicações detalhadas sobre os mecanismos de interação causal existentes entre os conceitos. O desenvolvimento deste trabalho teve o propósito geral de avançar as pesquisas na área da Descoberta Baseada em Literatura com foco da detecção de relacionamentos causais. Para isso, foi desenvolvida uma abordagem híbrida, baseada em análises estatísticas e linguísticas. Experimentos realizados revelaram que as técnicas estatísticas baseadas em regras de associação e métricas de redes complexas possibilitam a seleção dos conceitos mais representativos do corpus, enquanto as técnicas baseadas em análises linguísticas, com foco em semântica verbal, favorecem a extração de relações causais. Essas relações, quando representadas em mapas conceituais, compõem uma cadeia lógica de conexões, fornecendo uma saída facilmente interpretável. Esse modelo de representação auxilia a detecção de links ocultos e a descoberta de conhecimento por parte do usuário. Os resultados relatados nesta tese fornecem evidências de que a abordagem é eficaz para reconstruir e explicar hipóteses de descobertas baseadas na literatura histórica, além de facilitar o teste e a geração de novas hipóteses. Esses resultados mostram os benefícios que uma abordagem híbrida de Mineração de Textos pode proporcionar à Descoberta Baseada em Literatura

Ano

2022-12-06T14:47:11Z

Creators

Dildre Georgiana Vasques

"Um processo para construção de frameworks a partir da engenharia reversa de sistemas de informação baseados na Web: aplicação ao domínio dos leilões virtuais"

Um processo para o desenvolvimento de frameworks para sistemas de informação baseados na Web é proposto. Esse processo é composto pelos subprocessos de engenharia reversa de sistemas baseados na Web, de criação de uma linguagem de padrões e de construção e instanciação do framework. O subprocesso de engenharia reversa utiliza sistemas presentes na Web para derivar um modelo do domínio de aplicação. O desenvolvimento da linguagem de padrões é baseado no modelo do domínio e a construção do framework utiliza essa linguagem de padrões como base de todo o processo. Os produtos resultantes do uso desse processo para o domínio dos leilões virtuais, a Linguagem de Padrões LV e o Framework Qd+, também são apresentados.

Ano

2022-12-06T14:47:11Z

Creators

Reginaldo Ré

"Mecanismos de negociação no módulo de controle de admissão da arquitetura de servidor web com diferenciação de serviços (swds)"

Esta dissertação de mestrado apresenta a implementação e validação de mecanismos de negociação no módulo de controle de admissão de uma arquitetura de servidor web com diferenciação de serviços - SWDS. Foram propostos dois algoritmos, um deles denominado algoritmo de negociação forçada e o outro algoritmo de negociação com a participação do cliente, ambos detalhados ao longo deste trabalho. Verificou-se que a técnica de negociação melhorou o atendimento aos clientes pertencentes a uma determinada classe de serviço para que esses tivessem uma qualidade de serviço garantida. Também foi objeto de estudo a criação de uma métrica envolvendo parâmetros relativos à QoS em servidores web. Os resultados alcançados com desenvolvimento deste trabalho sinalizam para uma melhoria em termos de qualidade de serviços sendo, portanto, mais uma técnica que contribui para a construção de protótipos de servidores web com diferenciação de serviços num futuro não muito distante.

Ano

2022-12-06T14:47:11Z

Creators

Júlio Cezar Estrella

Teste estrutural de integração de programas orientados a aspectos: uma abordagem baseada em conjuntos de junção para AspectJ

A Programação Orientada a Aspectos (POA) é uma técnica de desenvolvimento que apoia a separação de interesses transversais. Na POA, adendos são aplicados a pontos de junção do sistema por meio de uma construção especial chamada descritor de conjuntos de junção (ou simplesmente conjunto de junção). Esse mecanismo apoia a modularização de comportamentos transversais, entretanto, como as interações adicionadas não ficam explícitas no código-fonte, é difícil assegurar que estão corretas. Para lidar com esse problema, nesta tese é proposta uma abordagem rigorosa de teste estrutural de integração para programas orientados a aspectos. É definido um modelo de fluxo de controle e de dados baseado no bytecode Java chamado Grafo Def-Uso baseado em conjuntos de junção (ou PointCut-based Def-Use graph, PCDU) que modela as regiões de execução de um programa escrito em AspectJ que são afetadas por um conjunto de junção. Sobre este modelo são definidos três critérios de teste: todos-nós-baseados-em-conjunto-de-junção, todas-arestas-baseadas-em-conjunto-de-junção e todos-usos-baseados-em-conjunto-de-junção, que requerem a cobertura de todos os comandos, condicionais e pares def-uso no contexto de cada ponto de junção selecionado. Para automatizar o uso do modelo e critérios propostos, é implementada uma ferramenta chamada JaBUTi/PC-AJ. Além disso, para validar a abordagem proposta, são conduzidos estudos teóricos e experimentais que procuram avaliar os critérios tanto do ponto de vista do custo de aplicação quanto do ponto de vista da eficácia em encontrar defeitos. Os estudos oferecem indícios da aplicabilidade e da eficácia dos critérios para encontrar defeitos diretamente relacionados com a POA

Ano

2022-12-06T14:47:11Z

Creators

Otávio Augusto Lazzarini Lemos

Um esquema \"upwind\" para leis de conservação e sua aplicação na simulação de escoamentos incompressíveis 2D e 3D laminares e turbulentos com superfícies livres

Apesar de as EDPS que modelam leis de conservação e problemas em dinâmica dos fluídos serem bem estabelecidas, suas soluções numéricas continuam ainda desafiadoras. Em particular, há dois desafios associados à computação e ao entendimento desses problemas: um deles é a formação de descontinuidades (choques) e o outro é o fenômeno turbulência. Ambos os desafios podem ser atribuídos ao tratamento dos termos advectivos não lineares nessas equações de transporte. Dentro deste canário, esta tese apresenta o estudo do desenvolvimento de um novo esquema \"upwind\" de alta resolução e sua associação com modelagem da turbulência. O desempenho do esquema é investigado nas soluções da equação de advecção 1D com dados iniciais descontínuos e de problemas de Riemann 1D para as equações de Burgers, Euler e águas rasas. Além disso, são apresentados resultados numéricos de escoamentos incompressíveis 2D e 3D no regime laminar a altos números de Reynolds. O novo esquema é então associado à modelagem \'capa\' - \'epsilon\' da turbulência para a simulação numérica de escoamentos incompressíveis turbulentos 2D e 3D com superfícies livres móveis. Aplicação, verificação e validação dos métodos numéricos são também fornecidas

Ano

2022-12-06T14:47:11Z

Creators

Fernando Akira Kurokawa

Geração de colunas para problemas de corte em duas fases

O Problema da Mochila Compartimentada é uma extensão do Problema da Mochila, em que os itens solicitados são divididos em classes, de modo que a mochila deve ser subdividida em compartimentos, os quais têm capacidades limitadas e são carregados com itens da mesma classe. Além disso, a construção de um compartimento tem um custo fixo e ocasiona uma perda no espaço da mochila. O objetivo consiste em maximizar a soma dos valores dos itens, descontado o custo fixo de inclusão de compartimentos. Neste trabalho, são abordados dois métodos de solução. A primeira abordagem é uma heurística, que consiste na combinação de duas heurísticas da literatura. A segunda abordagem é o método Geração de Colunas, que além de fornecer um novo limitante superior para o Problema da Mochila Compartimentada, ao final do método o problema mestre foi resolvido com as variáveis definidas como inteiras, obtendo uma solução factível. Em ambos os métodos, o modelo não-linear é decomposto em dois modelos lineares, no qual, um gera compartimentos e o outro os seleciona. Os resultados obtidos com as duas abordagens foram comparados com um limitante superior e se mostraram bastante satisfatórios

Ano

2022-12-06T14:47:11Z

Creators

Aline Aparecida de Souza Leão

Aumento da eficiência do cálculo da energia de van der Waals em algoritmos genéticos para predição de estruturas de proteínas

As proteínas são moléculas presentes nos seres vivos e essenciais para a vida deles. Para entender a função de uma proteína, devese conhecer sua estrutura tridimensional (o posicionamento correto de todos os seus átomos no espaço). A partir da estrutura de uma proteína vital de um organismo causador de uma doença é possível desenvolver fármacos para o tratamento da doença. Para encontrar a estrutura de uma proteína, métodos biofísicos, como Cristalografia de Raio-X e Ressonância Nuclear Magnética têm sido empregados. No entanto, o uso desses métodos tem restrições práticas que impedem a determinação de várias estruturas de proteínas. Para contornar essas limitações, métodos computacionais para o problema de predição da estrutura da proteína (PSP, Protein Structure Prediction) têm sido investigados. Várias classes de métodos computacionais têm sido desenvolvidas para o problema de PSP. Entre elas, as abordagens ab initio são muito importantes, pois não utilizam nenhuma informação prévia de outras estruturas de proteínas para fazer o PSP, apenas a sequência de aminoácidos da proteína e o gráfico de Ramachandran são empregados. O PSP ab initio é um problema combinatorial que envolve relativamente grandes instâncias na prática, por exemplo, as proteínas em geral têm centenas ou milhares de variáveis para determinar. Para vencer esse entrave, metaheurísticas como os Algoritmos Genéticos (AGs) têm sido investigados. As soluções geradas por um AG são avaliadas pelo cálculo da energia potencial da proteína. Entre elas, o cálculo da interação da energia de van der Waals é custoso computacionalmente tornando o processo evolutivo do AG muito lento mesmo para proteínas pequenas. Este trabalho investiga técnicas para reduzir significativamente o tempo de execução desse cálculo. Basicamente, foram propostas modificações de técnicas de paralelização utilizando MPI e OpenMP para os algoritmos resultantes. Os resultados mostram que o cálculo pode ser 1.500 vezes mais rápido para proteínas gigantes quando aplicadas as técnicas investigadas neste trabalho

Ano

2022-12-06T14:47:11Z

Creators

Daniel Rodrigo Ferraz Bonetti

Estabilidade do filtro de kalman para sistemas lineares com saltos markovianos

O filtro de Kalman é amplamente conhecido e utilizado em aplicações, em virtude de apresentar diversas propriedades interessantes. Este trabalho aborda uma das características mais importantes, a estabilidade do filtro de Kalman aplicado a sistemas lineares discretos com saltos Markovianos. Sistemas desta classe são muito empregados em problemas práticos. Neste trabalho mostramos que o conceito de controlabilidade fraca e detetabilidade estocástica são condições suficientes para estabilidade do filtro de Kalman com relação a condição inicial. No que se refere a estabilidade no sentido mais usual, apresentamos resultados parciais, dependentes de uma condição adicional sobre a cadeia de Markov, bem como uma conjectura. O estudo da estabilidade do filtro de Kalman é relevante, pois filtros instáveis oferecem estimativas de baixa qualidade. O tema tem interesse teórico inerente e é bastante relevante para aplicações.O filtro de Kalman é amplamente conhecido e utilizado em aplicações, em virtude de apresentar diversas propriedades interessantes. Este trabalho aborda uma das características mais importantes, a estabilidade do filtro de Kalman aplicado a sistemas lineares discretos com saltos Markovianos. Sistemas desta classe são muito empregados em problemas práticos. Neste trabalho mostramos que o conceito de controlabilidade fraca e detetabilidade estocástica são condições suficientes para estabilidade do filtro de Kalman com relação a condição inicial. No que se refere a estabilidade no sentido mais usual, apresentamos resultados parciais, dependentes de uma condição adicional sobre a cadeia de Markov, bem como uma conjectura. O estudo da estabilidade do filtro de Kalman é relevante, pois filtros instáveis oferecem estimativas de baixa qualidade. O tema tem interesse teórico inerente e é bastante relevante para aplicações

Ano

2022-12-06T14:47:11Z

Creators

Maria Josiane Ferreira Gomes

Propriedades de invariância na observabilidade e controlabilidade de sistemas lineares a tempo contínuo com saltos markovianos

Este trabalho estuda a observabilidade e controlabilidade para uma classe de sistema dinâmico markoviano com saltos nos parâmetros, e uma coleção de matrizes de observabilidade e controlabilidade associadas. São explorados alguns resultados de invariância, bem como certas propriedades envolvendo essas matrizes. Uma dessas propriedades, relacionada com a coleção de matrizes de observabilidade é conhecida na literatura desta classe de sistemas, mas não há uma prova disponível. Esses resultados de invariancia foram estendidos para o estudo da controlabilidade e sua respectiva coleção de matrizes associada, obtendo assim uma propriedade análoga ao caso da observabilidade. Os resultados obtidos são importantes para validar outros resultados existentes que se baseiam na propriedade referida

Ano

2022-12-06T14:47:11Z

Creators

Alfredo Rafael Roa Narváez

Serviços Web Semânticos: da modelagem à composição

A automação de tarefas como descoberta, composição e invocação de Serviços Web é um requisito importante para o sucesso da Web Semântica. Nos casos de insucesso na busca por um serviço, por não existir disponível um serviço completo que atenda plenamente a requisição do usuário, uma possibilidade de contorno é compor o serviço procurado a partir de elementos básicos que atendam parcialmente a requisição inicial e que se completem. A composição de Serviços Web pode ser realizada de forma manual ou de forma automática. Na composição manual, o desenvolvedor de Serviços Web pode tirar proveito da sua expertise sobre os serviços envolvidos na composição e sobre o resultado que se deseja alcançar. Esta tese aborda problemas e apresenta contribuições relacionadas ao processo de composição automática de Serviços Web. A composição automática de Serviços Web requer que os serviços sejam descritos e publicados de forma a modelar o conhecimento (semântica explícita) que o desenvolvedor utiliza para realizar a composição manual. A descoberta automática baseada nas descrições semânticas do serviço é também um passo crucial na direção da composição automática, pois é um estágio anterior necessário para a seleção dos serviços candidatos à composição. Trabalhos da área de pesquisa em Serviços Web Semânticos exploram a utilização dos padrões da Web Semântica para enriquecer, com semântica explícita, a descrição dos Serviços Web. O problema da composição automática de Serviços Web é tratado neste trabalho por meio de três linhas de investigação: modelagem dos Serviços Web Semânticos; descoberta automática de Serviços Web Semânticos; e composição automática de Serviços Web Semânticos. As contribuições desta tese incluem: a plataforma RALOWS para modelagem de aplicações Web como Serviços Web Semânticos, tendo como estudo de caso aplicações para realização de experimentos remotos; um algoritmo para descoberta automática de Serviços Web Semânticos; uma proposta baseada em grafos e caminhos de custo mínimo para prover composição automática de Serviços Web Semânticos; uma infra-estrutura e ferramentas de apoio à descrição, publicação, descoberta e composição de Serviços Web Semânticos

Ano

2022-12-06T14:47:11Z

Creators

Cássio Vinícius Serafim Prazeres

Segmentação automática de vídeo em cenas baseada em coerência entre tomadas

A popularização de aplicativos e dispositivos capazes de produzir, exibir e editar conteúdos multimídia fez surgir a necessidade de se adaptar, modificar e customizar diferentes tipos de mídia a diferentes necessidades do usuário. Nesse contexto, a área de Personalização e Adaptação de Conteúdo busca desenvolver soluções que atendam a tais necessidades. Sistemas de personalização, em geral, necessitam conhecer os dados presentes na mídia, surgindo, assim, a necessidade de uma indexação do conteúdo presente na mídia. No caso de vídeo digital, os esforços para a indexação automática utilizam como passo inicial a segmentação de vídeos em unidades de informação menores, como tomadas e cenas. A segmentação em cenas, em especial, é um desafio para pesquisadores graças a enorme variedade entre os vídeos e a própria ausência de um consenso na definição de cena. Diversas técnicas diferentes para a segmentação em cenas são reportadas na literatura. Uma técnica, em particular, destaca-se pelo baixo custo computacional: a técnica baseada em coerências visual. Utilizando-se operações de histogramas, a técnica objetiva-se a comparar tomadas adjacentes em busca de similaridades que poderiam indicar a presença de uma cena. Para melhorar os resultados obtidos, autores de trabalhos com tal enfoque utilizam-se de outras características, capazes de medir a \"quantidade de movimento\" das cenas, como os vetores de movimento. Assim, este trabalho apresenta uma técnica de segmentação de vídeo digital em tomadas e em cenas através da coerência visual e do fluxo óptico. Apresenta-se, ainda, uma série de avaliações de eficácia e de desempenho da técnica ao segmentar em tomadas e em cenas uma base de vídeo do domínio filmes

Ano

2022-12-06T14:47:11Z

Creators

Tiago Henrique Trojahn

Uma abordagem com modelo de aprendizado de máquina híbrido para predição de movimentos de preço médio de ativos pelo livro de ofertas

Neste trabalho é apresentada a aplicação de um modelo híbrido para prever os movimentos do preço-médio de instrumentos da Bolsa de Valores do Brasil (B3) utilizando dados do livro de ofertas e as mensagens relacionadas. Uma Rede Neural Convolucional (CNN) é utilizada para extrair características espaciais do livro de ofertas e um algoritmo baseado em árvores de decisão é utilizado para combinar as características da CNN com os dados do arquivo de mensagens. Diferente da maioria das outras bolsas de valores pelo mundo, o arquivo de mensagens da B3 inclui a qual corretora uma ordem pertence e neste trabalho também é apresentada uma análise de sua importância.Os resultados demonstram que a solução pode ser melhorada em 8% em termos de precisão (5% devido ao classificador baseado em árvore de decisão e mais 3% combinando com as mensagens) em comparação com uma CNN tradicional, onde as etapas de extração e classificação são ambas resolvidas pelo próprio modelo. Além disso, a utilização deste classificador permite a transferência de aprendizado de forma muito mais rápida do que o treinamento de uma CNN tradicional (cerca de 40 segundos).

Ano

2022-12-06T14:47:11Z

Creators

Guilherme Augusto Bileki

Sistema de visão artificial para identificação do estado nutricional de plantas

A avaliação do estado nutricional das plantas de milho usualmente é feita através de análises químicas ou pela diagnose visual das folhas da planta, esta última, sujeita a erros de interpretação já que a ausência de algum nutriente na planta gera um padrão de mudança específico na superfície da folha que depende do nível de ausência do nutriente. As dificuldades que apresentam neste processo e sua importância na agricultura, criam a necessidade de pesquisar sistemas automáticos para a avaliação do estado nutricional de plantas. Desta forma, este mestrado teve como objetivo principal o desenvolvimento de um sistema de visão artificial para verificar a possibilidade de identificação de níveis dos macronutrientes Cálcio, Enxofre, Magnésio, Nitrogênio e Potássio em plantas de milho através da análise da superfície das folhas usando métodos de visão computacional. Este projeto realiza uma revisão bibliográfica do estado da arte dos métodos de extração de características de cor, textura em escala de cinza e textura colorida utilizadas em processamento de imagens. A alta similaridade entre os sintomas produzidos pelas deficiências e a pouca similaridade entre amostras de uma mesma deficiência motivou o desenvolvimento de novos métodos de extração de características que pudessem fornecer dados necessários para uma correta separação entre as classes. Os resultados obtidos demonstraram que o sistema desenvolvido possibilita a predição de deficiências nutricionais em estágios iniciais do crescimento da planta usando unicamente a textura da superfície da folha como fonte de informação

Ano

2022-12-06T14:47:11Z

Creators

Alvaro Manuel Gómez Zúñiga

Model based testing of service oriented applications

SERVICE oriented architecture (SOA) is an architectural style to structure software systems, fostering loose coupling and dynamic integration among the applications. The use of SOA and Web services to develop complex and large business processes demands more formal and systematic testing. In addition, characteristics of this type of software limit the straightforward application of traditional testing techniques. Model-based testing (MBT) is a promising approach to deal with these problems. This dissertation investigates how two modeling techniques, namely Finite State Machine (FSM) and Event Sequence Graph (ESG), can be used to support MBT of service-oriented applications. Both techniques model different aspects and can be applied in a complementary way. Initially, we define an MBT process for service-oriented applications that employs FSMs. Based on previous experience, we propose a model-based approach to test composite services using ESGs. This approach is holistic, once test suites are generated to cover both desired situations (positive testing) and unexpected behaviors (negative testing). Three experimental studies evaluate the proposed approach: (i) a case study, (ii) a cost analysis, and (iii) a study in industry. Testing tools are also presented to support its practical use

Ano

2022-12-06T14:47:11Z

Creators

André Takeshi Endo

SERVIDOR DE ARQUIVOS PARA SISTEMAS DISTRIBUIDOS

Este trabalho apresenta o projeto e a implementação de um sistema servidor de arquivos para sistema computacional distribuído baseado em rede local, executando o sis tema operacional MINIX. A principal função de um servidor de arquivos em um sistema computacional dis tribuído é oferecer aos usuários um serviço de armazenamento de dados. Um servidor de arquivos normalmente é composto de uma interface com o usuário (rotinas utilizadas pelo cliente para ter acesso a seus dados) e do sistema. servidor (responsável pelo gerenciamento dos dados dos clientes). No desenvolvimento deste sistema, foi necessária a adaptação do driver de rede adotado pelo sistema operacional MINIX, a fim de possibilitar a comunicação através da rede entre clientes e o servidor de arquivos remoto proposto.

Ano

2022-12-06T14:47:11Z

Creators

Ana Paula Gervasio Silveira Rossato

Algoritmo evolutivo de muitos objetivos para predição ab initio de estrutura de proteínas

Este trabalho foca o desenvolvimento de algoritmos de otimização para o problema de PSP puramente ab initio. Algoritmos que melhor exploram o espaço de potencial de soluções podem, em geral, encontrar melhores soluções. Esses algoritmos podem beneficiar ambas abordagens de PSP, tanto o modelo ab initio quanto os baseados em conhecimento a priori. Pesquisadores tem mostrado que Algoritmos Evolutivos Multiobjetivo podem contribuir significativamente no contexto do problema de PSP puramente ab initio. Neste contexto, esta pesquisa investiga o Algoritmo Evolutivo Multiobjetivo baseado em Tabelas aplicado ao PSP puramente ab initio, que apresenta interessantes resultados para proteínas relativamente simples. Por exemplo, um desafio para o PSP puramente ab initio é a predição de estruturas com folhas-. Para trabalhar com tais proteínas, foi desenvolvido procedimentos computacionalmente eficientes para estimar energias de ligação de hidrogênio e solvatação. Em geral, estas não são consideradas no PSP por abordagens que combinam métodos de otimização e conhecimento a priori. Considerando somente van der Waals e eletrostática, as duas energias de interação que mais contribuem para a definição da estrutura de uma proteína, com as energias de ligação de hidrogênio e solvatação, o problema de PSP tem quatro objetivos. Problemas combinatórios (tais como o PSP), com mais de três objetivos, geralmente requerem métodos específicos capazes de lidar com muitos critérios. Para resolver essa limitação, este trabalho propõe um novo método para a otimização dos muitos objetivos, chamado Algoritmo Evolutivo Multiobjetivo com Muitas Tabelas (AEMMT). Esse método executa uma amostragem mais adequada do espaço de funções objetivo e, portanto, pode mapear melhor as regiões promissoras deste espaço. A capacidade de lidar com muitos objetivos capacita o AEMMT a utilizar melhor a informação oriunda das energias de solvatação e de ligação de hidrogênio, e então predizer estruturas com folhas- e algumas proteínas relativamente mais complexas. Do ponto de vista computacional, o AEMMT é um novo método que lida com muitos objetivos (mais de dez) encontrando soluções relevantes

Ano

2022-12-06T14:47:11Z

Creators

Christiane Regina Soares Brasil