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-19T06:58:51Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T22:32:04Z : No. of bitstreams: 1 188089.pdf: 5524594 bytes, checksum: 2b94532fa7fc7a52b2eccc63e83e4f00 (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-19T11:12:48Z (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-19T11:32:02Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-26T00:14:23Z : No. of bitstreams: 1 184299.pdf: 1934393 bytes, checksum: 1beddc18b7bbf75593270cb622a8a924 (MD5) / Controle de concorrência é um dos graves problemas em banco de dados distribuídos e heterogêneos. Os mecanismos empregados para resolvê-los, baseiam-se em abordagens pessimistas e otimistas. Cada uma dessas abordagens, emprega mecanismos de wait, timestamp ordering e/ou rolback. Em função desses mecanismos, os protocolos propostos serão livres ou não de deadlocks globais. Neste trabalho, são identificados os tipos de autonomia e heterogeneidade dos bancos de dados distribuídos e como estes influenciam no projeto de mecanismos de controle de concorrência. Identifica-se, também, os principais mecanismos de controle de concorrência utilizados comercialmente, além de se fazer uma análise comparativa dos mecanismos apresentados.

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-19T11:45:02Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-26T00:14:39Z : No. of bitstreams: 1 184301.pdf: 1994981 bytes, checksum: 06897e01ca96b80d4e81bfbdf621f13c (MD5) / Expõe que ambos os métodos, tanto dos Tableaux como das Resoluções fazem parte daquilo que se chama prova automática de teoremas. O método da Resolução trabalha com prova por refutação: "se a negação de um teorema é falsa, então ele será verdadeiro." Este método é baseado em uma regra de inferência única, chamada regra de resolução, e utiliza intensivamente um algoritmo de casamento de padrões chamado algoritmo de unificação. Faz-se algumas comparações entre os dois métodos, pois, o algoritmo dos Tableaux não necessita de transformações para qualquer forma normal. Revela que a principal vantagem do método dos Tableaux, em relação ao método tradicional e conhecido de Resolução é fato deste evitar utilização de cláusulas nas suas formas. Forma de Medição no Processo de Alfabetização dos (as) Alunos (as) com Necessidades Educativas Especiais

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-19T12:01:37Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T19:57:30Z : No. of bitstreams: 1 184560.pdf: 2430997 bytes, checksum: 7f1acd2e8a538f9b858b352eb0ef65c5 (MD5) / No presente estudo é apresentada uma abordagem para recuperação de informação em bases textuais usando um modelo baseado em lógica paraconsistente. A idéia base utilizada na abordagem proposta é a expansão do conjunto de termos indexados na query com termos relacionados, obtidos de um thesaurus, utilizando como base o algoritmo "para-analisador". A utilização da lógica paraconsistente é justificada pela facilidade proporcionada por esta no tratamento de situações que envolvem incertezas, paradoxos, inconsistências e vagacidade (vagueness), uma vez que bases textuais e queries em sua maioria são repletas destas situações. Esse trabalho revelou que é possível e provável que a implementação de um modelo com essas características proporcione melhora da qualidade dos termos que constituem o thesaurus. Os resultado desta se constituem assim, numa contribuição científica original para a área, uma vez que não existe nenhum estudo específico e detalhado para avaliação de técnicas de lógica paraconsistente para recuperação de informaçã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-19T12:16:43Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T20:00:05Z : No. of bitstreams: 1 184563.pdf: 2552991 bytes, checksum: 12af3a5dffee835388aa62f5f7af74e2 (MD5) / Sistemas computacionais modernos, requerem cada vez mais velocidade, integração, confiabilidade e capacidade de armazenamento. Com o surgimento da tecnologia de banco de dados distribuído, estes requisitos foram atingidos. Métodos excepcionais de controle sobre os dados distribuídos e replicados surgiram, aumentando a disponibilidade dos dados e a agilidade no gerenciamento das informações. O trabalho proposto tem como objetivo, o estudo de banco de dados distribuído com ênfase em controle de concorrência, onde é realizado um estudo sobre os diversos métodos e algoritmos existentes sobre esse controle. Em cima dos aspectos relacionados ao controle de concorrência, é realizada uma análise entre quatro ferramentas (Oracle, DB2, Ingres e MSSQL Server 2000), as quais fazem o gerenciamento de banco de dados distribuído, comparando e avaliando os métodos e algoritmos de controle de concorrência que cada ferramenta implementa. Por fim, uma tabulação, elencando os principais itens avaliados é sugerida, evidenciando qual a ferramenta que melhor realiza o controle de concorrência num ambiente distribuído.

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-19T12:52:38Z (GMT). No. of bitstreams: 1 220921.pdf: 1323414 bytes, checksum: 2cf46c34958b7ffb300f8debbad1842c (MD5) / A flexibilidade e a mobilidade das redes sem fio fazem com que elas sejam tanto extensões efetivas como alternativas atraentes às redes com fio convencionais. As redes sem fio fornecem todas as funcionalidades das redes com fios convencionais sem as restrições físicas do fio propriamente dito. Elas serão o próximo estágio de evolução das redes computacionais, isto é, a possibilidade do usuário poder acessar os recursos de um sistema (serviços, servidores, impressoras, etc.) a qualquer tempo, bastando ao mesmo estar localizado dentro dos limites de uma infra-estrutura de comunicações sem fio.

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-19T13:17:15Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T21:17:46Z : No. of bitstreams: 1 184571.pdf: 2601508 bytes, checksum: dc793dbefbd08b752245ffbbb39b83aa (MD5) / Com o intuito de contribuir para o processo de concepção e manutenção das comunidades virtuais de aprendizagem cooperativa/colaborativa, este trabalho apresenta um guia de referência para o desenvolvimento destas comunidades levando em consideração os aspectos ergonômicos, pedagógicos e sociais de uma coletividade virtual. Para sistematiza-lo, foram realizados estudos sobre as teorias cooperativas/colaborativas, destacando seus impactos e pré-requisitos; a problemática da constituição da sociabilidade em ambientes mediados por computadores, e a questão da usabilidade de interfaces como o caminho para a melhoria na comunicação humanocomputador e conseqüentemente nas trocas cooperativas entre os membros de uma comunidade virtual.

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-19T14:03:11Z (GMT). No. of bitstreams: 1 197383.pdf: 854414 bytes, checksum: e009a842e9e0148f1e1a79a8c829056d (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-19T14:49:25Z (GMT). No. of bitstreams: 0 / Este trabalho apresenta uma proposta para a criação da Rede de Ciência e Tecnologia do Estado do Pará - RCT-Pa, identificando as principais necessidades para a disseminação do conhecimento tecnológico, a definição dos pontos de interconexão da rede, bem como a descrição do projeto lógico e físico da rede. Neste trabalho estão envolvidos alguns conceitos básicos, necessários ao entendimento da proposta, o levantamento do ambiente atual e do ambiente desejado e o projeto propriamente dito, apresentando duas possíveis implementações da malha de comunicação. Por fim, são apresentadas as conclusões sobre as tecnologias propostas e uma lista de sugestões de trabalhos futuros.