Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Ciências da Educação. Programa de Pós-Graduação em Educação. / Made available in DSpace on 2012-10-21T21:38:24Z (GMT). No. of bitstreams: 1 204947.pdf: 575042 bytes, checksum: 26734979641285f9fd5c4e22df18077b (MD5) / É apresentada uma análise de quatro livros de Genética utilizados no curso de Ciências Biológicas da UFSC, tendo como objetivo verificar a visão de Ciência e a dimensão histórica presente nesses livros. A análise indicou que esses livros contribuem para a manutenção da concepção ligada ao empirismo-indutivista, apresentam o desenvolvimento do conhecimento científico mediante uma história linear, cumulativa e não fazem referências ao contexto social, econômico e político. Uma análise epistemológica de um episódio histórico (caso de Mendel) foi realizada para contrapor e superar a visão empirista predominante nos livros e na educação científica em geral. A análise, realizada a partir da epistemologia de Fleck, considerou o contexto sócio, econômico e político da época de Mendel e a sua participação em vários coletivos de pensamento, destacando o papel da circulação intercoletiva de idéias. Essa análise contribui para a superação da visão empirista-indutivista, ao destacar que além da observação dos dados empíricos, outros elementos estão presentes na construção do conhecimento científico. Sugere-se que os cursos de formação (inicial e continuada) de professores de Ciência propiciem momentos de reflexão e discussão das concepções da natureza da Ciência e de estudo de temas da Filosofia e da História da Ciê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-21T23:14:47Z (GMT). No. of bitstreams: 1 207778.pdf: 429850 bytes, checksum: 5a8ef0bdb25a1cedbc0312a1d037e76b (MD5) / Este trabalho desenvolve uma forma diferente de se obter árvores de prova por tablôs. Denominamos esse método de direto, por causa da característica em que a possível conclusão é inserida no tablô inicial, sem negá-la. Já o método dos tablôs por refutação se utiliza da negação da possível conclusão. No sistema de tablôs por prova direta para a lógica clássica, cada ramo está relacionado semanticamente à disjunção das fórmulas que o compõem, e o tablô completo corresponde semanticamente à conjunção de todas essas disjunções. Em qualquer um dos métodos baseados em tablôs para a Lógica Clássica, tanto direto quanto indireto, um ramo é considerado fechado se o mesmo contiver duas fórmulas contraditórias. No método direto o fechamento de um ramo corresponde à sua validade semântica, a qual implica, no caso do fechamento de todos os ramos, na validade da possível conclusão. Já no método indireto o fechamento de um ramo corresponde à insatisfatibilidade da negação da possível conclusão, o que por sua vez implica na validade da mesma.

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-19T15:23:13Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-26T01:33:37Z : No. of bitstreams: 1 184340.pdf: 36764843 bytes, checksum: 6b7425d1f816a53c0c0791f46b384282 (MD5) / Um estudo sobre comunicação em grupo usada em sistemas distribuídos. É feita uma avaliação de diversos mecanismos de Comunicação em grupo existentes atualmente. Para uma análise mais detalhada, são selecionados três ambientes que trabalham tanto em redes locais como em redes de longa distância. Finalmente um dos mecanismos de comunicação em grupo é escolhido, o SPREAD, e submetido a testes de volume, funcionalidades e performance em um ambiente real de rede WAN. Também uma aplicação de gerenciamento de recursos em ambiente de sistemas distribuídos foi desenvolvida para ilustrar o uso deste mecanismo de comunicação em grupo. Concluiu-se que o SPREAD tem boa performance e escalabilidade em ambiente WAN podendo ser usado plenamente em uma ferramenta de gerência de recursos em sistemas distribuídos.

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-19T17:13:33Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-26T01:32:24Z : No. of bitstreams: 1 184879.pdf: 13976355 bytes, checksum: 956e09075ce1eecda2978a622f085983 (MD5) / Este trabalho apresenta uma abordagem para a identificação e o tratamento dos erros realizados por aprendizes no desenvolvimento de modelagem conceitual. Para fundamentar teoricamente este trabalho foi realizado um estudo sobre Orientação a Objetos, UML (Unified Language Modeling) e, principalmente sobre quais são os erros que mais comumente são observados quando os aprendizes desenvolvem seus próprios modelos conceituais. Além de procurar por erros comuns relatados na bibliografia, procurou-se analisar trabalhos de alunos e catalogar os erros observados, a fim de verificar se é possível automatizar a detecção dos mesmos. Esse tema foi escolhido, pois a partir dessa identificação e catalogação de erros, abre-se a possibilidade de aprimoramento das ferramentas CASE existentes e até mesmo o desenvolvimento de novas ferramentas que sugiram meios de auxiliar o aluno no momento de desenvolvimento da modelagem conceitual.

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-19T18:05:21Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-26T01:55:22Z : No. of bitstreams: 1 187706.pdf: 8361705 bytes, checksum: 9be797cb23f6ee3fb73b769882c5279e (MD5) / Neste trabalho foi implementado um método direto que utiliza a transformada wavelet como o principal recurso para a verificação on-line de assinaturas manuscritas. As assinaturas, obtidas na forma de curvas x(t) e y(t) com o auxílio de uma prancheta digitalizadora, passam por uma etapa de pré-processamento e em seguida são submetidas a uma transformada wavelet. A partir destas funções transformadas, são obtidos números que caracterizam de maneira única cada assinatura. Em seguida, com base nestes números, são estabelecidas medidas de dissimilaridade (distância) entre cada assinatura a ser testada e uma assinatura padrão, previamente escolhida de uma amostra de dez assinaturas fornecidas pelo usuário durante um processo de cadastramento. Assume-se que toda nova assinatura deverá produzir distâncias até a padrão que estejam dentro de uma faixa aceitável em torno de médias verificadas no cadastramento. A determinação destas distâncias é efetuada de maneira não-linear, com o auxílio de uma técnica típica de reconhecimento de sons conhecida como "Dynamic Time Warping" (DTW). Esta técnica permite uma compensação em virtude de variações naturais no ritmo de escrita de cada pessoa a cada nova assinatura. Para recuperar a informação relativa à velocidade, perdida pela uniformização imposta pelo pré-processamento, é utilizada ainda uma outra medida de distância, calculada a partir do desvio das funções de warping para as diagonais correspondentes. A fim de justificar a inclusão da transformada wavelet, foi implementado um segundo sistema de verificação, seguindo uma abordagem em que as funções x(t) e y(t) são diretamente confrontadas com a assinatura padrão. Neste caso, as características são as próprias coordenadas dos pixels que descrevem cada assinatura e as medidas de dissimilaridade passam a ser simplesmente as normas das distâncias entre as curvas, cuja correspondência entre pontos também é determinada com o auxílio do DTW. A partir dos testes desenvolvidos, foram obtidas taxas de erro aceitáveis para este tipo de biometria nos dois sistemas implementados. O bom desempenho do caso em que as wavelets não foram incluídas, no entanto, sugere que, em ambos os sistemas, o principal mecanismo de verificação é a comparação não-linear entre parâmetros efetuada pelo DTW.

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-19T19:17:32Z (GMT). No. of bitstreams: 1 188747.pdf: 1112253 bytes, checksum: 66d48c19b849b0a055ef208bd222deed (MD5) / O ambiente de data warehouse (DW) surgiu como uma evolução dos ambientes de suporte a decisão, integrando fontes de dados dos sistemas transacionais. Sua crescente popularidade reflete a necessidade das empresas em obter informações analíticas derivadas dos seus sistemas transacionais. O ambiente de data warehouse tem características diferentes do ambiente tradicional e é construído tendo-se em mente as necessidades de processamento analítico das organizações. Os projetos de data warehouse têm mais chances de sucesso quando desenvolvidos através de uma metodologia consistente que identifique e guie o projetista durante as várias fases do projeto. Neste trabalho, apresentamos três metodologias de desenvolvimento de data warehouse identificadas a partir de pesquisa bibliográfica. Estas metodologias foram avaliadas com o objetivo de verificar a sua efetiva aplicabilidade em projetos de desenvolvimento de data warehouses. A partir desta avaliação concluiu-se que as metodologias apresentadas não podem ser utilizadas integralmente como base para a construção de sistemas de data warehouse. Conseqüentemente, elaborou-se uma proposta de metodologia com o objetivo de suprir as deficiências e limitações das metodologias pesquisadas. Posteriormente, essa metodologia proposta, foi utilizada para desenvolver o estudo de caso desta dissertação. O estudo de caso tem a finalidade de verificar e avaliar a aplicabilidade da metodologia proposta. Para o estudo de caso foi utilizado o sistema de Concurso Vestibular da UNIJUÍ sediada na cidade de Ijuí (RS).

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-19T20:00:52Z (GMT). No. of bitstreams: 1 190804.pdf: 455299 bytes, checksum: bbb9688d98026f8dd11378f464d3c78f (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-19T20:14:56Z (GMT). No. of bitstreams: 1 194903.pdf: 1001190 bytes, checksum: bb2fcf93abe7a7a7e789171760ced445 (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-19T20:31:42Z (GMT). No. of bitstreams: 1 206427.pdf: 435917 bytes, checksum: 12e41ec7b81a482474781b81032b0982 (MD5) / A evolução dos sites de comércio eletrônico, que tem aumentado a interatividade com os usuários, e os novos modelos de gestão centrados no cliente requerem ferramentas computacionais capazes de processar a imensa quantidade de dados obtida, a fim de gerar conhecimento e personalizar a experiência de compra. Os sistemas de recomendação têm obtido destaque na Internet, e em especial no comércio eletrônico, como uma solução para se alcançar a personalização e agregar valor ao relacionamento com os clientes. Novas abordagens que observem as características da comercialização de produtos são necessárias para que se disponha de um modelo abrangente para criar aplicações nesta área. Este trabalho propõe a criação de um modelo híbrido de sistema de recomendação baseado nos dois métodos de recomendação mais conhecidos: a filtragem colaborativa e a correlação item-a-item. O modelo proposto aborda questões como freqüência e quantidade de compra dos produtos. O método híbrido foi implementado e testado com dados reais de compra. Os resultados mostraram que o modelo proposto supera em média a qualidade das recomendações geradas pelas outras abordagens e também comprovaram a validade da utilização do método em casos em que os produtos são comprados repetidamente.

Dissertação (mestrado) - Universidade Federal de Santa C atarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação / Made available in DSpace on 2012-10-19T21:13:30Z (GMT). No. of bitstreams: 1 207972.pdf: 2361136 bytes, checksum: 973899260dbe6c7cb790e704c574960e (MD5) / Os microcomputadores atuais, em sua grande maioria, possuem um recurso Built-In (Integrado) entre placa principal (Placa Mãe) e a placa de comunicação (Modem ou Rede) denominado Wake Up, em sua tradução "Acordar" onde, ao receber uma chamada pela rede ou uma chamada telefônica, a placa de Rede ou o Modem são capazes de ligar o computador e iniciar o serviço de comunicação.