Assessing forest fire as a potential PCDD/F source in Queensland, Australia

Forest fires are suggested as a potential and significant source of polychlorinated dibenzo-p-dioxins and polychlorinated dibenzofurans (PCDD/Fs), even though no studies to date provide sufficient evidence to confirm forest fires as a source of PCDD/Fs. Recent investigations in Gueensland, Australia have identified a widespread contamination of PCDDs (in particular OND) in soils and sediments in the coastal region from an unknown source of PCDD/Fs. Queensland is predominately rural; it has few known anthropogenic sources of PCDD/Fs, whereas forest fires are a frequent occurrence. This study was conducted to assess forest fires as a potential source of the unknown PCDD/F contamination in Queensland. A combustion experiment was designed to assess the overall mass of PCDD/Fs before and after a simulated forest fire. The results from this study did not identify an increase in Sigma-PCDD/Fs or OCDD after the combustion process. However, specific non-2,3,7,8 substituted lower chlorinated PCDD/Fs were elevated after the combustion process, suggesting formation from a precursor. The results from this study indicate that forest fires are unlikely to be the source of the unknown PCDD contamination in Gueensland, rather they are a key mechanism for the redistribution of PCDD/Fs from existing sources and precursors.

Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

Method for determining the shear stress in cylindrical systems

We develop a method for determining the elements of the pressure tensor at a radius r in a cylindrically symmetric system, analogous to the so-called method of planes used in planar systems [B. D. Todd, Denis J. Evans, and Peter J. Daivis, Phys. Rev. E 52, 1627 (1995)]. We demonstrate its application in determining the radial shear stress dependence during molecular dynamics simulations of the forced flow of methane in cylindrical silica mesopores. Such expressions are useful for the examination of constitutive relations in the context of transport in confined systems.