Extending IP to Low-Power, Wireless Personal Area Networks

Extending IP to low-power, wireless personal area networks (LoWPANs) was once considered impractical because these networks are highly constrained and must operate unattended for multiyear lifetimes on modest batteries. Many vendors embraced proprietary protocols, assuming that IP was too resource-intensive to be scaled down to operate on the microcontrollers and low-power wireless links used in LoWPAN settings. However, 6LoWPAN radically alters the calculation by introducing an adaptation layer that enables efficient IPv6 communication over IEEE 802.15.4 LoWPAN links.     

A ship motion simulation system

In this article, efficient computational models for ship motions are presented. These models are used to simulate ship movements in real time. Compared with traditional approaches, our method possesses the ability to cope with different ship shapes, engines, and sea conditions without the loss of efficiency. Based on our models, we create a ship motion simulation system for both entertainment and educational applications. Our system assists users to learn the motions of a ship encountering waves, currents, and winds. Users can adjust engine powers, rudders, and other ship facilities via a graphical user interface to create their own ship models. They can also change the environment by altering wave frequencies, wave amplitudes, wave directions, currents, and winds. Therefore, numerous combinations of ships and the environment are generated and the learning becomes more amusing. In our system, a ship is treated as a rigid body floating on the sea surface. Its motions compose of 6 degrees of freedom: pitch, heave, roll, surge, sway, and yaw. These motions are divided into two categories. The first three movements are induced by sea waves, and the last three ones are caused by propellers, rudders, currents, and winds. Based on Newton’s laws and other basic physics motion models, we deduce algorithms to compute the magnitudes of the motions. Our methods can be carried out in real time and possess high fidelity. According to ship theory, the net effects of external forces on the ship hull depend on the ship shape. Therefore, the behaviors of the ship are influenced by its shape. To enhance our physics models, we classify ships into three basic types. They are flat ships, thin ships, and slender ships. Each type of ship is associated with some predefined parameters to specify their characteristics. Users can tune ship behaviors by varying the parameters even though they have only a little knowledge of ship theory.     

Sensory-motor enhancement in a virtual therapeutic environment

The sensory-motor skills of persons with neuromuscular disabilities have been shown to be enhanced by intensive and repetitive therapeutic interventions. This paper describes a form of low immersion virtual reality and a prototype, open source system that allow a user with significant physical disability to actively interact with computer-generated objects whose behaviors promote a game-like interaction. Unlike fully immersive and haptic virtual reality, this approach frees the user from head-mounted displays and gloves. It extracts the user’s real-time silhouette from the output of a remote video camera and uses that two-dimensional outline to interact with graphical objects on screen. In contrast to video games that have been modified with specialized interfaces, this virtual interaction system promotes the repetitive use of goal directed movements of the arms and body, which are essential to promote cortical reorganization, as well as discourage unwanted changes in muscle tissue that result in contracture. A prototype system demonstrates the potential of low immersion technology to motivate users and encourage participation in therapy. It also offers the potential of accommodating the sensory-motor skills of individuals with very significant impairment. The behaviors of the computer-generated graphics can be altered to allow use by those with very limited range of motion and/or motor control. These behaviors can be adjusted to provide a continuing challenge as the user’s skills improve. This prototype is described in terms of functional capabilities that include a silhouette extraction from a video image, and generation of graphical objects that interact with the silhouette. The work is extended with a discussion of a more sophisticated region of interest detection algorithm that can select specific parts of the body.     

Application of single-level,pointwise algebraic,and smoothed aggregation multigrid methods to direct numerical simulations of incompressible turbulent flows

Single- and multi-level iterative methods for sparse linear systems are applied to unsteady flow simulations via implementation into a direct numerical simulation solver for incompressible turbulent flows on unstructured meshes. The performance of these solution methods, implemented in the well-established SAMG and ML packages, are quantified in terms of computational speed and memory consumption, with a direct sparse LU solver (SuperLU) used as a reference. The classical test case of unsteady flow over a circular cylinder at low Reynolds numbers is considered, employing a series of increasingly fine anisotropic meshes. As expected, the memory consumption increases dramatically with the considered problem size for the direct solver. Surprisingly, however, the computation times remain reasonable. The speed and memory usage of pointwise algebraic and smoothed aggregation multigrid solvers are found to exhibit near-linear scaling. As an alternative to multi-level solvers, a single-level ILUT-preconditioned GMRES solver with low drop tolerance is also considered. This solver is found to perform sufficiently well only on small meshes. Even then, it is outperformed by pointwise algebraic multigrid on all counts. Finally, the effectiveness of pointwise algebraic multigrid is illustrated by considering a large three-dimensional direct numerical simulation case using a novel parallelization approach on a large distributed memory computing cluster.     

