Formalising behaviour trees with CSP

Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements axe modelled as single trees which later on are integrated into a model of the system as a whole. We develop a formal semantics for a subset of Behaviour Trees using CSP. This work, on one hand, provides tool support for Behaviour Trees. On the other hand, it builds a front-end to a subset of the CSP notation and gives CSP users a new modelling strategy which is well suited to the challenges of requirements engineering.

Not if but when: Out-group reactions to the timing of disclosure of an individual's same-sex attractions

One factor that research suggests impedes positive contact between outgroup members is the experience of anxiety that can occur when anticipating negative consequences of such interactions. Research examining attitudes and behaviour towards same-sex attracted individuals indicates that this intergroup anxiety is particularly evident when the anticipated interaction involves members of the same gender. The current studies investigate the effect of timing of disclosure of a person’s same-sex attractions in an effort to identify a means of reducing this anxiety. Study 1 uses a hypothetical scenario to gain insight into participants’ stated preferences for early or delayed knowledge of a person’s sexual orientation. Results reveal an association between experiencing close contact with gay individuals of the same gender in real life (but not opposite gender), and a preference for early disclosure. Results from an experimental study concur with these findings. After a face-to-face interaction task with a confederate of the same gender, participants sit further from the confederate for the late disclosure condition when compared with the early disclosure and no disclosure control. Future studies investigating the interaction between timing of disclosure of same-sex attractions and the intimacy of disclosure (casual vs. intimate), are discussed.

Individual spirit at work and its relationship with employee work attitudes and organisational outcomes:An empirical examination in corporate Thailand

The purpose of this thesis is to conduct empirical research in corporate Thailand in order to (1) validate the Spirit at Work Scale (2) investigate the relationships between individual spirit at work and three employee work attitudinal variables (job satisfaction, organisational identification and psychological well-being) and three organisational outcomes (in-role performance, organisational citizenship behaviours (OCB), and turnover intentions) (3) further examine causal relations among these organisational behaviour variables with a longitudinal design (4) examine three employee work attitudes as mediator variables between individual spirit at work and three organisational outcomes and (5) explore the potential antecedents of organisational conditions that foster employee experienced individual spirit at work. The two pilot studies with 155 UK and 175, 715 Thai samples were conducted for validation testing of the main measure used in this study: Spirit at Work Scale (Kinjerski & Skrypnek, 2006a). The results of the two studies including discriminant validity analyses strongly provided supportive evidence that Spirit at Work Scale (SAWS) is a sound psychometric measure and also a distinct construct from the three work attitude constructs. The final model of SAWS contains a total of twelve items; a three factor structure (meaning in work, sense of community, and spiritual connection) in which the sub-factors loaded on higher order factors and also had very acceptable reliability. In line with these results it was decided to use the second-order of SAWS model for Thai samples in the main study and subsequent analysis. The 715 completed questionnaires were received from the first wave of data collection during July - August 2008 and the second wave was conducted again within the same organisations and 501 completed questionnaires were received during March - April 2009. Data were obtained through 49 organisations which were from three types of organisations within Thailand: public organisations, for-profit organisations, and notfor-profit organisations. Confirmatory factor analysis of all measures used in the study and hypothesised model were tested with structural equation modelling techniques. The results were greatly supportive for the direct structural model and partially supportive for the fully mediated model. Moreover, there were different findings across self report and supervisor rating on performance and OCB models. Additionally, the antecedent conditions that fostered employees experienced individual spirit at work and the implications of these findings for research and practice are discussed.

The Role of the big five personality traits, proactive behaviour, and socialisation influences in newcomer adjustment

During the early stages of employment, newly hired employees find out what their new organisations are like. Their first impressions are extremely important in determining the course of subsequent attitudes and behaviour. Recently, a considerable progress has been made towards the understanding of adjustment process, however, the literature remain divided along a number of fronts. Moreover, newcomer research has been conducted independent and irrespective of newcomer personality individual differences. This seems to be a critical oversight because there is overlap in predictions involving these constructs. The current research extended the previous one by examining these multiple antecedents, including Big Five personality traits of newcomer to the tandem process of adjustment as well as outcomes that immediate, or ?proximal? to the process of newcomer adjustment. Following a cross sectional pilot study of recent college graduate, a three- wave longitudinal study of newcomers in seven organisations examined Big Five personality traits, proactive behaviour, and socialisation influence (formal training, leaders, co-workers) as antecedents of proximal adjustment outcomes (group integration, political knowledge of organisation, and task performance). The main study results suggested that personality traits were related to proximal adjustment outcomes, specifically, Conscientiousness was positively related to all proximal adjustment outcomes. Openness to experience was related to task performance and political knowledge. Group integration is independently related to Agreeableness, Extraversion and Neuroticism. The socialisation influence moderate these relations, for example, leader socialisation moderate Conscientiousness as it relates to political knowledge and group integration, while co-worker moderate Extraversion as it relates to task performance. Finally, it was found that, the relationship between proximal adjustment outcomes and the personality dimensions Openness was mediated by proactive behaviour. Overall, the results suggested that individual differences have a role in newcomer adjustment as it facilitate the socialisation influence, and Big Five was one of the key determinants of newcomer adjustment.

