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.     

A simple,rapid and sensitive method based on modified multiwalled carbon nanotube for preconcentration and determination of lead ions in aqueous media in natural pHs

In this study, multiwalled carbon nanotube (MWCNT) was modified by the pyridine group using a silane agent and characterized by infrared spectroscopy (IR), thermal analysis (TG/DTA), and elemental analysis (CHN) and scanning electron microscopy (SEM). The application of this sorbent was investigated in determination of lead ions in aqueous samples, using flame atomic absorption spectrometry (FAAS). Through this study, different parameters such as pH and sample flow rate on adsorption process and eluent concentration, volume and flow rate were optimized. The limit of detection (LOD), the relative standard deviation and the recovery of the method were 2 ng mL^?1, 1.3% and 99.7%, respectively. Two standard reference materials (NIST 1571 and NIST 1572) were used to verify accuracy of this method. Finally, the sorbent was successfully applied for extraction and determination of low levels of Pb(II) ions in aqueous samples.     

基于科赫曲线分形结构太赫兹带通滤波器

太赫兹滤波器是太赫兹通信、太赫兹成像和太赫兹检测等太赫兹应用系统中不可或缺的功能器件。按照不同的分类方式,滤波器有不同的种类,常见的按照选频功能可分为高通滤波器、低通滤波器、带阻滤波器和带通滤波器。为了实现在太赫兹波段的滤波效果,世界各地的研究人员利用不同的结构、材料和控制方式实现了功能各异的太赫兹滤波器,但是考虑到设计的器件要应用到太赫兹系统中,成本低廉、结构简单、性能优越的太赫兹滤波器一直是研究人员的追求。分形概念自提出以来在很多研究领域都有了快速发展,但是在太赫兹波段的应用还不是很常见,特别是应用于太赫兹功能器件的设计。引入分形中科赫曲线的概念设计并制备了一种新型的太赫兹带通滤波器,该滤波器是在金属薄膜上刻蚀出科赫曲线分形结构,当太赫兹波垂直入射到该滤波器时候实现了在太赫兹波段的窄带滤波。在滤波器的设计过程中,追求理论与实验相结合,首先在电磁仿真软件中建立科赫曲线分形结构滤波器模型进行计算,探究分形结构应用于太赫兹波段进行滤波的可行性,在进行多次计算之后得到优化后的尺寸和结构,然后根据优化后的尺寸加工出科赫曲线分形结构太赫兹滤波器样品,并且将样品放在太赫兹时域光谱系统中进行实验测量,得到实验数据后与仿真结果进行比较。在仿真中利用了时域有限差分法模拟科赫曲线分形结构太赫兹带通滤波器的传输特性,优化后的仿真结果表明:滤波器的谐振频率为0.715 THz,透射系数能够达到0.92,-3 dB带宽为21.9 GHz,将仿真得到的散射参数进行S参数反演得到了太赫兹滤波器样品的电磁参数,这在理论上分析了太赫兹波在谐振点处产生透射增强的原因。利用飞秒激光微加工系统制备了尺寸优化后的科赫曲线分形结构太赫兹带通滤波器样品,然后使用太赫兹时域光谱系统对样品的传输特性进行测试,对实验得到的时域数据进行快速傅里叶变换之后得到频域数据,再把频域数据进行归一化处理后与之前的电磁仿真结果进行对比,发现实验测得的结果与电磁软件仿真得到的结果较为吻合。     

熵的一种通俗教法

熵如力、能量和动量一样是物理学中一个重要概念,若能用一种通俗易懂的方法设计熵的教学,对文科物理的教学有重要意义.为此本文提出了一种通俗的熵的教法,这一教法不需要学生学习热力学第二定律也可以建立熵的概念.具体教学设计如下:通过日常生活例子引入熵的概念(也就是玻尔兹曼熵),设计两个例子让学生会计算熵,通过具体问题的讨论让学生充分理解熵的意义,通过一个实例由玻尔兹曼熵引入克劳修斯熵公式,设计一个演示实验强化教学效果,将熵与环境保护联系起来融入人文情怀,最后还强调了熵计算的不同层次.教学设计完全采用基于问题学习(PBL)的教学模式.     

驻波声场中单分散细颗粒的相互作用特性

利用外加声场促进悬浮在气相中的细颗粒发生相互作用,进而引起颗粒的碰撞和凝并,使得颗粒平均粒径增大、数目浓度降低,是控制细颗粒排放的重要技术途径.为探究驻波声场中单分散细颗粒的相互作用,建立包含曳力、重力、声尾流效应的颗粒相互作用模型,采用四阶经典龙格-库塔算法和二阶隐式亚当斯插值算法对模型进行求解.将数值模拟得到的颗粒声波夹带速度和相互作用过程与相应的解析解和实验结果进行对比,验证模型的准确性.进而研究颗粒初始条件和直径对相互作用特性的影响.结果表明,初始时刻颗粒中心连线越接近声波波动方向、颗粒位置越接近波腹点,颗粒间的声尾流效应就越强,颗粒发生碰撞所需要的时间就越短.研究还发现,颗粒直径对颗粒相互作用的影响取决于初始时刻颗粒中心连线偏离声波波动方向的程度.当偏离较小时,颗粒直径越大,颗粒发生碰撞所需要的时间越短;当偏离很大时,直径较小的颗粒能够发生碰撞,而直径较大的颗粒则无法发生碰撞.