Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Ciência da Computação / Made available in DSpace on 2012-10-22T16:21:29Z (GMT). No. of bitstreams: 1 233629.pdf: 3766536 bytes, checksum: e109e6ae29ea4b6b75e0b93be252f0eb (MD5) / Este trabalho apresenta um método de complexidade linear para correlacionamento estéreo de tempo-real, no qual o tempo de processamento depende apenas da resolução do par de imagens. Regiões ao longo de cada linha epipolar são indexadas para produzir o mapa de disparidades, ao invés de realizar uma busca pela melhor correlação. Métodos locais atuais não possuem complexidade linear, uma vez que dependem de uma busca através de um espaço de possíveis correlações. O método apresentado é limitado a um conjunto de câmeras paralelas ou um par de imagens retificadas, porque todas as disparidades devem ocorrer na mesma direção e sentido. Uma restrição de continuidade é aplicada para remover falsas correlações. O mapa resultante é semi-denso, mas as disparidades são bem distribuídas e as áreas esparsas são preenchidas satisfatoriamente através de interpolação baseada no ponto mais próximo. Nenhum ajuste específico de parâmetros é necessário. Resultados experimentais com conjuntos de dados padrão alcançam aproximadamente 90% de acurácia, usando metodologia de teste bem conhecida e os mesmos parâmetros em todos os testes.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-22T18:23:08Z (GMT). No. of bitstreams: 1 228795.pdf: 833848 bytes, checksum: 1aa6d11f42af74cd0f0465fe237c4121 (MD5) / As tecnologias atuais de detecção de intrusão são limitadas na proteção contra ataques que podem violar a segurança de grades computacionais. Este trabalho apresenta o problema da detecção de intrusão em grades, descreve os requisitos para identificar essas violações, propõe um método para detecção de intrusão baseada em grade, descreve um exemplo de uma arquitetura de um sistema de detecção de intrusão (IDS) distribuído e mostra como ele supera as limitações das tecnologias atuais pela integração da detecção dos ataques típicos de computadores host e de redes com a detecção de ataques específicos de grade e anomalias de comportamento de usuários. A integração é viabilizada pelo uso de protocolos e formatos de compartilhamento de informações entre IDSs que estão em processo de padronização pelo IETF. É também descrito um caso de uso empregando simulação de uma grade computacional onde usuários que apresentam anomalias comportamentais são identificados por um IDS de grade integrado com outros IDSs que aprendeu previamente a reconhecer mudanças de comportamento que possivelmente são o resultado de uma intrusão.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-22T20:54:40Z (GMT). No. of bitstreams: 1 233435.pdf: 488451 bytes, checksum: ff65c6feee0e30911e3fc39d28896d1a (MD5) / A concepção de computadores cada vez mais poderosos, com mais recursos e funcionalidades impulsionou uma significativa evolução no desenvolvimento de sistemas operacionais. Estes sistemas, com o objetivo de prover acesso aos dispositivos, implementam uma complexa abstração do hardware, permitindo que as aplicações sejam projetadas em uma camada de alto nível, facilitando o desenvolvimento e aumentando a portabilidade. Esta abordagem é eficiente nos casos citados acima, porém ela produz um gerenciador de recursos fortemente centralizado, que pode entrar em conflito com as necessidades específicas das aplicações, limitando-as tanto em performance quanto em flexibilidade, devido ao fato de que a aplicação precisa se adaptar ao ambiente de execução. De acordo com autores conceituados, a necessidade da adaptação do sistema operacional em relação a aplicação é cada vez mais evidente e somente desta forma será possível oferecer um ambiente especializado de acordo com as necessidades específicas de cada uma delas. O modelo proposto neste trabalho, visa suprir estas necessidades, oferecendo a possibilidade da modificação do ambiente de execução através de meta-informações passadas pelas aplicações no momento da sua inicialização ou dinamicamente durante a sua execução. Através das simulações realizadas, foi provado que é possível a concepção de tal arquitetura, contudo ainda é muito dependente de recursos que estão sendo desenvolvidos e aprimorados, como a máquina virtual Java. The increase conception of more powerful computers, with better resources and functionalities, began to stimulate a significant evolution in the operation system development. These systems provide devices access by implementing one complex hardware abstraction layer, allowing that the applications can be developed in a high level layer, which help to quick development and portability increase. This strategy is efficient in the cited cases above, however it produces a strong centered resources management, which can conflict with the application specific necessities, limiting them in performance and flexibility, because the application has to adapt yourself to an execution environment. Some authors with appraised, has been talk about the necessity of the operational system adaptation in relation to the application and it have been more evident, maybe this could be the only way to offer a specialized environment in agreement with the application specific necessities. The approach present in this thesis, aims at to supply dynamically these necessities, offering the modification possibility in the environment through meta-information passed by the applications at the load-time or run-time. Through simulations, was demonstrated that the conception of such architecture is possible, however this approach still dependent of the resources that are being in development and improvement, as the Java virtual machine.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência de Computação. / Made available in DSpace on 2012-10-23T02:13:53Z (GMT). No. of bitstreams: 1 251945.pdf: 8427087 bytes, checksum: d1559991538a79d7f11b0b65b4778a98 (MD5) / Existem diversos modelos e normas de referência para a melhoria de processos de software disponíveis atualmente, mas as Micro e Pequenas Empresas (MPEs) de software em geral não os conhecem ou não os utilizam e acabam enfrentando dificuldades em produzir software com a qualidade e produtividade esperadas pelo mercado. Percebe-se a ausência de indicações concretas de implementação das práticas sugeridas pelos modelos e normas de referência para que possam ser aplicadas à realidade das MPEs. Além de atender às características das MPEs em geral, essas práticas precisam ser adaptadas às especificidades de cada organização e alinhadas aos seus objetivos de negócio por meio da modelagem de processo. Nesse contexto, este trabalho apresenta a extensão da abordagem de modelagem de processos ASPE/MSC, por meio da introdução de um guia de referência de processo alinhado aos principais modelos de referência e adaptado às características e limitações típicas das MPEs. Um guia de referência para o processo de monitoramento e controle de projetos é elaborado e, embutido na abordagem ASPE/MSC estendida, é aplicado na modelagem desse processo em duas rganizações. Nestas duas aplicações foram coletadas diversas experiências. A avaliação destas duas aplicações estabelece uma primeira indicação de que a utilização de um guia de referência durante a modelagem de processos pode auxiliar na eficiência da modelagem do processo, reduzindo o esforço e o tempo necessários. Também é possível observar que o suporte de um guia de referência pode auxiliar o engenheiro de processo, fornecendo suporte concreto durante a modelagem do processo. Currently, there exist several models and standards for software processes improvement currently available, but, in general, Micro and Small software Companies (MSC) do not know or do not use th em, with the result that they face difficulties in producing software with quality and productivity as expected by the market. There can be perceived a lack of indications on how to the implement practices suggested by reference models and standards adapted to the reality of MSC. In addition, those practices have to be adapted to the specific characteristics of each organization and aligned with their business goals through process modeling. In this context, this work presents an extension of the ASPE/MSC processes modeling approach, through the introduction of a process reference guide as a basis for the improvement of a descriptive process model in alignment with well-known reference models and adapted to typical MSC characteristics and limitations. In this context, a guide for the process project monitoring and control is created and, using the ASPE/MSC extension, applied in two software organizations. In these two applications were collected various experiences. The evaluation of these two applications provide first indicators that the use of a reference guide for process modeling may help the efficiency, reducing the effort and time required. We also observe that the support of a reference guide may help the engineer during the modeling process.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Ciência da Computação / Made available in DSpace on 2012-10-23T03:22:05Z (GMT). No. of bitstreams: 1 247095.pdf: 533421 bytes, checksum: b56ea5d764d04f11d2eda8019c147fa2 (MD5) / A Web tem sido adotada como uma grande fonte e meio para troca de informações. No entanto, os dados presentes nela se encontram sob os mais variados modelos de dados, principalmente XML. Em função do amplo uso do modelo de dados XML, questões como a descoberta de conhecimento e a manutenção da integridade sobre dados XML têm crescido em importância. A descoberta de conhecimento é relevante no suporte a decisões, enquanto a manutenção da integridade visa manter este conhecimento consistente. Dada esta relevância, é proposta uma abordagem semi-automática para descoberta de Restrições de Integridade Semânticas (RIS) a partir de instâncias XML chamada DIInCX (Discovery of Implicit Integrity Constraint from XML data). DIInCX define um processo que coleta informações sobre as instâncias XML, aplica um algoritmo de mineração de regras de associação com adaptações e traduz as regras descobertas para RIS's especificadas na linguagem SWRL (Semantic Web Rule Language). A abordagem provê suporte a sistemas de manipulação de dados que desejam gerenciar RIS's. Outra contribuição deste trabalho é uma taxionomia para RIS's XML segundo os componentes de uma RI em bancos de dados. Esta taxionomia auxilia na avaliação de expressividade de linguagens de especificação de RIS's XML e da robustez de sistemas que controlam RIS's

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-23T04:11:35Z (GMT). No. of bitstreams: 1 241992.pdf: 947224 bytes, checksum: 44c6ee182bfc9c0ca61422264262ba13 (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação / Made available in DSpace on 2012-10-23T05:28:42Z (GMT). No. of bitstreams: 1 238943.pdf: 1240041 bytes, checksum: dfd3574d78bb7a18cb321e50c5c1d57d (MD5) / Uma rede de sensores sem fio é uma coleção de dispositivos limitados em poder de processamento e alcance de transmissão, com baixa disponibilidade de memória e de energia. Devido a estas limitações, a maioria das soluções de segurança de redes cabeadas, tais como baseadas em ICP pura, não se aplicam diretamente neste tipo de ambiente. Este trabalho apresenta um protocolo híbrido que trata do esquema de gerenciamento de chaves e da interconexão transparente de clusters. Também é tratado o problema de captura de nós, oferecendo uma solução para a proteção da chave de grupo. Simulações mostram que aumentando o número de sensores na rede, o desempenho da comunicação entre dois clusters quaisquer permanece o mesmo

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduaçõa em Ciência da Computação. / Made available in DSpace on 2012-10-23T05:34:18Z (GMT). No. of bitstreams: 0Bitstream added on 2013-07-16T20:06:07Z : No. of bitstreams: 1 249954.pdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Este trabalho apresenta um conjunto de princípios que, se aplicados para a definição de contratos de operações de sistema, possibilitam a geração automática de diagramas de comunicação (UML). Os diagramas assim gerados podem ser usados também para geração automática de código. O mecanismo que gera os diagramas de comunicação é um sistema de busca, o qual foi projetado para encontrar diagramas que realizam um contrato de acordo com os padrões de projeto GRASP - General Responsibility Assignment Software Patterns. Os contratos são escritos em uma linguagem que consiste em uma variação da OCL (Object Constraint Language) adaptada para representar explicitamente os cinco tipos de pós-condições semânticas possíveis em modelos orientados a objetos. Apesar de seu considerável poder de geração, o mecanismo de busca resume-se a um conjunto de apenas quatro regras. O sistema foi implementado e testado em diversos contratos típicos de sistemas de informação, produzindo em todos os casos os resultados almejados. Estes resultados podem ser generalizados também para contratos mais complexos.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-23T06:44:37Z (GMT). No. of bitstreams: 1 247160.pdf: 935971 bytes, checksum: 3be79a9c89f8cf419503feef85d5261e (MD5) / Descritores são operadores que formam termos a partir de variáveis e fórmulas de sistemas lógicos. Diversas teorias introduzem descritores para representar, em linguagens formais, o artigo definido (o/a) e o artigo indefinido (um/uma) das linguagens naturais. Entretanto, as abordagens mais conhecidas não oferecem um tratamento para termos ambíguos. A lógica LAR (Logic of Ambiguous Reference), originalmente apresentada em Buchsbaum(2002), foi proposta para representar adequadamente estas situações, bastante comuns na matemática e na linguagem cotidiana. LAR apresenta um modo diferenciado de tratar descrições, através da associação de cada termo a uma coleção de objetos do universo de discurso, em oposição às semânticas usuais, as quais associam cada termo a um único objeto. Dessa forma, pode-se tratar uniformemente descrições unívocas, vácuas ou ambíguas. Outra característica de destaque é o conceito de abrangência, o qual opera como uma igualdade unidirecional. Essas duas características, descrição e abrangência, permitem uma representação de conhecimento mais próxima da prática lingüística usual. Este trabalho apresenta um detalhamento de LAR, incluindo provas dos resultados originais e algumas correções, além da apresentação de diversos exemplos. Por fim, LAR é comparada às lógicas descritivas de Bertrand Russell, de John Barkley Rosser e de David Hilbert.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-23T08:42:37Z (GMT). No. of bitstreams: 1 240542.pdf: 743159 bytes, checksum: 946b8886de1ead1988e790461ac40938 (MD5) / Baixo consumo de energia é um dos principais requisitos no projeto de sistemas embarcados, principalmente quando estes são alimentados por baterias. Técnicas que têm sido aplicadas com eficácia em sistemas de computação genérica não têm atingido o mesmo êxito em sistemas embarcados, ou devido à falta de flexibilidade, ou devido aos requisitos para sua implantação (volumes de memória e processamento), que podem tornar proibitiva sua aplicação nestes dispositivos. Este trabalho define uma interface simples e uniforme para gerência de energia dirigida pela aplicação em sistemas embarcados. Esta interface disponibiliza ao programador da aplicação a flexibilidade de configurar os modos de operação de baixo consumo dos componentes em uso, conforme sua necessidade. A implementação buscou garantir a portabilidade desta aplicação a um baixo custo em termos de uso de memória e processamento. Este trabalho utiliza Redes de Petri Hierárquicas para especificar os procedimentos de troca de modos de operação dos componentes, utilizando os pontos de refinamento destas redes para representar as relações entre os diversos componentes do sistema. O uso das Redes de Petri permitiu analisar o mecanismo de gerência de energia para verificar seu funcionamento e a inexistência de impasses. A extensão da interface dos componentes e a inclusão dos procedimentos de troca de modo de operação foram implementadas como um aspecto. Um protótipo foi desenvolvido utilizando o sistema operacional Embedded Parallel Operating System (EPOS) e estudos de caso foram realizados para demonstrar a usabilidade desta interface.