A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Metal separation from mixed types of batteries using selective precipitation and liquid-liquid extraction techniques

The purpose of this paper is to study metal separation from a sample composed of a mixture of the main types of spent household batteries, using a hydrometallurgical route, comparing selective precipitation and liquid-liquid extraction separation techniques. The preparation of the solution consisted of: grinding the waste of mixed batteries, reduction and volatile metals elimination using electric furnace and acid leaching. From this solution two different routes were studied: selective precipitation with sodium hydroxide and liquid-liquid extraction using Cyanex 272 [bis(2,4,4-trimethylpentyl) phosphoric acid] as extracting agent. The best results were obtained from liquid-liquid extraction in which Zn had a 99% extraction rate at pH 2.5. More than 95% Fe was extracted at pH 7.0, the same pH at which more than 90% Ce was extracted. About 88% Mn, Cr and Co was extracted at this pH. At pH 3.0, more than 85% Ni was extracted, and at pH 3.5 more than 80% of Cd and La was extracted. (C) 2010 Elsevier Ltd. All rights reserved.

Technological characterization of phosphate ore types from the Salitre Alkaline Complex, MG - Fosfertil Area

The present study was carried out on six different ore types from the Salitre Alkaline Complex aiming to determine their mineralogical composition and the major features that are relevant in the mineral processing. The P(2)O(5) grades vary from 9 to 25%. The slime content (-0, 020 mm) varies between 20 and 34% (w/w) and carries 17-22% of the P(2)O(5) content. The samples essentially consist of apatite, iron oxi-hydroxides, ilmenite, clay minerals, carbonate, quartz, pyroxene, perovskite, secondary phosphates and other minor accessory minerals. Below 0.21 mm, apatite essentially occurs in free particles showing a clean surface or a weak coating of it-on oxi-hydroxides; the highly covered apatite (not recoverable by flotation) varies from 6 to 9%. In the deslimed fraction (above 0.020 mm) more than 97% of the total phosphor content occurs as apatite; the estimated P 2 0 5 potential recovery in flotation concentration is over 90% (71-76% overall recovery).

Thermodynamic information system for diagnosis and prognosis of power plant operation condition

A thermodynamic information system for diagnosis and prognosis of an existing power plant was developed. The system is based on an analytic approach that informs the current thermodynamic condition of all cycle components, as well as the improvement that can be obtained in the cycle performance by the elimination of the discovered anomalies. The effects induced by components anomalies and repairs in other components efficiency, which have proven to be one of the main drawbacks in the diagnosis and prognosis analyses, are taken into consideration owing to the use of performance curves and corrected performance curves together with the thermodynamic data collected from the distributed control system. The approach used to develop the system is explained, the system implementation in a real gas turbine cogeneration combined cycle is described and the results are discussed. (C) 2011 Elsevier Ltd. All rights reserved.

Penetration of hydrolysed soy protein-added brine and its effect on yield and pH of beef steaks from the biceps femoris muscle

This study was aimed to evaluate the penetration behaviour of different brines with tumbled beef steaks from the biceps femoris muscle, specifically their interactions with pH and effects on yield. Six muscles from different animals, divided into origin (OP) and insertion (IP) portions, were cut into 60 steaks of 2.5 cm thickness and tumbled for 30 or 60 min. The steaks were tumbled with two brines, with (WTB/HSP) or without (WTB) hydrolysed soy protein (HSP), and steaks that were not tumbled with brine or water were used as controls. Brine penetration was verified by measuring the amount of dye-containing brine (absorbance at 627 nm) recovered from homogenates of four thin (2 mm) slices from the surface of the beef steaks after tumbling. The WTB/HSP steaks exhibited greater (P < 0.05) brine penetration when tumbled for 60 min than for 30 min. The OP steaks showed greater yield and lower pH (P < 0.05) than IP steaks. HSP-added brine increased the water absorption and retention in the first slices of the steaks, and its efficiency was increased with a longer tumbling time. The portion of the biceps femoris muscle used influenced brine absorption and retention, impacting meat yield. (C) 2010 Elsevier Ltd. All rights reserved.

Occurrence of secretory structures in underground systems of seven Asteraceae species

