Redes neurais e sua aplicação em sistemas de recuperação de informação

Redes neurais constituem um campo da ciência da computação ligado à inteligência artificial, buscando implementar modelos matemáticos que se assemelhem às estruturas neurais biológicas. Nesse sentido, apresentam capacidade de adaptar os seus parâmetros como resultado da interação com o meio externo, melhorando gradativamente o seu desempenho na solução de um determinado problema. A utilização de redes neurais em sistemas computacionais de recuperação de informação permite atribuir um caráter dinâmico a tais sistemas, dado que as representações dos documentos podem ser reavaliadas e alteradas de acordo com a especificação de relevância atribuída pelos usuários aos documentos recuperados. O presente trabalho apresenta as principais iniciativas de se aplicarem os conceitos de redes neurais aos sistemas de recuperação de informação e avalia sua aplicabilidade em grandes bases documentais, como é o caso da Web.

Histórias de aprendizagem e gestão organizacional: uma abordagem ontológica e hermenêutica

Neste trabalho, partimos de uma história de aprendizagem (HA) já escrita no formato original (segundo desenho originalmente formulado no Centro de Aprendizagem Organizacional do MIT) a qual foi objeto de uma dissertação no Mestrado em Gestão de Conhecimento e Tecnologia da Informação da Universidade Católica de Brasília. Analisamo-la com o objetivo de evidenciar se a mesma tem impacto na aprendizagem organizacional e se constitui instrumento para a gestão organizacional. Para a análise, utilizamos duas abordagens - a Ontologia da Linguagem de Flores / Echeverría, em uma acepção filosófica do termo "ontologia" (diferente da acepção usual comumente utilizada nas ciências de computação e informação), e a Teoria da Interpretação de Ricoeur - como meio de verificação de evidência de aprendizagem, tanto em nível de primeira ordem, quanto em nível de segunda ordem. Especificamente, os fenômenos observados são declarações de aprendizagem, tipologias conversacionais e fluxos emocionais presentes na narrativa que constitui a HA.

Ontologias e vocabulários controlados: comparação de metodologias para construção

O artigo se propõe a apresentar um estudo analítico sobre metodologias e métodos para construção de ontologias e vocabulários controlados através da análise da literatura sobre metodologias para construção de ontologias e de normas internacionais para construção de software e de vocabulários controlados. Por meio de pesquisa teórica e empírica, foi possível construir um panorama comparativo que pode servir de apoio na definição de padrões metodológicos para construção de ontologias através da integração de princípios teóricos e metodológicos da ciência da informação, da ciência da computação, bem como de contribuições de metodologias e métodos conhecidos para construção de ontologias.

Elaboração de um programa computacional para avaliação e controle de serviços de radiologia médica de médio porte, de acordo com as diretrizes de proteção radiológica do Ministério da Saúde

Este trabalho apresenta o resultado do estudo para elaboração de um programa computacional para avaliação e controle de serviços de radiologia médica de médio porte, de acordo com as recentes diretrizes de proteção radiológica do Ministério da Saúde. A rotina do Departamento de Radiologia do Hospital São Vicente de Paulo, Passo Fundo, RS, foi analisada, e a partir desta análise foi desenvolvido um programa computacional utilizando-se ferramentas de computação padrão Windows. O programa, chamado de "Sistema Radiológico", foi implementado e testado com dados e medições, ficando comprovado que a metodologia permite o acompanhamento dos requisitos da Portaria nº 453 do Ministério da Saúde e possibilita ganho de eficiência em diversas atividades.

Certificação digital de exames em telerradiologia: um alerta necessário

A crescente popularização das atividades de telemedicina em todo o mundo tem exigido de médicos e demais profissionais da saúde novas abordagens em sua prática profissional. No que se refere à telerradiologia, observamos forte tendência à transformação de documentos clínicos - como resultados de exames, que até hoje existiam na forma de filmes impressos e laudos em papel - em documentos eletrônicos, disponibilizados em redes internas de clínicas e hospitais, ou pela internet. Esta tendência torna necessária a divulgação e o esclarecimento de conceitos como a certificação digital, a criptografia de dados na internet, a confiabilidade de sites, o documento eletrônico confiável e a assinatura digital. Os princípios básicos desses conceitos, embora por vezes complexos para os profissionais da saúde, podem ser compreendidos de forma efetiva sem que o leitor tenha de mergulhar de cabeça em labirintos como a matemática da criptografia de chaves assimétricas ou os protocolos de comunicação digital de dados. Neste artigo abordaremos de forma direta e com exemplos práticos os aspectos de segurança e confiabilidade de documentos clínicos eletrônicos baseados na internet, com o objetivo de que os usuários médicos possam interagir de forma informada, segura e bem fundamentada com serviços de telerradiologia.

