Reconfigurable distributed storage for dynamic networks

This paper presents a new algorithm for implementing a reconfigurable distributed shared memory in an asynchronous dynamic network. The algorithm guarantees atomic consistency (linearizability) in all executions in the presence of arbitrary crash failures of the processing nodes, message delays, and message loss. The algorithm incorporates a classic quorum-based algorithm for read/write operations, and an optimized consensus protocol, based on Fast Paxos for reconfiguration, and achieves the design goals of: (i) allowing read and write operations to complete rapidly and (ii) providing long-term fault-tolerance through reconfiguration, a process that evolves the quorum configurations used by the read and write operations. The resulting algorithm tolerates dynamism. We formally prove our algorithm to be correct, we present its performance and compare it to existing reconfigurable memories, and we evaluate experimentally the cost of its reconfiguration mechanism.     

Instructing students on effective sequences of examples and problems: Does self-regulated learning improve from knowing what works and why?

Nowadays, students often practice problem-solving skills in online learning environments with the help of examples and problems. This requires them to self-regulate their learning. It is questionable how novices self-regulate their learning from examples and problems and whether they need support. The present study investigated the open questions (1) to what extent students' (novices) task selections align with instructional design principles and (2) whether informing them about these principles would improve their task selections, learning outcomes, and motivation. Higher education students (N = 150) learned a problem-solving procedure by fixed sequences of examples and problems (FS-condition), or by self-regulated learning (SRL). The SRL participants selected tasks from a database, varying in format, complexity, and cover story, either with (ISRL-condition) or without (SRL-condition) watching a video detailing the instructional design principles. Students' task-selection patterns in both SRL conditions largely corresponded to the principles, although tasks were built up in complexity more often in the ISRL-condition than in the SRL-condition. Moreover, there was still room for improvement in students' task selections after solving practice problems. The video instruction helped students to better apply certain principles, but did not enhance learning and motivation. Finally, there were no test performance or motivational differences among conditions. Although these findings might suggest it is relatively ‘safe’ to allow students to independently start learning new problems-solving tasks using examples and problems, caution is warranted: It is unclear whether these findings generalize to other student populations, as the students participating in this study have had some experience with similar tasks or learning with examples. Moreover, as there was still room for improvement in students' task selections, follow-up research should investigate how we can further improve self-regulated learning from examples and practice problems.     

An integrated fuzzy multi-criteria approach for the performance evaluation of multiple manufacturing plants

The performance evaluation is regarded as a multiple criteria decision making (MCDM) problem and has a significant impact on the operations of the enterprise. This paper develops an integrated MCDM approach that combines the voting method and the fuzzy TOPSIS (technique for order preference by similarity to ideal solution) method to evaluate the performance of multiple manufacturing plants in a fuzzy environment. Fuzzy TOPSIS helps decision-makers carry out analysis and comparisons in ranking their preference of the alternatives with vague or imprecise data. Since the evaluation result is often greatly affected by the weights used in the evaluation process, the voting method is used in this study to determine the appropriate criteria weights. A case study demonstrating the applicability of the proposed model is presented. The case company is the world’s largest manufacturer of power supplies. It has three primary manufacturing bases located in Wujiang, Dongguan, and Tianjin, China. The proposed approach is used to evaluate the performance of the company’s five manufacturing plants in Wujiang, which produce switch power, telecom power, DC/DC converters, uninterruptible power systems (UPS) and AC/DC adapters.     

The Effectiveness of Short Message Service for Communication With Concerns of Privacy Protection and Conflict Avoidance

Why would people use Short Message Service (SMS) to say something they would not say in person? There is a trend that SMS is becoming more and more popular because it facilitates more extended modes of communications. Using technology acceptance model, we hypothesize the attitude of SMS would be influenced by its perceived effectiveness for communications, perceived ease of use, and subjective norm. Besides the special aspects of communications, conflict avoidance and privacy protection will enforce the impact of perceived effectiveness of SMS for communication. We investigated 953 SMS users and the results support most of our hypotheses. Furthermore, our analyses also show there are differences between females and males on the influence mechanism behind their attitude towards SMS.     

A revised method for ranking fuzzy numbers using maximizing set and minimizing set

A large number of methods have been proposed for ranking fuzzy numbers in the last few decades. Nevertheless, none of these methods can always guarantee a consistent result for every situation. Some of them are even non-intuitive and not discriminating. Chen proposed a ranking method in 1985 to overcome these limitations and simplify the computational procedure based on the criteria of total utility through maximizing set and minimizing set. However, there were some shortcomings associated with Chen’s ranking method. Therefore, we propose a revised ranking method that can overcome these shortcomings. Instead of considering just a single left and a single right utility in the total utility, the proposed method considers two left and two right utilities. In addition, the proposed method also takes into account the decision maker’s optimistic attitude of fuzzy numbers. Several comparative examples and an application demonstrating the usage, advantages, and applicability of the revised ranking method are presented. It can be concluded that the revised ranking method can effectively resolve the issues with Chen’s ranking method. Moreover, the revised ranking method can be used to differentiate different types of fuzzy numbers.     

How to improve snap-stabilizing point-to-point communication space complexity?

A snap-stabilizing protocol, starting from any configuration, always behaves according to its specification. In this paper, we are interested in the message forwarding problem in a message-switched network in which the system resources must be managed in order to deliver messages to any processor of the network. To this end, we use the information provided by a routing algorithm. In the context of an arbitrary initialization (due to stabilization), this information may be corrupted. In Cournier et al. (2009) [1], we show that there exist snap-stabilizing algorithms for this problem (in the state model). This implies that we can request the system to begin forwarding messages without losses even if routing information is initially corrupted.In this paper, we propose another snap-stabilizing algorithm for this problem which improves the space complexity of the one in Cournier et al. (2009) [1].     

Asymmetric tensor field visualization for surfaces

Asymmetric tensor field visualization can provide important insight into fluid flows and solid deformations. Existing techniques for asymmetric tensor fields focus on the analysis, and simply use evenly-spaced hyperstreamlines on surfaces following eigenvectors and dual-eigenvectors in the tensor field. In this paper, we describe a hybrid visualization technique in which hyperstreamlines and elliptical glyphs are used in real and complex domains, respectively. This enables a more faithful representation of flow behaviors inside complex domains. In addition, we encode tensor magnitude, an important quantity in tensor field analysis, using the density of hyperstreamlines and sizes of glyphs. This allows colors to be used to encode other important tensor quantities. To facilitate quick visual exploration of the data from different viewpoints and at different resolutions, we employ an efficient image-space approach in which hyperstreamlines and glyphs are generated quickly in the image plane. The combination of these techniques leads to an efficient tensor field visualization system for domain scientists. We demonstrate the effectiveness of our visualization technique through applications to complex simulated engine fluid flow and earthquake deformation data. Feedback from domain expert scientists, who are also co-authors, is provided.