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-21T06:59:19Z (GMT). No. of bitstreams: 1 195053.pdf: 496541 bytes, checksum: 423de153bc835a354f243426ae6dfca0 (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-21T08:46:56Z (GMT). No. of bitstreams: 1 202752.pdf: 768214 bytes, checksum: c8a8db65a7bdaaa5e098882707a683d9 (MD5) / Este trabalho apresenta a resolução de um problema clássico da Síntese de Alto Nível: o escalonamento sob restrições de recursos e de tempo. Para tanto utiliza uma abordagem orientada à exploração automática de soluções alternativas. O problema consiste em escalonar as operações de um algoritmo buscando uma melhor utilização dos recursos físicos e satisfazendo uma série de restrições de recursos, de precedência e de tempo. Os resultados experimentais mostram o sucesso das técnicas propostas em eliminar soluções de baixa qualidade do espaço de busca e melhorar a qualidade média do espaço de soluções. Em adição, na maioria dos testes realizados houve uma redução do tempo de busca por soluções de boa qualidade.

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-21T08:55:26Z (GMT). No. of bitstreams: 1 209154.pdf: 737730 bytes, checksum: b1bd6844c7543dc5d1373cb7673e595b (MD5) / A utilização de agregados de computadores está cada vez mais presente no contexto computacional atual. Um dos grandes problemas de tais ambientes é a má alocação dos recursos computacionais. O módulo de escalonamento de processos é um importante componente para a melhoria de distribuição das cargas do sistema. Enquanto o escalonamento estático é utilizado nos casos em que o comportamento dos programas é previamente conhecido, o escalonamento dinâmico torna-se necessário em casos onde o comportamento dos processos é desconhecido. As soluções de escalonamento adaptativas tomam decisões com base nos parâmetros atuais do sistema. Desta forma, são capazes de adaptarem-se às variações do ambiente. Nesta dissertação, apresentamos uma abordagem de escalonamento dinâmico de processos baseado em sistemas classificadores. Sistemas classificadores são algoritmos de aprendizado de máquina, baseados em algoritmos genéticos altamente adaptáveis. Em adição, apresentamos um modelo de sistema computacional que é testado sob o paradigma de um sistema classificador. Nossos resultados demonstram um diferencial na capacidade de adaptação do sistema classificador mediante o ambiente sob o qual está inserido.

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-21T09:52:19Z (GMT). No. of bitstreams: 1 201486.pdf: 496463 bytes, checksum: 55424db49c821ad081991d52c7ee8aa5 (MD5) / Esta dissertação aborda o problema de escalonamento sob restrições de recursos em Síntese de Alto Nível. Tradicionalmente, os algoritmos de escalonamento associam operações a instantes de tempo, levando em conta um número pré-fixado de unidades funcionais (somadores, ALUs, multiplicadores). Entretanto, para viabilizar a execução de uma operação em uma unidade funcional, os operandos precisam ser preliminarmente lidos de registradores e transportados, através de barramentos, até as entradas da unidade funcional. Além disso, o resultado da operação precisa também ser transportado, através de um barramento, até o registrador destino. Conseqüentemente, o escalonamento de muitas operações em paralelo pode levar à alocação de um número proibitivo de barramentos. Isto torna desejável que um algoritmo de escalonamento seja capaz de manipular também restrições impostas por um número pré-fixado de barramentos. Este trabalho estende um algoritmo de escalonamento clássico, usando a noção de transferência entre registradores (RT) ao invés da simples noção de operação. Assim, o escalonador estendido torna-se capaz de manipular, além das restrições de precedência, restrições de recursos impostas por um número limitado de recursos, sejam eles unidades funcionais e/ou barramentos. Resultados experimentais mostram o impacto do número limitado de barramentos sobre a latência.

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-21T13:44:23Z (GMT). No. of bitstreams: 0

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-21T13:52:28Z (GMT). No. of bitstreams: 1 224580.pdf: 1232467 bytes, checksum: bec5cdfaad5a2f9105ac6468494e8c68 (MD5) / O objetivo fundamental do controle de concorrência em banco de dados é assegurar que a execução concorrente de transações não resulte na perda da consistência do banco de dados, ou seja, é necessário assegurar o isolamento das transações. No que diz respeito aos bancos de dados móveis, os mecanismos de controle de concorrência aplicados em bancos de dados tradicionais, ou até mesmo distribuídos, não satisfazem as restrições impostas pelo ambiente de computação móvel, como mobilidade das unidades, as freqüentes desconexões de rede, a baixa largura de banda e a portabilidade. Baseando-se na referida fundamentação, neste trabalho é feito um estudo bibliográfico dos principais modelos de transações móveis, evidenciando suas arquiteturas, modos de processamento, tipos de transações utilizadas, traçando um comparativo de como é feito o suporte das propriedades ACID (Atomicidade, Consistência, Isolamento e Durabilidade) em cada modelo estudado. Com estas informações é feita uma análise dos mecanismos de controle de concorrência utilizados em cada modelo. De acordo com as necessidades dos modelos de transações investigados na literatura, a taxonomia proposta tem como diferencial a apresentação da abordagem híbrida, onde os modelos de transações móveis poderão obter um melhor desempenho utilizando o modo pessimista, quando a conectado ao banco de dados, e otimista quando desconectado.

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-21T17:23:51Z (GMT). No. of bitstreams: 1 210022.pdf: 600027 bytes, checksum: 593cdf81a2de56eda1d99061c8a08743 (MD5) / O objetivo é apresentar um estudo comparativo dos principais modelos de algoritmos de Análise de Agrupamento (Cluster Analysis) existentes na literatura e implementados em softwares, visando o seu uso no processo de descoberta de conhecimentos em grandes bancos de dados (Knowledge Discovery in Databases - KDD). Os algoritmos de Agrupamento são diferenciados de acordo com o seu método de formação (Hierárquico, Partição, Baseado em Modelo, Baseado em Grade e Baseado em Densidade) e também pela medida de distância que expressa a similaridade ou dissimilaridade entre os objetos. Mostram-se também critérios de mensuração para que se possam avaliar quais os melhores algoritmos para grandes bases de dados. Os algoritmos foram avaliados com dados reais e simulados utilizando a Linguagem R, que apontou o algoritmo k-medoid como o mais preciso e rápido. O trabalho mostra que o uso de Análise de Agrupamentos (AA) pode ser feito através de software gratuito e com máquina de baixo custo, mas para se obtenham bons resultados são necessários sólidos conhecimentos teóricos sobre AA.

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-21T18:15:34Z (GMT). No. of bitstreams: 1 221037.pdf: 1403534 bytes, checksum: e8cab5ee22ccdea48c47fd4a494be28a (MD5) / A presente dissertação faz um estudo prospectivo de como o conceito de Componente Educacional, contextualizado a partir da Teoria da Atividade e da Engenharia de Software, pode ser usado como um das alternativas para melhorar a qualidade de softwares educacionais. Neste estudo foram modelados alguns Componentes Educacionais baseados nos elementos da Teoria da Atividade e nos níveis de uma atividade. Contudo almeja-se que os respectivos componentes apresentem as características da Teoria da Atividade em sua implementação. Por meio da pesquisa, foi possível chegar a um modelo teórico de desenvolvimento de Componentes Educacionais, que pode ser usado como referencial para a sua construção. Deste modo pretende-se que esteja garantido o valor pedagógico de tais artefatos, quando aplicados ao desenvolvimento de software educacional.

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-21T19:42:06Z (GMT). No. of bitstreams: 1 209021.pdf: 3001389 bytes, checksum: 98f3081cca19a03f8ba703944138d9f7 (MD5) / As mais populares metodologias de construção de programas em Inteligência Artificial -IA, KADS, MIKE E PROTÉGÉ, são apresentadas e comparadas. Desta comparação e avaliação das principais limitações são detectadas e uma nova metodologia é sugerida, que será chamada MEDSIA (Metodologia para Desenvolvimento de sistemas em IA). A principal diferença entre esta metodologia proposta e as apresentadas é que ela considera novos desenvolvimentos de métodos para resolver problemas de IA, métodos estes que se tornaram populares por volta do final do século passado e são: abordagem conexionista e a evolucionária. Para ilustrar MEDSIA foram desenvolvidos dois programas: 1 # Sistema de Ajuda a Decisão Jurídica no caso de Pensões Alimentícias e, 2 # Sistema Especialista Conexionista de Diagnóstico Médico no campo da Reumatologia.

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-21T19:45:25Z (GMT). No. of bitstreams: 0 / Este trabalho apresenta a implementação de uma versão do interpretador da linguagem PASCAL-FC. Em sua versão original, o código concorrente é executado seqüencialmente, apenas simulando a execução de processos concorrentes. Seu ambiente de execução é chamado de pseudoparalelo, o que é suficiente para uma ferramenta didática de programação concorrente. Na versão aqui apresentada, o código compilado é executado em um fluxo principal que se divide em n fluxos de execução independente, que são fluxos de processos independentes. A utilização de processos baseados no modelo UNIX-IPC, como processos, semáforos, segmentos de memória compartilhada e filas de mensagens,