Generic construction of monitors for floating point unit designs

This paper proposes a set of well defined steps to design functional verification monitors intended to verify Floating Point Units (FPU) described in HDL. The first step consists on defining the input and output domain coverage. Next, the corner cases are defined. Finally, an already verified reference model is used in order to test the correctness of the Device Under Verification (DUV). As a case study a monitor for an IEEE754-2008 compliant design is implemented. This monitor is built to be easily instantiated into verification frameworks such as OVM. Two different designs were verified reaching complete input coverage and successful compliant results.

A Floating-point Extended Kalman Filter Implementation for Autonomous Mobile Robots

Localization and Mapping are two of the most important capabilities for autonomous mobile robots and have been receiving considerable attention from the scientific computing community over the last 10 years. One of the most efficient methods to address these problems is based on the use of the Extended Kalman Filter (EKF). The EKF simultaneously estimates a model of the environment (map) and the position of the robot based on odometric and exteroceptive sensor information. As this algorithm demands a considerable amount of computation, it is usually executed on high end PCs coupled to the robot. In this work we present an FPGA-based architecture for the EKF algorithm that is capable of processing two-dimensional maps containing up to 1.8 k features at real time (14 Hz), a three-fold improvement over a Pentium M 1.6 GHz, and a 13-fold improvement over an ARM920T 200 MHz. The proposed architecture also consumes only 1.3% of the Pentium and 12.3% of the ARM energy per feature.

Chromium ions phytoaccumulation by three floating aquatic macrophytes from a nutrient medium

In the present work, the trivalent and hexavalent chromium phytoaccumulation by three living free floating aquatic macrophytes Salvinia auriculata, Pistia stratiotes, and Eicchornia crassipes was investigated in greenhouse. These plants were grown in hydroponic solutions supplied with non-toxic Cr3+ and Cr6+ chromium concentrations, performing six collections of nutrient media and plants in time from a batch system. The total chromium concentrations into Cr-doped hydroponic media and dry roots and aerial parts were assayed, by using the Synchrotron radiation X-ray fluorescence technique. The aquatic plant-based chromium removal data were described by using a nonstructural kinetic model, obtaining different bioaccumulation rate, ranging from 0.015 to 0.837 1 mg(-1) d(-1). The Cr3+ removal efficiency was about 90%, 50%, and 90% for the E. crassipes, P. stratiotes, and S. auriculata, respectively; while it was rather different for Cr6+ one, with values about 50%, 70%, and 90% for the E. crassipes, P. stratiotes, and S. auriculata.

The trasition from fixed to floating exchange rate regimes: the case of Brazil

This dissertation evaluates macroeconomic management in Brazil from 1994 to the present, with particular focus on exchange rate policy. It points out that while Brazil's Real Plan succeeded in halting the hyperinflation that had reached more than 2000 percent in 1993, it also caused significant real appreciation of the exchange rate situation that was only made worse by the extremely high interest rates and ensuing bout of severe financial crises in the intemational arena. By the end of 1998, the accumulation of internai and externai imbalances led the authorities to drop foreign exchange controls and allow the currency to float. In spite of some initial scepticism, the flexible rate regime cum inflation target proved to work well. Inflation was kept under control; the current account position improved significantly, real interest rates fell and GDP growth resumed. Thus, while great challenges still lie ahead, the recent successes bestow some optimism on the well functioning of this exchange rate regime. The Brazilian case suggests that successful transition from one foreign exchange system to another, particularly during financial crisis, does not depend only on one variable be it fiscal or monetary. In reality, it depends on whole set of co-ordinated policies aimed at resuming price stability with as little exchange rate and output volatility as possible.

Utilization of macrophyte biofilter in effluent from aquaculture: I. Floating plant

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

Preliminary results of a floating subirrigation system (Aquaforest system) as an alternative to conventional tree nurseries

A new methodology for tree seedling production (Aquaforest system) based on a continuous floating subirrigation system was developed and tested using creeks with different nutrient levels. Eucalyptus grandis seedlings were produced in water from polluted and clean creeks, and compared to conventional tree nursery production. The growth variables analyzed in the seedling phase were: survival, height, diameter, shoot and root dry weight, leaf area, and root/shoot ratio. Water and substrate were analyzed, as well as leaf nutritional status. Plant survival was 100% in all treatments. Height and diameter were greater in the higher nutrient water treatment. Leaf area and dry weight of plants produced in the higher nutrient water treatment were similar to those of the control. The results showed that polluted water can represent a good nutrient source. The preliminary results show that the Aquaforest system can be a viable alternative for tree seedling production. (C) 2004 Elsevier B.V. All rights reserved.

