930 resultados para Kleene algebra with tests
Resumo:
This paper addresses the independent multi-plant, multi-period, and multi-item capacitated lot sizing problem where transfers between the plants are allowed. This is an NP-hard combinatorial optimization problem and few solution methods have been proposed to solve it. We develop a GRASP (Greedy Randomized Adaptive Search Procedure) heuristic as well as a path-relinking intensification procedure to find cost-effective solutions for this problem. In addition, the proposed heuristics is used to solve some instances of the capacitated lot sizing problem with parallel machines. The results of the computational tests show that the proposed heuristics outperform other heuristics previously described in the literature. The results are confirmed by statistical tests. (C) 2009 Elsevier B.V. All rights reserved.
Resumo:
The representation of interfaces by means of the algebraic moving-least-squares (AMLS) technique is addressed. This technique, in which the interface is represented by an unconnected set of points, is interesting for evolving fluid interfaces since there is]to surface connectivity. The position of the surface points can thus be updated without concerns about the quality of any surface triangulation. We introduce a novel AMLS technique especially designed for evolving-interfaces applications that we denote RAMLS (for Robust AMLS). The main advantages with respect to previous AMLS techniques are: increased robustness, computational efficiency, and being free of user-tuned parameters. Further, we propose a new front-tracking method based on the Lagrangian advection of the unconnected point set that defines the RAMLS surface. We assume that a background Eulerian grid is defined with some grid spacing h. The advection of the point set makes the surface evolve in time. The point cloud can be regenerated at any time (in particular, we regenerate it each time step) by intersecting the gridlines with the evolved surface, which guarantees that the density of points on the surface is always well balanced. The intersection algorithm is essentially a ray-tracing algorithm, well-studied in computer graphics, in which a line (ray) is traced so as to detect all intersections with a surface. Also, the tracing of each gridline is independent and can thus be performed in parallel. Several tests are reported assessing first the accuracy of the proposed RAMLS technique, and then of the front-tracking method based on it. Comparison with previous Eulerian, Lagrangian and hybrid techniques encourage further development of the proposed method for fluid mechanics applications. (C) 2008 Elsevier Inc. All rights reserved.
Resumo:
The sigma model describing the dynamics of the superstring in the AdS(5) x S(5) background can be constructed using the coset PSU(2, 2 vertical bar 4)/SO(4, 1) x SO(5). A basic set of operators in this two dimensional conformal field theory is composed by the left invariant currents. Since these currents are not (anti) holomorphic, their OPE`s is not determined by symmetry principles and its computation should be performed perturbatively. Using the pure spinor sigma model for this background, we compute the one-loop correction to these OPE`s. We also compute the OPE`s of the left invariant currents with the energy momentum tensor at tree level and one loop.
Resumo:
We study the exact solution of an N-state vertex model based on the representation of the U(q)[SU(2)] algebra at roots of unity with diagonal open boundaries. We find that the respective reflection equation provides us one general class of diagonal K-matrices having one free-parameter. We determine the eigenvalues of the double-row transfer matrix and the respective Bethe ansatz equation within the algebraic Bethe ansatz framework. The structure of the Bethe ansatz equation combine a pseudomomenta function depending on a free-parameter with scattering phase-shifts that are fixed by the roots of unity and boundary variables. (C) 2010 Elsevier B.V. All rights reserved.
Resumo:
Purpose: The aim of the present paper was to determine the effect of different types of ionizing radiation on the bond strength of three different dentin adhesive systems. Materials and Methods: One hundred twenty specimens of 60 human teeth (protocol number: 032/2007) sectioned mesiodistally were divided into 3 groups according to the adhesives systems used: SB (Adper Single Bond Plus), CB (Clearfil SE Bond) and AP (Adper Prompt Self-Etch). The adhesives were applied on dentin and photo-activated using LED (Lec 1000, MMoptics, 1000 mW/cm(2)). Customized elastomer molds (0.5 mm thickness) with three orifices of 1.2 mm diameter were placed onto the bonding areas and filled with composite resin (Filtek Z-250), which was photo-activated for 20 s. Each group was subdivided into 4 Subgroups for application of the different types of ionizing radiation: ultraviolet radiation (UV), diagnostic x-ray radiation (DX), therapeutic x-ray radiation (TX) and without irradiation (control group, CG). Microshear tests were carried out (Instron, model 4411), and afterwards the modes of failure were evaluated by optical and scanning electron microscope and classified using 5 scores: adhesive failure, mixed failures with 3 significance levels, and cohesive failure. The results of the shear bond strength test were submitted to ANOVA with Tukey`s test and Dunnett`s test, and the data from the failure pattern evaluation were analyzed with the Mann Whitney test (p = 0.05). Results: No change in bond strength of CB and AP was observed after application of the different radiation types, only SB showed increase in bond strength after UV (p = 0.0267) irradiation. The UV also changed the failure patterns of SB (p = 0.0001). Conclusion: The radio-induced changes did not cause degradation of the restorations, which means that they can be exposed to these types of ionizing radiation without weakening the bond strength.
Resumo:
We have investigated if a new LEDs system has enough efficient energy to promote efficient shear and tensile bonding strength resistance under standardized tests. LEDs 470 +/- 10 nm can be used to photocure composite during bracket fixation. Advantages considering resistance to tensile and shear bonding strength when these systems were used are necessary to justify their clinical use. Forty eight human extracted premolars teeth and two light sources were selected, one halogen lamp and a LEDs system. Brackets for premolar were bonded through composite resin. Samples were submitted to standardized tests. A comparison between used sources under shear bonding strength test, obtained similar results; however, tensile bonding test showed distinct results: a statistical difference at a level of 1% between exposure times (40 and 60 seconds) and even to an interaction between light source and exposure time. The best result was obtained with halogen lamp use by 60 seconds, even during re-bonding; however LEDs system can be used for bonding and re-bonding brackets if power density could be increased.
Resumo:
Two new complexes of platinum(II) and silver(I) with acesulfame were synthesized. Acesulfame is in the anionic form acesulfamate (ace). The structures of both complexes were determined by X-ray crystallography. For K(2)[PtCl(2)(ace)(2)] the platinum atom is coordinated to two Cl(-) and two N-acesulfamate atoms forming a trans-square planar geometry. Each K(+) ion interacts with two oxygen atoms of the S(=O)(2) group of each acesulfamate. For the polymeric complex [Ag(ace)](n) the water molecule bridges between two crystallographic equivalent Agl atoms which are related each other by a twofold symmetry axis. Two Agl atoms, related to each other by a symmetry centre, make bond contact with two equivalent oxygen atoms. These bonds give rise to infinite chains along the unit cell diagonal in the ac plane. The in vitro cytotoxic analyses for the platinum complex using HeLa (human cervix cancer) cells show its low activity when compared to the vehicle-treated cells. The Ag(I) complex submitted to in vitro antimycobacterial tests, using the Microplate Alamar Blue (MABA) method, showed a good activity against Mycobacterium tuberculosis, responsible for tuberculosis, with a minimal inhibitory concentration (MIC) value of 11.6 mu M. The Ag(I) complex also presented a promising activity against Gram negative (Escherichia colt and Pseudomonas aeruginosa) and Gram positive (Enterococcus faecalis) microorganisms. The complex K(2)[PtCl(2)(ace)(2)] was also evaluated for antiviral properties against dengue virus type 2 (New Guinea C strain) in Vero cells and showed a good inhibition of dengue virus type 2 (New Guinea G strain) replication at 200 mu M, when compared to vehicle-treated cells. (C) 2010 Elsevier Inc. All rights reserved.
Exact penalties for variational inequalities with applications to nonlinear complementarity problems
Resumo:
In this paper, we present a new reformulation of the KKT system associated to a variational inequality as a semismooth equation. The reformulation is derived from the concept of differentiable exact penalties for nonlinear programming. The best theoretical results are presented for nonlinear complementarity problems, where simple, verifiable, conditions ensure that the penalty is exact. We close the paper with some preliminary computational tests on the use of a semismooth Newton method to solve the equation derived from the new reformulation. We also compare its performance with the Newton method applied to classical reformulations based on the Fischer-Burmeister function and on the minimum. The new reformulation combines the best features of the classical ones, being as easy to solve as the reformulation that uses the Fischer-Burmeister function while requiring as few Newton steps as the one that is based on the minimum.
Resumo:
The class of symmetric linear regression models has the normal linear regression model as a special case and includes several models that assume that the errors follow a symmetric distribution with longer-than-normal tails. An important member of this class is the t linear regression model, which is commonly used as an alternative to the usual normal regression model when the data contain extreme or outlying observations. In this article, we develop second-order asymptotic theory for score tests in this class of models. We obtain Bartlett-corrected score statistics for testing hypotheses on the regression and the dispersion parameters. The corrected statistics have chi-squared distributions with errors of order O(n(-3/2)), n being the sample size. The corrections represent an improvement over the corresponding original Rao`s score statistics, which are chi-squared distributed up to errors of order O(n(-1)). Simulation results show that the corrected score tests perform much better than their uncorrected counterparts in samples of small or moderate size.
Resumo:
In this article, we deal with the issue of performing accurate small-sample inference in the Birnbaum-Saunders regression model, which can be useful for modeling lifetime or reliability data. We derive a Bartlett-type correction for the score test and numerically compare the corrected test with the usual score test and some other competitors.
Resumo:
Introduction: Research suggests that obsessive-compulsive disorder (OCD) is not a unitary entity, but rather a highly heterogeneous condition, with complex and variable clinical manifestations. Objective: The aims of this study were to compare clinical and demographic characteristics of OCD patients with early and late age of onset of obsessive-compulsive symptoms (OCS); and to compare the same features in early onset OCD with and without tics. The independent impact of age at onset and presence of tics on comorbidity patterns was investigated. Methods: Three hundred and thirty consecutive outpatients meeting Diagnostic and Statistical Manual of Mental Disorders, Fourth Edition criteria for OCD were evaluated: 160 patients belonged to the ""early onset"" group (EOG): before 11 years of age, 75 patients had an ""intermediate onset"" (IOG), and 95 patients were from the ""late onset"" group (LOG): after 18 years of age. From the 160 EOG, 60 had comorbidity with tic disorders. The diagnostic instruments used were: the Yale-Brown Obsessive Compulsive Scale and the Dimensional Yale-Brown Obsessive Compulsive Scale (DY-BOCS), Yale Global Tics Severity Scale; and Structured Clinical Interview for DSM-IV Axis I Disorders-patient edition. Statistical tests used were: Mann-Whitney, full Bayesian significance test, and logistic regression. Results: The EOG had a predominance of males, higher frequency of family history of OCS, higher mean scores on the ""aggression/violence"" and ""miscellaneous"" dimensions, and higher mean global DY-BOCS scores. Patients with EOG without tic disorders presented higher mean global DY-BOCS scores and higher mean scores in the ""contamination/cleaning"" dimension. Conclusion: The current results disentangle some of the clinical overlap between early onset OCD with and without tics. CNS Spectr. 2009; 14(7):362-370
Resumo:
Although the asymptotic distributions of the likelihood ratio for testing hypotheses of null variance components in linear mixed models derived by Stram and Lee [1994. Variance components testing in longitudinal mixed effects model. Biometrics 50, 1171-1177] are valid, their proof is based on the work of Self and Liang [1987. Asymptotic properties of maximum likelihood estimators and likelihood tests under nonstandard conditions. J. Amer. Statist. Assoc. 82, 605-610] which requires identically distributed random variables, an assumption not always valid in longitudinal data problems. We use the less restrictive results of Vu and Zhou [1997. Generalization of likelihood ratio tests under nonstandard conditions. Ann. Statist. 25, 897-916] to prove that the proposed mixture of chi-squared distributions is the actual asymptotic distribution of such likelihood ratios used as test statistics for null variance components in models with one or two random effects. We also consider a limited simulation study to evaluate the appropriateness of the asymptotic distribution of such likelihood ratios in moderately sized samples. (C) 2008 Elsevier B.V. All rights reserved.
Resumo:
Likelihood ratio tests can be substantially size distorted in small- and moderate-sized samples. In this paper, we apply Skovgaard`s [Skovgaard, I.M., 2001. Likelihood asymptotics. Scandinavian journal of Statistics 28, 3-321] adjusted likelihood ratio statistic to exponential family nonlinear models. We show that the adjustment term has a simple compact form that can be easily implemented from standard statistical software. The adjusted statistic is approximately distributed as X(2) with high degree of accuracy. It is applicable in wide generality since it allows both the parameter of interest and the nuisance parameter to be vector-valued. Unlike the modified profile likelihood ratio statistic obtained from Cox and Reid [Cox, D.R., Reid, N., 1987. Parameter orthogonality and approximate conditional inference. journal of the Royal Statistical Society B49, 1-39], the adjusted statistic proposed here does not require an orthogonal parameterization. Numerical comparison of likelihood-based tests of varying dispersion favors the test we propose and a Bartlett-corrected version of the modified profile likelihood ratio test recently obtained by Cysneiros and Ferrari [Cysneiros, A.H.M.A., Ferrari, S.L.P., 2006. An improved likelihood ratio test for varying dispersion in exponential family nonlinear models. Statistics and Probability Letters 76 (3), 255-265]. (C) 2008 Elsevier B.V. All rights reserved.
Resumo:
The usual tests to compare variances and means (e. g. Bartlett`s test and F-test) assume that the sample comes from a normal distribution. In addition, the test for equality of means requires the assumption of homogeneity of variances. In some situation those assumptions are not satisfied, hence we may face problems like excessive size and low power. In this paper, we describe two tests, namely the Levene`s test for equality of variances, which is robust under nonnormality; and the Brown and Forsythe`s test for equality of means. We also present some modifications of the Levene`s test and Brown and Forsythe`s test, proposed by different authors. We analyzed and applied one modified form of Brown and Forsythe`s test to a real data set. This test is a robust alternative under nonnormality, heteroscedasticity and also when the data set has influential observations. The equality of variance can be well tested by Levene`s test with centering at the sample median.
Resumo:
We classify all unital subalgebras of the Cayley algebra O(q) over the finite field F(q), q = p(n). We obtain the number of subalgebras of each type and prove that all isomorphic subalgebras are conjugate with respect to the automorphism group of O(q). We also determine the structure of the Moufang loops associated with each subalgebra of O(q).