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.

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.

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

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

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

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

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

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

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.

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.