The Fractal Dimension of SAT Formulas

Modern SAT solvers have experienced a remarkable progress on solving industrial instances. Most of the techniques have been developed after an intensive experimental testing process. Recently, there have been some attempts to analyze the structure of these formulas in terms of complex networks, with the long-term aim of explaining the success of these SAT solving techniques, and possibly improving them. We study the fractal dimension of SAT formulas, and show that most industrial families of formulas are self-similar, with a small fractal dimension. We also show that this dimension is not affected by the addition of learnt clauses. We explore how the dimension of a formula, together with other graph properties can be used to characterize SAT instances. Finally, we give empirical evidence that these graph properties can be used in state-of-the-art portfolios.Comment: 20 pages, 11 Postscript figure

How 'universal' is the United Nations' Universal Periodic Review process? An examination of the discussions held on polygamy

In 2006, United Nations Human Rights Council was tasked to establish a new human rights monitoring mechanism: Universal Periodic Review process. The primary aim of this process is to promote and protect the universality of all human rights issues and concerns via a dialogical peer review process. The aim of this investigation isto ask the following question: has this claim of promoting and protecting the universality of the human rights been met, or challenged, during state reviews in the UPR process? The issue of polygamy has been selected as the focus for this investigation to be used, primarily, as a tool to undertake an in-depth analysis of the discussions held during state reviews in the review process. In addition, this paper will employ scholarly debates between universalism and cultural relativism, as well as the sophisticated and nuanced approaches that fall in between the polarised opposites, to analyse the discussions held on human rights during state reviews. Ultimately, the findings and discussion of this investigation will provide a unique and valuable insight to the work and operation of the UPR process, so far

Shattered pellet injection experiments at JET in support of the ITER disruption mitigation system design

A series of experiments have been executed at JET to assess the efficacy of the newly installed shattered pellet injection (SPI) system in mitigating the effects of disruptions. Issues, important for the ITER disruption mitigation system, such as thermal load mitigation, avoidance of runaway electron (RE) formation, radiation asymmetries during thermal quench mitigation, electromagnetic load control and RE energy dissipation have been addressed over a large parameter range. The efficiency of the mitigation has been examined for the various SPI injection strategies. The paper summarises the results from these JET SPI experiments and discusses their implications for the ITER disruption mitigation scheme

The role of ETG modes in JET-ILW pedestals with varying levels of power and fuelling

We present the results of GENE gyrokinetic calculations based on a series of JET-ITER-like-wall (ILW) type I ELMy H-mode discharges operating with similar experimental inputs but at different levels of power and gas fuelling. We show that turbulence due to electron-temperature-gradient (ETGs) modes produces a significant amount of heat flux in four JET-ILW discharges, and, when combined with neoclassical simulations, is able to reproduce the experimental heat flux for the two low gas pulses. The simulations plausibly reproduce the high-gas heat fluxes as well, although power balance analysis is complicated by short ELM cycles. By independently varying the normalised temperature gradients (omega(T)(e)) and normalised density gradients (omega(ne )) around their experimental values, we demonstrate that it is the ratio of these two quantities eta(e) = omega(Te)/omega(ne) that determines the location of the peak in the ETG growth rate and heat flux spectra. The heat flux increases rapidly as eta(e) increases above the experimental point, suggesting that ETGs limit the temperature gradient in these pulses. When quantities are normalised using the minor radius, only increases in omega(Te) produce appreciable increases in the ETG growth rates, as well as the largest increases in turbulent heat flux which follow scalings similar to that of critical balance theory. However, when the heat flux is normalised to the electron gyro-Bohm heat flux using the temperature gradient scale length L-Te, it follows a linear trend in correspondence with previous work by different authors

New H-mode regimes with small ELMs and high thermal confinement in the Joint European Torus

New H-mode regimes with high confinement, low core impurity accumulation, and small edge-localized mode perturbations have been obtained in magnetically confined plasmas at the Joint European Torus tokamak. Such regimes are achieved by means of optimized particle fueling conditions at high input power, current, and magnetic field, which lead to a self-organized state with a strong increase in rotation and ion temperature and a decrease in the edge density. An interplay between core and edge plasma regions leads to reduced turbulence levels and outward impurity convection. These results pave the way to an attractive alternative to the standard plasmas considered for fusion energy generation in a tokamak with a metallic wall environment such as the ones expected in ITER.& nbsp;Published under an exclusive license by AIP Publishing

Spectroscopic camera analysis of the roles of molecularly assisted reaction chains during detachment in JET L-mode plasmas

The roles of the molecularly assisted ionization (MAI), recombination (MAR) and dissociation (MAD) reaction chains with respect to the purely atomic ionization and recombination processes were studied experimentally during detachment in low-confinement mode (L-mode) plasmas in JET with the help of experimentally inferred divertor plasma and neutral conditions, extracted previously from filtered camera observations of deuterium Balmer emission, and the reaction coefficients provided by the ADAS, AMJUEL and H2VIBR atomic and molecular databases. The direct contribution of MAI and MAR in the outer divertor particle balance was found to be inferior to the electron-atom ionization (EAI) and electron-ion recombination (EIR). Near the outer strike point, a strong atom source due to the D+2-driven MAD was, however, observed to correlate with the onset of detachment at outer strike point temperatures of Te,osp = 0.9-2.0 eV via increased plasma-neutral interactions before the increasing dominance of EIR at Te,osp < 0.9 eV, followed by increasing degree of detachment. The analysis was supported by predictions from EDGE2D-EIRENE simulations which were in qualitative agreement with the experimental observations

Peripheral temperature gradient screening of high-Z impurities in optimised 'hybrid' scenario H-mode plasmas in JET-ILW

Screening of high-Z (W) impurities from the confined plasma by the temperature gradient at the plasma periphery of fusion-grade H-mode plasmas has been demonstrated in the JET-ILW (ITER-like wall) tokamak. Through careful optimisation of the hybrid-scenario, deuterium plasmas with sufficient heating power (greater than or similar to 32 MW), high enough ion temperature gradients at the H-mode pedestal top can be achieved for the collisional, neo-classical convection of the W impurities to be directed outwards, expelling them from the confined plasma. Measurements of the W impurity fluxes between and during edge-localised modes (ELMs) based on fast bolometry measurements show that in such plasmas there is a net efflux (loss) between ELMs but that ELMs often allow some W back into the confined plasma. Provided steady, high-power heating is maintained, this mechanism allows such plasmas to sustain high performance, with an average D-D neutron rate of similar to 3.2 x 10(16) s(-1) over a period of similar to 3 s, after an initial overshoot (equivalent to a D-T fusion power of similar to 9.4 MW), without an uncontrolled rise in W impurity radiation, giving added confidence that impurity screening by the pedestal may also occur in ITER, as has previously been predicted (Dux et al 2017 Nucl. Mater. Energy 12 28-35)