meSAT: multiple encodings of CSP to SAT

One approach for solving Constraint Satisfaction Problems (CSP) (and related Constraint Optimization Problems (COP)) involving integer and Boolean variables is reduction to propositional satisfiability problem (SAT). A number of encodings (e.g., direct, log, support, order) for this purpose exist as well as specific encodings for some constraints that are often encountered (e.g., cardinality constraints, global constraints). However, there is no single encoding that performs well on all classes of problems and there is a need for a system that supports multiple encodings. We present a system that translates specifications of finite linear CSP problems into SAT instances using several well-known encodings, and their combinations. We also present a methodology for selecting a suitable encoding based on simple syntactic features of the input CSP instance. Thorough evaluation has been performed on large publicly available corpora and our encoding selection method improves upon the efficiency of existing encodings and state-of-the-art tools used in comparison.     

A new set distance and its application to shape registration

We propose a new distance measure, called Complement weighted sum of minimal distances, between finite sets in ${\mathbb Z }^n$ and evaluate its usefulness for shape registration and matching. In this set distance the contribution of each point of each set is weighted according to its distance to the complement of the set. In this way, outliers and noise contribute less to the new similarity measure. We evaluate the performance of the new set distance for registration of shapes in binary images and compare it to a number of often used set distances found in the literature. The most extensive evaluation uses a set of synthetic 2D images. We also show three examples of real problems: registering a set of 2D images extracted from synchrotron radiation micro-computed tomography (SR $\upmu $ CT) volumes depicting bone implants; the difficult multi-modal registration task of finding the exact location of a 2D slice of a bone implant, as imaged by a light microscope, within a 3D SR $\upmu $ CT volume of the same implant; and finally recognition of handwritten characters. The evaluation shows that our new set distance performs well for all tasks and outperforms the other observed distance measures in most cases. It is therefore useful in many image registration and shape comparison tasks.     

Photocatalytic degradation rate of oxalic acid on the semiconductive layer of n-TiO2 particles in the batch mode plate reactor Part I: Mass transfer limits

Organic compounds dissolved in water can be decomposed on a layer of n-TiO2 particles irradiated by u.v. light, which generates holes and electrons in the TiO2 material. Dissolved oxygen was used as electron scavenger and holes reacted with water to give OH radicals. The rate of degradation of the dissolved organic compounds by OH radicals is limited by the transfer of either oxygen or of theorganic compounds to the surface of n-TiO2 particles. The consequence of these limits is that, in the batch mode reactor with recirculation of the liquid, the dependence of the concentration of an organic compound on time has either a linear or an exponential form. Experiments with decomposition of oxalic acid in aqueous solutions using a plate reactor (60 cm × 120 cm) confirmed the analysis. Equations for evaluation of the mass transfer coefficient of the dissolved species to the surface of the plate reactor with a moving liquid fil m were developed for the case of the thickness of the Nernst diffusion layer being thinner than the thickness of the liquid. The experimentally obtained decomposition rate of oxalic acid was about 60 to 80% of the theoretical decomposition rate limited by oxygen flux through the film of a moving liquid. The present theory neglects the diffusion of oxygen into the porous layer of n-TiO2.     

Activation of Pozzolanic Reaction of Hydrated Portland Cement Fly Ash Pastes in Sulfate Solution

The activation of the pozzolanic reaction of fly ash in portland cement paste immersed in sulfate solution has been studied. Mixtures of two Spanish fly ashes (ASTM class F) with 0%, 15%, and 35% replacement of portland cement by fly ash were immersed in Na₂SO₄ solution, of 2880 ppm SO₄²⁻ concentration, for a period of 90 days. The resistance of the different mixtures to the sulfate attack was evaluated using the Koch-Steinegger test. The results showed that all of the mixtures were sulfate resistant, despite the high Al₂O₃ content of the fly ash. The diffusion of SO₄²⁻ and Na⁺ ions through the pore solution activated the pozzolanic reactivity of the fly ashes, causing microstructural changes, which were characterized by X-ray diffraction (XRD), mercury intrusion porosimetry (MIP), and scanning electron microscopy (SEM). As a result, the flexural strength of the mixtures increased, principally for the fly ash of a lower particle size and 35% of addition.     

Aluminium electrodeposition from AlCl3-NaCl melts on glassy carbon,platinum and gold electrodes

The electrochemical deposition and dissolution of aluminium on glassy carbon, platinum and gold electrodes in chloraluminate melts have been investigated using linear sweep voltammetry and potentiostatic pulse techniques. It was shown that deposition of aluminium on the glassy carbon electrode at low overpotentials takes place by 3-D progressive nucleation and growth, with the incorporation of atoms in the crystal lattice as the rate-determining step. At overpotentials higher than –100 mV vs Al, in the melts containing more than 52 mol % of AlCl₃, diffusion of Al₂Cl ₇ ^– , takes over the control of deposition of aluminium. Alloying of platinum and gold electrodes with aluminium from the melt occurs in the underpotential region.     

