Wait-Freedom with Advice

We motivate and propose a new way of thinking about failure detectors which allows us to define, quite surprisingly, what it means to solve a distributed task \emph{wait-free} \emph{using a failure detector}. In our model, the system is composed of \emph{computation} processes that obtain inputs and are supposed to output in a finite number of steps and \emph{synchronization} processes that are subject to failures and can query a failure detector. We assume that, under the condition that \emph{correct} synchronization processes take sufficiently many steps, they provide the computation processes with enough \emph{advice} to solve the given task wait-free: every computation process outputs in a finite number of its own steps, regardless of the behavior of other computation processes. Every task can thus be characterized by the \emph{weakest} failure detector that allows for solving it, and we show that every such failure detector captures a form of set agreement. We then obtain a complete classification of tasks, including ones that evaded comprehensible characterization so far, such as renaming or weak symmetry breaking

What does the so-called False Belief Task actually check?

There is currently a theoretical tension between young children’s failure in False Belief Tasks (FBTs) and their success in a variety of other tasks that also seem to require the ability to ascribe false beliefs to agents. We try to explain this tension by the hypothesis that in the FBT, children think they are asked what the agent should do in the circumstances and not what the agent will do. We explain why this hypothesis is plausible. We examined the hypothesis in two experiments, each involving a new task. In the first task, the hypothesised misunderstanding of the question leads to failure without the need to ascribe a false belief, and we show that failure in this new task is correlated with failure in the FBT. In the second task, passing which requires ascribing a false belief to an agent, and for which we have partial yet encouraging results, the children are asked a question which is unlikely to be misunderstood. Children pass this task much more often than they do a standard FBT. The mentioned tension is thus resolved. We conclude that the so-called False Belief Task probably does not check the ability to ascribe false beliefs but rather linguistic development

Dynamic confidence during simulated clinical tasks

Objective: Doctors' confidence in their actions is important for clinical performance. While static confidence has been widely studied, no study has examined how confidence changes dynamically during clinical tasks. Method: The confidence of novice (n = 10) and experienced (n = 10) trainee anaesthetists was measured during two simulated anaesthetic crises, bradycardia (easy task) and failure to ventilate (difficult task). Results: As expected, confidence was high in the novice and experienced groups in the easy task. What was surprising, however, was that confidence during the difficult task decreased for both groups, despite appropriate performance. Conclusions: Given that confidence affects performance, it is alarming that doctors who may be acting unsupervised should lose dynamic confidence so quickly. Training is needed to ensure that confidence does not decrease inappropriately during a correctly performed procedure. Whether time on task interacts with incorrect performance to produce further deficits in confidence should now be investigated

Thermal barrier coating life prediction model development

This report describes work performed to determine the predominat modes of degradation of a plasma sprayed thermal barrier coating system and to develop and verify life prediction models accounting for these degradation modes. The primary TBC system consisted of a low pressure plasma sprayed NiCrAlY bond coat, an air plasma sprayed ZrO2-Y2O3 top coat, and a Rene' 80 substrate. The work was divided into 3 technical tasks. The primary failure mode to be addressed was loss of the zirconia layer through spalling. Experiments showed that oxidation of the bond coat is a significant contributor to coating failure. It was evident from the test results that the species of oxide scale initially formed on the bond coat plays a role in coating degradation and failure. It was also shown that elevated temperature creep of the bond coat plays a role in coating failure. An empirical model was developed for predicting the test life of specimens with selected coating, specimen, and test condition variations. In the second task, a coating life prediction model was developed based on the data from Task 1 experiments, results from thermomechanical experiments performed as part of Task 2, and finite element analyses of the TBC system during thermal cycles. The third and final task attempted to verify the validity of the model developed in Task 2. This was done by using the model to predict the test lives of several coating variations and specimen geometries, then comparing these predicted lives to experimentally determined test lives. It was found that the model correctly predicts trends, but that additional refinement is needed to accurately predict coating life

