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%以上。训练多领域的文本语料易于移植，实用性强，且泛化能力好，较适合大数据时代游客情感计算研究。     

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.     

高居里温度铁电单晶PIN-PT的机电性能

弛豫铁电单晶Pb(In_1/2Nb_1/2)O₃-PbTiO₃(PIN-PT)相较于常用的Pb(Mg_1/3Nb_2/3)O₃-PbTiO₃(PMN-PT)具有更高的居里温度,在高稳定性、高性能的传感器、换能器方面具有应用前景。本工作采用谐振法研究了[001]方向极化的0.66PIN-0.34PT铁电单晶的全矩阵机电性能参数。0.66PIN-0.34PT 单晶的三方-四方相变温度(T_RT)约为160 ℃,居里温度(T_C)约为260 ℃,室温压电系数d₃₃、d₃₁、d₁₅分别为1 340 pC/N、-780 pC/N、321 pC/N,介电常数ε^T₃₃、ε^S₃₃、ε^T₁₁、ε^S₁₁分别为2 700、905、2 210、1 927,机电耦合系数 k₃₃、k₃₁、k₁₅、k_t分别为 87%、58%、38%、61%。其纵向压电常数(d₃₃)和纵向机电耦合系数(k₃₃)小于 PMN-PT 单晶,但是横向压电性能(d₃₁)和剪切压电性能(d₁₅)都略高于PMN-PT单晶。另外,研究了机电耦合性能随温度的变化趋势,发现0.66PIN-0.34PT单晶在150 ℃以下有较好的温度稳定性。     

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.     

基于贝叶斯参数优化的无模型自适应硅单晶直径控制

直拉硅单晶的生长过程涉及多场多相耦合与复杂的物理化学变化,其中工艺参数的波动是导致晶体直径不均匀的重要原因,如何实现工艺参数的控制以获得理想的、均匀的晶体直径具有重要的研究意义。本文分析现有控制方法存在不稳定以及控制效果不佳的问题后,提出基于贝叶斯参数优化的无模型自适应控制模型来控制硅单晶生长过程中的晶体直径。首先以坩埚上升速度与加热器的功率作为控制输入参数,晶体直径作为输出,搭建无模型自适应控制模型,并分析算法的稳定性。其次将控制模型进行仿真实验,发现硅单晶直径控制模型中不同的超参数设定会影响控制过程的迭代次数以及控制效果。最后,利用贝叶斯优化超参数的取值范围,并进行最终的仿真实验,结果表明,经贝叶斯参数优化后的控制模型计算快、迭代次数少,输出的晶体直径稳定,同时将生长工艺参数控制在实际生产要求范围内。因此,基于贝叶斯参数优化的无模型自适应控制实现了硅单晶直径均匀稳定的有效控制,具有结合工程背景的实际应用前景。     

光纤基底TiNi形状记忆合金薄膜制备工艺

将TiNi基记忆合金薄膜与光纤相结合可制成智能化、集成化且成本经济的微机电系统和微传感器件.本文采用磁控溅射法在二氧化硅光纤基底上制备TiNi记忆合金薄膜,系统讨论了溅射工艺参数以及后续退火处理对薄膜质量的影响.采用自研制光纤镀膜掩膜装置在直径为125μm的光纤圆周表面上形成均匀薄膜.实验表明:在靶基距、背底真空度、Ar气流量和溅射时间一定的条件下,溅射功率存在最佳值;溅射压强较大时,薄膜沉积速率较低,但薄膜表面粗糙度较小.进行退火处理后,薄膜形成较良好的晶体结构,Ti_49.09Ni_50.91薄膜中马氏体B19′相和奥氏体B2相共存,但以B19′为主.根据本文研究结果,在玻璃光纤基底上制备高质量的TiNi基记忆合金薄膜是可实现的,本工作为下一步研制微机电系统和微型传感器做了基础准备.     

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.