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.

MODELING THE UNVOICED COMPONENT IN THE CANONICAL REPRESENTATION OF SPEECH

The canonical representation of speech constitutes a perfect reconstruction (PR) analysis-synthesis system. Its parameters are the autoregressive (AR) model coefficients, the pitch period and the voiced and unvoiced components of the excitation represented as transform coefficients. Each set of parameters may be operated on independently. A time-frequency unvoiced excitation (TFUNEX) model is proposed that has high time resolution and selective frequency resolution. Improved time-frequency fit is obtained by using for antialiasing cancellation the clustering of pitch-synchronous transform tracks defined in the modulation transform domain. The TFUNEX model delivers high-quality speech while compressing the unvoiced excitation representation about 13 times over its raw transform coefficient representation for wideband speech.

Postural control during kneeling

Postural control was studied when the subject was kneeling with erect trunk in a quiet posture and compared to that obtained during quiet standing. The analysis was based on the center of pressure motion in the sagittal plane (CPx), both in the time and in the frequency domains. One could assume that postural control during kneeling would be poorer than in standing because it is a less natural posture. This could cause a higher CPx variability. The power spectral density (PSD) of the CPx obtained from the experimental data in the kneeling position (KN) showed a significant decrease at frequencies below 0.3 Hz compared to upright (UP) (P < 0.01), which indicates less sway in KN. Conversely, there was an increase in fast postural oscillations (above 0.7 Hz) during KN compared to UP (P < 0.05). The root mean square (RMS) of the CPx was higher for UP (P < 0.01) while the mean velocity (MV) was higher during KN (P < 0.05). Lack of vision had a significant effect on the PSD and the parameters estimated from the CPx in both positions. We also sought to verify whether the changes in the PSD of the CPx found between the UP and KN positions were exclusively due to biomechanical factors (e.g., lowered center of gravity), or also reflected changes in the neural processes involved in the control of balance. To reach this goal, besides the experimental approach, a simple feedback model (a PID neural system, with added neural noise and controlling an inverted pendulum) was used to simulate postural sway in both conditions (in KN the pendulum was shortened, the mass and the moment of inertia were decreased). A parameter optimization method was used to fit the CPx power spectrum given by the model to that obtained experimentally. The results indicated that the changed anthropometric parameters in KN would indeed cause a large decrease in the power spectrum at low frequencies. However, the model fitting also showed that there were considerable changes also in the neural subsystem when the subject went from standing to kneeling. There was a lowering of the proportional and derivative gains and an increase in the neural noise power. Additional increases in the neural noise power were found also when the subject closed his eyes.

Thin titanium oxide films deposited by e-beam evaporation with additional rapid thermal oxidation and annealing for ISFET applications

Titanium oxide (TiO(2)) has been extensively applied in the medical area due to its proved biocompatibility with human cells [1]. This work presents the characterization of titanium oxide thin films as a potential dielectric to be applied in ion sensitive field-effect transistors. The films were obtained by rapid thermal oxidation and annealing (at 300, 600, 960 and 1200 degrees C) of thin titanium films of different thicknesses (5 nm, 10 nm and 20 nm) deposited by e-beam evaporation on silicon wafers. These films were analyzed as-deposited and after annealing in forming gas for 25 min by Ellipsometry, Fourier Transform Infrared Spectroscopy (FTIR), Raman Spectroscopy (RAMAN), Atomic Force Microscopy (AFM), Rutherford Backscattering Spectroscopy (RBS) and Ti-K edge X-ray Absorption Near Edge Structure (XANES). Thin film thickness, roughness, surface grain sizes, refractive indexes and oxygen concentration depend on the oxidation and annealing temperature. Structural characterization showed mainly presence of the crystalline rutile phase, however, other oxides such Ti(2)O(3), an interfacial SiO(2) layer between the dielectric and the substrate and the anatase crystalline phase of TiO(2) films were also identified. Electrical characteristics were obtained by means of I-V and C-V measured curves of Al/Si/TiO(x)/Al capacitors. These curves showed that the films had high dielectric constants between 12 and 33, interface charge density of about 10(10)/cm(2) and leakage current density between 1 and 10(-4) A/cm(2). Field-effect transistors were fabricated in order to analyze I(D) x V(DS) and log I(D) x Bias curves. Early voltage value of -1629 V, R(OUT) value of 215 M Omega and slope of 100 mV/dec were determined for the 20 nm TiO(x) film thermally treated at 960 degrees C. (C) 2009 Elsevier B.V. All rights reserved.