Sex Differences with Aging in the Fatigability of Dynamic Contractions

This study determined the sex difference with aging in fatigability of the elbow flexor muscles during a dynamic fatiguing task, and explored the associated mechanisms. We compared fatigability of the elbow flexor muscles in 18 young (20.2 ± 1 years: 9 men) and 36 old adults (73.5 ± 1 years: 16 men) during and in recovery from repeated dynamic contractions (~ 60°/s) with a load equivalent to 20% of maximal voluntary isometric contraction (MVIC) torque until failure. Transcranial magnetic stimulation (TMS) was used to assess supraspinal fatigue (an increase in the superimposed twitch, SIT) and the peak rate of muscle relaxation. Time to failure was briefer for the men than the women (6.1 ± 2.1 vs. 9.7 ± 5.5 min, respectively; P = 0.02) with no difference between young and old adults (7.2 ± 2.9 vs. 8.4 ± 5.2 min, respectively, P = 0.45) and no interaction (P \u3e 0.05). The relative decline in peak relaxation rate with fatigability was similar for young and old adults (P = 0.11), but greater for men than women (P = 0.046). Supraspinal fatigue increased for all groups and was associated with the time to failure (P \u3c 0.05). Regression analysis however, indicated that the time to failure was best predicted by the peak relaxation rate (baseline values and slowing with fatigability) (r2 = 0.55). Rate-limiting contractile mechanisms (e.g. excitation–contraction coupling) were responsible for the increased fatigability of the elbow flexors of men compared with women for a dynamic fatiguing task of slow angular velocity, and this sex difference was maintained with aging. The age difference in fatigability for the dynamic task was diminished for both sexes relative to what is typically observed with isometric fatiguing contractions

The implementation and use of Ada on distributed systems with reliability requirements

The issues involved in the use of the programming language Ada on distributed systems are discussed. The effects of Ada programs on hardware failures such as loss of a processor are emphasized. It is shown that many Ada language elements are not well suited to this environment. Processor failure can easily lead to difficulties on those processors which remain. As an example, the calling task in a rendezvous may be suspended forever if the processor executing the serving task fails. A mechanism for detecting failure is proposed and changes to the Ada run time support system are suggested which avoid most of the difficulties. Ada program structures are defined which allow programs to reconfigure and continue to provide service following processor failure

POPCORN: a Supervisory Control Simulation for Workload and Performance Research

A multi-task simulation of a semi-automatic supervisory control system was developed to provide an environment in which training, operator strategy development, failure detection and resolution, levels of automation, and operator workload can be investigated. The goal was to develop a well-defined, but realistically complex, task that would lend itself to model-based analysis. The name of the task (POPCORN) reflects the visual display that depicts different task elements milling around waiting to be released and pop out to be performed. The operator's task was to complete each of 100 task elements that ere represented by different symbols, by selecting a target task and entering the desired a command. The simulated automatic system then completed the selected function automatically. Highly significant differences in performance, strategy, and rated workload were found as a function of all experimental manipulations (except reward/penalty)

What makes a 'good group'? Exploring the characteristics and performance of undergraduate student groups

Group work forms the foundation for much of student learning within higher education, and has many educational, social and professional benefits. This study aimed to explore the determinants of success or failure for undergraduate student teams and to define a ‘good group’ through considering three aspects of group success: the task, the individuals, and the team. We employed a mixed methodology, combining demographic data with qualitative observations and task and peer evaluation scores. We determined associations between group dynamic and behaviour, demographic composition, member personalities and attitudes towards one another, and task success. We also employed a cluster analysis to create a model outlining the attributes of a good small group learning team in veterinary education. This model highlights that student groups differ in measures of their effectiveness as teams, independent of their task performance. On the basis of this, we suggest that groups who achieve high marks in tasks cannot be assumed to have acquired team working skills, and therefore if these are important as a learning outcome, they must be assessed directly alongside the task output