Measurement-based modeling of contact forces and textures for haptic rendering

Haptic texture represents the fine-grained attributes of an object's surface and is related to physical characteristics such as roughness and stiffness. We introduce an interactive and mobile scanning system for the acquisition and synthesis of haptic textures that consists of a visually tracked handheld touch probe. The most novel aspect of our work is an estimation method for the contact stiffness of an object based solely on the acceleration and forces measured during stroking of its surface with the handheld probe. We establish an experimental relationship between the estimated stiffness and the contact stiffness observed during compression. We also measure the height-displacement profile of an object's surface enabling us to generate haptic textures. We show an example of mapping the textures on to a coarse surface mesh obtained with an image-based technique, but the textures may also be combined with coarse surface meshes obtained by manual modeling.     

Dynamic control mechanisms for revenue management with flexible products

Revenue management with flexible products has experienced a growing interest in the academic literature within the last few years. Flexible products allow supply-side substitution between resources and can therefore help to maximize overall revenue as well as capacity utilization in markets with highly uncertain demand. This paper addresses the question of how the mathematical models which have been developed for capacity control with flexible products should be used over time to exploit the substitution opportunities, while keeping practical applicability in mind. Several dynamic control mechanisms are proposed, each of which makes use of the flexibility to a different extent. A comprehensive computational study shows the potential of the different approaches by revealing their strengths and weaknesses.     

Psychosocial causes and consequences of pathological gaming

Pathological use of computer and video games has been associated with indicators of psychosocial well-being, such as loneliness, low self-esteem, low social competence, and low life satisfaction. However, few studies have decisively demonstrated whether these indicators of psychosocial well-being are causes or consequences of pathological gaming. To address this gap in the literature, we conducted a two-wave panel study among 851 Dutch adolescents (543 gamers). Causal relations were analyzed using autoregressive structural equation models. These analyses indicated that social competence, self-esteem, and loneliness were significant predictors of pathological gaming six months later. Thus, lower psychosocial well-being can be considered an antecedent of pathological gaming among adolescent gamers. Our analyses further indicated that loneliness was also a consequence of pathological gaming. This suggests that displacement of real-world social interaction resulting from pathological use of video games may deteriorate existing relationships, which could explain the increase in adolescent gamers’ feelings of loneliness.     

Shape from Shading Using Probability Functions and Belief Propagation

Shape-from-shading (SFS) aims to reconstruct the three-dimensional shape of an object from a single shaded image. This article proposes an improved framework based on belief propagation for computing SFS. The implementation of the well-known brightness, integrability and smoothness constraints inside this framework is shown. We implement the constraints as probability density functions. For example, the brightness constraint is a two-dimensional probability density function that relates all possible surface gradients at a pixel to their probability given the pixel intensity. A straightforward extension of the framework to photometric stereo is presented, where multiple images of the same scene taken under different lighting conditions are available. The results are promising, especially since the solution is obtained by iteratively applying simple operations on a regular grid of points. The presented framework therefore can be implemented in parallel and is a reasonably likely biological scheme.     

Exploring indicators for quantifying surface urban heat islands of European cities with MODIS land surface temperatures

The term urban heat island describes the phenomenon of altered temperatures in urban areas compared to their rural hinterlands. A surface urban heat island encompasses the patterns of land surface temperatures in urban areas. The classical indicator to describe a surface urban heat island is the difference between urban and rural surface temperatures. However, several other indicators for this purpose have been suggested in the literature. In this study, we compared the eleven different indicators for quantifying surface urban heat islands that were most frequently used in recent publications on remote sensing-based urban heat island assessments. The dataset used here consists of 263 European cities with monthly mean temperatures from MODIS data products for July 2002, January 2003 and July 2003. We found that (i) the indicators individually reveal diurnal and seasonal patterns but show rather low correlations over time, and (ii) for single points in time, the different indicators show only weak correlations, although they are supposed to quantify the same phenomenon. Differentiating cities according to thermal climate zones increased the relationships between the indicators. Thus, we can identify temporal aspects and indicator selection as important factors determining the estimation of urban heat islands. We conclude that research should take into account the differences and instabilities of the indicators chosen for quantifying surface urban heat islands and should use several indicators in parallel for describing the surface urban heat island of a city.     

Solving Third Order Differential Equations with Maximal Symmetry Group

The largest group of Lie symmetries that a third-order ordinary differential equation (ode) may allow has seven parameters. Equations sharing this property belong to a single equivalence class with a canonical representative v ^′′′(u)=0. Due to this simple canonical form, any equation belonging to this equivalence class may be identified in terms of certain constraints for its coefficients. Furthermore a set of equations for the transformation functions to canonical form may be set up for which large classes of solutions may be determined algorithmically. Based on these steps a solution algorithm is described for any equation with this symmetry type which resembles a similar scheme for second order equations with projective symmetry group. Received March 9, 2000; revised June 8, 2000     

Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment

With the trend to partially move safety-related features from courtyards into on-board control software, new challenges arise in supporting such designs by formal verification capabilities, essentially entailing the need for a model-based design process. This paper reports on the usage of the STATEMATE Verification Environment to model and verify a radio-based signaling system, a trial case study offered by the German train system company DB. It shows, that industrially sized applications can be modeled and verified with a verification tool to be offered as a commercial product by I-Logix, Inc.