The ‘fit’ of a garment is often considered to be a subjective measure of garment quality. However, some experts attest that a complaint of poor garment fit is a symptom of inadequate or excessive ease, the space between the garment and the wearer. Fit has traditionally been hard to quantify, and space suits are an extreme example, where fit is difficult to measure but crucial for safety and ope...

This report demonstrates the use of modal and temporal logic to analysis the functional and safety requirements of concurrent real-time systems. Our research is based on the integrated method: Hazard and Operability Studies; Ward and Mellor Essential Models; and the Temporal Calculus of Communicating Systems to model and analyse real-time control systems. In particular, we discuss the interplay...

The usefulness of task analysis and task modeling has been widely acknowledged in software design and development. However, the rate of adoption of task analysis and modeling has been painstakingly slow. One of the reasons for this may be the lack of flexible software tool support. In this paper, we present Tamot, a graphical task modeling tool that was designed to include the characteristics t...

In this paper we present conflict resolution measures in connection dispatching suitable for railway transportation companies without having full access to relevant data. The presented measures do not only cover classical waiting/non-waiting-strategies but also alternative dispatching measures if a distributor train cannot wait. The fact of unknown travel chains and insufficient data availabili...

The evolution of today's application technologies requires a certain level of robustness, reliability and ease of integration. We choose the Fields Programmable Gate Array (FPGA) hardware description language to implement the facial recognition algorithm based on "Eigen faces" using Principal Component Analysis. In this paper, we first present an overview of the PCA used for facial recognition,...