| 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 |
|
|
| 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) |
|
| 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) |
|
| 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) |
|
| 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) |
|
| Coorientador(es) |
|
| Orientando(s) |
|
| 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 |
|
|
| Ancoragem De Genomas Incompletos Em Genomas Completos. |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
01/08/2007 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Nalvo Franco de Almeida Junior
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Cleber Oliveira Soares
- Nalvo Franco de Almeida Junior
- Said Sadique Adi
|
| Resumo |
Um Projeto Genoma Usual Possui Três Etapas. A Primeira, Denominada, Sequenciamento E Montagem, Consiste Na Determinação Da Sequência Exata De Todos Os Seus Cromossomos. A Segunda, Conhecida Como Anotação, Consiste Na Descoberta Da Posição Exata Dos Genes De Cada Cromossomo, Quais As Proteínas Produzidas Por Eles E Qual A Função De Cada Uma Delas. Ao Final, A Análise Do Genoma Consiste Na Descoberta De Funcionalidades Específicas Ou Comuns A Outros Organismos. Algumas Vezes Não Se Deseja Terminar Completamente A Primeira Fase. Nesses Casos Tem-se, Ao Invés De Cromossomos, Apenas Trechos Contíguos E Disjuntos Dos Cromossomos, Chamados De Contigs. Mesmo Assim, Ainda é Possível Chegar As Conclusões Importantes Acerca Das Funcionalidades Do Organismo Estudado. Este Trabalho Consiste No Estudo De Algumas Ferramentas De Comparação De Sequências, Visando Usá-las Como Instrumento Para Mapear Os Contigs De Um Genoma Incompleto No Genoma Completo De Um Organismo Evolutivamente Próximo. Dessa Forma, é Possível Auxiliar Proetos Cujo Objetivo Seja Apenas Entender Mecanismos Biológicos Importantes Do Organismo, Sem Que Haja A Necessidade De Completar Seu Genoma. |
| Download |
|
|
| Rough Sets E Algoritmos Genéticos Para Inicializar Um Sistema Neuro-fuzzy |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
20/04/2007 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
- Graciela Lecireth Meza Lovon
|
| Banca |
- Luciana Cambraia Leite
- Maria Bernadete Zanusso
- Maria Carolina Monard
|
| Resumo |
A Definição Da Arquitetura De Uma Rede Neural Artificial Que Forneça Um Desempenho Aceitável Em Problemas De Classificação De Dados Constitui Uma Tarefa Complexa De Tentativa E Erro. Isto é Notório Em Redes Do Tipo Perceptron De Múltiplas Camadas (pmc), Nas Quais A Eficiência Do Aprendizado Medida Em Termos Da Sua Capacidade De Generalização Num Conjunto De Dados Depende, Entre Outros Parâmetros, Do Número De Camadas, Do Número De Neurônios E Das Conexões Entre Seus Neurônios. Por Outro Lado, Em Redes Baseadas Em Conhecimento Simbólico, A Arquitetura E Os Pesos Das Conexões Podem Ser Determinados Por Um Método De Mapeamento De Regras. No Entanto, Encontrar Uma Boa Base De Regras Para Representar Conhecimento é Um Processo Custoso E Difícil, Não Só Pela Necessidade De Ter De Um Especialista No Domínio, Também, Pela Aplicação Das Técnicas De Aquisição , Ou Extração, De Seu Conhecimento. A Teoria De Rough Sets Se Apresenta Como Uma Alternativa Para Contornar Este Problema. Esta Se Fundamenta Na Aplicação Dos Conceitos Matemáticos De Classes De Equivalência E Conjunto Quociente Num Ambiente De Incertezas, Para Gerar Regras De Dependência A Partir De Um Conjunto De Dados. O Sistema Neuro-fuzzy Diferenciável E Interativo (snfdi), Objeto De Estudo Deste Trabalho, Tem Como Núcleo Uma Rede Neural Do Tipo Pmc Com 3 Camadas Cujos Neurônios Realizam Operações Lógicas E E Ou, E é Treinada Com O Algoritmo Retropropagação. As Operações São Efetuadas Usando T-normas Diferenciáveis, Que Permitem A Diferenciação Da Função De Erro Quadrático édio, E Interativas, Que Trazem Vantagens Sobre Os Operadores De Máximo E De Mínimo Num Domínio De Dados Com Diferentes Graus De Granularidade Nos Atributos. Este Projeto Tem Por Objetivo Aplicar A Teoria De Rough Sets Para Propor Uma Metodologia De Inicialização Para O Snfdi, Em Que O Número De Neurônios Na Camada Intermediária Da Rede E Os Pesos Iniciais Para Algumas Das Suas Conexões Entre As Três Camadas São Determinados Mapeando Regras. O Algoritmo Gene´tico, Aplicado Sobre Populações De Indivíduos Formados Por Regras, é Introduzido Para Determinar A Melhor Combinação Delas Que Ao Ser Mapeadas Fornecem Um Snfdi Com Uma Boa Capacidade De Generalização. Várias Das Idéias E Procedimentos Desta Metodologia Foram Anteriormente Propostos Por Banerjee Et Al. [bmp98}, Mas, Neste Trabalho, Tentou-se Contornar Algumas Das Suas Limitações, Principalmente, Com As Vantagens Oferecidas Pelo Algoritmo Genético. O Desempenho Da Introdução Da Metodologia No Snfdi Foi Avaliado Na Classificaçao De Vogais De Um Dialeto Indiano, Da Presença Ou Ausência De Diabetes E De Uma Doença Cardíaca.os Resultados Se Mostraram Promissores,pois Além De Se Automizar Em Parte,o Processo De Inicialização,obteve-se Melhoras Na Capacidade De Generalização Para Os Conjuntos De Dados Utilizados. |
| Download |
|
|
| O Método De Distribuição De Cargas. |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
19/03/2007 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Marcelo Henriques de Carvalho
|
| Coorientador(es) |
|
| Orientando(s) |
- Delair Osvaldo Martinelli Junior
|
| Banca |
- Fabio Henrique Viduani Martinez
- Marcelo Henriques de Carvalho
- Orlando Lee
|
| Resumo |
Este Trabalho Apresenta Um Estudo Sobre O Método De Distribuição De Cargas, Procurando Exibir Com Clareza Os Principais Aspectos Desta Técnica.
O Principal Objetivo é Iniciar O Leitor Ao Estudo Deste Método. Este Trabalho Tem Como Propósito Ser Simples E Didático. Apresentamos A Formulação Geral, Alguns Exemplos Bem Simples, Três Problemas Mais Completos E Várias Referências Bibliográficas Relevantes Em Relação Ao Assunto. Mostramos Resultados Obtidos Para O Problema Da 3-coloração De Vértices Relacionado à Conjectura De Steinberg Que Ainda Está Em Aberto, Para O Problema Da Coloração Simultânea De Grafos Imersos E Para O Problema Da Simetria Em Grafos.
Com Exceção Do Problema Da 3-coloração, Os Resultados Apresentados São Os Melhores Possíveis. Para O Problema Da 3-coloração, Os Melhores Resultados Possuem Um Grau De Dificuldade Alto,fugindo Do Escopo Deste Trabalho. |
| Download |
|
|
| Um Ambiente De Animação Dinâmica De Corpos Rígidos. |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
15/12/2006 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
- Leonardo de Lima Oliveira
|
| Banca |
- Esteban Walter Gonzalez Clua
- Marcelo Ferreira Siqueira
- Paulo Aristarco Pagliosa
|
| Resumo |
O Objetivo Geral Deste Trabalho é O Estudo Dos Fundamentos Da Animação Por Computador E O Desenvolvimento Orientado A Objetos De Um Sistema De Animação Procedimental De Cenas 3d Para Visualização De Simulações Dinâmicas Em Aplicações De Ciência E Engenharia. Uma Animação é Especificada Através De Uma Linguagem De Animação, Derivada De Uma Linguagem De Propósito Geral Chamada L, Estendida Com Produções Para Descrição De Roteiros De Animação Baseados Em Scripts E Ações Que Modificam O Estado Dos Objetos No Tempo, Além De Uma Api De Animação. Os Principais Componentes Do Sistema São: Compilador De Linguagem De Animação, Máquina Virtual De Animação, Renderizador, Controlador De Animação, Ligador E Visualizador De Arquivos De Animação, E Um Motor De Física De Corpos Rígidos Denominado Physx, Desenvolvido Pela Ageia Technologies. Os Objetivos Específicos Do Trabalho Estão Divididos Em Duas Etapas. A Primeira é O Estudo Dos Fundamentos Matemáticos E Computacionais Necessários Ao Desenvolvimento Das Classes De Objetos Que Compôs O Sistema. Tal Estudo Inclui Técnicas De Animação E Controle De Movimentos, Teoria De Compiladores, Máquinas Virtuais, Gerência De Memória E Coleta De Lixo, Bibliotecas Nativas E Conceitos Da Mecânica Clássica. A Segunda Etapa Consiste No Desenvolvimento Dos Componentes Do Sistema, Sua Integração Com O Motor De Física, E A Implementação Da Api De Animação. |
| Download |
|
|
| um Framework Para Análise Seqüencial E Em Paralelo De Sólidos Elásticos Pelo Método Dos Elementos Finitos |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
30/11/2006 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Alba Cristina Magalhães Alves de Melo
- Marcelo Ferreira Siqueira
- Paulo Aristarco Pagliosa
|
| Resumo |
Dantas, B.a. Um Framework Para Análise Seqüencial E Em Paralelo De Sólidos Elásticos Pelo Método Dos Elementos Finitos. Campo Grande, 2006. Dissertação (mestrado) -- Universidade Federal De Mato Grosso Do Sul.
O Objetivo Geral Deste Trabalho é O Desenvolvimento De Um Framework Em C++ Para Análise Seqüencial Ou Em Paralelo De Sólidos Elásticos Através Do Método Dos Elementos Finitos (mef). O Mef Baseia-se Na Discretização Do Domínio Do Sólido Sendo Analisado Em Uma Malha De Elementos, O Que Resulta Na Transformação Das Equações Diferenciais Que Regem A Elasticidade Em Sistemas De Equações Lineares Que, Para Problemas Tridimensionais, Podem Conter Milhares De Equações. Uma Vez Que A Montagem E Resolução De Tais Sistemas Podem Ser Computacionalmente Intensivas, Faz Sentido A Busca Por Alternativas Para Tornar A Análise Através Do Mef Mais Eficiente, Destacando-se Entre Elas A Computação Paralela.
A Análise Em Paralelo é Realizada Por P Processadores, Cada Qual Responsável Por Executar Uma Parte Da Análise. Para Tal, O Sólido é Subdividido Em P Partes Ou Subdomínios, Sendo Cada Subdomínio Enviado A Um Processador E Analisado Separadamente. Nesta Etapa, Os Pontos Das Fronteiras Entre Os Subdomínios São Considerados Fixos.
Após A Análise De Cada Subdomínio Em Paralelo, Os Resultados Globais Da Análise Nas Fronteiras Podem Ser Determinados A Partir Da Técnica Da Subestruturação. Os Resultados Internos Em Cada Subdomínio São Então Calculados Em Paralelo A Partir Dos Resultados Nas Fronteiras. Dentre As Alternativas Possíveis Para Decomposição De Domínio, Adotou-se Neste Trabalho Uma Baseada No Particionamento De Um Grafo Cujos Vértices São Os Elementos Finitos Da Malha Decorrente Da
Discretização Do Sólido; As Arestas Conectam Vértices Correspondentes A Elementos Adjacentes Na Malha. Para Particionamento De Grafos Utilizou-se O Pacote Metis, Cujo Código Fonte Foi Encapsulado Em Uma Classe C++ E Anexado Ao Framework. Para Envio De Objetos Entre Os Processadores Durante A Análise, Implementou-se Um Esquema De
Serialização Para Transformar Objetos Em Um Fluxo Contíguo De Bytes E, Inversamente, Transformar Um Fluxo Nos Objetos Que Lhe Deram Origem. Fluxos São Enviados Entre Os Processadores Com Auxílio Da Biblioteca De Comunicação Mpi (message Passing Interface). |
| Download |
|
|
| rede Neural Difusa Com T-normas Diferenciáveis E Interativas. |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
16/11/2006 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
- Fabiano Ricardo de Oliveira
|
| Banca |
- Aldrovando Luís Azeredo Araújo
- Hemerson Pistori
- Maria Bernadete Zanusso
|
| Resumo |
Conjuntos Difusos São Usados Na Representação Deconhecimentos Vagos E Imprecisos. Redes Neurais, Além De Proverem Paralelismo Computacional, Também Possuem Capacidade De Aprendizado. A Combinação Desses Dois Paradigmas é Uma Tentativa De Reunir Os Benefícios De Ambos Em Um Sistema Híbrido Integrado, Tal Como Uma Rede Neural Difusa. T-normas São Funções Que Atuam Como Operadores De Intersecção E União De Conjuntos Difusos. Na Maioria Dos Casos, Redes Neurais Difusas Utilizam As T-normas Do Mínimo E Do Máximo Para Realizarem As Operações De Conjunção E Disjunção, Respectivamente. O Uso De Tais T-normas Impossibilita A Aplicação Direta Do Algoritmo De Treinamento Por Retro-propagação De Erros, Baseado No Cálculo Do Gradiente Descendente, Devido à Inexistência Da Derivada Do Erro Quadrático Médio. Uma Rede Neural, Na Maioria Das Vezes, é Incapaz De Tornar Explícito Seu Raciocínio De Decisão. Existem Vários Algoritmos Para Geração De Regras A Partir De Redes Treinadas. No Entanto, O Volume Das Regras Geradas Por Estes Algoritmos Pode Ser Muito Grande, Dificultando Sua Análise Por Parte Do Usuário. Na Literatura, Foram Apresentadas Várias Medidas De Avaliação E Algoritmos De Pós-processamento, Que Permitem Ao Usuário Focalizar Sua Atenção Nas Regras Que Mais Se Destacam Dentro Do Conjunto Gerado. O Objetivo Principal Deste Projeto é Aplicar T-normas Diferenciáveis E Interativas Para Realizarem As Operações De Conjunção E Disjunção Numa Rede Neural Difusa, Visando A Classificação E Geração De Regras. A Rede Neural Difusa Diferenciável (rndd), Objeto Desta Dissertação, é Completamente Conectada, Com Arquitetura Alimentada Adiante Em Três Camadas: A Camada De Entrada Difusa, A Camada Intermediária (composta Por Neurônios E) E A Camada De Saída (composta Por Neurônios Ou). Utiliza O Algoritmo De Retropropagação Para O Treinamento . Para A Geração De Regras, Será Utilizado O Algoritmo Backtracking. A Metodologia Proposta Foi Avaliada Em Aplicações Sobre O Conjunto De Dados Iris, Vogal E Em Outros Três Conjuntos Aleatoriamente Gerados, Com Resultados Promissores De Treino, Teste E Geração De Regras. Em Testes Sobre O Conjunto Vogal, A Taxa De Acerto Alcançada Foi De 80.3% E O Coeficiente Kappa Calculado Foi De 0.771. A Partir Da Rede Treinada Com Os Dados Iris Evogal, Foram Geradas Regras Difusas Justificando A Decisão Da Rede. Com O Desenvolvimento Do Sistema Proposto, Espera-se Obter Um Método Automático De Aquisição De Conhecimento A Partir De Exemplos De Dados. |
| Download |
|
|