Dynamical frustration of protein's environment at the nanoseconds time scale

A 21-residue peptide in explicit water has been simulated using classical molecular dynamics. The system's trajectory has been analysed with a novel approach that quantifies the process of how atom's environment trajectories are explored. The approach is based on the measure of Statistical Complexity that extracts complete dynamical information from the signal. The introduced characteristic quantifies the system's dynamics at the nanoseconds time scale. It has been found that the peptide exhibits nanoseconds long periods that significantly differ in the rates of the exploration of the dynamically allowed configurations of the environment. During these periods the rates remain the same but different from other periods and from the rate for water. Periods of dynamical frustration are detected when only limited routes in the space of possible trajectories of the surrounding atoms are realised.

A design environment for deadlock-free concurrent software

Using current software engineering technology, the robustness required for safety critical software is not assurable. However, different approaches are possible which can help to assure software robustness to some extent. For achieving high reliability software, methods should be adopted which avoid introducing faults (fault avoidance); then testing should be carried out to identify any faults which persist (error removal). Finally, techniques should be used which allow any undetected faults to be tolerated (fault tolerance). The verification of correctness in system design specification and performance analysis of the model, are the basic issues in concurrent systems. In this context, modeling distributed concurrent software is one of the most important activities in the software life cycle, and communication analysis is a primary consideration to achieve reliability and safety. By and large fault avoidance requires human analysis which is error prone; by reducing human involvement in the tedious aspect of modelling and analysis of the software it is hoped that fewer faults will persist into its implementation in the real-time environment. The Occam language supports concurrent programming and is a language where interprocess interaction takes place by communications. This may lead to deadlock due to communication failure. Proper systematic methods must be adopted in the design of concurrent software for distributed computing systems if the communication structure is to be free of pathologies, such as deadlock. The objective of this thesis is to provide a design environment which ensures that processes are free from deadlock. A software tool was designed and used to facilitate the production of fault-tolerant software for distributed concurrent systems. Where Occam is used as a design language then state space methods, such as Petri-nets, can be used in analysis and simulation to determine the dynamic behaviour of the software, and to identify structures which may be prone to deadlock so that they may be eliminated from the design before the program is ever run. This design software tool consists of two parts. One takes an input program and translates it into a mathematical model (Petri-net), which is used for modeling and analysis of the concurrent software. The second part is the Petri-net simulator that takes the translated program as its input and starts simulation to generate the reachability tree. The tree identifies `deadlock potential' which the user can explore further. Finally, the software tool has been applied to a number of Occam programs. Two examples were taken to show how the tool works in the early design phase for fault prevention before the program is ever run.

The effects of the environment on the stability and expression of genetically engineered plasmids

The lac promoter is widely used in plasmid expression systems, even though it is prone to catabolite repression. As a consequence glycerol is often used as an alternative carbon source. Three plasmids containing various sizes of the staphylococcal protein A (SPA) gene, which are under the control of the lac promoter were investigated in continuous culture, to evaluate the effects of nutrient limitations on their stability and expression. The fears of catabolite repression were dispelled as a low expression plasmid (pPA16) produced a greater amount of truncated SPA under glucose limiting conditions (11 ug mg-1 cell protein) when compared to that using glycerol (8 ug mg-1 cell protein). Segregational instability was also observed under glycerol limiting conditions at all the dilution rates investigated. Whereas pPA16 was relatively stable under glucose limiting conditions, with SPA production being continuous. Experiments using excess glycerol with limited ammonium increased the stability of pPA16, (when compared to limited glycerol) with expression of SPA being continuous but reduced (6 ug mg-1 cell protein). With excess glucose and limited ammonium the copy numbers remained high but expression of SPA paralled that produced under glucose limiting conditions. This might indicate that the higher levels of glucose are reducing expression (catabolite repression) or that the low level of ammonium is affecting protein production. A high expression plasmid (pPA31) produced nearly 100 ug full length SPA mg-1 cell protein, while another high expression plasmid (pPA34) producing truncated SPA proved to be very unstable. An ELISA was developed to detect the SPA produced by these experiments, which could be adapted for western blotting or immunogold probing using electron microscopy. SPA was localised in electron lucent areas present in the periplasmic space of the E. coli host harbouring pPA16. While in the same host containing pPA31, SPA was localised not only in electron lucent areas but also around the whole of the outer-membrane.

A 'sexy space' for women? Heterosexual women's experiences of a male strip show venue

The rise of male strip shows marketed towards heterosexual women has called into question the idea that only men can 'gaze' or be 'sexual scrutinizers' in public leisure spaces. This paper details the findings of an ethnographic study of a male strip event 'Cheeky's',1 located in the Midlands, England. Utilising observation, informal interviews and photography, the paper describes the physical environment and the atmosphere of the event, and analyses interview data with female customers. The paper questions what spaces such as Cheeky's mean for female sexualities, sexual roles and desires. The findings are twofold. On the one hand the club was a relatively novel sexual space, as some women spectators experienced it as an 'empowering' space in which they could be 'sexually aggressive'; on the other hand, the character of the club was actively and adeptly manufactured by the Master of Ceremonies (MC), and male dancers, so as to encourage - and even to coercively elicit - extrovert behaviour from women customers. Despite shifting normative gendered expectations of women's sexual behaviour to some extent, ultimately the club structured women's sexual experiences around traditional heterosexist lines. The club did not encourage women's autonomous sexual expression, and many women claimed they had not found it a very 'sexy space'. © 2011 Taylor & Francis.

A modelling and simulation environment for self-aware and self-expressive systems

Self-awareness and self-expression are promising architectural concepts for embedded systems to be equipped with to match them with dedicated application scenarios and constraints in the avionic and space-flight industry. Typically, these systems operate in largely undefined environments and are not reachable after deployment for a long time or even never ever again. This paper introduces a reference architecture as well as a novel modelling and simulation environment for self-aware and self-expressive systems with transaction level modelling, simulation and detailed modelling capabilities for hardware aspects, precise process chronology execution as well as fine timing resolutions. Furthermore, industrial relevant system sizes with several self-aware and self-expressive nodes can be handled by the modelling and simulation environment.

Visualising and controlling the flow in biomolecular systems at and between multiple scales:from atoms to hydrodynamics at different locations in time and space

A novel framework for modelling biomolecular systems at multiple scales in space and time simultaneously is described. The atomistic molecular dynamics representation is smoothly connected with a statistical continuum hydrodynamics description. The system behaves correctly at the limits of pure molecular dynamics (hydrodynamics) and at the intermediate regimes when the atoms move partly as atomistic particles, and at the same time follow the hydrodynamic flows. The corresponding contributions are controlled by a parameter, which is defined as an arbitrary function of space and time, thus, allowing an effective separation of the atomistic 'core' and continuum 'environment'. To fill the scale gap between the atomistic and the continuum representations our special purpose computer for molecular dynamics, MDGRAPE-4, as well as GPU-based computing were used for developing the framework. These hardware developments also include interactive molecular dynamics simulations that allow intervention of the modelling through force-feedback devices.