36 registros encontrados - programa Programa de Pós-Graduação não informado E área de concentração Ciência da Computação
A abordagem POESIA para a integração de dados e serviços na Web semantica
TESE - Português
Número de chamada: T/UNICAMP F474a
Publicação: Campinas, SP : [s.n.], 2003.
Assunto: Banco de dados
Resumo: POESIA (Processes for Open-Ended Systems for lnformation Analysis), a abordagem proposta neste trabalho, visa a construção de processos...
Ver mais
Resumo
Resumo: POESIA (Processes for Open-Ended Systems for lnformation Analysis), a abordagem proposta neste trabalho, visa a construção de processos complexos envolvendo integração e análise de dados de diversas fontes, particularmente em aplicações científicas. A abordagem é centrada em dois tipos de mecanismos da Web semântica: workflows científicos, para especificar e compor serviços Web; e ontologias de domínio, para viabilizar a interoperabilidade e o gerenciamento semânticos dos dados e processos. As principais contribuições desta tese são: (i) um arcabouço teórico para a descrição, localização e composição de dados e serviços na Web, com regras para verificar a consistência semântica de composições desses recursos; (ii) métodos baseados em ontologias de domínio para auxiliar a integração de dados e estimar a proveniência de dados em processos cooperativos na Web; (iii) implementação e validação parcial das propostas, em urna aplicação real no domínio de planejamento agrícola, analisando os benefícios e as limitações de eficiência e escalabilidade da tecnologia atual da Web semântica, face a grandes volumes de dados
BCCL (1)
IMECC (1)
IMECC (1)
Algoritmo de vergencia para o controle de atenção de humanos virtuais
DISSERTAÇÃO - r d
Número de chamada: T/UNICAMP C253a
Publicação: Campinas, SP : [s.n.], 2005.
Assunto: Realidade virtual
Resumo: Os problemas de pesquisa mais comuns abordados na literatura sobre Humanos Virtuais são mais relacionados com a inserção e representação...
Ver mais
Resumo
Resumo: Os problemas de pesquisa mais comuns abordados na literatura sobre Humanos Virtuais são mais relacionados com a inserção e representação destes agentes gráficos no computador. Com o avanço das tecnologias e pesquisas nas áreas de computação gráfica e realidade virtual, novos problemas podem ser tratados, em relação as funcionalidades destes agentes virtuais. Atualmente, um dos principais desafios está associado ao desenvolvimento de humanos virtuais dotados de percepção visual realística. Um problema específico, referente a visão sintética destes agentes, é o controle da atenção, ou seja, definir e prover uma maneira eficiente e natural para que ele mude seu foco de atenção de uma posição corrente para outra no seu ambiente virtual. A coordenação dos movimentos da cabeça do agente, fazendo com que os olhos sejam fixados no objeto desejado, não é considerada uma tarefa trivial e está relacionada com a percepção de profundidade do ambiente. Neste trabalho, propomos um algoritmo de vergência, usado para o controle da atenção de humanos virtuais, onde o parâmetro de profundidade é obtido do Z-buffer. O controle dos movimentos da cabeça do humano virtual é executado com a realização de simples cálculos geométricos e no final do processo de vergência, os olhos são fixados corretamente em qualquer região de interesse do ambiente, passada previamente para o agente virtual
BCCL (1)
IMECC (1)
IMECC (1)
Algoritmos de aproximação para o problema de classificação metrica
DISSERTAÇÃO - Português
Número de chamada: T/UNICAMP B724a
Publicação: Campinas, SP : [s.n.], 2004.
Assunto: Teoria da computação
Resumo: Em um problema de classificação tradicional temos um conjunto de n objetos e um conjunto de m classes e queremos classificar cada objeto como...
Ver mais
Resumo
Resumo: Em um problema de classificação tradicional temos um conjunto de n objetos e um conjunto de m classes e queremos classificar cada objeto como pertencente a uma classe, de modo que esta classificação seja consistente com alguns dados que temos sobre o problema. Este trabalho apresenta um estudo do problema de classificação métrica através de algoritmos aproximados. Os algoritmos aproximados conhecidos para este problema são baseados na solução de grandes programas lineares e são impraticáveis para instâncias de tamanho moderado e grande. Apresentamos um algoritmo 8 log n-aproximado, analisado pela técnica primal-dual, que apesar de possuir fator de aproximação maior que os algoritmos anteriores, pode ser aplicado a grandes instâncias. Mostramos também que este fator de aproximação é justo, exceto por um fator constante. Obtivemos resultados experimentais usando instâncias geradas computacionalmente e instâncias de processamento de imagens com o novo algoritmo e com outros dois algoritmos baseados na resolução de programas lineares. Para estas instâncias o algoritmo proposto apresentou soluções de boa qualidade com um ganho considerável no tempo computacional
BCCL (1)
IMECC (1)
IMECC (1)
Algoritmos de roteamento com interferencia minima
Figueiredo, Gustavo Bittencourt
DISSERTAÇÃO - Português
Número de chamada: T/UNICAMP F469a
Publicação: Campinas, SP : [s.n.], 2003.
Assunto: Redes de computadores - Protocolos
Resumo: Um dos principais desafios relacionados à Engenharia de Tráfego em redes MPLS (Mvl-tiProtocol Label Switching) é a definição das rotas para os...
Ver mais
Resumo
Resumo: Um dos principais desafios relacionados à Engenharia de Tráfego em redes MPLS (Mvl-tiProtocol Label Switching) é a definição das rotas para os Label Switched Paths - LSPs. Algoritmos de roteamento baseados na computação do caminho mais curto tendem a concentrar o tráfego nestes caminhos, ocasionando congestionamentos e conseqüente de-gTadação dos serviços oferecidos pela rede. Assim sendo, algoritmos de roteamento com interferência mínima vêm sendo propostos para superar estas deficiências. A idéia central dos algoritmos de roteamento com interferência mínima é que a redução da probabilidade de bloqueio de solicitações de estabelecimento de LSPs é conseqüência da minimi7.ação da redução do fluxo máximo total da rede. Desta forma, ao rotear uma conexão entre um par origem-destino, os algoritmos de interferência mínima tentam mi-nimizar a redução do fluxo máximo entre os outros pares. Nesta dissertação, um novo algoritmo de roteamento com interferência mínims.t, de-nominado Light Minimum lnterference Routing - LMffi, é proposto. O algoritmo LMffi possui menor custo computacional e precisão similar quando comparado a outros algo-ritmos de interferência mínima propostos na literatura, conforme verificado através de experimentos de simulações realizados utilizando redes de pequeno e grande porte
BCCL (1)
IMECC (1)
IMECC (1)
Analise de problemas de escalonamento de processos em workflow
DISSERTAÇÃO - r d
Número de chamada: T/UNICAMP T684a
Publicação: Campinas, SP : [s.n.], 2004.
Assunto: Otimização
Resumo: A ordenação das instancias de processos (casos) em um sistema de workow pode trazer beneficios como a diminuição do numero de casos atrasados...
Ver mais
Resumo
Resumo: A ordenação das instancias de processos (casos) em um sistema de workow pode trazer beneficios como a diminuição do numero de casos atrasados e a minimização do tempo de processamento dos casos, entre outros. Publicações recentes em workflow reconhecem uma lacuna na pesquisa relacionada com este tema, e apontam para a literatura de escalonamento como uma possivel solução. Este trabalho visa utilizar tecnicas de escalonamento em um ambiente dinamico de workflow e avaliar o desempenho dessas tecnicas frente a regra FIFO (First In First Out), a politica de alocação de trabalho mais utilizada nos sistemas de workflow atuais. Discute-se problemas relacionados a esta pratica, e ataca-se dois deles: as incertezas quanto ao tempo de execução das atividades de workflow e as incertezas quanto as rotas que os casos seguem dentro das suas definições de processo. Para mapear essas incertezas uma nova tecnica e proposta, chamada de "guess and solve", que consiste em prever os tempos de execução e rotas das atividades e resolver o problema de escalonamento deterministico resultante com uma tecnica adequada, por exemplo regras de prioridade e algoritmos geneticos. Simulações cuidadosas sao conduzidas e os numeros mostram que e quase sempre mais vantajoso utilizar outra tecnica que não FIFO, e que o
BCCL (1)
IMECC (1)
IMECC (1)
ArchC : uma linguagem de descrição de arquiteturas
TESE - r d
Número de chamada: T/UNICAMP R449a
Publicação: Campinas, SP : [s.n.], 2004.
Assunto: Arquitetura de computador
BCCL (1)
IMECC (1)
IMECC (1)
Armazenamento e publicação de documentos XML utilizando sistemas de bancos de dados relacionais
DISSERTAÇÃO - r d
Número de chamada: T/UNICAMP K624a
Publicação: Campinas, SP : [s.n.], 2004.
Assunto: XML (Linguagem de marcação de documento)
BCCL (1)
IMECC (1)
IMECC (1)
DISSERTAÇÃO - r d
Número de chamada: T/UNICAMP L117c
Publicação: Campinas, SP : [s.n.], 2003.
Assunto: Ensino a distância
Resumo: A educação à distância se caracteriza pelo não existência, parcial ou total, do elemento 'presencial' na relação de aprendizagem...
Ver mais
Resumo
Resumo: A educação à distância se caracteriza pelo não existência, parcial ou total, do elemento 'presencial' na relação de aprendizagem professor-aluno. Isto é, o professor e aluno encontram-se em localidades distintas (fora de uma sala de aula) e necessitam do uso de um canal de comunicação para mediar a interação. Nos últimos anos, a educação à distância, via ambientes que utilizam a Internet como meio de comunicação, tem aumentado significativamente. Esses ambientes caracterizam-se por disponibilizar inúmeras ferramentas que dão suporte ao processo de comunicação via rede (ferramentas de bate-papo, correio eletrônico, grupos de discussão). Na literatura existem inúmeros artigos que relatam o enorme volume de trabalho necessário por parte de um professor de um curso à distância para poder acompanhar adequadamente o desenvolvimento dos alunos. Com o intuito de auxiliar o professor nessa tarefa de acompanhar o desenvolvimento dos alunos de um curso à distância foi desenvolvido o agente de interface Chapa descrito em detalhes nesta dissertação. O foco do Chapa é ajudar na análise das contribuições dos participantes de uma sessão de bate-papo ocorrida no ambiente de Educação à Distância TelEduc. Nesse sentido, o Chapa é capaz de selecionar quais as mensagens mais interessantes a um determinado usuário permitindo a este analisar somente uma fração do número total de mensagens existentes em uma sessão. Essa seleção é feita com base em um dicionário de dados específico, que constrói para cada usuário, por meio das técnicas de aprendizagem inerentes ao conceito de agentes de interface. Neste trabalho, já são apresentados alguns testes preliminares feitos com o Chapa por um grupo de usuários. No entanto, mesmo tendo sido bastante positivos os resultados desses testes iniciais, ainda é necessária a realização de outros mais, em situações reais de um curso à distância, para se validar melhor o Chapa
BCCL (1)
IMECC (1)
IMECC (1)
Comercio eletronico : uma analise de aplicabilidade de modelos de qualidade de software
Gomes, Luiz Alberto Ferreira, 1973-
DISSERTAÇÃO - r d
Número de chamada: T/UNICAMP G585c
Publicação: Campinas, SP : [s.n.], 2003.
Assunto: Software - Desenvolvimento - Metodologia
Resumo: o rápido desenvolvimento do comércio eletrônico está provocando a evolução das técnicas de desenvolvimento de software. Contudo, formalmente,...
Ver mais
Resumo
Resumo: o rápido desenvolvimento do comércio eletrônico está provocando a evolução das técnicas de desenvolvimento de software. Contudo, formalmente, se conhece muito pouco sobre os impactos deste movimento sobre a qualidade de software. Este documento apresenta os resultados de uma pesquisa cujo objetivo principal é analisar a aplicabilidade de modelos de qualidade de software tradicionais no desenvolvimento de aplicações para comércio eletrônico. A análise é baseada na percepção de vários autores na literatura e de dados coletados em entrevistas com gerentes de projeto de organizações brasileiras envolvidas com alguma iniciativa de comércio eletrônico. Essa análise correlacionou os principais problemas do desenvolvimento de aplicações para comércio eletrônico com os elementos dos modelos estudados, apontou os pontos fortes, falhas e limitações de cada modelo estudado. Um outro resultado que pode ser destacado são orientações sobre a interpretação do modelo 5W-CMM com base na análise realizada para o ambiente de desenvolvimento de aplicações para comércio eletrônico
BCCL (1)
IMECC (1)
IMECC (1)
Controle por visão de veiculos roboticos
DISSERTAÇÃO - Português
Número de chamada: T/UNICAMP Sh66c
Publicação: Campinas, SP : [s.n.], 2004.
Assunto: Robótica
Resumo: Esta dissertação responde as questoes relativas ao controle servo visual baseado na imagem, aplicado a um robo movel Nomad 200, na realizacao...
Ver mais
Resumo
Resumo: Esta dissertação responde as questoes relativas ao controle servo visual baseado na imagem, aplicado a um robo movel Nomad 200, na realizacao de duas tarefas roboticas: Seguimento de trajetoria e posicionamento em relacao a um alvo, e da transicao entre ambas.Uma missao robotica e tipicamente composta por um conjunto de objetivos e restricoes a serem cumpridos. Um planejador determina, a partir dos objetivos, as trajetorias necessarias para atingir os alvos. O robo deve, entao, navegar pelo ambiente e posicionar-se frente aos alvos. Porem, alguma forma de manipulacao ou medida e realizado, conforme o objetivo a ser alcancado, passando-se para o proximo objetivo. Existe claramente,neste modelo, uma hierarquia entre as tarefas, partindo de um nvel de especicacao mais elevado, ate os detalhes basicos, como controle da trajetoria, deteccao de obstaculos, replanejamento, dentre outros. O controle relaciona em tempo real os dados capturados pelos sensores, com os sinais a serem transmitidos aos atuadores, respondendo pelas acoes do robo. Devido principalmente aos avan»cos tecnologicos, somente recentemente o sensor visual pode ser incluido nos algoritmos de controle, permitindo o desenvolvimento de uma nova area de pesquisa. Dentre as diversas abordagens que surgiram utilizando a visao, destaca-se o controle servo visual baseado na imagem (IBVS). Duas tarefas encontradas frequentemente em aplicacoes roboticas sao o seguimento de uma trajetoria e o posicionamento em relacao a um alvo conhecido. Este trabalho propoe uma solucao, baseada em IBVS, para ambas as tarefas e a realizacao da transicao da primeira para a segunda. Diversos aspectos estao envolvidos no desenvolvimento de solucoes para os problemas propostos e, deste conjunto, estuda-se neste trabalho, os criterios para a escolha das caractersticas visuais ecessarias para a realizacao da tarefa, os algoritmos de processamento de imagens e visao computacional utilizados para a extracao das caractersticas visuais, as tecnicas de rastreamento de caractersticas visuais, os aspectos de controle, o desenvolvimento da assim chamada Matriz de Interacao, do controle hbrido e funcao tarefa, das matrizes de transformacao de velocidades e dos aspectos de implementacao numa plataforma real, tais como a arquitetura de software, etapas do desenvolvimento e testes realizados e os modulos acrescentados para simular a plataforma experimental. A metodologia e validada experimentalmente atraves do robo movel Nomad 200, pre-sente na Divisao de Robotica e Visao Computacional do Centro de Pesquisas Renato Ar-cher (DRVC/CenPRA). Este trabalho encontra-se inserido no escopo do projeto AURORA, cujo objetivo e o desenvolvimento de uma plataforma robotica aerea semi-autonoma baseado em um dirigvel aero-estatico, e os resultados obtidos abrem caminho para a implementacao do controle visual, antevendo algumas das diculdades a serem vencidas
BCCL (1)
IMECC (1)
IMECC (1)
Desempenho de sistemas de distribuição de documentos via Web
TESE - Português
Número de chamada: T/UNICAMP B733d
Publicação: Campinas, SP : [s.n.], 2003.
Assunto: Internet
Resumo: Este trabalho faz contribuições ao avanço do conhecimento de três diferentes áreas dos sistemas de distribuição de documentos via Web:...
Ver mais
Resumo
Resumo: Este trabalho faz contribuições ao avanço do conhecimento de três diferentes áreas dos sistemas de distribuição de documentos via Web: gerenciamento de espaço em caches para Web, redes hierárquicas de caches cooperativos e servidores Web baseados em c1usters de processadores. Primeiramente, é apresentado um estudo sobre a utilização de caches cooperativos. A cooperatividade permite um melhor aproveitamento dos recursos dos meios de transmissão, possibilitando um menor tempo de espera aos usuários dos serviços da Web. Na área de gerenciamento de espaço em caches para Web foi desenvolvido o GDE (Gerenciador Dinâmico de Espaço), que além de apresentar desempenho compatível com as melhores estratégias de gerenciamento de espaço em caches usadas atualmente, possui a vantagem de poder variar automaticamente o direcionamento do trabalho do cache, podendo fazer com que o cache varie dinamicamente a QoS (Quality 01 Service) oferecida aos usuários do sistema. Este trabalho apresenta também um simulador paralelo de redes de caches distribuídos, hierárquicos e cooperativos, que é capaz de usar o poder de processamento de computadores paralelos para simular situações reais de uso de caches para Web, permitindo assim avaliar paralelamente um grande número de possibilidades para a construção de redes de caches para Web. Para aumentar o desempenho dos caches formadores de redes hierárquicas, é proposta a utilização da estratégia de Passagem de Recomendação, que permite conseguir altas taxas de desempenho sem se preocupar com o problema da perda de referência da popularidade inicial dos arquivos. O estudo de servidores Web baseados em c1usters de processadores foi direcionado principalmente a computadores com a arquitetura Beowulf. Neste trabalho são apresentados resultados da avaliação da possibilidade de usar computadores com essa arquitetura como servidores Web de alto desempenho, escaláveis e tolerantes a falhas. Para isso, é proposto um modelo do servidor e apresentados testes realizados com um protótipo implementado
BCCL (1)
IMECC (1)
IMECC (1)
DisCusS : desenvolvendo um serviço de concenso generico, simples e modular
DISSERTAÇÃO - Português
Número de chamada: T/UNICAMP C14d
Publicação: Campinas, SP : [s.n.], 2003.
Assunto: Processamento eletrônico de dados - Processamento distribuído
Resumo: Esta dissertação trata do processo de engenharia de um serviço de detecção de falhas compatível com FT-CORBA, a especm.cação para tolerância a...
Ver mais
Resumo
Resumo: Esta dissertação trata do processo de engenharia de um serviço de detecção de falhas compatível com FT-CORBA, a especm.cação para tolerância a falhas em CORBA, e de um serviço de consenso distribuído. Os serviços são independentes e fornecem diferentes propriedades para a aplicação cliente, dependendo dos módulos, com implementaçães de algoritmos diferentes, selecionados para uma instanciação destes serviços. A arquitetura dos serviços é tal que a aplicação cliente não toma conhecimento dos algoritmos de detecção e consenso sendo executados, acessando-os por uma interface genérica. Com o intuito de facilitar a escolha dos módulos dos serviços, apresentamos um pequeno estudo comparativo da influência de detectores de falhas adaptativos, aqueles que se adaptam para prover melhor qualidade de serviço na detecção, e não adaptativos sobre o desempenho dos algoritmos de consenso distribuído
BCCL (1)
IMECC (1)
IMECC (1)
DISSERTAÇÃO - r d
Número de chamada: T/UNICAMP F413g
Publicação: Campinas, SP : [s.n.], 2003.
Assunto: Ensino a distância
Resumo: Nas práticas docentes de avaliação da aprendizagem dos alunos, a avaliação formativa tem sido proposta cada vez com mais freqüência nos...
Ver mais
Resumo
Resumo: Nas práticas docentes de avaliação da aprendizagem dos alunos, a avaliação formativa tem sido proposta cada vez com mais freqüência nos últimos anos, como uma das alternativas à avaliação tradicional pautada em medidas e considerada autoritária. Segundo Perrenoud [1999], a avaliação formativa pode ser entendida como ¿uma prática de avaliação contínua que tem como objetivo principal melhorar as aprendizagens em curso, contribuindo para o acompanhamento e orientação dos alunos durante todo seu processo de formação¿. Na modalidade de educação a distância, a avaliação formativa tem grande relevância, por favorecer o acompanhamento do comportamento do aprendiz mesmo sem o feedback das interações face a face. Porém, a maioria dos ambientes de Educação a Distância (EaD) atuais não foram desenvolvidos com design apropriado para o apoio à avaliação formativa. Estes ambientes geralmente possibilitam apenas o registro das interações que ocorrem ao longo do curso e não é suficiente para prover um suporte efetivo à avaliação formativa. Assim, esse processo de avaliação demanda muito trabalho e tempo do professor no acompanhamento, análise e orientação das atividades desenvolvidas ao longo do curso, o que consiste num dos principais problemas da avaliação formativa, seja ela presencial ou a distância. Nesta dissertação é apresentado um sistema Gerenciador de Avaliações para o ambiente de EaD TelEduc, que foi desenvolvido levando em consideração as ações dos formadores durante o processo de avaliação formativa, e que visa diminuir a sobrecarga dos formadores na realização da avaliação formativa das atividades. A principal contribuição desta pesquisa está no (re)design das ferramentas de comunicação do TelEduc realizado a fim de apoiar formadores e aprendizes no processo de avaliação formativa. Os recursos propostos e implementados auxiliam o formador no planejamento de atividades, registro e organização das informações referentes ao acompanhamento de atividades de avaliação, bem como a recuperação, consolidação e análise dessas informações no momento em que desejar. Os registros das observações e notas de acompanhamento favorecem o oferecimento de um feedback contínuo aos aprendizes, o que consiste em um elemento fundamental no processo de regulação das aprendizagens, na medida que faz com que os aprendizes tenham consciência de suas dificuldades e possam corrigir sua ações
BCCL (1)
IMECC (1)
IMECC (1)
Grades diadicas adaptativas para simulação de escoamento de petroleo
DISSERTAÇÃO - r d
Número de chamada: T/UNICAMP C179g
Publicação: Campinas, SP : [s.n.], 2004.
Assunto: Simulação (Computadores digitais)
Resumo: Nesta dissertação, estudamos as aplicações de splines construídos sobre grades diádicas na aproximação de funções e solução de equações...
Ver mais
Resumo
Resumo: Nesta dissertação, estudamos as aplicações de splines construídos sobre grades diádicas na aproximação de funções e solução de equações diferenciais. Nosso foco principal é a simulação de escoamento de petróleo em reservatórios naturais. Uma grade diádica é construída através de divisões sucessivas de uma célula raiz retangular, sempre pela metade, alternando a direção do corte ciclicamente pelos eixos de coordenadas. Desta forma, os splines diádicos podem ser refinados adaptativamente de acordo com as funções a serem aproximadas, até que satisfaçam o grau de precisão exigido. As grades diádicas também possuem uma estrutura muito simples e podem ser representadas e manipuladas computacionalmente com grande eficiência e facilidade. Trabalhamos em particular com uma família de splines diádicos multilineares e contínuos para uma grade arbitrária G, que denominamos por [1 [G]. Desenvolvemos algoritmos que geram duas bases padrões de elementos finitos (tendas diádicas) Bmax e Bmin para estes espaços. Para testarmos as potencialidades dos espaços [l[G], realizamos experimentos numéricos utilizando a técnica de aproximação por mínimos quadrados, e resolvemos alguns casos de equações diferenciais parciais lineares. Nestes experimentos, estudamos o uso de malhas diádicas de resolução variável no espaço e no tempo. Concluímos que grades adaptativas podem produzir os mesmos resultados que uma grade uniforme fina, a uma fração do custo. A última parte deste trabalho descreve em detalhes a construção e teste de um simulador para escoamento bifásico óleo/água (Simóleo), baseado em grades diádicas adaptativas. Revisamos, em linhas gerais, as equações que regem este processo, e sua discretização pelo método de elementos finitos (Galerkin). Desta forma, obtemos um sistema de equações diferenciais não linear, dependente do espaço e do tempo, que resolvemos de maneira iterativa. O desempenho do Simóleo foi avaliado utilizando um modelo popular de reservatório (5 poços)
BCCL (1)
IMECC (1)
IMECC (1)
Ketib : um processo de representação de informações para textos complexos
DISSERTAÇÃO - Português
Número de chamada: T/UNICAMP K461k
Publicação: Campinas, SP : [s.n.], 2003.
Assunto: Sistemas de recuperação da informação
Resumo: O termo "texto complexo" é utilizado para classificar um texto que possua relações transtextuais dentro do texto de origem e com textos...
Ver mais
Resumo
Resumo: O termo "texto complexo" é utilizado para classificar um texto que possua relações transtextuais dentro do texto de origem e com textos complementares, que sirvam para agregar os diferentes tipos de análise e crítica, ou simplesmente para permitir uma melhor compreensão. Nesse trabalho, é proposto um processo para representação de informação em textos complexos utilizando a meta linguagem XML e algumas tecnologias relacionadas. Como parte do processo de representação, foi definido um modelo denominado Ketib, que é aplicado, a título de estudo de caso, à obra Biblia Hebraica Stuttgartensia. Este texto foi escolhido por apresentar um alto grau de complexidade, tomando possível demonstrar o potencial do modelo no tratamento da representação e da codificação de informações com natureza multidimensional que contenham diferentes sistemas de referência. Os resultados não estão restritos ao estudo de caso e demonstram a viabilidade desse processo em textos de outros domínios
BCCL (1)
IMECC (1)
IMECC (1)
Metodologias para analise de desempenho de sistemas de computação paralela
DISSERTAÇÃO - r d
Número de chamada: T/UNICAMP F391m
Publicação: Campinas, SP : [s.n.], 2004.
Assunto: Computadores paralelos
BCCL (1)
IMECC (1)
IMECC (1)
Modelagem e computação de banda passante equivalente de fluxos multifractais
TESE - r d
Número de chamada: T/UNICAMP M491m
Publicação: Campinas, SP : [s.n.], 2004.
Assunto: Redes de computadores
Resumo: O fenômeno do cascateamento caracteriza-se pela ausência de uma escala de tempo específica, na qual a explosividade do tráfego possa ser...
Ver mais
Resumo
Resumo: O fenômeno do cascateamento caracteriza-se pela ausência de uma escala de tempo específica, na qual a explosividade do tráfego possa ser caracterizada. Faz-se necessário, portanto, que esse tráfego seja descrito em diferentes escalas de tempo. Esse fenômeno foi identificado pela primeira vez em traços de tráfego de redes locais. Verificou-se em traços de tráfego do protocolo Internet Protocol (IP), composto majoritariamente por tráfego gerado por conexões TCP, o fenômeno do cascateamento em pequenas escalas de tempo, bem como a existência de dependências de longa duração. Além disso, nesses traços o tráfego apresenta alta variabilidade, cascateamento não-uniforme e a distribuição marginal das suas medições (bytes e/ou pacotes) é não-gaussiana. Estas características são típicas de processos multifractais. A banda passante equivalente de um fluxo é a quantidade mínima de banda passante requerida para que os requisitos de Qualidade de Serviço (QoS) desse fluxo possam ser atendidos. Dispor de métodos eficientes para computar a banda passante equivalente de um fluxo permite realizar alocação eficiente de banda passante, o que é essencial em redes de alta velocidade. A computação da banda passante equivalente de um fluxo requer a solução de um sistema de filas alimentado por esse fluxo, que, por sua vez, requer a computação do instante de tempo em que esse sistema alcança o seu máximo em termo de trabalho não-realizado. Uma representação minimalista do fluxo que alimenta um sistema de filas, obtida com o uso de processos envelope, permite a derivação de soluções, que apresentam boa precisão, para esse sistema. Nesta tese, introduz-se um processo envelope, chamado de processo envelope do movimento Browniano multifractal (mBm), que é um limitante superior para o volume de trabalho gerado por um processo mBm. A derivação do processo envelope do mEm baseia-se na propriedade de auto-similaridade local de um processo mBm. Esta propriedade estabelece que os incrementos de um processo mBm, em escalas de tempo pequenas, são realizações de processos movimento Browniano fractal (fEm). O processo envelope do mEm foi extensivamente validado para se verificar a sua capacidade de representar o tráfego de um fluxo. Usou-se tanto fluxos de tráfego real quanto fluxos de tráfego sintético na validação desse processo envelope. Expressões para o cálculo da escala de tempo de interesse de um sistema de filas alimento por fluxos multifractais são derivadas. Estas expressões são utilizadas pelo algoritmo que implementa a heurística, proposta nesta tese, para computação da banda passante equivalente de um fluxo multifractal. Demonstra-se a efetividade destas expressões ao se avaliar o ganho obtido com a multiplexação estatística de fluxos multifractais. Introduz-se, também, um mecanismo baseado em janelas para o policiamento de tráfego multifractaL
BCCL (1)
IMECC (2)
IMECC (2)
NFS Guard : uma solução de segurança para o protocolo NFS
Ruppert, Guilherme Cesar Soares
DISSERTAÇÃO - r d
Número de chamada: T/UNICAMP R878n
Publicação: Campinas, SP : [s.n.], 2006.
Assunto: Redes de computadores
Resumo: Os sistemas de arquivos distribuídos são um componente importante em praticamente todas as redes coorporativas, acadêmicas e até mesmo...
Ver mais
Resumo
Resumo: Os sistemas de arquivos distribuídos são um componente importante em praticamente todas as redes coorporativas, acadêmicas e até mesmo domésticas. Neste cenário, o NFS (Network File System) é um dos sistemas de maior importância, não só pela importância histórica em ter sido um dos pioneiros, mas por ser largamente utilizado em todo o mundo. Porém, o NFS foi projetado com recursos insuficientes de segurança. A versão 3 do NFS, que é a versão utilizada atualmente em ambientes de produção, apresenta um nível de segurança praticamente nulo. Mais recentemente, foi elaborada a especificação da versão 4 do protocolo que corrige adequadamente os problemas de segurança. Contudo, o protocolo apresenta um grau de complexidade extremamente elevado e, devido a isso, poucos estão dispostos a enfrentar sua implementação. Atualmente, existem apenas algumas implementações preliminares deste protocolo e as mesmas não se encontram completas e estáveis. Logo, a migração para o NFSv4 a curto prazo é inviável. Neste trabalho foi realizado um amplo estudo dos diversos aspectos envolvidos com a segurança de sistemas de arquivos distribuídos, em especial o NFS. Foram levantadas as deficiências do NFS e foram analisados diversos trabalhos envolvendo segurança no compartilhamento de arquivos. Este trabalho resultou no projeto e implementação do NFS Guard, uma ferramenta para agregar segurança ao NFS versão 3 de forma simples e totalmente compatível com as redes NFS já instaladas. O NFS Guard utiliza clientes e servidores NFS padrão e não requer recompilação de nenhum software já instalado, podendo ser utilizado inclusive em sistemas de código fechado. Para isso foi desenvolvida uma técnica de Kerberização utilizando interceptação de pacotes, que também pode ser utilizada para agregar segurança a outros serviços além do NFS
BCCL (1)
IMECC (1)
IMECC (1)
Protocolos de difusão periodica de video sob limitação de banda passante
DISSERTAÇÃO - r d
Número de chamada: T/UNICAMP Z13p
Publicação: Campinas, SP : [s.n.], 2004.
Assunto: Sistemas multimídia
Resumo: Sistemas de Video sob Demanda possibilitam ao usuário a escolha de vídeos para exibiçao dentre uma vasta coleção. Como a transmissão de um...
Ver mais
Resumo
Resumo: Sistemas de Video sob Demanda possibilitam ao usuário a escolha de vídeos para exibiçao dentre uma vasta coleção. Como a transmissão de um fluxo de vídeo demanda uma grande quantidade de bande passante, estratégias de compartilhamento da transmissão de fluxos de vídeo são utilizadas para reduzir esta demanda. Dentre estas técnicas, os protocolos baseados em difusão periódica são indicados para a transmissão dos vídeos mais requisitados, uma vez que estes utilizam largura de banda constante independente do número de usuários. Entretanto, os protocolos mais eficientes nao levam em consideração limitações de banda passante existentes no cliente. Nesta dissertação, dois protocolos de difusão periódica otimamente estruturados são estendidos de forma a permitir que clientes sujeitos a limitações de largura de banda possam utilizar serviços de Vídeo sob Demanda baseados em difusão periódica
BCCL (1)
IMECC (1)
IMECC (1)
Provisão de qualidade de serviço em redes IEEE 802.11
DISSERTAÇÃO - r d
Número de chamada: T/UNICAMP F884p
Publicação: Campinas, SP : [s.n.], 2004.
Assunto: Redes de computadores
Resumo: O padrão IEEE 802.11 para redes locais sem fio (Wireless Local Area Networks - WLANs), tem sido amplamente utilizado para o acesso móvel aos...
Ver mais
Resumo
Resumo: O padrão IEEE 802.11 para redes locais sem fio (Wireless Local Area Networks - WLANs), tem sido amplamente utilizado para o acesso móvel aos serviços oferecidos pelas redes fixas, como a Internet. Uma extensão a este padrão, chamada 802.11e, vem sendo desenvolvida com o intuito de introduzir suporte a Qualidade de Serviço (QoS), de forma que as WLANs possam atender as necessidades das aplicações multimídia e de tempo real. Entretanto, as funcionalidades introduzidas não são suficientes para atender os requisitos de QoS das diferentes classes de tráfego em situações de alta carga na rede. Esta deficiência motiva o desenvolvimento de novos mecanismos para monitoramento e controle dos níveis de serviço. Este trabalho propõe dois mecanismos de controle para complementar a funcionalidade de QoS: um mecanismo de controle de admissão, adaptado de estudos realizados em redes fixas, e um mecanismo que ajusta dinamicamente os parâmetros de diferenciação de serviços usados no método de acesso com contenção da extensão 802.11e. O mecanismos propostos contribuem na provisão do serviço requisitado pelas diferentes classes, bem como na utilização eficiente dos recursos da rede
BCCL (1)
IMECC (1)
IMECC (1)
Representações internas e geração de codigos no compilador redirecionavel Xingo
DISSERTAÇÃO - r d
Número de chamada: T/UNICAMP F334r
Publicação: Campinas, SP : [s.n.], 2005.
Assunto: Compiladores (Computadores)
Resumo: Devido ao aumento da complexidade dos novos processadores, especialmente processadores DSPs, a capacidade dos compiladores de gerar um código...
Ver mais
Resumo
Resumo: Devido ao aumento da complexidade dos novos processadores, especialmente processadores DSPs, a capacidade dos compiladores de gerar um código altamente otimizado para as novas arquiteturas de computadores é cada vez mais desafiador. O compilador Xingó tem como objetivos possibilitar pesquisas em otimização e geração de código para novas arquiteturas. Para permitir tais pesquisas, é necessário que o compilador possua uma infra-estrutura capaz de representar, de uma maneira simples e correta, o código nas diversas fases de compilação. Este trabalho apresenta as principais representações de programa do compilador Xingó, bem como os módulos que fazem a tradução de um programa, em uma representação origem, para um programa em uma representação destino (intermediária ou final). Estes móulos compõem o front-end do compilador, que leva à Representação Intermediária Xingó, e parte do back-end, com destaque para a Infra-Estrutura de Geração de Código do Xingó. A Representação Intermediária do Xingó é de fácil manipulação, independente de máquina e apresenta uma sintaxe muito próxima à da linguagem C, por isso tem permitido otimizações independente de máaquina e pode ser traduzida em código C compilável. Já a Infra-Estrutura de Geração de Código apresenta facilidades no desenvolvimento de novos geradores de código, principalmente porque os detalhes da máquina alvo são externos ao compilador, sendo incluídos através de parâmetros configuráeis e módulos bem definidos. Os testes realizados até o presente momento validam parte da Infra-Estrutura de Geração de Código e têm demonstrado uma boa qualidade do Código Intermediário Xingó. Os testes mostram que o Código Intermediário estão sendo corretamente representado para todos os programas do benchmark NullStone (6611 programas) e para uma quantidade razoável de programas dos benchmarks MediaBench e SPEC. Os resultados alcançados até o momento trazem novas oportunidades em pesquisas na área de compiladores, especialmente otimização e geração de código
BCCL (1)
IMECC (1)
IMECC (1)
Segmentação de imagens pela transformada imagem-floresta
Miranda, Paulo Andre Vechiatto de
DISSERTAÇÃO - r d
Número de chamada: T/UNICAMP M672s
Publicação: Campinas, SP : [s.n.], 2006.
Assunto: Dijkstra, Edsger Wybe, 1930-
Resumo: Apesar do progresso das _ultimas duas décadas, o problema de segmentação de imagens continua sendo um dos mais difíceis desafios em análise de...
Ver mais
Resumo
Resumo: Apesar do progresso das _ultimas duas décadas, o problema de segmentação de imagens continua sendo um dos mais difíceis desafios em análise de imagens. Mais especificamente, métodos de segmentação precisos são normalmente complexos, caros computacionalmente, dependentes de aplicação, e freqüentemente exigem interação humana. Estamos pesquisando métodos de segmentação interativa de imagens que reduzem a intervenção do usuário a simples escolha de poucos pixels na imagem. Buscamos minimizar o número de interações de forma que a automação se torne possível em algumas aplicações onde esses pixels podem ser identificados automaticamente. A metodologia adotada usa a transformada imagem floresta (IFT - Image Foresting Transform) - uma ferramenta geral para modelar, implementar e avaliar operadores de processamento de imagens baseados em conexidade. A IFT reduz o problema de processamento de imagem ao cálculo de uma floresta de caminhos de custo mínimo no grafo derivado da imagem. Nesse trabalho são apresentadas três novas técnicas de segmentação baseadas na IFT
BCCL (1)
IMECC (1)
IMECC (1)
Segurança no acesso remoto VPN
Rezende, Edmar Roberto Santana de
DISSERTAÇÃO - r d
Número de chamada: T/UNICAMP R339s
Publicação: Campinas, SP : [s.n.], 2004.
Assunto: Internet
Resumo: As Redes Privadas Virtuais (Virtual Private Network { VPN) são um componente importante dentro de um ambiente cooperativo, principalmente em...
Ver mais
Resumo
Resumo: As Redes Privadas Virtuais (Virtual Private Network { VPN) são um componente importante dentro de um ambiente cooperativo, principalmente em seu aspecto econômico, ao permitirem que conexões dedicadas e estruturas de acesso remoto, que possuem custos bastante elevados, sejam substituídas por conexões publicas. Contudo, a conseqüente utilização de uma rede publica para o trafego de informações privadas e a extensão do perímetro de segurança das organizações, trazem consigo serias implicações de segurança. O acesso remoto VPN, onde o usuário remoto acessa diretamente os recursos da organização, possui implicações de segurança especas ainda mais serias que precisam ser consideradas. Neste contexto, a escolha de um conjunto de mecanismos de segurança capazes de prover uma solução adequada para os diversos possíveis cenários de acesso remoto constitui uma decisão fundamental para a segurança do ambiente cooperativo. Neste trabalho foi realizado um amplo estudo dos diversos aspectos envolvidos na elaboração de uma solução segura e viável de acesso remoto VPN. Através desta analise foi possível identificar os principais requisitos e avaliar algumas das soluções existentes que compõem esse complexo cenário. Como resultado da avaliação desses fatores foi possível desenvolver uma solução de acesso remoto VPN utilizando o software FreeS/WAN, uma implementação Open Source do protocolo IPSec baseada em Linux. Devido _a expressiva parcela de mercado ocupada por produtos Microsoft, também foram abordadas algumas soluções de clientes VPN baseados em Windows
BCCL (1)
IMECC (1)
IMECC (1)
Sincronização de atividades em sistemas gerenciadores de workflow
DISSERTAÇÃO - Português
Número de chamada: T/UNICAMP K153s
Publicação: Campinas, SP : [s.n.], 2003.
Assunto: Fluxo de trabalho
Resumo: Sistemas Gerenciadores de Workflow (SGWFs) tradicionais gerenciam instâncias de workflow e suas respectivas atividades de forma independente....
Ver mais
Resumo
Resumo: Sistemas Gerenciadores de Workflow (SGWFs) tradicionais gerenciam instâncias de workflow e suas respectivas atividades de forma independente. Atividades têm, usualmente, granularidade grossa, longa duração e são altamente dependentes dos processos aos quais elas pertencem. Além disso, utilizam em suas execuções aplicações e outros recursos compartilhados (ex., arquivos e bancos de dados). A semântica das atividades, incluindo suas respectivas aplicações e recursos compartilhados, não é conhecida pelo SGWF. Como resultado, é possível que a execução concorrente de atividades de workflow conflitantes gere inconsistências de dados, além de invocações e acessos indevidos a aplicações e recursos. Assim, utilizando o WorkToDo como SGWF de estudo, apresentamos neste trabalho dois mecanismos de sincronização de atividades que permitem a execução de atividades de forma mutuamente exclusiva e a manutenção de requisitos de ordenação entre essas atividades. Apresentamos, ainda, algumas extensões aos mecanismos de detecção e tratamento de falhas de atividades do WorkToDo, de forma a torná-los mais poderosos e robustos
BCCL (1)
IMECC (1)
IMECC (1)