Astrha : um ambiente gráfico, dinâmico e interativo para internet baseado em hiper-animações e na teoria dos autômatos

Esta pesquisa, batizada Astrha (Automata Structured Hyper-Animation), tem suas raízes no projeto “Hyper Seed - Framework, Ferramentas e Métodos para Sistemas Hipermídia voltados para EAD via WWW” que possui, entre seus objetivos e metas: (a) o desenvolvimento de uma fundamentação matemática para a unificação, de maneira coerente e matematicamente rigorosa, de especificações de sistemas hipermídia e animações baseadas na Teoria dos Autômatos; (b) a construção e validação de um protótipo de sistema com suporte à criação de conteúdo multimídia e hipermídia com ênfase em educação assistida por computador; (c) a definição e aplicação de estudos de caso. Atender às demandas acadêmicas e construtoras supra citadas, no que se refere à unificação de especificações de sistemas hipermídia e animações baseadas na Teoria dos Autômatos, em nível conceitual, é o objetivo principal do Astrha. Mais especificamente, unificar conceitos das especificações Hyper-Automaton; Hyper- Automaton: Avaliações Interativas; eXtensible Hyper-Automaton (XHA) e Animação Bidimensional para World Wide Web (AGA). Para resolvê-las, propõe uma solução em cinco fases. A primeira constitui-se numa investigação conceitual sobre unificação de ambientes hipermídia com animações por computador, da qual conclui-se que as hiperanimações são uma resposta adequada ao contexto. Em seguida, um autômato finito não-determinístico, reflexivo, com saídas associadas às transições, denominado Astrha/M, é especializado para modelar, formalmente, estruturas hiper-animadas. Na terceira fase, uma linguagem de quarta geração denominada Astrha/L é proposta com a finalidade de proporcionar semântica à ambientes hiper-animados. Construída a partir da metalinguagem XML, é composta de quatro dialetos: (1) Mealy, que traduz o modelo Astrha/M; (2) Environment, que oferece opções de configuração e documentação; (3) Hyper, linguagem hipermídia, de sintaxe simples, que oferece hiperligações estendidas; (4) Style, especificação de estilos em cascata e de caracteres especiais. A quarta fase é a modelagem e construção do protótipo, denominado Astrha/E, através das linguagens UML e Java, respectivamente, com uso de tecnologias de software livre, resultando em um applet interativo, dinâmico, multimídia, que oferece características e propriedades de uma hiper-animação, traduzindo não-determinismos em escolhas pseudo-aleatórias e reflexividades em inoperabilidades aparentes. Por fim, a quinta fase trata de estudos de caso aplicados em educação a distância, em diversas áreas, de onde se conclui sua validade como conceito, modelo e ferramenta para programas educacionais que utilizam a Internet como meio de auxílio ao aprendizado.

Avaliação do crescimento de ocupação da bacia do rio Pitimbu com subsídios para estudos de possíveis impactos sobre os recursos hidricos

The Pitimbu River Watershed (PRW), belonging to Potiguar capital metropolitan area, State of Rio Grande do Norte, contributes, among other purposes, to human using and animal watering. This watershed is extremely important because, besides filling up with freshwater approximately 30% of the south part of Natal (South, East and West Zones), contributes to the river shore ecosystem equilibrium. Face to the current conjuncture, this study aims to evaluate the urban development dynamics in the PRW, applying Cellular Automata as a modeling instrument, and to simulate future urban scenarios, between 2014 and 2033, using the simulation program SLEUTH. In the calibration phase, urban spots for 1 984, 1992, 2004 and 2013 years were used, with resolution from 100 meters. After the simulation, it was found a predominance of organic growth, expanding the BHRP from existing urban centers. The spontaneous growth occurred through the fullest extent of the watershed, however the probability of effective growth should not exceed 21%. It was observed that, there was a 68% increase for the period between 2014 and 2033, corresponding to an expansion area of 1,778 ha. For 2033, the source of Pitimbu River area and the Jiqui Lake surroundings will increase more than 78%. Finally, it was seen an exogenous urban growth tendency in the watershed (outside-in). As a result of this growth, hydraulics resources will become scarcer

A Cellular Automaton Approach to Spatial Electric Load Forecasting

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Controlling dispersal dynamics of Aedes aegypti

The dengue virus is transmitted in regions previously infested with the mosquito Aedes aegypti. To assess the spreading and establishment of the dengue disease vector, a mathematical model is developed that takes into account the diffusion and advection phenomena. A discrete model based on the cellular automata approach, which is a good framework to deal with small populations, is also developed to be compared with the continuous modeling.

