Computabilidade E Modelos De Computacao
Mostrando 1-12 de 69 artigos, teses e dissertações.
-
1. Análise numérica de novos métodos de elementos finitos estabilizados e enriquecidos aplicados à modelos de reação-difusão elíptico e parabólico / Numerical analysis of new enriched and stabilized finite element methods applied for elliptic and pParabolic reaction-diffusion models
Quatro novos métodos de elementos finitos destinados a resolução de problemas de reacao-difusao singularmente perturbados, e designados por método de Galerkin enriquecido (MGE), metodo estabilizado multiescala (MEMp) e (MEM-g), e método enriquecido de Petrov-Galerkin descontinuo no tempo (MEPGDT), são propostos. Os três primeiros métodos são dedicad
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/07/2010
-
2. O MÉTODO PALAS (MCDA-C) NO LEVANTAMENTO DOS REQUISITOS CONSTRUTIVOS DE UM SOFTWARE DE CONTROLE DE UMA BIBLIOTECA DE DOCUMENTAÇÃO HISTÓRICA / METHOD PALAS (MCDA-C) IN THE SURVEY REQUIREMENTS CONSTRUCTION OF A SOFTWARE AUTOMATION CONTROL OF A LIBRARY HISTORICAL DOCUMENTS
Este trabalho se propõe a utilizar o Método PALAS, informado pela Metodologia Multicritério de Apoio à Decisão Construtivista - MCDA-C, aplicado á Eng de Requisitos, para avaliar os requisitos utilizados no desenvolvimento de um sistema de controle de documentação de uma biblioteca de gestão de documentos históricos. Este processo auxilia os deciso
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/04/2010
-
3. Aplicação de modelos de Markov ocultos na obtenção de taxas de mortalidade das larvas do mosquito da Dengue
In order to prevent the proliferation of Dengue transmitter - scientifically named as Aedes ae- gypti - and therefore decrease human contamination by such insect, many larvaecides have been developed recently. Researchers from Dom Bosco Catholic University evaluate the efectiveness of vegetal-derived substances capable to combat such animal larvae. Death rat
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/02/2010
-
4. Locally Perturbative Multiscale Methods for Ionic Solute Transport in Clayly Soils / Modelos Multi-escala Localmente Perturbativos para o Transporte de Solutos Iônicos em Meios Porosos Argilosos
Este trabalho objetiva o desenvolvimento de modelos computacionais capazes de construir simulações numéricas mais realistas e menos custosas computacionalmente para o problema de descontaminação de solos argilosos por técnicas de eletrocinética. Resultados inovadores são obtidos aprimorando-se os modelos multi-escala desenvolvidos anteriormente por L
Publicado em: 2010
-
5. Método de Elementos Finitos Enriquecidos para uma Classe de Problemas Elípticos Não Lineares com Coeficientes Altamente Oscilatórios
Fenômenos em materiais heterogêneos conduzem ao estudo de problemas em equações diferenciais parciais com coeficientes altamente oscilatórios. O tratamento numérico mediante o uso dos métodos tradicionais exige um alto custo computacional ou é inviável. No presente trabalho pretendemos estender o método residual free bubbles com o intuito de gerar
Publicado em: 2010
-
6. Algoritmos genéticos assistidos por metamodelos baseados em similaridade / Genetic algorithms assisted by similarity-based metamodels
Vários problemas de interesse em Ciência e Engenharia são formulados como problemas de otimização. A complexidade dos problemas modernos tem levado ao desenvolvimento de modelos matemáticos de complexidade crescente, resultando em modelos de simulação computacionalmente custosos. Algoritmos Genéticos (AG), inspirados na Teoria de Evolução por sele
Publicado em: 2010
-
7. Análise,Simulações e Aplicações Algorítmicas de Caminhadas Quânticas / Analysis,Simulations and Algorithmic Applications of Quantum Walks
Quantum computing is a model of computation based on the laws of quantum mechanics, which can be used to develop faster algorithms. The development of efficient quantum algorithms, however, is a highly challenging task. A recent successful approach is the use of quantum walks. In this work, we have studied the quantum walk on the hypercube, obtaining the exa
Publicado em: 2010
-
8. Métodos não lineares descontínuos submalha para a equação de convecção-difusão-reação
Neste trabalho três novas formulações de Galekin descontínuo são desenvolvidas utilizando a estrutura submalha de duas escalas para resolver as equações de convecção-difusão-reação. A primeira, inspirada no método NSGS (Nonlinear Subgrid Stabilization) introduz um termo não-linear de viscosidade submalha agindo apenas nas escalas menores da mal
Publicado em: 2010
-
9. Metabolic Network Comparison of Bacteria in the Context of Symbiosis / Análise Comparativa de Redes Metabólicas de Bactérias no Contexto da Simbiose
Simbiose é a associação permanente entre dois ou mais organismos de espécies distintas, pelo menos durante uma parte do ciclo de vida. Existe uma grande diversidade de casos de simbiose, os quais são frequentemente classificados de acordo com os benefícios ou deficits no valor adaptativo do hospedeiro, i.e., mutualismo, comensalismo ou parasitismo. Out
Publicado em: 2010
-
10. Um modelo de duas escalas da resposta elétrica de tecido muscular induzida por ativação de mastócitos / 2-Scales modelling electrical response from muscular tissue induced by mast cells activation.
O estudo dos mecanismos que desencadeiam as reações alérgicas é um tema de grande interesse científico na atualidade. A anafilaxia, reação alérgica sistêmica severa, tem ocupado um lugar de destaque nas pesquisas. Diferentes experimentos em laboratório, tanto in vivo quanto in vitro, assim como diferentes modelos matemáticos baseados nos resultado
Publicado em: 2010
-
11. Identificação e Análise de Sequências Codificantes com Atributos Conflitantes em Genomas Procariotos / Analysis and Identification of Prokaryotic Coding Sequences With Conflicting Atributes
The advent of new sequencing technologies and the development of computational tools that facilitate the analysis of genomes, generated the exponential growth of genome databases. New approaches in-silico of the comparative genomics use such data in its comparisons. Nevertheless, recent work on the genome of Escherichia coli indicate that the current state o
Publicado em: 2010
-
12. Uso de sistemas tutores inteligentes na compreensão de leitura / Intelligent tutoring systems in reading comprehension
Os estudantes universitários brasileiros apresentaram baixos índices de leitura no Exame Nacional de Desempenho (ENADE) em 2006. O ENADE mostrou que o hábito de ler é pouco cultivado entre os universitários. O pouco interesse pela leitura é justificado pelo fato de que maioria dos estudantes são trabalhadores matriculados em cursos noturnos, com pouco
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/11/2009