Time-dependent evolution of tissue markers by MALDI-MS imaging

We have used MALDI-MS imaging (MALDI-MSI) to monitor the time dependent appearance and loss of signals when tissue slices are brought rapidly to room temperature for short to medium periods of time. Sections from mouse brain were cut in a cryostat microtome, placed on a MALDI target and allowed to warm to room temperature for 30 s to 3 h. Sections were then refrozen, fixed by ethanol treatment and analysed by MALDI-MSI. The intensity of a range of markers were seen to vary across the time course, both increasing and decreasing, with the intensity of some markers changing significantly within 30 s and markers also showed tissue location specific evolution. The markers resulting from this autolysis were compared directly to those that evolved in a comparable 16 h on-tissue trypsin digest, and the markers that evolved in the two studies were seen to be substantially different. These changes offer an important additional level of location-dependent information for mapping changes and seeking disease-dependent biomarkers in the tissue. They also indicate that considerable care is required to allow comparison of biomarkers between MALDI-MSI experiments and also has implications for the standard practice of thaw-mounting multiple tissue sections onto MALDI-MS targets.

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.

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.

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.

Responsive systems:an introduction

This paper introduces responsive systems: systems that are real-time, event-based, or time-dependent. There are a number of trends that are accelerating the adoption of responsive systems: timeliness requirements for business information systems are becoming more prevalent, embedded systems are increasingly integrated into soft real-time command-and-control systems, improved message-oriented middleware is facilitating growth in event-processing applications, and advances in service-oriented and component-based techniques are lowering the costs of developing and deploying responsive applications. The use of responsive systems is illustrated here in two application areas: the defense industry and online gaming. The papers in this special issue of the IBM Systems Journal are then introduced. The paper concludes with a discussion of the key remaining challenges in this area and ideas for further work.

Time-resolved Q-factor measurement and its application in performance analysis of 42.6 Gbit/s packets generated by SGDBR lasers

We demonstrate a novel time-resolved Q-factor measurement technique and demonstrate its application in the analysis of optical packet switching systems with high information spectral density. For the first time, we report the time-resolved Q-factor measurement of 42.6 Gbit/s AM-PSK and DQPSK modulated packets, which were generated by a SGDBR laser under wavelength switching. The time dependent degradation of Q-factor performance during the switching transient was analyzed and was found to be correlated with different laser switching characteristics in each case.

Microarray analysis of expression of cell death-associated genes in spinal cord cells with cyclic tensile strain

Previous studies have described alterations in gene expression following spinal cord injury, but this response to mechanical stimuli is difficult to investigate in vivo. Therefore, we have investigated the effect of cyclic tensile strain on cultured spinal cord cells from E15 Sprague-Dawley rats. Microarray analysis of gene expression and categorization of identified genes were performed using Gene Ontology (GO) and Kyoto Encyclopedia of Genes and Genomes (KEGG) systems. The application of cyclic tensile strain reduced the viability of cultured spinal cord cells significantly in a dose- and time-dependent manner. GO analysis identified candidate genes related to apoptosis (44) and to response to stimulus (17). KEGG analysis identified changes in the expression levels of 12 genes of the mitogen-activated protein kinase (MAPK) signaling pathway, which were confirmed to be upregulated and validated by RT-PCR analysis. Spinal cord cells undergo cell death in response to cyclic tensile strain, which were dose- and time-dependent, with upregulation of various genes, in particular of the MAPK pathway.

Upgrading legacy long-haul WDM systems through unbalancing the proportion of 1s and 0s in the transmitted data

We present experimental results for wavelength-division multiplexed (WDM) transmission performance using unbalanced proportions of 1s and 0s in pseudo-random bit sequence (PRBS) data. This investigation simulates the effect of local, in time, data unbalancing which occurs in some coding systems such as forward error correction when extra bits are added to the WDM data stream. We show that such local unbalancing, which would practically give a time-dependent error-rate, can be employed to improve the legacy long-haul WDM system performance if the system is allowed to operate in the nonlinear power region. We use a recirculating loop to simulate a long-haul fibre system.

