The biconnected verification of workflow nets

Formal representations of business processes are used for analysis of the process behavior. Workflow nets are a widely used formalism for describing the behavior of business processes. Structure theory of processes investigates the relation between the structure of a model and its behavior. In this paper, we propose to employ the connectivity property of workflow nets as an angle to their structural analysis. In particular, we show how soundness verification can be organized using biconnected components of a workflow net. This allows for efficient identification and localization of flaws in the behavior of workflow nets and for supporting process analysts with diagnostic information

Three-dimensional dose verification for clinical treatments of small intracranial tumours

Cancers of the brain and central nervous system account for 1.6% of new cancers and 1.8% of cancer deaths globally. The highest rates of all developed nations are observed in Australia and New Zealand. There are known complexities associated with dose measurement of very small radiation fields. Here, 3D dosimetric verification of treatments for small intracranial tumours using gel dosimetry was investigated.

An outcome evaluation of the ‘Skipper’ designated driver program

The general aim of designated driver programs is to reduce the level of drink driving by encouraging potential drink drivers to travel with a driver who has abstained from (or at least limited) consuming alcohol. Designated driver programs appear to be quite widespread around the world, however a limited number have been subject to rigorous evaluation. This paper reports results from an outcome evaluation of a designated driver program called ‘Skipper’, which was trialled in a provincial city in Queensland, Australia. The outcome evaluation included surveys three weeks prior to (baseline), four months following (1st follow-up), and 16 months following (2nd follow-up) the commencement of the trial in both the ‘intervention area’ (baseline, n = 202; 1st follow-up, n = 211; 2nd follow-up, n = 200) and a ‘comparison area’(baseline, n = 203; 1st follow-up, n = 199; 2nd follow-up, n = 201); and a comparison of random breath testing and crash data before and after the trial. The survey results indicate that awareness of the program in the intervention area was quite high four months following its introduction and that this was maintained at 16 months. The results also suggest that the ‘Skipper’ program and the related publicity had positive impacts on behaviour with an increase in the proportion of people participating in designated driver as a passenger. It is less clear, however, whether the ‘Skipper’ program impacted on other behaviours of interest, such as drink driving or involvement in alcohol-related crashes. Suggestions for further research and program improvement are discussed as well as limitations of the research.

Sleep-related eye symptoms and their potential for identifying driver sleepiness

The majority of individuals appear to have insight into their own sleepiness, but there is some evidence that this does not hold true for all, for example treated patients with obstructive sleep apnoea. Identification of sleep-related symptoms may help drivers determine their sleepiness, eye symptoms in particular show promise. Sixteen participants completed four motorway drives on two separate occasions. Drives were completed during daytime and night-time in both a driving simulator and on the real road. Ten eye symptoms were rated at the end of each drive, and compared with driving performance and subjective and objective sleep metrics recorded during driving. ‘Eye strain’, ‘difficulty focusing’, ‘heavy eyelids’ and ‘difficulty keeping the eyes open’ were identified as the four key sleep-related eye symptoms. Drives resulting in these eye symptoms were more likely to have high subjective sleepiness and more line crossings than drives where similar eye discomfort was not reported. Furthermore, drivers having unintentional line crossings were likely to have ‘heavy eyelids’ and ‘difficulty keeping the eyes open’. Results suggest that drivers struggling to identify sleepiness could be assisted with the advice ‘stop driving if you feel sleepy and/or have heavy eyelids or difficulty keeping your eyes open’.

Advanced in-vehicle applications to mitigate driver aggression