Task classification and decision processes in monitoring behaviour

Task classification is introduced as a method for the evaluation of monitoring behaviour in different task situations. On the basis of an analysis of different monitoring tasks, a task classification system comprising four task 'dimensions' is proposed. The perceptual speed and flexibility of closure categories, which are identified with signal discrimination type, comprise the principal dimension in this taxonomy, the others being sense modality, the time course of events, and source complexity. It is also proposed that decision theory provides the most complete method for the analysis of performance in monitoring tasks. Several different aspects of decision theory in relation to monitoring behaviour are described. A method is also outlined whereby both accuracy and latency measures of performance may be analysed within the same decision theory framework. Eight experiments and an organizational study are reported. The results show that a distinction can be made between the perceptual efficiency (sensitivity) of a monitor and his criterial level of response, and that in most monitoring situations, there is no decrement in efficiency over the work period, but an increase in the strictness of the response criterion. The range of tasks exhibiting either or both of these performance trends can be specified within the task classification system. In particular, it is shown that a sensitivity decrement is only obtained for 'speed' tasks with a high stimulation rate. A distinctive feature of 'speed' tasks is that target detection requires the discrimination of a change in a stimulus relative to preceding stimuli, whereas in 'closure' tasks, the information required for the discrimination of targets is presented at the same point In time. In the final study, the specification of tasks yielding sensitivity decrements is shown to be consistent with a task classification analysis of the monitoring literature. It is also demonstrated that the signal type dimension has a major influence on the consistency of individual differences in performance in different tasks. The results provide an empirical validation for the 'speed' and 'closure' categories, and suggest that individual differences are not completely task specific but are dependent on the demands common to different tasks. Task classification is therefore shovn to enable improved generalizations to be made of the factors affecting 1) performance trends over time, and 2) the consistencv of performance in different tasks. A decision theory analysis of response latencies is shown to support the view that criterion shifts are obtained in some tasks, while sensitivity shifts are obtained in others. The results of a psychophysiological study also suggest that evoked potential latency measures may provide temporal correlates of criterion shifts in monitoring tasks. Among other results, the finding that the latencies of negative responses do not increase over time is taken to invalidate arousal-based theories of performance trends over a work period. An interpretation in terms of expectancy, however, provides a more reliable explanation of criterion shifts. Although the mechanisms underlying the sensitivity decrement are not completely clear, the results rule out 'unitary' theories such as observing response and coupling theory. It is suggested that an interpretation in terms of the memory data limitations on information processing provides the most parsimonious explanation of all the results in the literature relating to sensitivity decrement. Task classification therefore enables the refinement and selection of theories of monitoring behaviour in terms of their reliability in generalizing predictions to a wide range of tasks. It is thus concluded that task classification and decision theory provide a reliable basis for the assessment and analysis of monitoring behaviour in different task situations.

Individual differences in occupational perceptions: a developmental study

This thesis presents an investigation of the structure of people's occupational perceptions. The questionnaires used In this study collected both descriptive information about people's perceptions of occupations and also pair comparison similarities data. The data were collected both in the United States of America and England from samples of subjects who differed in terms of age and sex. This provided, therefore, both cross-cultural and developmental dimensions to the study. A cognitive orientation to the study of vocational behaviour is developed and multidimensional scaling procedures are used to analyze the data. A prime concern of the thesis is to examine the appropriateness of this approach and these techniques to this subject area. The results of this study show that a considerable range of individuaI differences exist in occupational perceptions.0lder subjects have a more complex structure to their perceptions and showed greater consensus as to how they perceived occupations to relate to each other. Younger subjects exhibited a greater range of individual differences in occupational perceptions but had, on average, a simpler subjective occupational structure. The multidimensional scaling procedures used in this study were able to reveal how occupational perceptions were structured, to relate these occupational perceptions to occupational preferences and other evaluative data, and to show that the groupings and structure of occupational perceptions ore similar to the dimensions used in occupational classification schemes. ImpIications of these resultts to vocationaI guidance theory and practice are discussed. The resuIts reported here strongly support both the use of the cognitive approach adopted here and demonstrate the potential of multidimensional scaling techniques for further:research in the field of vocational psychology.

