A model of specification-based testing of interactive systems

In this paper we present a model of specification-based testing of interactive systems. This model provides the basis for a framework to guide such testing. Interactive systems are traditionally decomposed into a functionality component and a user interface component; this distinction is termed dialogue separation and is the underlying basis for conceptual and architectural models of such systems. Correctness involves both proper behaviour of the user interface and proper computation by the underlying functionality. Specification-based testing is one method used to increase confidence in correctness, but it has had limited application to interactive system development to date.

Methods for effective fluidization of particulate food materials

Depending on the size and shape of the materials, methods employed to achieve effective fluidization during fluid bed drying varies from use of simple hole distributors for small, light weight materials to special techniques for lager and/or moist materials. This paper reviews common air distributors used in fluidized bed drying of food particulates. Also it reviews special methods of fluidizing larger irregular food particulates.

A model for adsorption of condensable vapors on nonporous materials

A new isotherm is proposed here for adsorption of condensable vapors and gases on nonporous materials having type II isotherms according to the Brunauer-Deming-Deming-Teller (BDDH) classification. The isotherm combines the recent molecular-continuum model in the multilayer region, with other widely used models for sub-monolayer coverage, some of which satisfy the requirement of a Henry's law asymptote. The model is successfully tested using isotherm data for nitrogen adsorption on nonporous silica, carbon and alumina, as well as benzene and hexane adsorption on nonporous carbon. Based on the data fits, out of several different alternative choices of model for the monolayer region, the Freundlich and the Unilan models are found to be the most successful when combined with the multilayer model to predict the whole isotherm. The hybrid model is consequently applicable over a wide pressure range. (C) 2000 Elsevier Science B.V. All rights reserved.

Characterization of pore size distributions of mesoporous materials from adsorption isotherms

In this article, a new hybrid model for estimating the pore size distribution of micro- and mesoporous materials is developed, and tested with the adsorption data of nitrogen, oxygen, and argon on ordered mesoporous materials reported in the literature. For the micropore region, the model uses the Dubinin-Rudushkevich (DR) isotherm with the Chen-Yang modification. A recent isotherm model of the authors for nonporous materials, which uses a continuum-mechanical model for the multilayer region and the Unilan model for the submonolayer region, has been extended for adsorption in mesopores. The experimental data is inverted using regularization to obtain the pore size distribution. The present model was found to be successful in predicting the pore size distribution of pure as well as binary physical mixtures of MCM-41 synthesized with different templates, with results in agreement with those from the XRD method and nonlocal density functional theory. It was found that various other recent methods, as well as the classical Broekhoff and de Beer method, underpredict the pore diameter of MCM-41. The present model has been successfully applied to MCM-48, SBA's, CMK, KIT, HMS, FSM, MTS, mesoporous fly ash, and a large number of other regular mesoporous materials.

Dendrite coherency of Al-Si-Cu alloys

The dendrite coherency point of Al-Si-Cu alloys was determined by thermal analysis and rheological measurement methods by performing parallel measurements at two cooling rates for aluminum alloys across a wide range of silicon and copper contents. Contrary to previous findings, the two methods yield significantly different values for the fraction solid at the dendrite coherency point. This disparity is greatest for alloys of low solute concentration. The results from this study also contradict previously reported tl ends in the effect of cooling rate on the dendritic coherency point. Consideration of the results shows that thermal analysis is not a valid technique for the measurement of coherency. Analysis of the results from rheological testing indicates that silicon concentration has a dominant effect on grain size and dendritic morphology, independent of cooling rate and copper content, and thus is the factor that determines the fraction solid at dendrite coherency for Al-Si-Cu alloys.

Adsorption hysteresis and criticality in regular mesoporous materials

In the present work, various theories predicting the critical diameter for the absence of capillary condensation and hysteresis are applied to experimental adsorption isotherms of vapors on regular mesoporous materials. Among the various theories studied, the tensile strength approximation proposed by the authors was found to be the most successful. Reversibility of nitrogen adsorption at 77.4 K was studied on pure MCM-41 of various pore sizes, as well as mixtures of pure MCM-41 samples in a 1:1 ratio. The results of PSD and hysteresis on MCM-41 mixtures are close to that expected from studies of the pure materials. The estimates of hysteresis critical temperature and diameter of MCM-41, HMS, FSM and KIT materials are also provided.

Energy and averages in the mechanics of granular materials

We derive a general thermo-mechanical theory for particulate materials consisting of granules of arbitrary whose material points possess three translational and three independent rotational degrees of freedom. Additional field variables are the translational and rotational granular temperatures, the kinetic energies shape and size. The kinematics of granulate is described within the framework of a polar continuum theory of the velocity and spin fluctuations respectively and the usual thermodynamic temperature. We distinguish between averages over particle categories (averages in mass/velocity and moment of inertia/spin space, respectively) and particle phases where the average extends over distinct subsets of particle categories (multi phase flows). The relationship between the thermal energy in the granular system and phonon energy in a molecular system is briefly discussed in the main body of the paper and discussed in detail in the Appendix A. (C) 2001 Elsevier Science B.V. All rights reserved.

