On the Behavior of True and False

Uzquiano (Analysis 70:39–44, 2010) showed that the Hardest Logic Puzzle Ever (HLPE) [in its amended form due to Rabern and Rabern (Analysis 68:105–112, 2008)] has a solution in only two questions. Uzquiano concludes his paper by noting that his solution strategy naturally suggests a harder variation of the puzzle which, as he remarks, he does not know how to solve in two questions. Wheeler and Barahona (J Philos Logic, to appear, 2011) formulated a three question solution to Uzquiano’s puzzle and gave an information theoretic argument to establish that a two question solution for Uzquiano’s puzzle does not exist. However, their argument crucially relies on a certain conception of what it means to answer self-referential yes–no questions truly and falsely. We propose an alternative such conception which, as we show, allows one to solve Uzquiano’s puzzle in two questions. The solution strategy adopted suggests an even harder variation of Uzquiano’s puzzle which, as we will show, can also be solved in two questions. Just as all previous solutions to versions of HLPE, our solution is presented informally. The second part of the paper investigates the prospects of formally representing solutions to HLPE by exploiting theories of truth.     

A method to align the coordinate system of accelerometers to the axes of a human body: The depitch algorithm

One of the key problems in accelerometry based gait analyses is that it may not be possible to attach an accelerometer to the lower trunk so that its axes are perfectly aligned to the axes of the subject. In this paper we will present an algorithm that was designed to virtually align the axes of the accelerometer to the axes of the subject during walking sections. This algorithm is based on a physically reasonable approach and built for measurements in unsupervised settings, where the test persons are applying the sensors by themselves. For evaluation purposes we conducted a study with 6 healthy subjects and measured their gait with a manually aligned and a skewed accelerometer attached to the subject's lower trunk. After applying the algorithm the intra-axis correlation of both sensors was on average 0.89±0.1 with a mean absolute error of 0.05g. We concluded that the algorithm was able to adjust the skewed sensor node virtually to the coordinate system of the subject.     

Three tokens in Herman’s algorithm

Herman’s algorithm is a synchronous randomized protocol for achieving self-stabilization in a token ring consisting of N processes. The interaction of tokens makes the dynamics of the protocol very difficult to analyze. In this paper we study the distribution of the time to stabilization, assuming that there are three tokens in the initial configuration. We show for arbitrary N and for an arbitrary timeout t that the probability of stabilization within time t is minimized by choosing as the initial three-token configuration the configuration in which the tokens are placed equidistantly on the ring. Our result strengthens a corollary of a theorem of McIver and Morgan (Inf. Process Lett. 94(2): 79–84, 2005), which states that the expected stabilization time is minimized by the equidistant configuration.     

Reduced order optimization for model predictive control using principal control moves

In order to reduce the computational complexity of model predictive control (MPC) a proper input signal parametrization is proposed in this paper which significantly reduces the number of decision variables. This parametrization can be based on either measured data from closed-loop operation or simulation data. The snapshots of representative time domain data for all manipulated variables are projected on an orthonormal basis by a Karhunen-Loeve transformation. These significant features (termed principal control moves, PCM) can be reduced utilizing an analytic criterion for performance degradation. Furthermore, a stability analysis of the proposed method is given. Considerations on the identification of the PCM are made and another criterion is given for a sufficient selection of PCM. It is shown by an example of an industrial drying process that a strong reduction in the order of the optimization is possible while retaining a high performance level.     

Prosocial Emotions and Helping: The Moderating Role of Group Membership.

In this article, the authors introduce and test a group-level perspective on the role of empathy and interpersonal attraction in helping. In line with our predictions, Study 1, a longitudinal field study of 166 AIDS volunteers, confirmed that empathy was a stronger predictor of helping when the recipient of assistance was an in-group member than when that person was an out-group member. Also as hypothesized, attraction was a stronger predictor of helping when the recipient was an out-group member than when that person was an in-group member. Study 2 replicated and further extended these results in a laboratory experiment on spontaneous helping of a person with hepatitis. Strengthening the validity of the findings, in both studies the effects of empathy and attraction held up even when the authors statistically controlled for potential alternative predictors of helping. The theoretical and practical implications of these findings for helping in intergroup contexts are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Key principles for user-centred systems design

The concept of user-centred systems design (UCSD) has no agreed upon definition. Consequently, there is a great variety in the ways it is applied, which may lead to poor quality and poor usability in the resulting systems, as well as misconceptions about the effectiveness of UCSD. The purpose of this paper is to propose a definition of UCSD. We have identified 12 key principles for the adoption of a user-centred development process, principles that are based on existing theory, as well as research in and experiences from a large number of software development projects. The initial set of principles were applied and evaluated in a case study and modified accordingly. These principles can be used to communicate the nature of UCSD, evaluate a development process or develop systems development processes that support a user-centred approach. We also suggest activity lists and some tools for applying UCSD.     

Improved practical support for large-scale requirements prioritising

An efficient, accurate and practical process for prioritising requirements is of great importance in commercial software developments. This article improves an existing cost-value approach in which stakeholders compare all unique pairs of candidate requirements according to their value and their cost of implementation. Techniques for reducing the required number of comparisons are suggested, thus making the process more efficient. An initial approach for managing requirements interdependencies is proposed. A support tool for the improved process has been developed to make the process more practical in commercial developments. The improved process and its support tool have been applied and evaluated in an industrial project at Ericsson Radio Systems AB. The results indicate a pressing need for mature processes for prioritising requirements, and the work presented here is an important step in that direction.     

Flash gas bypass for improving the performance of transcritical R744 systems that use microchannel evaporators

The performance of transcritical R744 systems with direct expansion (DX) can be significantly improved by implementing a Flash Gas Bypass (FGB). The idea behind the concept is to bypass refrigerant vapor, created during the isenthalpic expansion process, around the evaporator. By feeding the evaporator with liquid refrigerant, pressure drop is reduced and refrigerant distribution is improved. With R744 as the working fluid, increased refrigerant-side heat transfer coefficients are expected as well. In addition, the FGB concept proves to be beneficial in terms of system design, in particular for combined air-conditioning and heat pumping applications. An experimental comparison to a conventional DX-system reveals that FGB increases the cooling capacity and COP at the same time by up to 9 and 7%, respectively. Even larger improvements are possible in case a variable speed compressor is utilized to match the performance of the conventional DX-system. A simulation model helps to separate the individual improvement mechanisms. It was found that the reduction of refrigerant-side pressure drop is the dominant improvement mechanism of FGB.     

Unique reduced graphene oxide as efficient anode material in Li ion battery

Unique reduced graphene oxide named solar reduced graphene oxide (SRGO) was found to be an excellent anode material in Li ion battery. SRGO exhibited first cycle discharge- and charge-capacities as high as 1480 and 880 mAh \(\hbox {g}^{-1}\), respectively. Moreover, the columbic efficiency was found to be >95% and the specific capacity retention even after 60 cycles was >500 mAh \(\hbox {g}^{-1}\).