Structural behaviour and design of load-bearing falsework

Tne object of this research was to investigate the behaviour of birdcage scaffolding as used in falsework structures, assess the suitability of existing design methods and make recommendations for a set of design rules. Since excessive deflection is as undesirable in a structure as total collapse, the project was divided into two sections. These were to determine the ultimate vertical and horizontal load-carrying capacity and also the deflection characteristics of any falsework. So theoretical analyses were developed to ascertain the ability of both the individual standards to resist vertical load, and of the bracing to resist horizontal load.Furthermore a model was evolved which would predict the horizontal deflection of a scaffold under load using strain energy methods. These models were checked by three series of experiments. The first was on individual standards under vertical load only. The second series was carried out on full scale falsework structures loading vertically and horizontally to failure. Finally experiments were conducted on scaffold couplers to provide additional verification of the method of predicting deflections. This thesis gives the history of the project and an introduction into the field of scaffolding. It details both the experiments conducted and the theories developed and the correlation between theory and experiment. Finally it makes recommendations for a design method to be employed by scaffolding designers.

Structural behaviour of glass reinforced plastics

The aim of this research is to promote the use of G.R.P. as a structural material. In the past, the use of G.R.P. has been confined to non-load carrying applications. Such uses are still rapidly increasing but in addition significant changes have been made during the last decade in the development of semi-structural and now even fully structural applications. Glass-reinforced plastic is characterized by a high strength but a relatively low modulus of elasticity. For this reasona G.R.P. structure can expect to show large deformations as a result of which the individual structural members will fail under load due to a loss of stability rather than approaching the ultimate strength of the material. For this reason the selection of the geometrical shapes of G.R.P. structural elements is considered to be an important factor in designing G.R.P. structures. The first chapter of this thesis deals with a general review of the theoretical and experimental methods used to describe the structural properties of G.R.P. The research programme includes five stages dealing with the structural behaviour of G.R.P. The first stage (Chapter 2) begins with selecting and designing an optimum box beam cross-section which gives the maximum flexural and torsional rigidity. The second stage of investigation (Chapter 3) deals with beam to beam connections. A joint was designed and manufactured with different types of fasteners used to connect two beam units. A suitable fastener was selected and the research extended to cover the behaviour of long span beams using multiple joints. The third part of the investigation includes a study of the behaviour of box beams subjected to combined bending, shear and torsion. A special torque rig was developed to perform the tests. Creep deformation of 6 m span G.R.P. was investigated as the fourth stage under a range of loading conditions. As a result of the phenomenon of post buckling behaviour exhibited in the compression flange during testing of box beams during earlier stages of the investigation it was decided to consider this phenomenon in more detail in the final stage of the investigation. G.R.P. plates with different fibre orientation were subjected to uniaxial compression and tested up to failure. In all stages of the investigation theoretical predictions and experimental results were compared and generally good correlation between theory and experimental data was observed.

Behaviour of concrete frame structures under localised fire scenarios

This thesis encompasses an investigation of the behaviour of concrete frame structure under localised fire scenarios by implementing a constitutive model using finite-element computer program. The investigation phase included properties of material at elevated temperature, description of computer program, thermal and structural analyses. Transient thermal properties of material have been employed in this study to achieve reasonable results. The finite-element computer package of ANSYS is utilized in the present analyses to examine the effect of fire on the concrete frame under five various fire scenarios. In addition, a report of full-scale BRE Cardington concrete building designed to Eurocode2 and BS8110 subjected to realistic compartment fire is also presented. The transient analyses of present model included additional specific heat to the base value of dry concrete at temperature 100°C and 200°C. The combined convective-radiation heat transfer coefficient and transient thermal expansion have also been considered in the analyses. For the analyses with the transient strains included, the constitutive model based on empirical formula in a full thermal strain-stress model proposed by Li and Purkiss (2005) is employed. Comparisons between the models with and without transient strains included are also discussed. Results of present study indicate that the behaviour of complete structure is significantly different from the behaviour of individual isolated members based on current design methods. Although the current tabulated design procedures are conservative when the entire building performance is considered, it should be noted that the beneficial and detrimental effects of thermal expansion in complete structures should be taken into account. Therefore, developing new fire engineering methods from the study of complete structures rather than from individual isolated member behaviour is essential.

Controlled study into the effectiveness of individual client-centred counselling for young offenders in residential care

