A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.     

Highly dispersed palladium nanoclusters incorporated in amino‐functionalized silica spheres for the selective hydrogenation of succinic acid to γ‐butyrolactone

Highly dispersed palladium nanoclusters incorporated on amino‐functionalized silica sphere surfaces (Pd/SiO₂‐NH₂) were fabricated by a simple one‐pot synthesis utilizing 3‐(2‐aminoethylamino)propyltrimethoxysilane (AAPTS) as coordinating agent. Uniform palladium nanoclusters with an average size of 1.1 nm can be obtained during the co‐condensation of tetraethyl orthosilicate and AAPTS owing to the strong interaction between palladium species and amino groups in AAPTS. The palladium particle size can be controlled by addition of AAPTS and plays a significant role in the catalytic performance. The Pd/SiO₂‐NH₂ catalyst exhibits high catalytic activity for succinic acid hydrogenation with 100% conversion and 94% selectivity towards γ‐butyrolactone using 1,4‐dioxane as solvent at 240°C and 60 bar for 4 h. Moreover, the Pd/SiO₂‐NH₂ catalyst is robust and readily reusable without loss of its catalytic activity. Copyright © 2015 John Wiley & Sons, Ltd.     

Identification of metabolic markers in patients with type 2 Diabetes by Ultrafast gas chromatography coupled to electronic nose. A pilot study

Metabolomics is a potential tool for the discovery of new biomarkers in the early diagnosis of diseases. An ultra-fast gas chromatography system equipped to an electronic nose detector (FGC eNose) was used to identify the metabolomic profile of Volatile Organic Compounds (VOCs) in type 2 diabetes (T2D) urine from Mexican population. A cross-sectional, comparative, and clinical study with translational approach was performed. We recruited twenty T2D patients and twenty-one healthy subjects. Urine samples were taken and analyzed by FGC eNose. Eighty-eight compounds were identified through Kovats's indexes. A natural variation of 30% between the metabolites, expressed by study groups, was observed in Principal Component 1 and 2 with a significant difference (p < 0.001). The model, performed through a Canonical Analysis of Principal coordinated (CAP), allowed a correct classification of 84.6% between healthy and T2D patients, with a 15.4% error. The metabolites 2-propenal, 2-propanol, butane- 2,3-dione and 2-methylpropanal, were increased in patients with T2D, and they were strongly correlated with discrimination between clinically healthy people and T2D patients. This study identified metabolites in urine through FGC eNose that can be used as biomarkers in the identification of T2D patients. However, more studies are needed for its implementation in clinical practice.     

Evaluation of Charged Defect Energy in Two-Dimensional Semiconductors for Nanoelectronics: The WLZ Extrapolation Method

Defects play a central role in controlling the electronic properties of two-dimensional (2D) materials and realizing the industrialization of 2D electronics. However, the evaluation of charged defects in 2D materials within first-principles calculation is very challenging and has triggered a recent development of the WLZ (Wang, Li, Zhang) extrapolation method. This method lays the foundation of the theoretical evaluation of energies of charged defects in 2D materials within the first-principles framework. Herein, the vital role of defects for advancing 2D electronics is discussed, followed by an introduction of the fundamentals of the WLZ extrapolation method. The ionization energies (IEs) obtained by this method for defects in various 2D semiconductors are then reviewed and summarized. Finally, the unique defect physics in 2D dimensions including the dielectric environment effects, defect ionization process, and carrier transport mechanism captured with the WLZ extrapolation method are presented. As an efficient and reasonable evaluation of charged defects in 2D materials for nanoelectronics and other emerging applications, this work can be of benefit to the community.     

Design and development of a two‐dimensional system based on hydrophilic and reversed‐phase liquid chromatography with on‐line sample treatment for the simultaneous separation of excreted xenobiotics and endogenous metabolites in urine

In the present work we describe a two‐dimensional liquid chromatographic system (2D‐LC) with detection by mass spectrometry (MS) for the simultaneous separation of endogenous metabolites of clinical interest and excreted xenobiotics deriving from exposure to toxic compounds. The 2D‐LC system involves two orthogonal chromatographic modes, hydrophilic interaction liquid chromatography (HILIC) to separate polar endogenous metabolites and reversed‐phase (RP) chromatography to separate excreted xenobiotics of low and intermediate polarity. Additionally, the present proposal has the novelty of incorporating an on‐line sample treatment based on the use of restricted access materials (RAMs), which permits the direct injection of urine samples into the system. The work is focused on the instrumental coupling, studying all possible options and attempting to circumvent the problems of solvent incompatibility between the RAM device and the two chromatographic columns, HILIC and RP. The instrumental configuration developed, RAM‐HILIC‐RPLC‐MS/MS, allows the simultaneous assessment of urinary metabolites of clinical interest and excreted compounds derived from exposure to toxic agents with minimal sample manipulation. Thus, it may be of interest in areas such as occupational and environmental toxicology in order to explore the possible relationship between the two types of compounds. Copyright © 2015 John Wiley & Sons, Ltd.     

Microstructural stability and age-hardening behavior of Re-added dual two-phase Ni3Al and Ni3V intermetallic alloys

The effect of Re addition on the microstructure and hardening behaviour of the dual two-phase Ni₃Al (L1₂) and Ni₃V (D0₂₂) intermetallic alloy was investigated by scanning electron microscopy, transmission electron microscopy and Vickers hardness test. The two-phase eutectoid microstructure accompanying the Re-rich precipitates were observed in the channel region of the alloys in which Re substituted for Ni but not in those in which Re substituted for Al and V. The concomitant addition of Nb (or Ta) with Re more stabilized the two-phase eutectoid microstructure and consequently more induced the fine precipitates in the channel region. The annealing at temperatures below the eutectoid temperature was necessary to induce the fine precipitates in the channel region and thereby result in the precipitation hardening. The fine precipitation in the channel region and related hardening was attributed to the alloying feature so that Re is soluble in the A1 (fcc) phase at high temperatures and becomes less soluble in the two intermetallic phases decomposed from the A1 phase at low temperatures.     

Spectral estimates for saddle point matrices arising in weak constraint four‐dimensional variational data assimilation

We consider the large sparse symmetric linear systems of equations that arise in the solution of weak constraint four‐dimensional variational data assimilation, a method of high interest for numerical weather prediction. These systems can be written as saddle point systems with a 3 × 3 block structure but block eliminations can be performed to reduce them to saddle point systems with a 2 × 2 block structure, or further to symmetric positive definite systems. In this article, we analyse how sensitive the spectra of these matrices are to the number of observations of the underlying dynamical system. We also obtain bounds on the eigenvalues of the matrices. Numerical experiments are used to confirm the theoretical analysis and bounds.