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.     

Rocky coast processes: with special reference to the recession of soft rock cliffs

Substantial progress in research on the recession of coastal cliffs composed of soft materials has been made in recent years and data with higher accuracy have been accumulated. This paper provides the state of the art review in the recession studies and highlights two new findings obtained from the reanalysis of existing data. The review topics are: episodic and localized nature of cliff recession; the development of cliffline; the relationship between cliff height and recession rate; mechanisms of cliff toe erosion by waves; a fundamental equation for wave-induced toe erosion; factors controlling toe erosion; and slope instabilities and mass movements. The findings are presented on (1) the temporal change in cliffline recession mode and (2) the effect of beach sediment at the cliff base on the cliff erosion.     

Holographic sensors for the determination of ionic strength

Holographic sensors for monitoring ionic strength have been fabricated from charged sulphonate and quaternary ammonium monomers, incorporated into thin, polymeric hydrogel films which were transformed into volume holograms. The diffraction wavelength or reflected colour of the holograms was used to characterise their swelling or de-swelling behaviour as a function of ionic strength in various media. The effects of co-monomer structure, buffer composition, ion composition, pH and temperature were evaluated, whilst the reversibility and reproducibility of the sensor was also assessed. An acrylamide-based hologram containing equal molar amounts of negatively and positively charged monomers was shown to be able to quantify ionic strength independent of the identity of the ionic species present in the test solution. The sensor was fully reversible, free of hysteresis and exhibited little response to pH between 3 and 9 and temperature within the range 20-45 °C. The system was successfully used to quantify the ionic strength of milk solutions, which contain a complex mixture of ions and biological components.     

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

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

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

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

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

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

V20+离子1s23d-1s2nf的跃迁能和振子强

用全实加关联方法计算了类锂V20+离子1s23d-1s2nf的跃迁能和偶极振子强度.依据量子亏损理论, 确定了1s2nf系列的量子数亏损,用这些作为能量的缓变函数的量子亏损,实现对该Rydberg系列任意高激发态(n≥10)的能量的可靠预言.将这些分立态振子强度与量子亏损理论相结合,得到在电离域附近束缚态间的偶极跃迁振子强度以及束缚态-连续态跃迁的振子强度密度,从而将V20+离子的这一重要光谱特性的理论预言外推到整个能域.     

Stress-Strain State in the Zone of Load Transfer in a Composite Specimen under Uniaxial Tension

The stress-strain state in the zone of load transfer in a uniaxially stretched specimen made of a unidirectional epoxy carbon-fiber-reinforced plastic (CFRP) is investigated. A parametric analysis of the influence of geometric and mechanical characteristics of the specimen on its stress-strain state is performed by means of finite-element modeling. The parameters allowing us to significantly reduce the dangerous concentration of transverse and tangential stresses are revealed. The mechanical tensile characteristics of a high-strength pultruded unidirectional CFRP are determined experimentally, and the size effect of its strength is estimated.     

Diffusion Structural Analysis Study of Titania Films Deposited by Sol-Gel Technique on Silica Glass

The diffusion structural analysis (DSA) was used to characterize microstructure changes of hydrous titania gel films under in situ conditions of heating. TG and DTA were used in order to elucidate the processes controlling the formation of anatase film during heating of hydrous titania gel film. The annealing of porosity and near surface structure defects of the dehydrated titania films was indicated by DSA in the temperature range 255–700°C as the decrease of radon release rate. It was demonstrated that the annealing was enhanced on heating in oxygen in comparison with heating in argon. The DSA experimental results were compared with model curves describing the radon diffusion mobility and the annealing of radon diffusion paths.