This study is toe first documented account in the British Isles of an evaluation of the effectiveness of client-centred counselling with young offenders in secure residential care. It is a test of Rogers' (1957) position on the 'necessary and sufficient' conditions of therapeutic personality change within a counselling relationship. Forty teenage male offenders, the subjects of Training School Orders, were randomly allocated in equal numbers to either an experimental or control group. Boys in the experimental group received weekly individual sessions of client-centred counselling over a seven month period. Boys in the control group received no formal counselling but were shown to have similar intellectual, personality, socio-economic and criminal backgrounds to those in the experimental group. It was hypothesised that counselled subjects would show more positive outcomes than control subjects over a range of measures relating to criminal behaviour and self-conception. The results indicated that the counselled subjects had a significantly lower rate of offending and a srnaller range of offences over a mean follow-up period of 2.5 years. They were also licensed from the institution significantly earlier and spent less time in custody during a one year follow-up after counselling was completed. Self-conception measures gave less clear-cut results. The direction of change towards better adjustment favoured the counselled subjects but the magnitude was often small. Those counselled subjects with most positive behaviour change tended to have significantly improved self-evaluation, less self/ideal self discrepancy and more variation on 'actual' self concept compared to pre-counselling. The results are discussed in the context of client-centred theory, methodological adequacy of the experimental design, and their application to the future treatment of young offenders in secure residential care.

Using the theory of planned behaviour to understand binge drinking:the importance of beliefs for developing interventions

Objectives. To elicit students' salient beliefs in relation to binge drinking, and to examine the extent to which individual salient beliefs predict theory of planned behaviour (TPB) constructs in relation to binge drink, and actual drinking behaviour assessed later that evening. Design. Longitudinal, over a single evening. Methods. 192 students were recruited as they entered a campus bar at the beginning of the evening. They completed questionnaires with open-ended questions eliciting beliefs concerning binge drinking, and ratings scales assessing standard TPB constructs in relation to binge drinking. At the end of the evening, 181 completed a second questionnaire and recorded the number of alcoholic drinks they had consumed. Results. Beliefs were reliably coded (all kappas =0.79). Students with higher intentions to binge drink were more likely to believe that their friends approved of binge drinking, and that (lack of) money would make it difficult. Students who reported drinking more alcohol at the end of the evening were more likely to believe that getting drunk is an advantage/what they would like about binge drinking tonight, that their sports teams would approve, and that celebrating, drinking patterns, and environment would make it easy to binge drink. Conclusions. The present study has identified the individually salient beliefs relating to drinking behaviour that the TPB states should be addressed by interventions to alter behaviour, and which that should be assessed as mediators in intervention research. As a whole, these findings highlight the importance of perceived peer norms in binge drinking in this population, and support the idea of interventions to challenge the perception of social pressure to binge drink. ©2011 The British Psychological Society.

Phosphorus catalysis in the pyrolysis behaviour of biomass

Phosphorus is a key plant nutrient and as such, is incorporated into growing biomass in small amounts. This paper examines the influence of phosphorus, present in either acid (HPO) or salt ((NH)PO) form, on the pyrolysis behaviour of both Miscanthus × giganteus, and its cell wall components, cellulose, hemicellulose (xylan) and lignin (Organosolv). Pyrolysis-gas chromatography-mass spectrometry (PY-GC-MS) is used to examine the pyrolysis products during thermal degradation, and thermogravimetric analysis (TGA) is used to examine the distribution of char and volatiles. Phosphorus salts are seen to catalyse the pyrolysis and modify the yields of products, resulting in a large increase in char yield for all samples, but particularly for cellulose and Miscanthus. The thermal degradation processes of cellulose, xylan and Miscanthus samples occur in one step and the main pyrolysis step is shifted to lower temperature in the presence of phosphorus. A small impact of phosphorus was observed in the case of lignin char yields and the types of pyrolysis decomposition products produced. Levoglucosan is a major component produced in fast pyrolysis of cellulose. Furfural and levoglucosenone become more dominant products upon P-impregnation pointing to new rearrangement and dehydration routes. The P-catalysed xylan decomposition route leads to a much simpler mixture of products, which are dominated by furfural, 3-methyl-2-cyclopenten-1-one and one other unconfirmed product, possibly 3,4-dihydro-2-methoxy-2H-pyran or 4-hydroxy-5,6-dihydro-(2H)-pyran-2-one. Phosphorus-catalysed lignin decomposition also leads to a modified mixture of tar components and desaspidinol as well as other higher molecular weight component become more dominant relative to the methoxyphenyl phenols, dimethoxy phenols and triethoxy benzene. Comparison of the results for Miscanthus lead to the conclusion that the understanding of the fast pyrolysis of biomass can, for the most part, be gained through the study of the individual cell wall components, provided consideration is given to the presence of catalytic components such as phosphorus.

