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.

Transmission of data under multipath transmission conditions

The explosive growth in microprocessor technology and the increasing use of computers to store information has increased the demand for data communication channels. Because of this, data communication to mobile vehicles is increasing rapidly. In addition, data communication is seen as a method of relieving the current congestion of mobile radio telephone bands in the U.K. Highly reliable data communication over mobile radio channels is particularly difficult to achieve, primarily due to fading caused by multipath interference. In this thesis a data communication system is described for use over radio channels impaired by multipath interference. The thesis first describes radio communication in general, and multipath interference In particular. The practical aspects of fading channels are stressed because of their importance in the development of the system. The current U.K. land mobile radio scene is then reviewed, with particular emphasis on the use of existing mobile radio equipment for data communication purposes. The development of the data communication system is then described. This system is microprocessor based and uses an advanced form of automatic request repeat (ARQ) operation. It can be configured to use either existing radio-telephone equipment, totally new equipment specifically designed for data communication, or any combination of the two. Due to its adaptability, the system can automatically optimise itself for use over any channel, even if the channel parameters are changing rapidly. Results obtained from a particular implementation of the system, which is described in full, are presented. These show how the operation of the system has to change to accomodate changes in the channel. Comparisons are made between the practical results and the theoretical limits of the system.

Water diffusion into UV inscripted long period grating in microstructured polymer fibre

A long period grating was photoinscribed step-by-step in microstructured poly(methyl methacrylate) fiber for the first time using a continuous wave HeCd laser at 325 nm, irradiating the fiber with a power of 1 mW. The grating had a length of 2 cm and a period of 1 mm. A series of cladding mode coupling resonances were observed throughout the spectral region studied of 600 to 1100 nm. The resonance wavelengths were shown to be sensitive to the diffusion of water into the fiber.

Dispersion of classic beta-amyloid deposits around blood vessels in Alzheimer’s disease

The spatial pattern of the classic (‘cored’) type of beta-amyloid (Abeta) deposit was studied in the upper laminae of the superior temporal gyrus in 9 cases of sporadic Alzheimer’s disease (SAD). Abeta stained tissue was counterstained with collagen IV to study the relationships between the spatial distribution of the classic deposits and the blood vessel profiles. Both the classic deposits and blood vessel profiles were distributed in clusters. In all cases, there was a spatial correlation between the clusters of the classic deposits and the larger diameter (>10 micron) blood vessel profiles and especially the vertically penetrating arterioles. In only 1 case, was there a significant spatial correlation between the clusters of the classic deposits and the smaller diameter (<10 micron) capillaries. In 9/11 cases, the clusters of the classic deposits were significantly larger than those of the clusters of the larger blood vessels. In addition, the density of the classic deposits declined as a negative exponential function with distance from the vertically penetrating arterioles. These results suggest that the classic Abeta deposits cluster around the larger blood vessels in the frontal cortex and that diffusion of proteins from these blood vessels could be involved in the pathogenesis of the classic deposits in SAD.

Modelling growth of prion protein aggregates in the brain in variant Creutzfeldt-Jakob disease

Deposition of insoluble prion protein (PrP) in the brain in the form of protein aggregates or deposits is characteristic of the ‘transmissible spongiform encephalopathies’ (TSEs). Understanding the growth and development of PrP aggregates is important both in attempting to elucidate the pathogenesis of prion disease and in the development of treatments designed to inhibit the spread of prion pathology within the brain. Aggregation and disaggregation of proteins and the diffusion of substances into the developing aggregates (surface diffusion) are important factors in the development of protein deposits. Mathematical models suggest that if either aggregation/disaggregation or surface diffusion is the predominant factor, then the size frequency distribution of the resulting protein aggregates will be described by either a power-law or a log-normal model respectively. This study tested this hypothesis for two different populations of PrP deposit, viz., the diffuse and florid-type PrP deposits characteristic of patients with variant Creutzfeldt-Jakob disease (vCJD). The size distributions of the florid and diffuse deposits were fitted by a power-law function in 100% and 42% of brain areas studied respectively. By contrast, the size distributions of both types of aggregate deviated significantly from a log-normal model in all areas. Hence, protein aggregation and disaggregation may be the predominant factor in the development of the florid deposits. A more complex combination of factors appears to be involved in the pathogenesis of the diffuse deposits. These results may be useful in the design of treatments to inhibit the development of PrP aggregates in vCJD.

