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.     

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

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

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

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

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

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

一种新型彩色三维光学成像系统

提出一种新型三维彩色光学数字成像系统。此系统利用投影结构光对现实世界中的物体进行数字化，同时得到对应的彩色纹理。详细介绍了系统的硬件设计和软件体系结构设计，得到物体彩色纹理的两种不同方法；直接获取和从编码条纹中提取，给出了用该系统得到的实验结果并简单评价了系统的性能。此系统在反求工程、影视制作、三维游戏制作、医学应用等方面有远大的应用前景。     

颜色视觉匹配中明度阈值的评价

为了对颜色视觉匹配中的明度阈值特性进行评价,采用在阴极射线管显示器上获得的颜色刺激,在5个不同明度的中性色背景下,标准刺激的明度L*从5到95以5个CIELAB单位为变化步长,共对19个不同明度的中性标准颜色进行视觉匹配实验。通过对实验结果的处理和分析,验证了关于颜色刺激视觉辨别明度阈值与背景明度之间相关性的韦伯法则和crispening效应,同时利用颜色视觉匹配数据对基于CIELAB的相关色差公式进行了评价和比较,CIEDE2000具有最好的明度差预测性能,CMC次之,CIELAB和CIE94最差。     

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.     

Effects of diamines and their fluorinated groups on the color lightness and preparation of organosoluble aromatic polyimides from 2,2‐bis[4‐(4‐amino‐2‐trifluoromethylphenoxy)phenyl]‐hexafluoropropane

To investigate the position and amount of the CF₃ group affecting the coloration of polyimides (PIs), we prepared 2,2‐bis[4‐(4‐amino‐2‐trifluoromethylphenoxy)phenyl]hexafluoropropane ( 2 ) with four CF₃ groups with 2‐chloro‐5‐nitrobenzotrifluoride and 2,2‐bis(4‐hydroxyphenol)hexafluoropropane. A series of soluble and light‐colored fluorinated PIs ( 5 ) were synthesized from 2 and various aromatic dianhydrides ( 3a – 3f ). 5a – 5f had inherent viscosities ranging from 0.80 to 1.19 dL/g and were soluble in amide polar solvents and even in less polar solvents. The glass‐transition temperatures of 5 were 221–265 °C, and the 10% weight‐loss temperatures were above 493 °C. Their films had cutoff wavelengths between 343 and 390 nm, b* values (a yellowness index) ranging from 5 to 41, dielectric constants of 2.68–3.01 (1 MHz), and moisture absorptions of 0.03–0.29 wt %. In a comparison of the PI series 6 – 8 based on 2,2‐bis[4‐(4‐aminophenoxy)phenyl]hexafluoropropane, 2,2‐bis[4‐(4‐amino‐2‐trifluoromethylphenoxy)phenyl]propane, and 2,2‐bis[4‐(4‐aminophenoxy)phenyl]propane, we found that the CF₃ group close to the imide group was more effective in lowering the color; this means that CF₃ of 5 , 7 , and 8f was more effective than that of 6c . The color intensity of the four PI series was lowered in the following order: 5 > 7 > 6 > 8 . The PI 5f , synthesized from diamine 2 and 4,4′‐hexafluoroisopropylidenediphthalic anhydride, had six CF₃ groups in a repeated segment, so it exhibited the lightest color among the four series. © 2003 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 41: 922–938, 2003     

γ-辐照对纯Y_2SiO_5和Eu~(3+)∶Y_2SiO_5晶体光谱性能的影响

研究了γ-辐照前后纯Y2SiO5和Eu3+掺杂的Y2SiO5晶体吸收光谱的变化,辐照后,未退火和氢气退火的纯Y2SiO5晶体在260~270 nm和320 nm波段产生了附加吸收峰,分别是由F心和O-心的吸收引起的;经过空气退火的纯YSO晶体中,由于消除了氧空位,因此辐照后没有出现色心吸收峰。在Eu3+∶Y2SiO5晶体中,不但有相同的F心和O-心吸收峰,而且还有Eu2+离子在300 nm和390 nm的吸收峰。随着辐照剂量的增加,色心附加吸收峰增强。空气退火能减少Eu3+∶Y2SiO5晶体中的色心,而氢气退火能增加色心。