Growth of free-floating aquatic macrophytes in different concentrations of nutrients

The objective of the study was to evaluate the effect of different concentrations of nitrogen and phosphorus on the growth of the free-floating aquatic macrophytes Eichhornia crassipes, Pistia stratiotes, and Salvinia molesta. The plants were cultured in 2,000-l outdoor concrete tanks. Triplicate tanks, with a continuous flow of effluent from culture ponds containing Nile tilapia, were used for each plant type (n = 3). The plant material was collected monthly from 0.25 m(2) floating quadrats, at the two ends of the tanks (higher nutrient concentrations near the inflow and lower nutrient concentrations near the outflow). In low nutrient concentrations, the maximum relative growth rates (RGRs) for E. crassipes (0.016/day) and P. stratiotes (0.016/day) were significantly lower (P <= 0.05) than for S. molesta (0.029/day). There were no significant differences between the RGRs of S. molesta in the different nutrient concentrations. Eichhornia crassipes and P. stratiotes had their growth limited by nitrogen and phosphorus concentrations. The increase in plant density during the experiment probably also affected the growth of these species. In this context, E. crassipes and P. stratiotes can cause problems in nutrient-rich waterbodies, but under these experimental conditions their growth was limited by nitrogen and/or phosphorus concentrations. The growth of S. molesta was not influenced by the different nutrient concentrations.

Effect of floating macrophyte cover on the water quality in fishpond

A study was conducted during 23 days in order to evaluate the impact of floating aquatic macrophyte on the water quality of a fishpond. Water samples were collected in four points, three inside the pond and one in water inlet. Drastic reduction of dissolved oxygen was observed in the pond, down to 0.87 mg/L. No significant differences (P > 0.05) were observed for total CO 2, nitrite and ammonia with respect to inlet water (P1) and inside the pond (P2, P3 e P4). Chlorophyll a displayed an inverse relationship with phosphorus. Among nitrogen compounds, ammonia presented the highest concentrations except in water inlet where nitrate was higher, 513.33 μg/l, as well as the highest conductivity values. The pH was slightly acid. The results obtained showed that the macrophyte cover promoted an adverse effect in the medium. Under control, aquatic plants might impact positively due to its capacity to reduce total phosphorus and nitrate in the water column as observed in this study.

Production and evaluation of lettuce seedlings and plants in hydroponic floating system

The investigation was conducted under greenhouse conditions at UNESP, Brazil, to evaluate the effects of the commercial substrates Plantmax and Sunshine and its mixtures with charred rice hulls, and the effects of floating and conventional seedling production systems in lettuce cultivation. The experiment was a randomized block experimental design, in 4 x 4 factorial treatment arrangement with two replications. Seedlings produced in the floating system were more precocious in relation to the conventional system. From transplant to harvest, the seedling production systems had similar mean time of production.

A novel automated alternating current biosusceptometry method to characterization of controlled-release magnetic floating tablets of metronidazole

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

Imazapyr herbicide efficacy on floating macrophyte control and ecotoxicology for non-target organisms

the aims of this study were to determine imazapyr efficacy for floating macrophyte control and ecotoxicology for non-target organisms. For the floating macrophyte control efficacy tests were used the doses of 0,5; 1,0; 2,0; 2,5; 3,0; 3,5 and 4,0 L ha(-1) and a control with 10 replicates. The acute toxicology for non-target organisms was estimated by lethal concentration 50% (LC50 and EC50). The floating macrophyte control efficacy was over 90%. Imazapyr was classified as moderately toxic for the following biomarkers: L. minor, H. eques, B. rerio, P. caudimaculatus, P. canaliculata, and P. mesopotamicus and lightly toxic for A. caroliniana. Thus, imazapyr herbicide is a tool with great potential to be used on floating macrophyte control (E. crassipes, P. stratiotes e S. molesta) in Brazil and this practice can be evaluated by the use of application biomarkers.

Treatment efficiency of effluent prawn culture by wetland with floating aquatic macrophytes arranged in series

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

A novel gastroretentive floating system for zidovudine, based on calcium-silicate beads

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