Structuring real-time Object-Z specifications

This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes using inheritance and composition of classes to form multi-component systems are examined. Two approaches to the latter are considered: using Object-Z's notion of object instantiation and introducing a parallel composition operator similar to those found in process algebras. The parallel composition operator approach is both more concise and allows more general modelling of concurrency. Its incorporation into the existing semantics of real-time Object-Z is presented.

Group theory and quasiprobability integrals of Wigner functions

The integral of the Wigner function of a quantum-mechanical system over a region or its boundary in the classical phase plane, is called a quasiprobability integral. Unlike a true probability integral, its value may lie outside the interval [0, 1]. It is characterized by a corresponding selfadjoint operator, to be called a region or contour operator as appropriate, which is determined by the characteristic function of that region or contour. The spectral problem is studied for commuting families of region and contour operators associated with concentric discs and circles of given radius a. Their respective eigenvalues are determined as functions of a, in terms of the Gauss-Laguerre polynomials. These polynomials provide a basis of vectors in a Hilbert space carrying the positive discrete series representation of the algebra su(1, 1) approximate to so(2, 1). The explicit relation between the spectra of operators associated with discs and circles with proportional radii, is given in terms of the discrete variable Meixner polynomials.

Machining of micro aspherical mould inserts

This paper reports a parametric investigation and development of grinding technologies for micro aspherical mould inserts using parallel grinding method. The parametric investigation revealed that at nanometric scale the undeformed chip thickness has little influence on the surface finish of ground inserts. The grinding trace spacing has a slightly larger influence on the surface finish. A new technique was developed to true and dress the resin bonded micro wheels with mesh size of #3000, which produced a satisfactory wheel form accuracy and relatively high grain packing density. A form error compensation technique was also developed, with which mould inserts of submicron form accuracy were consistently produced. Using the developed technologies, micro aspherical inserts of diameters ranging from 200 mu m to 1000 mu m with surface finish of around 10 nm and form error of similar to 0.2-0.4 mu m were successfully fabricated. (c) 2005 Elsevier Inc. All rights reserved.

High-breakdown linear discriminant analysis

The classification rules of linear discriminant analysis are defined by the true mean vectors and the common covariance matrix of the populations from which the data come. Because these true parameters are generally unknown, they are commonly estimated by the sample mean vector and covariance matrix of the data in a training sample randomly drawn from each population. However, these sample statistics are notoriously susceptible to contamination by outliers, a problem compounded by the fact that the outliers may be invisible to conventional diagnostics. High-breakdown estimation is a procedure designed to remove this cause for concern by producing estimates that are immune to serious distortion by a minority of outliers, regardless of their severity. In this article we motivate and develop a high-breakdown criterion for linear discriminant analysis and give an algorithm for its implementation. The procedure is intended to supplement rather than replace the usual sample-moment methodology of discriminant analysis either by providing indications that the dataset is not seriously affected by outliers (supporting the usual analysis) or by identifying apparently aberrant points and giving resistant estimators that are not affected by them.

The subfamily Aephnidiogeninae Yamaguti, 1934 (Digenea: Lepocreadiidae), its status and that of the genera Aephnidiogenes Nicoll, 1915, Holorchis Stossich, 1901, Austroholorchis n g, Pseudaephnidiogenes Yamaguti, 1971, Pseudoholorchis Yamaguti, 1958 and N

