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.

Porous silicon optical cavity structure applied to high sensitivity organic solvent sensor

The present work reports the thermal annealing process, the number of layer and electrochemical process effect in the optical response quality of Bragg and microcavity devices that were applied as organic solvent sensors. These devices have been obtained by using porous silicon (PS) technology. The optical characterization of the Bragg reflector, before annealing, showed a broad photonic band-gap structure with blue shifted and narrowed after annealing process. The electrochemical process used to obtain the PS-based device imposes the limit in the number of layers because of the chemical dissolution effect. The interface roughness minimizations in the devices have been achieved by using the double electrochemical cell setup. The microcavity devices showed to have a good sensibility for organic solvent detection. The thermal annealed device showed better sensibility feature and this result was attributed to passivation of the surface devices. (c) 2007 Elsevier Ltd. All rights reserved.

Large Woody Debris Input and Its Influence on Channel Structure in Agricultural Lands of Southeast Brazil

Riparian forests are important for the structure and functioning of stream ecosystems, providing structural components such as large woody debris (LWD). Changes in these forests will cause modifications in the LWD input to streams, affecting their structure. In order to assess the influence of riparian forests changes in LWD supply, 15 catchments (third and fourth order) with riparian forests at different conservation levels were selected for sampling. In each catchment we quantified the abundance, volume and diameter of LWD in stream channels; the number, area and volume of pools formed by LWD and basal area and tree diameter of riparian forest. We found that riparian forests were at a secondary successional stage with predominantly young trees (diameter at breast height < 10 cm) in all studied streams. Results showed that basal area and diameter of riparian forest differed between the stream groups (forested and non-forested), but tree density did not differ between groups. Differences were also observed in LWD abundance, volume, frequency of LWD pools with subunits and area and volume of LWD pools. LWD diameter, LWD that form pools diameter and frequency of LWD pools without subunits did not differ between stream groups. Regression analyses showed that LWD abundance and volume, and frequency of LWD pools (with and without subunits) were positively related with the proportion of riparian forest. LWD diameter was not correlated to riparian tree diameter. The frequency of LWD pools was correlated to the abundance and volume of LWD, but characteristics of these pools (area and volume) were not correlated to the diameter of LWD that formed the pools. These results show that alterations in riparian forest cause modifications in the LWD abundance and volume in the stream channel, affecting mainly the structural complexity of these ecosystems (reduction in the number and structural characteristics of LWD pools). Our results also demonstrate that riparian forest conservation actions must consider not only its extension, but also successional stage to guarantee the quantity and quality of LWD necessary to enable the structuring of stream channels.

Biogeochemical cycles of nutrients in tropical Eucalyptus plantations Main features shown by intensive monitoring in Congo and Brazil

The sustainability of fast-growing tropical Eucalyptus plantations is of concern in a context of rising fertilizer costs, since large amounts of nutrients are removed with biomass every 6-7 years from highly weathered soils. A better understanding of the dynamics of tree requirements is required to match fertilization regimes to the availability of each nutrient in the soil. The nutrition of Eucalyptus plantations has been intensively investigated and many studies have focused on specific fluxes in the biogeochemical cycles of nutrients. However, studies dealing with complete cycles are scarce for the Tropics. The objective of this paper was to compare these cycles for Eucalyptus plantations in Congo and Brazil, with contrasting climates, soil properties, and management practices. The main features were similar in the two situations. Most nutrient fluxes were driven by crown establishment the two first years after planting and total biomass production thereafter. These forests were characterized by huge nutrient requirements: 155, 10, 52, 55 and 23 kg ha(-1) of N, P, K, Ca and Mg the first year after planting at the Brazilian study site, respectively. High growth rates the first months after planting were essential to take advantage of the large amounts of nutrients released into the soil solutions by organic matter mineralization after harvesting. This study highlighted the predominant role of biological and biochemical cycles over the geochemical cycle of nutrients in tropical Eucalyptus plantations and indicated the prime importance of carefully managing organic matter in these soils. Limited nutrient losses through deep drainage after clear-cutting in the sandy soils of the two study sites showed the remarkable efficiency of Eucalyptus trees in keeping limited nutrient pools within the ecosystem, even after major disturbances. Nutrient input-output budgets suggested that Eucalyptus plantations take advantage of soil fertility inherited from previous land uses and that long-term sustainability will require an increase in the inputs of certain nutrients. (C) 2009 Elsevier B.V. All rights reserved.