In contrast with the abundance of anatomical studies of secretory structures on aerial vegetative organs of Asteraceae species, the information about secretory structures on thickened subterranean organs is sparse. The aim of this study was to investigate the occurrence of secretory structures on thickened and nonthickened subterranean organs of seven Asteraceae species from three tribes: Eupatorieae (Chromolaena squalida and Gyptis lanigera), Vernonieae (Chresta sphaerocephala, Lessingianthus bardanoides, L. glabratus and Orthopappus angustifolius), and Plucheeae (Pterocaulon angustifolium). The specimens were collected in areas of cerrado, from the State of Sao Paulo, Brazil. All species of the tribe Vernonieae studied exhibited endodermic cells, other than the epithelial cells of the canal, with secretory activity in the roots. In C. sphaerocephala roots, two types of endodermic cell were found, but only one had secretory activity. Secretory canals were found in the tuberous and nontuberous roots of all studied species. These data agree with the results from the literature for Asteraceae species. Here, we describe for the first time in Asteraceae the presence of secretory idioblasts in C. sphaerocephala. Secretory trichomes are present in the Orthopappus angustifolius rhizophore. Histochemical tests have shown that all types of secretory structure possess substances containing lipids. (C) 2008 The Linnean Society of London.

Underground systems of Asteraceae species from the Brazilian Cerrado

Underground systems of Asteraceac species from the Brazilian Cerrado. The aim or this study was to describe the underground systems structure, the origin of the shoot buds, and to identify the storage reserve of seven Asteraceae species in order to understand the adaptive strategies of these species in burned Cerrado areas and their higher frequency in the floristic Surveys for herbaceous and undershrub layers of this biome. The subterranean systems types-diffuse underground system, rhizophore, tuberous roots, and xylopodium-varied among the studied species, but all of them have high shoot bud-forming potential. Fructans of the inulin type were detected as storage substances. The presence of these characteristics on the underground systems Could explain the frequency of these species in the floristic surveys from the Brazilian Cerrado, in which Fire and seasonal drought are frequent. It is possible that the belowground bud banks in the Cerrado biome are as important as demonstrated in North American prairies where fire is also frequent. However, in the Cerrado, as demonstrated here, there are types of underground systems other than rhizomes that are usually described in the prairie. Understanding the anatomical features of these plants is one of the steps to appropriate conservation management of these species in the Cerrado.

Impacts of land-use pattern on soil water-content variability on the Loess Plateau of China

Long-term vegetation restoration carried out on the slopes of the Loess Plateau of China employed different spatial and temporal land-use patterns but very little is known about the effects of these patterns on soil water-content variability. For this study the small Donggou catchment was selected to investigate soil water-content distributions for three spatial scales, including the entire catchment area, sampling transects, and land-use systems. Gravimetric soil water contents were determined incrementally to a soil depth of 1.20 m, on 10 occasions from April to October, 2007, at approximately 20-day intervals. Results indicated that soil water contents were affected by the six land-use types, resulting in four distinct patterns of vertical distribution of soil moisture (uniform, increasing, decreasing, and fluctuating with soil depth). The soil water content and its variation were also influenced in a complex manner by five land-use patterns distributed along transects following the gradients of five similar slopes. These patterns with contrasting hydrological responses in different components, such as forage land (alfalfa)-cropland-shrubland or shrubland-grassland (bunge needlegrass)-cropland-grassland, showed the highest soil water-content variability. Soil water at the catchment scale exhibited a moderate variability for each measurement date, and the variability of soil water content decreased exponentially with increasing soil water content. The minimum sample size for accurate data for use in a hydrological model for the catchment, for example, required many more samples for drier (69) than for wet (10) conditions. To enhance erosion and runoff control, this study suggested two strategies for land management: (i) to create a mosaic pattern by land-use arrangement that located units with higher infiltration capacities downslope from those with lower soil infiltrabilities; and (ii) raising the soil-infiltration capacity of units within the spatial mosaic pattern where possible.

Life history of Proctolaelaps bulbosus feeding on the coconut mite Aceria guerreronis and other possible food types occurring on coconut fruits

Aceria guerreronis Keifer (Acari: Eriophyidae) is a major pest of coconut fruits (Cocos nucifera L.) in many countries of the Americas, Africa, and parts of Asia. Considerable attention has been given to studies of biological control agents of A. guerreronis. Proctolaelaps bulbosus Moraes, Reis and Gondim Jr. is a predator recently discovered in association with A. guerreronis. Nothing is known about its biology. The aim of this study was to determine suitable food sources for P. bulbosus, among items commonly found on coconut fruits, including A. guerreronis. Food sources evaluated included the mites A. guerreronis, Steneotarsonemus concavuscutum Lofego and Gondim Jr., and Tyrophagus putrescentiae (Schrank), the fungus Rhizopus aff. stolonifer (Ehrenb.) Vuill and coconut pollen; the mite Tetranychus urticae Koch was also included in the assessments, for being a commonly used prey for mass production and laboratory rearing of predatory mites. Proctolaelaps bulbosus was able to develop up to adulthood when fed A. guerreronis, R. aff. stolonifer and T. putrescentiae. It had the highest population growth rates when feeding on the former (R (o) = 17.5; r (m) = 0.392). These results indicate that A. guerreronis is the most suitable food for P. bulbosus among the possible food sources found on coconut fruits and that P. bulbosus can survive in the absence of eriophyid using R. aff. stolonifer as a food source.

