Gamification Solutions to Enhance Software User Engagement—A Systematic Review

Gamification is the use of video-game mechanics and elements in nongame contexts to enhance user engagement and performance. The purpose of this study is to conduct a systematic review to have an in-depth investigation into the existing gamification solutions targeted at solving user engagement problems in different categories of software. We carried out this systematic review by proposing a framework of gamifying process, which is the basis for comparison of existing gamification solutions. In order to report the review, the primary studies are categorized according to the following: a) gamified software and their platforms; b) elements of the gamifying process; c) gamification solutions in each software type; d) gamification solutions for software user engagement problems; e) gamification solutions in general; and f) effects of gamification on software user engagement and performance. Based on the search procedure and criteria, a total of 78 primary studies were extracted. Most of the studies focused on educational and social software, which were developed for web or mobile platforms. We concluded that the number of studies on motivating users to use software content, solving problems in learning software, and using real identity is very limited. Furthermore, few studies have been carried out on gamifying the following software categories: productivity software, cloud storage, utility software, entertainment software, search engine software, tool software, fitness software, software engineering, information worker software, and health-care software. In addition, a large number of gamification solutions are relatively simple and require improvement. Thus, for future studies, researchers can work on the items discovered in this review; they can improve the quality of the current gamified systems by using a wide variety of game mechanics and interface elements, utilizing a combination of contextual types of rewards and giving users the ability to use received rewards “in-game” and “out-game.”     

Finite element analysis on implicitly defined domains: An accurate representation based on arbitrary parametric surfaces

In this paper, we present some novel results and ideas for robust and accurate implicit representation of geometric surfaces in finite element analysis. The novel contributions of this paper are threefold: (1) describe and validate a method to represent arbitrary parametric surfaces implicitly; (2) represent arbitrary solids implicitly, including sharp features using level sets and boolean operations; (3) impose arbitrary Dirichlet and Neumann boundary conditions on the resulting implicitly defined boundaries. The methods proposed do not require local refinement of the finite element mesh in regions of high curvature, ensure the independence of the domain’s volume on the mesh, do not rely on boundary regularization, and are well suited to methods based on fixed grids such as the extended finite element method (XFEM). Numerical examples are presented to demonstrate the robustness and effectiveness of the proposed approach and show that it is possible to achieve optimal convergence rates using a fully implicit representation of object boundaries. This approach is one step in the desired direction of tying numerical simulations to computer aided design (CAD), similarly to the isogeometric analysis paradigm.     

H∞ switching fuzzy control of solar power generation systems with asymmetric input constraint

This paper aims at presenting a maximum power point tracking (MPPT) controller for photovoltaic (PV) systems subject to asymmetric input constraint. Indeed, the output voltage of the DC‐DC converter used for adjusting the photovoltaic output power can be controlled by means of variation of duty ratio limited between 1 and 0. The control design goal is to improve the efficiency of PV systems under asymmetric saturation of duty ratio. To achieve this goal, first, a Takagi‐Sugeno (T‐S) fuzzy model is used to represent the nonlinear behavior of the PV system. A T–S reference model is employed to give the ideal state direction which must be followed. To achieve a good steady state tracking, the integral of the state tracking error is used to define an extended system state vector. Second, the input characteristic is partitioned into several regions. In each region, the asymmetric saturation function can be considered as a symmetric saturation function. Furthermore, H∞ stabilization conditions for the resulting switching fuzzy control of the PV system under actuator saturation are formulated in term of linear matrix inequalities (LMI) using the Lyapunov approach. Simulation results are exhibited to demonstrate the effectiveness of the proposed design method.     

A population-based iterated greedy algorithm for the minimum weight vertex cover problem

Given an undirected, vertex-weighted graph, the goal of the minimum weight vertex cover problem is to find a subset of the vertices of the graph such that the subset is a vertex cover and the sum of the weights of its vertices is minimal. This problem is known to be NP-hard and no efficient algorithm is known to solve it to optimality. Therefore, most existing techniques are based on heuristics for providing approximate solutions in a reasonable computation time.Population-based search approaches have shown to be effective for solving a multitude of combinatorial optimization problems. Their advantage can be identified as their ability to find areas of the space containing high quality solutions. This paper proposes a simple and efficient population-based iterated greedy algorithm for tackling the minimum weight vertex cover problem. At each iteration, a population of solutions is established and refined using a fast randomized iterated greedy heuristic based on successive phases of destruction and reconstruction. An extensive experimental evaluation on a commonly used set of benchmark instances shows that our algorithm outperforms current state-of-the-art approaches.     

