Book Review of: The Prehistoric Archaeology of Norfolk Island, Southwest Pacific

Records of the Australian Museum Supplement [extra title information]

Seeing red: the use of Congo Red dye to identify cooked and damaged starch grains in archaeological residues

Starchy plant foods are significant in the diet of almost all peoples. Archaeologically, however, preservation of such plants is limited, and direct evidence of plant use by past people is also rare. Although starch grains can be preserved on artefacts used to process starchy plants, it is very difficult to identify grains damaged by processing methods such as milling or cooking. We present a method for identifying such damaged starch grains using Congo Red staining to identify cooking or milling activities in the past subsistence behaviour of Aboriginal people of southeast Queensland, Australia. (c) 2005 Elsevier Ltd. All rights reserved.

Explaining point variability in the eastern Victoria river region, northern territory

This paper constructs a reduction sequence model for north Australian points from the eastern Victoria River region, and identifies a single continuum linking unifacial and bifacial point forms, with some divergence from this single reduction trajectory dependent upon artefact size. Chronological changes in reduction intensity between 5,000BP and the present are found to coincide with typological variation in points as well as changing emphasis on the extendibility of point reduction. It is suggested that changes in the extendibility of point reduction can be linked to intensified ENSO-driven climatic variability in the late Holocene that likely increased economic risk and warranted a substantial technological response, including the use of retouched toolkits with potential for longer use-lives.

A modified particle filter for simultaneous robot localization and landmark tracking in an indoor environment

This paper presents the implementation of a modified particle filter for vision-based simultaneous localization and mapping of an autonomous robot in a structured indoor environment. Through this method, artificial landmarks such as multi-coloured cylinders can be tracked with a camera mounted on the robot, and the position of the robot can be estimated at the same time. Experimental results in simulation and in real environments show that this approach has advantages over the extended Kalman filter with ambiguous data association and various levels of odometric noise.

Formal verification of ASM designs using the MDG tool

In this paper, we present a formal hardware verification framework linking ASM with MDG. ASM (Abstract State Machine) is a state based language for describing transition systems. MDG (Multiway Decision Graphs) provides symbolic representation of transition systems with support of abstract sorts and functions. We implemented a transformation tool that automatically generates MDG models from ASM specifications, then formal verification techniques provided by the MDG tool, such as model checking or equivalence checking, can be applied on the generated models. We support this work with a case study of an Island Tunnel Controller, which behavior and structure were specified in ASM then using our ASM-MDG tool successfully verified within the MDG tool.

Compositional verification for object-Z

This paper presents a framework for compositional verification of Object-Z specifications. Its key feature is a proof rule based on decomposition of hierarchical Object-Z models. For each component in the hierarchy local properties are proven in a single proof step. However, we do not consider components in isolation. Instead, components are envisaged in the context of the referencing super-component and proof steps involve assumptions on properties of the sub-components. The framework is defined for Linear Temporal Logic (LTL)

Interfacing ASM with the MDG tool

In this paper we describe an approach to interface Abstract State Machines (ASM) with Multiway Decision Graphs (MDG) to enable tool support for the formal verification of ASM descriptions. ASM is a specification method for software and hardware providing a powerful means of modeling various kinds of systems. MDGs are decision diagrams based on abstract representation of data and axe used primarily for modeling hardware systems. The notions of ASM and MDG axe hence closely related to each other, making it appealing to link these two concepts. The proposed interface between ASM and MDG uses two steps: first, the ASM model is transformed into a flat, simple transition system as an intermediate model. Second, this intermediate model is transformed into the syntax of the input language of the MDG tool, MDG-HDL. We have successfully applied this transformation scheme on a case study, the Island Tunnel Controller, where we automatically generated the corresponding MDG-HDL models from ASM specifications.

Golf course irrigation and self-sufficiency water in Southern Spain

During the first decade of the 21st century, many golf courses were developed in the Southeast of Spain, which greatly increased the number of these facilities. Almost all of these golf courses have been accompanied by large residential developments composed of thousands of dwelling units. This article seeks to identify the factors that influence golf courses’ water consumption and estimate the number of dwelling units that an associated residential development needs to have to provide the effluent necessary to fully meet the irrigation needs of a golf course. The study indicates that private golf courses achieve greater levels of irrigation efficiency than public golf courses and that the golf courses associated with residential developments subject the irrigation needs of the grassland to the sale requirements of the real estate properties. The study also estimates that a golf course requires approximately 3000 dwelling units with an average annual occupancy of 33% to achieve self-sufficiency for irrigation.