942 resultados para Refined Perfect Diagonalization Procedure


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The article examines Brazilian refined earthenwares known as faianca fina (fine faience) and relates ideas about its production to the contextual backdrop of hygienist discourses in the city of Sao Paulo in the early twentieth century. Based on an analysis of glaze components, moisture expansion processes, and technological aspects of the production of earthenware recovered from the Petybon archeological site, it is suggested that the establishment of factories and the production and consumption of white ceramics in the city of Sao Paulo were partially a consequence of the vigorous hygienization policies and modernity projects then advocated by Sao Paulo's elites.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The Nuss procedure requires the creation of a substernal tunnel for bar positioning. This is a manoeuvre that can be dangerous, and cardiac perforation has occurred in a few cases. Our purpose was to describe two technical modifications that enable the prevention of these fatal complications. A series of 25 patients with pectus excavatum were treated with a modification of the Nuss procedure that included the entrance in the left haemithorax first, and the use of the retractor to lift the sternum, with the consequent lowering displacement of the heart. These modified techniques have certain advantages: (i) the narrow anterior mediastinum between the sternum and the pericardial sac is expanded by pulling up the sternum; (ii) the thoracoscopic visualization of the tip of the introducer during tunnel creation is improved; (iii) the rubbing of the introducer against the pericardium is minimized; (iv) the exit path of the introducer can be guided by the surgeon's finger and (v) haemostasis and integrity of the pericardial sac can be more easily confirmed. We observed that with these manoeuvres, the risk of pericardial sac and cardiac injury can be markedly reduced.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper describes a rapid method for arsenic (As) speciation by LC-ICP-MS in several types of food samples. Prior to analysis, samples were milled and the As species extracted from biological tissues by sonication in only 2 min with a solution containing MeOH (10%, v/v) plus HNO3 (2%, v/v). As species were separated by LC using an anion exchange column. Method detection limits for AsB, As3+,DMA, MMA and As5+ were 1.3, 0.9, 0.6, 0.7 and 0.8 ng g(-1), respectively. Method accuracy and precision were traceable to Certified Reference Materials SRM1577 bovine liver from the National Institute of Standards and Technology, CE278 mussel tissue from the Institute of Reference Materials and Measurements and DOLT-3 dogfish liver tissue and DORM-3 fish protein from the National Research Council of Canada. Finally, the method was applied to speciate As in food samples (egg, fish muscle, beef and chicken) purchased in Brazilian markets.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A method for the simultaneous quantification of lycopene, beta-carotene, retinol and alpha-tocopherol by high-performance liquid chromatography (HPLC) with Vis/fluorescence detection with isocratic elution was optimized and validated. The method consists of a rapid and simple liquid-liquid extraction procedure and a posterior quantification of extracted supernatants by HPLC. Aliquots of plasma were stored at -20 degrees C for three months for stability study. The methodology was applied to samples from painters and individuals not exposed to paints (n = 75). The assay was linear for all vitamins (r > 0.99). Intra-and inter-run precisions were obtained with coefficient of variation smaller than 5%. The accuracies ranged from 0.29 to -5.80% and recoveries between 92.73 and 101.97%. Plasma samples and extracted supernatants were stable for 60 days at -20 degrees C. A significant decrease of lycopene, beta-carotene and retinol concentrations in plasma from exposed individuals compared to non-exposed individuals (p < 0.05) was observed. The method is simple, reproducible, precise, accurate and sensitive, and can be routinely utilized in clinical laboratories.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

