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

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

Wave-based vibration control of large cable net structures

Large cable net structures have been widely applied in aerospace engineering due to the feature of light-weight, high packaging efficiency, and high thermal stability. Structural vibrations induced by a variety of disturbances are inevitable in the space environment, resulting in the requirement of effective vibration control strategies for large cable net structures. Since the large cable net structures have many closely spaced vibrational modes in the range of low frequencies, traditional modal based control may cause modal truncation and spillover problems. In this paper, a wave-based boundary control strategy is adopted and its effectiveness to control the vibration of cable net structures is investigated, by transfer function analysis and numerical methods. It is found that the structural vibration can be absolutely resisted by applying the wave-based boundary controllers onto all the exterior nodes, when disturbances come from the external boundaries of the cable net. Our results in this paper can provide a theoretical basis for the vibration control of large cable net structures.     

Analytic hierarchy process for multi-sensor data fusion based on belief function theory

Multi-sensor data fusion is an evolving technology whereby data from multiple sensor inputs are processed and combined. The data derived from multiple sensors can, however, be uncertain, imperfect, and conflicting. The present study is undertaken to help contribute to the continuous search for viable approaches to overcome the problems associated with data conflict and imperfection. Sensor readings, represented by belief functions, have to be fused according to their corresponding weights. Previous studies have often estimated the weights of sensor readings based on a single criterion. Mono-criteria approaches for the assessment of sensor reading weights are, however, often unreliable and inadequate for the reflection of reality. Accordingly, this work opts for the use of a multi-criteria decision aid. A modified Analytical Hierarchy Process (AHP) that incorporates several criteria is proposed to determine the weights of a sensor reading set. The approach relies on the automation of pairwise comparisons to eliminate subjectivity and reduce inconsistency. It assesses the weight of each sensor reading, and fuses the weighed readings obtained using a modified average combination rule. The efficiency of this approach is evaluated in a target recognition context. Several tests, sensitivity analysis, and comparisons with other approaches available in the literature are described.     

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.     

Lithium Insertion Mechanism in Iron-Based Oxyfluorides with Anionic Vacancies Probed by PDF Analysis

The mechanism of lithium insertion that occurs in an iron oxyfluoride sample with a hexagonal–tungsten–bronze (HTB)-type structure was investigated by the pair distribution function. This study reveals that upon lithiation, the HTB framework collapses to yield disordered rutile and rock salt phases followed by a conversion reaction of the fluoride phase toward lithium fluoride and nanometer-sized metallic iron. The occurrence of anionic vacancies in the pristine framework was shown to strongly impact the electrochemical activity, that is, the reversible capacity scales with the content of anionic vacancies. Similar to FeOF-type electrodes, upon de-lithiation, a disordered rutile phase forms, showing that the anionic chemistry dictates the atomic arrangement of the re-oxidized phase. Finally, it was shown that the nanoscaling and structural rearrangement induced by the conversion reaction allow the in situ formation of new electrode materials with enhanced electrochemical properties.