MICROORGANISMS IN ORGANIC AND NON ORGANIC HONEY SAMPLES OF AFRICANIZED HONEYBEES

This research was carried out to evaluate and compare 11 organic honey samples and six non organic honey samples, respectively, harvested from islands of the triple frontier (Sao Paulo, Parana and Mato Grosso do Sul states) and from the state of Parana, Brazil. The samples were studied for the presence of coliforms from 35 degrees C, to 45 degrees C and the enumeration of moulds and yeast, a minimum of 1.9 x 10(2) and a maximum of 1.1 x 10(3) CFU/g were observed in organic honey and a minimum of 1.8 x 10(1) and a maximum of 2.5 x 10(2) CFU/g were in non organic honey. In this studied region, the organic honey presented a microbiological quality inferior to the non organic honey.

Volatile organic compounds produced by Saccharomyces cerevisiae inhibit the in vitro development of Guignardia citricarpa, the causal agent of citrus black spot

Due to the low chemical control effectiveness of citrus black spot, caused by the fungus Guignardia citricarpa at postharvest, and to the search for alternative control methods, this study aimed to evaluate the in vitro effect of volatile organic compounds (VOCs), produced by yeast Saccharomyces cerevisiae, on G. citricarpa. It was observed that the yeast strains evaluated acted as antagonists by VOC production, whose maximum inhibitory capacity was as high as 87.2%. The presence of fermentable carbon sources in the medium was essential for the bioactive VOC production by the yeast. The analysis of VOCs produced in PDA medium by SPME-GC-MS indicated the presence of high quantities of alcohols as well as esters. An artificial VOC mixture prepared on the basis of the composition of the VOCs mimicked the inhibitory effects of the natural VOCs released by S. cerevisiae. Thus, the VOCs produced by the yeast or the artificial mixtures can be a promising control method for citrus black spot or others postharvest diseases.

Peach brown rot incidence related to pathogen infection at different stages of fruit development in an organic peach production system

Brown rot, caused by Monilinia fructicola, is the most widespread disease for organic peach production systems in Brazil. The objective of this study was to determine the favorable periods for latent infection by M. fructicola in organic systems. The field experiment was carried out during 2006, 2007 and 2008 using the cultivar Aurora. After thinning fruits were bagged using white paraffin bags, and the treatments were performed by removing the bags and exposing the fruit for four days to the natural infection during each of seven fruit stages from pit hardening to harvest. Throughout the entire growing season, the conidial density and the weather variables were measured and related to the disease incidence using multiple regression analyses. At the fourth day after harvest in each season, the cumulative disease incidence was assessed, and it ranged from 40 to 98%. The incidence of brown rot on fruit that were exposed during the embryo growing stage was lower than that of unbagged fruit throughout the entire season in 2006 and 2008. The relative humidity and the conidia density were significantly correlated to disease incidence. Based on our results, M. fructicola can infect peaches during any stage of fruit development, and control of the disease must be revised to account for organic peach production systems. (C) 2011 Elsevier Ltd. All rights reserved.

Modeling soil organic carbon dynamics in Oxisols of Ibiruba (Brazil) with the Century Model

introduction of conservation practices in degraded agricultural land will generally recuperate soil quality, especially by increasing soil organic matter. This aspect of soil organic C (SOC) dynamics under distinct cropping and management systems can be conveniently analyzed with ecosystem models such as the Century Model. In this study, Century was used to simulate SOC stocks in farm fields of the Ibiruba region of north central Rio Grande do Sul state in Southern Brazil. The region, where soils are predominantly Oxisols, was originally covered with subtropical woodlands and grasslands. SOC dynamics was simulated with a general scenario developed with historical data on soil management and cropping systems beginning with the onset of agriculture in 1900. From 1993 to 2050, two contrasting scenarios based on no-tillage soil management were established: the status quo scenario, with crops and agricultural inputs as currently practiced in the region and the high biomass scenario with increased frequency of corn in the cropping system, resulting in about 80% higher biomass addition to soils. Century simulations were in close agreement with SOC stocks measured in 2005 in the Oxisols with finer texture surface horizon originally under woodlands. However, simulations in the Oxisols with loamy surface horizon under woodlands and in the grassland soils were not as accurate. SOC stock decreased from 44% to 50% in fields originally under woodland and from 20% to 27% in fields under grasslands with the introduction of intensive annual grain crops with intensive tillage and harrowing operations. The adoption of conservation practices in the 1980s led to a stabilization of SOC stocks followed by a partial recovery of native stocks. Simulations to 2050 indicate that maintaining status quo would allow SOC stocks to recover from 81% to 86% of the native stocks under woodland and from 80% to 91 % of the native stocks under grasslands. Adoption of a high biomass scenario would result in stocks from 75% to 95% of the original stocks under woodlands and from 89% to 102% in the grasslands by 2050. These simulations outcomes underline the importance of cropping system yielding higher biomass to further increase SOC content in these Oxisols. This application of the Century Model could reproduce general trends of SOC loss and recovery in the Oxisols of the Ibiruba region. Additional calibration and validation should be conducted before extensive usage of Century as a support tool for soil carbon sequestration projects in this and other regions can be recommended. (C) 2009 Elsevier B.V. All rights reserved.

