Proving Temporal Properties of Z Specifications Using Abstraction

This paper presents a systematic approach to proving temporal properties of arbitrary Z specifications. The approach involves (i) transforming the Z specification to an abstract temporal structure (or state transition system), (ii) applying a model checker to the temporal structure, (iii) determining whether the temporal structure is too abstract based on the model checking result and (iv) refining the temporal structure where necessary. The approach is based on existing work from the model checking literature, adapting it to Z.

The effects of normalisation on the ability of business end-users to detect data anomalies: An experimental evaluation

With the proliferation of relational database programs for PC's and other platforms, many business end-users are creating, maintaining, and querying their own databases. More importantly, business end-users use the output of these queries as the basis for operational, tactical, and strategic decisions. Inaccurate data reduce the expected quality of these decisions. Implementing various input validation controls, including higher levels of normalisation, can reduce the number of data anomalies entering the databases. Even in well-maintained databases, however, data anomalies will still accumulate. To improve the quality of data, databases can be queried periodically to locate and correct anomalies. This paper reports the results of two experiments that investigated the effects of different data structures on business end-users' abilities to detect data anomalies in a relational database. The results demonstrate that both unnormalised and higher levels of normalisation lower the effectiveness and efficiency of queries relative to the first normal form. First normal form databases appear to provide the most effective and efficient data structure for business end-users formulating queries to detect data anomalies.

Antifungal alkyl amino alcohols from the tropical marine sponge Haliclona n. sp.

Three new amino alcohols presumably deriving from L-alanine were isolated from the tropical marine sponge Haliclona n. sp. and characterized by 2D NMR, while a fourth amino alcohol was characterized as an acetamide derivative. Relative stereochemistry was deduced from the NMR characteristics of oxazolidinone derivatives and absolute stereochemistry secured by preparation and analysis of an MPA ester. The amino alcohol fraction from Haliclona n. sp, acts as an antifungal agent and inhibits the development of larvae of the ascidian Herdmania curvata.

Identification and total synthesis of novel fatty acids from the siphonarid limpet Siphonaria denticulata

The novel fatty acids 17-methyl-6(Z)-octadecenoic acid and 17-methyl-7(Z)-octadecenoic acid were identified for the first time in nature in the mollusk Siphonaria denticulata from Queensland, Australia. The principal fatty acids in the limpet were hexadecanoic acid, octadecanoic acid, and (Z)-9-octadecenoic acid, while the most interesting series of monounsaturated fatty acids was a family of five nonadecenoic acids with double bonds at either Delta (7), Delta (9), Delta (11), Delta (12), or Delta (13). The novel compounds were characterized using a combination of GC-MS and chemical transformations, such as dimethyl disulfide derivatization. The first total syntheses for the two novel methyl-branched nonadecenoic acids are also described, and these were accomplished in four to five steps and in high yields.

Advanced precursors in marine biosynthetic study. Part 2: The biosynthesis of isocyanides and isothiocyanates in the tropical marine sponge Axinyssa n.sp.

The biosynthetic origins of the isocyanide and isothiocyanate groups in 9-isocyanop upukeanane (2) and 9-isothiocyanato-pupukeanane (3) are investigated by incorporation of [C-14]-labelled advanced precursors into the sponge Axinyssa n.sp. (C) 2001 Elsevier Science Ltd. All rights reserved.

New chlorinated peptides from the tropical marine sponge Dysidea sp.

Five new chlorinated peptides (5)-(9) have been isolated from a Dysidea sp. and identified by two-dimensional NMR spectroscopy. The absolute stereochemistry of the metabolites was deduced by chemical correlation with S-(-)-4,4,4-trichloro-3-methylbutanoic acid (10) and with an alcohol (11). (C) 2001 Elsevier Science Ltd. All rights reserved.

NMR imaging of water sorption into poly(hydroxyethyl methacrylate-co-tetrahydrofurfuryl methacrylate)

The diffusion of water into a series of hydroxyethyl methacrylate, HEMA, copolymers with tetrahydrofurfuryl methacrylate, THFMA, has been studied over a range of copolymer compositions using NMR imaging analyses. For polyHEMA the diffusion was found to be consistent with a Fickian model. The mass diffusion coefficient of water in polyHEMA at 37 degreesC was determined from the profiles of the diffusion front to be 1.5 x 10(-11) m(2) s(-1), which is less than the value based upon mass uptake, 2.0 x 10(-11) m(2) s(-1). The profiles of the water diffusion front obtained from the NMR images showed that stress was induced at the interface between the rubbery and glassy regions which led to formation of small cracks in this region of the glassy matrix of polyHEMA and its copolymers with mole fractions of HEMA greater than 0.6. Water was shown to be able to enter these cracks forming water pools. For copolymers of HEMA and THFMA with mole fractions of HEMA less than 0.6 the absence of cracks was attributed to the ability of the THFMA sequences to undergo stress relaxation by creep.

The radical homopolymerization of N-phenylmaleimide, N-n-hexylmaleimide and N-cyclohexylmaleimide in tetrahydrofuran

The kinetics and mechanisms of thermally initiated (using 2,2'-azobisisoburyronitrile (AIBN) as initiator) radical homopolymerizations of a series of maleimides, including N-phenymaleimide (PHMI) [l-phenyl-1H-pyrrole-2,5-dione]; N-n-hexylmaleimide (nHMI) [l-(n-hexyI)-1H-pyrrole-2,5-dione]; and N-cyclohexylmaIeimide (CHMI) [l-cyclohexyl- 1H-pyrrole-2,5-dione] have been investigated in THF solution by an on-line FT-NIR technique. It was found that the order of the activation energies for the three N-sub-MIs is: E-a PHMI < E-a (PHMI) < E-a (CHMI). The overall polymerization rate parameter k and the pre-exponential factor A were calculated. The kinetic order with respect to the N-sub-MIs was in the range of 0.71 < m < 0.75 for the initiator and n = 1.0 for the monomer. Radical transfer to solvent was found to be the key factor in determining the apparent order with respect to the initiator. All of the homopolymers had a relatively low molecular weight. The end groups of the polymer chains were characterized by MALDI-TOF, GPC and NMR methods and the results clearly indicate that the polymerization was initiated by THF radicals, and that the termination reaction is mainly controlled by chain transfer to solvent through an hydrogen abstraction mechanism. (C) 2001 Elsevier Science Ltd. All rights reserved.