Weakening Cardinality Constraints Creates Harder Satisfiability Benchmarks

For some time, the satisfiability formulae that have been the most difficult to solve for their size have been crafted to be unsatisfiable by the use of cardinality constraints. Recent solvers have introduced explicit checking of such constraints, rendering previously difficult formulae trivial to solve. A family of unsatisfiable formulae is described that is derived from the sgen4 family but cannot be solved using cardinality constraints detection and reasoning alone. These formulae were found to be the most difficult during the SAT2014 competition by a significant margin and include the shortest unsolved benchmark in the competition, sgen6-1200-5-1.cnf.

Design and Flux-Weakening Control of an Interior Permanent Magnet Synchronous Motor for Electric Vehicles

Permanent magnet synchronous motors (PMSMs) provide a competitive technology for EV traction drives owing to their high power density and high efficiency. In this paper, three types of interior PMSMs with different PM arrangements are modeled by the finite element method (FEM). For a given amount of permanent magnet materials, the V-shape interior PMSM is found better than the U-shape and the conventional rotor topologies for EV traction drives. Then the V-shape interior PMSM is further analyzed with the effects of stator slot opening and the permanent magnet pole chamfering on cogging torque and output torque performance. A vector-controlled flux-weakening method is developed and simulated in Matlab to expand the motor speed range for EV drive system. The results show good dynamic and steady-state performance with a capability of expanding speed up to four times of the rated. A prototype of the V-shape interior PMSM is also manufactured and tested to validate the numerical models built by the FEM.

Discourses of equality in post-Agreement Northern Ireland

This article analyses the use of equality as a concept central to the implementation of the 1998 Good Friday Agreement in Northern Ireland. The authors argue that, although equality legislation is succeeding in redressing previous discrimination in society, the discourses that have emerged around it have exacerbated competition and polarization between communities for two main reasons. Firstly, in " selling' the Agreement to their supporters, political elites have appropriated community-specific definitions of the concept, thus reinforcing rather than weakening group differences. Secondly, the practice of equality legislation involves the definitive categorization of individuals as members of particular groups. This article examines these processes and their effects through the analysis of the discourse of nationalist and Unionist Party elites and of individual Catholics and Protestants. This is done in order to capture the dynamics of change in political communication and identification rather than simply describing institutional alterations.

Bismuth embrittlement of copper is an atomic size effect

Embrittlement by the segregation of impurity elements to grain boundaries is one of a small number of phenomena that can lead to metallurgical failure by fast fracture(1). Here we settle a question that has been debated for over a hundred years(2): how can minute traces of bismuth in copper cause this ductile metal to fail in a brittle manner? Three hypotheses for Bi embrittlement of Cu exist: two assign an electronic effect to either a strengthening(3) or weakening(4) of bonds, the third postulates a simple atomic size effect(5). Here we report first principles quantum mechanical calculations that allow us to reject the electronic hypotheses, while supporting a size effect. We show that upon segregation to the grain boundary, the large Bi atoms weaken the interatomic bonding by pushing apart the Cu atoms at the interface. The resolution of the mechanism underlying grain boundary weakening should be relevant for all cases of embrittlement by oversize impurities.

Material effects on stress-induced defect generation in trenched silicon-on-insulator structures

We have investigated the influence of the material properties of the silicon device layer on the generation of defects, and in particular slip dislocations, in trenched and refilled fusion-bonded silicon-on-insulator structures. A strong dependence of the ease of slip generation on the type of dopant species was observed, with the samples falling into three basic categories; heavily boron-doped silicon showed ready slip generation, arsenic and antimony-doped material was fairly resistant to slip, while silicon moderately or lightly doped with phosphorous or boron gave intermediate behavior. The observed behavior appears to be controlled by differences in the dislocation generation mechanism rather than by dislocation mobility. The introduction of an implanted buried layer at the bonding interface was found to result in an increase in slip generation in the silicon, again with a variation according to the dopant species. Here, the greatest slip occurred for both boron and antimony-implanted samples. The weakening of the implanted material may be related to the presence of a band of precipitates observed in the silicon near the bonding interface. (C) 2001 The Electrochemical Society.

High-pressure deformation mechanism in scolecite: A combined computational-experimental study

