Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.

Class attainment among British men - A multivariate extension of the CASMIN model of intergenerational class mobility

The CASMIN Project is arguably the most influential contemporary study of class mobility in the world. However, CASMIN results with respect to weak vertical status effects on class mobility have been extensively criticized. Drawing on arguments about how to model vertical mobility, Hout and Hauser (1992) show that class mobility is strongly determined by vertical socioeconomic differences. This paper extends these arguments by estimating the CASMIN model while explicitly controlling for individual determinants of socioeconomic attainment. Using the 1972 Oxford Mobility Data and the 1979 and 1983 British Election Studies, the paper employs mixed legit models to show how individual socioeconomic factors and categorical differences between classes shape intergenerational mobility. The findings highlight the multidimensionality of class mobility and its irreducibility to vertical movement up and down a stratification hierarchy.

Who thinks what about capitalism? Class consciousness and attitudes to economic institutions

Attitudes to the fundamental economic institutions of capitalism, private ownership of productive property, markets as arenas for securing economic outcomes, and working class rights to associate and to strike, are key dimensions of class consciousness. This paper investigates how class location shapes these attitudes in combination with other factors like employment sector and trade union membership. Using data from the 1995 National Social Science Survey, the paper finds systematic class variation on attitudes to economic institutions that is consistent with respondents endorsing or rejecting class-specific strategies of interest realisation according to their own class circumstances. On some attitudes, class structural effects are additionally moderated by organisational norms associated with public sector employment and mediated by the impact of trade union membership.

Long range forecasts of the numbers of Helicoverpa punctigera and H-armigera (Lepidoptera : Noctuidae) in Australia using the Southern Oscillation Index and the Sea Surface Temperature

The use of long-term forecasts of pest pressure is central to better pest management. We relate the Southern Oscillation Index (SOI) and the Sea Surface Temperature (SST) to long-term light-trap catches of the two key moth pests of Australian agriculture, Helicoverpa punctigera (Wallengren) and H. armigera (Hubner), at Narrabri, New South Wales over 11 years, and for H. punctigera only at Turretfield, South Australia over 22 years. At Narrabri, the size of the first spring generation of both species was significantly correlated with the SOI in certain months, sometimes up to 15 months before the date of trapping. Differences in the SOI and SST between significant months were used to build composite variables in multiple regressions which gave fitted values of the trap catches to less than 25% of the observed values. The regressions suggested that useful forecasts of both species could be made 6-15 months ahead. The influence of the two weather variables on trap catches of H. punctigera at Turretfield were not as strong as at Narrabri, probably because the SOI was not as strongly related to rainfall in southern Australia as it is in eastern Australia. The best fits were again given by multiple regressions with SOI plus SST variables, to within 40% of the observed values. The reliability of both variables as predictors of moth numbers may be limited by the lack of stability in the SOI-rainfall correlation over the historical record. As no other data set is available to test the regressions, they can only be tested by future use. The use of long-term forecasts in pest management is discussed, and preliminary analyses of other long sets of insect numbers suggest that the Southern Oscillation Index may be a useful predictor of insect numbers in other parts of the world.

Cytomegalovirus MHC class I homologues and natural killer

Viruses that establish a persistent infection with their host have evolved numerous strategies to evade the immune system. Consequently, they are useful tools to dissect the complex cellular processes that comprise the immune response. Rapid progress has been made in recent years in defining the role of cellular MHC class I molecules in regulating the response of natural killer (NK) cells. Concomitantly, the roles of the MHC class I homologues encoded by human and mouse cytomegaloviruses in evading or subverting NK cell responses has received considerable interest. This review discusses the results from a number of studies that have pursued the biological function of the viral MHC class I homologues. Based on the evidence from these studies, hypotheses for the possible role of these intriguing molecules are presented. (C) 2000 Editions scientifiques et medicales Elsevier SAS.

MHC class II expression is regulated in dendritic cells independently of invariant chain degradation