Aggressive behavior at the steering wheel has been indicated as a contributing factor in a majority of crashes and anger has been compared to alcohol impairment in terms of probability to cause a crash. It has been shown that being in a state of anger or excitement while driving can decrease the drivers’ performances. . This paper reports the evaluation of 6 novel design alternatives of In-Vehicle Information Systems (IVIS) aimed at mitigating driver aggression. Each application presented was designed to tackle the following contributing factors to driver aggression: competitiveness, anonymity, territoriality, stress as well as social and emotional isolation. The 6 applications were simulated using computer vision algorithm to automatically overlay the real traffic conditions with ‘Head-Up Display’ visualizations. Two applications emerged over the others from participant’s evaluation: shared music combined the known calming effect of music with the sense of sympathy and intimacy caused by hearing other drivers’ music. The Shared Snapshot application provided an immediate gratification and was evaluated as a potential prevention of roadside quarrels. The paper presents Theoretical foundation, participant’s evaluations, implications and limitations of the study.

Three social car visions to improve driver behaviour

The social cost of road injury and fatalities is still unacceptable. The driver is often mainly responsible for road crashes, therefore changing the driver behaviour is one of the most important and most challenging priority in road transport. This paper presents three innovative visions that articulate the potential of using Vehicle to Vehicle (V2V) communication for supporting the exchange of social information amongst drivers. We argue that there could be tremendous benefits in socialising cars to influence human driving behaviours for the better and that this aspect is still relevant in the age of looming autonomous cars. Our visions provide theoretical grounding how V2V infrastructure and emerging human–machine interfaces (HMI) could persuade drivers to: (i) adopt better (e.g. greener) driving practices, (ii) reduce drivers aggressiveness towards pro-social driving behaviours, and (iii) reduce risk-taking behaviour in young, particularly male, adults. The visions present simple but powerful concepts that reveal ‘good’ aspects of the driver behaviour to other drivers and make them contagious. The use of self-efficacy, social norms, gamification theories and social cues could then increase the likelihood of a widespread adoption of such ‘good’ driving behaviours.

Driver’s over-trust on Advanced Driver Assistance Systems on passively protected railway crossings

Passively protected railway crossings are a major rail safety issue in Australia. Such crossings cannot be upgraded as such crossings are too numerous and the cost involved is prohibitive. Advanced Driver Assistance Systems (ADAS) have been shown to improve road safety and are widely used. These systems could be a solution to improve safety of passively protected crossings at a lower cost. Such complementary ADAS could result in driver’s over-trust due to the absence of Humane Machine Interface reflecting the quality of the information or the state of the ADAS (failure status). This paper demonstrates that driver’s exposure to crossing exhibiting fail-safe and non-fail safe properties could result in improperly allocating trust between technologies. We conducted a driving simulator study where participants (N=58) were exposed to three types of level crossing warning system on passive and active crossings. The results show that a significant proportion of participants over-trust the ADAS. Such drivers exhibit the same driving performance with the ADAS as when exposed to infrastructure based active crossing protection. They do not take the necessary safety precautions as they have a faster speed approach, reduced number of gaze toward the rail tracks and fail to stop at the crossing.

Generation of uniform plasmas by crossed internal oscillating current sheets : key concepts and experimental verification

The results of comprehensive experimental studies of the operation, stability, and plasma parameters of the low-frequency (0.46 MHz) inductively coupled plasmas sustained by the internal oscillating rf current are reported. The rf plasma is generated by using a custom-designed configuration of the internal rf coil that comprises two perpendicular sets of eight currents in each direction. Various diagnostic tools, such as magnetic probes, optical emission spectroscopy, and an rf-compensated Langmuir probe were used to investigate the electromagnetic, optical, and global properties of the argon plasma in wide ranges of the applied rf power and gas feedstock pressure. It is found that the uniformity of the electromagnetic field inside the plasma reactor is improved as compared to the conventional sources of inductively coupled plasmas with the external flat coil configuration. A reasonable agreement between the experimental data and computed electromagnetic field topography inside the chamber is reported. The Langmuir probe measurements reveal that the spatial profiles of the electron density, the effective electron temperature, plasma potential, and electron energy distribution/probability functions feature a high degree of the radial and axial uniformity and a weak azimuthal dependence, which is consistent with the earlier theoretical predictions. As the input rf power increases, the azimuthal dependence of the global plasma parameters vanishes. The obtained results demonstrate that by introducing the internal oscillated rf currents one can noticeably improve the uniformity of electromagnetic field topography, rf power deposition, and the plasma density in the reactor.

