Caríssimos,

mais um seminário do LoLITA.

Regivan

---------------------

*Análise Intervalar Clássica e Modal*
Liliane Ribeiro (Doutoranda PPgSC)
Local: Sala de Reuniões do DIMAp
Data: 06/07/2011 09:00hs

*Resumo*
Técnicas baseadas em análise intervalar estão se tornando importantes
ferramentas em diversas
áreas.  Modelos matemáticos são normalmente obtidos experimentalmente,
sendo apenas uma estimativa do sistema, ou seja, o mesmo geralmente contém
incertezas em sua descrição. Desta forma, é interessante utilizar não apenas
valor estimados para os
parâmetros do modelo, mas parametrizar também incertezas, levando em conta
possíveis erros de
medidas nos valores dos parâmetros. Os parâmetros do sistema, ao invés de
valores fixos, passam
a ser representados por intervalos reais, nos quais, garantidamente,
estariam contidos os parâmetros
desconhecidos.

A idéia básica da matemática intervalar é que intervalos clássicos são o
contexto consistente para computação
numérica. Contudo, este contexto intervalar apresenta estrutura básica e
rigidez semântica devido ao seu
fundamento em conjuntos. Para corrigir esta situação, na análise intervalar
modal definem-se intervalos a
partir da identificação dos números reais com os conjuntos de predicados que
os intervalos aceitam ou rejeitam.
Um intervalo modal é definido como um par formado por um intervalo clássico
(isto é, um conjunto de números)
e um quantificador, de forma análoga a reta real em que números reais são
associados em pares, tendo o mesmo
valor absoluto, mas sinais opostos.
-- 
******************************************************************************
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679
Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
******************************************************************************
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Responder a