Efficient visual tracking approach via whale optimizer and corrected background weighted histogram

Multimedia Tools and Applications - There are mainly two components in almost every visual object tracking algorithm, which are the object presentation and the searching mechanism. In the...     

Robust H ∞ static output feedback stabilization of T-S fuzzy systems subject to actuator saturation

This paper proposes a method for designing robust H_?? static output feedback stabilization of Takagi-Sugeno (T-S) fuzzy systems under actuator saturation. In this paper, the input saturation is represented by a polytopic model and the modeling error is assumed a norm-bounded uncertainty. A set invariance condition for robust H_?? static output feedback system under actuator saturation is first established. Then, the estimation of the largest domain of attraction for the system is formulated and solved as a Linear Matrix Inequality (LMI) optimization problem. Two examples are used to demonstrate the effectiveness of the proposed design method.     

Similarity based image selection with frame rate adaptation and local event detection in wireless video sensor networks

Wireless Video Sensor Networks (WVSNs7unding environmental information. Those sensor nodes can locally process the information and then wirelessly transmit it to the coordinator and to the sink to be further processed. As a consequence, more abundant video and image data are collected. In such densely deployed networks, the problem of data redundancy arises when information are gathered from neighboring nodes. To overcome this problem, one important enabling technology for WVSN is data aggregation, which is essential to be cost-efficient. In this paper, we propose a new approach for data aggregation in WVSN based on images and shot similarity functions. It is deployed on two levels: the video-sensor node level and the coordinator level. At the sensor node level the proposed algorithms aim at reducing the number of frames sensed by the sensor nodes and sent to the coordinator. At the coordinator level, after receiving shots from different neighbouring sensor nodes, the similarity between these shots is computed to eliminate redundancies and to only send the frames which meet a certain condition to the sink. The similarity between shots is evaluated based on their color, edge and motion information. We evaluate our approach on a live scenario and compare the results with another approach from the literature in terms of data reduction and energy consumption. The results show that the two approaches have a significant data reduction to reduce the energy consumption, thus our approach tends to overcome the other one in terms of reducing the energy consumption related to the sensing process, and to the transmitting process while guaranteeing the detection of all the critical events at the node and the coordinator levels.

     

New time-varying fuzzy sets based on a PSO midpoint of the universe of discourse

The paper presents a robust parallel distributed compensation(PDC) fuzzy controller for a nonlinear and certain system in continuous time described by the Takagi-Sugeno(T-S) fuzzy model. This controller is based on a new type of time-varying fuzzy sets(TVFS). These fuzzy sets are characterized by displacement of the kernels to the right or left of the universe of discourse, and they are directed by a well-defined criterion. In this work, we only focused on the movement of midpoint of the universe. The movements of this midpoint are optimized by particle swarm optimization(PSO) approach.     

The mechanical properties of epoxy resins

Crack propagation in a series of epoxy resins described in Part 1 has been studied as a function of testing rate and temperature. It has been found that crack propagation is continuous at low temperatures but that as the temperature is raised the mode of propagation becomes unstable (stick/slip). Features on the fracture surfaces at the crack arrest lines have been shown to be of the same dimensions as those expected for a Dugdale plastic zone. It has been suggested that the slip process takes place by slow growth of a crack through the plastic zone followed by rapid propagation through virgin material. It has been shown that the stick/slip behaviour is due to blunting of the crack which is controlled by the yield behaviour of the resin. A unique fracture criterion has been shown to be applicable to epoxy resins which is that a critical stress of the order of three times the yield stress must be achieved at a critical distance ahead of the crack. Electron microscope replicas of the fracture surfaces have been obtained and an underlying nodular structure can be resolved. However, no direct correlation between the nodule size and fracture properties has been found.