[Book review] Reviews. Peter Aughton, The Transit of Venus: The Brief, Brilliant Life of Jeremiah Horrocks, Father of British Astronomy, Orion, 2004

Book review of: Peter Aughton, The Transit of Venus: The Brief, Brilliant Life of Jeremiah Horrocks, Father of British Astronomy, Orion, 2004, 0-297-84721-x, £18.99.

Using set operations to deal with the frame problem

This paper presents a simple approach to the so-called frame problem based on some ordinary set operations, which does not require non-monotonic reasoning. Following the notion of the situation calculus, we shall represent a state of the world as a set of fluents, where a fluent is simply a Boolean-valued property whose truth-value is dependent on the time. High-level causal laws are characterised in terms of relationships between actions and the involved world states. An effect completion axiom is imposed on each causal law, which guarantees that all the fluents that can be affected by the performance of the corresponding action are always totally governed. It is shown that, compared with other techniques, such a set operation based approach provides a simpler and more effective treatment to the frame problem.

An introduction to China's rail transport Part 2: Urban rail transit systems, highway transport and the reform of China's railways

In this paper, an introduction is provided to some of the components of China's transport system. The authors include the urban rail transit systems, the highway transport systems and its competition for China's railways and the reform of China's railway industry. This is the second of two papers on the situation of rail transport in China.

Assessing the suitability of ship design for human factors issues associated with evacuation and normal operations

Evaluating ship layout for human factors (HF) issues using simulation software such as maritimeEXODUS can be a long and complex process. The analysis requires the identification of relevant evaluation scenarios; encompassing evacuation and normal operations; the development of appropriate measures which can be used to gauge the performance of crew and vessel and finally; the interpretation of considerable simulation data. In this paper we present a systematic and transparent methodology for assessing the HF performance of ship design which is both discriminating and diagnostic. The methodology is demonstrated using two variants of a hypothetical naval ship.