NMR spectroscopy in the presence of ultrasound and other perturbations

The work described in this thesis has been concerned with exploring the potential uses of ultrasound in Nuclear Magnetic Resonance (NMR) spectroscopy, The NMR spectra of liquids provide detailed structural information that may be deduced from the chemical shifts and spin-spin coupling, that are evident in the narrow resonances, arising from some of the nuclear broadening interactions being reduced to zero. In the solid state, all of the nuclear broadening interactions are present and broad lines in the NMR spectrum are observed. Current techniques employed to reduce the line widths in solids are based on coherent averaging techniques such as MAS NMR1,2 which can remove first order interactions. Recently DOR3 and DAS4 have become available to remove higher order interactions. SINNMR (Sonically Induced Narrowing of the NMR spectra of solids) has been reported by Homer et al5 and developed by Homer and Howard6 to reduce the line widths of solids. The basis of their work is the proposal that a colloidal suspension of solid particles can be made to move like large molecules by using ultrasonic agitation. The advantage of the technique is that the particles move incoherently removing all of the nuclear interactions responsible for broad lines. This thesis describes work on the extension of SINNMR by showing that the line width of 27AI and 11B for the glass Na20/B203/AI203 can be reduced by placing solid particles in a colloidal suspension. Further line width reduction is possible by applying ultrasound, at 2 MHz, of sufficient intensity. It is proposed that a cavitation field is responsible for imparting sufficient rotational motion to the solid particles to partially average the nuclear interactions responsible for broad lines. Rapid stirring of the colloidal suspension generates turbulent flow, however, the motion is insufficient to narrow the line widths for 27AI in the glass. Investigations of sonochemical reactions for in situ rate measurements by NMR have been made. 8y using the Weissler reaction7, it has been shown that ultrasonic cavitation is possible up to 10MHz. Preliminary studies have been carried out into the rate of ultrasonic polymerisation of methylmethacrylate by NMR. Long range order in liquid crystals can imposed when they are aligned in the presence a magnetic field. The degree of alignment can be monitored by NMR using, for example a deuterated solute added to the liquid crystal8. Ultrasonic streaming can then be employed to deflect the directors of the liquid crystal from their equilibrium position, resulting in a change In the NMR spectrum. The angle of deflection has been found for the thermotropic liquid crystal (I35) to be ca, 35° and for the lyotropic (ZLI-1167) to be ca, 20°, Mechanical stirring can used to re- orientate the liquid crystal but was found to give a smaller deflection, In a separate study, that did not use ultrasound, it has been found that the signal to noise ratio of 13C NMR signals can be enhanced by rapidly stirring a Iiquid. Accelerating the diffusion of nuclei out of the coil region enables M0 to be re-established more rapidly than the normal relaxation process. This allows the pulse repetition rate to be reduced without saturating the spin system. The influence of varying the relaxation delay, acquisition time and inter-pulse delay have been studied and parameters optimised. By studying cholesterol the technique was found to be most effective for nuclei with long relaxation times, such as quaternary carbon sites. Key Worde: NMR, Ulf.rasciund, 1,.lqi.fi!:l cryllltalt!h SCll1C1otlemlstryl I!r1hano~d algnflllf

Dispersion of prion protein deposits around blood vessels in variant Creutzfeldt-Jakob disease

In variant Creutzfeldt-Jakob disease (vCJD), a disease linked to bovine spongiform encephalopathy (BSE), florid-type prion protein (PrP(sc)) deposits are aggregated around the larger diameter (> 10 µm) cerebral microvessels. Clustering of PrP(sc) deposits around blood vessels may result from blood-borne prions or be a consequence of the cerebral vasculature influencing the development of the florid deposits. To clarify the factors involved, the dispersion of the florid PrP(sc) deposits was studied around the larger diameter microvessels in the neocortex, hippocampus, and cerebellum of ten cases of vCJD. In the majority of brain regions, florid deposits were clustered around the larger diameter vessels with a mean cluster size of between 50 µm and 628 µm. With the exception of the molecular layer of the dentate gyrus, the density of the florid deposits declined as a negative exponential function of distance from a blood vessel profile suggesting that diffusion of molecules from blood vessels is a factor in the formation of the florid deposits. Diffusion of PrP(sc) directly into the brain via the microvasculature has been demonstrated in vCJD in a small number of cases. However, the distribution of the prion deposits in vCJD is more likely to reflect molecular 'chaperones' diffusing from vessels and promoting the aggregation of pre-existing PrP(sc) in the vicinity of the vessels to form florid deposits.

