An exploratory study to determine applicability of nano-hardness and micro-compression measurements for yield stress estimation

The superior properties of ferritic/martensitic steels in a radiation environment (low swelling, low activation under irradiation and good corrosion resistance) make them good candidates for structural parts in future reactors and spallation sources. While it cannot substitute for true reactor experiments, irradiation by charged particles from accelerators can reduce the number of reactor experiments and support fundamental research for a better understanding of radiation effects in materials. Based on the nature of low energy accelerator experiments, only a small volume of material can be uniformly irradiated. Micro and nanoscale post irradiation tests thus have to be performed. We show here that nanoindentation and micro-compression testing on T91 and HT-9 stainless steel before and after ion irradiation are useful methods to evaluate the radiation induced hardening.

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.

Fast algorithms for automatic mapping with space-limited covariance functions

In this paper we discuss a fast Bayesian extension to kriging algorithms which has been used successfully for fast, automatic mapping in emergency conditions in the Spatial Interpolation Comparison 2004 (SIC2004) exercise. The application of kriging to automatic mapping raises several issues such as robustness, scalability, speed and parameter estimation. Various ad-hoc solutions have been proposed and used extensively but they lack a sound theoretical basis. In this paper we show how observations can be projected onto a representative subset of the data, without losing significant information. This allows the complexity of the algorithm to grow as O(n m 2), where n is the total number of observations and m is the size of the subset of the observations retained for prediction. The main contribution of this paper is to further extend this projective method through the application of space-limited covariance functions, which can be used as an alternative to the commonly used covariance models. In many real world applications the correlation between observations essentially vanishes beyond a certain separation distance. Thus it makes sense to use a covariance model that encompasses this belief since this leads to sparse covariance matrices for which optimised sparse matrix techniques can be used. In the presence of extreme values we show that space-limited covariance functions offer an additional benefit, they maintain the smoothness locally but at the same time lead to a more robust, and compact, global model. We show the performance of this technique coupled with the sparse extension to the kriging algorithm on synthetic data and outline a number of computational benefits such an approach brings. To test the relevance to automatic mapping we apply the method to the data used in a recent comparison of interpolation techniques (SIC2004) to map the levels of background ambient gamma radiation. © Springer-Verlag 2007.

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.

Dynamic analysis of submerged microscale plates:the effects of acoustic radiation and viscous dissipation

The aim of this paper is to study the dynamic characteristics of micromechanical rectangular plates used as sensing elements in a viscous compressible fluid. A novel modelling procedure for the plate- fluid interaction problem is developed on the basis of linearized Navier-Stokes equations and noslip conditions. Analytical expression for the fluidloading impedance is obtained using a double Fourier transform approach. This modelling work provides us an analytical means to study the effects of inertial loading, acoustic radiation and viscous dissipation of the fluid acting on the vibration of microplates. The numerical simulation is conducted on microplates with different boundary conditions and fluids with different viscosities. The simulation results reveal that the acoustic radiation dominates the damping mechanism of the submerged microplates. It is also proved that microplates offer better sensitivities (Q-factors) than the conventional beam type microcantilevers beingmass sensing platforms in a viscous fluid environment. The frequency response features of microplates under highly viscous fluid loading are studied using the present model. The dynamics of the microplates with all edges clamped are less influenced by the highly viscous dissipation of the fluid than the microplates with other types of boundary conditions.