Pressure-induced structural modifications in scolecite were studied by means of in situ synchrotron X-ray powder diffraction and density functional computations. The experimental cell parameters were refined up to 8.5 GPa. Discontinuities in the slope of the unit-cell parameters vs. pressure dependence were observed; as a consequence, an increase in the slope of the linear pressure-volume dependence is observed at about 6 GPa, suggesting an enhanced compressibility at higher pressures. Weakening and broadening of the diffraction peaks reveals increasing structural disorder with pressure, preventing refinement of the lattice parameters above 8.5 GPa. Diffraction patterns collected during decompression show that the disorder is irreversible. Atomic coordinates within unit cells of different dimensions were determined by means of Car-Parrinello simulations. The discontinuous rise in compressibility at about 6 GPa is reproduced by the computation, allowing us to attribute it to re-organization of the hydrogen bonding network, with the formation of water dimers. Moreover we found that, with increasing pressure, the tetrahedral chains parallel to c rotate along their elongation axis and display an increasing twisting along a direction perpendicular to c. At the same time, we observed the compression of the channels. We discuss the modification of the Ca polyhedra under pressure, and the increase in coordination number (from 4 to 5) of one of the two Al atoms, resulting from the approach of a water molecule. We speculate that this last transformation triggers the irreversible disordering of the system.

Simultaneous histories, path sums, and measurements for noncommuting variables

We analyze von Neumann-like quantum measurements in terms of simultaneous virtual paths constructed for two noncommuting variables. The approach is applied to measurements of operator functions of conjugate variables and to the joint measurements of such variables. The limits of applicability of the restricted phase space path integral are studied. We demonstrate that, for a simple joint measurement, using entangled meter states allows one to manipulate the order in which the measurements are conducted. The effects of '' weakening '' a measurement by choosing unsharp meter states are also discussed.

Combining multiple prioritized knowledge bases by negotiation.

Recently, several belief negotiation models have been introduced to deal with the problem of belief merging. A negotiation model usually consists of two functions: a negotiation function and a weakening function. A negotiation function is defined to choose the weakest sources and these sources will weaken their point of view using a weakening function. However, the currently available belief negotiation models are based on classical logic, which makes them difficult to define weakening functions. In this paper, we define a prioritized belief negotiation model in the framework of possibilistic logic. The priority between formulae provides us with important information to decide which beliefs should be discarded. The problem of merging uncertain information from different sources is then solved by two steps. First, beliefs in the original knowledge bases will be weakened to resolve inconsistencies among them. This step is based on a prioritized belief negotiation model. Second, the knowledge bases obtained by the first step are combined using a conjunctive operator which may have a reinforcement effect in possibilistic logic.

Softened C-H modes of adsorbed methyl and their implications for dehydrogenation: An ab initio study

To investigate the softening of CH vibrational frequencies and their implications for dehydrogenation of adsorbed hydrocarbons, an issue of scientific and technological importance, density functional theory calculations have been performed on the chemisorption and dehydrogenation of CH3 on Cu(111) and Pt(111) surfaces. By comparing these results with those of Ni(111) we find that the CH bonds of the adsorbate, when close enough, interact with metal atoms of the surface. It is this interaction and its associated lengthening and weakening of CH bonds that is the physical origin of mode softening. We rule out the possibility of a relationship between the mere presence of mode softening and dehydrogenation. We do show, however, that there is a clear relationship between the extent to which a surface can induce mode softening and the activation energy to dehydrogenation. In addition, periodic trends concerning the extent of mode softening are reproduced. (C) 2001 American Institute of Physics.

Anatomy and facies association of a drumlin in Co. Down, Northern Ireland, from seismic and electrical resistivity surveys

