An analysis of passenger performance on stairs and upper deck slides during evacuation trials: a report from the VERRES project

This paper reports on research work undertaken for the European Commission funded study GMA2/2000/32039 Very Large Transport Aircraft (VLTA) Emergency Requirements Research Evacuation Study (VERRES). A particular focus of VERRES was on evacuation issues and several large-scale evacuation trials were conducted in the CRANFIELD simulator. This paper addresses part of the research undertaken for Work Package 3 by the University of Greenwich with a focus on the analysis of the data concerning passenger use of stairs and passenger exit hesitation time analysis for upper deck slides.

A sound and complete reified temporal logic

There are mainly two known approaches to the representation of temporal information in Computer Science: modal logic approaches (including tense logics and hybrid temporal logics) and predicate logic approaches (including temporal argument methods and reified temporal logics). On one hand, while tense logics, hybrid temporal logics and temporal argument methods enjoy formal theoretical foundations, their expressiveness has been criticised as not power enough for representing general temporal knowledge; on the other hand, although current reified temporal logics provide greater expressive power, most of them lack of complete and sound axiomatic theories. In this paper, we propose a new reified temporal logic with a clear syntax and semantics in terms of a sound and complete axiomatic formalism which retains all the expressive power of the approach of temporal reification.