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.     

Sobolev Stability of Plane Wave Solutions to the Nonlinear Schrödinger Equation

This article explores the questions of long time orbital stability in high order Sobolev norms of plane wave solutions to the NLSE in the defocusing case.     

Fluoroalkyl Radical Generation by Homolytic Bond Dissociation in Pentacarbonylmanganese Derivatives

Thermal decarbonylation of the acyl compounds [Mn(CO)₅(COR_F)] (R_F=CF₃, CHF₂, CH₂CF₃, CF₂CH₃) yielded the corresponding alkyl derivatives [Mn(CO)₅(R_F)], some of which have not been previously reported. The compounds were fully characterized by analytical and spectroscopic methods and by several single-crystal X-ray diffraction studies. The solution-phase IR characterization in the CO stretching region, with the assistance of DFT calculations, has allowed the assignment of several weak bands to vibrations of the [Mn(¹²CO)₄(eq-¹³CO)(R_F)] and [Mn(¹²CO)₄(ax-¹³CO)(R_F)] isotopomers and a ranking of the R_F donor power in the order CF₃<CHF₂<CH₂CF₃≈CF₂CH₃. The homolytic Mn−R_F bond cleavage in [Mn(CO)₅(R_F)] at various temperatures under saturation conditions with trapping of the generated R_F radicals by excess tris(trimethylsilyl)silane yielded activation parameters ΔH^≠ and ΔS^≠ that are believed to represent close estimates of the homolytic bond dissociation thermodynamic parameters. These values are in close agreement with those calculated in a recent DFT study (J. Organomet. Chem. 2018 , 864, 12–18). The ability of these complexes to undergo homolytic Mn−R_F bond cleavage was further demonstrated by the observation that [Mn(CO)₅(CF₃)] (the compound with the strongest Mn−R_F bond) initiated the radical polymerization of vinylidene fluoride (CH₂=CF₂) to produce poly(vinylidene fluoride) in good yields by either thermal (100 °C) or photochemical (UV or visible light) activation.     

Theory of chemical bonds in metalloenzymes XXII: a concerted bond-switching mechanism for the oxygen–oxygen bond formation coupled with one electron transfer for water oxidation in the oxygen-evolving complex of photosystem II

ABSTRACT

QM(UB3LYP)/MM(AMBER) calculations were performed for the locations of the transition structure (TS) of the oxygen–oxygen (O–O) bond formation in the S₄ state of the oxygen-evolving complex (OEC) of photosystem II (PSII). The natural orbital (NO) analysis of the broken-symmetry (BS) solutions was also performed to elucidate the nature of the chemical bonds at TS on the basis of several chemical indices defined by the occupation numbers of NO. The computational results revealed a concerted bond switching (CBS) mechanism for the oxygen–oxygen bond formation coupled with the one-electron transfer (OET) for water oxidation in OEC of PSII. The orbital interaction between the σ-HOMO of the Mn(IV)₄–O₍₅₎ bond and the π*-LUMO of the Mn(V)₁=O₍₆₎ bond plays an important role for the concerted O–O bond formation for water oxidation in the CaMn₄O₆ cluster of OEC of PSII. One electron transfer (OET) from the π-HOMO of the Mn(V)₁=O₍₆₎ bond to the σ*-LUMO of the Mn(IV)₄–O₍₅₎ bond occurs for the formation of electron transfer diradical, where the generated anion radical [Mn(IV)₄–O₍₅₎]^-? part is relaxed to the ?Mn(III)₄?…?O₍₅₎^- structure and the cation radical [O₍₆₎=Mn(V)₁]⁺ ? part is relaxed to the ⁺O₍₆₎–Mn(IV)₁? structure because of the charge-spin separation for the electron-and hole-doped Mn–oxo bonds. Therefore, the local spins are responsible for the one-electron reductions of Mn(IV)₄->Mn(III)₄ and Mn(V)₁->Mn(IV)₁. On the other hand, the O₍₅₎^- and O₍₆₎⁺ sites generated undergo the O–O bond formation in the CaMn₄O₆ cluster. The Ca(II) ion in the cubane- skeleton of the CaMn₄O₆ cluster assists the above orbital interactions by the lowering of the orbital energy levels of π*-LUMO of Mn(V)₁=O₍₆₎ and σ*-LUMO of Mn(IV)₄–O₍₅₎, indicating an important role of its Lewis acidity. Present CBS mechanism for the O–O bond formation coupled with one electron reductions of the high-valent Mn ions is different from the conventional radical coupling (RC) and acid-base (AB) mechanisms for water oxidation in artificial and native photosynthesis systems. The proton-coupled electron transfer (PC-OET) mechanism for the O–O bond formation is also touched in relation to the CBS-OET mechanism.     

基于DIS数字信息化系统对透光物质透光性能的研究

采用DIS数字信息化系统,对不同浓度的蓝墨水溶液在激光光源照射下的透射平均照度及照度分布图像进行实验研究,得到了平均照度值随溶液浓度变化的规律。对不同颜色塑料膜片对白炽灯光源透过照度值及照度分布图像进行实验研究得到及其相关之规律。     

Efficient Collocation Schemes for Singular Boundary Value Problems

We discuss an error estimation procedure for the global error of collocation schemes applied to solve singular boundary value problems with a singularity of the first kind. This a posteriori estimate of the global error was proposed by Stetter in 1978 and is based on the idea of Defect Correction, originally due to Zadunaisky. Here, we present a new, carefully designed modification of this error estimate which not only results in less computational work but also appears to perform satisfactorily for singular problems. We give a full analytical justification for the asymptotical correctness of the error estimate when it is applied to a general nonlinear regular problem. For the singular case, we are presently only able to provide computational evidence for the full convergence order, the related analysis is still work in progress. This global estimate is the basis for a grid selection routine in which the grid is modified with the aim to equidistribute the global error. This procedure yields meshes suitable for an efficient numerical solution. Most importantly, we observe that the grid is refined in a way reflecting only the behavior of the solution and remains unaffected by the unsmooth direction field close to the singular point.     

A rational approximation and its applications to nonlinear partial differential equations on the whole line

An orthogonal system of rational functions is discussed. Some inverse inequalities, imbedding inequalities and approximation results are obtained. Two model problems are considered. The stabilities and convergences of proposed rational spectral schemes and rational pseudospectral schemes are proved. The techniques used in this paper are also applicable to other problems on the whole line. Numerical results show the efficiency of this approach.     

相对论性无自旋粒子在Hartmann势场中运动的精确解

在标量势等于矢量势的条件下,本文获得了具有Hartmann型势的Klein-Gordon方程的精确解.给出了束缚态的精确的能谱方程和归一化的径向波函数,对于散射态,获得了按“k/2π标度”归一化的径向波函数和相移的解析计算公式.讨论了散射振幅的解析性质和波函数、能谱方程以及相移的非相对论近似.