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.     

Analysis of new psychoactive substances in human urine by ultra‐high performance supercritical fluid and liquid chromatography: Validation and comparison

New psychoactive substances represent serious social and health problem as tens of new compounds are detected in Europe annually. They often show structural proximity or even isomerism, which complicates their analysis. Two methods based on ultra high performance supercritical fluid chromatography and ultra high performance liquid chromatography with mass spectrometric detection were validated and compared. A simple dilute‐filter‐and‐shoot protocol utilizing propan‐2‐ol or methanol for supercritical fluid or liquid chromatography, respectively, was proposed to detect and quantify 15 cathinones and phenethylamines in human urine. Both methods offered fast separation (<3 min) and short total analysis time. Precision was well <15% with a few exceptions in liquid chromatography. Limits of detection in urine ranged from 0.01 to 2.3 ng/mL, except for cathinone (5 ng/mL) in supercritical fluid chromatography. Nevertheless, this technique distinguished all analytes including four pairs of isomers, while liquid chromatography was unable to resolve fluoromethcathinone regioisomers. Concerning matrix effects and recoveries, supercritical fluid chromatography produced more uniform results for different compounds and at different concentration levels. This work demonstrates the performance and reliability of supercritical fluid chromatography and corroborates its applicability as an alternative tool for analysis of new psychoactive substances in biological matrixes.     

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

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

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

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

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

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

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.     

Structure and Structural Nonrigidity of Tetrachlorodibenzo-p-Dioxin Radical Cations

Ab initio calculations showed that the tetrachlorodibenzo-para-dioxin radical cations (TCDD RCs) with a planar structure have two steady states with asymmetric dioxin cycles. The activation barriers between these states are up to 2 kcal/mole, so that the RCs may be regarded as being structurally nonrigid within the dioxin cycle. The 2,3,7,8-TCDD RC is more stable than the 1,4,6,9-TCDD RC, the energy difference being 5.2 kcal/mole. The adiabatic ionization potential of 2,3,7,8-TCDD (7.54 eV) is 0.1 eV smaller than the corresponding potential of 1,4,6,9-TCDD. These factors account for the increased hemoproteide affinity and hence increased biological activity of 2,3,7,8-TCDD.     

Influence of radiation on thin ZnS-Tb films

Changes in thin zinc-sulfide films under the action of the γ-radiation of Co⁶⁰ are studied by investigating electroluminescence spectra of terbium embedded in these films as a luminescent probe. It is shown that changes in the relation of the intensities of bands, a decrease in their halfwidth and the background component, and simplification of the spectrum are observed in a short-wave region of the Tb radiation spectrum that corresponds to⁵D₃→⁷F_j transitions. The same modification of the radiation spectrum is characteristic of ZnS films whose crystalline structure is ordered in the course of thermal annealing at a temperature of 350°C. Based on the analysis of the data obtained it is inferred that irradiating the ZnS films with small radiation doses of 10⁴–10⁵ rad leads to the ordering of their crystalline structure due to the elimination of one of the types of structural defects. Institute of Physics of Semiconductors, National Academy of Sciences of Ukraine, 45, Nauka Ave., Kiev-28, 252650. Translated from Zhurnal Prikladnoi Spektroskopii, Vol. 64, No. 3, pp. 338–341, May–June, 1997.     

高压下聚苯胺的结构和电性能研究

 以金刚石压腔高压装置为工具，用Ⅱ型金刚石作压砧兼红外窗口，对本征态聚苯胺进行了高压（0~8.4 GPa）就位红外光谱测试。结果表明：在4.8~5.2 GPa压力区间，代表醌环振动的吸收峰相对代表苯环振动的吸收峰变小，表明聚苯胺在此压力区间结构上发生了显著变化，且这种变化是不可逆的。聚苯胺的高压（0~14.5 GPa）电阻测量结果表明：当压力小于7.5 GPa时，电阻随压力升高而显著降低，据此认为聚苯胺为电子性导电物质；在7.5 GPa处电阻出现极小值，然后又缓慢升高，至10 GPa后基本不变。推测聚苯胺电阻极小值是由结构变化引起的。至于红外光谱与电阻测量结果反映聚苯胺结构变化的压力值不一致，可能是由于测试条件不同所致。