Matematica Modelo De Construaao
Mostrando 1-7 de 7 artigos, teses e dissertações.
-
1. Desenvolvimento de Modelo de Qualidade da Ãgua em Rios com Vistas a AvaliaÃÃo Custo-Efetividade do Enquadramento dos Corpos de Ãgua / Development of Water Quality Model in Rivers with Hit Assessment of Cost-Effectiveness Guidelines for Water Bodies
O lanÃamento de efluentes em rios à um grande problema a ser estudado, pois existe a necessidade de que os corpos hÃdricos possuam padrÃes de qualidade correspondentes aos seus respectivos usos. A modelagem da qualidade da Ãgua surge como uma forte ferramenta para auxiliar no gerenciamento dos recursos hÃdricos, pois atravÃs dela à possÃvel determin
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/01/2011
-
2. Abstraction of infinite and communicating CSPZ processes
Esta tese trata de um problema muito comum em verificaÃÃo formal: explosÃo de estados. O problema desabilita a verificaÃÃo automÃtica de propriedades atravÃs da verificaÃÃo de modelos. Isto à superado pelo uso de abstraÃÃo de dados, em que o espaÃo de estados de umsistema à reduzido usandoumprincÃpio simples: descartando detalhes de tal forma
Publicado em: 2009
-
3. Objeto de aprendizagem como ferramenta de modelagem computacional exploratÃria aplicada ao ensino de fÃsica / Learning object as a modeling tool applied to exploratory computational physics education
Pesquisas em InformÃtica Educativa demonstram novas possibilidades no desenvolvimento e na aprendizagem de conceitos fÃsicos mediados por ambientes computacionais. Recursos como a simulaÃÃo e a animaÃÃo interativa permitem aos alunos uma melhor construÃÃo de conceitos e novas formas de representaÃÃo mental do modelo fÃsico explorado. Dentre os amb
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 02/10/2008
-
4. Aspectos clÃssicos de gravitaÃÃo topolÃgica e dimensÃes extras. / Classical Aspects of Topological Gravity and Extra Dimensions
Nesta tese abordamos alguns aspectos relacionados com teorias de Gravidade. Essencialmente existem duas partes principais neste trabalho: 1) mecanismos de localizaÃÃo de campos em membranas e 2) nova interpretaÃÃo para a teoria de gravitaÃÃo. No que concerne aos mecanismos de localizaÃÃo de campos em membranas dois assuntos sÃo colocados: a constru�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 11/02/2008
-
5. Uma proposta de metodologia de apoio ao planejamento estratÃgico das ForÃas Armadas baseado em capacidades.
O presente trabalho propÃe uma metodologia de apoio ao planejamento estratÃgico das ForÃas Armadas com respeito Ãs competÃncias que devem adquirir no longo prazo para serem capazes de enfrentar potenciais desafios relacionados ao seu papel para a Defesa Nacional. Com vistas à efetiva aplicabilidade prÃtica, a metodologia alinha-se à concepÃÃo bÃsi
Publicado em: 2006
-
6. TransferÃncia de calibraÃÃo de instrumentos para anÃlise espectromÃtrica empregando seleÃÃo de variÃveis, reamostragem e combinaÃÃo de modelos.
A espectroscopia no infravermelho tem se mostrado uma ferramenta de valia para o monitoramento da qualidade de combustÃveis. Contudo, tal tÃcnica requer a calibraÃÃo de modelos empÃricos para relacionar medidas espectrais com parÃmetros fÃsico-quÃmicos de interesse. Neste trabalho propÃe-se um mÃtodo que permite explorar um conjunto de dados jà ad
Publicado em: 2006
-
7. Modelos escondidos de Markov para classificaÃÃo de proteÃnas
A Biologia Molecular apresenta-se como uma Ãrea da Biologia bastante fÃrtil em aplicaÃÃes de tÃcnicas computacionais. A estrutura das molÃculas de Ãcidos nuclÃicos e proteÃnas, composta de partÃculas alinhadas ao longo de uma cadeia, permite-lhes serem tratadas computacionalmente como seqÃÃncias de sÃmbolos de um alfabeto finito. O estudo das si
Publicado em: 2002