Novel formulation strategies for the fabrication of lyophilised orally disintegrating tablets

Orally disintegrating Tablets (ODTs), also known as fast-disintegrating, fast-melt or fast-dissolving tablets, are a relatively novel dosage technology that involves the rapid disintegration or dissolution of the dosage form into a solution or suspension in the mouth without the need for water. The solution containing the active ingredients is swallowed, and the active ingredients are then absorbed through the gastrointestinal epithelium to reach the target and produce the desired effect. Formulation of ODTs was originally developed to address swallowing difficulties of conventional solid oral dosage forms (tablets and capsules) experienced by wide range of patient population, especially children and elderly. The current work investigates the formulation and development of ODTs prepared by freeze drying. Initial studies focused on formulation parameters that influence the manufacturing process and performance of lyophilised tablets based on excipients used in commercial products (gelatin and saccharides). The second phase of the work was followed up by comprehensive studies to address the essential need to create saccharide free ODTs using naturally accruing amino acids individually or in combinations. Furthermore, a factorial design study was carried out to investigate the feasibility of delivering multiparticulate systems of challenging drugs using a novel formulation that exploited the electrostatic associative interaction between gelatin and carrageenan. Finally, studies aimed to replace gelatin with ethically and morally accepted components to the end users were performed and the selected binder was used in factorial design studies to investigate and optimise ODT formulations that incorporated drugs with varies physicochemical properties. Our results show that formulation of elegant lyophilised ODTs with instant disintegration and adequate mechanical strength requires carful optimisation of gelatin concentration and bloom strength in addition to saccharide type and concentration. Successful formulation of saccharides free lyophilised ODTs requires amino acids that crystallise in the frozen state or display relatively high Tg', interact and integrate completely with the binder and, also, display short wetting time with the disintegrating medium. The use of an optimised mixture of gelatin, carrageenan and alanine was able to create viscous solutions to suspend multiparticulate systems and at the same time provide tablets with short disintegration times and adequate mechanical properties. On the other hand, gum arabic showed an outstanding potential for use as a binder in the formulation of lyophilised ODTs. Compared to gelatin formulations, the use of gum arabic simplified the formulation stages, shortened the freeze drying cycles and produced tablets with superior performance in terms of the disintegration time and mechanical strength. Furthermore, formulation of lyophilised ODTs based on gum arabic showed capability to deliver diverse range of drugs with advantages over commercial products.

Flow field analysis of some mixing and conveying screw element regions, within a closely intermeshing, co-rotating twin-screw extruder.

Grafting of antioxidants and other modifiers onto polymers by reactive extrusion, has been performed successfully by the Polymer Processing and Performance Group at Aston University. Traditionally the optimum conditions for the grafting process have been established within a Brabender internal mixer. Transfer of this batch process to a continuous processor, such as an extruder, has, typically, been empirical. To have more confidence in the success of direct transfer of the process requires knowledge of, and comparison between, residence times, mixing intensities, shear rates and flow regimes in the internal mixer and in the continuous processor.The continuous processor chosen for the current work in the closely intermeshing, co-rotating twin-screw extruder (CICo-TSE). CICo-TSEs contain screw elements that convey material with a self-wiping action and are widely used for polymer compounding and blending. Of the different mixing modules contained within the CICo-TSE, the trilobal elements, which impose intensive mixing, and the mixing discs, which impose extensive mixing, are of importance when establishing the intensity of mixing. In this thesis, the flow patterns within the various regions of the single-flighted conveying screw elements and within both the trilobal element and mixing disc zones of a Betol BTS40 CICo-TSE, have been modelled using the computational fluid dynamics package Polyflow. A major obstacle encountered when solving the flow problem within all of these sets of elements, arises from both the complex geometry and the time-dependent flow boundaries as the elements rotate about their fixed axes. Simulation of the time dependent boundaries was overcome by selecting a number of sequential 2D and 3D geometries, used to represent partial mixing cycles. The flow fields were simulated using the ideal rheological properties of polypropylene and characterised in terms of velocity vectors, shear stresses generated and a parameter known as the mixing efficiency. The majority of the large 3D simulations were performed on the Cray J90 supercomputer situated at the Rutherford-Appleton laboratories, with pre- and postprocessing operations achieved via a Silicon Graphics Indy workstation. A mechanical model was constructed consisting of various CICo-TSE elements rotating within a transparent outer barrel. A technique has been developed using coloured viscous clays whereby the flow patterns and mixing characteristics within the CICo-TSE may be visualised. In order to test and verify the simulated predictions, the patterns observed within the mechanical model were compared with the flow patterns predicted by the computational model. The flow patterns within the single-flighted conveying screw elements in particular, showed good agreement between the experimental and simulated results.

