突出矿井瓦斯抽放限制影响因素的AHP-熵权法评价模型

为提高煤与瓦斯突出矿井瓦斯抽放效果,建立了3个一级指标、14个二级指标的突出矿井瓦斯抽放限制影响因素评价指标体系,利用AHP和熵权法分别确定指标因子主、客观权重.通过实地调研分析和反馈验证了AHP-熵权法的可行性和正确性,利用加权平均法确定评价模型的综合权重.研究表明:封孔方式、钻孔半径、抽放时间、煤体裂隙发育程度和抽放负压是目前影响煤矿瓦斯抽放效果的主控因素.     

A posteriori error analysis of a quadratic finite volume method for nonlinear elliptic problems

In this article, we construct and analyze a residual-based a posteriori error estimator for a quadratic finite volume method (FVM) for solving nonlinear elliptic partial differential equations with homogeneous Dirichlet boundary conditions. We shall prove that the a posteriori error estimator yields the global upper and local lower bounds for the norm error of the FVM. So that the a posteriori error estimator is equivalent to the true error in a certain sense. Numerical experiments are performed to illustrate the theoretical results.     

Molecular structure,vibrational spectroscopic and chemical reactivity of nematogenic p-n-alkylbenzoic acids: A comparative computational analysis

Molecular structure and vibrational spectroscopic studies of higher homologous series nematogenic p-n-alkylbenzoic acids (nBAC) that have 6 (6BAC) and 7 (7BAC) carbon atoms in the alkyl chain have been investigated using the Density Functional Becke3-Lee-Yang-Parr (B3LYP) level with the basis set 6-31++G (d.p) and Hartree Fock (HF) with the same basis set. The observed vibrational spectra has been resolved and assigned in detail for comparision with both the molecules. These results indicate that DFT and HF values are slightly different at both the levels. A comparision of chemical reactivity such as HOMO (E_H), LUMO (E_L) energies, energy gap (E_g), ionization energy (I), electron affinity (A), electro negativity (χ), chemical hardness (η), electronic chemical potential (μ), electrophilicity index (ω), and softness (S) has been made. It has been observed that the decrement has occurred in the energy band gap value of isolated molecule with increment in alkyl chain length. This provides valuable information regarding enhancing the stability of liquid crystal materials by maintaining the conductivity.     

Hexagonal boron nitride quantum dots: Properties,preparation and applications

As a new type of quantum dots (QDs), hexagonal boron nitride quantum dots (BNQDs) exhibit promising potential in the applications of disease diagnosis, fluorescence imaging, biosensing, metal ion detection, and so on, because of their remarkable chemical stability, excellent biocompatibility, low cytotoxicity, and outstanding photoluminescence properties. However, the large-scale fabrication of homogeneous BNQDs still remains challenging. In this article, the properties and common fabrication methods of BNQDs are summarized based on the recent research progress. Then, the corresponding yields, morphologies, and fabrication mechanisms of these as-obtained BNQDs are discussed in detail. Moreover, the applications of these as-obtained BNQDs in different fields are also discussed. This article is expected to inspire new methods and improvements to achieve large-scale fabrication of homogeneous BNQDs, which will enable their practical applications in future.     

Direct Transformation of Arenols Based on C—O Activation

In the view of substrate availability, atomic efficiency and cost, directly using arenols as coupling partners in cross‐coupling, would be one of the most attractive goals. Up to date, many efforts have been made to activate the C—O bond of phenols with different strategies, for example, through in‐situ formed intermediates, through a catalytic reductive dearomatization‐condensation‐rearomatization sequence or catalytic deoxygenation. In this review, we summarized recent advances in cross‐couplings of arenols as the electrophiles via C—O activation.     

化学法改性煤沥青脱除苯并芘的研究

在管式反应器中采用苯甲酸、聚乙二醇、固体古马隆树脂（S）、液体古马隆树脂（L）为添加剂来降低煤沥青中有害物质苯并芘的含量，以期使得煤沥青可绿色化应用。采用紫外-可见分光光度计分析煤沥青中苯并芘含量。考察了反应温度、反应时间、添加剂添加量、催化剂等工艺条件对添加剂脱除煤沥青中苯并芘的影响。结果表明，不同工艺条件能降低煤沥青中苯并芘的含量。在优化条件下，不同添加剂对苯并芘脱除率由高到低依次为：液体古马隆树脂、聚乙二醇、苯甲酸和固体古马隆树脂。分析其反应机理，这与催化剂的酸性相关，发生亲电取代反应。结果表明，液体古马隆树脂（L）在催化剂存在下对煤沥青中苯并芘脱除率可达73.0%，显示了良好的应用前景。     

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.