Arquitetura multiprocessada e reconfigurável para a síntese de redes de Petri em hardware

Uma arquitetura reconfigurável e multiprocessada para a implementação física de Redes de Petri foi desenvolvida em VHDL e mapeada sobre um FPGA. Convencionalmente, as Redes de Petri são transformadas em uma linguagem de descrição de hardware no nível de transferências entre registradores e um processo de síntese de alto nível é utilizado para gerar as funções booleanas e tabelas de transição de estado para que se possa, finalmente, mapeá-las num FPGA (Morris et al., 2000) (Soto and Pereira, 2001). A arquitetura proposta possui blocos lógicos reconfiguráveis desenvolvidos exclusivamente para a implementação dos lugares e das transições da rede, não sendo necessária a descrição da rede em níveis de abstração intermediários e nem a utilização de um processo de síntese para realizar o mapeamento da rede na arquitetura. A arquitetura permite o mapeamento de modelos de Redes de Petri com diferenciação entre as marcas e associação de tempo no disparo das transições, sendo composta por um arranjo de processadores reconfiguráveis, cada um dos quais representando o comportamento de uma transição da Rede de Petri a ser mapeada e por um sistema de comunicação, implementado por um conjunto de roteadores que são capazes de enviar pacotes de dados de um processador reconfigurável a outro. A arquitetura proposta foi validada num FPGA de 10.570 elementos lógicos com uma topologia que permitiu a implementação de Redes de Petri de até 9 transições e 36 lugares, atingindo uma latência de 15,4ns e uma vazão de até 17,12GB/s com uma freqüência de operação de 64,58MHz.

Development and applications of three-dimensional gamma ray tomography system using ray casting volume rendering techniques

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

UNIFORMLY ACCELERATED FINITE-TIME DETECTORS

The behavior of uniformly accelerated detectors in the Minkowski and Rindler vacua is analyzed when the detector is coupled to a scalar field during a finite amount of time T. We point out that the logarithmic ultraviolet divergences reported in the literature are due to the instantaneous switching of the detector. We explicitly show this by considering a detector switched on and off continuously. The usual Planckian spectrum for the excitation probability is recovered in the limit T --> infinity.

DO INERTIAL ELECTRIC CHARGES RADIATE WITH RESPECT TO UNIFORMLY ACCELERATED OBSERVERS

We revisit the long standing problem of analyzing an inertial electric charge from the point of view of uniformly accelerated observers in the context of semi-classical gravity. We Choose a suitable set of accelerated observers with respect to which there is no photon emission coming from the inertial charge. We discuss this result against previous claims.

UNRUH-DEWITT DETECTORS IN THE PRESENCE OF SCALAR SOURCES

We analyze the response of Unruh-DeWitt detectors in the presence of inertial scalar sources. We show that, in general, a detector responds to the corresponding Coulomb field. However, in some cases, pure vacuum contributions can overwhelm the influence of the Coulomb field rendering the effect of the external source on the detector's response arbitrarily small. We revisit in this context the celebrated question of whether uniformly accelerated observers can see the radiation coming from an inertial charge, and point out the present impediments to answering this question.

Image registration and image interpolation in volume rendering of cross sections

We outline a method for registration of images of cross sections using the concepts of The Generalized Hough Transform (GHT). The approach may be useful in situations where automation should be a concern. To overcome known problems of noise of traditional GHT we have implemented a slight modified version of the basic algorithm. The modification consists of eliminating points of no interest in the process before the application of the accumulation step of the algorithm. This procedure minimizes the amount of accumulation points while reducing the probability of appearing of spurious peaks. Also, we apply image warping techniques to interpolate images among cross sections. This is needed where the distance of samples between sections is too large. Then it is suggested that the step of registration with GHT can help the interpolation automation by simplifying the correspondence between points of images. Some results are shown.

Weak decay of uniformly accelerated protons and related processes

We investigate the weak interaction emission of spin-1/2 fermions from accelerated currents. As particular applications, we analyze the decay of uniformly accelerated protons and neutrons, and the neutrino-antineutrino emission from uniformly accelerated electrons. The possible relevance of our results to astrophysics is also discussed.

Decay of accelerated protons and the existence of the Fulling-Davies-Unruh effect

A theoretic-oriented strategy was taken to address the weak decay of uniformly accelerated protons. The decay of uniformly accelerated p+'s was analyzed using standard quantum field theory (QFT). It was shown that the FDU effect is essential to reproduce the proper decay rate in the uniformly accelerated frame.

Evolvable hardware applied to voice recognition

This paper presents some results of the application on Evolvable Hardware (EHW) in the area of voice recognition. Evolvable Hardware is able to change inner connections, using genetic learning techniques, adapting its own functionality to external condition changing. This technique became feasible by the improvement of the Programmable Logic Devices. Nowadays, it is possible to have, in a single device, the ability to change, on-line and in real-time, part of its own circuit. This work proposes a reconfigurable architecture of a system that is able to receive voice commands to execute special tasks as, to help handicapped persons in their daily home routines. The idea is to collect several voice samples, process them through algorithms based on Mel - Ceptrais theory to obtain their numerical coefficients for each sample, which, compose the universe of search used by genetic algorithm. The voice patterns considered, are limited to seven sustained Portuguese vowel phonemes (a, eh, e, i, oh, o, u).

A petri net based timing model for hardware/software co-design of digital systems