Modelagem matemática e simulação numérica do resfriamento rápido de morango com ar forçado

Este trabalho abordou o resfriamento rápido com ar forçado de morango via simulação numérica. Para tanto, foi empregado o modelo matemático que descreve o processo de transferência de calor, com base na lei de Fourier, escrito em coordenadas esféricas e simplificado para descrever o processo unidimensional. A resolução da equação expressa pelo modelo matemático deu-se por meio da implementação de um algoritmo, fundamentado no esquema explícito do método numérico das diferenças finitas, executado no ambiente de computação científica MATLAB 6.1. A validação do modelo matemático foi realizada a partir da comparação de dados teóricos com dados obtidos num experimento, no qual morangos foram resfriados com ar forçado. Os resultados mostraram que esse tipo de investigação para a determinação do coeficiente de transferência de calor por convecção é promissora como ferramenta no suporte à decisão do uso ou desenvolvimento de equipamentos na área de resfriamento rápido de frutos esféricos com ar forçado.

Estimativa das condições de conforto térmico para avicultura de postura usando a teoria dos conjuntos Fuzzy

Neste trabalho, foi utilizada uma ferramenta matemática promissora na análise de sistemas e/ou processos, particularmente na área de produção animal. Essa ferramenta é a desenvolvida segundo a abordagem da teoria dos Conjuntos Fuzzy e, neste caso específico, permitiu a análise da composição das variáveis climáticas independentes, como temperatura de bulbo seco e umidade relativa do ar, que influenciam na variável dependente denominada conforto térmico das aves. Foi realizada a construção de regras baseadas na intuição humana, segundo o conhecimento de especialistas da área, a partir do que é possível simular cenários distintos para o suporte à decisão de construção de galpões para abrigo a animais. Neste trabalho, foi estimado o conforto térmico para alojamento de aves poedeiras em produção. Os resultados foram analisados, usando-se o ambiente de computação científica MATLAB 6.5, o que pode ser realizado iterativamente a cada cenário gerado. Com base nos resultados obtidos, pode-se analisar as condições de conforto para distintas composições das variáveis de entrada.

Vozes d'África Transatlântica: trajetórias estudantis de Cabo Verde e da Guiné-Bissau - programa de estudantes - convénio de graduação

A presente investigação tem como centralidade a mobilidade internacional de estudantes no caso, a dos africanos oriundos de Cabo Verde e da Guiné-Bissau, participantes do Programa Estudantes-Convênio de Graduação na Universidade Federal do Rio Grande do Norte - UFRN, inserida no fenômeno da internacionalização universitária, acentuada na globalização. O objetivo principal foi analisar o processo de inserção social e acadêmica desses estudantes, com ênfase para os dos cursos de Arquitetura e Urbanismo, Ciências da Computação, Engenharia da Computação e Medicina, nessa Instituição de Ensino Superior - IES. A metodologia foi norteada pela conjugação dos aportes teóricos e metodológicos qualiquantitativa, em que, na primeira, utilizou-se da entrevista semiestrutura dirigida para dezesseis sujeitos; sendo, a metade estudantes e a outra docentes, cuja análise optou-se pela Análise de Discurso (AD) da linha francesa, resultando as formações discursivas: motivações da mobilidade, registro nacional de estrangeiro, identidade étnica, relações étnicoraciais e o PEC-G: seu funcionamento nas práticas sociais na UFRN. Já a pesquisa quantitativa, foi constituída pela aplicação do questionário para o universo de 40 estudantes dos dois grupos e de todas as áreas de conhecimento, cuja interpretação dos dados, recorreu-se ao Programa SPSS. Já, para o recorte dos cursos específicos, foi utilizado, o do Google Doc, os quais, estão expressos em tabelas e gráficos. Os resultados revelaram que essa mobilidade estudantil africana está imersa por um misto de semelhanças e diferenças entre o Brasil e dos Países Africanos de Língua Oficial Poruguesa - PALOP; e mais dos contextos das hierarquias entre os países centrais, semiperiféricos e periféricos, provocadas pelas políticas de reajustes estruturais sobre os serviços educacionais, Sousa (Santos 2008; 2010), que se refletem nas trajetórias acadêmicas temporária no país de acolhimento. Aqui, também, enfrenta as fragilidades e os avanços das políticas públicas do Sistema de Ensino Superior, implementadas pelo governo brasileiro nas IES. Em termos quantitativos para os quatros cursos analisados, em diferentes e curtos períodos, quanto a distribuição de vagas (acesso), formas de desligamentos e conclusão apontaram especificidades. E, grosso modo, o curso de Medicina, apresentou os melhores índices de conclusão, seguidos, pelos de Arquitetura e da Engenharia da Computação. A maioria dos estudantes são do sexo masculino, mais da metade está representada pelos oriundos de Cabo Verde, o restante, pelos da Guiné-Bissau. Enquanto, no curso de Ciências da Computação, foi nula a conclusão de curso, e em função deste histórico de baixo desempenho dos estudantes-convênio PEC-G, teria havido o fechamento de vagas. Mas, verificando-se, que os índices de conclusão nesses cursos, apresentou uma média abaixo dos cursos de graduação da UFRN, nos quais, esses estudantes são minoria ao lado dos afrobrasileiros nas universidades do Brasil.

