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.     

Recent advances and challenges in the recovery and purification of cellular exosomes

Exosomes are nanovesicles secreted by most cellular types that carry important biochemical compounds throughout the body with different purposes, playing a preponderant role in cellular communication. Because of their structure, physicochemical properties and stability, recent studies are focusing in their use as nanocarriers for different therapeutic compounds for the treatment of different diseases ranging from cancer to Parkinson's disease. However, current bioseparation protocols and methodologies are selected based on the final exosome application or intended use and present both advantages and disadvantages when compared among them. In this context, this review aims to present the most important technologies available for exosome isolation while discussing their advantages and disadvantages and the possibilities of being combined with other strategies. This is critical since the development of novel exosome‐based therapeutic strategies will be constrained to the effectiveness and yield of the selected downstream purification methodologies for which a thorough understanding of the available technological resources is needed.     

Quantitative Analysis of Al in Flour Products by Laser-Induced Breakdown Spectroscopy Combined with Partial Least Squares

Journal of Applied Spectroscopy - Based on partial least squares (PLS) analysis, the effects of different smoothing points and different preprocessing methods on the accuracy and precision of the...     

Editorial to the Special Issue: Adsorption,Absorption and Thermochemical Transport Processes in Complex Porous Structures

Transport in Porous Media - The theme of coupling problems for adsorption, absorption and thermochemical transport in porous media is very important for engineering applications. Based on the...     

Mixed Problem for Systems of Hyperbolic Equations with Nonlinear Boundary Dissipation and a Nonlinear Source of Variable Growth Order

Differential Equations - We study a mixed problem for systems of one-dimensional semilinear hyperbolic equations with variable nonlinearity growth rate and nonlinear boundary conditions. Theorems...     

从废水到新能源:光催化燃料电池的优化与应用

随着经济的飞速发展,社会对能源的需求日益扩大,对工业废水的无害化处理也提出了更高的要求。光催化燃料电池 (photocatalytic fuel cell, PFC) 在燃料电池中引入半导体光催化材料作为电极,实现了有机污染物高效降解和同步对外产电的双重功能,在废水无害化与资源化利用方面具有潜在的应用价值。半导体光催化电极是PFC系统高效运行的核心组件,增强其可见光响应和光生载流子分离是提高PFC性能的关键策略。反应器结构设计和运行参数优化也有利于改善PFC性能。本文从PFC基本原理和应用入手,综述了PFC在环境污染物资源化处理中的研究进展,并详细阐述了提高PFC的污染控制性能和产电效率的优化手段,为进一步设计高效稳定的PFC系统并实现其在水污染控制和清洁能源生产中的应用提供理论指导。     

A Biosilification Fusion Protein for a ‘Self‐immobilising’ Sarcosine Oxidase Amperometric Enzyme Biosensor

Monomeric sarcosine oxidase (mSOx) fusion with the silaffin peptide, R5, designed previously for easy protein production in low resource areas, was used in a biosilification process to form an enzyme layer electrode biosensor. mSOx is a low activity enzyme (10–20 U/mg) requiring high amounts of enzyme to obtain an amperometric biosensor signal, in the clinically useful range <1 mM sarcosine, especially since the K_m is >10 mM. An amperometric biosensor model was fitted to experimental data to investigate dynamic range. mSOx constructs were designed with 6H (6×histidine) and R5 (silaffin) peptide tags and compared with native mSOx. Glutaraldehyde (GA) cross‐linked proteins retained ～5 % activity for mSOx and mSOx‐6H and only 0.5 % for mSOx‐R5. In contrast R5 catalysed biosilification on (3‐mercaptopropyl) trimethoxysilane (MPTMS) and tetramethyl orthosilicate (TMOS) particles created a ‘self‐immobilisation’ matrix retaining 40 % and 76 % activity respectively. The TMOS matrix produced a thick layer (>500 μm) on a glassy carbon electrode with a mediated current due to sarcosine in the clinical range for sarcosinemia (0–1 mM). The mSOx‐R5 fusion protein was also used to catalyse biosilification in the presence of creatinase and creatininase, entrapping all three enzymes. A mediated GC enzyme linked current was obtained with dynamic range available for creatinine determination of 0.1–2 mM for an enzyme layer ～800 nm.     

Optimized spacer layer thickness for plasmonic-induced enhancement of photocurrent in a-Si:H

Journal of Nanoparticle Research - Plasmonic interfaces consisting of silver nanoparticles of different sizes (50–100&;nbsp;nm) have been processed by the self-assembled dewetting...     

Formation and pharmacological activity of silicon—chitosan-containing glycerohydrogels obtained by biomimetic mineralization

The biomimetic sol—gel synthesis of silicon—chitosan-containing glycerohydrogels was carried out using silicon tetraglycerolate as a precursor. It was found that chitosan accelerates gel formation in weakly acidic media. In more acidic media, the kinetics of the process changes according to the curve with a maximum, which can be attributed to different mechanisms of silanol condensation before and after the isoelectric point. The investigated silicon—chitosan-containing glycerohydrogels exhibit antibacterial, anti-inflammatory, and wound healing activity. The synthesized hybrid glycerohydrogels are promising materials for biomedical applications.     

Separation and analysis of triazine herbcide residues by capillary electrophoresis

Triazines are widely used in agriculture around the world as selective pre‐ and post‐emergence herbicides for the control of broad leaf and grassy weeds. With high toxicity and persistence, triazines can contaminate the environment and crops, so the development of rapid and sensitive methods for the determination of different triazines is necessary. Capillary electrophoresis comprises a group of techniques used to separate chemical mixtures. Analytical separation is based on different electrophoretic mobilities. This review focuses on the analysis of triazine herbicides with different modes of capillary electrophoresis, including capillary zone electrophoresis, micellar electrokinetic capillary electrophoresis, capillary electrochromatography and nonaqueous capillary electrophoresis. Determinations of triazines in various matrices such as surface water, groundwater, vegetables, soil and grains are emphasized. Copyright © 2014 John Wiley & Sons, Ltd.