We have investigated the mechanisms that control MHC class II (MHC II) expression in immature and activated dendritic cells (DC) grown from spleen and bone marrow precursors. Degradation of the MHC II chaperone invariant chain (li), acquisition of peptide cargo by MHC II, and delivery of MHC II-peptide complexes to the cell surface proceeded similarly in both immature and activated DC. However, immature DC reendocytosed and then degraded the MHC II-peptide complexes much faster than the activated DC. MHC II expression in DC is therefore not controlled by the activity of the protease(s) that degrade Ii, but by the rate of endocytosis of peptide-loaded MHC II. Late after activation, DC downregulated MHC II synthesis both in vitro and in vivo.

Prediction of promiscuous peptides that bind HLA class I molecules

Promiscuous T-cell epitopes make ideal targets for vaccine development. We report here a computational system, multipred, for the prediction of peptide binding to the HLA-A2 supertype. It combines a novel representation of peptide/MHC interactions with a hidden Markov model as the prediction algorithm. multipred is both sensitive and specific, and demonstrates high accuracy of peptide-binding predictions for HLA-A*0201, *0204, and *0205 alleles, good accuracy for *0206 allele, and marginal accuracy for *0203 allele. multipred replaces earlier requirements for individual prediction models for each HLA allelic variant and simplifies computational aspects of peptide-binding prediction. Preliminary testing indicates that multipred can predict peptide binding to HLA-A2 supertype molecules with high accuracy, including those allelic variants for which no experimental binding data are currently available.

Ultra-compact dwarf galaxies: a new class of compact stellar system discovered in the Fornax Cluster

We have used the 2dF spectrograph on the Anglo-Australian Telescope to obtain a complete spectroscopic sample of all objects in the magnitude range, 16.5 < bj < 19.8, regardless of morphology, in an area centred on the Fornax Cluster of galaxies. Among the unresolved targets are five objects which are members of the Fornax Cluster. They are extremely compact stellar systems with scale lengths less than 40 parsecs. These ultra-compact dwarfs are unlike any known type of stellar system, being more compact and significantly less luminous than other compact dwarf galaxies, yet much brighter than any globular cluster.

Function of CMV-encoded MHC class I homologues

Homologues of MHC class I proteins have been identified in the genomes of human, murine and rat cytomegaloviruses (CMVs). Given the pivotal role of the MHC class I protein in cellular immunity, it has been postulated that the viral homologues subvert the normal antiviral immune response of the host, thus promoting virus replication and dissemination in an otherwise hostile environment. This review focuses on recent studies of the CMV MHC class I homologues at the molecular, cellular and whole animal level and presents current hypotheses for their roles in the CMV life cycle.

Effects of alcohol exposure during early life on neuron numbers in the rat hippocampus. I. Hilus neurons and granule cells

We previously showed that 16-day-old rats exposed to a relatively high dose of ethanol at 10-15 postnatal days of age have fewer neurons in the hilus region of the hippocampus compared with controls. Dentate gyrus granule cell numbers, however, showed no statistically significant changes attributable to the ethanol treatment. It is possible that some of the changes in brain morphology, brought about as a result of the exposure to ethanol during early life, may not be manifested until later in life. This question has been further addressed in an extension to our previous study. Wistar rats were exposed to a relatively high daily dose of ethanol on postnatal days 10-15 by placement in a chamber containing ethanol vapour, for 3 h/day. The blood ethanol concentration was found to be similar to430 mg/dl at the end of the period of exposure. Groups of ethanol-treated (ET), separation control (SC), and mother-reared control (MRC) rats were anaesthetised and killed either at 16 or 30 days of age by perfusion with phosphate-buffered 2.5% glutaraldehyde. The Cavalieri principle and the physical disector methods were used to estimate, respectively, the regional volumes and neuron cell numerical densities in the hilus and granule cell regions of the dentate gyrus. The total numbers of neurons in the hilus region and granule cell layer were computed from these estimates. It was found that 16-day-old animals had 398,000-441,000 granule cells, irrespective of group. The numbers of granule cells increased such that by 30 days of age, rats had 487,000-525,500 granule cells. However, there were no significant differences between ethanol-treated rats and their age-matched controls in granule cell numbers. In contrast, ethanol-treated rats had slightly but significantly fewer neurons in the hilus region than did control animals at 16 days of age, but not at 30 days of age. Therefore, it appears that a short period of ethanol exposure during early life can have effects on neuron numbers of some hippocampal neurons, but not others. The effects on hilar neuron numbers, observed as a result of such short periods of ethanol treatment, appeared to be transitory. (C) 2003 Wiley-Liss, Inc.

