An extended framework for passive asynchronous testing

In passive testing a monitor observes the trace (sequence of inputs and outputs) of the system under test (SUT) and checks that this trace satisfies a given property $P$, potentially triggering a response if an incorrect behaviour is observed. Recent work has explored a variant of passive testing, in which we have a required property $P$ of the traces of the SUT and there is a first-in-first-out (FIFO) network between the SUT and the monitor. The problem here is that the trace observed by the monitor need not be that produced by the SUT. Previous work has shown how such asynchronous passive testing can be performed if the property $P$ is defined by a pair $(\rho,O_{\rho})$ that represents the requirement that if trace $\rho$ is produced by the SUT then the next output must be from the set $O_{\rho}$. This paper generalises the previous work to the case where the property $P$ is defined by a finite automaton

Agent based mobile negotiation for personalized pricing of last minute theatre tickets

This is the post-print version of the final paper published in Expert Systems with Applications. The published article is available from the link below. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. Copyright @ 2012 Elsevier B.V.This paper proposes an agent based mobile negotiation framework for personalized pricing of last minutes theatre tickets whose values are dependent on the time remaining to the performance and the locations of potential customers. In particular, case based reasoning and fuzzy cognitive map techniques are adopted in the negotiation framework to identify the best initial offer zone and adopt multi criteria decision in the scoring function to evaluate offers. The proposed framework is tested via a computer simulation in which personalized pricing policy shows higher market performance than other policies therefore the validity of the proposed negotiation framework.The Ministry of Education, Science and Technology (Korea

Moderating influence of dominant attentional style and exercise intensity on responses to asynchronous music

Copyright @ 2013 Human Kinetics as accepted for publication. This is the author's accepted manuscript. The final published article is available from the link below.We examined independent and combined influences of asynchronous music and dominant attentional style (DAS) on psychological and psychophysical variables during exercise using mixed methods. Participants (N = 34) were grouped according to DAS and completed treadmill runs at three intensities (low, moderate, high) crossed with three music conditions (motivational, oudeterous, no-music control). State attentional focus shifted from dissociative to associative with increasing intensity and was most aligned with DAS during moderate-intensity exercise. Both music conditions facilitated dissociation at low-to-moderate intensities. At high exercise intensity, both music conditions were associated with reduced RPE among participants with an associative DAS. Dissociators reported higher RPE overall during moderate and high intensities. Psychological responses were most positive in the motivational condition, followed by oudeterous and control. Findings illustrate the relevance of individual differences in DAS as well as task intensity and duration when selecting music for exercise

Brain computer interface based robotic rehabilitation with online modification of task speed

We present a systematic approach that enables online modification/adaptation of robot assisted rehabilitation exercises by continuously monitoring intention levels of patients utilizing an electroencephalogram (EEG) based Brain-Computer Interface (BCI). In particular, we use Linear Discriminant Analysis (LDA) to classify event-related synchronization (ERS) and desynchronization (ERD) patterns associated with motor imagery; however, instead of providing a binary classification output, we utilize posterior probabilities extracted from LDA classifier as the continuous-valued outputs to control a rehabilitation robot. Passive velocity field control (PVFC) is used as the underlying robot controller to map instantaneous levels of motor imagery during the movement to the speed of contour following tasks. In other words, PVFC changes the speed of contour following tasks with respect to intention levels of motor imagery. PVFC also allows decoupling of the task and the speed of the task from each other, and ensures coupled stability of the overall robot patient system. The proposed framework is implemented on AssistOn-Mobile - a series elastic actuator based on a holonomic mobile platform, and feasibility studies with healthy volunteers have been conducted test effectiveness of the proposed approach. Giving patients online control over the speed of the task, the proposed approach ensures active involvement of patients throughout exercise routines and has the potential to increase the efficacy of robot assisted therapies

Psychological, psychophysical, and ergogenic effects of music in swimming

OBJECTIVES: Existing work using dry land exercise-related activities has shown that the careful application of music can lead to a range of benefits that include enhanced affect, lower perceived exertion, greater energy efficiency, and faster time trial performances. The purpose of this study was to assess the psychological, psychophysical, and ergogenic effects of asynchronous music in swimming using a mixed-methods approach. DESIGN: A mixed-model design was employed wherein there was a within-subjects factor (two experimental conditions and a control) and a between-subjects factor (gender). The experimental component of the study was supplemented by qualitative data that were analysed using inductive content analysis. METHODS: Twenty six participants (Mage = 20.0 years, age range: 18–23 years) underwent a period of habituation with Speedo Aquabeat MP3 players prior to the experimental phase. They were then administered two experimental trials (motivational and oudeterous music at 130 bpm) and a no-music control, during which they engaged in a 200-m freestyle swimming time trial. RESULTS: Participants swam significantly faster when exposed to either music condition relative to control (p = .022, ηp2=.18). Moreover, the music conditions were associated with higher state motivation (p = .016, ηp2=.15) and more dissociative thoughts (p = .014, ηp2=.16). CONCLUSIONS: Findings supported the hypothesis that the use of asynchronous music during a high-intensity task can have an ergogenic effect; this was in the order of 2% when averaged out across the two experimental conditions. The use of music, regardless of its motivational qualities, resulted in higher self-reported motivation as well as more dissociative thoughts

KRATOS: An Open Source Hardware-Software Platform for Rapid Research in LPWANs

Long-range (LoRa) radio technologies have recently gained momentum in the IoT landscape, allowing low-power communications over distances up to several kilometers. As a result, more and more LoRa networks are being deployed. However, commercially available LoRa devices are expensive and propriety, creating a barrier to entry and possibly slowing down developments and deployments of novel applications. Using open-source hardware and software platforms would allow more developers to test and build intelligent devices resulting in a better overall development ecosystem, lower barriers to entry, and rapid growth in the number of IoT applications. Toward this goal, this paper presents the design, implementation, and evaluation of KRATOS, a low-cost LoRa platform running ContikiOS. Both, our hardware and software designs are released as an open- source to the research community.Comment: Accepted at WiMob 201

Machine Protection and Operation for LHC

Since 2010 the Large Hadron Collider (LHC) is the accelerator with the highest stored energy per beam, with a record of 140 MJ at a beam energy of 4 TeV, almost a factor of 50 higher than other accelerators. With such a high stored energy, machine protection aspects set the boundary conditions for operation during all phases of the machine cycle. Only the low-intensity commissioning beams can be considered as relatively safe. This document discusses the interplay of machine operation and machine protection at the LHC, from commissioning to regular operation.Comment: 25 pages, contribution to the 2014 Joint International Accelerator School: Beam Loss and Accelerator Protection, Newport Beach, CA, USA , 5-14 Nov 201

EXODUS: Integrating intelligent systems for launch operations support

Kennedy Space Center (KSC) is developing knowledge-based systems to automate critical operations functions for the space shuttle fleet. Intelligent systems will monitor vehicle and ground support subsystems for anomalies, assist in isolating and managing faults, and plan and schedule shuttle operations activities. These applications are being developed independently of one another, using different representation schemes, reasoning and control models, and hardware platforms. KSC has recently initiated the EXODUS project to integrate these stand alone applications into a unified, coordinated intelligent operations support system. EXODUS will be constructed using SOCIAL, a tool for developing distributed intelligent systems. EXODUS, SOCIAL, and initial prototyping efforts using SOCIAL to integrate and coordinate selected EXODUS applications are described