The design of a collision avoidance system for use by Pilots operating on the airport ramp and in taxiway areas

Ground collisions have serious implications from both a safety and a commercial perspective. This paper reports on human computer interaction (HCI) research related to the advancement of a collision avoidance system, for use by Pilots operating on the airport ramp and in taxiway areas. Primarily, this paper focuses on the key findings of this research and the emerging HCI design solution.     

Measuring team skills in crime scene investigation: exploring ad hoc teams

The purpose of this study was to measure the team skills of operational crime scene examiners (CSEs). The techniques used were based on established methods and helped to gain a greater understanding of the domain of forensic investigation. The research begins with a hierarchical task analysis and then adapts pre-established methods for measuring the performance of CSEs in four UK Police Forces. The process supports comparison between prescribed methods of 'good practice' and real world practice. This has allowed the identification of the distributed skills and tasks of the CSE. Using Annett et al.'s HTA(T), crime scene examination can be categorised and the communications and coordination structures occurring between teams investigating a burglary considered. This makes it possible to generalise the method to situations involving ad hoc teams.     

Frequency analysis of river water quality using integrated urban wastewater models

In recent years integrated models have been developed to simulate the entire urban wastewater system, including urban drainage systems, wastewater treatment plants, and receiving waterbodies. This paper uses such an integrated urban wastewater model to analyze the frequency of receiving water quality in an urban wastewater system with the aim of assessing the overall system performance during rainfall events. The receiving water quality is represented by two indicators: event mean dissolved oxygen (DO) concentration and event mean ammonium concentration. The compliance probability of the water quality indicators satisfying a specific threshold is used to represent the system performance, and is derived using the rainfall events from a series of 10 years' rainfall data. A strong correlation between the depth of each rainfall event and the associated volume of combined sewer overflow (CSO) discharges is revealed for the case study catchment, while there is a low correlation between the intensity/duration of the rainfall event and the volume of the CSO discharges. The frequency analysis results obtained suggest that the event mean DO and ammonium concentrations have very different characteristics in terms of compliance probabilities at two discharging points for CSO and wastewater treatment plant effluent, respectively. In general, the simulation results provide an understanding of the performance of the integrated urban wastewater system and can provide useful information to support water quality management.     

Sustainable Disposal of Domestic Sanitary Waste

The study presented is an example of the assessment of the relative sustainability of either option for disposal of domestic sanitary waste, either via the toilet or via the solid waste route. This required an evaluation of the total (social, economic, environmental, and technical) benefit/cost of implementing and adopting the alternative routes and an assessment of public responsiveness to encouragement to change sanitary waste disposal practices. It illustrates how, even for an apparently straightforward either/or question, the assessment of relative sustainability is complex and the amount of data needed to quantify sustainability indicators is prodigious. The study also provides an appraisal of the effectiveness of public campaigns to reduce waterborne disposal. Important information regarding public attitude and behavior in relation to wastewater systems has been acquired and lessons for ways of encouraging behavioral change to more sustainable ways of living have been gleaned.     

Formal verification of conflict detection algorithms

Safety assessment of new air traffic management systems is a main issue for civil aviation authorities. Standard techniques such as testing and simulation have serious limitations in new systems that are significantly more autonomous than the older ones. In this paper, we present an innovative approach for establishing the correctness of conflict detection systems. Fundamental to our approach is the concept of trajectory, and how we represent a continuous physical trajectory by a continuous path in the x-y plane constrained by physical laws and operational requirements. From the model of trajectories, we extract, and formally prove, high-level properties that can serve as a framework to analyze conflict scenarios. We use the AILS (Airborne Information for Lateral Spacing) alerting algorithm as a case study of our approach. Published online: 19 November 2002     

Controlling Salmonella infections in pig farms: A framework modelling approach

Human salmonellosis is an important food-borne disease and S. Typhimurium is the most common serotype attributed to pork products. Under a farm-to-fork strategy, reducing the levels of Salmonella-positive pigs entering the slaughterhouse is an important goal. A framework model was developed, where the effect of dynamic (infection characteristics) and non-dynamic (cleanness and disinfection, biosecurity measures, etc.) factors were considered. Four baseline scenarios were created, corresponding to different levels associated with national Salmonella monitoring programs, and sensitivity analyses were run for the non-dynamic factors. Moreover, the option of vaccination was incorporated into the model, in order to provide with a tool for the formulation of an optimum vaccination strategy depending on the characteristics of the vaccine.