Pupal Development of Ceratitis capitata (Diptera: Tephritidae) and Diachasmimorpha longicaudata (Hymenoptera: Braconidae) at Different Moisture Values in Four Soil Types

This study aimed to evaluate adult emergence and duration of the pupal stage of the Mediterranean fruit fly, Ceratitis capitata (Wiedemann), and emergence of the fruit fly parasitoid, Diachasmimorpha longicaudata (Ashmead), under different moisture conditions in four soil types, using soil water matric potential Pupal stage duration in C capitata was influenced differently for males and females In females, only soil type affected pupal stage duration, which was longer in a clay soil In males, pupal stage duration was individually influenced by moisture and soil type, with a reduction in pupal stage duration in a heavy clay soil and in a sandy clay, with longer duration in the clay soil As allude potential decreased, duration of the pupal stage of C capitata males increased, regardless of soil type C capitata emergence was affected by moisture, regardless of soil type, and was higher in drier soils The emergence of D longicaudata adults was individually influenced by soil type and moisture factors, and the number of emerged D longicaudata adults was three times higher in sandy loam and lower in a heavy clay soil Always, the number of emerged adults was higher at higher moisture conditions C capitata and D longicaudata pupal development was affected by moisture and soil type, which may facilitate pest sampling and allow release areas for the parasitoid to be defined under field conditions.

EVALUATION OF FIVE SUGAR CANE PLANTERS

Brazil is the world biggest producer of sugar cane with an area of 7x10(6) hectares. Mainly the system used for planting is the semi-mechanized one, which consists in opening the furrows with a machine, manually allocating the fractioned stalks and then covering the furrows done by the machines. The great amount of human labor used in the semi-mechanized system is becoming harder to find and also more expensive, indicating the need of a fully mechanized operation. Currently in Brazil these agriculture machines industries offers six different types of fully mechanized sugar cane planters (two types of whole stalks for planting and four using mechanized harvested stalks known as billets). All of them plant in two furrows simultaneously in 1.5 m row spacing. This study analyzed five different machines and the following variables: Working Speed (km h(-1)); Effective Capacity (ha h(-1)), Drawbar Force (kgf), Draw Bar Power (in HP), Fuel Consumption (L h(-1)) and Costs (US$ ha(-1)) comparing them with the semi-mechanized system. This research also characterized the stalks for planting as viable gems number (%), non viable gems number (%) and billet length (m). And lastly the mechanized planting system is cheaper than the conventional one and none of the machines has an adequate mechanism for placing the right amount of sugar cane seed.

Fauna of plant-parasitic nematodes in natural and cultivated areas of the Amazon forest, Mato Grosso State, Brazil

The aim of this work was to study the diversity of the fauna of plant-parasitic nematodes in preserved areas of the Amazon forest, Mato Grosso state (MT), and to assess the effect of agricultural land use on plant-parasitic nematode communities. Soil and root samples were collected in each location in the late spring during the rainy season of 2005, in two areas of primary vegetation in Nova Maringa (Northwest) and Guaranta do Norte (North) and two adjacent areas planted with teak trees (Tectona grandis) and pasture (Brachiaria brizantha). Four-teen taxa of plant-parasitic nematodes were identified at species level: Discocriconemella degrissei, D. limitanea, Dolichodorus minor, Helicotylenchus erythrinae, H. pseudorobustus, Meloidogyne exigua, M javanica, Mesocriconema ornata, Paratrichodorus minor, Pratylenchus loosi, P zeae, Rotylenchus caudaphasmidius, Xiphinema ensiculiferum and X luci (for the first report of this in Brazil) and five at genus level (Atalodera sp., Hemicriconemoides sp., Meloidogyne sp., Paratylenchus sp., and Trophotylenchulus sp). These taxa, mainly those from primary vegetation, belong to families with different parasitic behavior, probably due to great plant diversity in the Amazon forest. Comparison between the two preserved areas revealed low index of similarity, as a consequence of the endemic flora in the Amazon forest, and no similarity was observed between preserved native vegetation and adjacent cultivated areas, demonstrating the high influence of agricultural activity on the plant-parasitic nematode communities. There is evidence of recent introduction of plant-parasitic nematodes in these cultivated areas; therefore measures should be taken to prevent the loss of economic sustainability in Amazonian soils. Keywords: abundance, Amazonia, diversity, Brachiaria brizantha, plant-parasitic nematode fauna, Tectona grandis.

