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.     

基于电化学老化衰退模型的锂离子动力电池外特性

当前锂离子动力电池电化学模型存在模型复杂、建模难度大、计算效率低、老化评估效果差的问题,本文提出一种考虑电池衰退老化的机理模型(ADME).本文首先通过有限差分法对伪二维(P2D)电化学模型进行离散降阶处理,得到简化伪二维(SP2D)模型.在SP2D模型的基础上,基于阴阳两极发生的副反应导致的衰退老化现象,提出一种考虑电池衰退老化的机理模型.其次,使用多变量偏差补偿最小二乘法实现模型参数辨识.最后通过动力电池衰退老化性能循环实验,对比分析了恒流、脉冲工况下SP2D模型和ADME模型的终端电压输出.结果表明:ADME模型较为简单、计算效率和估算精度高,可以有效评估电池容量老化衰退,得到理想的锂离子动力电池外特性曲线.     

13C NMR investigations of molecular order of rod-like,bent-core,and thiophene mesogens

In this review, methods to obtain the orientational order of topologically variant molecular mesogens using by one- and two-dimensional (2D) solid-state ¹³C nuclear magnetic resonance (NMR) spectroscopy are described. Besides ¹³C chemical shifts, the ¹³C─¹H dipolar couplings measured from 2D-separated local field (SLF) technique are used for computing the order parameters of a variety of mesogens. The investigated molecules are composed of a variable number of rings in the core, that is, core ranging from simply one ring to five rings. Among the mesogens investigated, a special focus has been placed on mesogens with thiophene rings, which are gaining popularity as liquid crystalline organic semiconductors. The replacement of a phenyl ring by thiophene in the core has a dramatic influence on molecular topology, as observed from the measured order parameters. The review highlights the advantages of the 2D SLF method for understanding the local dynamics and for mapping the topology of mesogens through the measured order parameters. SLF NMR studies of as many as 24 molecular mesogens that vary in terms of the molecular structure as well as topology are covered in the review. Order parameters of the rings have been estimated from the ¹³C─¹H dipolar couplings in the nematic, smectic A, smectic C, and tilted hexatic phases as well as in B₁ and B₂ mesophases of various mesogens. It is anticipated that, in the years to come, the 2D SLF method would provide advanced molecular information on structurally complex mesogens that are emerging in liquid crystal science through the incessant efforts of synthetic chemists. The mini review covers the orientational order of topologically variant molecular mesogens determined by 1D and 2D solid-state ¹³C NMR spectroscopy. Accordingly, rod-like, bent-core, and thiophene mesogens were subjected to 2D SLF measurements to get the order parameters from which the topology was established. The replacement of phenyl ring by thiophene and its influence on order parameters as well as on molecular topology is also discussed.     

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

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

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

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

Effect of absorbed pump power on the quality of output beam from monolithic microchip lasers

The dependence of the beam propagation factor (M ² parameter) with the absorbed pump power in the case of monolithic microchip laser under face-cooled configuration is extensively studied. Our investigations show that the M ₂ parameter is related to the absorbed pump power through two parameters (α and β) whose values depend on the laser material properties and laser configuration. We have shown that one parameter arises due to the oscillation of higher order modes in the microchip cavity and the other parameter accounts for the spherical aberration associated with the thermal lens induced by the pump beam. Such dependency of M ² parameter with the absorbed pump power is experimentally verified for a face-cooled monolithic microchip laser based on Nd³⁺ -doped GdVO₄ crystal and the values of α and β parameters were estimated from the experimentally measured data points.     

93W合金有关力学参量的综合选评

 对93W合金材料进行了超声测量实验，并结合原有的超声测量结果进行了分析比较，提出了可以直接用冲击波速度关系式的三个系数c₀ 、λ和λ′来对钨合金的有关力学参量，如G₀、K₀、G₀′、K₀′等进行综合选评的方法。得到了一组对93W合金较为合理的力学参量推荐值。     

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

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

红外热像仪参数的双黑体测量装置

对红外热像仪参数双黑体测量装置的工作原理进行了介绍。装置采用双黑体及反射型靶标为温差辐射源，可实现黑体温度温差准直辐射的定期校准和红外热像仪参数测量量值的溯源，也可实现红外热像仪参数的可控性，以及对它进行稳定的、可复现的精确测量。推导出利用红外热像仪参数双黑体测量装置测量信号传递函数SiTF数学模型，分析了红外热像仪参数测量装置的客观因素——仪器常数，针对仪器常数对SiTF测量的影响进行了试验。试验结果表明，仪器常数对红外热像仪SiTF参数测量精度影响较大，并同时影响时域与空域NETD及3D噪声的准确测量。