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.

Celecoxib as an adjunct in the treatment of depressive or mixed episodes of bipolar disorder: a double-blind, randomized, placebo-controlled study

Objective To investigate whether the cox-2 inhibitor celecoxib has antidepressant effects in bipolar disorder (BD) patients during depressive or mixed phases. Methods We studied 28 DSM-IV BD patients who were experiencing a depressive or mixed episode and were on a stable dose of a mood stabilizer or atypical antipsychotic medication. Subjects were randomized to receive 6 weeks of double-blind placebo or celecoxib (400 mg/day) treatment. Current mood stabilizer or antipsychotic medication remained at the same doses during the trial. Results Intention-to-treat analysis showed that the patients receiving celecoxib had lower Hamilton Depression Rating Scale (HamD) scores after 1 week of treatment compared to the patients receiving placebo, but this difference was not statistically significant (p=0.09). The improvement in the first week of treatment was statistically significant when the analysis included only the subjects who completed the full 6-week trial (p=0.03). The two groups did not differ significantly on depressive or manic symptoms from the second week until the end of the trial. Celecoxib was well tolerated with the exception of two subjects who dropped out of the study due to rash. Conclusions Our findings suggest that adjunctive treatment with celecoxib may produce a rapid-onset antidepressant effect in BD patients experiencing depressive or mixed episodes. Copyright (C) 2008 John Wiley & Sons, Ltd.

Verification of a mixed high-order accurate DNS code for laminar turbulent transition by the method of manufactured solutions

This paper presents results on a verification test of a Direct Numerical Simulation code of mixed high-order of accuracy using the method of manufactured solutions (MMS). This test is based on the formulation of an analytical solution for the Navier-Stokes equations modified by the addition of a source term. The present numerical code was aimed at simulating the temporal evolution of instability waves in a plane Poiseuille flow. The governing equations were solved in a vorticity-velocity formulation for a two-dimensional incompressible flow. The code employed two different numerical schemes. One used mixed high-order compact and non-compact finite-differences from fourth-order to sixth-order of accuracy. The other scheme used spectral methods instead of finite-difference methods for the streamwise direction, which was periodic. In the present test, particular attention was paid to the boundary conditions of the physical problem of interest. Indeed, the verification procedure using MMS can be more demanding than the often used comparison with Linear Stability Theory. That is particularly because in the latter test no attention is paid to the nonlinear terms. For the present verification test, it was possible to manufacture an analytical solution that reproduced some aspects of an instability wave in a nonlinear stage. Although the results of the verification by MMS for this mixed-order numerical scheme had to be interpreted with care, the test was very useful as it gave confidence that the code was free of programming errors. Copyright (C) 2009 John Wiley & Sons, Ltd.

Obtaining and stability verification of superconducting phases of the Nb-Al and Nb-Sn systems by mechanical alloying and low-temperature heat treatments

The development of Nb(3)Al and Nb(3)Sn superconductors is of great interest for the applied superconductivity area. These intermetallics composites are obtained normally by heat treatment reactions at high temperature. Processes that allow formation of the superconducting phases at lower temperatures (<1000 degrees C), particularly for Nb(3)Al, are of great interest. The present work studies phase formation and stability of Nb(3)Al and Nb(3)Sn superconducting phases using mechanical alloying (high energy ball milling). Our main objective was to form composites near stoichiometry, which could be transformed into the superconducting phases using low-temperature heat treatments. High purity Nb-Sn and Nb-Al powders were mixed to generate the required superconducting phases (Nb-25at.%Sn and Nb-25at.%Al) in an argon atmosphere glove-box. After milling in a Fritsch mill, the samples were compressed in a hydraulic uniaxial press and encapsulated in evacuated quartz tubes for heat treatment. The compressed and heat treated samples were characterized using X-ray diffractometry. Microstructure and chemical analysis were accomplished using scanning electron microscopy and energy dispersive spectrometry. Nb(3)Al XRD peaks were observed after the sintering at 800 degrees C for the sample milled for 30 h. Nb(3)Sn XRD peaks could be observed even before the heat treatment. (C) 2009 Elsevier B.V. All rights reserved.

Coupled reliability and boundary element model for probabilistic fatigue life assessment in mixed mode crack propagation