Pyrolysis-Gas Chromatography/Mass Spectrometry of Soil Organic Matter Extracted from a Brazilian Mangrove and Spanish Salt Marshes

The soil organic matter (SOM) extracted under different vegetation types from a Brazilian mangrove (Pai Matos Island, Sao Paulo State) and from three Spanish salt marshes (Betanzos Ria and Corrubedo Natural Parks, Galicia, and the Albufera Natural Park, Valencia) was investigated by pyrolysis-gas chromatography/mass spectrometry (Py-GC/MS). The chemical variation was larger in SOM from the Spanish marshes than in the SOM of the Brazilian mangroves, possibly because the marshes included sites with both tidal and nontidal variation, whereas the mangrove forest underwent just tidal variation. Thus, plant-derived organic matter was better preserved under permanently anoxic environments. Moreover, given the low number of studied profiles and sedimentary-vegetation sequences in both areas, depth trends remain unclear. The chemical data also allow distinction between the contributions of woody and nonwoody vegetation inputs. Soil organic matter decomposition was found to cause: (i) a decrease in lignin contents and a relative increase in aliphatics; (ii) an increase in short-chain aliphatics at the expense of longer ones; (iii) a loss of odd-over-even dominance in alkanes and alkenes; and (iv) an increase in microbial products, including proteins, sterols, short-chain fatty acids, and alkanes. Pyrolysis-gas chromatography/mass spectrometry is a useful tool to study the behavior and composition of SOM in wetland environments such as mangroves and salt marshes. Additional profiles need to be studied for each vegetation type, however, to improve the interpretability of the chemical data.

Soil Organic Carbon Stocks of Rio Grande do Sul, Brazil

Robust and accurate regional estimates of C storage in soils are currently an important research topic because of ongoing debate about human-induced changes in the terrestrial C cycle. Widely available geoprocessing tools were applied to estimate native soil organic C (SOC) stocks of Rio Grande do Sul state in southern Brazil to a depth of 30 cm from previously sampled soil pedons under undisturbed vegetation. The study used a statewide comprehensive soil survey comprising a small-scale soil map, a climate map, and a soil pedon database. Soil organic C stocks under native vegetation were calculated with two different approaches: the Tier 1 method of the Intergovernmental Panel on Climate Change (IPCC) and a refined method based on actual field measurements derived from soil profile data. Highest SOC stocks occurred in Neossolos Quartzarenico hidromorfico (Aquents), Organossolos Tiomorficos (Hemists), Latossolos Brunos (Udox), and Vertissolos Ebanicos (Uderts) soil classes. Before human use of soils, most C was stored in the Latossolos Vermelhos (Udox) and Neossolos Regoliticos (Orthents), which occupy a large area of Rio Grande do Sul. Generally, IPCC default reference SOC stocks compared well with SOC stocks calculated from soil pedons. The total SOC stock of Rio Grande do Sul was estimated at 1510.3 Tg C (5.8 kg C m(-2)) by the IPPC method and 1597.5 +/- 363.9 Tg C (7.4 +/- 1.9 kg C m(-2)) calculated from soil pedons. The SOC digital map and SOC database developed in this study provide crucial background information for state-level contemporary assessment of C stocks and soil C sequestration programs and initiatives.

Contribution of soil organic carbon to the ion exchange capacity of tropical soils

