A REACHABILITY TREE FOR STATECHARTS AND ANALYSIS OF SOME PROPERTIES

Statecharts are an extension to finite state machines with capability for expressing hierarchical decomposition and parallelism. They also have a mechanism called history, to remember the last visit to a superstate. An algorithm to create a reachability tree for statecharts is presented. Also shown is how to use this tree to analyse dynamic properties of statecharts; reachability from any state configuration, usage of transitions, reinitiability, deadlocks, and valid sequence of events. Owing to its powerful notation, building a reachability tree for statecharts presents some difficulties, and we show how these problems were solved in the tree we propose.

Simulation and analysis of a collisionless optical interconnection network

This article describes the simulation and analysis of collisionless optical interconnection network, which the objective is to achieve a high performance level based on a single protocol control. The optical coupler has one shared control channel and N communication channels. Each network node two communication modules one for packet transmission/reception and another for control channel access. We show by simulation that system achieves a high performance and ensures high scalability.

Identification and analysis of single nucleotide polymorphisms (SNPs) in citrus

Most of the cultivated species of citrus have narrow genetic basis. Relationships among species and cultivars are obscured by sexual compatibility, polyembryony, apomixis and a high incidence of somatic mutations. DNA analysis is crucial in genetic studies not only for citrus breeding programs but also for characterization of hybrids and species. In this paper, single nucleotide polymorphisms ( SNPs) were investigated in 58 accessions of Citrus, hybrids and related genera. Genomic sequences of 'Pera IAC' sweet orange ( Citrus sinensis L. Osbeck) were used for primer design and selection of sequence tagged sites (STSs) for identification of SNPs. Analysis of 36 STSs showed identical sequences among 40 of the 41 sweet orange accessions studied. However, these accessions were heterozygous for many SNPs. Ten selected STSs were analyzed in 17 additional accessions from 13 species and hybrids. Comparing to the 'Pera IAC' sweet orange accession, a total of 150 polymorphic nucleotides were identified and most of the alterations were transitions ( 52.7%). The greatest number of SNPs was observed in Poncirus trifoliata ( L.) Raf. and the smallest in 'Ponkan' mandarin ( Citrus reticulata Blanco). At the intra-specific level, 'Bafa Gigante' ( Citrus sinensis L. Osbeck) was the only sweet orange accession with a divergent SNPs genotype, which corroborates the hypothesis of a hybrid origin for this accession. Although the STSs analyzed represent randomly sampled genomic sequences, they provided consistent information about the level of polymorphism and showed the potential of SNPs markers for characterization and phylogenetic studies.

An image analysis study of pit formation on Ti-6Al-4V

Metallographic techniques and digital image processing have been used to investigate heat-treated Ti-6Al-4V pitting corrosion, often used as aircraft components. LM and SEM metallography of 'as received', annealed (heating up to 800 degreesC/30 min and cooling furnace) and aged (heating up to 900 degreesC/30 min, quenching in water, heating up to 540 degreesC/240 min and again water-quenched) microstructures reveal pitting sites at primary and secondary alpha/beta interfaces. Microstructural arrangements influence and corrosive environment association on pit morphology could be demonstrated by digital image analysis and results statistical treatment. (C) 2002 Elsevier B.V. B.V. All rights reserved.

Processing and mechanical characterization of titanium-graphite hybrid laminates

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

Powder processing and In Vivo evaluation of a titanium porous coating implant

The processing of titanium porous coatings using powder metallurgy technique to achieve a porous structure that allows osseointegration with bone tissue was discussed. The porous microstructure exhibited micropores and interconnected macropores with size ranges that allowed bone ingrowth. The macropores in the coatings were originated from the binder evaporation while the micropore was related with the porous titanium powder and the low compaction pressure used. The in vivo evaluation indicated that osseointegration had occurred between the bone and porous material.

A multiagent architecture for supervisory and control system

Supervising and controlling the many processes involved in petroleum production is both dangerous and complex. Herein, we propose a multiagent supervisory and control system for handle continuous processes like those in chemical and petroleum industries In its architeture, there are agents responsible for managing data production and analysis, and also the production equipments. Fuzzy controllers were used as control agents. The application of a fuzzy control system to managing an off-shore installation for petroleum production onto a submarine separation process is described. © 2008 IEEE.

Income inequality in Latin America: Data challenges and availability from a comparative perspective

Includes bibliography

Mobile application as a tool for urban traffic data collection and generation to advanced traveler information systems using Wi-Fi networks available in urban centers

This paper presents an Advanced Traveler Information System (ATIS) developed on Android platform, which is open source and free. The developed application has as its main objective the free use of a Vehicle-to- Infrastructure (V2I) communication through the wireless network access points available in urban centers. In addition to providing the necessary information for an Intelligent Transportation System (ITS) to a central server, the application also receives the traffic data close to the vehicle. Once obtained this traffic information, the application displays them to the driver in a clear and efficient way, allowing the user to make decisions about his route in real time. The application was tested in a real environment and the results are presented in the article. In conclusion we present the benefits of this application. © 2012 IEEE.

The CELADE data bank. Data available and procedures to obtain tapes and tabulations

El presente documento incluye una lista de los micro-datos existentes en cintas magneticas en el Banco de Datos de CELADE a la vez que explica los procedimientos para la obtencion de los datos y tabulaciones estandarizadas disponibles en el Banco. Como parte del Programa de Informacion en Poblacion para America Latina (INFOPAL) la funcion del Banco es adquirir y hacer disponible para el procesamiento computarizado, micro-datos tales como las muestras de los censos de poblacion de 1960 y 1970 de los paises de la region, estudios comparativos de migracion interna e internacional, de fecundidad y aborto y otros estudios

Information Visualization to support decision making in the context of distance learning: A study with VLE TelEduc

Digital data sets constitute rich sources of information, which can be extracted and evaluated applying computational tools, for example, those ones for Information Visualization. Web-based applications, such as social network environments, forums and virtual environments for Distance Learning, are good examples for such sources. The great amount of data has direct impact on processing and analysis tasks. This paper presents the computational tool Mapper, defined and implemented to use visual representations - maps, graphics and diagrams - for supporting the decision making process by analyzing data stored in Virtual Learning Environment TelEduc-Unesp. © 2012 IEEE.

Evolution and analysis of the planning system and procedures of the Dominican Republic

Includes bibliography

Poverty: description and analysis of policies for overcoming it

Includes bibliography