Buscar Trabalhos

Trabalhos Disponíveis

TRABALHO Ações
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)
    • Lucinéia Souza Maia
    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)
    • Edson Norberto Caceres
    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)
      • Hemerson Pistori
      Coorientador(es)
        Orientando(s)
        • Kleber Padovani de Souza
        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)
        • Marco Aurelio Stefanes
        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)
          • Edson Norberto Caceres
          Coorientador(es)
            Orientando(s)
            • Márcio Roberto Silva
            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)
            • Hemerson Pistori
            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)
                • Hercules da Costa Sandim
                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)
                • Maria Bernadete Zanusso
                Coorientador(es)
                  Orientando(s)
                  • Daniel Joaquim de Sousa
                  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)
                  • Henrique Mongelli
                  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)
                    • Edson Norberto Caceres
                    Coorientador(es)
                      Orientando(s)
                      • Christiane Nishibe
                      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)
                      • Paulo Aristarco Pagliosa
                      Coorientador(es)
                        Orientando(s)
                        • Márcio Artacho Peres
                        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)
                          • Eberson Omar Weschter
                          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)
                            • Paulo Aristarco Pagliosa
                            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)
                                • Fábio Andreatta Santos
                                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)
                                    • Paulo Vieira Milreu
                                    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
                                      modeli: Um Ambiente De Geração De Material Didático Na Web Baseado Na Aim-cid.
                                      Curso Mestrado em Ciência da Computação
                                      Tipo Dissertação
                                      Data 07/08/2008
                                      Área CIÊNCIA DA COMPUTAÇÃO
                                      Orientador(es)
                                      • Marcelo Augusto Santos Turine
                                      Coorientador(es)
                                        Orientando(s)
                                        • Tânia Regina Ramires Bezerra
                                        Banca
                                        • Debora Maria Barroso Paiva
                                        • Ellen Francine Barbosa
                                        • Marcelo Augusto Santos Turine
                                        Resumo Nos últimos Anos, A área De Educação Vem Passando Por Mudanças Importantes Em Relação à Introdução Das Tecnologias De Informação E Comunicação No Processo De Ensino E De Aprendizagem. Como Resultado Dessas Mudanças E Dos Esforços Para Aproveitar Os Benefícios Dessas Tecnologias, Diversos Sistemas Ou Ambientes Virtuais De Apoio à Educação Foram Desenvolvidos. Apesar Do Vasto Conjunto De Ferramentas Oferecidas Por Esses Ambientes, Muitos Educadores E/ou Pesquisadores Ainda Optam Pelo Desenvolvimento De Suas Próprias Aplicações De Apoio à Educação Em Razão Da Diversidade Das Técnicas De Ensino E Avaliação. Devido Ao Fato Dos Ambientes Educacionais Tradicionais Não Serem Projetados Para Auxiliar Na Autoria De Conteúdos Educacionais, Os Usuários São Desmotivados A Utilizar Esses Sistemas. A Modelagem De Conteúdos é Considerada Uma Das Atividades Relevantes Do Processo Educacional, Sendo Fundamental Para A Estruturação Do Conhecimento Que Deseja Ensinar. Neste Contexto, A Abordagem Aim-cid (abordagem Integrada De Modelagem - Conceitual, Instrucional E Didática) Foi Proposta E Define Requisitos E Perspectivas Para A Modelagem Conceitual, Instrucional E Didática De Conteúdos Educaionais. Assim, Neste Trabalho Objetiva-se Especificar E Implementar Uma Ferramenta Web Intitulada Modeli (módulos Educacionais Livres) Para Apoiar A Modelagem De Conteúdos Educacionais E Gerar Conteúdos Didáticos Livres Na Forma De Arquivos De Etextos (formatos Pdf E Html) E/ou Arquivos De Apresentações (formato Power Point E Apresentação Odf), Segundo A Modelagem Formal Baseada Em Statecharts Subjacente à Abordagem Aim-cid.para Validar A Ferramenta Foi Realizado Um Estudo De Caso Do Curso diagramas Da Uml; Uma Visão Geral.
                                        Download
                                          Uma Abordagem De Integração De Dados Na Web No Domínio De Indicadores De Políticas Públicas.
                                          Curso Mestrado em Ciência da Computação
                                          Tipo Dissertação
                                          Data 01/08/2008
                                          Área CIÊNCIA DA COMPUTAÇÃO
                                          Orientador(es)
                                          • Marcelo Augusto Santos Turine
                                          Coorientador(es)
                                            Orientando(s)
                                            • Ademir Martinez Sanches
                                            Banca
                                            • Debora Maria Barroso Paiva
                                            • Denise Neri Blanes
                                            • Marcelo Augusto Santos Turine
                                            Resumo
                                            Gerência De Projetos De Software Livre No Framework Safe
                                            Curso Mestrado em Ciência da Computação
                                            Tipo Dissertação
                                            Data 13/06/2008
                                            Área CIÊNCIA DA COMPUTAÇÃO
                                            Orientador(es)
                                            • Marcelo Augusto Santos Turine
                                            Coorientador(es)
                                              Orientando(s)
                                              • Alexandre Aguena Arakaki
                                              Banca
                                              • Debora Maria Barroso Paiva
                                              • Hemerson Pistori
                                              • Marcelo Augusto Santos Turine
                                              Resumo O Tema Software Livre Tem Se Tornado Uma Importante área De Estudo E Pesquisa Para Engenharia De Software, Ganhando Espaço Como Uma Ramificação Da Engenharia De Software Tradicional, Definida Como Engenharia De Software Livre (osse - Open Source Software Enginearing). Várias Comunidades Vêm Obtendo Sucesso No Desenvolvimento De Soluções Baseadas Em Software Livre, Tais Como: Mozilla, Apache E Linux. O Sucesso, A Alta Popularidade E A Confiabilidade Obtida Pelas Comunidades De Projetos De Software Livre Motivam Novas Pesquisas, Principalmente Na Busca De Respostas Para Elucidar Os Fatores Que Garantem A Qualidade Do Software Produzido. Neste Contexto, Neste Trabalho é Investigado O Conhecimento Acerca Da Gerência De Projetos Em Comunidades De Projetos De Software Livre, Por Meio De Uma Metodologia De Representação Baseada Em Gerências E Diretrizes. Foram Definidas E Caracterizadas Oito Gerências: Requisitos, Lançamento De Versões, Evolução Orientada A Bugs, Qualidade, Código-fonte, Coordenação Da Comunidade, Comunicação E Gerência De Documentação. Para Validar A Proposta Na Prática, Foi Especificado E Implementado Módulos No Projeto Do Framework Safe (finep/usp-são Carlos/dct-ufms/async), Uma Solução Que Integra Diferentes Softwares Livres Para Auxiliar O Processo De Desenvolvimento De Projetos De Software Livre.
                                              Download
                                              linha De Produtos De Software No Processo De Geração De Sistemas Web De Apoioa Gestão De Fomento De Projetos
                                              Curso Mestrado em Ciência da Computação
                                              Tipo Dissertação
                                              Data 29/11/2007
                                              Área CIÊNCIA DA COMPUTAÇÃO
                                              Orientador(es)
                                              • Marcelo Augusto Santos Turine
                                              Coorientador(es)
                                                Orientando(s)
                                                • Camilo Carromeu
                                                Banca
                                                • Debora Maria Barroso Paiva
                                                • Marcelo Augusto Santos Turine
                                                • Rodrigo Quites Reis
                                                Resumo Atualmente, Um Dos Desafios Da Administração Pública é Atender De Maneira Eficiente, Rápida E Satisfatória As Demandas E Diferenciadas Advindas Da Sociedade. Os Governos Têm Sido Pressionados A Apresentar Maior Eficiência Na Aplicação Do Recurso Público, Maior Efetividade Nos Resultados Esperados Dos Serviços E Programas Sociais, Além De Prestar Informações E Serviços à Sociedade De Forma Transparente E Democrática.porém, Tal Meta é Impossível De Ser Alcançada Sem Um Processo De Informatização Das Operações Internas Nos órgãos Governamentais. A Necessidade De Técnicas E Ferramentas Para Auxiliar O Projeto E O Desenvolvimento ágil De Softwares De Maior Qualidade E Em Menor Tempo é Uma Das Preocupações Da Engenharia De Software. Muitos Produtos São Desenvolvidos Em Função De Artefatos Já Especificados E Implementados, Utilizando Técnicas De Reutilização. Neste Contexto, A Técnica Linha De Produtos De Software (software Product Line - Lps) Surge Como Uma Proposta De Construção E Reutilização Sistemática De Software Baseado Em Um Domínio Específico. O Objetivo Principal Desta Pesquisa é A Instanciação E A Automatização De Um Processo Lps Orientado A Família De Produtos No Domínio Sistemas Web De Apoio à Gestão De Fomento De Projetos (sagf) Utilizados Por Agências Estaduais De Fomento A Projetos (fundações De Amparo à Pesquisa-fap). O Processo Lps Utilizado é Baseado Na Abordagem Plus (product Line Uml-based Software Enginearing) E Enfatiza O Uso De Padrões E Frameworks Na Definição De Um Conjunto De Sistemas Que Compartilham Similaridades E Variabilidades Que Satisfazem As Necessidades Específicas Do Domínio.para Automatizar O Processo De Lps São Implementadas E Integradas A Ferramenta Fênix E O Framework Titan Em Um Ambiente De Geração De Aplicação Que Permite Instanciar E Gerar Aplicações Web Para Auxiliar A Submissão, Gestão, Monitoramento E Avaliação De Propostas Eletrônicas De Projeto A Serem Avaliadas Pelas Faps. Para Implementação Do Ambiente São Utilizadas Tecnologias De Software Livre Java (jsp, Struts E Hibernate), Php,svg (scalable Vector Graphics) E Postgresql. Para Testar, Avaliar E Validar O Ambiente De Geração De Aplicações é Realizado Um Estudo De Caso Para O Sistema Web Da Fundação De Apoio Ao Desenvolvimento Do Ensino, Ciência E Tecnologia Do Estado De Mato Grosso Do Sul (fundect).
                                                Download
                                                o Problema Dos Uns Consecutivos Utilizando Arquiteturas Reconfiguráveis.
                                                Curso Mestrado em Ciência da Computação
                                                Tipo Dissertação
                                                Data 01/11/2007
                                                Área CIÊNCIA DA COMPUTAÇÃO
                                                Orientador(es)
                                                • Nahri Balesdent Moreano
                                                Coorientador(es)
                                                  Orientando(s)
                                                  • Adriano Genovez Idalgo
                                                  Banca
                                                  • Nahri Balesdent Moreano
                                                  • Ricardo Pezzuol Jacobi
                                                  • Ricardo Ribeiro dos Santos
                                                  Resumo As Arquiteturas Reconfiguráveis Possibilitam Que A Função Do Hardware Seja Implementada Pelo Usuário. Por Causa De Suas Características, Estas Arquiteturas Têm Sido Usadas Em Muitas áreas, Inclusive A Bioinformática. Muitos Problemas Em Bioinformática Podem Ser Representados Por Modelos Matemáticos Que, Por Sua Vez, Podem Ser Resolvidos Por Métodos Computacionais. O Problema Dos Uns Consecutivos é Um Exemplo Destes Problemas, E Trata Da Obtenção De Uma Permutação De Colunas Em Uma Matriz Binária, De Modo Que Todos Os Uns Em Cada Linha Sejam Consecutivos. Esta Matriz Representa Informações Sobre Fragmentos De Dna E Sondas, Os Quais Permitem A Identificação Da Ordem Relativa Entre Os Fragmentos E, Assim, Auxiliam A Determinação Da Ordem Das Bases Nitrogenadas Que Formam O Dna Original.
                                                  Nesta Dissertação São Descritos Alguns Conceitos Sobre Arquiteturas Reconfiguráveis E Os Principais Dispositivos De Lógica Programável. Também São Revisados O Problema Dos Uns Consecutivos E Um Algoritmo Para Resolvê-lo. São Apresentadas Diversas Implementações, Em Hardware Reconfigurável, De Partes Do Algoritmo Para Resolução Do Problema Dos Uns Consecutivos De Modo A Obter Um Melhor Desempenho Em Sua Execução. Também São Apresentados E Discutidos Os Resultados Obtidos Através De Experimentos Realizados Com Estas Implementações. Finalmente, São Descritas As Conclusões Deste Trabalho E Mostrados Os Trabalhos Futuros Que Podem Expandir As Soluções Apresentadas.
                                                  Download
                                                  Página 9 de 11 (20 de 212 registros).