Extending the theory of Owicki and Gries with asynchronous message passing

We describe an extension of the theory of Owicki and Gries (1976) to a programming language that supports asynchronous message passing based on unconditional send actions and conditional receive actions. The focus is on exploring the fitness of the extension for distributed program derivation. A number of experiments are reported, based on a running example problem, and with the aim of exploring design heuristics and of streamlining derivations and progress arguments.

Comparison of the effect of pre-treatment and catalysts on liquid quality from fast pyrolysis of biomass

The overall objective of this work was to compare the effect of pre-treatment and catalysts on the quality of liquid products from fast pyrolysis of biomass. This study investigated the upgrading of bio-oil in terms of its quality as a bio-fuel and/or source of chemicals. Bio-oil used directly as a biofuel for heat or power needs to be improved particularly in terms of temperature sensitivity, oxygen content, chemical instability, solid content, and heating values. Chemicals produced from bio-oil need to be able to meet product specifications for market acceptability. There were two main objectives in this research. The first was to examine the influence of pre-treatment of biomass on the fast pyrolysis process and liquid quality. The relationship between the method of pre-treatment of biomass feedstock to fast pyrolysis oil quality was studied. The thermal decomposition behaviour of untreated and pretreated feedstocks was studied by using a TGA (thermogravimetric analysis) and a Py-GC/MS (pyroprobe-gas chromatography/mass spectrometry). Laboratory scale reactors (100g/h, 300g/h, 1kg/h) were used to process untreated and pretreated feedstocks by fast pyrolysis. The second objective was to study the influence of numerous catalysts on fast pyrolysis liquids from wheat straw. The first step applied analytical pyrolysis (Py-GC/MS) to determine which catalysts had an effect on fast pyrolysis liquid, in order to select catalysts for further laboratory fast pyrolysis. The effect of activation, temperature, and biomass pre-treatment on catalysts were also investigated. Laboratory experiments were also conducted using the existing 300g/h fluidised bed reactor system with a secondary catalytic fixed bed reactor. The screening of catalysts showed that CoMo was a highly active catalyst, which particularly reduced the higher molecular weight products of fast pyrolysis. From these screening tests, CoMo catalyst was selected for larger scale laboratory experiments. With reference to the effect of pre-treatment work on fast pyrolysis process, a significant effect occurred on the thermal decomposition of biomass, as well as the pyrolysis products composition, and the proportion of key components in bio-oil. Torrefaction proved to have a mild influence on pyrolysis products, when compared to aquathermolysis and steam pre-treatment.

Towards an integrative theory of religion and politics

In the social sciences, debate on the relationship between religion and politics is mainly the subject of analysis in the sociology of religion and the theory of international relations. While each of these fields promotes different approaches to study their interdependency. The individual's perception of religion and politics is neglected by current research. The faithful, who participates in religious ceremonies, listening and behaving according to specific religious teachings, actively engaging in the liturgical life of the institutional form of his religion, has a specific way of understanding the relationship between religion and politics. I argue that this aspect is under-researched and misrepresented in the literature of sociology and international relations. However, a more complex analysis is offered by the study of nationalism, and especially by its ethnosymbolic approach, which includes at the micro and macro societal level the presence of myths and symbols as part of the individual's and the nation's life. An integrative theory analysing the connection between religion and politics takes into account the role of myths and symbols from the perspectives of both individuals and ethnic communities.

Strategic group theory:review, examination and application in the UK pharmaceutical industry

Purpose – The purpose of this paper is to consider the current status of strategic group theory in the light of developments over the last three decades. and then to discuss the continuing value of the concept, both to strategic management research and practising managers. Design/methodology/approach – Critical review of the idea of strategic groups together with a practical strategic mapping illustration. Findings – Strategic group theory still provides a useful approach for management research, which allows a detailed appraisal and comparison of company strategies within an industry. Research limitations/ implications – Strategic group research would undoubtedly benefit from more directly comparable, industry-specific studies, with a more careful focus on variable selection and the statistical methods used for validation. Future studies should aim to build sets of industry specific variables that describe strategic choice within that industry. The statistical methods used to identify strategic groupings need to be robust to ensure that strategic groups are not solely an artefact of method. Practical implications – The paper looks specifically at an application of strategic group theory in the UK pharmaceutical industry. The practical benefits of strategic groups as a classification system and of strategic mapping as a strategy development and analysis tool are discussed. Originality/value – The review of strategic group theory alongside alternative taxonomies and application of the concept to the UK pharmaceutical industry.

The pre-treatment and pyrolysis of biomass for the production of liquids for fuels and speciality chemicals

Fast pyrolysis of biomass is a significant technology for producing pyrolysis liquids [also known as bio-oil], which contain a number of chemicals. The pyrolysis liquid can be used as a fuel, can be produced solely as a source of chemicals or can have some of the chemicals extracted and the residue used as a fuel. There were two primary objectives of this work. The first was to determine the fast pyrolysis conditions required to maximise the pyrolysis liquid yield from a number of biomass feedstocks. The second objective was to selectively increase the yield of certain chemicals in the pyrolysis liquid by pre-treatment of the feedstock prior to pyrolysis. For a particular biomass feedstock the pyrolysis liquid yield is affected by the reactor process parameters. It has been found that, providing the other process parameters are restricted to the values shown below, reactor temperature is the controlling parameter. The maximum pyrolysis liquid yield and the temperature at which it occurs has been found by a series of pyrolysis experiments over the temperature range 400-600°C. high heating rates > 1000°C/s; pyrolysis vapour residence times <2 seconds; pyrolysis vapour temperatures >400 but <500°C; rapid quenching of the product vapours. Pre-treatment techniques have been devised to modify the chemical composition and/or structure of the biomass in such a way as to influence the chemical composition of the pyrolysis liquid product. The pre-treatments were divided into two groups, those that remove material from the biomass and those which add material to the biomass. Component removal techniques have selectively increased the yield of levoglucosan from 2.45 to 18.58 mf wt.% [dry feedstock basis]. Additive techniques have selectively increased the yield of hydroxyacetaldehyde from 7.26 to 11.63 mf w.% [dry feedstock basis]. Techno-economic assessment has been carried out on an integrated levoglucosan production process [incorporating pre-treatment, pyrolysis and chemical extraction stages] to assess which method of chemical production is the more cost effective. It has been found that it is better to pre-treat the biomass in order to increase the yield of specific chemicals in the pyrolysis liquid and hence improve subsequent chemicals extraction.