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.

A systematic study of the microwave and thermal cure kinetics of the TGDDM/DDS and TGDDM/DDM epoxy-amine resin systems

The microwave and thermal cure processes for the epoxy-amine systems N,N,N',N'-tetraglycidyl-4,4'-diaminodiphenyl methane (TGDDM) with diaminodiphenyl sulfone (DDS) and diaminodiphenyl methane (DDM) have been investigated. The DDS system was studied at a single cure temperature of 433 K and a single stoichiometry of 27 wt% and the DDM system was studied at two stoichiometries, 19 and 32 wt%, and a range temperatures between 373 and 413 K. The best values the kinetic rate parameters for the consumption of amines have been determined by a least squares curve Ft to a model for epoxy-amine cure. The activation energies for the rate parameters for the MY721/DDM system were determined as was the overall activation energy for the cure reaction which was found to be 62 kJ mol(-1). No evidence was found for any specific effect of the microwave radiation on the rate parameters, and the systems were both found to be characterized by a negative substitution effect. Copyright (C) 2001 John Wiley & Sons, Ltd.

Diagnostic performance of Antineutrophil Cytoplasmic Antibody tests for Idiopathic Vasculitides: Metaanalysis with a focus on antimyeloperoxidase antibodies

Objective. The diagnostic value of tests for antimyeloperoxidase antibodies (anti-MPO) for systemic vasculitis is less established than that for cytoplasmic antineutrophil cytoplasmic antibody (cANCA)/antiproteinase 3 antibodies (anti-PR3). Controversy exists regarding the optimal utilization of indirect immunofluorescence (IIF) ANCA testing versus antigen-specific ANCA testing. To summarize the pertinent data, we conducted a metaanalysis examining the diagnostic value of ANCA testing systems that include assays for anti-MPO. Methods. We performed a structured Medline search and reference list review. Target articles in the search strategy were those reporting the diagnostic value of immunoassays for anti-MPO for the spectrum of systemic necrotizing vasculitides that includes Wegener's granulomatosis, microscopic polyangiitis, the Churg-Strauss syndrome, and isolated pauci-immune necrotizing or crescentic glomerulonephritis, regardless of other types of ANCA tests. Inclusion criteria required specification of a consecutive or random patient selection method and the use of acceptable criteria for the diagnosis of vasculitis exclusive of ANCA test results. Weighted pooled summary estimates of sensitivity and specificity were calculated for anti-MPO alone, anti-MPO + perinuclear ANCA (pANCA), and anti-MPO/pANCA + anti-PR3/cANCA. Results. Of 457 articles reviewed, only 7 met the selection criteria. Summary estimates of sensitivity and specificity (against disease controls only) of assays for anti-MPO for the diagnosis of systemic necrotizing vasculitides were 37.1% (confidence interval 26.6% to 47.6%) and 96.3% (CI 94.1% to 98.5%), respectively. When the pANCA pattern by IIF was combined with anti-MPO testing, the specificity improved to 99.4%, with a lower sensitivity, 31.5%. The combined ANCA testing system (anti-PR3/cANCA + anti-MPO/pANCA) increased the sensitivity to 85.5% with a specificity of 98.6%. Conclusion. These results suggest that while anti-MPO is relatively specific for the diagnosis of systemic vasculitis, the combination system of immunoassays for anti-MPO and IIF for pANCA is highly specific and both tests should be used together given the high diagnostic precision required for these conditions. Because patients with ANCA associated vasculitis have either anti-MPO with pANCA or anti-PR3 with cANCA, and rarely both, a combined ANCA testing system including anti-PR3/cANCA and anti-MPO/pANCA is recommended to optimize the diagnostic performance of ANCA testing. (J Rheumatol 2001;28:1584-90)

Immune response to Bacteroides forsythus in a murine model

A murine skin abscess model was used to study the immune response to an acute infection with Bacteroides forsythus. BALB/c mice were given subcutaneous injections of either viable or heat-killed B. forsythus, while a third sham-immunized control group received phosphate-buffered saline. Weights and lesion sizes were measured. Blood was collected from the heart and specific antibodies to B. forsythus measured by an ELISA. Swabs taken from the lesions and also from pooled blood were cultured anaerobically for viable B. forsythus. Viable B. forsythus-induced lesions reached maximum size at day 7. B. forsythus cells were recovered from lesions up to day 4 although none were cultured from blood samples. Heat-killed bacteria induced much smaller lesions. Serum antibody levels increased during the 9-day study period, being significantly higher in mice injected with viable compared with heat-killed B. forsythus. Antibody levels in sham control mice were significantly lower than those seen in the other two groups. These results showed that a subcutaneous injection of viable cells of B. forsythus elicited a pronounced abscess formation and induce higher levels of specific antibodies compared with that produced by an injection of dead bacteria. This suggests that, as with other periodontopathic organisms, this mouse model can be used to study the immune response to B. forsythus.

Role of LMP1 in immune control of EBV infection

The Epstein-Barr virus (EBV) encoded latent membrane protein (LMP1) plays a crucial role in the long-term persistence of this virus within the cells of the immune system. Not only is this protein critical for the transformation of resting B cells by EBV, it also displays pleiotropic effects on various cellular proteins expressed in the host cell. These include up-regulation of expression of B cell activation antigens, adhesion molecules and various components of the antigen processing pathway. Here we discuss how LMP1 acts like an expression 'switch' which, depending on the stage of EBV infection, manoeuvres various pathways that either modulate the immune system towards or against its survival.

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.

Immune-derived opioids and peripheral antinociception

1. Recent findings have suggested a significant involvement of the immune system in the control of pain. Immune cells contain opioid peptides that are released within inflamed tissue and act at opioid receptors on peripheral sensory nerve endings. It is also apparent that different types of lymphocytes contain P-endorphin, memory T cells containing more beta -endorphin than naive cells. 2. These findings highlight an integral link between immune cell migration and inflammatory pain, The present review highlights immune system involvement in the site-directed control of inflammatory pain. 3. Full-length mRNA transcripts for opioid precursor proteins are expressed in immune cells. Increased expression of pro-opiomelanocortin mRNA and beta -endorphin has been demonstrated in stimulated lymphocytes and lymphocytes from animals with inflammation. 4. Cytokines and corticotropin-releasing factor (CRF) release opioids from immune cells, Potent peripheral analgesia due to direct injection of CRF can be blocked by antagonists to CRF, antibodies to opioid peptides, antisense to CRF and opioid receptor-specific antagonists. The release of opioid peptides from lymphocytes is calcium dependent and opioid receptor specific. Furthermore, endogenous sources of opioid peptides produce potent analgesia when implanted into the spinal cord. 5. Activated immune cells migrate directly to inflamed tissue using cell adhesion molecules to adhere to the epithelial surface of the vasculature in inflamed tissue. Lymphocytes that have been activated can express opioid peptides, Memory type T cells that contain opioid peptides are present within inflamed tissue; naive cells are not present in inflamed tissue and do not contain opioid peptides, Inhibiting the migration of memory type T cells into inflamed tissue by blocking selectins results in reduced numbers of beta -endorphin containing cells, a reduced quantity of beta -endorphin in inflamed paws and reduced stress- and CRF-induced peripheral analgesia. 6. Immunosuppression is associated with increased pain in patients. Moreover, immunosuppression results in decreased lymphocyte numbers as well as decreased analgesia in animal models.

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.