Atmospheric Absorption of Fluoride by Cultivated Species. Leaf Structural Changes and Plant Growth

Fluoride (F) is an air pollutant that causes phytotoxicity. Besides the importance of this, losses of agricultural crops in the vicinity of F polluting industries in Brazil have been recently reported. Injuries caused to plant leaf cell structures by excess F are not well characterized. However, this may contribute to understanding the ways in which plant physiological and biochemical processes are altered. A study evaluated the effects of the atmospheric F on leaf characteristics and growth of young trees of sweet orange and coffee exposed to low (0.04 mol L(-1)) or high (0.16 mol L(-1)) doses of HF nebulized in closed chamber for 28 days plus a control treatment not exposed. Gladiolus and ryegrass were used as bioindicators in the experiment to monitor F exposure levels. Fluoride concentration and dry mass of leaves were evaluated. Leaf anatomy was observed under light and electron microscopy. High F concentrations (similar to 180 mg kg(-1)) were found in leaves of plants exposed at the highest dose of HF. Visual symptoms of F toxicity in leaves of citrus and coffee were observed. Analyses of plant tissue provided evidence that F caused degeneration of cell wall and cytoplasm and disorganization of bundle sheath, which were more evident in Gladiolus and coffee. Minor changes were observed for sweet orange and ryegrass. Increase on individual stomatal area was also marked for the Gladiolus and coffee, and which were characterized by occurrence of opened ostioles. The increased F absorption by leaves and changes at the structural and ultrastructural level of leaf tissues correlated with reduced plant growth.

Identification of microsatellites markers associated with yield components and quality parameters in sugarcane

Marker assisted selection depends on the identification of tightly linked association between marker and the trait of interest. In the present work, functional (EST-SSRs) and genomic (gSSRs) microsatellite markers were used to detect putative QTLs for sugarcane yield components (stalk number, diameter and height) and as well as for quality parameters (Brix, Pol and fibre) in plant cane. The mapping population (200 individuals) was derived from a bi-parental cross (IACSP95-3018 x IACSP93-3046) from the IAC Sugarcane Breeding Program. As the map is under construction, single marker trait association analysis based on the likelihood ratio test was undertaken to detect the QTLs. Of the 215 single dose markers evaluated (1:1 and 3:1), 90 (42%) were associated with putative QTLs involving 43 microsatellite primers (18 gSSRs and 25 EST-SSRs). For the yield components, 41 marker/trait associations were found: 20 for height, 6 for diameter and 15 for stalk number. An EST-SSRs marker with homology to non-phototropic hypocotyls 4 (NPH4) protein was associated with a putative QTL with positive effect for diameter as also with a negative effect for stalk number. In relation to the quality parameters, 18 marker trait associations were found for Brix, 19 for Pol, and 12 for fibre. For fibre, 58% of the QTLs detected showed a negative effect on this trait. Some makers associated with QTLs with a negative effect for fibre showed a positive effect for Pol, reflecting the negative correlation generally observed between these traits.

Genetic variability among sugarcane genotypes based on polymorphisms in sucrose metabolism and drought tolerance genes

Target region amplification polymorphism (TRAP) markers were used to estimate the genetic similarity (GS) among 53 sugarcane varieties and five species of the Saccharum complex. Seven fixed primers designed from candidate genes involved in sucrose metabolism and three from those involved in drought response metabolism were used in combination with three arbitrary primers. The clustering of the genotypes for sucrose metabolism and drought response were similar, but the GS based on Jaccard`s coefficient changed. The GS based on polymorphism in sucrose genes estimated in a set of 46 Brazilian varieties, all of which belong to the three Brazilian breeding programs, ranged from 0.52 to 0.9, and that based on drought data ranged from 0.44 to 0.95. The results suggest that genetic variability in the evaluated genes was lower in the sucrose metabolism genes than in the drought response metabolism ones.