Structural and physicochemical characterization of RS prepared using hydrolysis and heat treatments of chickpea starch

The aim of this study was to evaluate the production and the structural and physicochemical properties of RS obtained by molecular mass reduction (enzyme or acid) and hydrothermal treatment of chickpea starch. Native and gelatinized starch were submitted to acid (2 M HCl for 2.5 h) or enzymatic hydrolysis (pullulanase, 40 U/g per 10 h), autoclaved (121 degrees C/30 min), stored under refrigeration (4 degrees C/24 h), and lyophilized. The hydrolysis of starch increased the RS content from 16% to values between 20 and 32%, and the enzymatic treatment of the gelatinized starch was the most efficient. RS showed an increase in water absorption and water solubility indexes due to hydrolytic and thermal process. The processes for obtaining RS changed the crystallinity pattern from C to B. Hydrolysis treatments caused an increase in relative crystallinity due to the greater retrogradation caused by the reduction in MW. RS obtained from hydrolysis showed a reduction in viscosity, indicating the rupture of molecules. The viscosity seemed to be inversely proportional to the RS content in the sample.

A Brazilian registry of juvenile dermatomyositis: onset features and classification of 189 cases

Objective To describe onset features, classification and treatment of juvenile dermatomyositis (JDM) and juvenile polymyositis (JPM) from a multicentre registry. Methods Inclusion criteria were onset age lower than 18 years and a diagnosis of any idiopathic inflammatory myopathy (IIM) by attending physician. Bohan & Peter (1975) criteria categorisation was established by a scoring algorithm to define JDM and JPM based oil clinical protocol data. Results Of the 189 cases included, 178 were classified as JDM, 9 as JPM (19.8: 1) and 2 did not fit the criteria; 6.9% had features of chronic arthritis and connective tissue disease overlap. Diagnosis classification agreement occurred in 66.1%. Medial? onset age was 7 years, median follow-up duration was 3.6 years. Malignancy was described in 2 (1.1%) cases. Muscle weakness occurred in 95.8%; heliotrope rash 83.5%; Gottron plaques 83.1%; 92% had at least one abnormal muscle enzyme result. Muscle biopsy performed in 74.6% was abnormal in 91.5% and electromyogram performed in 39.2% resulted abnormal in 93.2%. Logistic regression analysis was done in 66 cases with all parameters assessed and only aldolase resulted significant, as independent variable for definite JDM (OR=5.4, 95%CI 1.2-24.4, p=0.03). Regarding treatment, 97.9% received steroids; 72% had in addition at least one: methotrexate (75.7%), hydroxychloroquine (64.7%), cyclosporine A (20.6%), IV immunoglobulin (20.6%), azathioprine (10.3%) or cyclophosphamide (9.6%). In this series 24.3% developed calcinosis and mortality rate was 4.2%. Conclusion Evaluation of predefined criteria set for a valid diagnosis indicated aldolase as the most important parameter associated with de, methotrexate combination, was the most indicated treatment.

On estimation and influence diagnostics for zero-inflated negative binomial regression models

The zero-inflated negative binomial model is used to account for overdispersion detected in data that are initially analyzed under the zero-Inflated Poisson model A frequentist analysis a jackknife estimator and a non-parametric bootstrap for parameter estimation of zero-inflated negative binomial regression models are considered In addition an EM-type algorithm is developed for performing maximum likelihood estimation Then the appropriate matrices for assessing local influence on the parameter estimates under different perturbation schemes and some ways to perform global influence analysis are derived In order to study departures from the error assumption as well as the presence of outliers residual analysis based on the standardized Pearson residuals is discussed The relevance of the approach is illustrated with a real data set where It is shown that zero-inflated negative binomial regression models seems to fit the data better than the Poisson counterpart (C) 2010 Elsevier B V All rights reserved

