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-19T04:16:21Z (GMT). No. of bitstreams: 1 206495.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-19T05:06:27Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T20:56:05Z : No. of bitstreams: 1 181160.pdf: 9927731 bytes, checksum: 939b757e35c602a4af0c48560cd205a5 (MD5) / Atualmente percebe-se um grande destaque, tanto no setor empresarial quanto educacional, ao desenvolvimento de habilidades como senso crítico, dinamismo, criatividade, expressão pessoal, capacidade de trabalhar em grupo, entre outros. Devido a esse fato freqüentemente se ouve diálogos sobre a importância da cooperação, aprendizagem cooperativa (AC) e trabalho em equipe. Apesar das tecnologias computacionais potencializarem essas relações existem muitas dificuldades na utilização adequada destas. Dentre estas dificuldades destacamos a falta de uma compreensão mais ampla da importância da cooperação e de como promovê-la. Os estudos encontrados na literatura disponível são ainda insuficientes para orientar adequadamente o desenho e a utilização de recursos computacionais para o apoio à AC. Dentro dessa problemática, buscou-se identificar diferentes possibilidades de organização das atividades de aprendizagem - a fim de promover condições favoráveis a interações cooperativas - e relacionar essas atividades com recursos computacionais adequados às suas características específicas e necessidades. Os resultados da pesquisa realizada foram sintetizados em duas taxionomias: i) taxionomia para a análise de ferramentas de apoio à aprendizagem cooperativa e; ii) taxionomia para as formas de organização das atividades de aprendizagem cooperativa apoiadas por computador. A principal contribuição trazida por este trabalho, por meio das taxionomias mencionadas, é apresentar uma fonte concisa dos principais critérios de observação na preparação e encaminhamento de atividades de aprendizagem cooperativa quando apoiadas por computador. Estes critérios são importantes aos educadores pois orientam o planejamento das atividades e a avaliação e escolha de recursos computacionais para o apoio às mesmas. Por outro lado o benefício trazido aos desenvolvedores é uma compreensão mais elaborada dos processos envolvidos em diferentes atividades de AC, contribuindo para o design e implementação de ferramentas mais eficientes e de utilização mais simples e intuitiva.

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-19T05:48:08Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T19:44:18Z : No. of bitstreams: 1 184237.pdf: 3085394 bytes, checksum: d0964baacebba20b2c035c88afd4c051 (MD5) / O desenvolvimento do projeto de banco de dados distribuídos é visto como a etapa que garante o retorno dos investimentos de quem aposta nessa tecnologia. Devido as várias decisões que necessitam ser tomadas ao longo da execução do projeto, essa tarefa passa a enfrentar vários obstáculos. O primeiro deles é a escolha da abordagem, ou seja, top-down para o ambiente em que banco de dados será iniciado a partir do zero ou abordagem bottom-up para bancos de dados preexistentes e posteriormente integrados. A próxima decisão será sobre as técnicas utilizadas, para a abordagem top-down é necessário resolver duas questões, o particionamento e alocação dos dados. Para contribuir com o entendimento da relação entre esses fatores, este estudo apresenta algoritmos e heurísticas específicas para algumas técnicas, ferramentas e metodologias propostas por diferentes autores no intuito de fornecer boas sugestões para uma possível escolha de solução 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-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.