Fatigue and crack propagation are phenomena affected by high uncertainties, where deterministic methods fail to predict accurately the structural life. The present work aims at coupling reliability analysis with boundary element method. The latter has been recognized as an accurate and efficient numerical technique to deal with mixed mode propagation, which is very interesting for reliability analysis. The coupled procedure allows us to consider uncertainties during the crack growth process. In addition, it computes the probability of fatigue failure for complex structural geometry and loading. Two coupling procedures are considered: direct coupling of reliability and mechanical solvers and indirect coupling by the response surface method. Numerical applications show the performance of the proposed models in lifetime assessment under uncertainties, where the direct method has shown faster convergence than response surface method. (C) 2010 Elsevier Ltd. All rights reserved.

Failure assessments of corroded pipelines with axial defects using stress-based criteria: Numerical studies and verification analyses

Conventional procedures used to assess the integrity of corroded piping systems with axial defects generally employ simplified failure criteria based upon a plastic collapse failure mechanism incorporating the tensile properties of the pipe material. These methods establish acceptance criteria for defects based on limited experimental data for low strength structural steels which do not necessarily address specific requirements for the high grade steels currently used. For these cases, failure assessments may be overly conservative or provide significant scatter in their predictions, which lead to unnecessary repair or replacement of in-service pipelines. Motivated by these observations, this study examines the applicability of a stress-based criterion based upon plastic instability analysis to predict the failure pressure of corroded pipelines with axial defects. A central focus is to gain additional insight into effects of defect geometry and material properties on the attainment of a local limit load to support the development of stress-based burst strength criteria. The work provides an extensive body of results which lend further support to adopt failure criteria for corroded pipelines based upon ligament instability analyses. A verification study conducted on burst testing of large-diameter pipe specimens with different defect length shows the effectiveness of a stress-based criterion using local ligament instability in burst pressure predictions, even though the adopted burst criterion exhibits a potential dependence on defect geometry and possibly on material`s strain hardening capacity. Overall, the results presented here suggests that use of stress-based criteria based upon plastic instability analysis of the defect ligament is a valid engineering tool for integrity assessments of pipelines with axial corroded defects. (C) 2008 Elsevier Ltd. All rights reserved.

Fluid Replacement With Hypertonic or Isotonic Solutions Guided by Mixed Venous Oxygen Saturation in Experimental Hypodynamic Sepsis

Background: Splanchnic perfusion is prone to early injury and persists despite normalization of global hemodynamic variables in sepsis. Volume replacement guided by oxygen derived variables has been recommended in the management of septic patients. Our hypothesis was that a hypertonic isoneotic solution Would improve the benefits of crystalloids replacement guided by mixed venous oxygen saturation. Methods: Seventeen anesthetized and mechanically ventilated mongrel dogs received an intravenous infusion of live E. coli in 30 minutes. They were then randomized into three groups: control group (n = 3) bacterial infusion without treatment; normal saline (n = 7), initial fluid replacement with 32 mL/kg of normal saline during 20 minutes; hypertonic solution (n = 7), initial fluid replacement with 4 mL/kg of hypertonic solution during 5 minutes. After 30 and 60 Minutes, additional boluses of normal saline were administered when mixed venous oxygen saturation remained below 70%. Mean arterial pressure, cardiac output; regional blood flows, systemic and regional oxygen-derived variables, and lactate levels were assessed. Animals were observed for 90 minutes and then killed. Hystopathological analysis including apoptosis detection using terminal deoxynucleotidil transferase mediated dUTP-biotin nick end labeling was performed. Results: A hypodynamic septic shock was observed after bacterial infusion. Both the fluid-treated groups presented similar transient benefits in systemic and regional variables. A greater degree of gut epithelial cells apoptosis was observed in normal saline-treated animals. Conclusions: Although normalization of mixed venous oxygen saturation was not associated with restoration of markers of splanchnic or other systemic perfusion variables, the initial fluid savings with hypertonic saline and its latter effect on gut apoptosis may be of interest in sepsis management.

Bayesian Estimation for Performance Measures of Two Diagnostic Tests in the Presence of Verification Bias

Sensitivity and specificity are measures that allow us to evaluate the performance of a diagnostic test. In practice, it is common to have situations where a proportion of selected individuals cannot have the real state of the disease verified, since the verification could be an invasive procedure, as occurs with biopsy. This happens, as a special case, in the diagnosis of prostate cancer, or in any other situation related to risks, that is, not practicable, nor ethical, or in situations with high cost. For this case, it is common to use diagnostic tests based only on the information of verified individuals. This procedure can lead to biased results or workup bias. In this paper, we introduce a Bayesian approach to estimate the sensitivity and the specificity for two diagnostic tests considering verified and unverified individuals, a result that generalizes the usual situation based on only one diagnostic test.

Robust linear mixed models with skew-normal independent distributions from a Bayesian perspective

Linear mixed models were developed to handle clustered data and have been a topic of increasing interest in statistics for the past 50 years. Generally. the normality (or symmetry) of the random effects is a common assumption in linear mixed models but it may, sometimes, be unrealistic, obscuring important features of among-subjects variation. In this article, we utilize skew-normal/independent distributions as a tool for robust modeling of linear mixed models under a Bayesian paradigm. The skew-normal/independent distributions is an attractive class of asymmetric heavy-tailed distributions that includes the skew-normal distribution, skew-t, skew-slash and the skew-contaminated normal distributions as special cases, providing an appealing robust alternative to the routine use of symmetric distributions in this type of models. The methods developed are illustrated using a real data set from Framingham cholesterol study. (C) 2009 Elsevier B.V. All rights reserved.

Local Influence Analysis for Skew-Normal Linear Mixed Models

In this article, we consider local influence analysis for the skew-normal linear mixed model (SN-LMM). As the observed data log-likelihood associated with the SN-LMM is intractable, Cook`s well-known approach cannot be applied to obtain measures of local influence. Instead, we develop local influence measures following the approach of Zhu and Lee (2001). This approach is based on the use of an EM-type algorithm and is measurement invariant under reparametrizations. Four specific perturbation schemes are discussed. Results obtained for a simulated data set and a real data set are reported, illustrating the usefulness of the proposed methodology.

