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.

Placenta growth factor-1 exerts time-dependent stabilization of adherens junctions following VEGF-induced vascular permeability

Increased vascular permeability is an early event characteristic of tissue ischemia and angiogenesis. Although VEGF family members are potent promoters of endothelial permeability the role of placental growth factor (PlGF) is hotly debated. Here we investigated PlGF isoforms 1 and 2 and present in vitro and in vivo evidence that PlGF-1, but not PlGF-2, can inhibit VEGF-induced permeability but only during a critical window post-VEGF exposure. PlGF-1 promotes VE-cadherin expression via the trans-activating Sp1 and Sp3 interaction with the VE-cadherin promoter and subsequently stabilizes transendothelial junctions, but only after activation of endothelial cells by VEGF. PlGF-1 regulates vascular permeability associated with the rapid localization of VE-cadherin to the plasma membrane and dephosphorylation of tyrosine residues that precedes changes observed in claudin 5 tyrosine phosphorylation and membrane localization. The critical window during which PlGF-1 exerts its effect on VEGF-induced permeability highlights the importance of the translational significance of this work in that PLGF-1 likely serves as an endogenous anti-permeability factor whose effectiveness is limited to a precise time point following vascular injury. Clinical approaches that would pattern nature's approach would thus limit treatments to precise intervals following injury and bring attention to use of agents only during therapeutic windows.

The application of counter immunoelectrophoresis (CIE) in ocular protein studies. Part I:time dependent deposition patterns of immunoregulatory proteins on anionic hydrogel contact lenses

This paper focuses on the effects of wear regime on the deposition pattern of important immunoregulatory proteins on FDA Group IV etafilcon-A lenses. Specifically, the aim was to assess the extent to which the daily disposable wear modality produces a different deposition of proteins from the conventional daily wear regime which is coupled with cleaning and disinfection. Counter immunoelectrophoresis (CIE) was employed to detect individual proteins in lens extracts from individual patients and focused on the analysis of five proteins, IgA, IgG, lactoferrin, albumin and kininogen. Deposition was monitored as a function of time; significantly lower deposition was detected on the daily disposable lenses. cr 2002 British Contact Lens Association. Published by Elsevier Science Ltd. All rights reserved.

Case-based Reasoning Method for Real-time Expert Diagnostics Systems

The method of case-based reasoning for a solution of problems of real-time diagnostics and forecasting in intelligent decision support systems (IDSS) is considered. Special attention is drawn to case library structure for real-time IDSS (RT IDSS) and algorithm of k-nearest neighbors type. This work was supported by RFBR.

Time-dependent variation of fiber Bragg grating reflectivity in PMMA-based polymer optical fibers

In this paper we investigate the effects of viscoelasticity on both the strength and resonance wavelength of two fibre Bragg gratings (FBGs) inscribed in microstructured polymer optical fibre (mPOF) made of undoped PMMA. Both FBGs were inscribed under a strain of 1% in order to increase the material photosensitivity. After the inscription the strain was released and the FBGs spectra were monitored. We initially observed a decrease of the reflection down to zero after which it began to increase. After that, strain tests were carried out to confirm the results and finally the gratings were monitored for a further 120 days, with a stable reflection response being observed beyond 50 days.

Using the Simulation Modeling Methods for the Designing Real-Time Integrated Expert Systems

Certain theoretical and methodological problems of designing real-time dynamical expert systems, which belong to the class of the most complex integrated expert systems, are discussed. Primary attention is given to the problems of designing subsystems for modeling the external environment in the case where the environment is represented by complex engineering systems. A specific approach to designing simulation models for complex engineering systems is proposed and examples of the application of this approach based on the G2 (Gensym Corp.) tool system are described.

Time-Dependent Differential Inclusions and Viability

AMS subject classification: Primary 34A60, Secondary 49J52.

Remarks on blow up time for solutions of a nonlinear diffusion system with time dependent coefficients

2000 Mathematics Subject Classification: 35K55, 35K60.

Identification of a time-dependent bio-heat blood perfusion coefficient

In the paper the identification of the time-dependent blood perfusion coefficient is formulated as an inverse problem. The bio-heat conduction problem is transformed into the classical heat conduction problem. Then the transformed inverse problem is solved using the method of fundamental solutions together with the Tikhonov regularization. Some numerical results are presented in order to demonstrate the accuracy and the stability of the proposed meshless numerical algorithm.

