Tolerância a Falhas em Serviços Web |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
13/12/2010 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
|
Coorientador(es) |
|
Orientando(s) |
|
Banca |
- Edmundo Roberto Mauro Madeira
- Irineu Sotoma
- Ronaldo Alves Ferreira
|
Resumo |
Apesar do grande número de trabalhos sobre tolerância a falhas baseados em técnicas de replicação de serviços web, até onde vai o nosso conhecimento, nenhum deles realiza a recuperação de falhas de maneira transparente ao cliente sem utilizar proxies. Além disso,a maioria das soluções é restrita a apenas uma plataforma de desenvolvimento.
Primeiramente, este trabalho trata o problema da recuperação de falhas de maneira transparente ao cliente através de uma extensão ao padrão WS-Addressing de serviçoes web, que permite a especificação de réplicas de um serviço e de onde a forma como as interações entre os endpoints devem ocorrer.
Em seguida, é feita a proposta de um novo middleware de tolerância a falhas em serviços web independente de plataforma de desenvolvimento, chamado SimpleRep. Adicionalmente, detalhes de implementação e avaliações dos protótipos construídos durante o trabalho também são fornecidas. |
Download |
|
|
Métricas De Usabilidade Para Processos De Desenvolvimento De Software. |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
05/11/2010 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
- Debora Maria Barroso Paiva
|
Coorientador(es) |
|
Orientando(s) |
|
Banca |
- Carlos Alberto Marques Pietrobon
- Debora Maria Barroso Paiva
- Marcelo Augusto Santos Turine
- Maria Istela Cagnin Machado
|
Resumo |
Embora Haja Vários Processos De Desenvolvimento De Software Reconhecidos Internacionalmente E Amplamente Utilizados Percebe-se A Recorrente Necessidade Adequá-los: Ao Ambiente Da Empresa/instituição Onde Será Implantado, às Características Do Negócio E à Complexidade Do Projeto Que Será Desenvolvido. Tais Adaptações Dão Origem A Processos De Software Distintos Dos Originais Em Termos De Tamanho E às Vezes De Diretrizes, Atividades E Artefatos. Surge, Neste Contexto, A Preocupação Em Assegurar Que Estes Novos Processos Sejam Compreendidos Por Seus Usuários E Que Sejam Fáceis De Utilizar. Este Trabalho Pretende Auxiliar Nesta Análise Ao Sugerir Uma Forma De Avaliar A Usabilidade De Um Processo De Desenvolvimento De Software Por Meio De Métricas. Esta Avaliação Pode Auxiliar Também Interessados Em Melhoria Contínua Visando Obter Alta Maturidade Em Seus Processos De Desenvolvimento. São Abordados Também A Importância Dos Processos De Software E Alguns Métodos Para Avaliá-los, A Documentação E Validação Das Métricas Proposta, Alguns Critérios De Seleção Para Aplicação E A Descrição De Dois Métodos Que Podem Ser Aplicados Em Conjunto Com Elas.o Método De Avaliação De Usabilidade De Processos, Ausp (asessment Usability Of Software Process) E Os Modelos De Artefatos Gerados Durante A Execução Do Método São Descritos. Também Será Abordada A Aplicação Do Método Por Meio De Um Estudo De Caso E Os Trabalhos Que Poderão Dar Continuidade A Este. |
Download |
|
|
Traçado de Raios de Cenas Dinâmicas em Cuda |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
19/10/2010 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
|
Coorientador(es) |
|
Orientando(s) |
|
Banca |
- Esteban Walter Gonzalez Clua
- Marco Aurelio Stefanes
- Paulo Aristarco Pagliosa
|
Resumo |
O objetivo geral deste trabalho é o estudo das técnicas de traçado de raios para renderização de cenas dinâmicas, estudo de estruturas de dados para acelaração e desenvolvimento de soluções de traçado de raios para CUDA. Traçado de raios é uma técnica capaz de renderizar imagens através da simulação dos efeitos da luz sobre uma cena, portanto, como consequência, é capaz de reproduzir efeitos de sombreamento, reflexão e transparência de forma natural. Cenas dinâmicas são cenas onde os atores podem sofrer transformações ao longo do tempo, seja através de deformação ou mudança de posição. CUDA é uma arquitetura de hardware e software para desenvolvimento de aplicações para GPU. A estrutura de dados implementada neste trabalho é uma BVH, que é uma estrutura hierárquica de volumes envolventes, que visa produzir aceleração para o processo de intersecção dos raios com os atores da cena. Como resultado final deste trabalho apresentamos três algoritmos de traçado de raios para GPU e um algoritmo de geração da BVH em GPU. O sistema é composto por um interpretador de uma gramática que descreve a cena, o traçador de raios, responsável pela geração da imagem, e uma interface para apresentação da imagem produzida. |
Download |
|
|
Busca Exaustiva Em Redes P2p. |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
16/09/2010 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
|
Coorientador(es) |
|
Orientando(s) |
- Péricles Christian Moraes Lopes
|
Banca |
- Edmundo Roberto Mauro Madeira
- Irineu Sotoma
- Ronaldo Alves Ferreira
|
Resumo |
Apesar De Inúmeros Esforços Nos últimos Anos, Buscas Complexas Eficientes Em Redes P2p De Grande Escala Permanecem Um Problema Em Aberto E Desafiador.replicações Massivas De Dados E De Mensagens De Buscas São Duas Estratégiascomuns Utilizadas Para Melhorar Taxas De Sucesso E Tempos De Resposta Das Diversas Técnicas Propostas. Entretanto, Estratégias De Replicação Pró-ativas Podem Gerar Uma Quantidade Significativa De Tráfego Na Rede Se Não Forem Tratadas Com Cuidado. Este Trabalho Propõe Splitquest, Um Protocolo De Busca Exaustiva E Controlada Que Utiliza Uma Estrutura Leve Para Evitar Replicações Desnecessárias E Acelerar A Propagação De Mensagens De Buscas Em Redes P2p. Em Splitquest, Os Pares Da Rede São Organizados Em Grupos De Replicação, Nos Quais Cada Par Compartilha Seu Conteúdo Com Todos Os Demais Membros E Mensagens De Buscas São Propagadas Uma única Vez Para Cada Grupo Existente Na Rede.
Ao Evitar Duplicações De Mensagens De Buscas, Direcionar As Mensagens Para Grupos Disjuntos E Explorar A Heterogeneidade Dos Pares, Splitquest é Capaz De Atingir Altas Taxas De Sucesso E Baixos Tempos De Resposta A Custo Bem Mais Baixo Em Termos Do Número De Mensagens Que A Melhor Solução Atualmente Conhecida. O Protocolo Splitquest Foi Avaliado Em Diferentes Cenários De Simulação. Esses Cenários Incluem Topologias Sintéticas E Traços De Representações De Redes Reais Com Os Mais Variados Tamanhos E Características De Dinamismo. Apresenta-se Também Neste Trabalho, Uma Análise Matemática Da Solução Proposta Para Se Estabelecer Um Limite Superior No Número De Pares Que Uma Mensagem De Busca Pode Alcançar Na Rede. |
Download |
|
|
Ambiente De Integração De Ferramentas Web Na Plataforma Web-pide. |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
13/08/2010 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
- Marcelo Augusto Santos Turine
|
Coorientador(es) |
|
Orientando(s) |
|
Banca |
- Debora Maria Barroso Paiva
- Marcelo Augusto Santos Turine
- Maria Da Graça Brasil Rocha
|
Resumo |
O Ministério Da Educação (mec) Disponibiliza Uma Série De Bases De Dados E Informações Das Diversas Modalidades De Avaliações Educacionais, Através Do Instituto De Estudos E Pesquisas Em Educação Anísio Teixeira (inep). A Produção De Dados E Informações Estatístico- Educacionais De Forma ágil E Que Retrate A Realidade Do Setor Educacional é Um Dos Instrumentos Básicos De Avaliação, Planejamento E Auxílio Ao Processo Decisório Para O Estabelecimento De Políticas De Melhoria Da Educação Brasileira. Assim, Surge Uma Oportunidade De Explorar Métodos E Técnicas A Fim De Propor Um Ambiente Integrador E Facilitador Para O Acesso Dos Indicadores Das Avaliações Educacionais Na Internet. O Principal Problema A Ser Investigado Será Definir Uma Camada De Integração Entre As Diversas Aplicações Web (webapps) E Disponibilizar De Forma Efetiva A Visualização Dos Dados Obtidos, Onde Sua Representação Visual Auxilie Na Tomada De Decisões E Seja Alcançada Intuitivamente Através De Uma Interface Com O Usuário. A Especificação E A Implementação De Uma Arquitetura Para Plataforma Intitulada Web-pide (plataforma Aberta Para Integração E Avaliação De Dados Educacionais Na Web) Com Requisitos De Interoperabilidade Que Propicie Um Ambiente Integrado De Visualização E Consulta A Dados De Avaliações Educacionais é A Principalmotivação Deste Trabalho, Pois Os Dados Deste Domínio Possuem Particularidades Próprias, Exigindo Assim Um Novo Enfoque Ao Problema. O Objetivo Principal Deste Trabalho é Abordar O Problema Da Integração Entre As Webapps Da Plataforma Web-pide, De Forma Que Se Mantenha As Interfaces De Visualização De Dados Em Avaliações Educacionais Em Um único Repositório De Conhecimento (ambiente Integrador). Para Validar E Testar A Abordagem Serão Selecionadas Três Ferramentas De Diferentes Contextos: Ferramentas De Visualização De Dados, Datawarehouse E Consultas Avançadas. Toda A Plataforma Será Baseada Em Tecnologias De Webservice E Software Livre. |
Download |
|
|
Um Processo Para O Desenvolvimento De Aplicações Web Acessíveis. |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
29/04/2010 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
- Debora Maria Barroso Paiva
|
Coorientador(es) |
|
Orientando(s) |
|
Banca |
- Debora Maria Barroso Paiva
- Marcelo Augusto Santos Turine
- Simone Bacellar Leal Ferreira
|
Resumo |
A Internet é Um Importante Meio De Transmissão De Informação, De Interação Entre Pessoas, Realização De Negócios, Educação E Serviços Governamentais. Porém, Problemas De Acessibilidade No Conteúdo Web Têm Contribuído Para A Exclusão De Usuários, Principalmente Aqueles Com Algum Tipo De Deficiência. Tal Processo De Exclusão Culmina Na Problematização Sobre Acessibilidade Web, Motivando Pesquisas Por Métodos, Técnicas E Ferramentas Específicas Para Oferecer Ao Desenvolvedor Mecanismos Que Favoreçam O Desenvolvimento De Aplicações Web Acessíveis. Neste Contexto, Este Trabalho Propõe Um Modelo De Tarefas De
Acessibilidade (mta) Inseridas Nos Subprocessos Do Processo De Desenvolvimento Da Norma Iso/iec 12207 (padrão Para Tecnologia Da Informação. Processos Do Ciclo De Vida Do Software) Para Auxiliar A Análise, Projeto, Implementação E Avaliação De Softwares Acessíveis. De Forma A Oferecer Uma Ferramenta Automatizada Para Auxiliar O Desenvolvimento De Aplicações Web Acessíveis, A Ferramenta De Autoria Pantaneiro Foi Adaptada Considerando Um Conjunto De Tarefas Do Mta E Diretrizes Do Wcag (web Content Accessibility Guidelines) 2.0 Nível A. Um Estudo De Caso Foi Realizado Com Grupos De Desenvolvedores Utilizando O Mta E O Pantaneiro Acessível Com O Objetivo De Testar, Avaliar E Validar Estes E Investigar O Quanto Eles Estão Integrados Na Promoção Da Acessibilidade E; Verificar Se As Seguintes Estratégias: Treinamento Em Acessibilidade Web, Utilização Do Mta Como
Um Modelo Para Guiar A Acessibilidade No Processo De Desenvolvimento E, Utilização Do Pantaneiro Como Uma Ferramenta De Autoria Que Oferece Suporte Ao Desenvolvimento De Aplicações Web Acessíveis, São Eficientes Na Promoção Da Acessibilidade Web. |
Download |
|
|
Algoritmos Bsp/cgm Para Programação Dinâmica. |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
12/04/2010 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
|
Coorientador(es) |
|
Orientando(s) |
- Leonardo Vinícius Rolan Loureiro
|
Banca |
- Edson Norberto Caceres
- Henrique Mongelli
- Siang Wun Song
|
Resumo |
A Medida Que A Computacão Paralela Vem Deixando De Ser Um Tópico A Parte E Isolado No Mundo Da Computacão Para Ser Um Tópico Essencial E Presente Em Todas As Máquinas Recentes, O Estudo Dos Modelos E Algoritmos Paralelos Passa A Ser Uma Obrigacão Para Os Futuros Cientistas Da Computação. Neste Trabalho Abordaremos Os Principais Modelos De Computação Paralela, Desde Os Modelos Teóricos (pram) Até Os Modelos Reais (bsp, Cgm, Logp) Mostrando Suas Principais Características, Seus Pontos De Acerto E Suas Falhas Ao Modelar As Arquiteturas Paralelas Reais. Dois Problemas De Grande Importância Em Programação Dinâmica Foram Estudados: O Problema Do Alinhamento Local E O Problema Do Produto Da Cadeia De Matrizes. Para Cada Um Dos Problemas Apresentados, Estudamos E Desenvolvemos Algoritmos Paralelos Bsp/cgm Usando O Paradigma De Frente De Onda,
Os Algoritmos Foram Implementados Num Cluster Usando A Biblioteca Lam-mpi E Numa Grid Usando O Middleware Integrade. Os Tempos Obtidos Foram Os Esperados De Acordo Com A Análise De Complexidade Do Modelo Bsp/cgm E Os Resultados Mostram Que O Overhead Da Computação Em Grid é Satisfatório Considerando As Facilidades Da Mesma. |
Download |
|
|
Aplicação De Modelos De Marvok Ocultos Na Obtenção De Taxas De Mortalidade Das Larvas Do Mosquito Da Dengue. |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
26/02/2010 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
|
Coorientador(es) |
|
Orientando(s) |
|
Banca |
- Hemerson Pistori
- Maria Bernadete Zanusso
- Valguima Victoria Viana Aguiar Odakura
|
Resumo |
Com O Intuito De Combater A Proliferação Do Mosquito Transmissor Do Vírus Da Dengue E,consequentemente, Diminuir Os Casos De Infeccão Humana Pelo Vírus, Diversos Larvicidas Vêm Sendo Estudados Recentemente Por Profissionais Das áreas Da Saude E Afins. Nos úlltimos Anos,pesquisadores Da Universidade Católica Dom Bosco Avaliam A Eficácia De Substâncias Extraídas De Plantas Com Potencial Larvicida No Combate às Larvas Desse Inseto. Dentre Os Critérios Utilizados Na Avaliacão De Uma Substância, Encontra-se A Taxa De Mortalidade Das Larvas. Essa Taxa Pode Ser Obtida Por Meio De Observação Visual Perióà Dica Das Larvas Sujeitas A Substância.no Entanto, Características Humanas, Como Suscetibilidade à Exaustão E Subjetividade, Podem Comprometer A Precisão Dessa Taxa, O Que Influência Na Avaliacão Final Do Larvicida Em Questão. Por Conta Desse E De Outros Fatores, Torna-se Interessante A Construção De Sistemas Computacionais Para Observação Automática Das Larvas. Por Se Tratar De Uma Tarefa Realizada Com Base Em Aspectos Visuais, A Aplicação De Técnicas De Visão Computacional (vc) Associadas A Outras
Técnicas Possivelmente é Adequada Ao Desenvolvimento De Tais Sistemas. Nesse Contexto, O Grupo De Pesquisadores Em Vc Da Universidade Citada Criou Um Projeto De Pesquisa, Denominado Larvic, Que Visa Automatizar A Obtenção Dessas Taxas Com Auxílio Da Vc. Com O Intuito De Contribuir Com O Sistema Em Desenvolvimento Nesse Projeto, Este Trabalho Investiga A Aplicação
De Modelos De Markov Ocultos Como Mecanismo De Classificação De Comportamentos De Larvas. Como Resultado, Por Meio Da Identificação Da Falência De Larvas, Pode-se Obter, Dentre Outras Informações, A Taxa De Mortalidade Em Cada Experimento. Para Isso, Sequências De Imagens De Larvas Vivas E Mortas Contidas Em Recipientes Apropriados Foram Capturadas Em Laboratório E
Processadas Por Algoritmos De Vc E áreas Relacionadas Para Aquisição De Informacões Que Viabilizaram A Análise Da Aplicação Proposta. A Investigação Se Fundamenta Em Três Perspectivas, A Saber: 1) As Probabilidades Iniciais Dos Modelos, Utilizadas Como Base Para O Reajuste De Probabilidades, 2) O Critério De Parada Para A Etapa De Reajuste E 3) O Modo De Utilização Dos Modelos
Para Classificação Dos Comportamentos. Foram Consideradas Probabilidades Iniciais Parcialmente Aleatórias E Pré-computadas Manual E Automaticamente. Para Avaliação Do Critério De Parada Padrão Utilizado Nos Experimentos, Foram Examinados Outros Critérios Mais Robustos. Como Alternativa Ao Modo De Classificação Tradicionalmente Utilizado, Os Modelos Foram Combinados
Com Técnicas De Aprendizagem De Máquina, Com O Intuito De Ampliar O Desempenho Dos Classificadores. Para Analisar Cada Perspectiva, Foram Executados Diferentes Experimentos Através Do Uso De Algoritmos Provenientes De Bibliotecas Específicas E Outras Implementações Aqui Desenvolvidas. Por Meio De Análise Baseada Em Taxas De Acerto E Gráficos Sobre O Desempenho, Foi
Possível Concluir Que O Desempenho Dos Classificadores Baseados Apenas Em Modelos De Markov Ocultos, Embora Inferior Ao De Outros Classificadores, Foi Considerável Para A Aplicacão Estudada. |
Download |
|
|
Algoritmos Paralelos Realísticos Para A Maior Subsequência Comum. |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
31/08/2009 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
|
Coorientador(es) |
|
Orientando(s) |
- Claudia Regina Tinós Peviani
|
Banca |
- Fabio Henrique Viduani Martinez
- Marco Aurelio Stefanes
- Siang Wun Song
|
Resumo |
Neste Trabalho Estudou-se O Problema Da Maior Subsequência Comum (longest Common Subsequence - Lcs) Que Deseja Encontrar Uma Subsequência Comum De Comprimento Máximo De Duas Sequências. O Problema Lcs Pode Ser Resolvido Em
Tempo Sequencial Quadrático Usando A Técnica De Programação Dinâmica. Este Trabalho Consiste Em Estudar Os Algoritmos Paralelos Baseados Nos Modelos Realísticos Para Resolver O Problema Lcs. Inicialmente Estudou-se Um Algoritmo Sequencial, Um
Algoritmo Paralelo No Modelo Pram E Um No Modelo Realístico Que Encontra A Lcs De Todas As Subcadeias. Fez-se Uma Implementação Paralela Realística Com O(p) Rodadas De Comunicação Usando P Processadores. O Resultado Desta Implementação
Não Obteve Speedup Satisfatório, O Que Motivou O Estudo Mais Teórico Da Paralelização Do Problema. Neste Sentido, A Partir Do Algoritmo Pram Descreveu-se Uma Solução Paralela Realística, Usando Estrutura De Dados Bem Conhecidas Como Soma Prexa
Paralela E A Técnica De Pointer Jumping. |
Download |
|
|
Middleware Cerberus Usando Rfid Para Rastreabilidade Bovina. |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
11/07/2009 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
|
Coorientador(es) |
|
Orientando(s) |
|
Banca |
- Edson Norberto Caceres
- Henrique Mongelli
- Marcelo Augusto Santos Turine
- Pedro Paulo Pires
|
Resumo |
Silva, M.r. Middleware Cerberus Usando Rfid Para Rastreabilidade Bovina. Campo Grande, 2009. Dissertação De Mestrado { Universidade Federal De Mato Grosso Do Sul.
A Gerência Na Zootecnia De Precisão é Cada Vez Mais Necessária Para Garantia De Lucros E A Conquista De Novos Mercados Os Quais Exigem Qualidade E Certificação. Nesta Dissertação é Abordado Um Sistema De Rastreabilidade Para O Controle Na Bovinocultura Utilizando Chips Rfid. Sendo Que A Identificação Segura Dos Animais é A Base Para A Rastreabilidade Bovina E Bubalina.em Vista As Exigências Do Mercado Consumidor O Governo Brasileiro Instituiu O Sistema Brasileiro De Identificação E Certificação De Origem Bovina E Bubalina (sisbov) Que Permite A Utilização De Diferentes Métodos Para A Identificação Dupla Dos Animais, Entre Eles: Brinco E Botton , Brinco E Marca A Fogo, Brinco E Tatuagem E Brinco Com Dispositivos Eletrônicos. A Utilização De Dispositivos Eletrônicos é Sem Dúvida A Forma Mais Segura E Eficiente Para Identificação Dos Animais, No Entanto Ao Se Identificar Animais Com Dispositivos Eletrônicos, Os Custos Aumentam Significativamente. Diante Deste Cenário Justifica-se O Desenvolvimento De Ferramentas Computacionais Que Incentivem Os Produtores A Utilizarem A Identificação Eletrônica Em Seus Rebanhos, Como Uma Forma Segura E Efetiva De Rastreabilidade E Produtividade. é Fundamental Que Estas Ferramentas Possibilitem Aos Produtores, Além Da Rastreabilidade, A Obtenção De Informações Gerencias Para Uma Melhor Administração Do Rebanho. O Objetivo Deste Trabalho é Propor Uma Plataforma De Software Que Promova O Desenvolvimento De Novas Aplicações Na área Do Agronegócio, Esta Plataforma Devería Abstrair A Conexão Com Os Dispositivos Utilizados No Agronegócio, Principalmente As Conexões Com Estrutura De Rádio Frequência (rfid), Além De Gerenciar E Formatar Os Dados Coletados Por Estes Dispositivos. Com A Utilização Desta Plataforma De Software Poderão Ser Desenvolvidas Novos Aplicativos Para A Administração De Rebanhos, Independentes Da Parte Física Representada Pelos Dispositivos. |
Download |
|
|
Redução De Atributos Utilizando Análise Discriminante Com Aplicações Na Detecção De Defeitos Em Couro Bovino. |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
06/07/2009 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
|
Coorientador(es) |
|
Orientando(s) |
- Willian Paraguassu Amorim
|
Banca |
- Cláudio Rosito Jung
- Hemerson Pistori
- Maria Bernadete Zanusso
|
Resumo |
|
Download |
|
|
Pantaneiro: Framework De Aplicações Web Para Plataformas E-gov. |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
30/06/2009 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
- Marcelo Augusto Santos Turine
|
Coorientador(es) |
|
Orientando(s) |
|
Banca |
- Debora Maria Barroso Paiva
- Marcelo Augusto Santos Turine
- Rosângela Aparecida Dellosso Penteado
|
Resumo |
O Governo, Em Suas Diferentes Esferas (municipal, Estadual E Federal), Tem O Desafio De Utilizar A Tecnologia De Informação E Comunicação Para Compartilhar Informações, Dar Maior Transparência Na Gestão Pública E Melhorar A Qualidade De Prestação De Serviços Ao Cidadão. Com O Avanço Da Tecnologia, O Governo Eletrônico (e-gov) é Uma Das Principais Estratégias Para Tornar Disponível Serviços Online Ao Cidadão, Criar E Fortalecer Uma área De Interação E Participação Entre Governo E Sociedade. Neste Contexto, O Presente Trabalho Tem Como Objetivo Especificar E Implementar Um Framework Intitulado Pantaneiro Para Facilitar E Agilizar O Desenvolvimento De Portais Corporativos Em Uma Plataforma E-gov. O Framework é Baseado Em Técnicas De Reuso E Fornece Suporte Ao Método Orientado A Objetos Hmbs/m (hypermedia Model Based On Statecharts/method), Que Tem Como Principal Característica O Uso Do Formalismo Statecharts Para Modelar O Comportamento De Uma Aplicação Web (webapp). Para Instanciar Os Portais Por Meio Do Framework Pantaneiro, Foi Desenvolvido O Wizard-pantaneiro, Composto Pelos Ambientes De Autoria, De Projeto Navegacional E De Publicação Fornecendo Suporte às Quatro Fases Do Método Subjacente: Modelagem Conceitual, Modelagem Navegacional, Modelagem Da Interface E Publicação/teste. Durante O Processo De Modelagem Da Aplicação, O Framework Incentiva O Desenvolvimento Incremental E Iterativo, Sendo Que, Em Cada Fase, Modelos São Construídos Ou Enriquecidos. Para Simular O Comportamento Navegacional Dos Portais, O Wizard-pantaneiro Possui Um Módulo Que Gera A Especificação Em Statecharts Da Aplicação Em Xml (padrão Scxml/w3c) Para Ser Visualizada No Simulador De Statecharts, Denominado Scxml Viewer-pantaneiro, Desenvolvido Neste Trabalho. Para Validar A Proposta Do Framework, é Apresentada A Experiência Da Equipe De Ti Da Superintendência De Gestão De Informação (sgi) Do Governo Do Estado De Mato Grosso Do Sul Que Está Usando A 1ª Versão Do Framework Pantaneiro E Já Instanciou 54 Portais De Secretarias E/ou órgãos Do Governo Do Estado De Mato Grosso Do Sul. |
Download |
|
|
Conversão Simbólica De Sinais Digitais Através Da Teoria De Extremos Relativos. |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
25/06/2009 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
|
Coorientador(es) |
|
Orientando(s) |
|
Banca |
- Hemerson Pistori
- Maria Bernadete Zanusso
- Said Sadique Adi
|
Resumo |
O Objetivo Deste Trabalho é O Desenvolvimento De Uma Nova Técnica Para Conversão Simbólica De Sinais Digitais, Denominada Quantização Baseada Em Extremos Relativos (qber). Esta Técnica Pode Converter Sinais Digitais Unidimensionais Em Cadeias. A Técnica Qber, Formalizada Nesta Proposta, Utiliza-se Da Teoria De Extremos Relativos (ter) E De Funções De Similaridade Para Sinais, Como A Métrica Distância De Edição Com Penalidade Real (edit Distance With Real Penalty) (erp). Além Disso, Utiliza O Algorítmo De Clusterização Pam-slim, Que Emprega A Abordagem K-medianas, Amplamente Discutida Na Literatura. A Ter é Também Uma Contribuição Deste Trabalho, Extendendo A Teoria Dos Extremos Importantes (tei) Com O Acréscimo Dos Conceitos Prevalência, Monte, Representação Baseada Em Extremos Relativos (rber) E Rberq. Para Se Avaliar A Utilidade Da Qber Desenvolveu-se Um Sistema De Classificação De Padrões De Referência, Baseado No Classificador K-vizinhos (k-nearest Neighbor) (knn). Esta Implementação De Referência Possui As Fases De Pré-processamento E Reconhecimento. Na Fase De Pré-processamento, Utiliza-se A Qber Para Converter Os Objetos De Treinamento Do Knn Em Representações Simbólicas. Como O Classificador Knn Utiliza O Aprendizado Baseado Em Instâncias (instance-based Learning) A Fase De Treinamento é Inexistente , Sendo Toda Classificação Baseada Nos Objetos De Treinamento. Na Fase De Pré-processamento Um Objeto A Ser Avaliado Também é Convertido Para A Representação Simbólica Utilizada, Antes De Ser Utilizado Como Entrada Para O Classificador Knn, Na Fase De Reconhecimento. Com Vistas A Avaliar A Utilidade Da Técnica Desenvolvida São Feitas Comparações De Seu Emprego Em Um Problema De Classificação, A Geração De Recomendações De Compra De Ações. O Classificador Knn Implementado é Então Avaliado Com E Sem O Emprego Da Qber, Observando-se Utilidade No Emprego Da Técnica Desenvolvida, Pela Performance Superior No Tempo De Preparação Do Classificador E Na Rentabilidade Anual Obtida. |
Download |
|
|
Implementações Alternativas Fpt Bsp/cgm Para O Problema K-cobertura Por Vértices. |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
22/06/2009 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
|
Coorientador(es) |
|
Orientando(s) |
- Deiviston da Silva Aguena
|
Banca |
- Edson Norberto Caceres
- Henrique Mongelli
- Siang Wun Song
|
Resumo |
Muitas Das Aplicações Do Mundo Real Requerem Soluções Para Problemas Np-completos. A Inexistência De Algoritmos Polinomiais Conhecidos Para Resolvê-los Resulta Na Grande Variedade De Propostas De Soluções. Estas Soluções Utilizam Principalmente Heurísticas E Algoritmos De Aproximação. Uma Abordagem Alternativa é A Utilização De Algoritmos Fpt (fixed Parameter Tractability). Enquanto As Técnicas Baseadas Em Heurísticas E Em Algoritmos De Aproximação Relaxam A Busca Por Soluções ótimas Ou Exatas, Mas Usualmente Insistem Em Algoritmos De Tempo Polinomial, As Técnicas Que Utilizam Algoritmos Fpt Sempre Encontram Resultados Exatos, Mas Podem Apresentar Soluções Eficientes Na Teoria, Embora Inviáveis Na Prática. Para Controlar O Tempo De Processamento, Os Algoritmos Fpt Possuem Um Parâmetro K Associado à Instânica Do Problema Que Resolvem. Neste Sentido, Pequenos Valores Configurados No Parâmetro K Produzem Soluções Polinomiais. Mas, Como Nem Sempre, Pequenos Valores No Parâmetro São Suficientes Para Suprir A Real Necessidade De Um Problema, Estratégias Como Utilizar O Paralelismo Tem Sido Pesquisadas Com Objetivo De Melhorar Tanto O Tempo De Resposta Quanto Ao Tamanho Da Instânica Do Problema Que Pode Ser Resolvida. Neste Trabalho, Estaremos Interessados Na Pesquisa De Algoritmosfpt E Na Implementação Eficiente Destes Algoritmos Utilizando O Poder Do Paralelismo No Modelo Bsp/cgm Para Diferentes Abordagens Do Problema Np-completo K-cobertura Por Vértices (k-vertex Cover). |
Download |
|
|
Implementação e Análise de Algoritmos BSP/CGM em um Beowulf e no InteGrade |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
22/06/2009 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
|
Coorientador(es) |
|
Orientando(s) |
|
Banca |
- Edson Norberto Caceres
- Henrique Mongelli
- Siang Wun Song
|
Resumo |
Com O Avanço Da Ciência E Da Tecnologia Nas Mais Diversas áreas Surgiram Problemas Que Necessitam Cada Vez Mais De Alto Poder Computacional. Inicialmente, Para Resolver Esses Problemas, Eram Utilizados Computadores Paralelos De Grande Porte E Elevado Custo. Em Seguida, No Entanto, Tornou-se Mais Eficiente E Barato Montar Clusters Com Pcs Que Trabalham Em Conjunto Para Oferecer Um Alto Poder De Processamento A Um Custo Menor Que O M´etodo Anterior. Recentemente, Porém, Vem Sendo Desenvolvido A Ideia De Interligar Clusters Dispersos Geograficamente, Formando Uma única Grade Computacional E Uma Dessas Propostas é O Middleware Integrade. Visto Que A Utilização De Grades Computacionais Para Elevar O Poder De Processamento Disponível Para A Solução Dos Mais Diversos Problemas Vem Se Tornando Mais Comum, O Principal Objetivo Do Nosso Trabalho é Avaliar O Desempenho Do Integrade Em Relação Ao Cluster. Para Fazer Essa Avaliação, Estudamos Problemas Paralelos Com Diferentes Aspectos De Computação E De Comunicação E Os Implementamos Utilizando O Modelo Bsp/cgm (bulk Synchronous Parallel/coarse Grained Multicomputer). Entre Os Problemas Estudados Estão O Problema Da Mochila 0-1, O Problema Da ´arvore Geradora E Por Fim O Problema Do Fecho Transitivo. Todos Os Algoritmos Foram Implementados Utilizando O Padrão Mpi (message Passing Interface) E A Linguagem C. |
Download |
|
|
Motor De Física De Corpos Rígidos Em Gpu Com Arquitetura Cuda. |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
18/09/2008 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
|
Coorientador(es) |
|
Orientando(s) |
|
Banca |
- Esteban Walter Gonzalez Clua
- Henrique Mongelli
- Paulo Aristarco Pagliosa
|
Resumo |
O Objetivo Principal Deste Trabalho é O Desenvolvimento De Um Detector De Colisões E De Um Motor De Física Para Simulação Dinâmica De Corpos Rígidos Usando Unidades De Processamento Gráfico (gpus) Que Oferecem Suporte à Cuda (computer Unified Device Architecture). Ambos Os Componentes Integram Um Framework De Animação Dinâmica Chamado As, Desenvolvido Pelo Grupo De Visualização, Simulação E Games Do Dct/ufms. A Implementação De Um Detector De Colisões E De Um Motor De Física Em Cuda Para As Permiteque Este Execute Toda Ou Parte Da Física Em Gpu, Liberando A Cpu Para Outras Tarefas E Propiciando A Simulação De Cenas Com Um Número Maior De Atores Em Tempo Real. A Simulação De Uma Cena Em Um Instante De Tempo Começa Com A Determinação De Todos Os Pontos De Contato Que Ocorrem Entre Pares De Atores. A Detecção De Colisões é Dividida Em Uma Fase Geral E Uma Fase Exata. Na Primeira, O Espaço Da Cena é Dividido Em Uma Estrutura De Células De Mesmo Tamanho. Somente Os Atores Que Estão Dentro Ou Interceptam Uma Detrminada Célula Da Estrutura E Cujos Volumes Limitantes De Interceptam Podem Colidir. Dado Um Par De Atores Potencialmente Em Contato, A Fase Exata Verifica Se Estes De Fato Colidem Através De Cálculos De Intersecção Entre As Formas Que Definem A Geometria Dos Atores. A Seguir, O Motor De Física Computa As Forrças De Restrição Oriundas Dos Contatos E De Junções Entre Os Atores. Este é Um Problema De Complementaridade Linear (pcl) Resolvido Iterativamente Com O Algoritmo De Gauss-seidel Com Sobre-relaxação Sucessiva (sor). As Forças De Restrição, Somadas às Forças Externas Aplicadas, São Usadas Pelo Motor Para Determinação Da Velocidade E Posição Atualizadas De Cada Corpo Rígido Da Cena, O Que é Feito Pela Integração Numérica Das Equações De Movimento Através Do Método De Euler. Os Testes Efetuados Com A Implementação Paralela Em Cuda Do Detector De Colisão E Do Motor De Física De As Demonstraram Que A Gpu Pode Ser Empregada Efetivamente Na Simulação Dinâmica Em Tempo Real De Cenas Constituídas De Milhares De Corpos Rígidos Com Milhares De Restrições Com Desempenho Até Duas Vezes Mais Eficiente Que A Versão Para Cpu Dependendo Da Aplicação. |
Download |
|
|
Arquitetura Do Gerador De Aplicação Web Baseado No Framework Titan |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
18/09/2008 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
- Marcelo Augusto Santos Turine
|
Coorientador(es) |
|
Orientando(s) |
|
Banca |
- Auri Marcelo Rizzo Vincenzi
- Hana Karina Salles Rubinsztejn
- Marcelo Augusto Santos Turine
|
Resumo |
O Crescente Aumento Do Nùmero De Aplicações Basedas Na Web (webapps) Motiva A Pesquisa E O Desenvolvimento De Ferramentas De Reuso De Artefatos De Software Já Produzidos A Fim De Auxiliar Na Geração Automática Das Aplicações.no Intuito De Padronizar E Simplificar Esta Atividade, A Utilização De Padrões De Software,componentes,frameworks E Linhas De Produtos De Software (lps) São Estratégias Para Tornar Mai ágil O Desenvolvimento De Aplicações,aumentando A Reusabilidade Dos Modelos E Do Código Produzido.uma Forma De Automatizar Parte Do Processo De Desenvolvimento De Software é Utilizar Geradores De Aplicações,possibilitando Gerar Wbapps A Aprtir De Geração Automática De Aplicações é O Escopo Do Presente Trabalho Que Objetiva Propor Um Modelo De Arquitetura Para Um Gerador Automático De Webapps Integrado à Ferramenta Fênix E Baseado No Framework Titan, Automatizando O Processo De Geração De Código De Webapps No Contexto De Uma Lps Orientada A Família De Produtos No Domínio De Sistemas Web De Apoio à Gestão De Fomento De Projetos (sagf).o Gerador De Aplicação é Composto Por Um Gerador De Código Baseado Em Regras, Metadados E Transformações Aplicadas No Framework Titan, Além De Arquivos De Configuração Da Interface De Aplicação Gerada. Por Fim, A Ferramenta Fênix Permitirá Gerar Código De Uma Aplicação A Fim De Gerenciar O Processo De Envio, Avaliação, Monitoramento E Finalização De Propostas Eletrônicas De Projeto A Serem Avaliadas Por Agências De Fomento.para Validar E Testar O Gerador De Aplicação, Será Gerado Código Em Php E Banco De Dadospostgresql Para Uma Aplicação De Gerenciamento De Projetos De Iniciação Científica Da Pró-reitoria De Pesquisa E Pós-graduação Da Ufms. |
Download |
|
|
um Motor 3d Para Simulação Dinâmica De Corpos Rígidos |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
18/09/2008 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
|
Coorientador(es) |
|
Orientando(s) |
- Alexandre Soares da Silva
|
Banca |
- Esteban Walter Gonzalez Clua
- Marcelo Ferreira Siqueira
- Paulo Aristarco Pagliosa
|
Resumo |
O Objetivo Geral Deste Trabalho é O Desenvolvimento De Um Motor 3d Para Aplicações De Visualização E Simulação Dinâmica Interativa De Corpos Rígidos Em Tempo Real, Incluindo Jogos Digitais. O Motor 3d é Resultante De Modificações E Extensões De Um Sistema De Animação Dinâmica Chamado De As, Desenvolvido Pelo Grupo De Visualização , Simulação E Games (gvsg) Do Dct/ufms. As Principais Extensões Em As São Duas. A Primeira é A Implementação De Um Motor De Física Próprio Para Simulação De Corpos Rígidos, Em Substituição Ao Nvídia Physx Usado Na Versão Original. Com Isso, Os Resultados De Outras Pesquisas , Tais Como Simulação De Corpos Elásticos E Uso De Unidades De Processamento Gráfico Como Co-processador Do Motor De Física, Podem Ser Mais Facilmente Incorporados Ao Sistema. O Novo Motor De Física Oferece Suporte à Definição De Atores Com Múltiplas Formas, Vários Tipos De Junções E Contato Com Atrito. A Segunda é A Implementação De Um Laço Principal Para Tratamento De Eventos De Entrada, Atualização Da Cena Sendo Simulada E Renderização Dos Quadros Da Aplicação Em Tempo Real. A Atualização Consiste Na Execução De Ações Definidas Pelo Desenvolvedor Bem Como Na Simulação Pelo Motor De Física. A Criação De Atores E Junções E A Especificação De Ações E Das Sequências De Eventos De Uma Aplicação Do Motor 3d Podem Ser Especificadas Em Uma Linguagem Orientada A Objetos Própria De As, Chamada Al, Em Roteiros Que São Executados Concorrentemente Com O Laço Principal Do Motor. |
Download |
|
|
o Problema Da Orientação Pfaffiana De Grafos. |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
15/09/2008 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
- Marcelo Henriques de Carvalho
|
Coorientador(es) |
|
Orientando(s) |
|
Banca |
- Fabio Henrique Viduani Martinez
- Marcelo Henriques de Carvalho
- Orlando Lee
|
Resumo |
|
Download |
|
|
Análise de Nutrientes Utilizando Redes Metabólicas |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
12/09/2008 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
- Fabio Henrique Viduani Martinez
|
Coorientador(es) |
|
Orientando(s) |
|
Banca |
- Fabio Henrique Viduani Martinez
- Maria Emilia Machado Telles Walter
- Said Sadique Adi
|
Resumo |
Neste Trabalho Apresentamos Uma Introdução Sobre As Redes Metabólicas De Organismos, Seus Principais Conceitos Biológicos, As Possíveis Formas De Modelagem Destas Redes Em Estruturas De Dados, Uma Formalizaçãomatemática De Três Dos Principais Problemas Relacionados à Análise De Nutrientes E Um Método Baseado Apenas Na Topologia Da Rede Para Realizar Análise De Nutrientes Através Da Enumeração De Conjuntos Minimais De Precursores Ausentes, Que São Suficientes Para Se Produzir Compostos Essenciais Definidos Como Alvo. |
Download |
|
|