Convergence analysis of geometrical multigrid methods for solving data-sparse boundary element equations

The convergence analysis of multigrid methods for boundary element equations arising from negative-order pseudo-differential operators is quite different from the usual finite element multigrid analysis for elliptic partial differential equations. In this paper, we study the convergence of geometrical multigrid methods for solving large-scale, data-sparse boundary element equations. In particular, we investigate multigrid methods for \(\mathcal{H}\)-matrices arising from the adaptive cross approximation to the single layer potential operator.     

New Research Results for Electronic Voting

Voting systems have become controversial in the years following the multiple election disasters that occurred in the United States during and after 2000. Of particular note were the electronic voting (e-voting) systems that were widely deployed to replace the pre-scored punch-card systems, systems that had have been frequently judged to be central to the problem in the 2000 Florida general election. The (premature) deployment of e-voting machines stimulated a new field of security and privacy research around the subject of elections, a subject that has turned out to be more complex and deeper than anyone would have predicted a decade ago. Here we present a sample of some of the finest recent work on election technology from authors on three continents.     

Leveraging online communities in fostering adaptive schools

There has long been a call for schools to prepare students for the twenty-first century where skills and dispositions differ significantly from much of what has historically characterized formal education. The knowledge based economy calls for policy and pedagogical efforts that would transform schools. Schools are to foster communities of learners. This paper suggests that para-communities may be points of leverage in the fostering of adaptive schools. A critical analysis is done on the differences between para-communities (such as online communities) and schools; and an argument is made that they each serve differing goals and should be left distinct because they achieve different societal and economic demands.     

Considerate home notification systems: a field study of acceptability of notifications in the home

A field study in ten homes was conducted to understand what influences users’ acceptability of notifications in the home environment. The key finding is that perceived message urgency is the primary indicator of acceptability of notifications in the home—if people think a message is urgent, they want the message to be shown immediately, regardless of what they are doing at the time of notification. The study also shows that the acceptability of low-urgent and medium-urgent messages could be improved by taking into account mental activity load at the time of notification. No effect of physical activity was found on acceptability. The results suggest that to improve the scheduling of notifications in the home, notification systems need a mechanism assessing both the message urgency and the mental activity load, whereas physical activity can be ignored. From a methodological point of view, it is difficult to measure acceptability of notifications in a realistic setting, given the need to balance experimental control with realistic context. The present paper suggests a way to introduce controlled notifications and subjective measurements of acceptability in homes.     

Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool

We apply the scenario-based approach to modeling, via the language of live sequence charts (LSCs) and the Play-Engine tool to a real-world complex telecommunication service, . It allows a user to call for help from a doctor, the fire brigade, a car maintenance service, etc. These kinds of services are built on top of an embedded platform, using both new and existing service components, and their complexity stems from their distributed architecture, the various time constraints they entail, and their rapidly evolving underlying systems. A well known problem in this class of telecommunication applications is that of feature interaction, whereby a new feature might cause problems in the execution of existing features. Our approach provides a methodology for high-level modeling of telecommunication applications that can help in detecting feature interaction at early development stages. We exhibit the results of applying the methodology to the specification, animation and formal verification of the Depannage service.

ONTRACK: Dynamically adapting music playback to support navigation

Listening to music on personal, digital devices whilst mobile is an enjoyable, everyday activity. We explore a scheme for exploiting this practice to immerse listeners in navigation cues. Our prototype, ONTRACK, continuously adapts audio, modifying the spatial balance and volume to lead listeners to their target destination. First we report on an initial lab-based evaluation that demonstrated the approach’s efficacy: users were able to complete tasks within a reasonable time and their subjective feedback was positive. Encouraged by these results we constructed a handheld prototype. Here, we discuss this implementation and the results of field-trials. These indicate that even with a low-fidelity realisation of the concept, users can quite effectively navigate complicated routes.

---