Time-dependent Suppression of Oscillatory Power in Evolving Solar Magnetic Fields

Oscillation amplitudes are generally smaller within magnetically active regions like sunspots and plage when compared to their surroundings. Such magnetic features, when viewed in spatially resolved power maps, appear as regions of suppressed power due to reductions in the oscillation amplitudes. Employing high spatial- and temporal-resolution observations from the Dunn Solar Telescope (DST) in New Mexico, we study the power suppression in a region of evolving magnetic fields adjacent to a pore. By utilizing wavelet analysis, we study for the first time how the oscillatory properties in this region change as the magnetic field evolves with time. Image sequences taken in the blue continuum, G-band, Ca ii K, and Hα filters were used in this study. It is observed that the suppression found in the chromosphere occupies a relatively larger area, confirming previous findings. Also, the suppression is extended to structures directly connected to the magnetic region, and is found to get enhanced as the magnetic field strength increased with time. The dependence of the suppression on the magnetic field strength is greater at longer periods and higher formation heights. Furthermore, the dominant periodicity in the chromosphere was found to be anti-correlated with increases in the magnetic field strength.

Fast iterative solvers for time-dependent PDE-constrained optimization problems

Otto-von-Guericke-Universität Magdeburg, Fakultät für Mathematik, Kumulative Habilitation, 2016

Time-Dependent Deformation of Non-Composite and Composite Sand-Lightweight Prestressed Concrete Structures, Phase 1, HR-137, 1969

Presented in this report is an investigation of the use of "sand-lightweight" concrete in prestressed concrete structures. The sand-lightweight concrete consists of 100% sand substitution for fines, along with Idealite coarse and medium lightweight aggregate and Type I Portland Cement.

Discrete-time positive periodic systems with state and control constraints

The aim of this paper is to provide an efficient control design technique for discrete-time positive periodic systems. In particular, stability, positivity and periodic invariance of such systems are studied. Moreover, the concept of periodic invariance with respect to a collection of boxes is introduced and investigated with connection to stability. It is shown how such concept can be used for deriving a stabilizing state-feedback control that maintains the positivity of the closed-loop system and respects states and control signals constraints. In addition, all the proposed results can be efficiently solved in terms of linear programming.

Mixture of time-dependent growth models with an application to blue swimmer crab length-frequency data

Understanding how aquatic species grow is fundamental in fisheries because stock assessment often relies on growth dependent statistical models. Length-frequency-based methods become important when more applicable data for growth model estimation are either not available or very expensive. In this article, we develop a new framework for growth estimation from length-frequency data using a generalized von Bertalanffy growth model (VBGM) framework that allows for time-dependent covariates to be incorporated. A finite mixture of normal distributions is used to model the length-frequency cohorts of each month with the means constrained to follow a VBGM. The variances of the finite mixture components are constrained to be a function of mean length, reducing the number of parameters and allowing for an estimate of the variance at any length. To optimize the likelihood, we use a minorization–maximization (MM) algorithm with a Nelder–Mead sub-step. This work was motivated by the decline in catches of the blue swimmer crab (BSC) (Portunus armatus) off the east coast of Queensland, Australia. We test the method with a simulation study and then apply it to the BSC fishery data.

Time-Dependent Effects of Acute Exercise-Induced Arousal on Long-Term Memory for Emotional and Neutral Stimuli

Psychological research has strongly documented the memory-enhancing effects of emotional arousal, while the effects of acute aerobic exercise on memory are not well understood. Manipulation of arousal has been shown to enhance long-term memory for emotional stimuli in a time-dependent fashion. This presents an opportunity to investigate the role of acute exercise in memory modulation. The purpose of this study was to determine the time-dependent relationship between acute exercise-induced arousal and long-term emotional memory. Participants viewed pleasant, neutral, and unpleasant images before or after completing a high-intensity session of cycling exercise. Salivary alpha-amylase, a biomarker of central norepinephrine, was measured as an indicator of arousal. No effects of exercise on recognition memory were revealed, however; a single session of high-intensity cycling increased salivary alpha-amylase. Our results also indicate that the influence of exercise on emotional responsiveness should be considered in further exploration of the memory-enhancing potential of acute exercise.