多级孔芳香骨架材料的合成及固载硫脲催化剂的研究

合成了一种多级孔芳香骨架材料(PAF-70); 使用由氨基修饰过的单体, 应用该合成策略得到了同样具有窄分布介孔的含有氨基活性位点的PAF材料, 并通过硫脲单体与其氨基活性位点的反应, 将硫脲基团引入PAF-70材料中, 获得了含有硫脲催化位点的材料(PAF-70-thiourea). 氮气吸附-脱附测试结果显示, PAF-70存在孔径分布较窄的介孔, 介孔孔径为3.8 nm, 与模拟计算值(约3.7 nm)吻合. 热重分析结果表明, PAF-70具有很高的热稳定性. PAF-70在大多数溶剂中可以稳定存在, 具有良好的化学稳定性. 将PAF-70-thiourea作为催化剂, 应用在N-溴代琥珀酰亚胺(NBS)氧化醇类的反应中, 其表现出较高的催化活性、 较高的稳定性和广泛的底物适用性. 与含有相同硫脲催化位点的金属有机框架(MOF)材料(IRMOF-3-thiourea)作为催化剂对比, 进一步证实PAFs材料非常适合作为催化有机反应的固载平台.     

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

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

Subset representations and eigenvalues of the universal intertwining matrix

We solve a combinatorial question concerning eigenvalues of the universal intertwining endomorphism of a subset representation.     

基于TOPSIS模型的机场网络节点重要度评估

在机场网络中单个机场节点的失效往往会对其他的节点产生影响,特别是关键节点的失效会波及整个网络.准确客观的识别重要节点机场关乎整个机场网络的安全运营.本文分析了机场网络拓扑特性中的度、集聚系数和接近度指标,考虑了机场旅客吞吐量和所在城市人口等交通经济特性指标,使用熵权法确定权重的基础上,应用TOPSIS法构建综合评价体系模型,最后以华东地区机场网络为例进行节点重要度排序.结果表明与单一指标的评估结果相比,该方法更加全面客观的确定不同属性指标的权重,避免了不同指标取值的差异性,使评价更加全面,更符合机场网络实际运营情况.     

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.     

An analysis of overlapping Schwarz method for a weakly coupled system of singularly perturbed convection-diffusion equations

In this article, we have developed an overlapping Schwarz method for a weakly coupled system of convection-diffusion equations. The method splits the original domain into two overlapping subdomains. A hybrid difference scheme is proposed in which on the boundary layer region, we use the central finite difference scheme on a uniform mesh, whereas on the nonlayer region, we use the mid-point difference scheme on a uniform mesh. It is shown that the numerical approximations converge in the maximum norm to the exact solution. We have proved that, when appropriate subdomains are used, the method produces almost second-order convergence. Furthermore, it is shown that two iterations are sufficient to achieve the expected accuracy. Numerical examples are presented to support the theoretical results. The main advantage of this method used with the proposed scheme is that it reduces iteration counts very much and easily identifies in which iteration the Schwarz iterate terminates.     

政府监管下的医院医疗信息分享演化博弈分析

在分析政府监管下医院间医疗信息分享特征的基础上,结合我国当前正在推行的医联体医院间信息分享运作模式,引入梅特卡夫定律并考虑患者评价的影响,分析了监管部门与医院各自的利益组成,建立了监管部门与医院两者之间的演化博弈模型,并采用复制动态方程研究了不同情形下医院间信息分享的演化博弈轨迹。研究表明,政府通过监管并建立激励惩罚机制等引导措施对医院最终达到的演化稳定态具有极大影响;降低医院主体信息分享的风险成本、规范提高医院分享信息的质量、引导患者增强对医院信息分享的关注、制定有吸引力和威慑力的奖惩政策,是促进医院医疗信息分享的关键。研究结果可为政府监管部门预测医院间的信息分享趋势和制定精准化政策以促进分享提供参考。     

Aromatic 19F–13C TROSY—[19F, 13C]-Pyrimidine Labeling for NMR Spectroscopy of RNA

We present the access to [5-¹⁹F, 5-¹³C]-uridine and -cytidine phosphoramidites for the production of site-specifically modified RNAs up to 65 nucleotides (nts). The amidites were used to introduce [5-¹⁹F, 5-¹³C]-pyrimidine labels into five RNAs—the 30 nt human immunodeficiency virus trans activation response (HIV TAR) 2 RNA, the 61 nt human hepatitis B virus ϵ (hHBV ϵ) RNA, the 49 nt SAM VI riboswitch aptamer domain from B. angulatum, the 29 nt apical stem loop of the pre-microRNA (miRNA) 21 and the 59 nt full length pre-miRNA 21. The main stimulus to introduce the aromatic ¹⁹F–¹³C-spin topology into RNA comes from a work of Boeszoermenyi et al., in which the dipole-dipole interaction and the chemical shift anisotropy relaxation mechanisms cancel each other leading to advantageous TROSY properties shown for aromatic protein sidechains. This aromatic ¹³C–¹⁹F labeling scheme is now transferred to RNA. We provide a protocol for the resonance assignment by solid phase synthesis based on diluted [5-¹⁹F, 5-¹³C]/[5-¹⁹F] pyrimidine labeling. For the 61 nt hHBV ϵ we find a beneficial ¹⁹F–¹³C TROSY enhancement, which should be even more pronounced in larger RNAs and will facilitate the NMR studies of larger RNAs. The [¹⁹F, ¹³C]-labeling of the SAM VI aptamer domain and the pre-miRNA 21 further opens the possibility to use the biorthogonal stable isotope reporter nuclei in in vivo NMR to observe ligand binding and microRNA processing in a biological relevant setting.