Resolution proof transformation for compression and interpolation

Verification methods based on SAT, SMT, and theorem proving often rely on proofs of unsatisfiability as a powerful tool to extract information in order to reduce the overall effort. For example a proof may be traversed to identify a minimal reason that led to unsatisfiability, for computing abstractions, or for deriving Craig interpolants. In this paper we focus on two important aspects that concern efficient handling of proofs of unsatisfiability: compression and manipulation. First of all, since the proof size can be very large in general (exponential in the size of the input problem), it is indeed beneficial to adopt techniques to compress it for further processing. Secondly, proofs can be manipulated as a flexible preprocessing step in preparation for interpolant computation. Both these techniques are implemented in a framework that makes use of local rewriting rules to transform the proofs. We show that a careful use of the rules, combined with existing algorithms, can result in an effective simplification of the original proofs. We have evaluated several heuristics on a wide range of unsatisfiable problems deriving from SAT and SMT test cases.     

Catalytic hydrogenation of nitrile rubber using palladium and ruthenium complexes

The catalytic hydrogenation of acrylonitrile‐butadiene copolymer (nitrile rubber, NBR) using Pd(OAc)₂ or RuCl₂(PPh₃)₃ catalysts has been investigated in order to produce a totally saturated nitrile rubber. The hydrogenation of NBR is effective with both catalysts and achieved total conversion under the appropriate reaction conditions. In the case of palladium the effects of reaction parameters such as reaction temperature, pressure, time, catalyst concentration, and NBR concentration have been investigated. Even though both ruthenium‐ and palladium‐based catalysts are effective in the production of HNBR, the former requires harsh reaction conditions and has the drawback of gel formation under high conversion, motivating the migration to RuCl₂ (PPh₃)₃ as an alternative catalyst. The degree of hydrogenation was determined by IR and NMR spectroscopy. © 2007 Wiley Periodicals, Inc. J Appl Polym Sci, 2007     

Effects of preparation conditions on the surface modification and performance of polyethersulfone ultrafiltration membranes

The impact that some membrane preparation steps had on ultrafiltration (UF) membrane characteristics and performance was studied. Polyethersulfone (PES) was employed as base polymer, while N‐methyl pyrrolidone (NMP) was used as a solvent, and polyvinylpyrrolidone (PVP) was used as a nonsolvent pore‐forming additive. The manufacturing variables studied were solvent evaporation time and membrane surface modification, using a fluorine‐based copolymer referred to as surface‐modifying macromolecule (SMM). The flat sheet membranes, prepared via phase inversion, were characterized using solute transport data, X‐ray photoelectron spectroscopy (XPS), and contact angle measurements. Membrane performance was evaluated via filtration test protocol that included a 6‐day filtration of concentrated river water. The flux reduction with time was modeled using single and dual mechanisms of fouling. The pore blockage/cake filtration model described better the behavior of the permeation rate along the experiments. Increasing the solvent evaporation time decreased the size of the pores and the permeation rate. However, it did not significantly affect the removal of the organic compounds naturally present in the river water used as feed. XPS and contact angle measurements proved that the short evaporation periods did not allow enough SMM migration to the surface to provoke a significant effect on the membrane performance. © 2006 Wiley Periodicals, Inc. J Appl Polym Sci, 2006     

Optimal Operating Conditions For Lab-Scale Ozonation Reactors

A method for the assessment of the optimal operating conditions for a mechanically stirred gas–liquid reactor is presented. The method exploits both fluid dynamic and chemical information. First, the behavior of the specific stirring power as a function of the stirrer speed allows singling out the dispersion region, in which the most efficient gas–liquid mass transfer is achieved. Inside this region, the analysis of experimental data obtained when considering a chemical system reacting at moderate Hatta numbers (i.e., Ha < about 2) allows determination of the rate constants and the fluid dynamic parameters (i.e., the mass transfer coefficient in the absence of chemical reaction and the characteristic diffusion time).     

Kinetic modeling of pentachlorophenol adsorption from aqueous solution on activated carbon fibers

The adsorption equilibrium data of pentachlorophenol (PCP) onto activated carbon fiber (ACF) in felt form were obtained in a batch adsorber at T = 25 °C and pH 12 and the Langmuir isotherm fitted reasonably well with the experimental data. The rate of adsorption of PCP on ACF was investigated in this work and the experimental concentration decay data were obtained in a differential column batch adsorber. The overall rate of adsorption of PCP was interpreted by a diffusional model that takes into account the external mass transport and intrafiber diffusion. The experimental concentration decay can be described quite well with the diffusional model if the overall rate of adsorption is mainly controlled by intrafiber diffusion and the external mass transport is not important to the overall rate of adsorption. Moreover, intrafiber diffusion was significantly affected by restricted diffusion since the molecular diameter of the PCP was closed to 55% of the average pore diameter. The effect of restricted diffusion was estimated using correlations reported in the literature. The molecules of PCP adsorbed on the surface of the pore also hindered the diffusion of PCP molecules inside the pores.     

