Category-theoretic fibration as an abstraction mechanism in information systems

This paper examines the problem of establishing a formal relationship of abstraction and refinement between abstract enterprise models and the concrete information systems which implement them. It introduces and justifies a number of reasonableness requirements, which turn out to justify the use of category theoretic concepts, particularly fibrations, to precisely specify a semantics for enterprise models which enables them to be considered as abstractions of the conceptual models from which the implementing information systems are built. The category-theoretic concepts are developed towards the problem of testing whether a system satisfies the fibration axioms, and are applied to case studies to demonstrate their practicability.

Thermal characterization of copolymers obtained by radiation grafting of styrene onto poly(tetrafluoroethyleneperfluoropropylvinylether) substrates: thermal decomposition, melting behavior and low-temperature transitions

Differential scanning calorimetric (DSC) and thermogravimetric analysis (TGA) have been used to study the thermal decomposition, the melting behavior and low-temperature transitions of copolymers obtained by radiation-induced grafting of styrene onto poly (tetrafluoroethylene- perfluoropropylvinylether) (PFA) substrates. PFA with different contents of perfluoropropylvinylether (PPVE) as a comonomer have been investigated. A two step degradation pattern was observed from TGA thermograms of all the grafted copolymers, which was attributed to degradation of PSTY followed by the degradation of the PFA backbone at higher temperature. One broad melting peak can be identified for all copolymers, which has two components in the samples with higher PPVE content. The melting peak, crystal-crystal transition and the degree of crystallinity of the grafted copolymers increases with radiation grafting up to 50 kGy, followed by a decrease at higher doses. No such decrease was observed in the ungrafted PFA samples after irradiation. This indicated that the changes in the heats of transitions and crystallinity at low doses are due to the radiation effects on the microstructure of PFA (chain scission), whereas at higher doses the grafted PSTY is the driving force behind these changes. (C) 2001 Elsevier Science Ltd. All rights reserved.

Differential perturbation of neuronal and glial glutamate transport systems in retinal ischaemia

Glutamate is the major excitatory neurotransmitter in the retina and is removed from the extracellular space by an energy-dependent process involving neuronal and glial cell transporters. The radial glial Muller cells express the glutamate transporter, GLAST, and preferentially accumulate glutamate. However, during an ischaemic episode, extracellular glutamate concentrations may rise to excitotoxic levels. Is this catastrophic rise in extracellular glutamate due to a failure of GLAST? Using immunocytochemistry, we monitored the transport of the glutamate transporter substrate, D-aspartate, in the retina under normal and ischaemic conditions. Two models of compromised retinal perfusion were compared: (1) Anaesthetised rats had their carotid arteries occluded for 7 days to produce a chronic reduction in retinal blood flow. Retinal function was assessed by electroretinography. D-aspartate was injected into the eye for 45 min, Following euthanasia, the retina was processed for D-aspartate. GLAST and glutamate immunocytochemistry. Although reduced retinal perfusion suppresses the electroretinogram b-wave, neither retinal histology, GLAST expression, nor the ability of Muller cells to uptake D-aspartate is affected. As this insult does not appear to cause excitotoxic neuronal damage, these data suggest that GLAST function and glutamate clearance are maintained during periods of reduced retinal perfusion. (2) Occlusion of the central retinal artery for 60 min abolishes retinal perfusion, inducing histological damage and electroretinogram suppression. Although GLAST expression appears to be normal. its ability to transport D-aspartate into Muller cells is greatly reduced. Interestingly, D-aspartate is transported into neuronal cells, i.e. photoreceptors, bipolar and ganglion cells. This suggests that while GLAST is vitally important for the clearance of excess extracellular glutamate, its capability to sustain inward transport is particularly susceptible to an acute ischaemic attack. Manipulation of GLAST function could alleviate the degeneration and blindness that result from ischaemic retinal disease. (C) 2001 Elsevier Science Ltd, All rights reserved.

Lipid, sugar and liposaccharide based delivery systems

Although there are formidable barriers to the oral delivery of biologically active drugs, considerable progress in the field has been made, using both physical and chemical strategies of absorption enhancement. A possible method to enhance oral absorption is to exploit the phenomenon of lipophilic modification and mono and oligosaccharide conjugation. Depending on the uptake mechanism targeted, different modifications can be employed. To target passive diffusion, lipid modification has been used, whereas the targeting of sugar transport systems has been achieved through drugs conjugated with sugars. These drug delivery units can be specifically tailored to transport a wide variety of poorly absorbed drugs through the skin, and across the barriers that normally inhibit absorption from the gut or into the brain. The delivery system can be conjugated to the drug in such a way as to release the active compound after it has been absorbed (i.e. the drug becomes a prodrug), or to form a biologically stable and active molecule (i.e. the conjugate becomes a new drug moiety). Examples where lipid, sugar and lipid-sugar conjugates have resulted in enhanced drug delivery will be highlighted in this review.

Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.

A comparison of low-storage strategies for spectral analysis in dissipative systems: filter diagonalisation in the Lanczos representation and harmonic inversion of the Chebychev-order-domain autocorrelation function

