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.

Fitting mixtures of Kent distributions to aid in joint set identification

When examining a rock mass, joint sets and their orientations can play a significant role with regard to how the rock mass will behave. To identify joint sets present in the rock mass, the orientation of individual fracture planer can be measured on exposed rock faces and the resulting data can be examined for heterogeneity. In this article, the expectation-maximization algorithm is used to lit mixtures of Kent component distributions to the fracture data to aid in the identification of joint sets. An additional uniform component is also included in the model to accommodate the noise present in the data.

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.

Characterization of mouse Frizzled-3 expression in hair follicle development and identification of the human homolog in keratinocytes

Frizzled genes encode a family of Wnt ligand receptors, which have a conserved cysteine-rich Wnt binding domain and include both transmembrane and secreted forms. Work by others has shown that experimental perturbation of Wnt signaling results in aberrant hair formation, hair growth, and hair structure. To date, however, there is no information on the contribution of individual Frizzled proteins to hair development. We now report that Frizzled-3 expression in skin is restricted to the epidermis and to the developing hair follicle. Northern analysis on total mouse skin mRNA revealed a single Frizzled-3 transcript of 3.7 kb. Reverse transcription-polymerase chain reaction and in situ hybridization analysis revealed Frizzled-3 expression in epidermal and hair follicle keratinocytes. Frizzled-3 transcripts are first detected in discrete foci in the developing epidermis of 13 d embryos and later in the hair follicle placodes of 15 d embryos, suggesting a role for this Frizzled isoform in follicle development. In 17 d embryos and id old newborn mice Frizzled-3 expression is limited to suprabasal keratinocytes and is not seen in pelage follicles until 3 d postpartum. In 7 d old neonatal skin, Frizzled-3 is expressed throughout the epidermis and in the outer cell layers of hair follicles. We have also identified the mRNA encoding human Frizzled-3 in epidermal keratinocytes and in the HaCaT keratinocyte cell line. Human Frizzled-3 mRNA encodes a 666 amino acid protein with 97.8% identity to the mouse protein. The human Frizzled-3 gene was mapped using a radiation-hybrid cell line panel to the short arm of chromosome 8 between the markers WI-1172 and WI-8496 near the loci for the Hypotrichosis of Marie Unna and Hairless genes.

Effect of tissue Doppler on the accuracy of novice and expert interpreters of Dobutamine echocardiography

The subjective interpretation of dobutamine echocardiography (DBE) makes the accuracy of this technique dependent on the experience of the observer, and also poses problems of concordance between observers. Myocardial tissue Doppler velocity (MDV) may offer a quantitative technique for identification of coronary artery disease, but it is unclear whether this parameter could improve the results of less expert readers and in segments with low interobserver concordance. The aim of this study was to find whether MDV improved the accuracy of wall motion scoring in novice readers, experienced echocardiographers, and experts in stress echocardiography, and to identify the optimal means of integrating these tissue Doppler data in 77 patients who underwent DBE and angiography. New or worsening abnormalities were identified as ischemia and abnormalities seen at rest as scarring. Segmental MDV was measured independently and previously derived cutoffs were applied to categorize segments as normal or ab normal. Five strategies were used to combine MDV and wall motion score, and the results of each reader using each strategy were compared with quantitative coronary angiography. The accuracy of wall motion scoring by novice (68 +/- 3%) and experienced echocardiographers (71 +/- 3%) was less than experts in stress echocardiography (88 +/- 3%, p < 0.001). Various strategies for integration with MDV significantly improved the accuracy of wall motion scoring by novices from 75 +/- 2% to 77 +/- 5% (p < 0.01). Among the experienced group, accuracy improved from 74 +/- 2% to 77 +/- 5% (p < 0.05), but in the experts, no improvement was seen from their baseline accuracy. Integration with MDV also improved discordance related to the basal segments. Thus, use of MDV in all segments or MDV in all segments with wall motion scoring in the apex offers an improvement in sensitivity and accuracy with minimal compromise in specificity. (C) 2001 by Excerpta Medica, Inc.

A systematic approach to error isolation in computerized wastewater simulation models