Highly weathered soils represent about 3 billion ha of the tropical region. Oxisols represent about 60% of the Brazilian territory (more than 5 million km 2), in areas of great agricultural importance. Soil organic carbon (SOC) can be responsible for more than 80% of the cation exchange capacity (CEC) of highly weathered soils, such as Oxisols and Ultisols. The objective of this study was to estimate the contribution of the SOC to the CEC of Brazilian soils from different orders. Surface samples (0.0 to 0.2 m) of 30 uncultivated soils (13 Oxisols, 6 Ultisols, 5 Alfisols, 3 Entisols, I Histosol, 1 Inceptisol. and I Molisol), under native forests and from reforestation sites from Sao Paulo State, Brazil, were collected in order to obtain a large variation of (electro)chemical, physical, and mineralogical soil attributes. Total content of SOC was quantified by titulometric and colorimetric methods. Effective cation exchange capacity (ECEC) was obtained by two methods: the indirect method-summation-estimated the ECECi from the sum of basic cations (Ca+ Mg+ K+ Na) and exchangeable Al; and the direct ECECd obtained by the compulsive exchange method, using unbuffered BaCl2 solution. The contribution of SOC to the soil CEC was estimated by the Bennema statistical method. The amount of SOC var ied from 6.6 g kg(-1) to 213.4 g kg(-1). while clay contents varied from 40 g kg(-1) to 716 g kg(-1). Soil organic carbon contents were strongly associated to the clay contents, suggesting that clay content was the primary variable in controling the variability of SOC contents in the samples. Cation exchange capacity varied from 7.0 mmol(c) kg(-1) to 137.8 mmol(c) kg(-1) and had a positive Correlation with SOC. The mean contribution (per grain) of the SOC (1.64 mmol(c)) for the soil CEC was more than 44 times higher than the contribution of the clay fraction (0.04 mmol(c),). A regression model that considered the SOC content as the only significant variable explained 60% of the variation in the soil total CEC. The importance of SOC was related to soil pedogenetic process, since its contribution to the soil CEC was more evident in Oxisols with predominance of Fe and Al (oxihydr)oxides in the mineral fraction or in Ultisols, that presented illuviated clay. The influence of SOC in the sign and in the magnitude of the net charge of soils reinforce the importance of agricultural management systems that preserve high levels of SOC, in order to improve their sustainability.

Phase diagrams of a CTAB/organic solvent/buffer system applied to extraction of enzymes by reverse micelles

A partial pseudo-ternary phase diagram has been studied for the cethyltrimethylammonium bromide/isooctane:hexanol:butanol/potassium phosphate buffer system, where the two-phase diagram consisting of the reverse micelle phase (L-2) in equilibrium with the solvent is indicated. Based on these diagrams two-phase systems of reverse micelles were prepared with different compositions of the compounds and used for extraction and recovery of two enzymes, and the percentage of enzyme recovery yield monitored. The enzymes glucose-6-phosphate dehydrogenase (G6PD) and xylose redutase (XR) obtained from Candida guilliermondii yeast were used in the extraction procedures. The recovery yield data indicate that micelles having different composition give selective extraction of enzymes. The method can thus be used to optimize enzyme extraction processes. (c) 2007 Elsevier B.V. All rights reserved.

EVALUATION OF THE INFLUENCE OF THE PROTEINIC QUALITY OF THE GENETICALLY MODIFIED AND ORGANIC SOY BEANS IN THE GROWTH OF TWO GENERATIONS OF RATS WISTAR

Feijo, T.S., Cardozo, SX, Daleprane, J.B., Sabaa Srur, A.U.O. & Boaventura, G.T. [Evaluation of the influence of the proteinic quality of the genetically modified and organic soy beans in the growth of two generations of rats Wistar.] Avaliacao da influencia da qualidade proteica da soja geneticamente modificada e organica no crescimento de duas geracoes de ratos Wistar. Revista Brasileira de Medicina Veterinaria, 31(3):139-144, 2009. Programa de Pos-Graduacao em Patologia, Hospital Universitario Antonio Pedro. Centro de Ciencias Medicas, Universidade Federal Fluminense. Rua Marques do Parana, 303, Niteroi, RJ 24030-210, Brasil. E-mail: sergian@ufnj.br Sixty four Wistar rats, male of two consecutive generations determined as F(0) and F(1) were used to study the cumulative effect of two variety soy beans, cultivated with organic seasoning and genetically modified, The animals of each generation were divided into three groups of eight rats each fed on diets consisted of organic soy, soy genetically modified and casein respectively. All the animals received water and the diet ad libitum for period of 28 days. Where the diet consumption and the animals weight were evaluated. After statistic analysis of the results no expressive differences were observed on diet consumption, weight variation, protein efficient ratio and food efficiency ratio on same group of animals in the different generations. On the other hand, significant difference was found on final proteinic retention on animal descendants of the same groups; however of different generations. With this, the supplementation of organic soy with L-cistin provided better avail of this protein in relation to the protein of the soy genetically modified. However, this supplementation did not reveal efficiency in keeping the proteinic employment from one generation to another one, since soy varieties presented better performance on F(0) generation when compared with F(1).

