Formal testing for separation assurance

In order to address the rapidly increasing load of air traffic operations, innovative algorithms and software systems must be developed for the next generation air traffic control. Extensive verification of such novel algorithms is key for their adoption by industry. Separation assurance algorithms aim at predicting if two aircraft will get closer to each other than a minimum safe distance; if loss of separation is predicted, they also propose a change of course for the aircraft to resolve this potential conflict. In this paper, we report on our work towards developing an advanced testing framework for separation assurance. Our framework supports automated test case generation and testing, and defines test oracles that capture algorithm requirements. We discuss three different approaches to test-case generation, their application to a separation assurance prototype, and their respective strengths and weaknesses. We also present an approach for statistical analysis of the large numbers of test results obtained from our framework.     

Synthesis of Responsive Motion Using a Dynamic Model

Synthesizing the movements of a responsive virtual character in the event of unexpected perturbations has proven a difficult challenge. To solve this problem, we devise a fully automatic method that learns a nonlinear probabilistic model of dynamic responses from very few perturbed walking sequences. This model is able to synthesize responses and recovery motions under new perturbations different from those in the training examples. When perturbations occur, we propose a physics‐based method that initiates motion transitions to the most probable response example based on the dynamic states of the character. Our algorithm can be applied to any motion sequences without the need for preprocessing such as segmentation or alignment. The results show that three perturbed motion clips can sufficiently generate a variety of realistic responses, and 14 clips can create a responsive virtual character that reacts realistically to external forces in different directions applied on different body parts at different moments in time.     

Estimating the uncertainty of modeled carbon sequestration: The GreenCert™ system

The GreenCert? system was developed to help farm and ranch owners to quantify, standardize, pool and market CO₂ emissions offset (sequestration) credits derived from improved rangeland or cropland management. It combines a user-friendly interface with the CENTURY biogeochemical model, a GIS database of soil and climate parameters, and a Monte Carlo-based uncertainty estimation methodology. This paper focuses on uncertainty treatment, discussing sources of error, parameter distributions, and the Monte Carlo randomization approach, culminating in a sensitivity analysis of model parameters.Idealized crop and grazing scenarios were used to evaluate the uncertainty of modeled soil organic carbon stocks and stock changes stemming from variability in site and management parameters. Normalized sensitivity coefficients and an integrated index for relative sensitivity of the model to the ensemble of the tested variables indicate that environmental factors are the most important in determining the actual size of the soil carbon stock, but that management is a much more important determinant of short- to medium-term carbon fluxes. GreenCert? uses the patented C-LOCK^® approach to efficiently limit uncertainty in the most critical phase of the modelling process by maximizing the use of available management information, and quantifies the remaining uncertainty in an unbiased fashion using Monte Carlo parameter randomization.     

Relevance feedback revisited: dealing with content and structure in XML documents

Relevance feedback (RF) is a technique that allows to enrich an initial query according to the user feedback. The goal is to express more precisely the user’s needs. Some open issues arise when considering semi-structured documents like XML documents. They are mainly related to the form of XML documents which mix content and structure information and to the new granularity of information. Indeed, the main objective of XML retrieval is to select relevant elements in XML documents instead of whole documents. Most of the RF approaches proposed in XML retrieval are simple adaptation of traditional RF to the new granularity of information. They usually enrich queries by adding terms extracted from relevant elements instead of terms extracted from whole documents. In this article, we describe a new approach of RF that takes advantage of two sources of evidence: the content and the structure. We propose to use the query term proximity to select terms to be added to the initial query and to use generic structures to express structural constraints. Both sources of evidence are used in different combined forms. Experiments were carried out within the INEX evaluation campaign and results show the effectiveness of our approaches.     

Classification of abnormal plant operation using multiple process variable trends

This paper illustrates two strategies for the detection and classification of abnormal process operating conditions in which multiple process variable trends are available. The first strategy uses a hidden Markov model (HMM) for overall process classification while the second method uses a back-propagation neural network (BPNN) to determine the overall process classification. The methods are compared in terms of their ability to detect and correctly diagnose a variety of abnormal operating conditions for a non-isothermal CSTR simulation. For the case study problem, the BPNN method resulted in better classification accuracy with a moderate increase in training time compared with the HMM approach.     

Learning and retention of associations between auditory icons and denotative referents: implications for the design of auditory warnings