We compare the performance of two different low-storage filter diagonalisation (LSFD) strategies in the calculation of complex resonance energies of the HO2, radical. The first is carried out within a complex-symmetric Lanczos subspace representation [H. Zhang, S.C. Smith, Phys. Chem. Chem. Phys. 3 (2001) 2281]. The second involves harmonic inversion of a real autocorrelation function obtained via a damped Chebychev recursion [V.A. Mandelshtam, H.S. Taylor, J. Chem. Phys. 107 (1997) 6756]. We find that while the Chebychev approach has the advantage of utilizing real algebra in the time-consuming process of generating the vector recursion, the Lanczos, method (using complex vectors) requires fewer iterations, especially for low-energy part of the spectrum. The overall efficiency in calculating resonances for these two methods is comparable for this challenging system. (C) 2001 Elsevier Science B.V. All rights reserved.

An analysis of why telehealth systems in Australia have not always succeeded

Telehealth programmes are rather similar to humans in the way that they are planned, develop, grow and ultimately die or disappear. To achieve good life expectancy for a telehealth programme there appear to be three major needs: nurturing, which includes the provision of money, ideas, education, training and innovation; experience, which involves an integrated management process, the achievement of long and wide patterns of usage, the development of updated policies and procedures and the involvement of multiple disciplines; success, which involves evidence of outcomes, evaluation and research, and, most important, the sharing of information through scientific and popular press publications, and conferences and collaborations with internal and external groups. The future of telehealth in Australia is at a watershed. There are now a substantial number of programmes, and there has been a large amount of financial and human investment in telehealth around the nation. There is, however, no forum for national leadership, no national association and little support at federal government level.

Enhancing emancipatory systems methodologies for sustainable development

Our interest lies in applying the principles of critical systems thinking to human activity systems in developing countries in situations where issues of natural resource sustainability constrain the feasible set of long-term strategies. The concept of sustainable development provides an expanded domain for critical systems thinking. The fundamental values underpinning sustainable development are that both intragenerational and intergenerational equity are important. As a consequence, key stakeholders are often excluded from power-sharing within current social systems. Addressing these issues requires renewed focus on emancipatory commitment and methodologies. To date, Ulrich's critical systems heuristics is the only critical systems methodology that offers practicable tools for emancipation. A case study analysis in Tigray, northern Ethiopia, provides insights in relation to the application of critical system heuristics to issues of sustainable development and highlights the need to extend the use of critical systems heuristics beyond the design and monitoring of structured interventions.

A comparison of thermal condition between pilot- and full-scale furnaces for studying slagging and fouling propensity in PF boilers

The Australian Coal Industry Research Laboratory (ACIRL) furnace is scaled to simulate slagging and fouling in operating boilers. This requires that the gas and target temperatures, the heat flux, and the flow pattern be the same as those in real boilers. The gas and target temperatures are maintained by insulating the wall and cooling the target respectively. The flow pattern of a small burner cannot be the same as a large furnace. However, this flow pattern is partially compensated for by placing the slagging panels in three vertical locations. The paper develops the models of radiant heat transfer from the flame to the deposits both in pilot-scale and full-scale furnaces. They are used to compare the effective radiant heat transfer of the pilot- and full-scale furnaces. The experimental data both from the pilot- and full-scale furnaces are used to verify the incident heat flux and temperature profiles in the pilot- and full-scale furnaces. The results showed that the thermal condition in the pilot-scale furnace meets the requirements for studying the slagging regarding the gas temperature and the incident heat flux, particularly for the panel #1. The gas temperature in the convective section also meets the requirement for studying the fouling.

Changing pay systems, occupational concentration and the gender pay gap: Evidence from Australia and the UK

While aggregate level pay equity comparisons between Australia and the UK confirm expectations based on their different wage distributions and regulatory systems, observation of trends and occupational level analysis reveal additional complexity. Our analysis suggests the need for a multi-faceted approach to closing the average gender pay gap.

Carapace dentition patterns, morphometrics and allozyme differentiation amongst two toothed freshwater crab species (Potamonautes warreni and P-unispinus) (Decapoda : Brachyura : Potamonautidae) from river systems in South Africa

The taxonomic relationship between two toothed South African river crabs, Potamonautes warreni and P. unispinus, is unclear. The problem stems from the widespread variation in carapace dentition patterns amongst P. warreni individuals over its biogeographic range, where single toothed individuals may appear similar in carapace morphology to P. unispinus. Ten populations of P. warreni and 18 populations of P. unispinus were collected and the morphometric and genetic differentiation between the two taxa quantified. Patterns of morphometric and genetic variation were examined using multivariate statistics and protein gel electrophoresis, respectively. Principal component analyses of carapace characters showed that the two species are morphologically indistinguishable. However, discriminate functions analyses and additional statistical results corroborate the morphological distinction between the two taxa. Allozyme electrophoresis of 17 protein coding loci, indicated a close genetic similarity between the two species (I = 0.92). A fixed allelic difference at one locus (LT-2) and extensive genetic variability at another locus (PGM-1) indicate that two gene pools are present and that the two taxa are genetically isolated. Intraspecific genetic I values for both species were > 0.97 and indicated no apparent genetic structuring on a micro or macro-geographic scale. The variation in carapace dentition among P. warreni populations possesses no genetic basis and may possibly toe the product of ecogenesis. The value of dentition patterns in the systematics of river crabs is discussed. Dentition patterns among river crab species appear to be conserved and reliable as species specific diagnostic markers, but should ideally be used in combination with other morphological data sets and genetic evidence.