An improved gate driver for power MOSFETs using a cascode configuration

To overcome the limitations of existing gate drive topologies an improved gate drive concept is proposed to provide fast, controlled switching of power MOSFETs. The proposed topology exploits the cascode configuration with the inclusion of an active gate clamp to ensure that the driven MOSFET may be turned off under all load conditions. Key operating principles and advantages of the proposed gate drive topology are discussed. Characteristic waveforms are investigated via simulation and experimentation for the cascode driver in an inductive switching application at 375V and 10A. Experimental waveforms compared well with simulations with long gate charging delays (including the Miller plateau) being eliminated from the gate voltage waveform.

An application of the Driver Behaviour Questionnaire in a large Australian organisational fleeting setting : can it predict crashes and demerit point loss?

This study reports on the utilisation of the Manchester Driver Behaviour Questionnaire (DBQ) to examine the self-reported driving behaviours of a large sample of Australian fleet drivers (N = 3414). Surveys were completed by employees before they commenced a one day safety workshop intervention. Factor analysis techniques identified a three factor solution similar to previous research, which was comprised of: (a) errors, (b) highway-code violations and (c) aggressive driving violations. Two items traditionally related with highway-code violations were found to be associated with aggressive driving behaviours among the current sample. Multivariate analyses revealed that exposure to the road, errors and self-reported offences predicted crashes at work in the last 12 months, while gender, highway violations and crashes predicted offences incurred while at work. Importantly, those who received more fines at work were at an increased risk of crashing the work vehicle. However, overall, the DBQ demonstrated limited efficacy at predicting these two outcomes. This paper outlines the major findings of the study in regards to identifying and predicting aberrant driving behaviours and also highlights implications regarding the future utilisation of the DBQ within fleet settings.

Short utterance PLDA speaker verification using SN-WLDA and variance modelling techniques

This paper proposes a combination of source-normalized weighted linear discriminant analysis (SN-WLDA) and short utterance variance (SUV) PLDA modelling to improve the short utterance PLDA speaker verification. As short-length utterance i-vectors vary with the speaker, session variations and phonetic content of the utterance (utterance variation), a combined approach of SN-WLDA projection and SUV PLDA modelling is used to compensate the session and utterance variations. Experimental studies have found that a combination of SN-WLDA and SUV PLDA modelling approach shows an improvement over baseline system (WCCN[LDA]-projected Gaussian PLDA (GPLDA)) as this approach effectively compensates the session and utterance variations.

Stop and revive? The effectiveness of nap and active rest breaks for reducing driver sleepiness

Objectives The purpose for this study was to determine the relative benefit of nap and active rest breaks for reducing driver sleepiness. Methods Participants were 20 healthy young adults (20-25 years), including 8 males and 12 females. A counterbalanced within-subjects design was used such that each participant completed both conditions on separate occasions, a week apart. The effects of the countermeasures were evaluated by established physiological (EEG theta and alpha absolute power), subjective (Karolinska Sleepiness Scale), and driving performance measures (Hazard Perception Task). Participants woke at 5am, and undertook a simulated driving task for two hours; each participant then had either a 15-minute nap opportunity or a 15-minute active rest break that included 10 minutes of brisk walking, followed by another hour of simulated driving. Results The nap break reduced EEG theta and alpha absolute power and eventually reduced subjective sleepiness levels. In contrast, the active rest break did not reduce EEG theta and alpha absolute power levels with the power levels eventually increasing. An immediate reduction of subjective sleepiness was observed, with subjective sleepiness increasing during the final hour of simulated driving. No difference was found between the two breaks for hazard perception performance. Conclusions Only the nap break produced a significant reduction in physiological sleepiness. The immediate reductions of subjective sleepiness following the active rest break could leave drivers with erroneous perceptions of their sleepiness, particularly as physiological sleepiness continued to increase after the break.

