Regularity of optimal sets for some functional involving eigenvalues of an operator in divergence form

In this paper we consider minimizers of the functional$\min \{{\lambda }_1(\mathrm{\Omega })+\cdots +{\lambda }_k(\mathrm{\Omega })+\mathrm{\Lambda }|\mathrm{\Omega }|,:\mathrm{\Omega }\subset D\text{ open}\}$ where $D\subset {\mathbb{R}}^d$ is a bounded open set and where $0<{\lambda }_1(\mathrm{\Omega })\le \cdots \le {\lambda }_k(\mathrm{\Omega })$ are the first k eigenvalues on Ω of an operator in divergence form with Dirichlet boundary condition and with Hölder continuous coefficients. We prove that the optimal sets ${\mathrm{\Omega }}^{⁎}$ have finite perimeter and that their free boundary $\partial {\mathrm{\Omega }}^{⁎}\cap D$ is composed of a regular part, which is locally the graph of a $C^{1,\alpha }$-regular function, and a singular part, which is empty if $d<d^{⁎}$, discrete if $d=d^{⁎}$ and of Hausdorff dimension at most $d-d^{⁎}$ if $d>d^{⁎}$, for some $d^{⁎}\in \{5,6,7\}$.     

概率语言多属性群决策方法及其在新型智慧城市市民获得感评价中的应用

针对公众参与的语言信息多属性群决策问题，研究了考虑参与者满意度的概率语言多属性群决策方法。首先，根据参与者的语言评价信息确定并规范化概率语言决策矩阵。然后，对大群体进行共识分析，由最大化参与者群体的满意度构建线性规划模型，确定参与者群组的权重；构造正、负理想方案的评价向量，构建多目标规划模型，用拉格朗日乘子法求解属性权重；定义各方案的加权贴近度，并以此对方案进行排序和优选。最后，通过新型智慧城市市民获得感评价案例验证了模型的可行性和有效性。     

游客情感计算的文本大数据挖掘方法比较研究

旅游文本大数据以其方便、快捷和低门槛的特点为游客情感计算提供了极大便利，已经成为旅游大数据的主要来源之一。基于大数据理论和情感理论，以文本大数据为数据源，在全面梳理国内外情感计算相关成果的基础上，利用人工智能中的逻辑/算法编程方法、机器学习方法、深度学习方法对旅游文本大数据进行挖掘，探索最佳的基于文本大数据的游客情感计算方法。研究发现：（1）基于情感词典的游客情感计算模型，其核心是构建情感词典和设计情感计算规则，方法简单，容易实现，适用语料范围广。（2）机器学习，用统计学方法抽取文本中的特征项，具有非线性特征，可靠性较线性特征的情感词典方法高。（3）基于深度学习技术的游客情感计算，效果良好，准确率在85%以上。训练多领域的文本语料易于移植，实用性强，且泛化能力好，较适合大数据时代游客情感计算研究。     

大一学生实验室安全教育实效研究*

为考查线上线下混合安全教育模式实施后的实际效果,对天津理工大学化工、环安、机械、材料学院2020级大一学生进行实验室安全知识测试。结果表明:接受线上线下混合安全教育的大一学生安全知识的掌握情况较好;不足之处在于学生普遍对应急处置知识掌握较差。因此,在后续安全教育过程中,仍需进一步优化安全教育内容与模式,全面推进全员、全程安全教育。     

Key Role of a-Top CO on Terrace Sites of Metallic Pd Clusters for CO Oxidation