Social class and cultural mobility - Reconfiguring the cultural omnivore thesis

This article explores the idea of 'cultural mobility' both as a way of thinking about the polarizing logic of class relations and practices in contemporary society and as a means by which the debate over the cultural omnivore might be advanced. The concept of cultural mobility refers to the differential capacity to engage with or consume cultural goods and services across the entire spectrum of cultural life, an ability which is itself premised upon an unequal, class-related distribution in cultural competence. Cultural mobility, then, is the ability to move at will between cultural realms, a freedom to choose where one is positioned in the cultural landscape. I argue that the concept provides fertile ground for exploring possible interconnections between a number of divergent strands in current social theory which have largely developed independently of each other. At the same time much of this theoretical effort remains divorced from concrete research agendas. Using data collected as part of a major study of Australian cultural consumption, the article provides a case study of cultural mobility and its class moorings which serves to clarify some of the existing confusions concerning the cultural omnivore.

Effects of age and alcohol exposure during early life on pyramidal cell numbers in the CA1-CA3 region of the rat hippocampus

We have previously shown that exposing rats to a relatively high dose of ethanol during early postnatal life can result in an alteration in spatial learning ability. The hippocampal formation is known to be involved in the control of this ability. The purpose of the present study was to determine whether exposure of rats to ethanol during early postnatal life had either immediate or delayed effects on the numbers of pyramidal cells in the CA1-CA3 subregion of the hippocampus. Wistar rats were exposed to a relatively high daily dose of ethanol at postnatal day 10-15 by placing them for 3 h/day in a chamber containing ethanol vapor. Groups of ethanol-treated (ET), separation control (SC), and mother-reared control (MRC) rats were anesthetized and killed at 16 and 30 days of age by perfusion with phosphate-buffered 2.5% glutaraldehyde. The Cavalieri principle was used to determine the volumes of the CA1 and CA2+CA3 regions. The physical disector method was used to estimate the numerical density of neurons in each of the subdivisions. The total number of pyramidal cells was calculated by multiplying the appropriate estimates of the numerical density by the volume. There were significant age-related reductions in the total numbers of pyramidal cells at 16-30 days of age irrespective of the groups examined. Ethanol treated rats were found to have slightly but significantly fewer pyramidal cell neurons than either the MRC or SC groups. These observations indicate that pyramidal cells in the hippocampus may be vulnerable to a relatively high dose of ethanol exposure during this short period of early postnatal life. (C) 2003 Wiley-Liss, Inc.

Virtual models of the HLA class I antigen processing pathway

Antigen recognition by cytotoxic CD8 T cells is dependent upon a number of critical steps in MHC class I antigen processing including proteosomal cleavage, TAP transport into the endoplasmic reticulum, and MHC class 1 binding. Based on extensive experimental data relating to each of these steps there is now the capacity to model individual antigen processing steps with a high degree of accuracy. This paper demonstrates the potential to bring together models of individual antigen processing steps, for example proteosome cleavage, TAP transport, and MHC binding, to build highly informative models of functional pathways. In particular, we demonstrate how an artificial neural network model of TAP transport was used to mine a HLA-binding database so as to identify H LA-binding peptides transported by TAP. This integrated model of antigen processing provided the unique insight that HLA class I alleles apparently constitute two separate classes: those that are TAP-efficient for peptide loading (HLA-B27, -A3, and -A24) and those that are TAP-inefficient (HLA-A2, -B7, and -B8). Hence, using this integrated model we were able to generate novel hypotheses regarding antigen processing, and these hypotheses are now capable of being tested experimentally. This model confirms the feasibility of constructing a virtual immune system, whereby each additional step in antigen processing is incorporated into a single modular model. Accurate models of antigen processing have implications for the study of basic immunology as well as for the design of peptide-based vaccines and other immunotherapies. (C) 2004 Elsevier Inc. All rights reserved.