C3 - Artigos Publicados em Periódicos
URI permanente para esta coleçãohttps://rihomolog.furg.br/handle/1/486
Navegar
34 resultados
Resultados da Pesquisa
- ItemHand skill programming: using fuzzy sets to program topobo kinectis memory devices(IEEE, 2011) Santin, Mateus Madail; Botelho, Silvia Silva da Costa; Dimuro, Graçaliz Pereira; Rodrigues, Celso Luiz LopesUnlike other sciences such as Mathematics and Biology, for example, computation is presented to students at a later learning stage. Even though they are able to establish sets of procedures, it is alleged that in their first years of elementary school, children do not yet present cognitive structures capable of representing symbolically, through existing computer programming languages, the algorithms associated with such procedures. Within this context, there has appeared recently a robotic kit named Topobo, capable of capturing manual movements carried out in their blocks. This article presents th first result associated with the use of Topobo as a language of manual programming. The study will lead to a decompiler able to furnish, with its control flux and its structure of adequate data, the program which results from the manual manipulation of the system by the child. In a more precise form, this work anticipates the utilization of fuzzy concepts for the representation of knowledge generated from the registers of manual programming of the Topobo elements. The utilization of the fuzzy formalism will allow a qualitative and diffuse description of the knowledge, in a manner very similar to the “intuitive” and “little precise” way which human beings handle information (mainly children),leading to an adequate structure and representation of the data which are being manipulated. In addition to the formalism adopted, the article presents a 3D interface which will be helpful in the performance of the experiments. In possession of the decompiled programs, we intend to evaluate the structure of data and control fluxes which will emerge in order to identify the mental structures utilized in the construction of algorithms through manual programming by children.
- ItemICTM: an interval tessellation-based model for reliable topographic segmentation(2004) Aguiar, Marilton Sanchotene de; Dimuro, Graçaliz Pereira; Costa, Antonio Carlos da RochaThis 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.
- ItemUma 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 MarquesEste 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).
- ItemThe stochastic geometric machine model(2004) Reiser, Renata Hax Sander; Dimuro, Graçaliz Pereira; Costa, Antonio Carlos da RochaThis 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.
- ItemSystems of exchange values as tools for multi-agent organizations(2005) Dimuro, Graçaliz Pereira; Costa, Antonio Carlos da Rocha; Palazzo, Luiz Antônio MoroThis 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.
- ItemO modelo de máquina geométrica intervalar(2003) Reiser, Renata Hax Sander; Costa, Antonio Carlos da Rocha; Dimuro, Graçaliz PereiraMostra-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.
- ItemThe stochastic geometric machine model(2004) Reiser, Renata Hax Sander; Dimuro, Graçaliz Pereira; Costa, Antonio Carlos da RochaThis 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
- ItemPower flow with load uncertainty(2004) Barboza, Luciano Vitória; Dimuro, Graçaliz Pereira; Reiser, Renata Hax SanderThis 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.
- ItemAnálise intervalar de circuitos elétricos(2006) Grigoletti, Pablo Souza; Dimuro, Graçaliz Pereira; Barboza, Luciano Vitória; Reiser, Renata Hax SanderEste 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.
- ItemProbabilidades 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 AndradeEste 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.