Vapour liquid equilibrium with association in both phases: A model with the concentration-dependent liquid phase association constant applied to acetic acid—benzene, -toluene, -p- and -o-xylene

A model employing the correction factors of Marek and Standart, but using a concentration-dependent liquid phase association factor of Jenkins—Robinson, has been used to model vapour—liquid equilibrium data for mixtures of acetic acid with benzene, toluene, o-xylene and p-xylene. With the aim to use systems of acetic acid—benzene and acetic acid—toluene as the test mixtures for distillation columns, the examination of the systems of acetic acid—aromatic hydrocarbons was undertaken. The model promises to be useful in modelling isobaric and isothermal data of acetic acid—benzine, acetic acid—toluene, acetic acid-p-xylene and acetic acid-o-xylene systems. Deviation plots show that the isothermal and isobaric data are represented well.     

Optical and electrochemical study of underpotential deposition of bismuth on gold electrode

The underpotential deposition of Bi on Au has been investigated by specular reflectance spectroscopy and linear sweep voltammetry. The spectral dependance of ΔR/R caused by Bi adatoms has been determined and compared with the calculated spectrum. A satisfactory agreement between experimental and calculated spectra was found. ΔR/R values have been used to determine the surface concentration of Bi_ad which then has been used to calculate the electrosorption valence of Bi_ad. It has been found that γ_Bi = 2.6. The optical evidence of interaction of Bi ions with gold oxide has been obtained.     

An image watermarking based on the pdf modeling and quantization effects in the wavelet domain

An image watermarking technique based on the concept of JPEG2000 algorithm is proposed. Biorthogonal wavelet 9/7 transform is used to provide a set of coefficients suitable for watermark embedding. The statistical properties of different subbands are analyzed in order to choose the number of decomposition levels and position of subbands, which will assure the best compromise between the watermark transparency and robustness. The JPEG2000 quantization is applied to avoid insignificant wavelet coefficients, while the remaining ones are used for watermarking. The optimal and blind watermark detection is based on the nonlinear score function and appropriate model of coefficients distribution. The performance of the proposed procedure is tested on examples with various images, showing robustness under different attacks, while maintaining high image quality.     

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.     

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.     

Corrosion protection of aluminium in acidic chloride solutions with nontoxic inhibitors

Corrosion kinetics of 99.6% aluminium covered by a thin spontaneously formed oxide film in hydrochloric acid solution with and without the presence of substituted N-aryl pyrroles was studied using electrochemical impedance spectroscopy and quasi steady-state polarization. Measurements were performed on a rotating disc electrode in an argon-deaerated solution in the temperature range 20 to 50°C. The addition of inhibitor considerably increases overvoltage of the cathodic process (HER) and shifts Ecorr to negative potential values. The activation energy of the hydrogen evolution reaction was Ea=50±5kJmol–1 and was not affected by the presence of inhibitor. The inhibitory action occurs by -bonding between the adsorbed inhibitor molecules and the electrode surface. The electrode coverage follows the Langmuir adsorption isotherm with an adsorption equilibrium constant K=1.1–2.64×105dm3mol–1. The adsorption of organic compound prevents the adsorption of chloride ions and slow down the rate of corrosion.     

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.     

Mass transfer in aerated fermentation broths in a stirred tank reactor

The volumetric mass transfer coefficients, k_La, measured in a pilot plant (0.1 m³) and an industrial (67.5 m³) fermentor during an actual fermentation process are presented. Problems related to the estimation of the phsyical properties as well as to the correlation of experimental data and to scale up procedures are discussed. Although the scale up factor was rather high, both sets of data could be represented by single correlation. Comparison of the experimental data with several available correlations demonstrated the need for pilot plant experiments and scale up procedures, since it is almost impossible to take into account all relevant system properties.     

Using static suffix array in dynamic application: Case of text compression by longest first substitution

Over the last decade, enhanced suffix arrays (ESA) have replaced suffix trees in many applications. Algorithms based on ESAs require less space, while allowing the same time efficiency as those based on suffix trees. However, this is only true when a suffix structure is used as a static index. Suffix trees can be updated faster than suffix arrays, which is a clear advantage in applications that require dynamic indexing. We show that for some dynamic applications a suffix array and the derived LCP-interval tree can be used in such a way that the actual index updates are not necessary. We demonstrate this in the case of grammar text compression with longest first substitution and provide the source code. The proposed algorithm has O(N²)$O(N^2)$ worst case time complexity but runs in O(N)$O(N)$ time in practice.