The status of all of the putative member genera of the subfamily Aephnidiogeninae is reconsidered, based mainly on the morphology of the terminal genitalia, Aephnidiogenes Nicoll, 1915 is the only genus retained in the Aaephnidiogeninae. Aephnidiogenes major Yamaguti, 1934 from Diagramma labiosum from the southern Great Barrier Reef is redescribed with particular reference to the terminal genitalia, and is shown to lack a true cirrussac, a condition considered to be diagnostic of the Aephnidiogeninae. Holorchis Stossich, 1901 is placed in the subfamily Lepidapedinae. Holorchis pycnoporus Stossich, 1901 from Pagellus acarne from off Spanish Sahara and from Diplodus vulgaris from off Italy and H. legendrei Dollfus, 1946 from Sparodon durbanensis and D. sargus from off eastern Cape Province, South Africa and from Pagellus erythrinus from the Adriatic Sea and Italy are studied and illustrated. The terminal genitalia of H. pycnoporus are found to be enigmatic, but those of H. legendrei are found to fit clearly into the 'Lepidapedon-like' pattern. A new genus Austroholorchis is erected in the Lepidapedinae, with A. sprenti (Gibson, 1987) n. comb. as the type-species. Its diagnostic features are its ani, infundibuliform oral sucker and the position of the ovary at about mid-level of the uterus. A. sprenti is illustrated, its hosts in Queensland waters being Sillago maculata, S, analis and S. ciliata. A, levis n. sp. is described from Sillago bassensis from south-western Western Australia. The genus Pseudaephnidiogenes Yamaguti, 1971 is placed in the Lepidapedinae. P. rhabdosargi (Prudhoe, 1956) from Rhabdosargus sarba from off Natal, South Africa is illustrated and the terminal genitalia of P. rhabdosargi from R. sarba and from R. holubi from off eastern Cape Province and Pseudaephnidiogenes vossi Bray, 1985 from Caffrogobius nudiceps from off eastern Cape Province, South Africa are illustrated. The genus Pseudoholorchis Yamaguti, 1958 is placed in the subfamily Lepocreadiinae. The terminal genitalia of P. pulcher (Manter, 1954) from Latridopsis ciliaris from New Zealand are illustrated, The genus Neolepocreadium Thomas, 1960 is placed in the Lepocreadiidae.

Extraction of electrical characteristics from pixels of multifrequency EIT images

Computer modelling has shown that electrical characteristics of individual pixels may be extracted from within multiple-frequency electrical impedance tomography (MFEIT) images formed using a reference data set obtained from a purely resistive, homogeneous medium. In some applications it is desirable to extract the electrical characteristics of individual pixels from images where a purely resistive, homogeneous reference data set is not available. One such application of the technique of MFEIT is to allow the acquisition of in vivo images using reference data sets obtained from a non-homogeneous medium with a reactive component. However, the reactive component of the reference data set introduces difficulties with the extraction of the true electrical characteristics from the image pixels. This study was a preliminary investigation of a technique to extract electrical parameters from multifrequency images when the reference data set has a reactive component. Unlike the situation in which a homogenous, resistive data set is available, it is not possible to obtain the impedance and phase information directly from the image pixel values of the MFEIT images data set, as the phase of the reactive reference is not known. The method reported here to extract the electrical characteristics (the Cole-Cole plot) initially assumes that this phase angle is zero. With this assumption, an impedance spectrum can be directly extracted from the image set. To obtain the true Cole-Cole plot a correction must be applied to account for the inherent rotation of the extracted impedance spectrum about the origin, which is a result of the assumption. This work shows that the angle of rotation associated with the reactive component of the reference data set may be determined using a priori knowledge of the distribution of frequencies of the Cole-Cole plot. Using this angle of rotation, the true Cole-Cole plot can be obtained from the impedance spectrum extracted from the MFEIT image data set. The method was investigated using simulated data, both with and without noise, and also for image data obtained in vitro. The in vitro studies involved 32 logarithmically spaced frequencies from 4 kHz up to 1 MHz and demonstrated that differences between the true characteristics and those of the impedance spectrum were reduced significantly after application of the correction technique. The differences between the extracted parameters and the true values prior to correction were in the range from 16% to 70%. Following application of the correction technique the differences were reduced to less than 5%. The parameters obtained from the Cole-Cole plot may be useful as a characterization of the nature and health of the imaged tissues.

Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

Dynamic processes in the contingent valuation of an endangered mammal species

Reports experimental results involving 204 members of the public who were asked their willingness to pay for the conservation of the mahogany glider Petaurus gracilis on three occasions: prior to information being provided to them about the glider and other wildlife species; after such information was provided, and after participants had an opportunity to see live specimens of this endangered species. Variations in the mean willingness to pay are analysed. Concerns arise about whether information provision and experience reveal ‘true’ contingent valuations of public goods and about the choice of the relevant contingent valuation measure.

Quasi-stationarity in populations that are subject to large-scale mortality or emigration