Adaptive device with underlying mechanism defined by a programming language

An adaptive device is made up of an underlying mechanism, for instance, an automaton, a grammar, a decision tree, etc., to which is added an adaptive mechanism, responsible for allowing a dynamic modification in the structure of the underlying mechanism. This article aims to investigate if a programming language can be used as an underlying mechanism of an adaptive device, resulting in an adaptive language.

O direito e as novas tecnologias

Transformações econômicas, políticas, sociais e culturais em nível mundial, alicerçadas nos avanços de tecnologias de comunicação e da computação, derrubam fronteiras.Considerando ainda o quadro recessivo das economias na maioria dos países do mundo neste início do século XXI, vivemos um cenário competitivo e que pressupõe necessidade de mudanças no que tange á aplicação de recursos e ao atendimento das questões de responsabilidade social.Assim a adoção de inovação de tecnologias é fator necessário na gestão das empresas, das administrações e das instituições.O presente trabalho investiga e avalia a pertinência da utilização das atuais tecnologias em procedimentos jurídicos visando tornar mais eficiente a prestação dos serviços jurisdicional, evitando desperdício de tempo, decorrentes da utilização de procedimentos tradicionais.

Paralelização de métodos de resolução de sistemas lineares esparsos com o DECK em um Cluster de PCs