On-road driver sleepiness : what are Australian drivers experiences and awareness of sleepiness while driving?

Objectives: Driver sleepiness contributes substantially to road crash incidents. Simulator and on-road studies clearly reveal an impairing effect from sleepiness for driving ability. However, drivers might not appreciate the dangerousness of driving while sleepy and this could translate to their on-road driving behaviours. This study sought to determine drivers’ on-road experiences of sleepiness, their sleep habits, and personal awareness of the signs of sleepiness. Methods: Participants were a random selection of 92 drivers travelling on a major highway in the state of Queensland, Australia, who were stopped by Police as part of routine drink driving operations. Participants completed a brief questionnaire that included: demographic details, awareness and on-road experiences of sleepy driving, and sleep habits. A modified version of the Karolinska Sleepiness Scale (KSS) was used to assess subjective sleepiness during the last 15 minutes of driving. Results: Participants rating of subjective sleepiness was quite low with 90% reporting at or below 3 on the KSS. Participants were reasonably aware of the signs of sleepiness; with a number of these correlated with on-road experiences. The participants sleep debt correlated with their alertness (r = -.30) and the hours spent driving (r = .38). Conclusions: These results suggest that drivers had moderate or substantial experience of driving when sleepy and many were aware of the signs of sleepiness. As many of the participants reported driving long distances after suboptimal sleep durations, it is possible that their risk perception of the dangerousness of sleepy driving maybe erroneous.

The BRAKE Driver Awareness Program & Senior Health Education

The BRAKE Driver Awareness Program provides evidence-based behaviour, risk, attitude and knowledge education for young drivers. BRAKE was founded during 2006 by Queensland Police Sergeant Rob Duncan and has been delivered to more than 35,000 senior secondary students since 2007. BRAKE is a participant directed program supported by resources provided at no cost. It includes eight parts able to be delivered in different configurations. BRAKE is endorsed by the Queensland Police and Queensland Ambulance Services. It is recognised by the Queensland Studies Authority as a Queensland Certificate of Education registered life skills course. This session is a must attend for secondary teachers, coordinators, staff in senior leadership positions and other stakeholders seeking a unique approach to adolescent road safety education. It will conclude with an opportunity to consider how BRAKE can be integrated into the senior secondary Health Education curriculum or pastoral care, social action and personal development programs.

Sensitivity of an Elekta iView GT a-Si EPID model to delivery errors for pre-treatment verification of IMRT fields

A Monte Carlo model of an Elekta iViewGT amorphous silicon electronic portal imaging device (a-Si EPID) has been validated for pre-treatment verification of clinical IMRT treatment plans. The simulations involved the use of the BEAMnrc and DOSXYZnrc Monte Carlo codes to predict the response of the iViewGT a-Si EPID model. The predicted EPID images were compared to the measured images obtained from the experiment. The measured EPID images were obtained by delivering a photon beam from an Elekta Synergy linac to the Elekta iViewGT a-Si EPID. The a-Si EPID was used with no additional build-up material. Frame averaged EPID images were acquired and processed using in-house software. The agreement between the predicted and measured images was analyzed using the gamma analysis technique with acceptance criteria of 3% / 3 mm. The results show that the predicted EPID images for four clinical IMRT treatment plans have a good agreement with the measured EPID signal. Three prostate IMRT plans were found to have an average gamma pass rate of more than 95.0 % and a spinal IMRT plan has the average gamma pass rate of 94.3 %. During the period of performing this work a routine MLC calibration was performed and one of the IMRT treatments re-measured with the EPID. A change in the gamma pass rate for one field was observed. This was the motivation for a series of experiments to investigate the sensitivity of the method by introducing delivery errors, MLC position and dosimetric overshoot, into the simulated EPID images. The method was found to be sensitive to 1 mm leaf position errors and 10% overshoot errors.