Dissolved organic carbon in rainwater from areas heavily impacted by sugar cane burning

This work reports on rainwater dissolved organic carbon (DOC) from Ribeirao Preto (RP) and Araraquara over a period of 3 years. The economies of these two cities, located in Sao Paulo state (Brazil), are based on agriculture and related industries, and the region is strongly impacted by the burning of sugar cane foliage before harvesting. Highest DOC concentrations were obtained when air masses traversed sugar cane fields burned on the same day as the rain event. Significant increases in the DOC volume weighted means (VWM) during the harvest period, for both sites, and a good linear correlation (r=0.83) between DOC and K (a biomass burning marker) suggest that regional scale organic carbon emissions prevail over long-range transport. The DOC VWMs and standard deviations were 272 +/- 22 mu mol L-1 (n=193) and 338 +/- 40 mu mol L-1 (n=80) for RP and Araraquara, respectively, values which are at least two times higher than those reported for other regions influenced by biomass burning, such as the Amazon. These high DOC levels are discussed in terms of agricultural activities, particularly the large usage of biogenic fuels in Brazil, as well as the analytical method used in this work, which includes volatile organic carbon when reporting DOC values. Taking into account rainfall volume, estimated annual rainwater DOC fluxes for RP (4.8 g C m(-2) yr(-1)) and Araraquara (5.4 g C m(-2) yr(-1)) were close to that previously found for the Amazon region (4.8 g C m(-2) yr(-1)). This work also discusses whether previous calculations of the global rainwater carbon flux may have been underestimated, since they did not consider large inputs from biomass combustion sources, and suffered from a possible analytical bias. (c) 2008 Elsevier Ltd. All rights reserved.

The use of electrospray ionization tandem mass spectrometry on the structural characterization of novel asymmetric metallo-organic supermolecules, based on pentafluorophenylporphyrins and ruthenium complexes

The novel asymmetric metallo-organic triads cis- and trans-[B(4-py)BPFPH(2){Ru(3)O(Ac)(6)(py)(2)}(Ru(bpy)(2)Cl}](PF(6))(2) (5a,b) for which cis- and trans-B(4-py)BPFPH(2)=5,10-bis(pentafluorophenyl)-15,20-bis(4-pyridyl)porphyrin and 5,15-bis(pentafluorophenyl)-10,20-bis(4-pyridyl)porphyrin, respectively; Ac = acetate; py = pyridine and bpy = 2,2`-bipyridine, as well as their corresponding monosubstituted dyads cis- and trans-[B(4-py)BPFPH(2){Ru(3)O(Ac)(6)(py)(2)}]PF(6) (4a,b) have been structurally characterized via electrospray ionization mass spectrometry (ESI-MS and ESI-MS/MS). The ESI-MS of dyads 4a,b display two characteristic Ru-multicomponent clusters of isotopologue ions corresponding to singly charged ions 4a,b(+) of m/z 1629 and doubly charged ions [4a,b+H](2+) of m/z 815 and the triads 5a,b are detected by ESI-MS as the intact doubly charged cluster of isotopologue ions of m/z 1039 [5a,b](2+). The ESI-MS/MS of 4a,b(+), [4a,b+H](2+) and [5a,b](2+) reveal characteristic dissociation pathways, which confirm the structural assignments providing additional information on the intrinsic binding strengths of the gaseous ions. Although the gas-phase behavior of each pair of isomers was rather similar, the less symmetric dyads 4a,b are distinguished via the (1)H NMR spectral profile of the pyrrolic signals. Exploratory photophysical assays have shown that both modifying motifs alter the porphyrinic core emission profile, opening the possibility to use these asymmetric systems as photophysical devices. (C) 2008 Elsevier Ltd. All rights reserved.