Handling and communicating uncertainty in chained geospatial web services

Recent developments in service-oriented and distributed computing have created exciting opportunities for the integration of models in service chains to create the Model Web. This offers the potential for orchestrating web data and processing services, in complex chains; a flexible approach which exploits the increased access to products and tools, and the scalability offered by the Web. However, the uncertainty inherent in data and models must be quantified and communicated in an interoperable way, in order for its effects to be effectively assessed as errors propagate through complex automated model chains. We describe a proposed set of tools for handling, characterizing and communicating uncertainty in this context, and show how they can be used to 'uncertainty- enable' Web Services in a model chain. An example implementation is presented, which combines environmental and publicly-contributed data to produce estimates of sea-level air pressure, with estimates of uncertainty which incorporate the effects of model approximation as well as the uncertainty inherent in the observational and derived data.

Systemic analysis of concurrent engineering practice

This paper discusses three major areas of knowledge; business process reengineering (BPR), soft systems methodology (SSM) and concurrent engineering (CE) to demonstrate that their philosophies are complementary. An example is given depicting how a manufacturing resource planning system is set up and how improvements can be achieved by applying CE best practice.

A design environment for deadlock-free concurrent software

Using current software engineering technology, the robustness required for safety critical software is not assurable. However, different approaches are possible which can help to assure software robustness to some extent. For achieving high reliability software, methods should be adopted which avoid introducing faults (fault avoidance); then testing should be carried out to identify any faults which persist (error removal). Finally, techniques should be used which allow any undetected faults to be tolerated (fault tolerance). The verification of correctness in system design specification and performance analysis of the model, are the basic issues in concurrent systems. In this context, modeling distributed concurrent software is one of the most important activities in the software life cycle, and communication analysis is a primary consideration to achieve reliability and safety. By and large fault avoidance requires human analysis which is error prone; by reducing human involvement in the tedious aspect of modelling and analysis of the software it is hoped that fewer faults will persist into its implementation in the real-time environment. The Occam language supports concurrent programming and is a language where interprocess interaction takes place by communications. This may lead to deadlock due to communication failure. Proper systematic methods must be adopted in the design of concurrent software for distributed computing systems if the communication structure is to be free of pathologies, such as deadlock. The objective of this thesis is to provide a design environment which ensures that processes are free from deadlock. A software tool was designed and used to facilitate the production of fault-tolerant software for distributed concurrent systems. Where Occam is used as a design language then state space methods, such as Petri-nets, can be used in analysis and simulation to determine the dynamic behaviour of the software, and to identify structures which may be prone to deadlock so that they may be eliminated from the design before the program is ever run. This design software tool consists of two parts. One takes an input program and translates it into a mathematical model (Petri-net), which is used for modeling and analysis of the concurrent software. The second part is the Petri-net simulator that takes the translated program as its input and starts simulation to generate the reachability tree. The tree identifies `deadlock potential' which the user can explore further. Finally, the software tool has been applied to a number of Occam programs. Two examples were taken to show how the tool works in the early design phase for fault prevention before the program is ever run.

A formal methodology for the verification of concurrent systems

There is an increasing emphasis on the use of software to control safety critical plants for a wide area of applications. The importance of ensuring the correct operation of such potentially hazardous systems points to an emphasis on the verification of the system relative to a suitably secure specification. However, the process of verification is often made more complex by the concurrency and real-time considerations which are inherent in many applications. A response to this is the use of formal methods for the specification and verification of safety critical control systems. These provide a mathematical representation of a system which permits reasoning about its properties. This thesis investigates the use of the formal method Communicating Sequential Processes (CSP) for the verification of a safety critical control application. CSP is a discrete event based process algebra which has a compositional axiomatic semantics that supports verification by formal proof. The application is an industrial case study which concerns the concurrent control of a real-time high speed mechanism. It is seen from the case study that the axiomatic verification method employed is complex. It requires the user to have a relatively comprehensive understanding of the nature of the proof system and the application. By making a series of observations the thesis notes that CSP possesses the scope to support a more procedural approach to verification in the form of testing. This thesis investigates the technique of testing and proposes the method of Ideal Test Sets. By exploiting the underlying structure of the CSP semantic model it is shown that for certain processes and specifications the obligation of verification can be reduced to that of testing the specification over a finite subset of the behaviours of the process.

Perception of concurrent sentences with harmonic or frequency-shifted voiced excitation:performance of human listeners and of computational models based on autocorrelation

Keyword identification in one of two simultaneous sentences is improved when the sentences differ in F0, particularly when they are almost continuously voiced. Sentences of this kind were recorded, monotonised using PSOLA, and re-synthesised to give a range of harmonic ?F0s (0, 1, 3, and 10 semitones). They were additionally re-synthesised by LPC with the LPC residual frequency shifted by 25% of F0, to give excitation with inharmonic but regularly spaced components. Perceptual identification of frequency-shifted sentences showed a similar large improvement with nominal ?F0 as seen for harmonic sentences, although overall performance was about 10% poorer. We compared performance with that of two autocorrelation-based computational models comprising four stages: (i) peripheral frequency selectivity and half-wave rectification; (ii) within-channel periodicity extraction; (iii) identification of the two major peaks in the summary autocorrelation function (SACF); (iv) a template-based approach to speech recognition using dynamic time warping. One model sampled the correlogram at the target-F0 period and performed spectral matching; the other deselected channels dominated by the interferer and performed matching on the short-lag portion of the residual SACF. Both models reproduced the monotonic increase observed in human performance with increasing ?F0 for the harmonic stimuli, but not for the frequency-shifted stimuli. A revised version of the spectral-matching model, which groups patterns of periodicity that lie on a curve in the frequency-delay plane, showed a closer match to the perceptual data for frequency-shifted sentences. The results extend the range of phenomena originally attributed to harmonic processing to grouping by common spectral pattern.

Simultaneous grouping in cochlear implant listeners:can abrupt changes in level be used to segregate components from a complex tone?

A sudden increase in the amplitude of a component often causes its segregation from a complex tone, and shorter rise times enhance this effect. We explored whether this also occurs in implant listeners (n?=?8). Condition 1 used a 3.5-s “complex tone” comprising concurrent stimulation on five electrodes distributed across the array of the Nucleus CI24 implant. For each listener, the baseline stimulus level on each electrode was set at 50% of the dynamic range (DR). Two 1-s increments of 12.5%, 25%, or 50% DR were introduced in succession on adjacent electrodes within the “inner” three of those activated. Both increments had rise and fall times of 30 and 970 ms or vice versa. Listeners reported which increment was higher in pitch. Some listeners performed above chance for all increment sizes, but only for 50% increments did all listeners perform above chance. No significant effect of rise time was found. Condition 2 replaced amplitude increments with decrements. Only three listeners performed above chance even for 50% decrements. One exceptional listener performed well for 50% decrements with fall and rise times of 970 and 30 ms but around chance for fall and rise times of 30 and 970 ms, indicating successful discrimination based on a sudden rise back to baseline stimulation. Overall, the results suggest that implant listeners can use amplitude changes against a constant background to pick out components from a complex, but generally these must be large compared with those required in normal hearing. For increments, performance depended mainly on above-baseline stimulation of the target electrodes, not rise time. With one exception, performance for decrements was typically very poor.

Investigation of aspects of reactive gliosis in human astrocytoma cell lines:application for toxicity assessment

The process of astrogliosis, or reactive gliosis, is a typical response of astrocytes to a wide range of physical and chemical injuries. The up-regulation of the astrocyte specific glial fibrillary acidic protein (GFAP) is a hallmark of reactive gliosis and is widely used as a marker to identify the response. In order to develop a reliable, sensitive and high throughput astrocyte toxicity assay that is more relevant to the human response than existing animal cell based models, the U251-MG, U373-MG and CCF-STTG 1 human astrocytoma cell lines were investigated for their ability to exhibit reactive-like changes following exposure to ethanol, chloroquine diphosphate, trimethyltin chloride and acrylamide. Cytotoxicity analysis showed that the astrocytic cells were generally more resistant to the cytotoxic effects of the agents than the SH-SY5Y neuroblastoma cells. Retinoic acid induced differentiation of the SH-SY5Y line was also seen to confer some degree of resistance to toxicant exposure, particularly in the case of ethanol. Using a cell based ELISA for GFAP together with concurrent assays for metabolic activity and cell number, each of the three cell lines responded to toxicant exposure by an increase in GFAP immunoreactivity (GFAP-IR), or by increased metabolic activity. Ethanol, chloroquine diphosphate, trimethyltin chloride and bacterial lipopolysaccharide all induced either GFAP or MTT increases depending upon the cell line, dose and exposure time. Preliminary investigations of additional aspects of astrocytic injury indicated that IL-6, but not TNF-α. or nitric oxide, is released following exposure to each of the compounds, with the exception of acrylamide. It is clear that these human astrocytoma cell lines are capable of responding to toxicant exposure in a manner typical of reactive gliosis and are therefore a valuable cellular model in the assessment of in vitro neurotoxicity.

Studies in the handling and absorption of biopterin derivatives in man

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT

Handling complexity in a small engineering business. Available in 2 volumes.

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY WITH PRIOR ARRANGEMENT

Aminoglycoside-induced changes in the renal handling of cations in the Fischer 344 rat

Disturbances of cation homeostasis, particularly hypomagnesaemia, are a frequent consequence of treatment with aminoglycoside antibiotics. These disturbances are thought to result from renal wasting of cations and administration of gentamicin to rats has been shown to produce hypercalciuria and hypermagnesiuria. The aims of this study were to attempt to elucidate these responses in anaesthetised rats infused with gentamicin and to use this model to investigate the mechanisms of these effects. Fischer 344 rats were anaesthetised and surgically prepared for clearance experiments. Infusion of gentamicin in isotonic saline increased urinary output of calcium and magnesium while sodium and potassium output were unaffected. These elevations in calcium and magnesium excretion were explained by reduced tubular reabsorption of these cations. Both the hypercalciuric and hypermagnesiuric responses to gentamicin were extremely rapid and were sustained during drug infusion; when gentamicin infusion ceased both responses were rapidly reversible. Infusion of another aminoglycoside, tobramycin, produced very similar effects to gentamicin. The hypercalciuria and hypermagnesiuria caused by gentimicin infusion were unaffected by parathyroidectomy. The peak increases in calcium and magnesium output brought about by infusion of gentamicin with frusemide were not significantly different to the increases produced by frusemide alone. The site at which gentamicin interferes with calcium and magnesium reabsorption cannot be firmly deduced from these results. However, the known close association between calcium and sodium reabsorption in the proximal tubule implies that gentamicin is unlikely to change proximal calcium reabsorption without a similar change in proximal sodium reabsorption. The similarity between the hypercalciuric and hypermagnesiuric effects of frusemide alone and the effects of frusemide infused simultaneously with gentamicin suggests that gentamicin may act at the same site as the diuretic, the thick ascending limb of the loop of Henle.

Investigations of the site and mechanisms of drug-induced reductions in the reabsorption of divalent cations by the kidney

Disturbances in electrolyte homeostasis are a frequent adverse side-effect of the administration of aminoglycoside antibiotics such as gentamicin, and the antineoplastic agent cis-platinum. The aims of this work were to further elucidate the site(s) and mechanism(s) by which these drugs may produce disturbances in the renal reabsorption of calcium and magnesium. These investigations were undertaken using a range of in vivo and in vitro techniques and models. Initially, a series of in vivo studies was conducted to delineate aspects of the acute and chronic effects of both drugs on renal electrolyte handling and to select and evaluate an appropriate animal model: subsequent investigations were focused on gentamicin. In a study of the acute and chronic effects of cis-platinum administration, there were pronounced acute changes in a variety of indices of nephrotoxic injury, including electrolyte excretion. Most effects resolved but there were chronic increases in the urinary excretion of calcium and magnesium. The renal response of three strains of rat (Fischer 344, Sprague-Dawley (SD), and Wistar) to a ranges of doses of gentamicin was also investigated. Drug administration produced substantially different responses between strains, in particular marked differences in calcium and magnesium excretion. The results suggested that the SD rat was an appropriately sensitive strain for use in further investigations. Acute infusion of gentamicin in the anaesthetised SD rat produced rapid, substantial increases in the fractional excretion of calcium and magnesium, while sodium and potassium output were unaffected, confirming previous results of similar experiments using F344 rats. Studies using lithium clearance measurements in the anaesthetised SD rat were undertaken to investigate the effects of gentamicin on proximal tubular calcium reabsorption. Lithium clearance was unaffected by acute gentamicin infusion, suggesting that the site of acute gentamicin-induced hypercalciuria may not be located in the proximal tubule. Inhibition of Ca2+ ATPase activity was investigated as a potential mechanism by which calcium reabsorption could be affected after aminoglycoside administration. In vitro, both Ca2+ ATPase and Na+/K+ ATPase activity could be similarly inhibited by the presence of aminoglycosides, in a dose-related manner. Whilst inhibition of Na+/K+ ATPase could be demonstrated biochemically after in vivo administration of gentamicin, there were no concurrent effects on Ca2+ ATPase activity, suggesting that inhibition of Ca2+ ATPase activity is unlikely to be a primary mechanism of aminoglycoside-induced reductions of calcium reabsorption. Histochemical studies could not discern inhibition of either Na+/K+ ATPase or Ca2+ ATPase activity after in vivo administration of gentamicin. Selection of renal cell lines for further investigative in vitro studies on the mechanisms of altered cation reabsorption was considered using MTT (3-(4,5,-dimethylthiazol-2-yl)-2,5-diphenyltetrazolium bromide) and Neutral Red cytotoxicity assays. The ability of LLC-PK1 and LLC-RK1 cell lines to correctly rank a series of nephrotoxic compounds with their known nephrotoxic potency in vivo was studied. Using these cell lines grown on semi-permeable inserts, alterations in the paracellular transport of 45Ca was investigated as a possible mechanism by which gentamicin could alter calcium reabsorption in vivo. Short term exposure (I h) of LLC-RK1 cells to gentamicin, via both cell surfaces, resulted in a reduction in paracellular permeability to both transepithelial 3H-mannitol and 45Ca fluxes. When LLC-RK1 cells were exposed via the apical surface only, similar dose-related reductions were seen to those observed when cells were exposed to the drug from both sides. Short-term basal exposure to gentamicin appeared to contribute less to the observed reductions in 3H-mannitol and 45Ca fluxes. Experiments investigating transepithelial movement of 45Ca and 3H-mannitol on LLC-PK1 cells after acute gentamicin exposure were inconclusive. Longer exposure (48 h) to gentamicin caused an increase in the permeability of the monolayer and a consequent increase in transepithelial 45Ca flux in the LLC-RK1 cell line; increases in permeability of LLC-PK1 cells to 45Ca and 3H-mannitol were not apparent under the same conditions. The site and mechanism at which gentamicin, in particular, alters calcium reabsorption cannot be definitively described from these studies. However, indirect evidence from lithium clearance studies suggests that the site of the lesion is unlikely to be located in the proximal tubule. The mechanism by which gentamicin exposure alters calcium reabsorption may be by reducing paracellular permeability to calcium rather than by altering active calcium transport processes.

Efficacy and toxicity of biocides used in handling sterile pharmaceuticals

This thesis has sought to investigate disinfection agents and procedures which may provide sanitisation against bacterial spores. A hard-surface disinfection test method was designed to ascertain which combinations of biocide and application method were most effective against bacterial spores. A combination of spraying and wiping was the most effective method of disinfection against Bacillus spores, with wiping found to play a key role in spore removal. The most efficacious of the biocides investigated was the 6% hydrogen peroxide. Vaporised Hydrogen Peroxide (VHP) gassing was more effective than traditional disinfection. In addition to efficacy, the toxic potential of the biocides to human airway epithelial cells in vitro was evaluated. Toxicity against human bronchial and nasal epithelial cells was assessed by determining cell viability, inflammatory status, protein oxidation and epithelial cell layer integrity. In addition the cell death mechanism following biocide exposure was investigated. There was a decrease in viable cells following exposure to all biocides when applied at practical concentrations. Almost all of the biocides tested elicited a pro-inflammatory response from the cells as measured by IL-8 production. All biocides increased protein oxidation as measured by thiol and carbonyl levels. Measurement of transepithelial electrical resistance and paracellular permeability indicated biocide-dependent decrease in epithelial cell barrier function. The cellular response was biased towards necrotic rather than apoptotic death. The use of biocides, although efficacious to some effects against Bacillus spores, will require careful monitoring for adverse health effects on personnel.