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.     

Time-dependent Ginzburg–Landau equations for multi-gap superconductors

We numerically solve the time-dependent Ginzburg–Landau equations for two-gap superconductors using the finite-element technique. The real-time simulation shows that at low magnetic field, the vortices in small-size samples tend to form clusters or other disorder structures. When the sample size is large, stripes appear in the pattern. These results are in good agreement with the previous experimental observations of the intriguing anomalous vortex pattern, providing a reliable theoretical basis for the future applications of multi-gap superconductors.     

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

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

CPL冷凝单管融化过程的双倒易边界元分析

1引言CPL（毛细泵两相流回路）能传输较高的热负荷，而且不需要循环泵、阀门等运动部件，重量轻可靠性好；在飞行器热控制方面有很好的应用前景[1]。CPL在恶劣的空间环境中运行，需要防止工作介质出现冷冻，为此，我们已经用解析[2]和数值的方法[3]进行了初步的分析，得到了一些可供工程设计参考应用的结果。另外，在恶劣的空间环境中，如果出现冻结，需要融化起动，热管的安全设计需要研究它的融化特性，以确保热管在空间能正常运行。双倒易边界元方法用Laplace基本解[4]，通过对一类偏微分方程两侧进行转化，将它全部转化为纯边界积分…     

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

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

Local and Parallel Finite Element Algorithms for Eigenvalue Problems

Abstract Some new local and parallel finite element algorithms are proposed and analyzed in this paper foreigenvalue problems.With these algorithms, the solution of an eigenvalue problem on a fine grid is reduced tothe solution of an eigenvalue problem on a relatively coarse grid together with solutions of some linear algebraicsystems on fine grid by using some local and parallel procedure.A theoretical tool for analyzing these algorithmsis some local error estimate that is also obtained in this paper for finite element approximations of eigenvectorson general shape-regular grids.     

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

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

Multilevel preconditioners for a quadrature Galerkin solution of a biharmonic problem

Efficient multilevel preconditioners are developed and analyzed for the quadrature finite element Galerkin approximation of the biharmonic Dirichlet problem. The quadrature scheme is formulated using the Bogner–Fox–Schmit rectangular element and the product two‐point Gaussian quadrature. The proposed additive and multiplicative preconditioners are uniformly spectrally equivalent to the operator of the quadrature scheme. The preconditioners are implemented by optimal algorithms, and they are used to accelerate convergence of the preconditioned conjugate gradient method. Numerical results are presented demonstrating efficiency of the preconditioners. © 2005 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 2006     

电感耦合等离子体原子发射光谱法测定中药方剂煎煮液中的微量元素

本文采用HNO3－H2O2对中药方剂煎煮液进行处理，拟定了电感耦合等离子体原子发射光谱法同时测定试样中12个微量元素的方法，选择了仪器的最佳工作条件，考察了基本效应的影响。在选定条件下，12个微量元素的检出限为0．10－5．0ng/g，相对标准偏差为0.10%-9.5%(n=10),加标回收率为85％－103％。该方法简单、快速，已用于大量样品的检测，分析结果满意。