Dynamic simulation of chemical plant

This thesis describes the design and implementation of a new dynamic simulator called DASP. It is a computer program package written in standard Fortran 77 for the dynamic analysis and simulation of chemical plants. Its main uses include the investigation of a plant's response to disturbances, the determination of the optimal ranges and sensitivities of controller settings and the simulation of the startup and shutdown of chemical plants. The design and structure of the program and a number of features incorporated into it combine to make DASP an effective tool for dynamic simulation. It is an equation-oriented dynamic simulator but the model equations describing the user's problem are generated from in-built model equation library. A combination of the structuring of the model subroutines, the concept of a unit module, and the use of the connection matrix of the problem given by the user have been exploited to achieve this objective. The Executive program has a structure similar to that of a CSSL-type simulator. DASP solves a system of differential equations coupled to nonlinear algebraic equations using an advanced mixed equation solver. The strategy used in formulating the model equations makes it possible to obtain the steady state solution of the problem using the same model equations. DASP can handle state and time events in an efficient way and this includes the modification of the flowsheet. DASP is highly portable and this has been demonstrated by running it on a number of computers with only trivial modifications. The program runs on a microcomputer with 640 kByte of memory. It is a semi-interactive program, with the bulk of all input data given in pre-prepared data files with communication with the user is via an interactive terminal. Using the features in-built in the package, the user can view or modify the values of any input data, variables and parameters in the model, and modify the structure of the flowsheet of the problem during a simulation session. The program has been demonstrated and verified using a number of example problems.

The European Community and innovation policy : reorienting towards diffusion

This study aims to explore the position of diffusion oriented support mechanisms in European Community (EC) innovation policy. With the shift from the traditional linear model towards an integrative approach to innovation, the role of diffusion of technologies and knowledge, achieved greater weight. This shift in both the thinking of academic experts, and of national policy makers, induced EC policy makers to appeal for similar changes in Community innovation policy. From the mid-1980s, the Commission of the European Communities, the key actor in EC policy making, thought to move its innovation policy away from the traditional science push approach. This study shows that in the implementation of programmes for research, technology and innovation, the traditional linear model is still dominant. The core research and technological development programmes still operate from a science push concept of innovation, mainly due to their pre-competitive nature. The case of SPRINT illustrates that policy programmes with an integrated innovation perspective can be successful at Community level. However the programme operates in a relatively isolated position from overall research and technological development policy. The case of BRITE-EURAM illustrates the difficulties of collaborative research programmes, the bulk of EC support mechanisms, to move away from the traditional model. The study shows how conflicting policy objectives arising from the different policy networks that shape EC policy making, in combination with a lack of co-ordination in those policy domains, hinder the emergence of the integrated approach. Consequently EC diffusion policy, implemented from the perspective of the linear model, will have a sub-optimal impact on the competitiveness of European industries.

Mechanisms of chemical and physical transdermal penetration enhancement

The underlying theme of this thesis is one of exploring the processes involved in the enhancement of percutaneous absorption. The development of an attenuated total reflectance Fourier-Transform infrared (ATR-FTIR) spectroscopic method to analyse diffusion of suitable topically applied compounds in membrane is described. Diffusion coefficients (D/h2) and membrane solubility (AO) for topically applied compounds were determined using a solution to Fick's second law of diffusion. This method was employed to determine the diffusional characteristics of a model permeant, 4-cyanophenol (CP), across silicone membrane as a function of formulation applied and permeant physicochemical properties. The formulations applied were able to either affect CP diffusivity and/or its membrane solubility in the membrane; such parameters partially correlated with permeant physicochemical properties in each formulation. The interplay during the diffusion process between drug, enhancer and vehicle in stratum corneum (SC) was examined. When enhancers were added to the applied formulations, CP diffusivity and solubility were significantly enhanced when compared to the neat propylene glycol (PG) application. Enhancers did not affect PG diffusivity in SC but enhancers did affect PG solubility in SC. PG diffusion closely resembled that of CP, implying that the respective transport processes were inter-related. Additionally, a synergistic effect, which increases CP diffusivity and membrane solubility in SC, was found to occur between PG and water. Using 12-azidooleic acid (AOA) as an IR active probe for oleic acid, the simultaneous penetration of CP, AOA and PG into human stratum corneum was determined. It was found that the diffusion profiles for all three permeants were similar. This indicated that the diffusion of each species through SC was closely related and most likely occurred via the same route or SC microenvironment.

