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\}$.     

发动机机油滤清器虑层强度分析及优化

针对机油滤清器工作工况下进出口压差、机油滤层强度及导流桩高度等问题, 通过试验测试与仿真相结合, 对滤清器初步设计进行了评估及优化, 以确保滤清器在工作工况下进出口压降及滤层强度能满足要求. 首先进行滤层性能试验, 得到滤层的惯性阻力系数和黏性阻力系数; 再通过滤层多孔介质CFD分析, 对滤清器进出口压降进行分析计算. 结果表明: 在-18℃、25℃和70℃的工况下, 进出口压降都小于10kPa, 满足相关要求. 针对滤层的最大主应力超过其抗拉强度的问题, 通过CAE仿真分析, 优化滤层与导流桩间隙, 将滤层最大主应力由110.1MPa降至36.99MPa, 小于其抗拉强度42.8MPa.     

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

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

移动加热器法生长碲锌镉晶体的组分输运与界面形貌研究

移动加热器法(THM)生长碲锌镉晶体时,界面稳定性对晶体生长的质量有很大影响。本文基于多物理场有限元仿真软件Comsol建立了THM生长碲锌镉晶体的数值模拟模型,讨论了Te边界层与组分过冷区之间的关系,对不同生长阶段的物理场、Te边界层与组分过冷区进行仿真研究,最后讨论了微重力对物理场分布的影响,并对比了微重力与正常重力下的生长界面形貌。模拟结果表明,Te边界层与组分过冷区的分布趋势是一致的,在不同生长阶段,流场中次生涡旋的位置会发生移动,从而导致生长界面的形貌随着生长的进行发生变化,同时微重力条件下形成的生长界面形貌最有利于单晶生长。因此,在晶体生长的中前期,对次生涡旋位置的控制和对组分过冷的削弱,是THM生长高质量晶体的有效方案。     

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.     

阳离子交换皂石黏土在基质辅助激光解吸电离飞行时间质谱分析中的应用

将一种人工合成的无机聚合物——蒙脱石皂石黏土（smectite，Sm）应用于基质辅助激光解吸电离飞行时间质谱分析（matrix-assisted laser desorption/ionization time of flight mass spectrometry, MALDI-TOF-MS），以检测糖类化合物。 将传统的有机基质2，4，6-三羟基苯乙酮（trihydroxyacetophenone, THAP）与阳离子交换后的皂石黏土混合制备成新型复合基质，应用于糖类化合物的检测。通过比较不同的制样方法，测定不同分子直径的糖类化合物，发现由于受复合基质晶面间距的限制，只有小分子糖类化合物能进入晶面间隙充分接触有机基质并被离子化，从而实现对小分子糖类化合物的选择性检测。     

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.