Seismic refraction and electrical resistivity geophysical techniques were used to reconstruct the internal architecture of a drumlin in Co. Down, Northern Ireland. Geophysical results were both validated and complemented by borehole drilling, ground water flow modelling, and geologic mapping. The geophysical anatomy of the drumlin consists of five successive layers with depth including; topsoil, partially saturated and saturated glacial tills, and weathered and more competent greywacke bedrock. There are numerous, often extensive inclusions of clay, sand, gravel, cobbles, and boulders within the topsoil and the till units. Together geophysical and geotechnical findings imply that the drumlin is part of the subglacial lodgement, melt-out, debris flow, sheet flow facies described by previous authors, and formed by re-sedimentation and streamlining of pre-existing sediments during deglaciation of the Late Devensian ice sheet. Seismic refraction imaging is particularly well suited to delineating layering within the drumlin, and is able to reconstruct depths to interfaces to within ± 0.5 m accuracy. Refraction imaging ascertained that the weathered bedrock layer is continuous and of substantial thickness, so that it acts as a basal aquifer which underdrains the bulk of the drumlin. Electrical resistivity imaging was found to be capable of delineating relative spatial changes in the moisture content of the till units, as well as mapping sedimentary inclusions within the till. The moisture content appeared to be elevated near the margins of the drumlin, which may infer a weakening of the drumlin slopes. Our findings advocate the use of seismic refraction and electrical resistivity methods in future sedimentological and geotechnical studies of internal drumlin architecture and drumlin formation, owing particularly to the superior, 3- D spatial coverage of these methods.

An investigation into the behaviour of concrete containing seawater-neutralised bauxite refinery residues in silage effluent

The farm production of silage as a winter-feed supplement is widespread. However, the bins in which silage is produced are subject to acidic and microbial attacks. Both these types of attack can lead to a weakening and failure of the concretes, especially on the outer lip of the open side of the silage pit. Consequently, the development of an acid-resistant concrete that can extend the life span of silage bins on farms could lead to considerable cost savings for farmers and, hence, can improve farm productivity. This paper reports on test results of an investigation into the behaviour of concrete containing seawater-neutralised bauxite refinery residues (Bauxsol™) exposed to sulphuric acid environments in the laboratory and to silage effluents. The concrete manufactured had a fixed water–cement ratio of 0.55 and natural sand was replaced with the Bauxsol™ at 0%, 5%, 10%, 15% and 20% by cement mass. Results indicated that the use of Bauxsol™ as a sand replacement material improved the behaviour of concrete both in sulphuric acid in the laboratory as well as in the silage effluent. Consequently, it is concluded that the Bauxsol™ can be used to replace 10% of natural sand to produce concrete that is resistant to silage effluents, providing an extended service life over conventional concretes used in silage pits.

Security governance in transition: The compartmentalising, crowding out and corralling of policing and security in Northern Ireland

The article suggests that while the report of the Independent Commission on Policing (ICP) provides a police reform blueprint for Northern Ireland and elsewhere, it can also be seen as an attempt to engage more elliptically with contemporary debates in security governance vis-a-vis the increasingly fragmented nature of late-modern policing and the role of the state. A decade into the reform process in Northern Ireland and in spite of the networked approach postulated by the ICP, the public police continue to enjoy a pre-eminent place and little evidence exists of any significant weakening of state steering and rowing of security. The discussion proposes a tentative typology explaining the continued colonization of security spaces by the State using constituent attendant processes of compartmentalizing, crowding out and corralling.

Dinoflagellate cyst-based reconstructions of mid to late Holocene winter sea-surface temperature and productivity from an anoxic fjord in the NE Pacific Ocean

Published contemporary dinoflagellate distributional data from the NE Pacific margin and estuarine environments (n = 136) were re-analyzed using Canonical Correspondence Analysis (CCA) and partial Canonical Correspondence Analysis (pCCA). These analyses illustrated the dominant controls of winter temperature and productivity on the distribution of dinoflagellate cysts in this region. Dinoflagellate cyst-based predictive models for winter temperature and productivity were developed from the contemporary distributional data using the modern analogue technique and applied to subfossil data from two mid to late Holocene (~5500 calendar years before present–present) cores; TUL99B03 and TUL99B11, collected from Effingham Inlet, a 15 km long anoxic fjord located on the southwest coast of Vancouver Island that directly opens to the Pacific Ocean through Barkley Sound. Sedimentation within these basins largely comprises annually deposited laminated couplets, each made up of a winter deposited terrigenous layer and spring to fall deposited diatomaceous layer. The Effingham Inlet dinoflagellate cyst record provides evidence of a mid-Holocene gradual decline in winter SST, ending with the initiation of neoglacial advances in the region by ~3500 cal BP. A reconstructed Late Holocene increase in winter SST was initiated by a weakening of the California Current, which would have resulted in a warmer central gyre and more El Niño-like conditions.