Investigation of liquid sodium alginates as mucoadhesive bandages coating the oesophageal mucosa and protecting it from gastric reflux

Gastro-oesophageal Reflux Disease (GORD), is generally caused by excess gastric reflux back to the oesophagus where damage to the mucosa results in injury. GORD is a very common disease in western countries, more than a quarter of western people are suffering from this disease and there is a trend that the percentage population in eastern countries who are diagnosed as GORD is increasing. GORD and its complications damage the quality of life and can lead to serious oesophageal diseases including Barrett’s disease and oesophageal carcinoma. Sodium alginate dissolved in water forms a viscous liquid and can coat on oesophageal mucosa for a period of time. In this study the ability of the liquid alginate to adhere to the oesophageal mucosa was investigated and the factors that affect this retention were examined. The potential of this liquid alginate as a drug delivery vehicle to extend the duration of contact with the oesophageal mucosa was confirmed by this study. The capacity of an alginate coating to retard acid and pepsin diffusion, the two main aggressive factors in gastric reflux, was investigated. A significant reduction in acid and pepsin diffusion by alginate gel layer was demonstrated in this project, indicating that alginate has great potential to protect against damage caused by acidic reflux. A novel method was introduced using an independent score system to assess the protection of oesophageal tissue by a coating of liquid alginate using microscopy as a technique. This technique demonstrated that alginate can protect the oesophageal epithelial tissue from the damage caused by gastric acid and pepsin. Many techniques were used in this study. The experimental results suggested that liquid sodium alginate is a very promising candidate in treating local oesophageal diseases through forming a coating on the oesophageal mucosal surface, retarding the diffusion of components of gastric refluxate and thus reducing the contact of these noxious factors with the epithelium and minimising injury.

Acquisition and management of technology in Malaysian companies

This thesis is about the acquisition and diffusion of imported technology. Writers in the field of technology development in developing countries have always recognised that technical progress depends on the diffusion of imported technology and its applications to the provision of products and processes (Rosemberg, 1982). Despite the massive importation of technology by Malaysian companies, little effort has been made to study and understand the diffusion system in local companies. This study analyses: The problems associated with the acquisition of technology, highlighting the technology strategies adopted by the suppliers of technology; the diffusion pattern and key characteristics of the diffusion process; and major factors affecting the diffusion of technology. The policy implications are examined and the framework to manage the diffusion process within the enterprises is suggested. The findings indicated that the diffusion process is not one of passive acceptance but involves systematic efforts to acquire and diffuse the imported technology. A strong system of diffusion in companies had enabled a rapid diffusion of imported technology resulting in higher levels of technical capability. On the other hand, weakness in the company's diffusion system led to limited diffusion and slow technical progress. Characteristics of diffusion system are analysed and discussed extensively. The thesis attempts to develop the idea of `in-house system of diffusion' associated with the acquisition and development of imported technology. It argues for the development ofa stronger theoretical framework on the diffusion and development of technology particularly in countries like Malaysia which relies extensively on the importation of foreign technology.

Steric stabilization and dissolution characteristics of aqueous suspensions of pharmaceutical interest

The adsorption of two qroups of nonionic surface active agents and a series of hiqh molecular weiqht hydrophilic polymer fractions onto a polystyrene latex and a drug substance diloxanide furoate B.P. has been investigated. The presence of pores within the drug surface has been demonstrated and this is shown to increase the adsorption of low molecular weight polymer species. Differences in the maximum amount of polymer adsorbed at both solid-solution interfaces have been ascribed to the different hydrophobicities of the surface as determined by contact angle measurements. Adsorbed layer thicknesses of polymer on polystyrene latex have been determined by three techniques: microelectrophoresis, intensity fluctuation spectroscopy and by viscometric means. These results, in combination with adsorption data, were used to interpret the configuration of the adsorbed polymer molecules at the interface. The type of druq suspension produced on adsorbing the different polymers in the absence of electrostatic stabilization was correlated with theoretical prediuctions of suspension characteristics deduced from potential energy diagrams, The agreement was good for the adsorption of short chain length surfactants, but for the polyvinylalcohols, discrepancies were found between experiment and theory. This was attributed to the inappropriate use of a mean segment density approximation within the adsorbed layer to calculate attractive potentials between particles. A maximum in the redispersibility values for suspensions coated with adsorbed nonylphenylethoxylates was attributed to "partial static stabilization" of the particles in conjunction with the attractive forces operating in the sediment between bare surface patches on neighbouring particles. No significant change in the dissolution of the drug was observed when nonylphenylethoxylates were adsorbed due to desorption upon contact with the dissolution medium. Pluronic F68 and all the polyvinylalcohol fractions caused a reduction in the dissolution rate which is explained by the decreased diffusion of drug' through the adsorbed polymer layer.