OBJECTIVE: This study examined the way in which the type and preexisting strength of association between an auditory icon and a warning event affects the ease with which the icon/event pairing can be learned and retained. BACKGROUND: To be effective, an auditory warning must be audible, identifiable, interpretable, and heeded. Warnings consisting of familiar environmental sounds, or auditory icons, have potential to facilitate identification and interpretation. The ease with which pairings between auditory icons and warning events can be learned and retained is likely to depend on the type and strength of the preexisting icon/event association. METHOD: Sixty-three participants each learned eight auditory-icon/denotative-referent pairings and attempted to recall them 4 weeks later. Three icon/denotative-referent association types (direct, related, and unrelated) were employed. Participants rated the strength of the association for each pairing on a 7-point scale. RESULTS: The number of errors made while learning pairings was greater for unrelated than for either related or direct associations, whereas the number of errors made while attempting to recall pairings 4 weeks later was greater for unrelated than for related associations and for related than for direct associations. Irrespective of association type, both learning and retention performance remained at very high levels, provided the strength of the association was rated greater than 5. CONCLUSION: This suggests that strong preexisting associations are used to facilitate learning and retention of icon/denotative-referent pairings. APPLICATION: The practical implication of this study is that auditory icons having either direct or strong, indirect associations with warning events should be preferred.     

Web conferencing for synchronous online tutorials: Perspectives of tutors using a new medium

This paper reports on a pilot investigation into web conferencing in a distance learning module. It focuses on the perceptions and experiences of the tutors, all of whom were new to the web conferencing environment, but were experienced in online teaching. A number of web conferencing tutorials were studied through the collection of various datasets, mostly qualitative. The data were analysed by a team of researchers, informed by key literature in this area.The main findings from the pilot indicated that tutors experienced challenges in creating social presence and in managing cognitive load when dealing with multiple tasks online. There were also technical obstacles to improvisation in response to students’ emerging needs. The findings of the pilot informed the training and support provided when web tutorials were subsequently rolled out to all tutorial groups (approximately 140) in the module. Overall, experiences from the web tutorials indicate that tutors and students reacted positively to the opportunities web conferencing provides for interactive learning and teaching.     

Participation of Danish and immigrant cleaners in a 1-year worksite intervention preventing physical deterioration

Worksite health promotion is seldom offered to workers who are low-educated and multi-ethnic, possibly due to an assumption that they are more reluctant to participate. Furthermore, little has been done to promote health at female-dominated workplaces. The main aim of this study was to investigate differences in participation among immigrant and Danish cleaners throughout a 1-year randomised controlled study tailored to cleaners and carried out in predominantly female workplaces. No significant differences in ethnicity were found in consent and participation throughout the 1-year intervention. Dropout was equally distributed among Danish and immigrant cleaners. This study indicates that a worksite health promotion intervention among a female-dominated, high-risk occupation such as cleaning can be equally appealing for Danes and immigrants. PRACTITIONER SUMMARY: This study provides insight about participation of Danish and immigrant cleaners in a worksite health promotion intervention in a predominantly female occupation. For attaining high participation and low dropout in future worksite health promotion interventions among cleaners, the intervention ought to not only target the ethnic background of the workers, but also to be specifically tailored to the job group.     

Implementation of physical coordination training and cognitive behavioural training interventions at cleaning workplaces--secondary analyses of a randomised controlled trial

This study evaluates the implementation of physical coordination training (PCT) and cognitive behavioural training (CBTr) interventions in a randomised controlled trial at nine cleaners' workplaces. Female cleaners (n = 294) were randomised into a PCT, a CBTr or a reference (REF) group. Both 12-week interventions were performed in groups guided by an instructor. Records were kept on intervention dose (adherence) unanticipated events at the work place (context) and quality of intervention delivery (fidelity). Participant adherence was 37% in the PCT and 49% in the CBTr interventions. Optimal implementation was reached by only 6% in PCT and 42% in the CBTr. Analysis of the barriers to successful implementation indicated that the intervention process is sensitive to unanticipated events. In order to succeed in improving the health of high-risk populations such as cleaners and to correctly interpret intervention effects, more research on implementation is needed. Trial registration: ISRCTN96241850. PRACTITIONER SUMMARY: Both physical coordination training and cognitive behavioural training are potential effective workplace interventions among low educated job groups with high physical work demands. However, thorough consideration should be given to feasibility in the design of interventions. The optimal intervention should be tailored to closely match the implementation context and be robust and flexible to minimise susceptibility to changes in work organisation.