Impact of on-site testing for maternal syphilis on treatment delays, treatment rates, and perinatal mortality in rural South Africa: a randomised controlled trial

Background: Syphilis remains a significant cause of preventable perinatal death in developing countries with many women remaining untested and thus untreated. Syphilis testing in the clinic (on-site testing) may be a useful strategy to overcome this. We studied the impact of on-site syphilis testing on treatment delays and rates, and perinatal mortality. Methods: We conducted a cluster randomised controlled trial among seven pairs of primary healthcare clinics in rural South Africa, comparing on-site testing complemented by laboratory confirmation versus laboratory testing alone. Intervention clinics used the on-site test conducted by primary care nurses, with results and treatment available within an hour. Control clinics sent blood samples to the provincial laboratory, with results returned 2 weeks later. Results: Of 7134 women seeking antenatal care with available test results, 793 (11.1%) tested positive for syphilis. Women at intervention clinics completed treatment 16 days sooner on average (95% confidence interval: 11 to 21), though there was no significant difference in the proportion receiving adequate treatment at intervention (64%) and control (69%) clinics. There was also no significant difference in the proportion experiencing perinatal loss (3.3% v 5.1%; adjusted risk difference: -0.9%; 95% Cl -4.4 to 2.7). Conclusions: Despite reducing treatment delays, the addition of on-site syphilis testing to existing laboratory testing services did not lead to higher treatment rates or reduce perinatal mortality. However on-site testing for syphilis may remain an important option for improving antenatal care in settings where laboratory facilities are not available.

Testing hypotheses about the relationship between cannabis use and psychosis

Aim: To model the impact of rising rates of cannabis use on the incidence and prevalence of psychosis under four hypotheses about the relationship between cannabis use and psychosis. Methods: The study modelled the effects on the prevalence of schizophrenia over the lifespan of cannabis in eight birth cohorts: 1940-1944, 1945-1949, 1950-1954, 1955-1959, 1960-1964, 1965-1969, 1970-1974, 1975-1979. It derived predictions as to the number of cases of schizophrenia that would be observed in these birth cohorts, given the following four hypotheses: (1) that there is a causal relationship between cannabis use and schizophrenia; (2) that cannabis use precipitates schizophrenia in vulnerable persons; (3) that cannabis use exacerbates schizophrenia; and (4) that persons with schizophrenia are more liable to become regular cannabis users. Results: There was a steep rise in the prevalence of cannabis use in Australia over the past 30 years and a corresponding decrease in the age of initiation of cannabis use. There was no evidence of a significant increase in the incidence of schizophrenia over the past 30 years. Data on trends the age of onset of schizophrenia did not show a clear pattern. Cannabis use among persons with schizophrenia has consistently been found to be more common than in the general population. Conclusions: Cannabis use does not appear to be causally related to the incidence of schizophrenia, but its use may precipitate disorders in persons who are vulnerable to developing psychosis and worsen the course of the disorder among those who have already developed it. (C) 2003 Elsevier Science Ireland Ltd. All rights reserved.

Environmental influence on the stress corrosion cracking of rock bolts

In order to understand rock bolt Stress Corrosion Cracking (SCC), a series of experiments have been performed in Linearly Increasing Stress Test (LIST) apparatus. One series of experiments determined the threshold stress of various bolt metallurgies (900 MPa for Steel A, and 800 MPa for Steel B and C). The high values of threshold stress suggest that SCC begins in rock bolts when they are sheared by moving rock strata. Typical crack velocity values have been measured to be 2.5 x 10(-8) m s(-1), indicating that there is not much benefit for rock bolt steel of higher fracture toughness. Another series of experiments were performed to understand the environmental conditions causing SCC of steel A and galvanised Steel A rock bolt steel. SCC only occurred for environmental conditions for which produce hydrogen on the sample surface, leading to hydrogen embrittlement and SCC. Fracture surfaces of LIST samples failed by SCC were found to display the same fracture regions as fracture surfaces of rock bolts failed in service by SCC: Tearing Topography Surface (TTS), Corrugated Irregular Surface (CIS), quasi Micro Void Coalescence (qMVC) and Fast Fracture Surface (FFS). Water chemistry analysis were carried out on samples collected from various Australian mines in order to compare laboratory electrolyte conditions to those found in underground mines.

Patenting genetic materials' unresolved issues and promoting competition in biotechnology

This paper addresses the broader unresolved issues posed by the patenting of genetic materials that are central to dealing with the tension between the patenting and competition schemes, namely distinguishing between what has already been 'discovered' and economically useful innovations (including the thresholds for novelty and non-obviousness), the exclusion of some subject matter from patenting and the restrictions on access to genetic resources to facilitate further innovation. The possible solutions of raising the threshold patenting standards, taking advantage of international intellectual property law developments and compulsory licensing are examined as ways to ameliorate the possibly detrimental consequences of current genetic material patenting practices. (C) 2003 Elsevier B.V. All rights reserved.