Catalyst pore plugging effects on hydrocracking reactions in an Ebullated bed reactor operation

This paper analyzes the deactivation effects of NiMo/Al₂O₃ catalyst during the operation in an Ebullated bed reactor for Heavy residue hydrocracking. The spent catalysts were characterized by chemical analysis, ¹³C NMR, ESM, DRX, and by using thermal programmed oxidation and diffusion studies in a shallow bed micro-reactor. The deactivations were performed in a 5 l continuously stirred tank reactor, while the spent catalysts were tested in a 0.05 l micro-reactor. The study focused on determining the properties of the external layer of the catalyst and on evaluating the internal coke and metal deposition. The results indicated that initial deactivation is mainly due to coke depositions, while its impact on mass transfer reaction control depends on temperature. In long-term deactivation, the metal deposition plays a more important role in blocking the internal micro- and meso-structures and in building up the external layer of the pellets.     

Variability for oil and fatty acid composition in castorbean varieties

Thirty-six castorbean varieties were surveyed for oil and fatty acid composition, in order to determine variability of these seed compounds. A large variability of seed oil percentage was observed, ranging from 39.6 to 59.5%. Concerning the fatty acids, little variability was observed for ricinoleic acid, which was the most abundant in the oil, ranging from 83.65 to 90.00%. The other fatty acids appeared in small concentrations and showed a small range: 0.87 to 2.35, 0.68 to 1.84, 2.96 to 5.64, 3.19 to 5.98, and 0.34 to 0.91%, for palmitic, stearic, oleic, linoleic, and linolenic acid, respectively. Non-significant correlations were observed between fatty acids and seed oil percentage. However, significant correlations were observed among fatty acid concentrations: positive and negative ones. These significant correlations could be associated with the biosynthetic pathways of the fatty acids, which are not fully elucidated. They suggest, however, that selection for a particular fatty acid will tend to increase those positively correlated, and decrease those negative ones. Selection and plant breeding techniques could then be applied to modify the oil content of the castorbean seeds, considering the variability observed. For the fatty acid composition, however, the variability was not large enough to make substantial changes in their concentrations by selection procedures. More varieties should be surveyed to find out if such variability is available.     

Sintering-driven effects on the band gap of (Pb,La)(Ti,Ni)O3 photovoltaic ceramics

In this work, the influence of the sintering temperature on the physical properties of (Pb_0.8La_0.2)(Ti_0.9Ni_0.1)O₃ (PLT-Ni) ceramics is reported. The experimental data revealed that the energy band gap of PLT-Ni ceramics could be tailored from approximately 2.7 to 2.0 eV by changing the sintering temperature from 1100°C to 1250°C. It is demonstrated that the simple substitution of Ti⁴⁺ by Ni²⁺ cations is effective to decrease the intrinsic band gap while increasing the tetragonality factor and the spontaneous polarization. However, the additional red-shift observed in the absorption edge of the PLT-Ni with increasing the sintering temperature was associated with a continuous increase in the oxygen vacancies () amount. It is believed that the impact of the creation of these thermally induced is manifold. The presence of and Ni²⁺ ions generate the Ni²⁺- defect-pairs that promoted both a decrease in the intrinsic band gap and an additional increase of the tetragonality factor, consequently, increasing the spontaneous polarization. The creation of Ni²⁺- defects also changed the local symmetry of Ni²⁺ ions from octahedral to a square pyramid, thus lifting the degeneracy of the Ni²⁺ 3d orbitals. With the increase in the sintering temperature, lower-energy absorbing intraband states were also formed due to an excess of , being responsible for an add-on shoulder in the absorption edge, extending the light absorption curve to longer wavelengths and leading to an additional absorption in “all investigated” spectrum as well.     

Organo-zincate molten salts as immobilising agents for organometallic catalysis

The combination of 1-n-butyl-3-methylimidazolium chloride with ZnCl₂ affords ionic mixtures with different melting point temperatures depending on the zinc molar fraction. RuCl₂(PPh₃)₃ immobilised in the low melting mixture (60°C) promotes the 1-hexene hydrogenation (turnover frequencies up to 44 min^–1) and the recovered solid catalyst phase can be reused several times.