The 'hard problem' and the quantum physicists. Part 1:the first generation

All four of the most important figures in the early twentieth-century development of quantum physics-Niels Bohr, Erwin Schroedinger, Werner Heisenberg and Wolfgang Pauli-had strong interests in the traditional mind-brain, or 'hard,' problem. This paper reviews their approach to this problem, showing the influence of Bohr's complementarity thesis, the significance of Schroedinger's small book, 'What is life?,' the updated Platonism of Heisenberg and, perhaps most interesting of all, the interaction of Carl Jung and Wolfgang Pauli in the latter's search for a unification of mind and matter. © 2005 Elsevier Inc. All rights reserved.

Hard to swallow

The Dept of Health has invited applications from primary care trusts wishing to become pathfinder sites for repeat dispensing schemes. The NHS plan anticipated that a national scheme would be in operation by 2004. Research suggests repeat dispensing is welcomed by patients but does not save large amounts of money. Joint training for all those involved in a scheme is a key issue.

'Between a rock and a hard place':towards a theorisation of the role of gender in junior management

This paper seeks to theorise the role that gender plays in the careers of junior female managers. We do this by drawing upon two separate empirical studies, firstly a largescale study based on interviews with female managers in the West Midlands (UK) is used to explore the growth of female participation in junior managerial roles with reference to the notion of managerial careers as seduction. We explore the routes the women have taken into junior management careers and the barriers that exist to progression toward more senior roles. Secondly, a small-scale ethnographic study of a large service-based organization, also based in the West Midlands, is documented in an attempt to theorise the organizational role of female junior managers. While the dominance of masculine values and practices in organisations is explored, we also argue that growing female participation at junior managerial levels can only partly be explained by female managers adopting, or appearing to adopt, masculine behaviours. We seek to contribute to a fuller explanation by drawing attention to the way in which senior managers in the case study sought to employ female junior managers particularly for their perceived feminine skills. Significantly, however the ethnography reveals the ambiguously gendered construction of female junior managers roles through an exploration of the enactment of both masculine and feminine practices during the ‘doing’ of management.

Between a rock and a hard place:exploring women's experience of participation and progress in managerial careers

Purpose – The growth of women in management has been argued to offer a route to reduce organizational and social inequality. The purpose of this paper is to explore the careers and experiences of female managers from a variety of organizations operating in the West Midlands region of the UK. Design/methodology/approach – This study is based on 56 interviews conducted with women managers within various sectors. The interviewees also completed pictorial careers maps, which along with interview recordings were analyzed. Findings – The key themes to emerge from this research centre upon the factors that draw women into management (which we term seductive elements) as well as some of the hindering practices that prevent women from progressing. Significantly, we find that managerial careers are associated with gendered assumptions and practices (e.g. facilitating and developing people) which contribute to construct management (done by women) as bounded-up characteristically with “feminized” behaviours. Research limitations/implications – The research is based upon a relatively small sample that is multi-sectorial. Wider studies that increase population size, together with deeper studies that hold sectorial variables constant would further add weight to the findings presented here. Practical implications – The paper draws attention to the “lived reality” of doing management, which, we argue often, for women in particular involves the reconciliation of contradictions and conflicting pressures. We draw attention to the lack of “alternative models” of organization and highlight the potential for gender-focus mentoring and management education. Originality/value – The paper is of value in giving voice to a selection of women managers by allowing them to reflect upon and explore their experience of management. The paper also documents the day-to-day reality of women's managerial careers that require the re-enactment and reproduction of stereotypical gender norms.

Modelling tribology of slider and disk in a computer hard drive system

Issues of wear and tribology are increasingly important in computer hard drives as slider flying heights are becoming lower and disk protective coatings thinner to minimise spacing loss and allow higher areal density. Friction, stiction and wear between the slider and disk in a hard drive were studied using Accelerated Friction Test (AFT) apparatus. Contact Start Stop (CSS) and constant speed drag tests were performed using commercial rigid disks and two different air bearing slider types. Friction and stiction were captured during testing by a set of strain gauges. System parameters were varied to investigate their effect on tribology at the head/disk interface. Chosen parameters were disk spinning velocity, slider fly height, temperature, humidity and intercycle pause. The effect of different disk texturing methods was also studied. Models were proposed to explain the influence of these parameters on tribology. Atomic Force Microscopy (AFM) and Scanning Electron Microscopy (SEM) were used to study head and disk topography at various test stages and to provide physical parameters to verify the models. X-ray Photoelectron Spectroscopy (XPS) was employed to identify surface composition and determine if any chemical changes had occurred as a result of testing. The parameters most likely to influence the interface were identified for both CSS and drag testing. Neural Network modelling was used to substantiate results. Topographical AFM scans of disk and slider were exported numerically to file and explored extensively. Techniques were developed which improved line and area analysis. A method for detecting surface contacts was also deduced, results supported and explained observed AFT behaviour. Finally surfaces were computer generated to simulate real disk scans, this allowed contact analysis of many types of surface to be performed. Conclusions were drawn about what disk characteristics most affected contacts and hence friction, stiction and wear.

The development of hard real-time systems using a formal approach

Hard real-time systems are a class of computer control systems that must react to demands of their environment by providing `correct' and timely responses. Since these systems are increasingly being used in systems with safety implications, it is crucial that they are designed and developed to operate in a correct manner. This thesis is concerned with developing formal techniques that allow the specification, verification and design of hard real-time systems. Formal techniques for hard real-time systems must be capable of capturing the system's functional and performance requirements, and previous work has proposed a number of techniques which range from the mathematically intensive to those with some mathematical content. This thesis develops formal techniques that contain both an informal and a formal component because it is considered that the informality provides ease of understanding and the formality allows precise specification and verification. Specifically, the combination of Petri nets and temporal logic is considered for the specification and verification of hard real-time systems. Approaches that combine Petri nets and temporal logic by allowing a consistent translation between each formalism are examined. Previously, such techniques have been applied to the formal analysis of concurrent systems. This thesis adapts these techniques for use in the modelling, design and formal analysis of hard real-time systems. The techniques are applied to the problem of specifying a controller for a high-speed manufacturing system. It is shown that they can be used to prove liveness and safety properties, including qualitative aspects of system performance. The problem of verifying quantitative real-time properties is addressed by developing a further technique which combines the formalisms of timed Petri nets and real-time temporal logic. A unifying feature of these techniques is the common temporal description of the Petri net. A common problem with Petri net based techniques is the complexity problems associated with generating the reachability graph. This thesis addresses this problem by using concurrency sets to generate a partial reachability graph pertaining to a particular state. These sets also allows each state to be checked for the presence of inconsistencies and hazards. The problem of designing a controller for the high-speed manufacturing system is also considered. The approach adopted mvolves the use of a model-based controller: This type of controller uses the Petri net models developed, thus preservIng the properties already proven of the controller. It. also contains a model of the physical system which is synchronised to the real application to provide timely responses. The various way of forming the synchronization between these processes is considered and the resulting nets are analysed using concurrency sets.