A framework and tool support for the systematic testing of model-based specifications

Formal specifications can precisely and unambiguously define the required behavior of a software system or component. However, formal specifications are complex artifacts that need to be verified to ensure that they are consistent, complete, and validated against the requirements. Specification testing or animation tools exist to assist with this by allowing the specifier to interpret or execute the specification. However, currently little is known about how to do this effectively. This article presents a framework and tool support for the systematic testing of formal, model-based specifications. Several important generic properties that should be satisfied by model-based specifications are first identified. Following the idea of mutation analysis, we then use variants or mutants of the specification to check that these properties are satisfied. The framework also allows the specifier to test application-specific properties. All properties are tested for a range of states that are defined by the tester in the form of a testgraph, which is a directed graph that partially models the states and transitions of the specification being tested. Tool support is provided for the generation of the mutants, for automatically traversing the testgraph and executing the test cases, and for reporting any errors. The framework is demonstrated on a small specification and its application to three larger specifications is discussed. Experience indicates that the framework can be used effectively to test small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.

Mode II delamination testing in uniaxially oriented PVC pipes

The mode II fracture toughness of an oriented PVC pipe was measured using an End Notched Flexure test geometry. A relatively low value of G(IIC) was found of 1.07 kJ m(-2) and this indicates that it is energetically more favorable for a crack to propagate in the tangential direction rather than radially through the wall of the pipe. Examination of the mechanism of crack advanced showed that although the crack was propagating globally in mode II, micro-cracks were opening ahead of the crack in mode I or in mixed mode. Growth of the crack occurred by linking up of these micro-cracks. This is similar to the mechanism found for mode II cracking in carbon fibre epoxy composites. (C) 2004 Kluwer Academic Publishers.

Superplasticity and superplastic forming ability of a Zr-Ti-Ni-Cu-Be bulk metallic glass in the supercooled liquid recgion

