Universidade
Federal do Rio Grande
  • Alto contraste



 

C3 - Artigos Publicados em Periódicos

URI permanente para esta coleçãohttps://rihomolog.furg.br/handle/1/486

Navegar

Filtros

2000 - 200925

Configurações

Autor: search.filters.author.Dimuro, Graçaliz PereiraData final: 2009

Resultados da Pesquisa

Agora exibindo 1 - 10 de 25
  • Imagem de Miniatura
    Item
    ICTM: an interval tessellation-based model for reliable topographic segmentation
    (2004) Aguiar, Marilton Sanchotene de; Dimuro, Graçaliz Pereira; Costa, Antonio Carlos da Rocha
    This work introduces a tessellation-based model for the declivity analysis of geographic regions. The analysis of the relief declivity, which is embedded in the rules of the model, categorizes each tessellation cell, with respect to the whole considered region, according to the (positive, negative, null) sign of the declivity of the cell. Such information is represented in the states assumed by the cells of the model. The overall configuration of such cells allows the division of the region into subregions of cells belonging to a same category, that is, presenting the same declivity sign. In order to control the errors coming from the discretization of the region into tessellation cells, or resulting from numerical computations, interval techniques are used. The implementation of the model is naturally parallel since the analysis is performed on the basis of local rules. An immediate application is in geophysics, where an adequate subdivision of geographic areas into segments presenting similar topographic characteristics is often convenient.
  • Imagem de Miniatura
    Item
    Uma experiência de ensino integrado dos fundamentos matemáticos da ciência da computação
    (2000) Dimuro, Graçaliz Pereira; Costa, Antonio Carlos da Rocha; Rodrigues, Francisco de Paula Marques
    Este trabalho tem por objetivo relatar os resultados preliminares de uma experiência de integração curricular, em andamento na Escola de Informática da UCPel, na área de fundamentos matemáticos da Ciência da Computação. A concepção curricular da experiência está baseada nas idéias de Basil Bernstein sobre currículos de coleção e/ou integração, na idéia de desenvolvimento autônomo do aluno e na organização do ensino em forma semi-presencial (com apoio da Internet) e cooperativa (com apoio de softwares matemáticos).
  • Imagem de Miniatura
    Item
    The stochastic geometric machine model
    (2004) Reiser, Renata Hax Sander; Dimuro, Graçaliz Pereira; Costa, Antonio Carlos da Rocha
    This paper introduces the stochastic version of the Geometric Machine Model for the modelling of sequential, alternative, parallel (synchronous) and nondeterministic computations with stochastic numbers stored in a (possibly infinite) shared memory. The programming language L(D! 1), induced by the Coherence Space of Processes D! 1, can be applied to sequential and parallel products in order to provide recursive definitions for such processes, together with a domain-theoretic semantics of the Stochastic Arithmetic. We analyze both the spacial (ordinal) recursion, related to spacial modelling of the stochastic memory, and the temporal (structural) recursion, given by the inclusion relation modelling partial objects in the ordered structure of process construction.
  • Imagem de Miniatura
    Item
    Systems of exchange values as tools for multi-agent organizations
    (2005) Dimuro, Graçaliz Pereira; Costa, Antonio Carlos da Rocha; Palazzo, Luiz Antônio Moro
    This paper introduces systems of exchange values as tools for the organization of multi-agent systems. Systems of exchange values are defined on the basis of the theory of social exchanges, developed by Piaget and Homans. A model of social organization is proposed, where social relations are construed as social exchanges and exchange values are put into use in the support of the continuity of the performance of social exchanges. The dynamics of social organizations is formulated in terms of the regulation of exchanges of values, so that social equilibrium is connected to the continuity of the interactions. The concept of supervisor of social equilibrium is introduced as a centralized mechanism for solving the problem of the equilibrium of the organization The equilibrium supervisor solves such problem making use of a qualitative Markov Decision Process that uses numerical intervals for the representation of exchange values.
  • Imagem de Miniatura
    Item
    O modelo de máquina geométrica intervalar
    (2003) Reiser, Renata Hax Sander; Costa, Antonio Carlos da Rocha; Dimuro, Graçaliz Pereira
    Mostra-se neste trabalho que a linguagem e a correspondente semântica associada às interpretações obtidas na estrutura ordenada da Máquina Geométrica Intervalar, fundamentada nos espaços coerentes, são ferramentas importantes para construção, desenvolvimento e análise semântica de algoritmos da matemática intervalar, envolvendo paralelismo e não-determinismo, definidos por estruturas matriciais e operando de forma sincronizada.
  • Imagem de Miniatura
    Item
    The stochastic geometric machine model
    (2004) Reiser, Renata Hax Sander; Dimuro, Graçaliz Pereira; Costa, Antonio Carlos da Rocha
    This paper introduces the stochastic version of the Geometric Machine Model for the modelling of sequential, alternative, parallel (synchronous) and nondeterministic computations with stochastic numbers stored in a (possibly infinite) shared memory. The programming language L(D! 1), induced by the Coherence Space of Processes D! 1, can be applied to sequential and parallel products in order to provide recursive definitions for such processes, together with a domain-theoretic semantics of the Stochastic Arithmetic. We analyze both the spacial (ordinal) recursion, related to spacial modelling of the stochastic memory, and the temporal (structural) recursion, given by the inclusion relation modelling partial objects in the ordered structure of process
  • Imagem de Miniatura
    Item
    Power flow with load uncertainty
    (2004) Barboza, Luciano Vitória; Dimuro, Graçaliz Pereira; Reiser, Renata Hax Sander
    This paper presents a methodology to solve load flow problems in which the load data are uncertain due to measurement errors. In order to deal with those uncertainties we apply techniques of Interval Mathematics. The algorithm uses the Interval Newton’s method to solve the nonlinear system of equations generated by the problem. The implementation was performed in theMatlabr environment using the Intlab toolbox. In order to assess the performance of the proposed algorithm, the method was applied to hypothetical electric systems. In this paper, we present results for a three-bus network.
  • Imagem de Miniatura
    Item
    Análise intervalar de circuitos elétricos
    (2006) Grigoletti, Pablo Souza; Dimuro, Graçaliz Pereira; Barboza, Luciano Vitória; Reiser, Renata Hax Sander
    Este trabalho apresenta uma aplicação da Matemática Intervalar à análise de circuitos elétricos, onde consideram-se as incertezas nos dados de entrada devido às tolerâncias existentes nos resistores. Sendo assim, os valores correspondentes às resistências dos resistores são modelados como dados intervalares cujos pontos médios respresentam as resistências nominais e os raios são especificados pelas tolerâncias percentuais dos resistores. O problema é modelado com a utiliza ção da técnica de análise nodal para circuitos elétricos, que gera um sistema de equações lineares intervalares, nas quais as tensões nodais intervalares do circuito são as incógnitas. A metodologia foi implementada na linguagem Python produzindo uma ferramenta denominada Free Interval Circuit Analyser (FINCA). São apresentados resultados para circuitos-teste com algumas topologias, comparando-os com os obtidos através da utilização de um software comercial que executa a análise de circuitos elétricos de forma convencional.
  • Imagem de Miniatura
    Item
    Probabilidades intervalares em modelos ocultos de Markov
    (2006) Santos, André Vinícius dos; Dimuro, Graçaliz Pereira; Barboza, Luciano Vitória; Costa, Antonio Carlos da Rocha; Reiser, Renata Hax Sander; Campos, Marcilia Andrade
    Este trabalho apresenta um estudo sobre modelos ocultos de Markov onde as probabilidades consideradas são representadas por intervalos. Utilizando-se técnicas da Matemática Intervalar, foram desenvolvidos algoritmos intervalares para os problemas relacionados a esses modelos (Problema da Avaliação, Problema da Decodificação e Problema da Estimação de Parâmetros). Apresentam-se versões intervalares para os algoritmos Forward, Backward, Viterbi e Baum Welch. As implementações foram realizadas utilizando-se o toolbox Intlab para a Matemática Intervalar, no ambiente Matlab. Exemplos de aplicações são apresentados, mostrando-se a validade dos algoritmos desenvolvidos.
  • Imagem de Miniatura
    Item
    Interactive computation: stepping stone in the pathway from classical to developmental computation
    (2005) Costa, Antonio Carlos da Rocha; Dimuro, Graçaliz Pereira
    This paper reviews and extends previous work on the domain-theoretic notion of Machine Development. It summarizes the concept of Developmental Computation and shows how Interactive Computation can be understood as a stepping stone in the pathway from Classical to Developmental Computation. A critical appraisal is given of Classical Computation, showing in which ways its shortcomings tend to restrict the possible evolution of real computers, and how Interactive and Developmental Computation overcome such shortcomings. The idea that Developmental Computation is more encompassing than Interactive Computation is stressed. A formal framework for Developmental Computation is sketched, and the current frontier of the work on Developmental Computation is briefly exposed.