Activated sludge models are used extensively in the study of wastewater treatment processes. While various commercial implementations of these models are available, there are many people who need to code models themselves using the simulation packages available to them, Quality assurance of such models is difficult. While benchmarking problems have been developed and are available, the comparison of simulation data with that of commercial models leads only to the detection, not the isolation of errors. To identify the errors in the code is time-consuming. In this paper, we address the problem by developing a systematic and largely automated approach to the isolation of coding errors. There are three steps: firstly, possible errors are classified according to their place in the model structure and a feature matrix is established for each class of errors. Secondly, an observer is designed to generate residuals, such that each class of errors imposes a subspace, spanned by its feature matrix, on the residuals. Finally. localising the residuals in a subspace isolates coding errors. The algorithm proved capable of rapidly and reliably isolating a variety of single and simultaneous errors in a case study using the ASM 1 activated sludge model. In this paper a newly coded model was verified against a known implementation. The method is also applicable to simultaneous verification of any two independent implementations, hence is useful in commercial model development.

Isolation and identification of the toxic peptides from Lophyrotoma zonalis (Pergidae) sawfly larvae

The broad-leaved paper bark tree Melaleuca quinquenervia (Cav) (Myrtaceae) was introduced into Florida (USA) early in this century it has proliferated to such an extent that urgent measures are now required to control it. The sawfly Lophyrotoma zonalis (Pergidae) has been introduced as a possible biological control agent due to its ability to defoliate M. quinquenervia. Because toxic D-amino acid- containing peptides have been isolated from some sawfly species, L. zonalis larvae were processed using the previously reported method for the recovery of these compounds. The toxins lophyrotomin (as the free C-terminal acid) and a mixture of pergidin and Val(4)-pergidin were isolated at 0.36 and 0.43% yield of the dried larvae, respectively. Both compounds when dosed intraperitoneally to C57/B16 male mice were hepatotoxic with lowest lethal doses of 8 and 32 mg/kg, respectively. The pathology of the liver was different for each compound, with the lophyrotomin free acid causing a periportal haemorrhagic necrosis and the pergidin causing a periacinar coagulative necrosis. (C) 2001 Elsevier Science Ltd. All rights reserved.

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.

Isolation and identification of the cyanotoxin cylindrospermopsin and deoxy-cylindrospermopsin from a Thailand strain of Cylindrospermopsis raciborskii (Cyanobacteria)

A strain of Cylindrospermopsis (Cyanobacteria) isolated from a fishpond in Thailand was examined for its taxonomy based upon morphology and 16S rRNA gene sequence. It was also examined for production of the hepatotoxic cyanotoxin called cylindrospermopsin (CYN) and deoxycylindrospermopsin (deoxy-CYN). The strain (CY-Thai) was identified as C. raciborskii (Woloszynska) Seenaya and Subba Raju based upon morphological examination which was confirmed by 16S rRNA gene sequences and phylogenetic comparisons based upon its 16S rRNA gene. The alkaloid heptatotoxin CYN was confirmed using mouse bioassay, HPLC and HPLC-MS/MS while deoxy-CYN was confirmed using HPLC-MS/MS. The mouse bioassay gave a minimum lethal dose at 250 mg dry weight cells/kg body weight within 24 h and 125 mg/kg at 72 h, with signs of poisoning the same as in literature reports for CYN. HPLC chromatographic comparison of the CY-Thai toxin with standard CYN gave the same retention time and an absorbance maximum at 262 nm. HPLC-MS/MS confirmed the presence of CYN (M + H 416) and deoxy-CYN (M + H 400). The CYN content in strain CY-Thai was estimated at 1.02 mg/g and approximately 1/10 of this amount for deoxy-CYN. This is the first report from Asia of a CYN, deoxy-CYN producing Cylindrospermopsis raciborskii. (C) 2001 Elsevier Science Ltd. All rights reserved.

An identifiability analysis of a parent-metabolite pharmacokinetic model for ivabradine.

The paper considers the structural identifiability of a parent–metabolite pharmacokinetic model for ivabradine and one of its metabolites. The model, which is linear, is considered initially for intravenous administration of ivabradine, and then for a combined intravenous and oral administration. In both cases, the model is shown to be unidentifiable. Simplification of the model (for both forms of administration) to that proposed by Duffull et al. (1) results in a globally structurally identifiable model. The analysis could be applied to the modeling of any drug undergoing first-pass metabolism, with plasma concentrations available from drug and metabolite.

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.