Electrostatic layer-by-layer and electrophoretic depositions as methods for electrochromic nanoparticle immobilization

The present paper describes the immobilization of nanoparticles onto conducting substrates by using both electrostatic layer-by-layer and electrophoretic deposition (EPD) methods. These two techniques were compared in high-performance electrochromic electrodes based on mixed nickel hydroxide nanoparticles. In addition to easy handling, EPD seems to be the most suitable method for the immobilization of nanoparticles, leading to higher electrochromic efficiencies, lower response times and higher stability upon coloration and bleaching cycling. (C) 2008 Elsevier Ltd. All rights reserved.

Synthesis, characterization and adsorption properties of porous mixed valent diruthenium(II,III)-terephthalate and diruthenium(II,III)-adipate polymers

Two porous mixed valent diruthenium(II,III)-dicarboxylate compounds have been prepared and characterized by spectroscopic methods, X-ray diffraction and thermogravimetry. Crystalline solids of [Ru(2)(tere)(2)Cl] center dot 3.5H(2)O (tere=terephthalate) and [Ru(2)(adip)(2)Cl] center dot 1.5H(2)O (adip=adipate) consist of extended chains in which polymeric layers of multiply metal-metal bonded [Ru(2)](5+) cores are bridged by dicarboxylate ligands in paddlewheel type geometries. Units of [Ru(2)(dicarboxylate)(2)](n)(+) are linked by axial bridging chloride ions generating three-dimensional networks. The polymers loose non-bonded water molecules at low temperatures but do not undergo thermal decomposition below 280-300 degrees C. Both of compounds exhibit high BET surface areas, [Ru(2)(tere)(2)Cl]: 235 m(2) g(-1) and [Ru(2)(adip)(2)Cl]: 281 m(2) g(-1), and occlude similar numbers of mol of N(2) per mol of metal. The terephthalate ligand generated an organized structure with supermicropores (total pore size of 0.24 cm(3) g(-1)) while the adipate ligand led to a mesoporous structure (total pore sizes of 0.47 cm(3) g(-1)) for the corresponding diruthenium(II,III)-dicarboxylate polymers. (c) 2008 Elsevier B.V. All rights reserved.

Mixed-Ligand Complexes of Technetium and Rhenium with Tridentate Benzamidines and Bidentate Benzoylthioureas

