Integer polyhedra for program analysis

Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from imprecision when it is necessary to take into account the integrality of the represented space. Imprecision also arises when non-linear constraints occur. Moreover, in terms of tractability, even a space defined by linear constraints can become unmanageable owing to the excessive number of inequalities. Thus it is useful to identify those inequalities whose omission has least impact on the represented space. This paper shows how these issues can be addressed in a novel way by growing the integer hull of the space and approximating the number of integral points within a bounded polyhedron

Dealing with a traumatic past: the victim hearings of the South African truth and reconciliation commission and their reconciliation discourse

In the final years of the twentieth and the beginning of the twenty-first century, there has been a worldwide tendency to approach conflict resolution from a restorative rather than from a retributive perspective. The South African Truth and Reconciliation Commission (TRC), with its principle of 'amnesty for truth' was a turning point. Based on my discursive research of the TRC victim hearings, I would argue that it was on a discursive level in particular that the Truth Commission has exerted/is still exerting a long-lasting impact on South African society. In this article, three of these features will be highlighted and illustrated: firstly, the TRC provided a discursive forum for thousands of ordinary citizens. Secondly, by means of testimonies from apartheid victims and perpetrators, the TRC composed an officially recognised archive of the apartheid past. Thirdly, the reconciliation discourse created at the TRC victim hearings formed a template for talking about a traumatic past, and it opened up the debate on reconciliation. By discussing these three features and their social impact, it will become clear that the way in which the apartheid past was remembered at the victim hearings seemed to have been determined, not so much by political concerns, but mainly by social needs

First analysis of the updated ITPA global H-mode confinement database

C

Latest developments in data analysis tools for disruption prediction and for the exploration of multimachine operational spaces.

In the last years significant efforts have been devoted to the development of advanced data analysis tools to both predict the occurrence of disruptions and to investigate the operational spaces of devices, with the long term goal of advancing the understanding of the physics of these events and to prepare for ITER. On JET the latest generation of the disruption predictor called APODIS has been deployed in the real time network during the last campaigns with the new metallic wall. Even if it was trained only with discharges with the carbon wall, it has reached very good performance, with both missed alarms and false alarms in the order of a few percent (and strategies to improve the performance have already been identified). Since for the optimisation of the mitigation measures, predicting also the type of disruption is considered to be also very important, a new clustering method, based on the geodesic distance on a probabilistic manifold, has been developed. This technique allows automatic classification of an incoming disruption with a success rate of better than 85%. Various other manifold learning tools, particularly Principal Component Analysis and Self Organised Maps, are also producing very interesting results in the comparative analysis of JET and ASDEX Upgrade (AUG) operational spaces, on the route to developing predictors capable of extrapolating from one device to another

Modelling of the effect of ELMs on fuel retention at the bulk W divertor of JET

Effect of ELMs on fuel retention at the bulk W target of JET ITER-Like Wall was studied with multi-scale calculations. Plasma input parameters were taken from ELMy H-mode plasma experiment. The energetic intra-ELM fuel particles get implanted and create near-surface defects up to depths of few tens of nm, which act as the main fuel trapping sites during ELMs. Clustering of implantation-induced vacancies were found to take place. The incoming flux of inter-ELM plasma particles increases the different filling levels of trapped fuel in defects. The temperature increase of the W target during the pulse increases the fuel detrapping rate. The inter-ELM fuel particle flux refills the partially emptied trapping sites and fills new sites. This leads to a competing effect on the retention and release rates of the implanted particles. At high temperatures the main retention appeared in larger vacancy clusters due to increased clustering rate