977 resultados para Cook-Levin SAT SAT-solver


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Diode-pumped Yb-doped glass lasers have received considerable attention for applications such as high-power beam production or femtosecond pulses generation. In this paper, we evaluate the laser potential of three different glass families doped with Yb3+ : alkali lead fluorborate (PbO-PbF2-B2O3), heavy metal oxide (Bi2O3-PbO-Ga2O3) and niobium tellurite (TeO2-Nb2O5-K2O-Li2O). Spectroscopic properties were studied for the samples and calculations of the minimum laser pump intensity (I-min), saturation fluence (U-sat) and the theoretical limit of peak power (P-max) are also presented. A comparison of laser properties of these three different glasses and their importance is shown and analyzed. (C) 2002 Elsevier B.V. B.V. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The malate dehydrogenase (MDH) and ascorbate oxidase were immobilized independently, onto silanized controlled porous silica and packed in a tygon tube. The reactors were inserted in the flow system, and the malic acid was determined by measurement of NADH produced by enzymatic reaction. The NADH was reoxidized in a wall jet cell that consisted of spectrographic graphite, Ag/AgCl, KCl(sat), and steel needle as work, reference, and counter electrodes, respectively. The current intensities were measured at 390 mV. The malate calibration curve shows a linear range from 5.0 x 10(-6) to 1.0 x 10(-4) molL(-1), the lifetime was 40 analyses, after that a decrease of 20% on the response is observed. Three different citric juices were analyzed and a good correlation between the proposed method and spectrophotometric commercial kit were obtained.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This work is related with the proposition of a so-called regular or convex solver potential to be used in numerical simulations involving a certain class of constitutive elastic-damage models. All the mathematical aspects involved are based on convex analysis, which is employed aiming a consistent variational formulation of the potential and its conjugate one. It is shown that the constitutive relations for the class of damage models here considered can be derived from the solver potentials by means of sub-differentials sets. The optimality conditions of the resulting minimisation problem represent in particular a linear complementarity problem. Finally, a simple example is present in order to illustrate the possible integration errors that can be generated when finite step analysis is performed. (C) 2003 Elsevier Ltd. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The purpose of this study was to examine if there is any developmental change in the coupling between visual information and trunk sway in infants as they acquire the sitting position. Twenty-four infants distributed in four groups (6-, 7-, 8-, and 9-month-old) were sat inside a moving room that oscillated back and forward at frequencies of 0.2 and 0.5 Hz. The results revealed that trunk sway matched to the moving room at both frequencies but did not differ among the four age groups. Coherence and gain revealed that the coupling was weaker at 0.2 than at 0.5 Hz. Relative phase showed that at 0.2 Hz, infants were swaying with no lag but at 0.5 Hz they were lagging the room. These results showed that the coupling between visual information and trunk sway in infants varies with the visual stimulus but does not change as infants acquire the sitting position. © 2001 Elsevier B.V.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this work, electrochemical oxidation of albendazole (ABZ) was carried out using a glassy carbon-rotating disk electrode. Development of electroanalytical methodology for ABZ quantification in pharmaceutical formulations was also proposed by using linear sweep voltammetric technique. Electrochemical oxidation is observed for ABZ at E 1/2 = 0.99:V vs. Ag/AgCl sat, when an anodic wave is observed. Kinetic parameters obtained for ABZ oxidation exhibited a standard heterogeneous rate constant for the electrodic process equal to (1.51 ± 0.07) ± 10 -5:cm:s -1, with a αn a value equal to 0.76. Limiting current dependence against ABZ concentration exhibited linearity on 5.0 ± 10 -5 to 1.0 ± 10 -2:mol:l -1 range, being obtained a detection limit of 2.4 ± 10 -5:mol:l -1. Proposed methodology was applied to ABZ quantification in pharmaceutical formulations. © 2005 Elsevier SAS. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This article evaluates space closure mechanics efficiency in an extraction case where maximum anchorage was a requirement. The Segmented Arch Technique (SAT) was utilized as an anchorage control strategy to obtain maximum anterior retraction and, in consequence, significant facial profile change. A 20-year-10-month old woman needed severe labial and profile changes. The patient had four premolars extracted and SAT with type A mechanics [1] (Marcotte [2] activation protocol) was applied. The results showed significant reduction in labial protrusion and incisal angulation with effective anchorage control. The results were compared to others available in the literature derived from different techniques, where anterior retraction was also accomplished with maximum anchorage [3-7]. In conclusion, the SAT with type A mechanics has been shown to be another treatment option when significant changes in the soft-tissue profile are needed in extraction cases. © 2008. CEO. Published by Elsevier Masson SAS. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The optimal reactive dispatch problem is a nonlinear programming problem containing continuous and discrete control variables. Owing to the difficulty caused by discrete variables, this problem is usually solved assuming all variables as continuous variables, therefore the original discrete variables are rounded off to the closest discrete value. This approach may provide solutions far from optimal or even unfeasible solutions. This paper presents an efficient handling of discrete variables by penalty function so that the problem becomes continuous and differentiable. Simulations with the IEEE test systems were performed showing the efficiency of the proposed approach. © 1969-2012 IEEE.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)