An electrochemical quartz crystal microbalance Au electrode modified with a Se thin film was used to investigate the electrochemical behavior of lead ad-atoms using underpotential deposition (UPD) conditions. A specific quasi-reversible process was observed during the reduction of Pb2+ on Se thin films in perchloric acid media. The charge density of Pb ad-atoms on Se thin film (46.86 mu C cm(-2)) suggests a recovery of 0.1 monolayers, which is in good agreement with EQCM data. The Se thin film can be successfully alloyed with Pb atoms that are deposited by chronoamperometry using time intervals large enough to allow for diffusion toward the inner Se phase. Linear sweep voltammetry combined with EQCM in perchloric acid was used to characterize the amount of Pb absorbed in the Se thin film. These findings offer a new strategy for alloy formation in semiconductor films using UPD as an effective tool to quantify the exact amount of the incorporated metal.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Cloud point extraction (CPE) was employed for separation and preconcentration prior to the determination of nickel by graphite furnace atomic absorption spectrometry (GFAAS), flame atomic absorption spectrometry (FAAS) or UV-Vis spectrophotometry. Di-2-pyridyl ketone salicyloylhydrazone (DPKSH) was used for the first time as a complexing agent in CPE. The nickel complex was extracted from the aqueous phase using the Triton X-114 surfactant. Under optimized conditions, limits of detection obtained with GFAAS, FAAS and UV-Vis spectrophotometry were 0.14, 0.76 and 1.5 mu g L-1, respectively. The extraction was quantitative and the enrichment factor was estimated to be 27. The method was applied to natural waters, hemodialysis concentrates, urine and honey samples. Accuracy was evaluated by analysis of the NIST 1643e Water standard reference material.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Context. Convergent point (CP) search methods are important tools for studying the kinematic properties of open clusters and young associations whose members share the same spatial motion. Aims. We present a new CP search strategy based on proper motion data. We test the new algorithm on synthetic data and compare it with previous versions of the CP search method. As an illustration and validation of the new method we also present an application to the Hyades open cluster and a comparison with independent results. Methods. The new algorithm rests on the idea of representing the stellar proper motions by great circles over the celestial sphere and visualizing their intersections as the CP of the moving group. The new strategy combines a maximum-likelihood analysis for simultaneously determining the CP and selecting the most likely group members and a minimization procedure that returns a refined CP position and its uncertainties. The method allows one to correct for internal motions within the group and takes into account that the stars in the group lie at different distances. Results. Based on Monte Carlo simulations, we find that the new CP search method in many cases returns a more precise solution than its previous versions. The new method is able to find and eliminate more field stars in the sample and is not biased towards distant stars. The CP solution for the Hyades open cluster is in excellent agreement with previous determinations.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper, a procedure for the on-line process control of variables is proposed. This procedure consists of inspecting the m-th item from every m produced items and deciding, at each inspection, whether the process is out-of-control. Two sets of limits, warning (µ0 ± W) and control (µ0 ± C), are used. If the value of the monitored statistic falls beyond the control limits or if a sequence of h observations falls between the warning limits and the control limits, the production is stopped for adjustment; otherwise, production goes on. The properties of an ergodic Markov chain are used to obtain an expression for the average cost per item. The parameters (the sampling interval m, the widths of the warning, the control limits W and C(W < C), and the sequence length (h) are optimized by minimizing the cost function. A numerical example illustrates the proposed procedure.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A method for the simultaneous quantification of lycopene, β-carotene, retinol and α-tocopherol by high-performance liquid chromatography (HPLC) with Vis/fluorescence detection with isocratic elution was optimized and validated. The method consists of a rapid and simple liquid-liquid extraction procedure and a posterior quantification of extracted supernatants by HPLC. Aliquots of plasma were stored at -20°C for three months for stability study. The methodology was applied to samples from painters and individuals not exposed to paints (n = 75). The assay was linear for all vitamins (r > 0.99). Intra- and inter-run precisions were obtained with coefficient of variation smaller than 5%. The accuracies ranged from 0.29 to -5.80% and recoveries between 92.73 and 101.97%. Plasma samples and extracted supernatants were stable for 60 days at -20°C. A significant decrease of lycopene, β-carotene and retinol concentrations in plasma from exposed individuals compared to non-exposed individuals (p < 0.05) was observed. The method is simple, reproducible, precise, accurate and sensitive, and can be routinely utilized in clinical laboratories.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Most studies of exogenous visuospatial attention use placeholders indicating the regions where the stimuli appear on the screen. Preliminary results from our laboratory provided evidence that the attentional effect is more frequently observed when placeholders are used in these experimental procedures. Four experiments were carried out. Experiment 1 aimed at confirming the finding that the attentional effect of a spatially non-informative cue (S1) observed in the presence of placeholders disappears in their absence. The results confirmed this finding. Experiments 2, 3, and 4 examined several possible processes that could explain this finding. Experiment 2 investigated if the contribution of a faster disengagement of attention from the cued location or a stronger forward masking could explain the absence of attentional effect when no placeholders were used. Experiment 3 investigated if increased difficulty in discrimination of the target (S2) from S1 would favor the appearance of the attentional effect in the absence of placeholders. Experiment 4 investigated if an insufficient focusing of attention towards the cued location could explain the absence of attentional effect when no placeholders were used. The results of the three experiments indicated that placeholders act by reducing the discriminability of the S2. This would presumably lead to the adoption of an attentional set that favors the mobilization of attention by the S1

Relevância:

20.00% 20.00%

Publicador:

Resumo:

[ES] El objeto de esta investigación es la obtención de parámetros de fiabilidad a partir de la aplicación de la herramienta validada Team Sport Assessment Procedure (TSAP).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

La tesi ha lo scopo di illustrare l’efficacia di nuove tecniche per l’esecuzione della prova triassiale su sabbia. Sono state analizzate le tecniche di preparazione dei provini moist-tamping e mini proctor e l’efficacia del flushing di anidride carbonica e acua per realizzare la saturazione di provini di sabbia. Si è messo in evidenza modalità di esecuzione delle nuove procedure, effetti che producono, pregi e difetti per mezzo di una sperimentazione condotta con la cella triassiale del laboratorio di geotecnica del DISTART.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

La tesi verte sulle procedure di verifica delle prestazioni di potenza degli aerogeneratori. Si è realizzato un test di verifica su una centrale eolica in esercizio, sito nella provincia di Salerno, utilizzando diverse metodologie di verifica, delineate dai più importanti centri di ricerca internazionali, al fine di valutare l'affidabilità di ognuna di esse.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This thesis intends to investigate two aspects of Constraint Handling Rules (CHR). It proposes a compositional semantics and a technique for program transformation. CHR is a concurrent committed-choice constraint logic programming language consisting of guarded rules, which transform multi-sets of atomic formulas (constraints) into simpler ones until exhaustion [Frü06] and it belongs to the declarative languages family. It was initially designed for writing constraint solvers but it has recently also proven to be a general purpose language, being as it is Turing equivalent [SSD05a]. Compositionality is the first CHR aspect to be considered. A trace based compositional semantics for CHR was previously defined in [DGM05]. The reference operational semantics for such a compositional model was the original operational semantics for CHR which, due to the propagation rule, admits trivial non-termination. In this thesis we extend the work of [DGM05] by introducing a more refined trace based compositional semantics which also includes the history. The use of history is a well-known technique in CHR which permits us to trace the application of propagation rules and consequently it permits trivial non-termination avoidance [Abd97, DSGdlBH04]. Naturally, the reference operational semantics, of our new compositional one, uses history to avoid trivial non-termination too. Program transformation is the second CHR aspect to be considered, with particular regard to the unfolding technique. Said technique is an appealing approach which allows us to optimize a given program and in more detail to improve run-time efficiency or spaceconsumption. Essentially it consists of a sequence of syntactic program manipulations which preserve a kind of semantic equivalence called qualified answer [Frü98], between the original program and the transformed ones. The unfolding technique is one of the basic operations which is used by most program transformation systems. It consists in the replacement of a procedure-call by its definition. In CHR every conjunction of constraints can be considered as a procedure-call, every CHR rule can be considered as a procedure and the body of said rule represents the definition of the call. While there is a large body of literature on transformation and unfolding of sequential programs, very few papers have addressed this issue for concurrent languages. We define an unfolding rule, show its correctness and discuss some conditions in which it can be used to delete an unfolded rule while preserving the meaning of the original program. Finally, confluence and termination maintenance between the original and transformed programs are shown. This thesis is organized in the following manner. Chapter 1 gives some general notion about CHR. Section 1.1 outlines the history of programming languages with particular attention to CHR and related languages. Then, Section 1.2 introduces CHR using examples. Section 1.3 gives some preliminaries which will be used during the thesis. Subsequentely, Section 1.4 introduces the syntax and the operational and declarative semantics for the first CHR language proposed. Finally, the methodologies to solve the problem of trivial non-termination related to propagation rules are discussed in Section 1.5. Chapter 2 introduces a compositional semantics for CHR where the propagation rules are considered. In particular, Section 2.1 contains the definition of the semantics. Hence, Section 2.2 presents the compositionality results. Afterwards Section 2.3 expounds upon the correctness results. Chapter 3 presents a particular program transformation known as unfolding. This transformation needs a particular syntax called annotated which is introduced in Section 3.1 and its related modified operational semantics !0t is presented in Section 3.2. Subsequently, Section 3.3 defines the unfolding rule and prove its correctness. Then, in Section 3.4 the problems related to the replacement of a rule by its unfolded version are discussed and this in turn gives a correctness condition which holds for a specific class of rules. Section 3.5 proves that confluence and termination are preserved by the program modifications introduced. Finally, Chapter 4 concludes by discussing related works and directions for future work.