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.

Quality of life instruments in studies of menorrhagia: a systematic review

BACKGROUND: The use of quality of life (QoL) instruments in menorrhagia research is increasing but there is concern that not enough emphasis is placed on patient-focus in these measurements, i.e. on issues which are of importance to patients and reflect their experiences and concerns (clinical face validity). The objective was to assess the quality of QoL instruments in studies of menorrhagia. STUDY DESIGN: A systematic review of published research. Papers were identified through MEDLINE (1966-April 2000), EMBASE (1980-April 2000), Science Citation Index (1981-April 2000), Social Science Citation Index (1981-April 2000), CINAHL (1982-1999) and PsychLIT (1966-1999), and by manual searching of bibliographies of known primary and review articles. Studies were selected if they assessed women with menorrhagia for life quality, either developing QoL instruments or applying them as an outcome measure. Selected studies were assessed for quality of their QoL instruments, using a 17 items checklist including 10 items for clinical face validity (issues of relevance to patients' expectations and concerns) and 7 items for measurement properties (such as reliability, responsiveness, etc.). RESULTS: A total of 19 articles, 8 on instrument development and 11 on application, were included in the review. The generic Short Form 36 Health Survey Questionnaire (SF36) was used in 12/19 (63%) studies. Only two studies developed new specific QoL instruments for menorrhagia but they complied with 7/17 (41%) and 10/17 (59%) of the quality criteria. Quality assessment showed that only 7/19 (37%) studies complied with more than half the criteria for face validity whereas 17/19 (90%) studies complied with more than half of the criteria for measurement properties (P = 0.0001). CONCLUSION: Among existing QoL instruments, there is good compliance with the quality criteria for measurement properties but not with those for clinical face validity. There is a need to develop methodologically sound disease specific QoL instruments in menorrhagia focussing both on face validity and measurement properties.

The psychology of news influence and development of Media Framing Analysis

HowHow precisely do media influence their readers, listeners and viewers? In this paper, we argue that any serious study of the psychology of media influence must incorporate a systematic analysis of media material. However, psychology presently lacks a methodology for doing this that is sensitive to context, relying on generalised methods like content or discourse analysis. In this paper, we develop an argument to support our development of a technique that we have called Media Framing Analysis (MFA), a formal procedure for conducting analyses of (primarily news) media texts. MFA draws on elements of existing framing research from communication and other social scientific research while at the same time incorporating features of particular relevance to psychology, such as narrative and characterisation.

Development of an electric heat pump for domestic use

This thesis records the design and development of an electrically driven, air to water, vapour compression heat pump of nominally 6kW heat output, for residential space heating. The study was carried out on behalf of GEC Research Ltd through the Interdisciplinary Higher Degrees Scheme at Aston University. A computer based mathematical model of the vapour compression cycle was produced as a design aid, to enable the effects of component design changes or variations in operating conditions to be predicted. This model is supported by performance testing of the major components, which revealed that improvements in the compressor isentropic efficiency offer the greatest potential for further increases in cycle COPh. The evaporator was designed from first principles, and is based on wire-wound heat transfer tubing. Two evaporators, of air side area 10.27 and 16.24m2, were tested in a temperature and humidity controlled environment, demonstrating that the benefits of the large coil are greater heat pump heat output and lower noise levels. A systematic study of frost growth rates suggested that this problem is most severe at the conditions of saturated air at 0oC combined with low condenser water temperature. A dynamic simulation model was developed to predict the in-service performance of the heat pump. This study confirmed the importance of an adequate radiator area for heat pump installations. A prototype heat pump was designed and manufactured, consisting of a hermetic reciprocating compressor, a coaxial tube condenser and a helically coiled evaporator, using Refrigerant 22. The prototype was field tested in a domestic environment for one and a half years. The installation included a comprehensive monitoring system. Initial problems were encountered with defrosting and compressor noise, both of which were solved. The unit then operated throughout the 1985/86 heating season without further attention, producing a COPh of 2.34.

A systematic and mechanistic evaluation of aspartic acid as filler for directly compressed tablets containing trimethoprim and trimethoprim aspartate

The generally accepted paradigm of 'inert' and 'mono functional' excipient in dosage form has been recently challenged with the development of individual excipients capable of exhibiting multiple functions (e.g. binder-disintegrants, surfactant which affect P-gp function). The proposed study has been designed within the realm of multifunctionality and is the first and novel investigation towards evaluation of aspartic acid as a filler and disintegration enhancing agent for the delivery of biopharmaceutical class IV model drug trimethoprim. The study investigated powder characteristics using angle of repose, laser diffractometry and scanning electron microscopy (SEM). The prepared tablets were characterised using Heckel analysis, disintegration time and tensile strength measurements. Although Heckel analysis revealed that both TMP and TMP aspartate salt have high elasticity, the salt form produced a stronger compact which was attributed to the formation of agglomerates. Aspartic acid was found to have high plasticity, but its incorporation into the formulations was found to have a negative impact on the compaction properties of TMP and its salt. Surface morphology investigations showed that mechanical interlocking plays a vital role in binding TMP crystals together during compaction, while the small particle size of TMP aspartate agglomerates was found to have significant impact on the tensile strength of the tablets. The study concluded that aspartic acid can be employed as filler and disintegrant and that compactability within tablets was independent of the surface charge of the excipients.

Development and trialling of a behavioural intervention for patients with atrial fibrillation initiating oral anticoagulation:the 'treat' study

Purpose: Atrial fibrillation (AF) is the most common heart arrhythmia and is associated with an increased risk of stroke. Stroke risk is commonly treated with oral anticoagulation (OAC) with a narrow therapeutic range (INR 2.0 to 3.0); which is poorly controlled in practice. Barriers to adherence include poor knowledge, and inaccurate perceptions surrounding illness and medications. Trial registration: ISRCTN93952605. Systematic review: Seven trials of educational, self-monitoring and decision aid interventions were included in a systematic review. Pooled analysis suggested education OR, 95% CI 7.89 (5.54-10.24) and self monitoring OR (95% CI) 5.47(2.55-8.39) significantly improve TTR; whereas decision aids are no more effective in reducing decision conflict than usual care, OR (95% CI) -0.10 (-0.17 to -0.02). Intervention development: The intervention was theoretically-driven (utilising the common sense and beliefs about medication models) and developed with expert patient feedback. Described using behavioural change techniques, the one-off group session included an educational booklet, ‘expert-patient’ focussed DVD, and worksheet. Methods: Ninety seven warfarin-naïve AF patients were randomised to receive the intervention (n=43), or usual care (n=54). The primary endpoint was time within therapeutic range (TTR), secondary endpoints included knowledge, quality of life (AF-QoL-18), beliefs about medication (BMQ), illness perceptions (IPQ-B), and anxiety and depression (HADS). Results: Intervention group had significantly higher TTR than usual care (78.5% vs. 66.7%; p=0.01). Knowledge changed significantly across time (F (3, 47) = 6.4; p<0.01), but not between groups (F (1, 47) = 3.3; p = 0.07). At six months knowledge predicted TTR (r=0.245; p=0.04). Illness concern negatively correlated with TTR (r= - 0.199; p=0.05). General Harm scores at one month predicted TTR (F (1, 72) = 4.08; p=0.048). There were significant differences in emotional representations (F (3, 49) = 3.3 (3, 49); p= 0.03), anxiety (F (3, 46) = 25.2; p<0.01) and depression (F (3, 46) = 37.7; p<0.01) across time. Conclusion: A theory-driven educational intervention can improve TTR in AF patients and potentially reduce the risk of adverse clinical outcomes. Improving education provision for AF patients is essential to ensure efficacious treatment.

Teallach - a flexible user - interface development environment for object database applications

The Teallach project has adapted model-based user-interface development techniques to the systematic creation of user-interfaces for object-oriented database applications. Model-based approaches aim to provide designers with a more principled approach to user-interface development using a variety of underlying models, and tools which manipulate these models. Here we present the results of the Teallach project, describing the tools developed and the flexible design method supported. Distinctive features of the Teallach system include provision of database-specific constructs, comprehensive facilities for relating the different models, and support for a flexible design method in which models can be constructed and related by designers in different orders and in different ways, to suit their particular design rationales. The system then creates the desired user-interface as an independent, fully functional Java application, with automatically generated help facilities.

Systematic screening of compressed ODT excipients:cellulosic versus non-cellulosic

The successful development of compressed ODTs utilises low compression forces to create a porous structure whereby excipients are added to enhance wicking/swelling action or provide strength to the fragile tablet framework. In this work, a systematic investigation comparing materials from two different categories was employed to understand their functionality in binary mixture tablets of the most commonly used diluent mannitol. Cellulose based excipients such as HPC (SSL-SFP), L-HPC (NBD-022) and MCC (Avicel PH-102) were compared with non-cellulosic materials such as PEO (POLYOX WSR N-10) and Crospovidone (XL-10). Pure excipient properties were studied using Heckel Plot, compressibility profile, SEM and XRPD, whereas the prepared binary mixture compacts were studied for hardness, disintegration time and friability. Results from our investigation provide insight into differences encountered in product performance of ODT upon inclusion of additional materials. For example, non-cellulosic excipients Polyox and Crospovidone showed higher plasticity (Py values 588 and 450MPa) in pure form but not in binary mixtures of mannitol. Cellulosic excipients, nonetheless, offer faster disintegration (<30 sec) specifically L-HPC and MCC tablets. Disintegration time for tablets with fully substituted-HPC was prolonged (200-500 sec) upon increasing concentration between 1-10% due to gelation/matrix formation. It can be concluded that despite the reasonably good plasticity of both cellulosic and non-cellulosic excipients in pure form, the mechanical strength in binary mixtures is negatively impacted by the fragmentation/fracture effect of mannitol. © 2014 Bentham Science Publishers.

Systematic screening of compressed ODT excipients : cellulosic versus non-cellulosic

The successful development of c ompressed ODTs utilises low compression force s to create a porous structure whereby excipients are added to enhance wicking/swelling action or p rovide strength to the fragile tablet framework. In this work, a systematic investigation comparing materials from two different categories was employed to understand their functionality in binary mixture tablets of the most commonly used diluent mannitol. Cellulose based excipients such as HPC (SSL-SFP), L-HPC (NBD -022) and MCC (Avicel PH -102 ) were compared with non -cellulosic materials such as PEO (POLYOX WSR N -10) and Crospovidone (XL -10). P ure excipient properties were studied using Heckel Plot, compre ssibility profile, SEM and XR PD, w hereas the prepared binary mixture compacts were studied for hardness, disintegration time and friability. Results from our investigation provide insight into differences encountered in product performance of ODT upon inclusion of additional materials. For example, non -cellulosic excipients Polyox and Crospovidone showed higher plasticity (Py values 588 and 450 MPa) in pure form but not in binary mixtures of mannitol . Cellulosic excipients, nonetheless, offer faster disintegration (

Quality of life instruments in studies of menorrhagia: a systematic review

BACKGROUND: The use of quality of life (QoL) instruments in menorrhagia research is increasing but there is concern that not enough emphasis is placed on patient-focus in these measurements, i.e. on issues which are of importance to patients and reflect their experiences and concerns (clinical face validity). The objective was to assess the quality of QoL instruments in studies of menorrhagia. STUDY DESIGN: A systematic review of published research. Papers were identified through MEDLINE (1966-April 2000), EMBASE (1980-April 2000), Science Citation Index (1981-April 2000), Social Science Citation Index (1981-April 2000), CINAHL (1982-1999) and PsychLIT (1966-1999), and by manual searching of bibliographies of known primary and review articles. Studies were selected if they assessed women with menorrhagia for life quality, either developing QoL instruments or applying them as an outcome measure. Selected studies were assessed for quality of their QoL instruments, using a 17 items checklist including 10 items for clinical face validity (issues of relevance to patients' expectations and concerns) and 7 items for measurement properties (such as reliability, responsiveness, etc.). RESULTS: A total of 19 articles, 8 on instrument development and 11 on application, were included in the review. The generic Short Form 36 Health Survey Questionnaire (SF36) was used in 12/19 (63%) studies. Only two studies developed new specific QoL instruments for menorrhagia but they complied with 7/17 (41%) and 10/17 (59%) of the quality criteria. Quality assessment showed that only 7/19 (37%) studies complied with more than half the criteria for face validity whereas 17/19 (90%) studies complied with more than half of the criteria for measurement properties (P = 0.0001). CONCLUSION: Among existing QoL instruments, there is good compliance with the quality criteria for measurement properties but not with those for clinical face validity. There is a need to develop methodologically sound disease specific QoL instruments in menorrhagia focussing both on face validity and measurement properties.

Evaluating the evaluator:modelling systematic data analysis strategies for software selection

Developers of interactive software are confronted by an increasing variety of software tools to help engineer the interactive aspects of software applications. Not only do these tools fall into different categories in terms of functionality, but within each category there is a growing number of competing tools with similar, although not identical, features. Choice of user interface development tool (UIDT) is therefore becoming increasingly complex.

Determinants of civil society influence:the case of international development and humanitarian NGOs in the Czech Republic and Hungary

Accession to the EU has had ambiguous effects on civil society organizations (CSOs) in the East Central European countries. A general observation is that accession has not led to the systematic empowerment of CSOs in terms of growing influence on national policy making. This article investigates the determinants of successful CSO advocacy by looking at international development and humanitarian NGOs (NGDOs) in the Czech Republic and Hungary. Reforms in the past decade in the Czech Republic have created an international development policy largely in line with NGDO interests, while Hungary’s ministry of foreign affairs seems to have been unresponsive to reform demands from civil society. The article argues that there is clear evidence of NGDO influence in the Czech Republic on international development policy, which is because of the fact that Czech NGDOs have been able solve problems of collective actions, while the Hungarian NGDO sector remains fragmented. They also have relatively stronger capacities, can rely on greater public support and can thus present more legitimate demands towards their government.

Paediatric drug development of ramipril:reformulation, in vitro and in vivo evaluation

Ramipril is used mainly for the treatment of hypertension and to reduce incidence of fatality following heart attacks in patients who develop indications of congestive heart failure. In the paediatric population it is used most commonly for the treatment of heart failure, hypertension in type 1 diabetes and diabetic nephropathy. Due to the lack of a suitable liquid formulation, the current study evaluates the development of a range of oral liquid formulations of ramipril along with their in vitro and in vivo absorption studies. Three different formulation development approaches were studied: solubilisation using acetic acid as a co-solvent, complexation with hydroxypropyl-β-cyclodextrin (HP-β-CD) and suspension development using xanthan gum. Systematic optimisation of formulation parameters for the different strategies resulted in the development of products stable for twelve months at long term stability conditions. In vivo evaluation showed CMAX of 10.48 µg/mL for co-solvent, 13.04µg/ml for the suspension and 29.58µg/mL for the cyclodextrin based ramipril solution. Interestingly, both ramipril solution (co-solvent) and the suspension showed a TMAX of 2.5h, however, cyclodextrin based ramipril produced TMAX at 0.75h following administration. The results presented in this study provide translatable products for oral liquid ramipril which offer preferential paediatric use over existing alternatives.

Starting from Scratch: Creating an Information Technology Infrastructure for MEMS-Related Research and Development

Micro Electro Mechanical Systems (MEMS) have already revolutionized several industries through miniaturization and cost effective manufacturing capabilities that were never possible before. However, commercially available MEMS products have only scratched the surface of the application areas where MEMS has potential. The complex and highly technical nature of MEMS research and development (R&D) combined with the lack of standards in areas such as design, fabrication and test methodologies, makes creating and supporting a MEMS R&D program a financial and technological challenge. A proper information technology (IT) infrastructure is the backbone of such research and is critical to its success. While the lack of standards and the general complexity in MEMS R&D makes it impossible to provide a “one size fits all” design, a systematic approach, combined with a good understanding of the MEMS R&D environment and the relevant computer-aided design tools, provides a way for the IT architect to develop an appropriate infrastructure.

Glasgow antipsychotic side-effects scale for Clozapine - development and validation of a clozapine-specific side-effects scale

OBJECTIVE: The authors developed and validated a clozapine-specific side-effects scale capable of eliciting the subjectively unpleasant side-effects of clozapine. METHODS: Questions from the original Glasgow Antipsychotic Side-effects Scale (GASS) were compared to a list of the most commonly reported clozapine side-effects and those with a significant subjective burden were included in the GASS for Clozapine (GASS-C). The original authors of the GASS and a group of mental health professionals from the UK and Ireland were enlisted to comment on the questions in the GASS-C based on their clinical experience. 110 clozapine outpatients from two sites completed the GASS-C, the original GASS and a repeat GASS-C. Statistical analyses were performed using SPSS for Windows version 19. RESULTS: The GASS-C was shown to have construct validity, in that Spearman's correlation coefficient was 0.816 (p<0.001) with the original GASS, whilst Cohen's kappa coefficient was >0.77 (p<0.001) for one question and >0.81 (p<0.001) for remaining relevant questions. GASS-C was also shown to have strong test-retest reliability, in that Cronbach's alpha coefficient was >0.907 (p<0.001), whilst Cohen's kappa coefficient was >0.81 (p<0.001) for 12 questions and >0.61 (p<0.001) for the remaining four questions. CONCLUSION: The GASS-C is a valid and reliable clinical tool to enable a systematic assessment of the subjectively unpleasant side-effects of clozapine. Future research should focus on how the scale can be utilised as a clinical tool to improve real-world outcomes such as adherence to clozapine therapy and quality of life.