Numerical treatment of a two-dimensional variable-order fractional nonlinear reaction-diffusion model

A two-dimensional variable-order fractional nonlinear reaction-diffusion model is considered. A second-order spatial accurate semi-implicit alternating direction method for a two-dimensional variable-order fractional nonlinear reaction-diffusion model is proposed. Stability and convergence of the semi-implicit alternating direct method are established. Finally, some numerical examples are given to support our theoretical analysis. These numerical techniques can be used to simulate a two-dimensional variable order fractional FitzHugh-Nagumo model in a rectangular domain. This type of model can be used to describe how electrical currents flow through the heart, controlling its contractions, and are used to ascertain the effects of certain drugs designed to treat arrhythmia.

Temporal and environmental influences on the vocal behaviour of a nocturnal bird

Temporal and environmental variation in vocal activity can provide information on avian behaviour and call function not available to short-term experimental studies. Intersexual differences in this variation can provide insight into selection effects. Yet factors influencing vocal behaviour have not been assessed in many birds, even those monitored by acoustic methods. This applies to the New Zealand kiwi (Apterygidae), for which call censuses are used extensively in conservation monitoring, yet which have poorly understood acoustic ecology. We investigated little spotted kiwi Apteryx owenii vocal behaviour over 3 yr, measuring influences on vocal activity in both sexes from time of night, season, weather conditions and lunar cycle. We tested hypotheses that call rate variation reflects call function, foraging efficiency, historic predation risk and variability in sound transmission, and that there are inter-sexual differences in call function. Significant seasonal variation showed that vocalisations were important in kiwi reproduction, and inter-sexual synchronisation of call rates indicated that contact, pair-bonding or resource defence were key functions. All weather variables significantly affected call rates, with elevated calling during increased humidity and ground moisture indicating a relation between vocal activity and foraging conditions. A significant decrease in calling activity on cloudy nights, combined with no moonlight effect, suggests an impact of light pollution in this species. These influences on vocal activity provide insight into kiwi call function, have direct consequences for conservation monitoring of kiwi, and have wider implications in understanding vocal behaviour in a range of nocturnal birds

Linear and weakly nonlinear stability analyses of cooperative car-following models

Stability analyses have been widely used to better understand the mechanism of traffic jam formation. In this paper, we consider the impact of cooperative systems (a.k.a. connected vehicles) on traffic dynamics and, more precisely, on flow stability. Cooperative systems are emerging technologies enabling communication between vehicles and/or with the infrastructure. In a distributed communication framework, equipped vehicles are able to send and receive information to/from other equipped vehicles. Here, the effects of cooperative traffic are modeled through a general bilateral multianticipative car-following law that improves cooperative drivers' perception of their surrounding traffic conditions within a given communication range. Linear stability analyses are performed for a broad class of car-following models. They point out different stability conditions in both multianticipative and nonmultianticipative situations. To better understand what happens in unstable conditions, information on the shock wave structure is studied in the weakly nonlinear regime by the mean of the reductive perturbation method. The shock wave equation is obtained for generic car-following models by deriving the Korteweg de Vries equations. We then derive traffic-state-dependent conditions for the sign of the solitary wave (soliton) amplitude. This analytical result is verified through simulations. Simulation results confirm the validity of the speed estimate. The variation of the soliton amplitude as a function of the communication range is provided. The performed linear and weakly nonlinear analyses help justify the potential benefits of vehicle-integrated communication systems and provide new insights supporting the future implementation of cooperative systems.

An object-centred approach to encourage online participation in the context of behaviour change

Online groups rely on contributions from their members to flourish, but in the context of behaviour change individuals are typically reluctant to participate actively before they have changed successfully. We took inspiration from CSCW research on objects to address this problem by shifting the focus of online participation from the exchange of personal experiences to more incidental interactions mediated by objects that offer support for change. In this article we describe how we designed, deployed and studied a smartphone application that uses different objects, called distractions and tips, to facilitate social interaction amongst people trying to quit smoking. A field study with 18 smokers revealed different forms of interaction: purely instrumental interactions with the objects, subtle engagement with other users through receptive and covert interactions, as well as explicit interaction with other users through disclosure and mutual support. The distraction objects offered a stepping-stone into interaction, whereas the tips encouraged interaction with the people behind the objects. This understanding of interaction through objects complements existing frameworks of online participation and adds to the current discourse on object-centred sociality. Furthermore, it provides an alternative approach to the design of online support groups, which offers the users enhanced control about the information they share with other users. We conclude by discussing how researchers and practitioners can apply the ideas of interaction around objects to other domains where individuals may have a simultaneous desire and reluctance to interact.

Social interaction and reflection for behaviour change

This article introduces the theme issue on social interaction and reflection for behaviour change. A large body of research exists on systems designed to help users in changing their behaviours, for instance, to exercise more regularly or to reduce energy consumption. Increasingly, these systems focus on multiple users, often to encourage open-ended reflection rather than prescribing a particular course of action. As background for this theme issue, this article presents a literature review on behaviour change support systems that focus on social interaction and reflection. The review highlights five key approaches amongst these systems: social traces, social support, collective use, reflection-in-action, and reflection-on-action. Each approach offers unique benefits, but also challenges for the design of behaviour change support systems. We highlight how the articles in this theme issue contribute to our current understanding of these five approaches, and beyond that, set out some broad directions for future work.

Things you don't want to know about yourself: Ambivalence about tracking and sharing personal information for behaviour change

Technologies that facilitate the collection and sharing of personal information can feed people's desire for enhanced self-knowledge and help them to change their behaviour, yet for various reasons people can also be reluctant to use such technologies. This paper explores this tension through an interview study in the context of smoking cessation. Our findings show that smokers and recent ex-smokers were ambivalent about their behaviour change as well as about collecting personal information through technology and sharing it with other users. We close with a summary of three challenges emerging from such ambivalence and directions to address them.

Formal network behaviour analysis using model checking

In this research we modelled computer network devices to ensure their communication behaviours meet various network standards. By modelling devices as finite-state machines and examining their properties in a range of configurations, we discovered a flaw in a common network protocol and produced a technique to improve organisations' network security against data theft.

Augmenting process elicitation with visual priming: An empirical exploration of user behaviour and modelling outcomes

Business process models have become an effective way of examining business practices to identify areas for improvement. While common information gathering approaches are generally efficacious, they can be quite time consuming and have the risk of developing inaccuracies when information is forgotten or incorrectly interpreted by analysts. In this study, the potential of a role-playing approach to process elicitation and specification has been examined. This method allows stakeholders to enter a virtual world and role-play actions similarly to how they would in reality. As actions are completed, a model is automatically developed, removing the need for stakeholders to learn and understand a modelling grammar. An empirical investigation comparing both the modelling outputs and participant behaviour of this virtual world role-play elicitor with an S-BPM process modelling tool found that while the modelling approaches of the two groups varied greatly, the virtual world elicitor may not only improve both the number of individual process task steps remembered and the correctness of task ordering, but also provide a reduction in the time required for stakeholders to model a process view.