Pd-based catalysts are the most widely used for CO oxidation because of their outstanding catalytic activity and thermal stability. However, fundamental understanding of the detailed catalytic processes occurring on Pd-based catalysts under realistic conditions is still lacking. In this study, we investigated CO oxidation on metallic Pd clusters supported on Al₂O₃ and SiO₂. High-angle annular dark-field scanning transmission electron microscopy revealed the formation of similar-sized Pd clusters on Al₂O₃ and SiO₂. In contrast, CO chemisorption analysis indicated a gradual change in the dispersion of Pd (from 0.79 to 0.2) on Pd/Al₂O₃ and a marginal change in the dispersion (from 0.4 to 0.24) on Pd/SiO₂ as the Pd loading increased from 0.27 to 5.5 wt %; these changes were attributed to differences in the metal-support interactions. Diffuse reflectance infrared Fourier-transform spectroscopy revealed that fewer a-top CO species were present in Pd supported on Al₂O₃ than those in Pd supported on SiO₂, which is related to the morphological differences in the metallic Pd clusters on these two supports. Despite the different dispersion profiles and surface characteristics of Pd, O₂ titration demonstrated that linearly bound CO (with an infrared signal at 2090 cm⁻¹) reacted first with oxygen in the case of CO-saturated Pd on Al₂O₃ and SiO₂, which suggests that a-top CO on the terrace site plays an important role in CO oxidation. The experimental observations were corroborated by periodic density functional calculations, which confirmed that CO oxidation on the (111) terrace sites is most plausible, both kinetically and thermodynamically, compared to that on the edge or corner sites. This study will deepen the fundamental understanding of the effect of Pd clusters on CO oxidation under reaction conditions.     

Classify the Higgs decays with the PFN and ParticleNet at electron–positron colliders

Various Higgs factories are proposed to study the Higgs boson precisely and systematically in a model- independent way. In this study, the Particle Flow Network and ParticleNet techniques are used to classify the Higgs decays into multicategories, and the ultimate goal is to realize an "end-to-end" analysis. A Monte Carlo simulation study is performed to demonstrate the feasibility, and the performance looks rather promising. This result could be the basis of a "one-stop" analysis to measure all the branching fractions of the Higgs decays simultaneously.     

Design,synthesis and evaluation of novel dehydroabietic acid-dithiocarbamate hybrids as potential multi-targeted compounds for tumor cytotoxicity

In the present study, novel representatives of the important group of biologically-active, dehydroabietic acid-bearing dithiocarbamate moiety, were synthesized and characterized by ¹H NMR, ¹³C NMR, HR-MS. The in vitro antiproliferative activity evaluation (MTT) indicated that these compounds exhibited potent inhibitory activities in various cancer cell lines (HepG-2, MCF-7, HeLa, T-24, MGC-803). Particularly, compound III-b possessed extraordinary cytotoxicity with low micromolar IC₅₀ values ranging from 4.07 to 38.84 µM against tested cancer cell lines, while displayed weak cytotoxicity on two normal cell lines (LO-2 and HEK 293 T). Subsequently, the potential mechanisms of representative compound III-b were elementarily investigated by Transwell experiment, which showed III-b can inhibit cancer cells migration. Annexin-V/PI dual staining showed that the compound can induce HepG-2 cells apoptosis in a dose-dependent manner. Meanwhile this apoptosis may be related to the upregulated protein expression of cleaved-caspase 3, cleaved-caspase 9, Bax and downregulated of Bcl-2 indicated by Western Blot. Later study further confirmed that ROS levels in HepG-2 cells increased significantly with the rise of concentrations. In addition, through the network pharmacology data analyzing, the core targets and signaling pathways of compound III-b for treatment of liver neoplasms were forecasted. Molecular docking model showed that compound III-b had high affinity with hub targets (CASP3, EGFR, HSP90AA1, MAPK1, ERBB2, MDM2), suggesting that compound III-b might target the hub protein to modulate signaling activity. Taken together, these data indicated that dehydroabietic acid structural modification following the “Molecular hybridization” principle is a feasible way to discover the potential multi-targeted antitumor compounds.     

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.     

基于模糊综合评判的大学数学考核方式改革

独立高校数学课程的开设旨在让学生掌握数学知识的基础上,提高数学应用能力.然而现行的考核方式存在重考试结果,轻学习过程等问题.从传统考核方式入手,指出其不足之处,基于模糊综合评判法建立新型评价体系和数学模型,通过试点运行验证了新的考核方式的可行性、客观性、合理性和科学性.