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.     

Combating Biofilm Associated Infection In Vivo: Integration of Quorum Sensing Inhibition and Photodynamic Treatment based on Multidrug Delivered Hollow Carbon Nitride Sphere

Recently, quorum sensing (QS) inhibitors (QSIs) have been combined with antibiotics to enhance antibiofilm efficacy in vitro and in vivo. However, targeting QS signals alone is not enough to prevent bacterial infections. Drug resistance and recurrence of biofilms makes it difficult to eradicate. Herein, photodynamic therapy (PDT) is selected to unite QSIs and antibiotics. A synergistically antibiofilm system, which combines QSIs, antibiotics, and PDT based on hollow carbon nitride spheres (HCNSs) is envisaged. First, HCNS provides the multidrug delivering ability, enabling QSIs and antibiotics to be released in sequence. Subsequently, multistage releases sensitize bacteria effectively, potentiating the chemotherapeutic effects of the antibiotics. Finally, the integration of QSIs and PDT not only minimizes the possibility of drug resistance, but also overcomes the problem of limited mass and extension of PDT. Even after 48 h of incubation, the bacterial biofilm is obviously inhibited. And its biofilm disperse efficiency exceeds 48% (compared with QSI‐potentiated chemotherapy group) and 40% (compared with PDT group). Besides, the inhibition of the QS system influences phenotypes related to virulence factor production and surface hydrophobicity, which weaken biofilm invasion and formation. Eventually, this system is applied to disperse bacterial biofilm in vivo. Overall, PDT and QS modulation are devoted to eradicate drug resistance and recurrence of the biofilm.     

A Complexing Agent to Enable a Wide-Temperature Range Bromine-Based Flow Battery for Stationary Energy Storage

Bromine-based flow batteries (Br-FBs) are considered one of the most promising energy storage systems due to their features of high energy density and low cost. However, they generally suffer from uncontrolled diffusion of corrosive bromine particularly at high temperatures. That is because the interaction between polybromide anions and the commonly used complexing agent (N–methyl–N–ethyl–pyrrolidinium bromide [MEP]) decreases with increasing temperatures, which causes serious self-discharge and capacity fade. Herein, a novel bromine complexing agent, 1–ethyl–2–methyl–pyridinium bromide (BCA), is introduced in Br-FBs to solve the above problems. It is proven that BCA can combine with polybromide anions very well even at a high temperature of 60 °C. Moreover, the BCA contributes to decreasing the electrochemical polarization of Br⁻/Br₂ couple, which in turn improves their power density. As a result, a zinc–bromine flow battery with BCA as the complexing agent can achieve a high energy efficiency of 84% at 40 mA cm⁻², even at high temperature of 60 °C and it can stably run for more than 400 cycles without obvious performance decay. This paper provides an effective complexing agent to enable a wide temperature range Br-FB.     

Photodegradation mechanisms of acyclovir in water and the toxicity of photoproducts

Journal of Radioanalytical and Nuclear Chemistry - In the present work the final products of coumarin radiation chemical transformation are investigated by chromatography. During radiolysis of...     

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

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

仪器仪表产品脉冲耐压试验要求和保护器件的选择

仪器仪表产品的脉冲耐压试验是产品型式试验、例行试验中的基本内容。通过对GB4793.1标准的整理,归纳了仪器仪表产品的脉冲耐压试验要求。通过对试验方法和设备特性的梳理,总结了特性参数,并介绍了应对脉冲耐压试验可采取的保护器件的类别及选用方法。     

Editorial to the Special Issue: Adsorption,Absorption and Thermochemical Transport Processes in Complex Porous Structures

Transport in Porous Media - The theme of coupling problems for adsorption, absorption and thermochemical transport in porous media is very important for engineering applications. Based on the...