We have recently proposed an extension to Petri nets in order to be able to directly deal with all aspects of embedded digital systems. This extension is meant to be used as an internal model of our co-design environment. After analyzing relevant related work, and presenting a short introduction to our extension as a background material, we describe the details of the timing model we use in our approach, which is mainly based in Merlin's time model. We conclude the paper by discussing an example of its usage. © 2004 IEEE.

Planning accelerated life tests under Exponentiated-Weibull-Arrhenius model

Purpose - The purpose of this paper is to present designs for an accelerated life test (ALT). Design/methodology/approach - Bayesian methods and simulation Monte Carlo Markov Chain (MCMC) methods were used. Findings - In the paper a Bayesian method based on MCMC for ALT under EW distribution (for life time) and Arrhenius models (relating the stress variable and parameters) was proposed. The paper can conclude that it is a reasonable alternative to the classical statistical methods since the implementation of the proposed method is simple, not requiring advanced computational understanding and inferences on the parameters can be made easily. By the predictive density of a future observation, a procedure was developed to plan ALT and also to verify if the conformance fraction of the manufactured process reaches some desired level of quality. This procedure is useful for statistical process control in many industrial applications. Research limitations/implications - The results may be applied in a semiconductor manufacturer. Originality/value - The Exponentiated-Weibull-Arrhenius model has never before been used to plan an ALT. © Emerald Group Publishing Limited.

Visual evaluation of color stability after accelerated aging of pigmented and nonpigmented silicones to be used in facial prostheses

Objectives: The objective of this study was to evaluate by a visual method of comparison the color stability of nonpigmented and pigmented facial silicones after accelerated aging. Materials and Methods: Two kinds of silicones were used in this study; one specifically formulated for facial prostheses and the other an acetic silicone for industrial use. Twenty-four trial bodies were made for each silicone. These were divided into colorless and intrinsically pigmented groups: ceramic, make-up, and iron oxide. The groups were submitted to accelerated aging for nonmetallic materials. An initial reading and subsequent readings were made at 163, 351, 692, and 1000 hours using a visual method of comparison. The values were annotated in a spreadsheet by two observers, according to scores elaborated for this study. Results: All groups presented color stability in the visual method. According to the results obtained and analyzed in this study, we can conclude that both silicones, Silastic 732 RTV and Silastic MDX 4-4210, behaved similarly, they can therefore be indicated for use in maxillofacial prosthesis. The time factor of aging influenced negatively, independently of the pigmentation, or lack of it, and of silicones and no group had visually noticeable alterations in any of the accelerated aging time, independently of the addition or not of pigments.

Evaluation of hardness and colour change of soft liners after accelerated ageing.

INTRODUCTION: Soft liners have been developed to offer comfort to denture wearers. However, this comfort is compromised when there is a change in the properties of the material, causing colour change, solubility, absorption and hardening. These characteristics can compromise the longevity of soft liners. AIM: The aim of this in vitro study was to investigate the effect of ageing on both the hardness and colour change of two soft liners following accelerated ageing. METHODS: Two denture liners, one resin based (Trusoft, Bosworth, Illinois, USA) and one silicone based (Ufi Gel P, Voco GMBH, Cuxhaven, Germany), were tested in this study for both hardness (using the Shore A scale) and colour change (using the CIE L*a*b* colour scale), initially and after 1008 hours (6 weeks) of accelerated ageing. Statistical analysis was performed using the unpaired t-test with the Welch correction. RESULTS: These indicated that both materials increased in hardness and underwent colour change after accelerated ageing. The initial hardness of Trusoft was far lower than that of Ufi Gel P (18.2 Shore A units vs 34.8 Shore A units). However, for Trusoft the changes for both hardness (from 18.2 to 52.1 Shore A units) and colour change (16.85 on the CIE L*a*b* colour scale) were greater than those for Ufi Gel P, for which hardness changed from 34.8 to 36.5 Shore A units and the colour change was 5.19 on the CIE L*a*b* colour scale. CONCLUSIONS: Ufi Gel P underwent less hardness and colour change after accelerated ageing than Trusoft. On the other hand, the use of Trusoft may be preferable in cases where initial softness is a major consideration, such as when relining an immediate denture after implant surgery.

Color stability after accelerated aging of two silicones, pigmented or not, for use in facial prostheses

One of the greatest challenges faced by buccomaxillofacial prosthetists is to reproduce the patient's exact skin color and provide adequate esthetics. To reach this objective, professionals must use materials with easy characterization and that maintain color over long periods of time. The objective of this study was, thus, to evaluate the color stability of two types of silicones, Silastic 732 and Silastic MDX4-4210. Twenty-four test specimens were made from each type of silicone and were divided into a colorless group and groups intrinsically pigmented with ceramics, cosmetics or iron oxide. The specimens were submitted to an accelerated system of aging for non-metallic materials. Readings were carried out initially and after periods corresponding to 163, 351, 692 and 1,000 hours of aging, using a reflection spectrophotometer analysis, and color alterations were calculated by the CIE L*a*b* system. The data were submitted to variance analysis and Tukey's test at a 5% level of probability. The results demonstrated that, irrespective of the period of time analyzed, all the materials underwent some type of chromatic alteration (ΔE > 0). The test specimens made with Silastic 732 and MDX4-4210, without pigmentation, presented the lowest color alteration values after 1,000 hours of aging. Of the pigments, ceramic presented the lowest color alteration values and cosmetic powder presented the highest values. Thus, it may be concluded that the materials without the incorporation of pigments presented similar color alteration values, and did not differ statistically. The cosmetic powder used in this study was the pigment that most altered the color of the test specimens. © 2009 Sociedade Brasileira de Pesquisa Odontológica.