O objetivo desta dissertação é a paralelização e a avaliação do desempenho de alguns métodos de resolução de sistemas lineares esparsos. O DECK foi utilizado para implementação dos métodos em um cluster de PCs. A presente pesquisa é motivada pela vasta utilização de Sistemas de Equações Lineares em várias áreas científicas, especialmente, na modelagem de fenômenos físicos através de Equações Diferenciais Parciais (EDPs). Nessa área, têm sido desenvolvidas pesquisas pelo GMC-PAD – Grupo de Matemática da Computação e Processamento de Alto Desempenho da UFRGS, para as quais esse trabalho vem contribuindo. Outro fator de motivação para a realização dessa pesquisa é a disponibilidade de um cluster de PCs no Instituto de Informática e do ambiente de programação paralela DECK – Distributed Execution and Communication Kernel. O DECK possibilita a programação em ambientes paralelos com memória distribuída e/ou compartilhada. Ele está sendo desenvolvido pelo grupo de pesquisas GPPD – Grupo de Processamento Paralelo e Distribuído e com a paralelização dos métodos, nesse ambiente, objetiva-se também validar seu funcionamento e avaliar seu potencial e seu desempenho. Os sistemas lineares originados pela discretização de EDPs têm, em geral, como características a esparsidade e a numerosa quantidade de incógnitas. Devido ao porte dos sistemas, para a resolução é necessária grande quantidade de memória e velocidade de processamento, característicos de computações de alto desempenho. Dois métodos de resolução foram estudados e paralelizados, um da classe dos métodos diretos, o Algoritmo de Thomas e outro da classe dos iterativos, o Gradiente Conjugado. A forma de paralelizar um método é completamente diferente do outro. Isso porque o método iterativo é formado por operações básicas de álgebra linear, e o método direto é formado por operações elementares entre linhas e colunas da matriz dos coeficientes do sistema linear. Isso permitiu a investigação e experimentação de formas distintas de paralelismo. Do método do Gradiente Conjugado, foram feitas a versão sem précondicionamento e versões pré-condicionadas com o pré-condicionador Diagonal e com o pré-condicionador Polinomial. Do Algoritmo de Thomas, devido a sua formulação, somente a versão básica foi feita. Após a paralelização dos métodos de resolução, avaliou-se o desempenho dos algoritmos paralelos no cluster, através da realização de medidas do tempo de execução e foram calculados o speedup e a eficiência. As medidas empíricas foram realizadas com variações na ordem dos sistemas resolvidos e no número de nodos utilizados do cluster. Essa avaliação também envolveu a comparação entre as complexidades dos algoritmos seqüenciais e a complexidade dos algoritmos paralelos dos métodos. Esta pesquisa demonstra o desempenho de métodos de resolução de sistemas lineares esparsos em um ambiente de alto desempenho, bem como as potencialidades do DECK. Aplicações que envolvam a resolução desses sistemas podem ser realizadas no cluster, a partir do que já foi desenvolvido, bem como, a investigação de précondicionadores, comparação do desempenho com outros métodos de resolução e paralelização dos métodos com outras ferramentas possibilitando uma melhor avaliação do DECK.

Uma Proposta de especificação formal e fundamentação teórica para simulated annealing

Os algoritmos baseados no paradigma Simulated Annealing e suas variações são atualmente usados de forma ampla na resolução de problemas de otimização de larga escala. Esta popularidade é resultado da estrutura extremamente simples e aparentemente universal dos algoritmos, da aplicabilidade geral e da habilidade de fornecer soluções bastante próximas da ótima. No início da década de 80, Kirkpatrick e outros apresentaram uma proposta de utilização dos conceitos de annealing (resfriamento lento e controlado de sólidos) em otimização combinatória. Esta proposta considera a forte analogia entre o processo físico de annealing e a resolução de problemas grandes de otimização combinatória. Simulated Annealing (SA) é um denominação genérica para os algoritmos desenvolvidos com base nesta proposta. Estes algoritmos combinam técnicas de busca local e de randomização. O objetivo do presente trabalho é proporcionar um entendimento das características do Simulated Annealing e facilitar o desenvolvimento de algoritmos com estas características. Assim, é apresentado como Simulated Annealing e suas variações estão sendo utilizados na resolução de problemas de otimização combinatória, proposta uma formalização através de um método de desenvolvimento de algoritmos e analisados aspectos de complexidade. O método de desenvolvimento especifica um programa abstrato para um algoritmo Simulated Annealing seqüencial, identifica funções e predicados que constituem os procedimentos deste programa abstrato e estabelece axiomas que permitem a visualização das propriedades que estes procedimentos devem satisfazer. A complexidade do Simulated Annealing é analisada a partir do programa abstrato desenvolvido e de seus principais procedimentos, permitindo o estabelecimento de uma equação genérica para a complexidade. Esta equação genérica é aplicável aos algoritmos desenvolvidos com base no método proposto. Uma prova de correção é apresentada para o programa abstrato e um código exemplo é analisado com relação aos axiomas estabelecidos. O estabelecimento de axiomas tem como propósito definir uma semântica para o algoritmo, o que permite a um desenvolvedor analisar a correção do código especificado para um algoritmo levando em consideração estes axiomas. O trabalho foi realizado a partir de um estudo introdutório de otimização combinatória, de técnicas de resolução de problemas, de um levantamento histórico do uso do Simulated Annealing, das variações em torno do modelo e de embasamentos matemáticos documentados. Isto permitiu identificar as características essenciais dos algoritmos baseados no paradigma, analisar os aspectos relacionados com estas características, como as diferentes formas de realizar uma prescrição de resfriamento e percorrer um espaço de soluções, e construir a fundamentação teórica genérica proposta.