ASSESSING THE SUITABILITY of STERILE INSECT TECHNIQUE APPLIED TO AEDES AEGYPTI

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Neighborhood Interactions and Larval Dispersal Behavior in Blowflies

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Explaining the high number of infected people by dengue in Rio de Janeiro in 2008 using a susceptible-infective-recovered model

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Enhanced multiwavelength holographic profilometry by laser mode selection

A method for improving the accuracy of surface shape measurement by multiwavelength holography is presented. In our holographic setup, a Bi12TiO20 photorefractive crystal was the holographic recording medium, and a multimode diode laser emitting in the red region was the light source in a two-wave mixing scheme. on employing such lasers the resulting holographic image appears covered with interference fringes corresponding to the object relief, and the interferogram spatial frequency is proportional to the diode laser's free spectral range (FSR). Our method consists in increasing the effective free spectral range of the laser by positioning a Fabry-Perot etalon at the laser output for mode selection. As larger effective values of the laser FSR were achieved, higher-spatial-frequency interferograms were obtained and therefore more sensitive and accurate measurements were performed. The quantitative evaluation of the interferograms was made through the phase-stepping technique, and the phase map unwrapping was carried out through the cellular-automata method. For a given surface, shape measurements with different interferogram spatial frequencies were performed and compared with respect to measurement noise and visual inspection. (c) 2007 Society of Photo-Optical Instrumentation Engineers.

Combinatorial and geometrical properties of a class of tilings

In this paper, we consider a tiling generated by a Pisot unit number of degree d >= 3 which has a finite expansible property. We compute the states of a finite automaton which recognizes the boundary of the central tile. We also prove in the case d = 3 that the interior of each tile is simply connected.

Multi-wavelength holographic profilometry - art. no. 60272L

A novel method for surface profilometry by holography is presented. We used a diode laser emitting at many wavelengths simultaneously as the light source and a Bi12TiO20 (BTO) crystal as the holographic medium in single exposure processes. The employ of multi-wavelength, large free spectral range (FSR) lasers leads to holographic images covered of interference fringes corresponding to the contour lines of the studied surface. In order to obtain the relief of the studied surface, the fringe analysis was performed by the phase stepping technique (PST) and the phase unwrapping was carried out by the Cellular-automata method. We analysed the relief of a tilted flat metallic bar and a tooth prosthesis.

Enhanced multi-wavelength holographic profilometry by laser mode selection

The application of multi-wavelength holography for surface shape measurement is presented. In our holographic setup a Bi12TiO 20 (BTO) photorefractive crystal was the holographic recording medium and a multimode diode laser emitting in the red region was the light source in a two-wave mixing scheme. The holographic imaging with multimode lasers results in multiple holograms in the BTO. By employing such lasers the resulting holographic image appears covered of interference fringes corresponding to the object relief and the interferogram spatial frequency is proportional to the diode laser free spectral range (FSR). We used a Fabry-Perot étalon at the laser output for laser mode selection. Thus, larger effective values of the laser FSR were achieved, leading to higher-spatial frequency interferograms and therefore to more sensitive and accurate measurements. The quantitative evaluation of the interferograms was performed through the phase stepping technique (PST) and the phase map unwrapping was carried out through the Cellular-Automata method. For a given surface, shape measurements with different interferogram spatial frequencies were performed and compared, concerning measurement noise and visual inspection.

Digital system design process automation using place/transition petri nets

The constant increase in digital systems complexity definitely demands the automation of the corresponding synthesis process. This paper presents a computational environment designed to produce both software and hardware implementations of a system. The tool for code generation has been named ACG8051. As for the hardware synthesis there has been produced a larger environment consisting of four programs, namely: PIPE2TAB, AGPS, TABELA, and TAB2VHDL. ACG8051 and PIPE2TAB use place/transition net descriptions from PIPE as inputs. ACG8051 is aimed at generating assembly code for the 8051 micro-controller. PIPE2TAB produces a tabular version of a Mealy type finite state machine of the system, its output is fed into AGPS that is used for state allocation. The resulting digital system is then input to TABELA, which minimizes control functions and outputs of the digital system. Finally, the output generated by TABELA is fed to TAB2VHDL that produces a VHDL description of the system at the register transfer level. Thus, we present here a set of tools designed to take a high-level description of a digital system, represented by a place/transition net, and produces as output both an assembly code that can be immediately run on an 8051 micro-controller, and a VHDL description that can be used to directly implement the hardware parts either on an FPGA or as an ASIC.

The State, business and the restoration of the neoclassical paradigm

Includes bibliography