Opportunity, fair process and relationship value:career development as a driver of proactive work behaviour

In line with recent findings from organisational justice theory, we hypothesised that employee proactive behaviour and careerist orientation is predicted by the interplay of perceived favourability of career development opportunities, the perceived fairness of the procedures used to decide them, and employee organisational commitment. Employees (N = 325) of a large financial services organisation responded to a self-completion questionnaire. As predicted, when career development opportunities were viewed unfavourably, perceived procedural justice was significantly and positively related to individual proactive behaviour and significantly and negatively related to careerist orientation but only when organisational commitment was high. It appears that high procedural justice may only 'offset' the negative effects of unfavourable career development opportunities when employees identify with, and are committed to, their organisation. Further support is presented for a relational, rather than instrumental, model of procedural justice when reflecting on employee reactions to their employers' policies and decision-making. Implications for theory and practice are discussed.

Individual spirit at work and its outcomes:an empirical examination in corporate Thailand

The purpose of the present study was to conduct empirical research in corporate Thailand in order to (1) investigate the relationships between individual spirit at work and three employee work attitudinal variables (organisational identification, job satisfaction and psychological well-being) and three organisational outcomes (in-role performance, organisational citizenship behaviours (OCB), and turnover intentions) (2) further examine causal relations among these organisational behaviour variables with a longitudinal design (3) examine three employee work attitudes as mediator variables between individual spirit at work and three organisational outcomes and (4) explore the potential antecedents of organisational conditions that foster employee experienced individual spirit at work. The 715 completed questionnaires were received from the first wave of data collection during July 2008 and the second wave was conducted again within the same organisations and 501 completed questionnaires were received during April 2009. Data were obtained through 52 organisations which were from three types of organisations within Thailand: public organisations (N=237,185), for-profit organisations (N=244,155), and not-for-profit organisations (N=234,161). Confirmatory factor analysis of all measures used in the study and hypothesized model were tested with structural equation modeling techniques. Results were strongly supportive. In addition, although the model was invariant across rater of performance and OCB, there were differences across self report and supervisor rating. Additionally, the antecedents of organisational conditions that fostered employees experienced individual spirit at work and the implications of these findings for practice and research are discussed.

Potassium catalysis in the pyrolysis behaviour of short rotation willow coppice

Short rotation willow coppice (SRC) and a synthetic biomass, a mixture of the basic biomass components (cellulose, hemicellulose and lignin), have been investigated for the influence of potassium on their pyrolysis behaviours. The willow sample was pre-treated to remove salts and metals by hydrochloric acid, and this demineralised sample was impregnated with potassium. The same type of pre-treatment was applied to components of the synthetic biomass. Characterisation was performed using thermogravimetric analysis with measurement of products by means of Fourier transform infrared spectroscopy (TGA-FTIR) and pyrolysis-gas chromatography-mass spectrometry (PY-GC-MS). A comparison of product distributions and kinetics are reported. While the general features of decomposition of SRC are described well by an additive behaviour of the individual components, there are some differences in the magnitude of the influence of potassium, and on the products produced. For both SRC and the synthetic biomass, TGA traces indicate catalytic promotion of both of the two-stages of biomass decomposition, and potassium can lower the average apparent first-order activation energy for pyrolysis by up to 50 kJ/mol. For both SRC and synthetic biomass the yields and distribution of pyrolysis products have been influenced by the presence of the catalyst. Potassium catalysed pyrolysis increases the char yields markedly and this is more pronounced for synthetic biomass than SRC. Gas evolution profiles during pyrolysis show the same general features for both SRC and synthetic biomass. Relative methane yields increase during the char formation stage of pyrolysis of the potassium doped samples. The evolution profiles of acetic acid and formaldehyde change, and these products are seen in lower relative amounts for both the demineralised samples. A greater variation in pyrolysis products is observed from the treated SRC samples compared to the different synthetic biomass samples. Furthermore, substituted phenols from lignin pyrolysis are more dominant in the pyrolysis profiles of the synthetic biomass than of the SRC, implying that the extracted lignins used in the synthetic biomass yield a greater fraction of monomeric type species than the lignocellulosic cell wall material of SRC. For both types of samples, PY-GS-MS analyses show that potassium has a significant influence on cellulose decomposition markers, not just on the formation of levoglucosan, but also other species from the non-catalysed mechanism, such as 3,4-dihydroxy-3-cyclobutene-1,2-dione. © 2007 Elsevier Ltd. All rights reserved.