912 resultados para Specification-based Testing
Resumo:
The identification, modeling, and analysis of interactions between nodes of neural systems in the human brain have become the aim of interest of many studies in neuroscience. The complex neural network structure and its correlations with brain functions have played a role in all areas of neuroscience, including the comprehension of cognitive and emotional processing. Indeed, understanding how information is stored, retrieved, processed, and transmitted is one of the ultimate challenges in brain research. In this context, in functional neuroimaging, connectivity analysis is a major tool for the exploration and characterization of the information flow between specialized brain regions. In most functional magnetic resonance imaging (fMRI) studies, connectivity analysis is carried out by first selecting regions of interest (ROI) and then calculating an average BOLD time series (across the voxels in each cluster). Some studies have shown that the average may not be a good choice and have suggested, as an alternative, the use of principal component analysis (PCA) to extract the principal eigen-time series from the ROI(s). In this paper, we introduce a novel approach called cluster Granger analysis (CGA) to study connectivity between ROIs. The main aim of this method was to employ multiple eigen-time series in each ROI to avoid temporal information loss during identification of Granger causality. Such information loss is inherent in averaging (e.g., to yield a single ""representative"" time series per ROI). This, in turn, may lead to a lack of power in detecting connections. The proposed approach is based on multivariate statistical analysis and integrates PCA and partial canonical correlation in a framework of Granger causality for clusters (sets) of time series. We also describe an algorithm for statistical significance testing based on bootstrapping. By using Monte Carlo simulations, we show that the proposed approach outperforms conventional Granger causality analysis (i.e., using representative time series extracted by signal averaging or first principal components estimation from ROIs). The usefulness of the CGA approach in real fMRI data is illustrated in an experiment using human faces expressing emotions. With this data set, the proposed approach suggested the presence of significantly more connections between the ROIs than were detected using a single representative time series in each ROI. (c) 2010 Elsevier Inc. All rights reserved.
Resumo:
This article examines the efficiency of the National Football League (NFL) betting market. The standard ordinary least squares (OLS) regression methodology is replaced by a probit model. This circumvents potential econometric problems, and allows us to implement more sophisticated betting strategies where bets are placed only when there is a relatively high probability of success. In-sample tests indicate that probit-based betting strategies generate statistically significant profits. Whereas the profitability of a number of these betting strategies is confirmed by out-of-sample testing, there is some inconsistency among the remaining out-of-sample predictions. Our results also suggest that widely documented inefficiencies in this market tend to dissipate over time.
Resumo:
Fogo selvagem (FS) is mediated by pathogenic, predominantly IgG4, anti-desmoglein 1 (Dsg1) autoantibodies and is endemic in Limao Verde, Brazil. IgG and IgG subclass autoantibodies were tested in a sample of 214 FS patients and 261 healthy controls by Dsg1 ELISA. For model selection, the sample was randomly divided into training (50%), validation (25%), and test (25%) sets. Using the training and validation sets, IgG4 was chosen as the best predictor of FS, with index values above 6.43 classified as FS. Using the test set, IgG4 has sensitivity of 92% (95% confidence interval (95% CI): 82-95%), specificity of 97% (95% CI: 89-100%), and area under the curve of 0.97 ( 95% CI: 0.94-1.00). The IgG4 positive predictive value (PPV) in Limao Verde (3% FS prevalence) was 49%. The sensitivity, specificity, and PPV of IgG anti-Dsg1 were 87, 91, and 23%, respectively. The IgG4-based classifier was validated by testing 11 FS patients before and after clinical disease and 60 Japanese pemphigus foliaceus patients. It classified 21 of 96 normal individuals from a Limao Verde cohort as having FS serology. On the basis of its PPV, half of the 21 individuals may currently have preclinical FS and could develop clinical disease in the future. Identifying individuals during preclinical FS will enhance our ability to identify the etiological agent(s) triggering FS.
Resumo:
Fuzzy Bayesian tests were performed to evaluate whether the mother`s seroprevalence and children`s seroconversion to measles vaccine could be considered as ""high"" or ""low"". The results of the tests were aggregated into a fuzzy rule-based model structure, which would allow an expert to influence the model results. The linguistic model was developed considering four input variables. As the model output, we obtain the recommended age-specific vaccine coverage. The inputs of the fuzzy rules are fuzzy sets and the outputs are constant functions, performing the simplest Takagi-Sugeno-Kang model. This fuzzy approach is compared to a classical one, where the classical Bayes test was performed. Although the fuzzy and classical performances were similar, the fuzzy approach was more detailed and revealed important differences. In addition to taking into account subjective information in the form of fuzzy hypotheses it can be intuitively grasped by the decision maker. Finally, we show that the Bayesian test of fuzzy hypotheses is an interesting approach from the theoretical point of view, in the sense that it combines two complementary areas of investigation, normally seen as competitive. (C) 2007 IMACS. Published by Elsevier B.V. All rights reserved.
Resumo:
This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.
Resumo:
Objective. The aim of this study was to evaluate the pH, calcium release, setting time, and solubility of two commercially available mineral trioxide aggregate (MTA) cements (white MTA Angelus and MTA Bio), and of three experimental cements (light-cured MTA, Portland cement with 20% bismuth oxide and 5% calcium sulfate, and an epoxy resin-based cement). Study design. For evaluation of pH and calcium ion release, polyethylene tubes with 1.0 mm internal diameter and 10.0 mm length were filled with the cements and immediately immersed in flasks containing 10 mL deionized water. After 3, 24, 72, and 168 hours, the tubes were removed and the water from the previous container was measured for its pH and calcium content with a pH meter and an atomic absorption spectrophotometer. For analysis of the setting time, Gilmore needles weighing 100 g and 456.5 g were used, in accordance with the American Society for Testing and Materials specification no. C266-03. Solubility of each cement was also tested. Results. All the cements were alkaline and released calcium ions, with a declining trend over time. After 3 hours, Portland cement + bismuth oxide and MTA Bio had the highest pH and light-cured MTA the lowest. After 1 week, MTA Bio had the highest pH and light-cured MTA and epoxy resin-based cement the lowest. Regarding calcium ion release, after 3 hours, Portland cement + bismuth oxide showed the highest release. After 1 week, MTA Bio had the highest. Epoxy resin-based cement and light-cured MTA had the lowest calcium release in all evaluation periods. Regarding setting times, white MTA Angelus and MTA Bio had the shortest, Portland cement + bismuth oxide had an intermediate setting time, and the epoxy resin-based cement had the longest. The materials that showed the lowest solubility values were the epoxy resin-based cement, Portland cement + bismuth oxide, and light-cured MTA. The highest solubility values were presented in white MTA Angelus and MTA Bio. Conclusions. The white MTA Angelus and MTA Bio had the shortest setting times, higher pH and calcium ion release, and the highest solubility. In contrast, the epoxy resin-based cement and light-cured MTA showed lower values of solubility, pH, and calcium ion release. (Oral Surg Oral Med Oral Pathol Oral Radiol Endod 2010; 110: 250-256)
Resumo:
Despite the increasing utilization of all-ceramic crown systems, their mechanical performance relative to that of metal ceramic restorations (MCR) has yet to be determined. This investigation tested the hypothesis that MCR present higher reliability over two Y-TZP all-ceramic crown systems under mouth-motion fatigue conditions. A CAD-based tooth preparation with the average dimensions of a mandibular first molar was used as a master die to fabricate all restorations. One 0.5-mm Pd-Ag and two Y-TZP system cores were veneered with 1.5 mm porcelain. Crowns were cemented onto aged (60 days in water) composite (Z100, 3M/ESPE) reproductions of the die. Mouth-motion fatigue was performed, and use level probability Weibull curves were determined. Failure modes of all systems included chipping or fracture of the porcelain veneer initiating at the indentation site. Fatigue was an acceleration factor for all-ceramic systems, but not for the MCR system. The latter presented significantly higher reliability under mouth-motion cyclic mechanical testing.
Resumo:
Introduction: This study assessed in vitro the physicochemical properties of 2 methacrylate resin-based sealers (Epiphany SE and Hybrid Root SEAL), comparing the results with a well-established epoxy resin-based sealer (AH Plus). Methods: Five samples of each material were used for each test (setting time, flow, radiopacity, dimensional change after setting, and solubility) according to American National Standards Institute/American Dental Association (ANSI/ADA) Specification 57. The samples were assigned to 3 groups: I, AH Plus; II, Epiphany SE; and III, Hybrid Root SEAL. The distilled and deionized water used at the solubility test was submitted to atomic absorption spectrometry to observe the presence of Ca2+, K+, Ni2+, and Zn2+ ions. In addition, the surface morphology of the specimens was analyzed by means of scanning electron microscopy (SEM). Statistical analysis was performed by using one-way analysis of variance and Tukey-Kramer test (P < .05). Results: Flow, radiopacity, and solubility of all sealers were in accordance with ANSI/ADA. The setting time of Hybrid Root SEAL did not agree with ANSUADA requirements. The dimensional change of all sealers was greater than the values considered acceptable by ANSI/ADA. The spectrometry analysis showed significant Ca2+ ions release for AH Plus. In SEM analysis, Hybrid Root SEAL presented spherical monomers with inferior size than AH Plus and Epiphany SE. Conclusions: It might be concluded that physicochemical properties of the tested sealers conformed to ANSI/ADA (2000) standardization, except for the setting time of Hybrid Root SEAL and the dimensional change of all sealers, which did not fulfill the ANSI/ADA requirements. (J Endod 2010;36:1531-1536)
Resumo:
Aim To compare a new root canal sealer based on Copaifera multijuga oil-resin (Biosealer) using three other established sealers (Sealer 26 (R), Endofill (R) and AH plus (R)) in terms of their physicochemical properties. Methodology The study was carried out according to the requirements of Specification Number 57 of the American Dental Association (ADA) and consisted of the following tests: setting time, flow, film thickness, dimensional stability, radiopacity and solubility/disintegration. Data were analysed statistically using anova and Tukey`s test for multiple comparisons. The significance level was set at 5% for all analyses. Results Sealer 26 (R) and AH Plus (R) had the longest setting time (P < 0.05). All materials presented flow in with the ADA`s guidelines. Regarding film thick-ness, Sealer 26 (R) did not have a satisfactory performance, as it had a higher mean value than the maximum allowed by the ADA (0.05 mm), being significantly different from the other materials (P < 0.05), which had mean values for film thickness in accordance with the ADA`s recommendations. Regarding the solubility and disintegration, only Endofill (R) did not meet the ADA`s specifications and presented the worst results of all materials (P < 0.05). Sealer 26 (R) presented the greatest dimensional changes and differed significantly from all other sealers (P < 0.05). Biosealer had the lowest radiopacity values and was significantly different from the other sealers (P < 0.05). Conclusion The experimental sealer based on Copaifera multijuga oil-resin presented satisfactory results in the physicochemical tests required by the ADA.
Resumo:
General practitioners wanting to practise evidence-based medicine (EBM) are constrained by time factors and the great diversity of clinical problems they deal with. They need experience in knowing what questions to ask, in locating and evaluating the evidence, and in applying it. Conventional searching for the best evidence can be achieved in daily general practice. Sometimes the search can be performed during the consultation, but more often it can be done later and the patient can return for the result. Case-based journal clubs provide a supportive environment for GPs to work together to find the best evidence at regular meetings. An evidence-based literature search service is being piloted to enhance decision-making for individual patients. A central facility provides the search and interprets the evidence in relation to individual cases. A request form and a results format make the service akin to pathology testing or imaging. Using EBM in general practice appears feasible. Major difficulties still exist before it can be practised by all GPs, but it has the potential to change the way doctors update their knowledge.
Resumo:
A combination of modelling and analysis techniques was used to design a six component force balance. The balance was designed specifically for the measurement of impulsive aerodynamic forces and moments characteristic of hypervelocity shock tunnel testing using the stress wave force measurement technique. Aerodynamic modelling was used to estimate the magnitude and distribution of forces and finite element modelling to determine the mechanical response of proposed balance designs. Simulation of balance performance was based on aerodynamic loads and mechanical responses using convolution techniques. Deconvolution was then used to assess balance performance and to guide further design modifications leading to the final balance design. (C) 2001 Elsevier Science Ltd. All rights reserved.
Resumo:
Bond's method for ball mill scale-up only gives the mill power draw for a given duty. This method is incompatible with computer modelling and simulation techniques. It might not be applicable for the design of fine grinding ball mills and ball mills preceded by autogenous and semi-autogenous grinding mills. Model-based ball mill scale-up methods have not been validated using a wide range of full-scale circuit data. Their accuracy is therefore questionable. Some of these methods also need expensive pilot testing. A new ball mill scale-up procedure is developed which does not have these limitations. This procedure uses data from two laboratory tests to determine the parameters of a ball mill model. A set of scale-up criteria then scales-up these parameters. The procedure uses the scaled-up parameters to simulate the steady state performance of full-scale mill circuits. At the end of the simulation, the scale-up procedure gives the size distribution, the volumetric flowrate and the mass flowrate of all the streams in the circuit, and the mill power draw.
Resumo:
This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.
Resumo:
In this paper, we consider testing for additivity in a class of nonparametric stochastic regression models. Two test statistics are constructed and their asymptotic distributions are established. We also conduct a small sample study for one of the test statistics through a simulated example. (C) 2002 Elsevier Science (USA).
Resumo:
With the advent of object-oriented languages and the portability of Java, the development and use of class libraries has become widespread. Effective class reuse depends on class reliability which in turn depends on thorough testing. This paper describes a class testing approach based on modeling each test case with a tuple and then generating large numbers of tuples to thoroughly cover an input space with many interesting combinations of values. The testing approach is supported by the Roast framework for the testing of Java classes. Roast provides automated tuple generation based on boundary values, unit operations that support driver standardization, and test case templates used for code generation. Roast produces thorough, compact test drivers with low development and maintenance cost. The framework and tool support are illustrated on a number of non-trivial classes, including a graphical user interface policy manager. Quantitative results are presented to substantiate the practicality and effectiveness of the approach. Copyright (C) 2002 John Wiley Sons, Ltd.