Private valuation of carbon sequestration in forest plantations

Approval of the Clean Development Mechanism, provided for in the Kyoto Protocol, enables countries with afforested land to trade in carbon emissions reduction certificates related to carbon dioxide equivalent quantities (CO(2-e)) stored within a certain forest area. Potential CO(2-e) above base line sequestration was determined for two forest sites on commercial eucalyptus plantations in northern Brazil (Bahia). Compensation values for silvicultural regimes involving rotation lengths greater than economically optimal were computed using the Faustmann formula. Mean values obtained were US$8.16 (MgCO(2-e))(-1) and US $7.19 (MgCO(2-e))(-1) for average and high site indexes, respectively. Results show that carbon supply is more cost-efficient in highly productive sites. Annuities of US$18.8 Mg C(-1) and US$35.1 Mg C(-1) and yearly payments of US$4.4 m(-3) and US$8.2 m(-3) due for each marginal cubic meter produced were computed for high and average sites, respectively. The estimated value of the tonne of carbon defines minimum values to be paid to forest owners, in order to induce a change in silvicultural management regimes. A reduction of carbon supply could be expected as a result of an increase in wood prices, although it would not respond in a regular manner. For both sites, price elasticity of supply was found to be inelastic and increased as rotation length moved further away from economically optimal: 0.24 and 0.27 for age 11 years in average- and high-productivity sites, respectively. This would be due to biomass production potential as a limiting factor; beyond a certain threshold value. an increase in price does not sustain a proportional change in carbon storage supply. The environmental service valuation model proposed might be adequate for assessing potential supply in plantation forestry, from a private landowner perspective, with an economic opportunity cost. The model is not applicable to low commercial value forest plantations. (C) 2009 Elsevier B.V. All rights reserved.

Emergy synthesis of intensive eucalyptus cultivation in Sao Paolo, Brazil

We used environmental accounting to evaluate high-intensity clonal eucalyptus production in Sao Paolo, Brazil, converting inputs (environmental, material, and labor) to emergy units so ecological efficiency could be compared on a common basis. Input data were compiled under three pH management scenarios (lime, ash, and sludge). The dominant emergy input is environmental work (transpired water, similar to 58% of total emergy), followed by diesel (similar to 15%); most purchased emergy is invested during harvest (41.8% of 7-year production totals). Where recycled materials are used for pH amendment (ash or sludge instead of lime), we observe marked improvements in ecological efficiency; lime (raw) yielded the highest unit emergy value (UEV = emergy per unit energy in the product = 9.6E + 03 sej J(-1)), whereas using sludge and ash (recycled) reduced the UEV to 8.9E + 03 and 8.8E + 03 sej J(-1), respectively. The emergy yield ratio was similarly affected, suggesting better ecological return on energy invested. Sensitivity of resource use to other operational modifications (e.g., decreased diesel, labor, or agrochemicals) was small (<3% change). Emergy synthesis permits comparison of sustainability among forest production systems globally. This eucalyptus scheme shows the highest ecological efficiency of analyzed pulp production operations (UEV range = 1.1 to 3.6E + 04 sej J(-1)) despite high operational intensity.

Parameterization and Evaluation of Predictions of DSSAT/CANEGRO for Brazilian Sugarcane

The DSSAT/CANEGRO model was parameterized and its predictions evaluated using data from five sugarcane (Sacchetrum spp.) experiments conducted in southern Brazil. The data used are from two of the most important Brazilian cultivars. Some parameters whose values were either directly measured or considered to be well known were not adjusted. Ten of the 20 parameters were optimized using a Generalized Likelihood Uncertainty Estimation (GLUE) algorithm using the leave-one-out cross-validation technique. Model predictions were evaluated using measured data of leaf area index (LA!), stalk and aerial dry mass, sucrose content, and soil water content, using bias, root mean squared error (RMSE), modeling efficiency (Eff), correlation coefficient, and agreement index. The Decision Support System for Agrotechnology Transfer (DSSAT)/CANEGRO model simulated the sugarcane crop in southern Brazil well, using the parameterization reported here. The soil water content predictions were better for rainfed (mean RMSE = 0.122mm) than for irrigated treatment (mean RMSE = 0.214mm). Predictions were best for aerial dry mass (Eff = 0.850), followed by stalk dry mass (Eff = 0.765) and then sucrose mass (Eff = 0.170). Number of green leaves showed the worst fit (Eff = -2.300). The cross-validation technique permits using multiple datasets that would have limited use if used independently because of the heterogeneity of measures and measurement strategies.

