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.     

Pattern universes

In this essay we explore analogies between macroscopic patterns, which result from a sequence of phase transitions/instabilities starting from a homogeneous state, and similar phenomena in cosmology, where a sequence of phase transitions in the early universe is believed to have separated the fundamental forces from each other, and also shaped the structure and distribution of matter in the universe. We discuss three distinct aspects of this analogy: (i) Defects and topological charges in macroscopic patterns are analogous to spins and charges of quarks and leptons; (ii) Defects in generic 3+1 stripe patterns carry an energy density that accounts for phenomena that are currently attributed to dark matter; (iii) Space-time patterns of interacting nonlinear waves display behaviors reminiscent of quantum phenomena including inflation, entanglement and dark energy.     

氢化丁苯共聚物结构的核磁共振波谱表征Ⅱ.微观结构的定量计算

在氢化丁苯共聚物¹³C-NMR谱脂肪碳部分谱带归属的基础上,根据各谱带的主要来源,推导出六个二单元浓度的计算公式。计算出二单元、一单元的相对含量,各结构单元的数均序列长度、嵌段含量和其它结构参数。加氢前后的¹H-和¹³C-NMR谱的组成计算结果基本一致。初步探讨了作为粘度指数改进剂的氢化丁苯共聚物微观结构与性能的关系,为合成提供了依据。     

固体力学有限元体系的结构拓扑变化理论

本文是文[1]的继续.文[1]提出了杆件系统的结构拓扑变化理论和拓扑变化法本文将这一理论和方法推进到连续体有限元体系;且在此基础上揭示出有限元体系的一个新性质,称为基本位移之梯度的正交性定理,从而给出一套设计敏度的显式表达式,可直接用于计算.     

Dielectric and optical properties of polymer-liquid crystal composite

Dielectric properties of polymer-liquid crystal mixture, having constituent polymer, poly-butyl methacrylate (PBMA) and liquid crystal, cholesteryl nonanoate, are reported as a function of frequency and temperature. The measurement has been done in a temperature range of 300-375 K and frequency range of 100 Hz-10 MHz. The dielectric permittivity and dielectric loss shows significant changes with the addition of polymer molecules in liquid crystal. The significant feature of composite formation is that the pure liquid crystal and polymer do not show dielectric relaxation in the frequency range covered, while the composite shows relaxation peak at a particular frequency. The optical transmittance of pure liquid crystal and composite has also been measured and compared.     

加肋圆柱壳在轴压作用下的屈曲和后屈曲

本文讨论完善和非完善的,纵向加肋和正交加肋圆柱壳在轴压作用下的屈曲和后屈曲性态.依据文[1]提供的圆柱薄壳屈曲的边界层理论及其分析方法,给出了加肋圆柱壳在轴压作用下的屈曲和后屈曲理论分析.本文同时讨论肋骨与壳板材料不同时对加肋圆柱壳屈曲和后屈曲性态的影响.     

A dynamical test of phase transition order: New things in old places or old wine in new bottles

We first discuss nonlinear aspects of phase transition theory applied to a particular liquid crystal phase transition. A simple derivation is given to show how two coupled Goldstone modes (one appearing as gauge fluctuations of the ordered phase) can force a phase transition, against all expectations, to take place discontinuously (theory of Halperin, Lubensky, and Ma)-but the discontinuity may be immeasurably small. Then, we describe a new dynamical test of phase transition order, developed by Cladiset al., that turns out to be more sensitive than x-ray diffraction and adiabatic calorimetry. Quantitative data found by this new method are in excellent agreement with the measurements of adiabatic calorimetry and x-ray diffraction as well as expectations implicit in the predictions of HLM.This is the text of an after-banquet talk given at the CNLS Workshop on the Dynamics of Concentrated Systems.     

Frequency dependence of ionic conductivity and dielectric relaxation studies in Na3H(SO4)2 single crystal

Electrical impedance measurements of Na₃H(SO₄)₂ were performed as a function of both temperature and frequency. The electrical conductivity and dielectric relaxation have been evaluated. The temperature dependence of electrical conductivity reveals that the sample crystals transformed to the fast ionic state in the high temperature phase. The dynamical disordering of hydrogen and sodium atoms and the orientation of SO₄ tetrahedra results in fast ionic conductivity. In addition to the proton conduction, the possibility of a Na⁺ contribution to the conductivity in the high temperature phase is proposed. The frequency dependence of AC conductivity is proportional to ω^s. The value of the exponent, s, lies between 0.85 and 0.46 in the room temperature phase, whereas it remains almost constant, 0.6, in the high-temperature phase. The dielectric dispersion is examined using the modulus formalism. An Arrhenius-type behavior is observed when the crystal undergoes the structural phase transition.     

Non-universal critical behaviour of heteronuclear dimers on a square lattice––A Monte Carlo study

Monte Carlo simulation within the grand canonical ensemble, the histogram reweighting technique, and finite size scaling analysis are used to explore the phase behaviour of heteronuclear dimers, composed of A and B type atoms, on a square lattice. We have found that for the models with attractive BB and AB nearest-neighbour energy, u_BB=u_AB=−1, and for non-repulsive energy between AA nearest-neighbour sites, u_AA<0, the system belongs to the universality class of the two-dimensional Ising model. However, when u_AA>0, the system exhibits a non-universal critical behaviour. We have evaluated the dependences of the critical point characteristics on the value of u_AA.