Development of real-time process control systems using formal techniques

A major application of computers has been to control physical processes in which the computer is embedded within some large physical process and is required to control concurrent physical processes. The main difficulty with these systems is their event-driven characteristics, which complicate their modelling and analysis. Although a number of researchers in the process system community have approached the problems of modelling and analysis of such systems, there is still a lack of standardised software development formalisms for the system (controller) development, particular at early stage of the system design cycle. This research forms part of a larger research programme which is concerned with the development of real-time process-control systems in which software is used to control concurrent physical processes. The general objective of the research in this thesis is to investigate the use of formal techniques in the analysis of such systems at their early stages of development, with a particular bias towards an application to high speed machinery. Specifically, the research aims to generate a standardised software development formalism for real-time process-control systems, particularly for software controller synthesis. In this research, a graphical modelling formalism called Sequential Function Chart (SFC), a variant of Grafcet, is examined. SFC, which is defined in the international standard IEC1131 as a graphical description language, has been used widely in industry and has achieved an acceptable level of maturity and acceptance. A comparative study between SFC and Petri nets is presented in this thesis. To overcome identified inaccuracies in the SFC, a formal definition of the firing rules for SFC is given. To provide a framework in which SFC models can be analysed formally, an extended time-related Petri net model for SFC is proposed and the transformation method is defined. The SFC notation lacks a systematic way of synthesising system models from the real world systems. Thus a standardised approach to the development of real-time process control systems is required such that the system (software) functional requirements can be identified, captured, analysed. A rule-based approach and a method called system behaviour driven method (SBDM) are proposed as a development formalism for real-time process-control systems.

Downstream effects on human low density lipoprotein of homocysteine exported from endothelial cells in an in vitro system

A model system is presented using human umbilical vein endothelial cells (HUVECs) to investigate the role of homocysteine (Hcy) in atherosclerosis. HUVECs are shown to export Hcy at a rate determined by the flux through the methionine/Hcy pathway. Additional methionine increases intracellular methionine, decreases intracellular folate, and increases Hcy export, whereas additional folate inhibits export. An inverse relationship exists between intracellular folate and Hcy export. Hcy export may be regulated by intracellular S-adenosyl methionine rather than by Hcy. Human LDLs exposed to HUVECs exporting Hcy undergo time-related lipid oxidation, a process inhibited by the thiol trap dithionitrobenzoate. This is likely to be related to the generation of hydroxyl radicals, which we show are associated with Hcy export. Although Hcy is the major oxidant, cysteine also contributes, as shown by the effect of glutamate. Finally, the LDL oxidized in this system showed a time-dependent increase in uptake by human macrophages, implying an upregulation of the scavenger receptor. These results suggest that continuous export of Hcy from endothelial cells contributes to the generation of extracellular hydroxyl radicals, with associated oxidative modification of LDL and incorporation into macrophages, a key step in atherosclerosis. Factors that regulate intracellular Hcy metabolism modulate these effects. Copyright © 2005 by the American Society for Biochemistry and Molecular Biology, Inc.

Population pharmacokinetic and pharmacogenetic analysis of tacrolimus in paediatric liver transplant patients

Aims - To build a population pharmacokinetic model that describes the apparent clearance of tacrolimus and the potential demographic, clinical and genetically controlled factors that could lead to inter-patient pharmacokinetic variability within children following liver transplantation. Methods - The present study retrospectively examined tacrolimus whole blood pre-dose concentrations (n = 628) of 43 children during their first year post-liver transplantation. Population pharmacokinetic analysis was performed using the non-linear mixed effects modelling program (nonmem) to determine the population mean parameter estimate of clearance and influential covariates. Results - The final model identified time post-transplantation and CYP3A5*1 allele as influential covariates on tacrolimus apparent clearance according to the following equation: TVCL = 12.9 x (Weight/13.2)0.35 x EXP (-0.0058 x TPT) x EXP (0.428 x CYP3A5) where TVCL is the typical value for apparent clearance, TPT is time post-transplantation in days and the CYP3A5 is 1 where *1 allele is present and 0 otherwise. The population estimate and inter-individual variability (%CV) of tacrolimus apparent clearance were found to be 0.977 l h−1 kg−1 (95% CI 0.958, 0.996) and 40.0%, respectively, while the residual variability between the observed and predicted concentrations was 35.4%. Conclusion Tacrolimus apparent clearance was influenced by time post-transplantation and CYP3A5 genotypes. The results of this study, once confirmed by a large scale prospective study, can be used in conjunction with therapeutic drug monitoring to recommend tacrolimus dose adjustments that take into account not only body weight but also genetic and time-related changes in tacrolimus clearance.

Effect of age related macular degeneration on the Eger macular stressometer photostress recovery time

Aim: To assess the repeatability of Eger macular stressometer (EMS) measures of photostress recovery and determine their association with other measures of visual function. Methods: EMS photostress recovery time was measured in 90 patients with bilateral exudative age related macular degeneration (AMD), 19 with bilateral atrophic AMD and 47 with both forms of the condition (mean age 79 (SD 13) years). Measurements were made on two occasions separated by 1 year. Intrasession repeatability was assessed by repeating the measures after a 10 minute recovery period at the first visit. Distance visual acuity was measured with a logMAR chart, near visual acuity with a MNRead chart at 25 cm, contrast sensitivity with a Pelli-Robson chart, and the presence of central visual disturbance assessed with an Amsler grid. A questionnaire was used to assess self reported difficulties with glare recovery. Results: The average EMS recovery time was 11.0 (SD 8.9) seconds, decreasing by 1.6 (5.2) seconds on repeated measurement (p<0.05). EMS photostress recovery was not correlated with visual function measures or subjective difficulties with lights (p>0.05). EMS photostress recovery time did not predict those whose vision decreased over the following year compared with those among whom it remained stable. Conclusions: The EMS test is not a useful tool in determining the severity or progression of AMD.

Reliability, normative data, and the effect of age-related macular disease on the Eger Macular Stressometer photostress recovery time

Purpose: To assess repeatability and reproducibility, to determine normative data, and to investigate the effect of age-related macular disease, compared with normals, on photostress recovery time measured using the Eger Macular Stressometer (EMS). Method: The study population comprised 49 healthy eyes of 49 participants. Four EMS measurements were taken in two sessions separated by 1 h by two practitioners, with reversal of order in the second session. EMS readings were also taken from 17 age-related maculopathy (ARM), and 12 age-related macular degeneration (AMD), affected eyes. Results: EMS readings are repeatable to within ± 7 s. There is a statistically significant difference between controls and ARM affected eyes (t = 2.169, p = 0.045), and AMD affected eyes (t = 2.817, p = 0.016). The EMS is highly specific, and demonstrates sensitivity of 29% for ARM, and 50% for AMD. Conclusions: The EMS may be a useful screening test for ARM, however, direct illumination of the macula of greater intensity and longer duration may yield less variable results. © 2004 The College of Optometrists.