Leaf area index estimation with MODIS reflectance time series and model inversion during full rotations of Eucalyptus plantations

The leaf area index (LAI) of fast-growing Eucalyptus plantations is highly dynamic both seasonally and interannually, and is spatially variable depending on pedo-climatic conditions. LAI is very important in determining the carbon and water balance of a stand, but is difficult to measure during a complete stand rotation and at large scales. Remote-sensing methods allowing the retrieval of LAI time series with accuracy and precision are therefore necessary. Here, we tested two methods for LAI estimation from MODIS 250m resolution red and near-infrared (NIR) reflectance time series. The first method involved the inversion of a coupled model of leaf reflectance and transmittance (PROSPECT4), soil reflectance (SOILSPECT) and canopy radiative transfer (4SAIL2). Model parameters other than the LAI were either fixed to measured constant values, or allowed to vary seasonally and/or with stand age according to trends observed in field measurements. The LAI was assumed to vary throughout the rotation following a series of alternately increasing and decreasing sigmoid curves. The parameters of each sigmoid curve that allowed the best fit of simulated canopy reflectance to MODIS red and NIR reflectance data were obtained by minimization techniques. The second method was based on a linear relationship between the LAI and values of the GEneralized Soil Adjusted Vegetation Index (GESAVI), which was calibrated using destructive LAI measurements made at two seasons, on Eucalyptus stands of different ages and productivity levels. The ability of each approach to reproduce field-measured LAI values was assessed, and uncertainty on results and parameter sensitivities were examined. Both methods offered a good fit between measured and estimated LAI (R(2) = 0.80 and R(2) = 0.62 for model inversion and GESAVI-based methods, respectively), but the GESAVI-based method overestimated the LAI at young ages. (C) 2010 Elsevier Inc. All rights reserved.

Brain nitric oxide production by a proline-rich decapeptide from Bothrops jararaca venom improves baroreflex sensitivity of spontaneously hypertensive rats

Baroreflex sensitivity is disturbed in many people with cardiovascular diseases such as hypertension. Brain deficiency of nitric oxide (NO), which is synthesized by NO synthase (NOS) in the citrulline-NO cycle (with argininosuccinate synthase (ASS) activity being the rate-limiting step), contributes to impaired baroreflex. We recently showed that a decapeptide isolated from Bothrops jararaca snake venom, denoted Bj-PRO-10c, exerts powerful and sustained antihypertensive activity. Bj-PRO-10c promoted vasodilatation dependent on the positive modulation of ASS activity and NO production in the endothelium, and also acted on the central nervous system, inducing the release of GABA and glutamate, two important neurotransmitters in the regulation of autonomic systems. We evaluated baroreflex function using the regression line obtained by the best-fit points of measured heart rate (HR) and mean arterial pressure (MAP) data from spontaneously hypertensive rats (SHRs) treated with Bj-PRO-10c. We also investigated molecular mechanisms involved in this effect, both in vitro and in vivo. Bj-PRO-10c mediated an increase in baroreflex sensitivity and a decrease in MAP and HR. The effects exerted by the peptide include an increase in the gene expression of endothelial NOS and ASS. Bj-PRO-10c-induced NO production depended on intracellular calcium fluxes and the activation of a G(i/o)-protein-coupled metabotropic receptor. Bj-PRO-10c induced NO production and the gene expression of ASS and endothelial NOS in the brains of SHRs, thereby improving baroreflex sensitivity. Bj-PRO-10c may reveal novel approaches for treating diseases with impaired baroreflex function. Hypertension Research (2010) 33, 1283-1288; doi: 10.1038/hr.2010.208

Nutritional Status of Zinc in Children with Down Syndrome

