Effects of structure on the comprehensibility of formal specifications

Use of structuring mechanisms (such as modularisation) is widely believed to be one of the key ways to improve software quality. Structuring is considered to be at least as important for specification documents as for source code, since it is assumed to improve comprehensibility. Yet, as with most widely held assumptions in software engineering, there is little empirical evidence to support this hypothesis. Also, even if structuring can be shown to he a good thing, we do not know how much structuring is somehow optimal. One of the more popular formal specification languages, Z, encourages structuring through its schema calculus. A controlled experiment is described in which two hypotheses about the effects of structure on the comprehensibility of Z specifications are tested. Evidence was found that structuring a specification into schemas of about 20 lines long significantly improved comprehensibility over a monolithic specification. However, there seems to be no perceived advantage in breaking down the schemas into much smaller components. The experiment can he fully replicated.

Existence, recurrence and equilibrium properties of Markov branching processes with instantaneous immigration

Attention has recently focussed on stochastic population processes that can undergo total annihilation followed by immigration into state j at rate αj. The investigation of such models, called Markov branching processes with instantaneous immigration (MBPII), involves the study of existence and recurrence properties. However, results developed to date are generally opaque, and so the primary motivation of this paper is to construct conditions that are far easier to apply in practice. These turn out to be identical to the conditions for positive recurrence, which are very easy to check. We obtain, as a consequence, the surprising result that any MBPII that exists is ergodic, and so must possess an equilibrium distribution. These results are then extended to more general MBPII, and we show how to construct the associated equilibrium distributions.

Electronic packaging and reduction in modelling time using domain decomposition

The domain decomposition method is directed to electronic packaging simulation in this article. The objective is to address the entire simulation process chain, to alleviate user interactions where they are heavy to mechanization by component approach to streamline the model simulation process.

Reviews [Book review]

Review of John Dee: interdisciplinary studies in English renaissance thought, Stephen Clucas (editor), Springer International Archives of the History of Ideas 193, 2006, 383pp, £ 111, ISBN 1-4020-4245-0.

Design of parallel algorithms for fractal video compression

The intrinsic independent features of the optimal codebook cubes searching process in fractal video compression systems are examined and exploited. The design of a suitable parallel algorithm reflecting the concept is presented. The Message Passing Interface (MPI) is chosen to be the communication tool for the implementation of the parallel algorithm on distributed memory parallel computers. Experimental results show that the parallel algorithm is able to reduce the compression time and achieve a high speed-up without changing the compression ratio and the quality of the decompressed image. A scalability test was also performed, and the results show that this parallel algorithm is scalable.

Modelling and prototyping the conceptual design of 3D CMM micro-probe

This paper details the prototyping of a novel three axial micro probe based on utilisation of piezoelectric sensors and actuators for true three dimensional metrology and measurements at micro- and nanometre scale. Computational mechanics is used first to model and simulate the performance of the conceptual design of the micro-probe. Piezoelectric analysis is conducted to understand performance of three different materials - silicon, glassy carbon, and nickel - and the effect of load parameters (amplitude, frequency, phase angle) on the magnitude of vibrations. Simulations are also used to compare several design options for layout of the lead zirconium titanate (PZT) sensors and to identify the most feasible from fabrication point of view design. The material options for the realisation of the device have been also tested. Direct laser machining was selected as the primary means of production. It is found that a Yb MOPA based fiber laser was capable of providing the necessary precision on glassy carbon (GC), although machining trials on Si and Ni were less successful due to residual thermal effects.To provide the active and sensing elements on the flexures of the probe, PZT thick films are developed and deposited at low temperatures (Lt720 degC) allowing a high quality functional ceramic to be directly integrated with selected materials. Characterisation of the materials has shown that the film has a homogenous and small pore microstructure.

Effect of Bacillus thuringiensis naturally colonising Brassica campestris var. chinensis leaves on neonate larvae of Pieris brassicae

The feeding of neonate larvae of Pieris brassicae (Order Lepidoptera) on leaves of brassica plants that had been colonised by Bacillus thuringiensis resulted in the death of 35% of the population within 72 h. The bacteria Multiplied in the cadavers, resulting in an increase of about 50-fold compared to the living insects. Surviving insects showed no ill effects during the time of the study. There was negligible multiplication of B. thuringiensis in the frass. (C) 2009 Elsevier Inc. All rights reserved.

Adult personality inconsistency and problems with parents: uncovering the roots of the false self

Research has established that individuals who tend to vary their personality depending on who they are with, show a variety of signs of psychological maladjustment in comparison to those who do not; they show more negative affect (Baird, Le and Lucas, 2006), lower life satisfaction (Suh, 2002), lower self-esteem (Sheldon et al., 1997), lower role-satisfaction (Donahue et al., 1993), higher rates of depression (Lutz and Ross, 2003), more anxiety (Diehl, Hastings and Stanton, 2001) and poorer physical health (Cross, Gore and Morris, 2003). It has also been shown that personality variability is positively related to the experience of inauthenticity and falsity (Sheldon et al., 1997). Donahue, Roberts, Robins and John (1993) found that personality inconsistency of this type is related to tension within the family. Psychoanalytic theory has also linked the operation of an adult false self to experiences with parents, particularly in early life (Winnicott, 1960). It was hypothesized that personality variability and the adult experience of falsity in social situations would be related to an emotionally unstable relationship with parents. The method to test this comprised a questionnaire-based survey given to a non-clinical population. The final sample comprised 305, with 193 women and 112 men, aged from 19 to 55. The first questionnaire asked participants to rate personality traits, including emotional stability, in three social contexts - with parents, with friends and with work colleagues. The second part involved 3 questions; participants were asked to select in which of the aforementioned three social contexts they felt “most themselves”; in which they were “most authentic” and in which they “put on a front”. It was found, consistent with predictions, that an index of overall personality variability calculated from the personality questionnaire correlated strongly with emotional instability around parents (r = 0.46, p<0.001), while not correlating with emotional instability in either of the other two contexts measured. This suggests a specific link between a person’s relationship with their parents and their overall personality integration. Furthermore, it was found that participants who cited one of the three social contexts (parents, friends, work colleagues) as being one in which they were “more themselves” or “more authentic” had significantly higher ratings of emotional instability with parents than those participants who found that they were equally authentic across settings (F = 9.8, p<0.005). The results suggest a clear link between a person’s relationships with their parents and their adult personality integration. An explanation is that individuals who experience an anxious or ambiguous attachment with their parents in childhood may fear rejection or abandonment in later life, and so habitually adapt their personality to fit in to social contexts as adults, in order to be accepted by others and to minimize the possibility of social rejection. These individuals meanwhile retain an emotionally unstable relationship with their parents in adulthood. This interpretation is speculative but is open to empirical testing. Clinicians should be aware that attachment problems with parents may underlie poor personality integration in adulthood.

Considering theories of aggression in an emergency department context

Internationally literature emphasises concern regarding the phenomenon of violence and aggression within the emergency field. This paper emphasises the important role education and training may play in reducing the risk of staff being exposed to violent or aggressive experiences. Furthermore, the paper emphasises, explores and discusses well recognised theories relating to aggression development. These theories can be used to explain both organisational strategies designed to minimise aggression in the emergency department and situational factors contributing to the development of aggressive interactions.