Computabilidade
Mostrando 1-12 de 78 artigos, teses e dissertações.
-
1. Computabilidade e limites da matemática das teorias físicas: aplicações em sistemas elétricos de potência. / Computability and limits of physical theories mathematics: applications in electric power systems.
Apesar dos modelos usados em engenharia serem, em sua maioria, reconhecidamente aproximados, acredita-se que a matemática usada na física e nos próprios modelos é infinitamente precisa e que tais teorias físicas poderiam prever completamente qualquer evento relacionado às variáveis equacionadas. No limite, seria possível prever o estado do universo e
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/09/2011
-
2. 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
-
3. 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
-
4. 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
-
5. Teorias da Aleatoriedade
Este trabalho apresenta uma revisão bibliográfica sobre a definição de “seqüência aleatória”. Nós enfatizamos a definição de Martin-Löf e a definição baseada em incompressividade (complexidade de Kolmogorov). Complexidade de Kolmogorov é uma teoria sofisticada e profunda da informação e da aleatoriedade baseada na máquina de Turing. Esta
Publicado em: 2010
-
6. 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
-
7. 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
-
8. 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
-
9. 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
-
10. 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
-
11. 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
-
12. 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