Experimental and clinical studies have established that zinc metabolism is altered in individuals with Down syndrome (DS). The present study intends to evaluate the nutritional status of zinc in children with DS by determining their biochemical and dietary parameters. The investigation was carried out on a group of children with DS (n = 35) and compared with a control group (n = 33), both aging between 4 and 11 years. Weight-for-age, height-for-age, and weight-for-height indexes and diet were evaluated by using a 3-day dietary record. Zinc was evaluated in plasma, erythrocytes, and 24-h urine collection by using the method of atomic absorption spectroscopy. The frequency of short stature was higher in children with DS. Both groups presented high protein content, adequate concentrations of lipids and carbohydrates, and deficit in calories. Adequate zinc intake was observed in 40% of children with DS and in 67% of the control group. Zinc concentrations were significantly lower in plasma and urine and higher in erythrocytes of children with DS. The results allowed us to conclude that the altered zinc nutritional status of individuals with Down syndrome contributes to clinical disturbances that usually appear with aging in these patients.

Evaluation of aluminium tolerance in grapevine rootstocks

Aluminum (Al) toxicity is a major worldwide agricultural problem. At low pH, Al speciates into the soluble and phyto-toxic form Al(3+), inhibiting the root growth and affecting plant development. In Brazil, agriculture in acidic soils with elevated concentration of Al has significantly increased in the last decades. Therefore, in order to achieve efficient agriculture practices, the selection of plant cultivars with improved Al resistance has become crucial in this type of soils. In this work we have evaluated the Al resistance of six genotypes of grapevine rootstocks. The grapevine hardwood cuttings were grown in nutrient solution in the absence and presence of 250 and 500 mu M Al at pH 4.2. The phenotypic indexes of relative root growth, fresh and dry root weight, root area, hematoxylin staining profile, and Al content were evaluated for all six genotypes. These phenotypic indexes allowed us to identify the `Kober 5BB`, `Gravesac`, `Paulsen 1103`, and `IAC 766` grapevine rootstocks genotypes as the ones with the highest resistance to Al. Likewise, `IAC 572` and `R110` genotypes were the most Al-sensitive cultivars. We evaluated the root organic acid exudation profile in the most Al-resistant (`Kober 5BB`) and most Al-sensitive (`R110`) in plantlets cultivated in vitro in the absence and presence of 100, 200, and 400 mu M of Al. Among several compounds detected, citrate was the only organic acid related to the Al resistance phenotype observed in the `Kober 5BB` genotype. The high constitutive citrate exudation observed in `Kober 5BB` strongly suggests that exudation of this particular organic acid may impart Al-resistance/a melioration in grapevine.

Development and In Vitro Evaluation of Propranolol Hydrochloride Controlled Release Tablets Using HPMC as Matrix Former

The purpose of this paper was to produce controlled-release matrices with 120 mg of propranolol hydrochloride (PHCl) employing hydroxypropyl methylcellulose (HPMC, Methocel (R) K100) as the gel forming barrier. Although this class of polymers has been commonly used for direct compression, with the intent of use reduced polymer concentrations to achieve controlled drug release, in this study tablets were produced by the wet granulation process. HPMC percentages ranged from 15-34 % and both soluble and non soluble diluents were tested in the 10 proposed tablet compositions. Dissolution testing of matrices was performed over a 12 h period in 1.2 pH medium (the first 2 h) and in pH 6.8 (10 h). Dissolution kinetic analysis was performed by applying Zero-order, First-order and Higuchi models with the aim of elucidating the drug release mechanism. All physical-chemical characteristics such as average weight, friability, hardness, diameter, height, and drug content were in accordance to the pharmacopeial specifications. Taking into account that PHCl is a very soluble drug, low concentrations (15 %) of HPMC were sufficient to reduce the drug release and to promote controlled release of PHCl, presenting good dissolution efficiencies, between 50 % and 63 %. The Higuchi model has presented the best fit to the 15 % HPMC formulations, indicating that the main release mechanism was diffusion. It could be concluded that the application of the wet granulation method reduced matrices erosion and promoted controlled release of the drug at low HPMC percentages.