The superplastic deformation behavior and superplastic forming ability of the Zr41.25Ti13.75Ni10Cu12.5Be22.5 (at.%) bulk metallic glass (BMG) in the supercooled liquid region were investigated. The isothermal tensile results indicate (hat the BMG exhibits a Newtonian behavior at low strain rates but a non-Newtonian behavior at hiqh-strain rates in the initial deformation stage. The maximum elongation reaches as high as 1624% at 656 K. and nanocrystallization was found to occur during the deformation process. Based cm the analysis on tensile deformation. a gear-like micropart is successfully die-forged via a superplastic forgings process. demonstrating that the BMG has excellent workability in the supercooled liquid region. (C) 2004 Elsevier B.V. All rights reserved.

Testing the 'photoinhibition' model of coral bleaching using chemical inhibitors

Explants of the hard coral Seriatopora hystrix were exposed to sublethal concentrations of the herbicide diuron DCMU (N'-(3,4-dichlorophenyl,-N,N-dimethylurea)) and the heavy metal copper. Pulse amplitude modulated (PAM) chlorophyll fluorescence techniques were used to assess the effects on the photosynthetic efficiency of the algal symbionts in the tissue (in Symbio), and chlorophyll fluorescence and counts of symbiotic algae (normalised to surface area) were used to assess the extent of coral bleaching. At 30 mug DCMU l(-1), there was a reduction in both the maximum effective quantum yield (DeltaF/F-m') and maximum potential quantum yield (F-v/F-m) of the algal symbionts in symbio. Corals subsequently lost their algal symbionts and discoloured (bleached), especially on their upper sunlight-exposed surfaces. At the same DCMU concentration but under low light (5% of growth irradiance), there was a marked reduction in DeltaF/F-m' but only a slight reduction in F-v/F-m and slight loss of algae. Loss of algal symbionts was also noted after a 7 d exposure to concentrations as low as 10 mug DCMU l(-1) under normal growth irradiance, and after 14 d exposure to 10 mug DCMU l(-1) under reduced irradiance. Collectively the results indicate that DCMU-induced bleaching is caused by a light-dependent photoinactivation of algal symbionts, and that bleaching occurs when F-v/F-n, (measured 2 h after sunset) is reduced to a value of less than or equal to 0.6. Elevated copper concentrations (60 mug Cu l(-1) for 10 h) also induced a rapid bleaching in S. hystrix but without affecting the quantum yield of the algae in symbio. Tests with isolated algae indicated that substantially higher concentrations (300 mug Cu l(-1) for 8 h) were needed to significantly reduce the quantum yield. Thus, copper-induced bleaching occurs without affecting the algal photosynthesis and may be related to effects on the host (animal). It is argued that warm-water bleaching of corals resembles both types of chemically induced bleaching, suggesting the need for an integrated model of coral bleaching involving the effect of temperature on both host (coral) and algal symbionts.

Science of assessment

Psoriatic arthritis is a multisystem disorder which, from a measurement standpoint, demands consideration of its cutaneous manifestations and both axial and peripheral musculoskeletal involvement. Measurements of various aspects of impairment, ability/disability, and participation/ handicap are feasible using existing measurement techniques, which are for the most part valid, reliable, and responsive. Nevertheless, there remain opportunities for the further development of consensus around core set measures and responder criteria, as well as for instrument development and refinement, standardised assessor training, cross-cultural adaptation of health status questionnaires, electronic data capture, and the introduction of standardised quantitative measurement into routine clinical care.

Ability of some plant extracts, traditionally used to treat ciguatera fish poisoning, to prevent the in vitro neurotoxicity produced by sodium channel activators

The effects of 31 plant extracts, which most are traditionally used to treat ciguatera fish poisoning in the Pacific area, were Studied on the cytotoxicity of mouse neuroblastoma cells produced by ouabain, veratridine and/or brevetoxin-3 or Pacific ciguatoxin-1. The cell viability was determined using a quantitative colorimetric method. A marked cytotoxicity of seven of the 31 plant extracts studied, was observed. Despite this, these plant extracts were suspected to contain active compound(s) against the cytotoxicity produced by brevetoxin (2 extracts), brevetoxin, ouabain and/or veratridine (3 extracts), or only against that of ouabain and/or veratridine (2 extracts). Among the 24 plant extracts that exhibited by themselves no cytotoxicity, 22 were active against the effect of brevetoxin or against that of both veratridine and brevetoxin. similar results were obtained when the seven most active plant extracts were reassayed using ciguatoxin instead of brevetoxin. In conclusion, the present work reports the first activity assessment of some plant extracts, achieved in vitro on a quite large scale. The fact that 27 plant extracts were found to exert, in vitro, a protective effect against the action of ciguatoxin and/or brevetoxin, paves the way for finding new active compounds to treat ciguatera fish poisoning, provided these compounds also reverse the effects of sodium channel activators. (c) 2005 Elsevier Ltd. All rights reserved.

Recommendations for animal DNA forensic and identity testing

Genetic analysis in animals has been used for many applications, such as kinship analysis, for determining the sire of an offspring when a female has been exposed to multiple males, determining parentage when an animal switches offspring with another dam, extended lineage reconstruction, estimating inbreeding, identification in breed registries, and speciation. It now also is being used increasingly to characterize animal materials in forensic cases. As such, it is important to operate under a set of minimum guidelines that assures that all service providers have a template to follow for quality practices. None have been delineated for animal genetic identity testing. Based on the model for human DNA forensic analyses, a basic discussion of the issues and guidelines is provided for animal testing to include analytical practices, data evaluation, nomenclature, allele designation, statistics, validation, proficiency testing, lineage markers, casework files, and reporting. These should provide a basis for professional societies and/or working groups to establish more formalized recommendations.

Deriving matrix of peptide-MHC interactions in diabetic mouse by genetic algorithm

Finding motifs that can elucidate rules that govern peptide binding to medically important receptors is important for screening targets for drugs and vaccines. This paper focuses on elucidation of peptide binding to I-A(g7) molecule of the non-obese diabetic (NOD) mouse - an animal model for insulin-dependent diabetes mellitus (IDDM). A number of proposed motifs that describe peptide binding to I-A(g7) have been proposed. These motifs results from independent experimental studies carried out on small data sets. Testing with multiple data sets showed that each of the motifs at best describes only a subset of the solution space, and these motifs therefore lack generalization ability. This study focuses on seeking a motif with higher generalization ability so that it can predict binders in all A(g7) data sets with high accuracy. A binding score matrix representing peptide binding motif to A(g7) was derived using genetic algorithm (GA). The evolved score matrix significantly outperformed previously reported

Assessment of P availability in heavily fertilized soils using the diffusive gradient in thin films (DGT) technique

Phosphorus-availability tests typically provide an indication of quantity of P available (Colwell bicarbonate-extractable P), or of the intensity of supply (0.01 M CaCl2-extractable P). The soil's capacity to buffer P is more difficult to assess, and is generally estimated using a P-adsorption curve. The diffusive gradient in thin films (DGT) approach may provide a simpler means of assessing a soil's ability to maintain soil solution P. Optimal extraction conditions were found to be 24 h exposure of DGT samplers to saturated soil. The DGT approach was evaluated on a range of 24 soils, some of which had high Colwell- (>100 mu g g(-1)) and Bray 1- (>30 mu g g(-1)) extractable P content, but showed a tomato (Lycopersicon esculentum Mill.) yield response to the addition of P fertilizer. The DGT approach provided an excellent separation of soils on which tomato showed a yield response, from those where fertilizer P did not increase dry-matter yield. Phosphorus accumulation was strongly correlated with soil solution P concentration and anion exchange resin-extractable P, but showed poor correlation with Colwell- or Bray 1-extractable P. The DGT P accumulation rate of 3.62 x 10(-7) to 4.79 x 10(-5) mol s(-1) m(-3) for the soils tested was comparable to the uptake rate of roots of tomato plants that were adequately supplied with P (2.25 x 10(-5) mol s(-1) m(-3)).

Effects of electrical muscle stimulation on oxygen consumption

Electrical muscle stimulation (EMS) devices are being marketed as weight/ fat loss devices throughout the world. Commercially available stimulators have the ability to evoke muscle contractions that may affect caloric expenditure while the device is being used. The aim of this study was to test the effects of two different EMS devices (Abtronic and Feminique) on oxygen consumption at rest. Subjects arrived for testing after an overnight fast, had the devices fitted, and then positioned supine with expired air measured to determine oxygen consumption. After a 10-minute acclimation period, oxygen consumption was measured for 20 minutes with the device switched off (resting) then 20 minutes with the device switched on (stimulated). There were no significant differences (P > 0.05) in oxygen consumption between the resting and stimulated periods with either the Abtronic (mean SD; resting, 3.40 +/- 0.44; stimulated, 3.45 +/- 0.53 ml of O-2.kg(-1).min(-1)) or the Feminique (resting, 3.73 +/- 0.45; stimulated, 3.75 +/- 0.46 ml of O-2.kg(-1).min(-1)). In summary, the EMS devices tested had no effect on oxygen consumption during muscle stimulation.

Investigation into the ability of Gluconacetobacter sacchari to live as an endophyte in sugarcane

The relatively low numbers and sporadic pattern of incidence of the acetic acid bacterium Gluconacetobacter sacchari with the pink sugarcane mealybug (PSMB) Saccharicoccus sacchari Cockerell (Homoptera: Pseudococcidae) over time and from different sugarcane-growing regions do not indicate that Glac. sacchari is a significant commensal of the PSMB, as has been previously proposed. This study was conducted to investigate the hypothesis that Glac. sacchari is, like its closest relative Glac. diazotrophicus, an endophyte of sugarcane (Saccharum officinarium L.). In this study, both Glac. sacchari and Glac. diazotrophicus were isolated from internal sugarcane tissue, although the detection of both species was sporadic in all sugarcane-growing regions of Queensland tested. To confirm the ability of Glac. sacchari to live endophytically, an experiment was conducted in which the roots of micropropagated sugarcane plantlets were inoculated with Glac. sacchari, and the plantlets were subsequently examined for the presence of the bacterium in the stem cells. Pure cultures of Glac. sacchari were grown from homogenized surface sterilized sugarcane stems inoculated with Glac. sacchari. Electron microscopy was used to provide further conclusive evidence that Glac. sacchari lives as an endophyte in sugarcane. Scanning electron microscopy of (SEM) sugarcane plantlet stems revealed rod-shaped cells of Glac. sacchari within a transverse section of the plantlet stem cells. The numbers of bacterial cells inside the plant cell indicated a successful infection and colonization of the plant tissue. Using transmission electron microscopy, (TEM) bacterial cells were more difficult to find, due to their spatial separation. In our study, bacteria were mostly found singularly, or in groups of up to four cells inside intercellular spaces, although bacterial cells were occasionally found inside other cells.

Measuring the ability of school children with a history of otitis media to understand everyday speech

The present study compared the ability of school-aged children with and without a history of otitis media (OM) to understand everyday speech in noise using the University of Queensland Understanding of Everyday Speech Test (UQUEST). Participants were 484 children (246 boys, 238 girls) attending Grade 3 (272, mean age = 8.25 yr., SD = 0.43) and Grade 4 (212, mean age = 9.28 yr., SD = 0.41) at 19 primary schools in Brisbane metropolitan and Sunshine Coast schools. Children selected for inclusion were native speakers of English with normal hearing on the day of testing and had no reported physical or behavioral impairments. The children were divided into three groups according to the number of episodes of OM since birth. The results showed no significant differences in speech scores across the participant groups. However, a significant difference in mean speech scores was found across the grades and the noise conditions. Although children with a history of OM performed equally well at a group level when compared to the controls, they exhibited a large range of abilities in speech comprehension within the same group.

Proton conductivity of mesoporous sol-gel zirconium phosphates for fuel cell applications

Zirconium phosphate has been extensively studied as a proton conductor for proton exchange membrane (PEM) fuel cell applications. Here we report the synthesis of mesoporous, templated sol-gel zirconium phosphate for use in PEM applications in an effort to determine its suitability for use as a surface functionalised, solid acid proton conductor in the future. Mesoporous zirconium phosphates were synthesised using an acid-base pair mechanism with surface areas between 78 and 177 m(2) g(-1) and controlled pore sizes in the range of 2-4 nm. TEM characterisation confirmed the presence of a wormhole like pore structure. The conductivity of such materials was up to 4.1 x 10(-6) S cm(-1) at 22degreesC and 84% relative humidity (RH), while humidity reduction resulted in a conductivity decrease by more than an order of magnitude. High temperature testing on the samples confirmed their dependence on hydration for proton conduction and low hydroscopic nature. It was concluded that while the conductivity of these materials is low compared to Nafion, they may be a good candidate as a surface functionalised solid acid proton conductor due to their high surface area, porous structure and inherent ability to conduct protons.

On the statistical analysis of the GS-NS0 cell proteome: Imputation, clustering and variability testing

We have undertaken two-dimensional gel electrophoresis proteomic profiling on a series of cell lines with different recombinant antibody production rates. Due to the nature of gel-based experiments not all protein spots are detected across all samples in an experiment, and hence datasets are invariably incomplete. New approaches are therefore required for the analysis of such graduated datasets. We approached this problem in two ways. Firstly, we applied a missing value imputation technique to calculate missing data points. Secondly, we combined a singular value decomposition based hierarchical clustering with the expression variability test to identify protein spots whose expression correlates with increased antibody production. The results have shown that while imputation of missing data was a useful method to improve the statistical analysis of such data sets, this was of limited use in differentiating between the samples investigated, and highlighted a small number of candidate proteins for further investigation. (c) 2006 Elsevier B.V. All rights reserved.