We shall examine a model, first studied by Brockwell et al. [Adv Appl Probab 14 (1982) 709.], which can be used to describe the longterm behaviour of populations that are subject to catastrophic mortality or emigration events. Populations can suffer dramatic declines when disease, such as an introduced virus, affects the population, or when food shortages occur, due to overgrazing or fluctuations in rainfall. However, perhaps surprisingly, such populations can survive for long periods and, although they may eventually become extinct, they can exhibit an apparently stationary regime. It is useful to be able to model this behaviour. This is particularly true of the ecological examples that motivated the present study, since, in order to properly manage these populations, it is necessary to be able to predict persistence times and to estimate the conditional probability distribution of population size. We shall see that although our model predicts eventual extinction, the time till extinction can be long and the stationary exhibited by these populations over any reasonable time scale can be explained using a quasistationary distribution. (C) 2001 Elsevier Science Ltd. All rights reserved.

Schistosomiasis in the People's Republic of China: Prospects and challenges for the 21st century

Schistosomiasis japonica is a serious communicable disease and a major disease risk for more than 30 million people living in the tropical and subtropical zones of China. Infection remains a major public health concern despite 45 years of intensive control efforts. It is estimated that 865, 000 people and 100,250 bovines are today infected in the provinces where the disease is endemic, and its transmission continues. Unlike tire other schistosome species known to infect humans, the oriental schistosome, Schistosoma japonicum, is a true zoonotic organism, with a range of mammalian reservoirs, making control efforts extremely difficult. Clinical features of schistosomiasis range from fever; headache, and lethargy to severe fibro-obstructive pathology leading to portal hypertension, ascites, and hepatosplenomegaly, which can cause premature death. Infected children ale stunted and have cognitive defects impairing memory and learning ability. Current control programs are heavily based on community chemotherapy with a single dose of the drug praziquantel, but vaccines (for use in bovines and humans) in combination with other control strategies ale needed to make elimination of the disease possible. In this article, we provide an overview of the biology, epidemiology clinical features, and prospects for cona ol of oriental schistosomiasis in the People's Republic of China.

Timely topic: Premalignant lesions associated with adenocarcinoma of the upper gastrointestinal tract

The changing incidence of adenocarcinomas, particularly in the oesophagus and gastric cardia, has led to the rapid expansion of screening programmes aimed at detecting the precursor lesion of dysplasia before adenocarcinoma develops. The pathologist now has an important role in first diagnosing patients at risk for developing dysplasia, and then correctly classifying dysplasia when it occurs. Barrett's oesophagus has had different diagnostic criteria in previous years but is currently diagnosed by the presence of intestinal metaplasia of any length in the true oesophagus. Intestinal metaplasia confined only to the gastro-oesophageal junction or cardia is of uncertain significance but is probably common, with less risk of progressing to dysplasia or malignancy. In the stomach, patients with autoimmune atrophic gastritis and Helicobacter-associated multifocal atrophic gastritis have an increased risk of adenocarcinoma, but screening protocols are not well-developed compared with those used for Barrett's oesophagus. Dysplasia of glandular epithelium can be classified using well-described criteria. Low grade dysplasia is the most common type and regresses or remains stable in the majority of patients. High grade dysplasia is more ominous clinically, with a propensity to coexist with or progress to adenocarcinoma.

Stressor categorization: acute physical and psychological stressors elicit distinctive recruitment patterns in the amygdala and in medullary noradrenergic cell groups

It has been hypothesized that the brain categorizes stressors and utilizes neural response pathways that vary in accordance with the assigned category. If this is true, stressors should elicit patterns of neuronal activation within the brain that are category-specific. Data from previous Immediate-early gene expression mapping studies have hinted that this is the case, but interstudy differences in methodology render conclusions tenuous. In the present study, immunolabelling for the expression of c-fos was used as a marker of neuronal activity elicited in the rat brain by haemorrhage, immune challenge, noise, restraint and forced swim. All stressors elicited c-fos expression in 25-30% of hypothalamic paraventricular nucleus corticotrophin-releasing-factor cells, suggesting that these stimuli were of comparable strength, at least with regard to their ability to activate the hypothalamic-pituitary-ad renal axis. In the amygdala, haemorrhage and immune challenge both elicited c-fos expression in a large number of neurons in the central nucleus of the amygdala, whereas noise, restraint and forced swim primarily elicited recruitment of cells within the medial nucleus of the amygdala. In the medulla, all stressors recruited similar numbers of noradrenergic (A1 and A2) and adrenergic (C1 and C2) cells. However, haemorrhage and immune challenge elicited c-fos expression In subpopulations of A1 and A2 noradrenergic cells that were significantly more rostral than those recruited by noise, restraint or forced swim. The present data support the suggestion that the brain recognizes at least two major categories of stressor, which we have referred to as 'physical' and 'psychological'. Moreover, the present data suggest that the neural activation footprint that is left in the brain by stressors can be used to determine the category to which they have been assigned by the brain.