Mixed-ligand complexes of technetium(V) or rhenium(V) containing tridentate N-[(dialkylamino)(thiocarbonyl)]benzamidine (H(2)L(1)) and bidentate N,N-dialkyl-N`-benzoylthiourea (HL(2)) ligands were formed in high yields when (NBu(4))[MOCl(4)] (M = Tc or Re) or [ReOCl(3)(PPh(3))(2)] was treated with mixtures of the proligands. Other approaches for the synthesis of the products are reactions of [MOCl(L(1))] complexes with HL(2) or compounds of the-composition [ReOCl(2)(PPh(3))(L(2))] with H(2)L(1). The resulting air-stable [MO(L(1))(L(2))] complexes possess potential for the development of metal-based radiopharmaceuticals. [TcO(L(1))(L(2))] complexes are readily reduced by PPh3 with formation of [Tc(L(1))(L(2))(PPh(3))]. The resulting Tc(III) complexes undergo two almost-reversible oxidation steps corresponding to one-electron transfer processes. ((C) Wiley-VCH Verlag GmbH & Co. KGaA, 69451 Weinheim, Germany, 2009)

Comparasion of two minimally invasive methods on the longevity of glass ionomer cement restorations: short-term results of a pilot study

The purpose of this study was to evaluate the clinical performance of glass ionomer cement (GIC) restorations comparing two minimally invasive methods in permanent teeth after 12 months. Fifty pregnant women (second trimester of pregnancy), mean age 22 ± 5.30 years, were treated by two previously trained operators. The treatment approaches tested were: chemomechanical method (CarisolvTM; MediTeam) and atraumatic restorative treatment (ART). A split-mouth study design was used in which the two treatments were randomly placed in 50 matched pairs of permanent teeth. The chemomechanical method (CM) was the test group and the ART was the control group. The treatments were performed in Public Health Centers. The tested restorative material was a high-strength GIC (Ketac Molar; 3M/ESPE). The restorations were placed according to the ART guidelines. Two calibrated independent examiners evaluated the restorations in accordance with ART criteria. The inter-examiner kappa was 0.97. Data were analyzed using 95% confidence interval on the binomial distribution and Fisher's exact test at 5% significance level. In a 12-month follow-up, 86% of the restorations were evaluated. In the test group (CM), 100% (CI=93.3-100%) of the restorations were considered successful. In the control group (ART) 97.6% (CI=87.4-99.9%) of the restorations were considered successful and 2.4% unsuccessful (marginal defect >0.5 mm). There was no statistically significant difference between the 12-mounth success rate for both groups (Fisher's exact test: P=0.49) and between the two operators (Fisher's exact test: P=1.00). Both minimally invasive methods, chemomechanical method and ART, showed a similar clinical performance after 12 months of follow up.

Educação e motivação em saúde bucal: prevenindo doenças e promovendo saúde em pacientes sob tratamento ortodôntico

INTRODUÇãO: os cirurgiões-dentistas têm a responsabilidade de prevenir doenças, minimizar riscos e promover saúde. Os pacientes também precisam ser despertados sobre o seu papel nos cuidados com a saúde bucal. No caso de pacientes em tratamento ortodôntico, é particularmente difícil manter uma higiene bucal satisfatória devido à presença de bandas, fios e ligaduras. Torna-se, então, indispensável a instituição de métodos preventivos de motivação e orientação para o controle mecânico da placa dentária. OBJETIVO: verificar os efeitos de ações educativas, preventivas e motivacionais sobre a saúde bucal de pacientes em tratamento ortodôntico fixo. MéTODOS: os participantes receberam gratuitamente dentifrício e escova dental durante todo o estudo e instruções sobre higiene bucal foram fornecidas e reforçadas no decorrer dos 6 meses da pesquisa. Foram realizados exames clínicos baseline e após 6, 12 e 24 semanas, para verificação dos índices de Placa, Gengival e Sangramento. RESULTADOS: as condições de saúde bucal dos participantes, que inicialmente eram insatisfatórias, melhoraram significativamente no decorrer do estudo, considerando-se todos os índices. As ações preventivas, educativas e motivacionais realizadas foram estatisticamente eficazes na melhora da saúde bucal dos pacientes ortodônticos. CONCLUSõES: a promoção de saúde e a prevenção de doenças devem fazer parte do atendimento que os ortodontistas direcionam aos seus pacientes, sendo que a orientação e motivação quanto aos cuidados com a saúde bucal devem estar presentes antes e durante o tratamento.