A study of the micro-mechanics of granular media

The development of more realistic constitutive models for granular media, such as sand, requires ingredients which take into account the internal micro-mechanical response to deformation. Unfortunately, at present, very little is known about these mechanisms and therefore it is instructive to find out more about the internal nature of granular samples by conducting suitable tests. In contrast to physical testing the method of investigation used in this study employs the Distinct Element Method. This is a computer based, iterative, time-dependent technique that allows the deformation of granular assemblies to be numerically simulated. By making assumptions regarding contact stiffnesses each individual contact force can be measured and by resolution particle centroid forces can be calculated. Then by dividing particle forces by their respective mass, particle centroid velocities and displacements are obtained by numerical integration. The Distinct Element Method is incorporated into a computer program 'Ball'. This program is effectively a numerical apparatus which forms a logical housing for this method and allows data input and output, and also provides testing control. By using this numerical apparatus tests have been carried out on disc assemblies and many new interesting observations regarding the micromechanical behaviour are revealed. In order to relate the observed microscopic mechanisms of deformation to the flow of the granular system two separate approaches have been used. Firstly a constitutive model has been developed which describes the yield function, flow rule and translation rule for regular assemblies of spheres and discs when subjected to coaxial deformation. Secondly statistical analyses have been carried out using data which was extracted from the simulation tests. These analyses define and quantify granular structure and then show how the force and velocity distributions use the structure to produce the corresponding stress and strain-rate tensors.

Temporal finite elements in the dynamic analysis of structures

This thesis demonstrates that the use of finite elements need not be confined to space alone, but that they may also be used in the time domain, It is shown that finite element methods may be used successfully to obtain the response of systems to applied forces, including, for example, the accelerations in a tall structure subjected to an earthquake shock. It is further demonstrated that at least one of these methods may be considered to be a practical alternative to more usual methods of solution. A detailed investigation of the accuracy and stability of finite element solutions is included, and methods of applications to both single- and multi-degree of freedom systems are described. Solutions using two different temporal finite elements are compared with those obtained by conventional methods, and a comparison of computation times for the different methods is given. The application of finite element methods to distributed systems is described, using both separate discretizations in space and time, and a combined space-time discretization. The inclusion of both viscous and hysteretic damping is shown to add little to the difficulty of the solution. Temporal finite elements are also seen to be of considerable interest when applied to non-linear systems, both when the system parameters are time-dependent and also when they are functions of displacement. Solutions are given for many different examples, and the computer programs used for the finite element methods are included in an Appendix.

A two-stage win–win multiattribute negotiation model:optimization and then concession

Many automated negotiation models have been developed to solve the conflict in many distributed computational systems. However, the problem of finding win-win outcome in multiattribute negotiation has not been tackled well. To address this issue, based on an evolutionary method of multiobjective optimization, this paper presents a negotiation model that can find win-win solutions of multiple attributes, but needs not to reveal negotiating agents' private utility functions to their opponents or a third-party mediator. Moreover, we also equip our agents with a general type of utility functions of interdependent multiattributes, which captures human intuitions well. In addition, we also develop a novel time-dependent concession strategy model, which can help both sides find a final agreement among a set of win-win ones. Finally, lots of experiments confirm that our negotiation model outperforms the existing models developed recently. And the experiments also show our model is stable and efficient in finding fair win-win outcomes, which is seldom solved in the existing models. © 2012 Wiley Periodicals, Inc.