Theory of porous electrodes—XI. The positive plate of the lead-acid battery

Partial differential equations describing the transport of mass and electricity in the pores of the positive electrode of a lead acid battery were derived. The theory is based on exact transport equations and on the assumption that the solid porous matrix has a metallic conductivity. Volume changes in both phases are taken into account. Numerical solutions obtained on a computer are presented for the case where the influence of electrolyte between the electrodes can be neglected. The solutions depend on the product of electrode thickness times current density, and on the initial porosity.     

Effects of dowels produced from various materials on withdrawal strength in MDF and Pb

Wood dowels are commonly used in the construction furniture, but little information is available about the additive effects of dowels on the ultimate withdrawal strength of single or multidowel joints. This study was carried out to determine the tensile strength of 10‐mm‐diameter dowels produced from medium‐density fiberboard (MDF), plywood, scotch pine (Pinus sylvestris L.), and beech (Fagus orientalis lipsky), bonded parallel and vertical to the surface of MDF and particleboard (Pb) with poly(vinyl acetate) (PVAc) and Desmodur‐VTKA (D‐VTKA). Tensile strength was applied to the dowels according to the procedure in the ASTM‐D 1037 standard. The effects of dowel species, direction of tensile, composite material, and type of adhesive on tensile strength were determined. The results showed that the highest tensile strength was obtained in beech dowels bonded vertically with PVAc adhesive to the surface of MDF at 7.91 N/mm². If the dowels used in furniture production are subjected to great tensile strength, beech dowels bonded with PVAc adhesive on MDF should be used. However, when dowels produced from MDF and plywood waste are used, they also can produce positive results. © 2003 Wiley Periodicals, Inc. J Appl Polym Sci 88: 531–535, 2003     

Voltammetric and galvanostatic studies of hydrous and anhydrous iridium oxide films

Electrolytically grown hydrous oxide films on iridium wire electrodes have been thermally treated from 473 to 773 K. Anhydrous oxide films formed by this treatment have been subjected to cathodic polarization at the potential of the hydrogen evolution reaction, square-wave pulsing of potential from –0.25 to +1.25 V with respoect to SCE and to anodic galvanostatic polarization in 0.5 mol dm^–3 H₂SO₄. Cathodic pretreatment caused an increase of the voltammetric charge in the oxide formation region while the square-wave pulsing formed a hydrous oxide film whose voltammetric charge was superimposed on the charge of the anhydrous oxide film. Both procedures restored the hydrophilic nature of the electrode/solution interface. Potential-time curves during anodic galvanostatic polarization served as a diagnostic criterion for the stability and the state of the oxide film.     

Preparation and characterization of PVA/OMMT composites

In this study, polyvinyl alcohol/organically modified montmorillonite (HDA/MMT; organoclay) composite was prepared for the intercalation processes. Firstly, the rheological behavior of aqueous montmorillonite dispersions was investigated as a function of solid content. Hexadecylamine (HDA) was added to the montmorillonite dispersion (2%, w/w) in different concentrations in the range of 5 × 10^?4 – 9 × 10^?3 mmol/L. The basal spacing of the organoclay (OMMT) was studied by X‐ray diffraction. The FTIR spectra are obtained from the modified montmorillonite products, which revealed the characteristic absorbencies after treatment with HDA. HDA/MMT/PVA composite, which was produced by the reaction of 1 wt % PVA solution with organoclay complex, is characterized by the rheology, electrokinetic, XRD, FTIR, and SEM techniques. © 2006 Wiley Periodicals, Inc. J Appl Polym Sci 102:2315–2323, 2006     

The influence of pH on reaction pathways for O2 reduction on the Au(100) face

Oxygen reduction on the Au(100) face was studied by the rotating disk-ring electrode technique in solutions of anions which adsorb strongly on gold (HSO₄⁻/SO₄²⁻ and/or OH⁻) over the entire pH range. The specific adsorption of OH⁻ anions, which is a pH dependent process, is found to play the key role in determining the reaction pathways. In the absence of OH⁻ adsorption, for pHs below 6, the reduction of O₂ begins as a 2e-process. Due to the increase in local pH during O₂ reduction, the reaction pathway turns into a 4e-reduction at a certain potential depending on the pH of the solution. For pHs higher than 6, O₂ reduction begins as a 4e-process in the potential region where specifically adsorbed OH⁻ anions are present.