title: Modular nonblocking verification using conflict equivalence

authors: Malik, Robi

subjects: computer science

abstract: This paper proposes a modular approach to verifying
whether a large discrete event system is nonconflicting.
The new approach avoids computing the synchronous
product of a large set of finite-state machines. Instead, the
synchronous product is computed gradually, and intermediate
results are simplified using conflict-preserving abstractions
based on process-algebraic results about fair testing. Heuristics
are used to choose between different possible abstractions.
Experimental results show that the method is applicable to
finite-state machine models of industrial scale and brings
considerable improvements in performance over other methods.

text: Modular nonblocking verification using conflict equivalence This paper proposes a modular approach to verifying
whether a large discrete event system is nonconflicting.
The new approach avoids computing the synchronous
product of a large set of finite-state machines. Instead, the
synchronous product is computed gradually, and intermediate
results are simplified using conflict-preserving abstractions
based on process-algebraic results about fair testing. Heuristics
are used to choose between different possible abstractions.
Experimental results show that the method is applicable to
finite-state machine models of industrial scale and brings
considerable improvements in performance over other methods.

year: 2006-07

title: Measurement of natural convection heat transfer in an attic shaped enclosure

authors: Anderson, Timothy Nicholas

subjects: solar

abstract: Heat transfer by natural convection in triangular enclosures is an area of significant importance in applications such as the design of greenhouses, attics and solar water heaters. However, given its significance to these areas it has not been widely examined. In this study, the natural convection heat transfer coefficients for air in an attic shaped enclosure were determined for Grashof Numbers over the range of 10⁷ to 10⁹. It was found that the measured heat transfer coefficients could be predicted to within 5% by Ridouane and Campo’ (2005) equation (Eqn. 1) for natural convection in a triangular enclosure previously developed for Grashof Numbers in the range 10⁵ and 10⁶. 
Nu= 0.286A⁻⁰•²⁸⁶ Gr¼    (1)
As such, it is suggested that this equation may be suitable for predicting the natural convection heat transfer coefficients in full scale attic enclosures.

text: Measurement of natural convection heat transfer in an attic shaped enclosure Heat transfer by natural convection in triangular enclosures is an area of significant importance in applications such as the design of greenhouses, attics and solar water heaters. However, given its significance to these areas it has not been widely examined. In this study, the natural convection heat transfer coefficients for air in an attic shaped enclosure were determined for Grashof Numbers over the range of 10⁷ to 10⁹. It was found that the measured heat transfer coefficients could be predicted to within 5% by Ridouane and Campo’ (2005) equation (Eqn. 1) for natural convection in a triangular enclosure previously developed for Grashof Numbers in the range 10⁵ and 10⁶. 
Nu= 0.286A⁻⁰•²⁸⁶ Gr¼    (1)
As such, it is suggested that this equation may be suitable for predicting the natural convection heat transfer coefficients in full scale attic enclosures.

year: 2008

title: Significance of an early date from an adzed tree stump in Northland

authors: Higham, Thomas F.G.

abstract: Ogle, Jones, Sutton and Wallace (1998) have recently investigated the radiocarbon dating of a tree stump ('Ogle's stump’) which had evidence of adze marks, near the site of Taumatawhana pa, Houhora, Northland. The conventional radiocarbon age of 938 ± 31 BP was obtained at the Institute of Geological and Nuclear Sciences Ltd (formerly INS) laboratory in 1971. Ogle et al.(1998) considered the 'inbuilt age' of the wood (see McFadgen, 1982) and assessed its contribution to the radiocarbon determination. In this brief paper we re-evaluate that methodology and question the conclusion of Ogle et al. (1998) that the date is reliable. We are particularly concerned with the comparison of the date with an associated radiocarbon result obtained by Elliot et al. (1995) from a nearby site at Lake Taumatawhana, which we think is misleading.

text: Significance of an early date from an adzed tree stump in Northland Ogle, Jones, Sutton and Wallace (1998) have recently investigated the radiocarbon dating of a tree stump ('Ogle's stump’) which had evidence of adze marks, near the site of Taumatawhana pa, Houhora, Northland. The conventional radiocarbon age of 938 ± 31 BP was obtained at the Institute of Geological and Nuclear Sciences Ltd (formerly INS) laboratory in 1971. Ogle et al.(1998) considered the 'inbuilt age' of the wood (see McFadgen, 1982) and assessed its contribution to the radiocarbon determination. In this brief paper we re-evaluate that methodology and question the conclusion of Ogle et al. (1998) that the date is reliable. We are particularly concerned with the comparison of the date with an associated radiocarbon result obtained by Elliot et al. (1995) from a nearby site at Lake Taumatawhana, which we think is misleading.

year: 1998