914 resultados para purely sequential procedure
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.
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.
Resumo:
The continued growth of large cities is producing increasing volumes of urban sewage sludge. Disposing of this waste without damaging the environment requires careful management. The application of large quantities of biosolids (treated sewage sludge) to agricultural lands for many years may result in the excessive accumulation of nutrients like phosphorus (P) and thereby raise risks of eutrophication in nearby water bodies. We evaluated the fractionation of P in samples of an Oxisol collected as part of a field experiment in which biosolids were added at three rates to a maize (Zea mays L) plantation over four consecutive years. The biosolids treatments were equivalent to one, two and four times the recommended N rate for maize crops. In a fourth treatment, mineral fertilizer was applied at the rate recommended for maize. Inorganic P forms were extracted with ammonium chloride to remove soluble and loosely bound P; P bound to aluminum oxide (P-Al) was extracted with ammonium fluoride; P bound to iron oxide (P-Fe) was extracted with sodium hydroxide; and P bound to calcium (P-Ca) was extracted with sulfuric acid. Organic P was calculated as the difference between total P and inorganic P. The predominant fraction of P was P-Fe, followed by P-Al and P-Ca. P fractions were positively correlated to the amounts of P applied, except for P-Ca. The low values of P-Ca were due to the advanced weathering processes to which the Oxisol have been subjected, under which forms of P-Ca are converted to P-Fe and P-Al. The fertilization with P via biosolids increased P availability for maize plants even when a large portion of P was converted to more stable forms. Phosphorus content in maize leaves and grains was positively correlated with P fractions in soils. From these results it can be concluded that the application of biosolids in highly weathered tropical clayey soils for many years, even above the recommended rate based on N requirements for maize, tend to be less potentially hazardous to the environment than in less weathered sandy soils because the non-readily P fractions are predominant after the addition of biosolids. (C) 2012 Elsevier B.V. All rights reserved.
Resumo:
Abstract Objectives In this work we investigated how immunological dysfunction and malnutrition interact in alcoholic and viral aetiologies of cirrhosis. Methods To investigate the matter, 77 cirrhotic patients divided in three aetiologies [Alcohol, HCV and Alcohol + HCV) and 32 controls were prospectivelly and sequentially studied. Parameters of humoral immunity (Components 3 and 4 of seric complement and immunoglobulins A M, G and E) and of cellular immunity (total leukocytes and lymphocytes in peripheral blood, T lymphocytes subpopulations, CD4+ and CD8+, CD4+/CD8+ ratio and intradermic tests of delayed hypersensitivity), as well as nutrititional parameters: anthropometric measures, serum albumin and transferrin were evaluated. Results Multiple statistical comparisons showed that IgM was higher in HCV group; IgG was significantly elevated in both HCV and Alcohol + HCV, whereas for the Alcohol group, IgE was found at higher titles. The analysis of T- lymphocytes subpopulations showed no aetiologic differences, but intradermic tests of delayed hypersensitivity did show greater frequency of anergy in the Alcohol group. For anthropometric parameters, the Alcohol +HCV group displayed the lowest triceps skinfold whereas creatinine – height index evaluation was more preserved in the HCV group. Body mass index, arm muscle area and arm fat area showed that differently from alcohol group, the HCV group was similar to control. Conclusion Significant differences were found among the main aetiologies of cirrhosis concerning immunological alterations and nutritional status: better nutrition and worse immunology for HCV and vice-versa for alcohol.
Resumo:
Schistosomiasis constitutes a major public health problem, with an estimated 200 million individuals infected worldwide and 700 million people living in risk areas. In Brazil there are areas of high, medium and low endemicity. Studies have shown that in endemic areas with a low prevalence of Schistosoma infection the sensitivity of parasitological methods is clearly reduced. Consequently diagnosis is often impeded due to the presence of false-negative results. The aim of this study is to present the PCR reamplification (Re-PCR) protocol for the detection of Schistosoma mansoni in samples with low parasite load (with less than 100 eggs per gram (epg) of feces). Three methods were used for the lysis of the envelopes of the S. mansoni eggs and two techniques of DNA extraction were carried out. Extracted DNA was quantified, and the results suggested that the extraction technique, which mixed glass beads with a guanidine isothiocyanate/phenol/chloroform (GT) solution, produced good results. PCR reamplification was conducted and detection sensitivity was found to be five eggs per 500 mg of artificially marked feces. The results achieved using these methods suggest that they are potentially viable for the detection of Schistosoma infection with low parasite load.
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.
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.
Resumo:
Small scale fluid flow systems have been studied for various applications, such as chemical reagent dosages and cooling devices of compact electronic components. This work proposes to present the complete cycle development of an optimized heat sink designed by using Topology Optimization Method (TOM) for best performance, including minimization of pressure drop in fluid flow and maximization of heat dissipation effects, aiming small scale applications. The TOM is applied to a domain, to obtain an optimized channel topology, according to a given multi-objective function that combines pressure drop minimization and heat transfer maximization. Stokes flow hypothesis is adopted. Moreover, both conduction and forced convection effects are included in the steady-state heat transfer model. The topology optimization procedure combines the Finite Element Method (to carry out the physical analysis) with Sequential Linear Programming (as the optimization algorithm). Two-dimensional topology optimization results of channel layouts obtained for a heat sink design are presented as example to illustrate the design methodology. 3D computational simulations and prototype manufacturing have been carried out to validate the proposed design methodology.
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
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).
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.
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.
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.