985 resultados para Formal Methods


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Qualitative data analysis (QDA) is often a time-consuming and laborious process usually involving the management of large quantities of textual data. Recently developed computer programs offer great advances in the efficiency of the processes of QDA. In this paper we report on an innovative use of a combination of extant computer software technologies to further enhance and simplify QDA. Used in appropriate circumstances, we believe that this innovation greatly enhances the speed with which theoretical and descriptive ideas can be abstracted from rich, complex, and chaotic qualitative data. © 2001 Human Sciences Press, Inc.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Low-micromolar concentrations of sulfite, thiosulfate and sulfide, present in synthetic wastewater or anaerobic digester effluent, were quantified by means of derivatization with monobromobimane, followed by HPLC separation with fluorescence detection. The concentration of elemental sulfur was determined, after its extraction with chloroform from the derivatized sample, by HPLC with UV detection. Recoveries of sulfide (both matrices), and of thiosulfate and sulfite (synthetic wastewater) were between 98 and 103%. The in-run RSDs on separate derivatizations were 13 and 19% for sulfite (two tests), between 1.5 and 6.6% for thiosulfate (two tests) and between 4.1 and 7.7% for sulfide (three tests). Response factors for derivatives of sulfide and thiosulfate, but not sulfite, were steady over a 13-month period during which 730 samples were analysed. Dithionate and tetrathionate did not seem to be detectable with this method. The distinctness of the elemental sulfur and the derivatizing-agent peaks was improved considerably by detecting elution at 297 instead of 263 nm. (C) 2002 Elsevier Science B.V. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Application of novel analytical and investigative methods such as fluorescence in situ hybridization, confocal laser scanning microscopy (CLSM), microelectrodes and advanced numerical simulation has led to new insights into micro-and macroscopic processes in bioreactors. However, the question is still open whether or not these new findings and the subsequent gain of knowledge are of significant practical relevance and if so, where and how. To find suitable answers it is necessary for engineers to know what can be expected by applying these modern analytical tools. Similarly, scientists could benefit significantly from an intensive dialogue with engineers in order to find out about practical problems and conditions existing in wastewater treatment systems. In this paper, an attempt is made to help bridge the gap between science and engineering in biological wastewater treatment. We provide an overview of recently developed methods in microbiology and in mathematical modeling and numerical simulation. A questionnaire is presented which may help generate a platform from which further technical and scientific developments can be accomplished. Both the paper and the questionnaire are aimed at encouraging scientists and engineers to enter into an intensive, mutually beneficial dialogue. (C) 2002 Elsevier Science Ltd. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The problem of designing spatially cohesive nature reserve systems that meet biodiversity objectives is formulated as a nonlinear integer programming problem. The multiobjective function minimises a combination of boundary length, area and failed representation of the biological attributes we are trying to conserve. The task is to reserve a subset of sites that best meet this objective. We use data on the distribution of habitats in the Northern Territory, Australia, to show how simulated annealing and a greedy heuristic algorithm can be used to generate good solutions to such large reserve design problems, and to compare the effectiveness of these methods.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Control of chaotic instability in a rotating multibody system in the form of a dual-spin spacecraft with an axial nutational damper is achieved using an algorithm derived using energy methods. The control method is implemented on two realistic spacecraft parameter configurations which have been found to exhibit chaotic instability when a sinusoidally varying torque is applied to the spacecraft for a range of forcing amplitudes and frequencies. Such a torque, in practice, may arise under malfunction of the control system or from an unbalanced rotor. Chaotic instabilities arising from these torques could introduce uncertainties and irregularities into a spacecraft's attitude and consequently impair pointing accuracy. The control method is formulated from nutational stability results derived using an energy sink approximation for a dual-spin spacecraft with an asymmetric platform and axisymmetric rotor. The effectiveness of the control method is shown numerically and the results are studied by means of time history, phase space, Poincare map, Lyapunov characteristic exponents and Bifurcation diagrams.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Improvements to peroxide oxidation methods for analysing acid sulfate soils (ASS) are introduced. The soil solution ratio has been increased to 1 : 40, titrations are performed in suspension, and the duration of the peroxide digest stage is substantially shortened. For 9 acid sulfate soils, the peroxide oxidisable sulfur value obtained using the improved method was compared with the reduced inorganic sulfur result obtained using the chromium reducible sulfur method. Their regression was highly significant, the slope of the regression line was not significantly different (P = 0.05) from unity, and the intercept not significantly different from zero. A complete sulfur budget for the improved method showed there was no loss of sulfur as has been reported for earlier peroxide oxidation techniques. When soils were very finely ground, efficient oxidation of sulfides was achieved, despite the milder digestion conditions. Highly sulfidic and organic soils were shown to be the most difficult to analyse using either the improved method or the chromium method. No single analytical method can be universally applied to all ASS, rather a suite of methods is necessary for a thorough understanding of many ASS. The improved peroxide method, in combination with the chromium method and the 4 M HCl extraction, form a sound platform for informed decision making on the management of acid sulfate soils.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Background: Measurement and improvement of quality of care is a priority issue in health care. Patients hospitalized with acute coronary syndromes (ACS) constitute a high-risk population whose care, if shown to be suboptimal on the basis of available research evidence, may benefit from quality improvement interventions. Aim: To evaluate the quality of in-hospital care for patients with ACS, using explicit quality indicators. Methods: Retrospective case note review was undertaken of 397 patients admitted to three teaching hospitals in Brisbane, Queensland, Australia, between 1 October 2000 and 17 April 2001. The main out-come measures were 12 process-of-care quality indicators, calculated as either: (i) the proportion of all patients who received specific interventions or (ii) the proportion of ideal patients who received -specific interventions (i.e. patients with clear indi-cations and lacking contraindications). Results: Quality indicators with values above 80% included: (i) patient selection for thrombolysis (100%) and discharge prescription of beta-blockers (84%), (ii) antiplatelet agents (94%) and (iii) lipid-lowering agents (82%). Indicators with values between 50% and 80% included: (i) timely per-formance of electrocardiogram (ECG) on admission (61%), (ii) early coronary angiography (75%), (iii) measurement of serum lipids (71%) and (iv) discharge prescription of angiotensin-converting-enzyme (ACE) inhibitors (73%). Indicators with values <50% included: (i) timely administration of thrombolysis (35%), (ii) non-invasive risk assessment (23%) and (ii) formal in-hospital and post-hospital cardiac rehabilitation (47% and 7%, respectively). Conclusion: There were delays in performing ECG and administering thrombolysis to patients who presented to emergency departments with ACS. Improvement is warranted in use of non-invasive procedures for identifying high-risk patients who may benefit from coronary revascularization as well as use of serum lipid measurements, ACE inhibitors and cardiac rehabilitation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Background: Thalamotomy has been reported to be successful in ameliorating the motor symptoms of tremor and/or rigidity in people with Parkinson's disease (PD), emphasising the bona fide contribution of this subcortical nucleus to the neural circuitry subserving motor function. Despite evidence of parallel yet segregated associative and motor cortico-subcortical-cortical circuits, comparatively few studies have investigated the effects of this procedure on cognitive functions. In particular, research pertaining to the impact of thalamotomy on linguistic processes is fundamentally lacking. Aims: The purpose of this research was to investigate the effects of thalamotomy in the language dominant and non-dominant hemispheres on linguistic functioning, relative to operative theoretical models of subcortical participation in language. This paper compares the linguistic profiles of two males with PD, aged 75 years (10 years of formal education) and 62 years (22 years of formal education), subsequent to unilateral thalamotomy procedures within the language dominant and non-dominant hemispheres, respectively. Methods & Procedures: Comprehensive linguistic profiles comprising general and high-level linguistic abilities in addition to on-line semantic processing skills were compiled up to 1 month prior to surgery and 3 months post-operatively, within perceived on'' periods (i.e., when optimally medicated). Pre- and post-operative language performances were compared within-subjects to a group of 16 non-surgical Parkinson's controls (NSPD) and a group of 16 non-neurologically impaired adults (NC). Outcomes & Results: The findings of this research suggest a laterality effect with regard to the contribution of the thalamus to high-level linguistic abilities and, potentially, the temporal processing of semantic information. This outcome supports the application of high-level linguistic assessments and measures of semantic processing proficiency to the clinical management of individuals with dominant thalamic lesions. Conclusions: The results reported lend support to contemporary theories of dominant thalamic participation in language, serving to further elucidate our current understanding of the role of subcortical structures in mediating linguistic processes, relevant to cortical hemispheric dominance.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper we construct predictor-corrector (PC) methods based on the trivial predictor and stochastic implicit Runge-Kutta (RK) correctors for solving stochastic differential equations. Using the colored rooted tree theory and stochastic B-series, the order condition theorem is derived for constructing stochastic RK methods based on PC implementations. We also present detailed order conditions of the PC methods using stochastic implicit RK correctors with strong global order 1.0 and 1.5. A two-stage implicit RK method with strong global order 1.0 and a four-stage implicit RK method with strong global order 1.5 used as the correctors are constructed in this paper. The mean-square stability properties and numerical results of the PC methods based on these two implicit RK correctors are reported.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper presents results on the simulation of the solid state sintering of copper wires using Monte Carlo techniques based on elements of lattice theory and cellular automata. The initial structure is superimposed onto a triangular, two-dimensional lattice, where each lattice site corresponds to either an atom or vacancy. The number of vacancies varies with the simulation temperature, while a cluster of vacancies is a pore. To simulate sintering, lattice sites are picked at random and reoriented in terms of an atomistic model governing mass transport. The probability that an atom has sufficient energy to jump to a vacant lattice site is related to the jump frequency, and hence the diffusion coefficient, while the probability that an atomic jump will be accepted is related to the change in energy of the system as a result of the jump, as determined by the change in the number of nearest neighbours. The jump frequency is also used to relate model time, measured in Monte Carlo Steps, to the actual sintering time. The model incorporates bulk, grain boundary and surface diffusion terms and includes vacancy annihilation on the grain boundaries. The predictions of the model were found to be consistent with experimental data, both in terms of the microstructural evolution and in terms of the sintering time. (C) 2002 Elsevier Science B.V. All rights reserved.