Biological barriers to the nasal delivery of peptide drugs

The nasal absorption of larger peptide and protein drugs is generally low. The importance of the mucus layer and enzymic degradation in reducing absorption were investigated. Reversed-phase high-performance liquid chromatographic (HPLC) methods were developed to assay a variety of compounds. Pig gastric mucus (PGM) was selected to investigate the importance of the mucus layer. A method of treating and storing PGM was developed and evaluated which was representative of the gel in vivo. The nature of the mucus barrier was evaluated in vitro with three-compartment diffusion cells and a series of compounds with differing physicochemical properties. Mucus retarded the diffusion of all the compounds with molecular weight and charge exerting a marked effect. Binding to mucus was investigated by a centrifugation method. All of the compounds tested were found to bind to mucus with the exception of the negatively charged molecule benzoic acid. The small peptides did not demonstrate greater binding to mucus than any of the other compounds evaluated. The effect of some absorption enhancers upon the rate of diffusion of tryptophan through mucus was determined in vi tro. At the concentrations employed the enhancers EDTA, N-acetylcysteine and taurodeoxycholic acid exerted no effect, whilst taurocholic acid and cholic acid, were found to slightly reduce the rate of diffusion. The intracellular and luminal proteolytic activity of the nose was investigated in the sheep animal model with a nasal mucosal homogenate and a nasal wash preparation respectively and a series of chemically similar peptides. Hydrolysis was also investigated with the proteolytic enzymes carboxypeptidase A, cytosolic leucine aminopeptidase and microsomal leucine aminopeptidase. Sheep nasal mucosa possesses significant peptide hydrolase activity capable of degrading all the substrates tested. Considerable variation in susceptibility was observed. Degradation occurred excl us i ve ly at the pept ide bond between the aromatic amino ac id and glycine, indicating some specificity for aromatic amino acids. Hydrolysis profiles indicated the presence of both aminopeptidase and carboxypeptidase enzymes. The specific activity of the microsomal fraction was found to be greater than the cytosolic fraction. Hydrolysis in the nasal wash indicated the presence of either luminal or loosely-bound proteases, which can degrade peptide substrates. The same specificity for aromatic amino acids was observed and aminopeptidase activity demonstrated. The specific activity of the nasal wash was smaller than that of the homogenate.

The computerisation of community pharmacy

Computers have, over the past 10 to 15 years, become an integral part of many activities carried out by British community pharmacists. This thesis employs quantitative and qualitative research methods to explore the use of computers and other forms of information technology (IT) in a number of these activities. Mail questionnaires were used to estimate the level of IT use among British community pharmacists in 1989 and 1990. Comparison of the results suggests that the percentage of community pharmacists using computers and other forms of IT is increasing, and that the range of applications to which pharmacy computers are put is expanding. The use of an electronic, on-line information service, PINS, by community pharmacists was investigated using mail questionnaires. The majority of community pharmacists who subscribed to the service, and who responded to the questionnaire, claimed to use PINS less than they had expected to. In addition, most did not find it user-friendly. A computer program to aid pharmacists when responding to their patients' symptoms was investigated using interviews and direct observation. The aid was not found to help pharmacists in responding to patients' symptoms because of impracticalities involved in its operation. Use of the same computer program by members of the public without the involvement of a pharmacist was also studied. In this setting, the program was favourably accepted by the majority of those who used it. Provision of computer generated information leaflets from pharmacies was investigated using mail questionnaires and interviews. The leaflets were found to be popular with the majority of recipients interviewed. Since starting to give out the leaflets, 27 out of 55 pharmacists who responded to the questionnaire had experienced an increase in the numbers of prescriptions they dispensed. 46 had experienced an increase in the number of patient enquiries they received.