An integrative approach for studying the etiology of alcoholism and other addictions

Studies of alcoholism etiology often focus on genetic or psy-chosocial approaches, but not both. Greater understanding of the etiology of alcohol, tobacco and other addictions will come from integration of these research traditions. A research approach is outlined to test three models for the etiology of addictions — behavioral undercontrol, pharmacologic vulnerability, negative affect regulation — addressing key questions including (i) mediators of genetic effects, (ii) genotype-environment correlation effects, (iii) genotype x environment interaction effects, (iv) the developmental unfolding of genetic and environmental effects, (v) subtyping including identification of distinct trajectories of substance involvement, (vi) identification of individual genes that contribute to risk, and (vii) the consequences of excessive use. By using coordinated research designs, including prospective assessment of adolescent twins and their siblings and parents; of adult substance dependent and control twins and their MZ and DZ cotwins, the spouses of these pairs, and their adolescent offspring; and of regular families; by selecting for gene-mapping approaches sibships screened for extreme concordance or discordance on quantitative indices of substance use; and by using experimental (drug challenge) as well as survey approaches, a number of key questions concerning addiction etiology can be addressed. We discuss complementary strengths and weaknesses of different sampling strategies, as well as methods to implement such an integrated approach illustrated for the study of alcoholism etiology. A coordinated program of twin and family studies will allow a comprehensive dissection of the interplay of genetic and environmental risk-factors in the etiology of alcoholism and other addictions.

Weketrema gen.n., a new genus for Weketrema hawaiiense (Yamaguti, 1970) comb. n. (Digenea : Lecithasteridae) recently found in Australian marine fishes

A new genus, Weketrema, is erected in the family Lecithasteridae for the species hitherto known as Lecithophyllum hawniiense. Weket, ema hawaiiense (Yamaguti, 1970) comb, n. is redescribed from Scolopsis bilineatus (Bloch) (Perciformes: Nemipteridae) from Lizard Island and Heron Island, Queensland, Plectorhinchus gibbosus (Lacepede) (Perciformes: Haemulidae) from Heron Island and Cheilodactylus nigripes Richardson (Perciformes: Cheilodactylidae) and Latridopsis forsteri (Castelnau) (Perciformes: Latridae) from Stanley, northern Tasmania. The new genus is distinguished from related members of the family Lecithasteridae by its complete lack of a sinus-sac. Although placed in the subfamily Lecithasterinae pro tem, its true subfamily position is not entirely clear. Comment is made on its unusual distribution, both in terms of zoogeography and hosts.

Glutamate(NMDA) receptor NR1 subunit mRNA expression in Alzheimer's disease

We analyzed the expression profile of two NMDAR1 mRNA isoform subsets. NR1(0xx) and NR1(1xx), in discrete regions of human cerebral cortex. The subsets are characterized by the absence or presence of a 21-amino acid N-terminal cassette. Reverse transcription polymerase chain reaction for NR1 isoforms was performed on total RNA preparations from spared and susceptible regions from 10 pathologically confirmed Alzheimer's disease (AD) cases and 10 matched controls. Primers spanning the splice insert yielded two bands, 342 bp (NR1(0xx)) and 405 bp (NR1(1xx)), on agarose gel electrophoresis. The bands were visualized with ethidium and quantified by densitometry. NR1(1xx) transcript expression was calculated as a proportion of the NR1(1xx) + NR1(0xx) total. Values were significantly lower in AD cases than in controls in mid-cingulate cortex, p < 0.01, superior temporal cortex, p < 0.01 and hippocampus, p similar to 0.05. Cortical proportionate NR1(1xx) transcript expression was invariant over the range of ages acid areas of controls tested, at similar to 50%. This was also true for AD motor and occipital cortex. Proportionate NR1(1xx) expression in AD cingulate and temporal cortex was lower at younger ages and increased with age: this regression was significantly different from that in the homotropic areas of controls. Variations in NR1 N-terminal cassette expression may underlie the local vulnerability to excitotoxic damage of some areas in the AD brain. Alternatively, changes in NR1 mRNA expression may arise as a consequence of the AD disease process.