1 |
Estudos sobre Modelos de Otimização Matemática utilizando Funções com Parâmetros IntervalaresSilveira, Thiago Parente, 92-99179-0624 27 April 2017 (has links)
Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-08-23T17:50:16Z
No. of bitstreams: 2
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
Dissertação - Thiago Parente da Silveira.pdf: 728877 bytes, checksum: f3a74deb9bbce31a562b09aa7eae3210 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-08-23T17:50:33Z (GMT) No. of bitstreams: 2
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
Dissertação - Thiago Parente da Silveira.pdf: 728877 bytes, checksum: f3a74deb9bbce31a562b09aa7eae3210 (MD5) / Made available in DSpace on 2017-08-23T17:50:33Z (GMT). No. of bitstreams: 2
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
Dissertação - Thiago Parente da Silveira.pdf: 728877 bytes, checksum: f3a74deb9bbce31a562b09aa7eae3210 (MD5)
Previous issue date: 2017-04-27 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this work a study on Interval Optimization was carried out, assuming that the value of
the Objective Function is an interval. For this, a theoretical development is followed to
provide spatial space with a partially ordered vector space structure. Some Theorems and
Corollary, are essential for the understanding of the main results, were addressed. For a
solution solution of an interval optimization problem are presented through a multiobjective
auxiliary problem, where a variable value function is defined in a parametric form. At the
end of the work we present a characterization for the direction of the descent of an object
with interval coefficients, being the problem of optimization unrestricted and, in addition, a
generic algorithm based on directional search for this problem is also presented. / Nesse trabalho realizou-se um estudo sobre Otimização Intervalar, assumindo que o valor da
Função Objetivo é um intervalo. Para tal, seguiu-se um desenvolvimento teórico para munir
o espaço intervalar com uma estrutura de espaço vetorial parcialmente ordenado. Alguns
Teoremas e Corolários, considerados essenciais à compreensão dos principais resultados,
foram abordados. Condições para a existência de solução de um problema de otimização
intervalar são apresentadas através de um problema auxiliar multiobjetivo, onde a função de
valor intervalar é definida sob a forma paramétrica. Ao final do trabalho apresenta-se uma
caracterização para direção de descida cuja função objetivo possui coeficientes intervalares,
sendo o problema de otimização irrestrito e, além disso, apresenta-se também um algoritmo
genérico baseado em busca direcional para esse problema.
|
2 |
Uma aplicação da linguagem Java à computação cientificaVARJÃO, Thiago Fabiano Silva 30 August 2013 (has links)
Submitted by João Arthur Martins (joao.arthur@ufpe.br) on 2015-03-12T17:26:20Z
No. of bitstreams: 2
Dissertacao Thiago Varjao.pdf: 1253062 bytes, checksum: 2f617e0f9c6d1b7386384337d729200a (MD5)
license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Approved for entry into archive by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-13T13:24:30Z (GMT) No. of bitstreams: 2
Dissertacao Thiago Varjao.pdf: 1253062 bytes, checksum: 2f617e0f9c6d1b7386384337d729200a (MD5)
license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-13T13:24:30Z (GMT). No. of bitstreams: 2
Dissertacao Thiago Varjao.pdf: 1253062 bytes, checksum: 2f617e0f9c6d1b7386384337d729200a (MD5)
license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
Previous issue date: 2013-08-30 / No mundo do desenvolvimento de software, Java representa um marco. Concebida na
década de 90, alcançou enorme popularidade desde o início de sua utilização. Apresentada
inicialmente como uma linguagem que trabalhava em sites para internet, o que não era
possível na época, seu amadurecimento levou a criação de muitas implementações,
permitindo-lhe, hoje, ser encontrada, além das páginas da internet, em desktops, celulares
e diversos outros dispositivos, provendo grande segurança, sendo utilizada em grandes
bancos e empresas que necessitam de estabilidade e portabilidade, para trafegar grande
quantidade de dados.
Apesar de toda influência da linguagem Java, baseada em seu poder e aplicabilidade,
ela não costuma ser usada na computação científica por ter os típicos problemas computacionais
acentuados pela forte tipagem de seus tipos primitivos, comprometendo sua
aplicação na matemática computacional, mesmo em experimentos feitos, na implementação
de bibliotecas intervalares que usam esses tipos primitivos.
Este trabalho apresenta a extensão de uma biblioteca, fundamentada na matemática intervalar
e aritmética de exatidão máxima, na linguagem Java. Além das funções potência,
raiz quadrada, exponencial, logarítmica e trigonométricas, a nova versão da biblioteca
foi incrementada com cálculo de probabilidades para as variáveis aleatórias Uniforme,
Exponencial e Pareto. Por fim, foi desenvolvida uma proposta de benchmark para comparação
de tecnologias aplicadas à matemática intervalar no qual foram confrontados os
desempenhos da extensão aqui proposta com uma biblioteca intervalar em Python.
|
3 |
Modelos de regressão para dados simbólicos de natureza intervalarde Andrade Lima Neto, Eufrasio 31 January 2008 (has links)
Made available in DSpace on 2014-06-12T15:49:15Z (GMT). No. of bitstreams: 1
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2008 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O processo de descoberta de conhecimento tem por objetivo a extração de
informações úteis (conhecimento) em bases de dados. As ferramentas utilizadas
para execução do processo de extração de conhecimento são genéricas
e derivadas de diferentes áreas de conhecimento tais como da estatística,
aprendizagem de máquina e banco de dados. Dentre as técnicas estatísticas,
os modelos de regressão procuram classificar ou prever o comportamento de
uma variável dependente (resposta) a partir das informações provenientes de
um conjunto de variáveis independentes (explicativas). A análise de dados
simbólicos (SDA) (Bock & Diday 2000) tem sido introduzida como uma novo
domínio relacionado à análise multivariada, reconhecimento de padrões e inteligência
artificial com o objetivo de estender os métodos estatísticos e de
análise exploratória de dados para dados simbólicos. O objetivo deste trabalho
é propor métodos de regressão linear e não-linear para dados simbólicos
que apresentem uma performance de predição superior ao método proposto
por Billard & Diday (2000), no caso de variáveis simbólicas tipo intervalo
|
4 |
ISPN: Modelagem e avaliação estocástica intervalarMário Lins Galdino, Sérgio 31 January 2009 (has links)
Made available in DSpace on 2014-06-12T15:50:11Z (GMT). No. of bitstreams: 2
arquivo1930_1.pdf: 1742136 bytes, checksum: 9293c4cc8bc9198633a8db952346915b (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2009 / O estudo de sistemas através de modelos é baseado em abstrações do mundo real. Portanto, os
cálculos resultantes devem ser interpretados com cautela. Quando incertezas ou variabilidades
estão associadas com os parâmetros do sistema, a caracterização pontual dos parâmetros pode
ser inadequada. As incertezas podem estar associadas a parâmetros que não são conhecidos
antecipadamente, especialmente em estágios iniciais de projetos de sistemas. Um dos objetivos
deste trabalho é a concepção do formalismo ISPN para análise quantitativa desses sistemas.
Para alcançar este objetivo, desenvolveu-se a fundamentação teórica ISPN e foram adaptados
algoritmos apropriados para análise dos modelos. A análise intervalar foi usada como método
de análise do estado estacionário dos modelos ISPN, nos quais as taxas das transições exponenciais
e os pesos das transições imediatas são intervalos. A ISPN é aplicada principalmente para
modelar as situações em que os dados de entrada estão num determinado nível da exatidão.
As incertezas das taxas são especificadas através de intervalos. Este ambiente de modelagem
fornece uma maneira para formalizar e estudar os problemas relacionados à presença das incertezas.
Tais incertezas incluem os erros dos dados que ocorrem durante os processos de
medida e os erros de arredondamento gerados durante cálculos. O modelo proposto e o método
de análise relacionado permitem que a análise de desempenho seja realizada, considerando
variações simultâneas nos parâmetros. Os métodos intervalares foram aplicados na estimativa
exterior do conjunto solução para sistemas de equações lineares intervalares resolvidas pela
aritmética intervalar clássica e pela aritmética de Kaucher dentro do ambiente do MATLAB
toolbox INTLAB. Usamos ISPN como uma ferramenta de alto nível para modelagem e análise.
O poder de modelagem ISPN foi avaliado em diversos estudos de caso apresentados
|
5 |
Uma biblioteca intervalar baseada em processamento de stringsLEITE, Ivan Oliveira Bernardo January 2007 (has links)
Made available in DSpace on 2014-06-12T15:51:48Z (GMT). No. of bitstreams: 1
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2007 / Java é uma linguagem multiplataforma amplamente utilizada nos dias atuais.
Sistemas cliente-servidor, aplicações embarcadas e desktop são desenvolvidos a
partir da facilidade que Java oferece. A comunidade que utiliza Java cria suas
próprias bibliotecas e as disponibiliza na Web para que todos possam compartilhar de
suas facilidades. Bibliotecas para criar servidores HTTP, processar imagens, conectar
banco de dados fazem parte do núcleo da linguagem.
O objetivo deste trabalho é desenvolver uma biblioteca em Java para
representar um novo sistema numérico que utiliza a matemática intervalar e a
aritmética de exatidão máxima. As operações aritméticas são realizadas através de
processamento de Strings.
As principais conclusões deste trabalho foram: (i) a representação de números
racionais processados através de strings permite que se trabalhe com precisão e
exatidão superiores à Java-XSC e o Maple Intervalar, sendo o custo desta exatidão
refletido no tempo das operações; (ii) para qualquer uma das operações, repetidas
1000 vezes, seu tempo total de processamento é menor do que 1 segundo
|
6 |
Uma calculadora intervelar em JavaSérgio Ribeiro Bezerra, Edmo January 2006 (has links)
Made available in DSpace on 2014-06-12T15:59:30Z (GMT). No. of bitstreams: 2
arquivo5132_1.pdf: 1120699 bytes, checksum: d826be5393b747d7f2d6eec4b73a8ba4 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2006 / Uma abordagem para controlar os erros de resultados de computações numéricas é
utilizar a Matemática Intervalar. A Matemática Intervalar é uma teoria matemática
que propõe solucionar problemas relacionados às inexatidões e imprecisões que
aparecem na computação científica. Dessa maneira, a utilização de técnicas
intervalares é uma alternativa para alcançar limites garantidos para os resultados de
computações. Portanto, este trabalho tem como objetivos (i) implementar uma
biblioteca XSC para suprir as necessidades de Java relacionadas com a
implementa;ao dos números reais através dos números de ponto flutuante e (ii)
desenvolver uma calculadora intervalar que resume e permite o uso das operações
aritméticas, lógicas, transcendentais, trigonométricas e estatísticas que compõe a
biblioteca intervalar Java. As facilidades da linguagem Java, entre elas reuso e
aspectos de herança, permitiram o desenvolvimento modular e robusto da biblioteca
intervalar. Quando comparados como o software IntpakX, os resultados obtidos com
a calculadora Java-XSC foram satisfatórios considerando a métrica distância
|
7 |
Probabilidades autovalidáveis para as variáveis aleatórias exponencial, normal e uniformeSANTOS, Maria das Graças dos 31 January 2010 (has links)
Made available in DSpace on 2014-06-12T18:27:59Z (GMT). No. of bitstreams: 2
arquivo2992_1.pdf: 1862327 bytes, checksum: 80ef0b17798043fbc8ec6c2372a15db2 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2010 / No estudo das variáveis aleatórias contínuas um dos problemas é o cálculo de probabilidades,
visto que é necessário resolver uma integral definida da função densidade que, na
maioria das vezes, não possui primitiva explícita ou cuja primitiva não é simples de obter.
Embora integrais de funções densidade de probabilidade como a exponencial e a uniforme
sejam resolvidas analiticamente seu valor numérico no computador é dado por aproximação,
e portanto afetado por erros de arredondamento ou truncamento. Outras funções densidade
como a normal ou gama, por exemplo, não possuem primitivas na forma analítica, sendo
necessário o uso de integração numérica onde erros de arredondamentos e truncamentos são
propagados devido às operações aritméticas no computador.
O objetivo desta tese é utilizar a Matemática Intervalar e a Aritmética de Exatidão Máxima
para calcular intervalos encapsuladores, ou probabilidades autovalidáveis ou probabilidades
encapsuladas ou ainda probabilidades intervalares para as variáveis Exponencial, Normal
Padrão e Uniforme. No caso da Exponencial e Normal Padrão, o método proposto usou
Simpson Intervalar. A Uniforme, devido ao fato de ter derivada de ordem quatro nula, teve
uma forma diferente de encapsular probabilidades. A metodologia aqui proposta foi implementada
no IntLab. Resultados numéricos ilustraram os teóricos. Adicionalmente, são
mostrados como cálculos autovalidáveis podem ser usados em probabilidade condicional e
independência
|
8 |
Em dire??o a uma representa??o para equa??es alg?bricas :uma l?gica equacional localSantos, Jos? Medeiros dos 17 July 2001 (has links)
Made available in DSpace on 2014-12-17T15:47:50Z (GMT). No. of bitstreams: 1
JoseMS.pdf: 1057927 bytes, checksum: 2fb0b885cdff7c8f9e8f9d1d07d2627f (MD5)
Previous issue date: 2001-07-17 / The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Aci?ly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees
that, when deducing a local Σ-equation E t
t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the
group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras / A aritm?tica intervalar conhecida como aritm?tica de Moore, n?o possui as mesmas propriedades dos n?meros reais, e por este motivo, defrontase com um problema de natureza operat?ria, quando se deseja resolver equa??es intervalares como extens?o de equa??es reais atrav?s da igualdade usual e da aritm?tica intervalar, por esta n?o possuir o inverso aditivo, como tamb?m, a propriedade da distributividade da multiplica??o pela soma n?o ser v?lida para qualquer terno de intervalos. A falta dessas propriedades impossibilita a utiliza??o da l?gica equacional, tanto para a resolu??o de uma equa??o intervalar usando a mesma, como para uma representa??o de uma equa??o real, e ainda, para a verifica??o alg?brica de propriedades de um sistema computacional, cujos dados sejam n?meros reais representados atrav?s de intervalos. Entretanto, com a no??o de ordem de informa??o e de aproxima??o sobre intervalos, introduzida por Aci?ly[6] em 1991, surge a id?ia de uma equa??o intervalar representar satisfatoriamente uma equa??o real, j? que os termos da equa??o intervalar carregam a informa??o sobre a solu??o da equa??o real. Em 1999, Santiago prop?s a no??o de igualdade simples e, posteriormente, igualdade local para intervalos [8] e [33]. Baseado nessa id?ia, esta disserta??o estende os conjuntos locais de Santiago para ?lgebras locais, seguindo a id?ia de Σ-?lgebras contidas em (Hennessy[31], 1988) e (Santiago[7], 1995). Uma das contribui??es desta disserta??o ? o teorema 5.1.3.2 que garante que, ao se deduzir uma Σ-equa??o local ⊢ E t t no sistema SDedLoc(E) proposto, as interpreta??es de t e t ser?o localmente iguais em qualquer Σ-?lgebra local que satisfa?a o conjunto de equa??es locais E fixado, sempre que t e t tiverem significado em A. Isto garante um tipo de seguran?a entre a l?gica equacional local e as ?lgebras locais
|
9 |
Análise e aplicações em redes de Petri temporais : uma abordagem via álgebra intervalarLima, Evangivaldo Almeida 10 2011 (has links)
O objetivo dessa tese é formalizar a análise das redes de Petri temporais usando a álgebra intervalar como ferramental matemático. A álgebra intervalar é tradicionalmente usada na solução de problemas relacionados com imprecisão. Por sua vez, as redes de Petri temporais se caracterizam, por definição, por possuir um intervalo temporal que delimita os períodos mínimos e máximos de sensibilização das transições. Em consequência, a imprecisão quanto a data de disparo das transições ´e denotada por um intervalo. Assim, neste trabalho, a dinâmica dos intervalos de disparos ao longo da evolução da rede é modelada por uma equação linear intervalar, que possibilita o cálculo de intervalos de tempo de ocorrências de transições sem que seja necessário explorar, completa ou parcialmente, o espaço de estados. Essa mesma equação pode ser usada para tratar do problema inverso: identificar sequências de disparos de transições que permitam alcançar uma determinada marcação respeitando uma janela temporal pré-definida. Este problema foi denominado de alcançabilidade temporal. Ao longo
do desenvolvimento dessa abordagem, outros importantes resultados foram obtidos, tais como: método enumerativo usando tempo global para análise via alcançabilidade da rede, métodos de redução baseados em aproximações intervalares, redução do espaço de estados, e uma alternativa para construção do grafo de estados com domínios relativos e intervalos de disparos com tempo absoluto. A abordagem desenvolvida foi aplicada a diferentes problemas a fim de calcular grandezas como: tempos máximo e mínimo entre a ocorrência de duas transições, validação de sequências de disparos, tempos de ciclos, entre outras. / The objective of this thesis is to establish formal conditions for time Petri nets analysis by interval algebra. The interval algebra is traditionally used as a mathematical tool in the solution of problems related to uncertainty. In fact time Petri nets are characterized by presenting an uncertainty at the moment of its transitions firing. This imprecision is denoted by a firing interval. Thus, in this work the dynamics of the firing intervals throughout the evolution of the net is represented by a linear interval equation, which makes possible the calculation of transition firing intervals without generating the whole space of states to be explored, completely or partially. Also, this interval equation is used to solve a kind of inverse problem to the previous one. That is, given a time specification for a time Petri net to evalue from a state to another one any to compute the possibilities of firings between these two states, in case that it exists. Throughout the development of the approach, other important results have been obtained, such as: reduction methods for time Petri nets baseds interval approximation, reduction of the state space, and an alternative for the construction of the state graph with relative and absolute times. The developed approach was applied to different problems to compute metrics such as: maximum and minimum time separation ocurrence of two transition, the scheduling validation of firing sequence, times of cycles, among others.
|
10 |
Análise e aplicações em redes de Petri temporais : uma abordagem via álgebra intervalarLima, Evangivaldo Almeida 10 2011 (has links)
O objetivo dessa tese é formalizar a análise das redes de Petri temporais usando a álgebra intervalar como ferramental matemático. A álgebra intervalar é tradicionalmente usada na solução de problemas relacionados com imprecisão. Por sua vez, as redes de Petri temporais se caracterizam, por definição, por possuir um intervalo temporal que delimita os períodos mínimos e máximos de sensibilização das transições. Em consequência, a imprecisão quanto a data de disparo das transições ´e denotada por um intervalo. Assim, neste trabalho, a dinâmica dos intervalos de disparos ao longo da evolução da rede é modelada por uma equação linear intervalar, que possibilita o cálculo de intervalos de tempo de ocorrências de transições sem que seja necessário explorar, completa ou parcialmente, o espaço de estados. Essa mesma equação pode ser usada para tratar do problema inverso: identificar sequências de disparos de transições que permitam alcançar uma determinada marcação respeitando uma janela temporal pré-definida. Este problema foi denominado de alcançabilidade temporal. Ao longo
do desenvolvimento dessa abordagem, outros importantes resultados foram obtidos, tais como: método enumerativo usando tempo global para análise via alcançabilidade da rede, métodos de redução baseados em aproximações intervalares, redução do espaço de estados, e uma alternativa para construção do grafo de estados com domínios relativos e intervalos de disparos com tempo absoluto. A abordagem desenvolvida foi aplicada a diferentes problemas a fim de calcular grandezas como: tempos máximo e mínimo entre a ocorrência de duas transições, validação de sequências de disparos, tempos de ciclos, entre outras. / The objective of this thesis is to establish formal conditions for time Petri nets analysis by interval algebra. The interval algebra is traditionally used as a mathematical tool in the solution of problems related to uncertainty. In fact time Petri nets are characterized by presenting an uncertainty at the moment of its transitions firing. This imprecision is denoted by a firing interval. Thus, in this work the dynamics of the firing intervals throughout the evolution of the net is represented by a linear interval equation, which makes possible the calculation of transition firing intervals without generating the whole space of states to be explored, completely or partially. Also, this interval equation is used to solve a kind of inverse problem to the previous one. That is, given a time specification for a time Petri net to evalue from a state to another one any to compute the possibilities of firings between these two states, in case that it exists. Throughout the development of the approach, other important results have been obtained, such as: reduction methods for time Petri nets baseds interval approximation, reduction of the state space, and an alternative for the construction of the state graph with relative and absolute times. The developed approach was applied to different problems to compute metrics such as: maximum and minimum time separation ocurrence of two transition, the scheduling validation of firing sequence, times of cycles, among others.
|
Page generated in 0.0779 seconds